System Dynamics of Social Tipping Processes

Social tipping processes describe how social, political, economic or technological systems can move rapidly into a new system state if cascading positive feedback mechanisms are triggered. Interventions for activating these social tipping processes are promising levers for accelerating progress towards net-zero. This study builds on recent literature in this field by explicitly characterising the feedback mechanisms, interconnections between systems, and monitoring variables, that collectively help explain social tipping processes. Using a participatory system dynamics modelling approach with experts in five specific social systems, we delineated both positive and negative feedback mechanisms in each system: energy, finance, urban infrastructure, norms and values, and education. We then co-developed a conceptual model of relevant feedback mechanisms, and identified the variables that can be used to monitor tipping dynamics. The presence of many coupled positive feedback loops within and between the systems indicate a high potential for social tipping dynamics to help tackle climate change. However, we also identified conditions and countervailing feedback loops that could result in undesirable dynamics. Further work is needed to explore potential tipping dynamics, identify the conditions under which they can be achieved including through interventions, and elaborate tipping processes in other social systems such as food and land use

Strategic planning for urban air mobility: Perceptions of citizens and potential users on autonomous flying vehicles

World’s current mobility systems are often inefficient and unsustainable, therefore the need for new schemes to satisfy mobility needs appears. This quest has given the impetus to the industry to invest in new technologies such as autonomous systems enabling self-driving vehicles. In this context, the concept of Urban Air Mobility (UAM), a term used for short-distance, on-demand, highly automated, passenger or cargo-carrying air mobility services, has arisen. This paper presents the introduction phase of strategic planning for the era of urban air mobility focusing on user and citizen acceptance of the system required for its operation. A survey is designed to capture the perception of citizens and potential users on aspects such as safety, security, well-being of the society (including issues of aesthetics, quality of life, social impacts), driving behaviour, mobility behaviour, expected benefits and their impact on the acceptance and the intention to use these systems. The acceptance of citizens and potential users (considered as two different groups) is analysed in terms of its potential uses (e.g. health emergencies, leisure, connectivity to remote regions). The survey is applied to the Metropolitan area of Lisbon and 207 responses were gathered. The collected data was analysed through correlation analysis and non-parametric tests. Conclusions are made on perceptions of citizens over different adoption and embracement levels.info:eu-repo/semantics/acceptedVersio

Quantifying the optical properties and chromophore concentrations of turbid media by chemometric analysis of hyperspectral diffuse reflectance data collected using a fourier interferometric imaging system

A non-contact Fourier transform interferometric imaging system was used to collect hyperspectral images of the steady-state diffuse reflectance from a point source in turbid media for the spectral range of 550-850 nm. Steady-state diffuse reflectance profiles were generated from the hyperspectral images, and partial least-squares (PLS) regression was performed on the diffuse reflectance profiles to quantify absorption (mu (alpha)) and reduced scattering (mu (s)') properties of turbid media. The feasibility of using PLS regression to predict optical properties was examined for two different sets of spatially-resolved diffuse reflectance data. One set of data was collected from 40 turbid phantoms, while the second set was generated by convolving Monte Carlo simulations with the instrument response of the imaging system. Study results show that PLS prediction of mu (alpha) and mu (s)' was accurate to within +/-8% and +/-5%, respectively, when the model was trained on turbid phantom data. Moreover, PLS prediction of optical properties was considerably faster and more efficient than direct least-squares fitting of spatially-resolved profiles. When the PLS model was trained on Monte Carlo simulated data and subsequently used to predict mu (alpha) and mu (s)' from the diffuse reflectance of turbid phantom, the percent accuracies degraded to +/-12% and +/-5%, respectively. These accuracy values are applicable to homogenous, semi-infinite turbid phantoms with optical property ranges comparable to tissues

State space c-reductions for concurrent systems in rewriting logic

We present c-reductions, a state space reduction technique. The rough idea is to exploit some equivalence relation on states (possibly capturing system regularities) that preserves behavioral properties, and explore the induced quotient system. This is done by means of a canonizer function, which maps each state into a (non necessarily unique) canonical representative of its equivalence class. The approach exploits the expressiveness of rewriting logic and its realization in Maude to enjoy several advantages over similar approaches: exibility and simplicity in the definition of the reductions (supporting not only traditional symmetry reductions, but also name reuse and name abstraction); reasoning support for checking and proving correctness of the reductions; and automatization of the reduction infrastructure via Maude's meta-programming features. The approach has been validated over a set of representative case studies, exhibiting comparable results with respect to other tools

Automated Certification of Authorisation Policy Resistance

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), based on the recent formal ABAC language PTaCL, which first automatically searches for resistance counter-examples using Maude, and then automatically searches for an Isabelle proof of resistance. We illustrate our approach with two simple examples of policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will be presented at ESORICS 201

Dwarf Nova V1040 Centauri and Variable Stars in its Vicinity

We present the results of a photometric campaign of the dwarf nova V1040 Cen. The light curve shows two normal outbursts with recurrence time ~ 40 days and amplitude ~ 2.5 mag. Quiescence data show oscillations with periods in the range ~ 0.1 days (2.4 h) to ~ 0.5 days (12 h) of unknown origin. We measured the orbital period of V1040 Cen to be P_orb=0.060458(80) days (1.451+-0.002 h). Based on the M_v-P_orb relation we found the distance of V1040 Cen to be 137+-31 pc. In this paper we also report the detection of eleven new variable stars in the field of the monitored dwarf nova.Comment: 7 figures and 2 tables, accepted for publication in Acta Astronomic

Clinical spectral characterisation of colonic mucosal lesions using autofluorescence and delta aminolevulinic acid sensitisation

Background and aims-Laser induced fluorescence (LIF) from colonic mucosa was measured in vivo with and without delta aminolevulinic acid (ALA) in an attempt to differentiate between neoplasia and non-neoplasia in real time during colonoscopy. Methods-Spectra from 32 adenomas, 68 normal sites, and 14 hyperplastic polyps in 41 patients were obtained with a point monitoring system. Twenty one of the patients had been given a low dose of ALA as a photosensitiser before the examination. Light of 337, 405, or 436 nm wavelength was used as excitation. Stepwise multivariate Linear regression analysis was performed. Results-With 337 nm excitation, 100% sensitivity and 96% specificity was obtained between normal mucosa and adenomas. Seventy seven per cent of the hyperplastic polyps were classified as non-neoplastic. When exciting with 405 and 436 nm, the possibility of distinguishing different types of tissue was considerably better in the ALA patients than in the non-ALA patients. Conclusions-The in vivo point measurements imply that a good discrimination between normal tissue and adenomatous polyps can be obtained using the LIF technique. Excitation at 337 nm and at 405 nm or 436 nm using ALA gives good results. LIF also shows potential for distinguishing adenomatous from hyperplastic polyps. The number of detection wavelengths could be reduced if chosen properly