49112 research outputs found
Sort by
A Process Algebraic Theory of Reversible Concurrent Systems with Applications to Noninterference Analysis
Get PDFThis thesis explores reversible calculus in process algebra and its application to noninterference analysis, presenting
advancements in both theoretical foundations and practical implications. In the rst part, we introduce a novel
process calculus for reversible systems, allowing the modeling of both forward and backward behaviors without
relying on communication keys or stack-based memories. Key contributions include the development of strong and
weak bisimulation equivalences, their characterization through modal logic, and sound and complete axiomatiza-
tions. We also establish connections with existing equivalences, showing how our approach aligns with reverse trace
equivalences and branching bisimilarity for sequential processes and hereditary history-preserving bisimilarity for
fully concurrent systems.
In the second part, we investigate noninterference analysis for systems capable of reversing computations, with
branching bisimilarity as the common thread of the investigation. For nondeterministic systems, we extend the
classical taxonomy of noninterference properties, analyze their preservation and compositionality features, and
demonstrate the need for branching bisimilarity in uncovering covert channels arising in reversible systems. This
analysis is further extended to probabilistic systems, where we rene the taxonomy and illustrate its application
to detect information ows in both reversible and irreversible systems. We also propose a Markovian branching
bisimilarity for reversible Markovian processes, providing a unied framework for noninterference analysis.
This work contributes to the understanding of reversible systems and their applications in secure information
ow analysis, laying the foundation for future research in extending reversible calculi.This thesis explores reversible calculus in process algebra and its application to noninterference analysis, presenting
advancements in both theoretical foundations and practical implications. In the rst part, we introduce a novel
process calculus for reversible systems, allowing the modeling of both forward and backward behaviors without
relying on communication keys or stack-based memories. Key contributions include the development of strong and
weak bisimulation equivalences, their characterization through modal logic, and sound and complete axiomatiza-
tions. We also establish connections with existing equivalences, showing how our approach aligns with reverse trace
equivalences and branching bisimilarity for sequential processes and hereditary history-preserving bisimilarity for
fully concurrent systems.
In the second part, we investigate noninterference analysis for systems capable of reversing computations, with
branching bisimilarity as the common thread of the investigation. For nondeterministic systems, we extend the
classical taxonomy of noninterference properties, analyze their preservation and compositionality features, and
demonstrate the need for branching bisimilarity in uncovering covert channels arising in reversible systems. This
analysis is further extended to probabilistic systems, where we rene the taxonomy and illustrate its application
to detect information ows in both reversible and irreversible systems. We also propose a Markovian branching
bisimilarity for reversible Markovian processes, providing a unied framework for noninterference analysis.
This work contributes to the understanding of reversible systems and their applications in secure information
ow analysis, laying the foundation for future research in extending reversible calculi
Cuestiones pedagógicas en el marco del CHAEA en investigaciones en Italia. Perspectivas heurísticas en la universidad
No full textThis chapter offers a critical and scientific approach to educational, emotional, and pedagogical problems with regard to the CHAEA questionnaire, translated into Italian since 2011. Several conceptual reflections from Popper, to Frabboni and Baldacci are offered in light of the results accomplished in the last decade in accordance with various research objectives: to promote the dissemination of the CHAEA in secondary and university school environments, to facilitate teachers' use of the questionnaire, to assist students in knowing their own learning styles and to be able to dynamize their different learning styles. Based on these research and development objectives, the questionnaire will be applied at the University of Urbino, in a variety of courses and subjects. This will open up new spaces for complex and inclusive reflection. A dynamization of knowledge does not mean a transposition of the same content into a different tool, rather it means reinterpreting the same educational values and redefining human dignity
I conflitti tecno-scientifici
No full textIn questo capitolo si indagano i conflitti – sempre più numerosi e sempre più al centro del dibattito politico – che riguardano l’applicazione della scienza e della tecnica, contestualizzandoli nell’ambito dell’affermazione della tarda-modernità e della società del rischio.
Alla base di questi conflitti vi sono una crescente sfiducia nei confronti del ruolo del sapere esperto e una delegittimazione delle decisioni politiche assunte sulla base di dati e di elementi fattuali, di cui è vieppiù negato il presunto carattere di oggettività e di neutralità. Dopo avere definito i conflitti sulla scienza e sulla tecnica – e averne individuato la genesi e le radici sociali e politiche – si approfondisce il rapporto tra scienza, politica e vita quotidiana. Si introducono, quindi, i concetti di post-verità e di pseudoscienza e si analizzano le dinamiche di frammentazione della sfera pubblica, in un contesto segnato da un inedito scontro tra tecnocrazia e populismo, che rappresentano due visioni contrapposte, ma al contempo con alcune caratteristiche comuni, in merito alla conciliazione tra potere degli esperti e potere dei cittadini. Si espongono, infine, alcuni esempi di conflitti sulla tecno-scienza, quelli riguardanti la geoingegneria, la carne coltivata, i vaccini e il transumanesimo
I briganti e le donne: violenza e seduzione nella Romagna dell'Ottocento
No full textI briganti rappresentano un tipo di violenza di Antico regime, che si prolunga fino ai primi decenni dell'Italia unita. Il corpo delle donne è oggetto di vari tipi di violenza (compensativa, estorsiva, orgiastica), ma può divenire strumento per orientare e gestire la violenza del brigante, fino al caso di donne brigantesse, che si appropriano della violenza come strumento di rivalsa
Exploiting Explainable Artificial Intelligence for Space Weather Investigations on board LISA and Future Space Interferometers for Gravitational Wave Detection
No full textThis thesis work presents the design and implementation of traditional and interpretable machine learning (ML) models for the future European Space Agency LISA interferometer and, more in general, for space missions lacking in-situ observations of interplanetary parameters. The developed models are built upon the lessons learned with the precursor mission of LISA, named LISA Pathfinder, and exploit the correlation between galactic cosmic-ray (GCR) flux measurements and fluctuations observed in the solar wind speed and interplanetary magnetic field intensity.
The ultimate result presented in this thesis work is the estimation via interpretable ML tools of the solar wind speed for LISA based on preceding observations of GCR flux variations and interplanetary magnetic field intensity. All the enabling activities carried out to build the interpretable model are also detailed here, including the development of novel explainable artificial intelligence (XAI) algorithms to extract knowledge from opaque ML regressors and of a Python framework to support XAI. The design of preliminary ML models dedicated to GCR predictions is also reported. All the developed models are trained with the data provided by the LISA Pathfinder and ACE missions, to demonstrate the feasibility of obtaining interplanetary parameter reconstructions based on the joint observations gathered by different satellites.
The outputs provided by the presented interpretable regressor, expressed as linear equations describing the solar wind speed in terms of GCR flux variations and interplanetary magnetic field intensity, constitute the first attempt to identify a quantitative relationship between these interplanetary parameters
The Structuring Role of Rhodolith Beds on Meiobenthic Communities in the Mediterranean Sea
No full textRhodolith beds are globally distributed structurally complex habitats formed by the aggregation of unattached forms of non-geniculate coralline red algae. They provide key ecosystem functions and services, supporting feeding, settlement and nursery
provision for several species. Despite their importance, the associated faunal biodiversity is poorly known, particularly with
regard to meiofauna. The Mediterranean is particularly lacking in data; here, meiofaunal samples were collected in three sites
from the Tyrrhenian Sea (Italy) aiming to characterize for the first time the meiofaunal communities associated with mesophotic
rhodolith beds, exploring whether the microhabitat structure of rhodoliths influences variations in meiofaunal composition compared to the underlying sediment microhabitat. A total of 17 taxa was recorded. A high level of dissimilarity was found between the two different microhabitat types (i.e., rhodoliths and sediments), suggesting that meiofauna is more influenced by ‘micro’ than ‘macro’ spatial scale from both a qualitative and quantitative point of view. Rhodoliths showed a distinct meiofauna represented by copepods and many representative taxa of temporary meiofauna (macrofaunal juveniles), supporting the nursery role
of rhodoliths. Conversely, sediments were mainly composed of sediment-dwelling organisms (nematodes and platyhelminthes).
The presence of such a multifaceted meiobenthic community, especially in more structurally complex rhodoliths, might favour
the resilience of the system and recovery processes after environmental perturbations. These findings underline the key role of
rhodoliths as habitat formers and biodiversity/stability enhancers in coastal ecosystems
Development of Ultrasound-Assisted Synthesis of Natural Acidic Deep Eutectic Solvents (NADESs) for Extraction of Bioactive Compounds from Agrifood Wastes Valorization: Antioxidant and Antiradical Scavenging Elucidation
No full textNatural acidic deep eutectic solvents (NADESs)-ultrasound-assisted technique was developed and used to valorize agrifood waste. The extraction capacity of the synthesized NADESs was comprehensively evaluated using the peels of African nutmeg. The antioxidant and antiradical scavenging properties of the extracts were investigated using various in vitro methods.
The extraction process was studied using many factors at a time (MFAT) experimental design and further optimized through a rotatable central composite design response surface methodology (RCCDRSM). The effects of different operating conditions were evaluated comprehensively to determine the parameters necessary for antioxidant recovery in terms of TPC and TFC, and antiradical scavenging activity based on CUPRAC and FRAP methods. The conditions that gave the highest values of 908.17 μgGAE/g DW, 1431.51 μgQE/g DW, 11.5568 μMTE/g DW, and 14.7903 μMTE/g DW for TPC, TFC, CUPRAC, and FRAP were found in CaFr12, CaGc11, CaFr11, CaXy11 as solvents respectively. These results underscore the potential of using specific NADES formulations to tailor the extraction process for desired antioxidant and antiradical scavenging properties. The findings give insights into the capacity of NADESs as powerful solvents for extraction applications, and further optimized.
Four independent factors of temperature, time, volume, and concentration, determined from the MFAT studies which significantly affected bioactive molecule extraction were optimized to elucidate the best conditions that produce the maximum TPC extracts, maximum TFC extracts, and maximum antiradical scavenging activity through CUPRAC, FRAP, and DPPH inhibition. The optimized conditions with maximum desirability for TPC, TFC, CUPRAC, FRAP, and DPPH were temperature, time, volume, and concentration of 45oc, 5 min, 25 ml, & 90%; 30oc, 5min, 25 ml, & 90%; 30oc, 5 min, 25 ml, % 90%; 45oc, 25 min, 25 ml, & 50%; and 50oc, 15 min, 15 ml, & 70%, respectively. CaFr11 was observed to be the best-performing solvent among the NADESs studied as it outperforms others by extracting the highest TPC, and TFC as well as the highest CUPRAC antiradical scavenging activity at the optimized conditions. CaSu11 had the highest FRAP power, while CaXy12 gave the highest DPPH inhibition at optimized conditions. Besides, all the studied NADESs outperformed water, the greenest solvent, in TPC, and TFC extraction, as well as in DPPH inhibition. However, water extracts performed better than CaGC21, CaGl11, and CaGl21 in FRAP tests. The results are like findings obtained by other researchers who performed optimization of UAE-Choline chloride NADESs extraction using other plant materials.
This study demonstrated the feasibility and effectiveness of using ultrasound-assisted synthesis of natural acidic deep eutectic solvents (NADESs) for the extraction of bioactive compounds from agrifood wastes. The combination of NADESs and UAE not only provided higher yields of antioxidants but also offered a sustainable, green alternative to conventional solvents. The antioxidant and antiradical scavenging assays confirmed the potential of these extracts for applications in the food, pharmaceutical, and cosmetic industries. The findings highlight the role of NADESs in enhancing extraction processes and valorizing agrifood wastes, paving the way for further research on the scalability and commercial viability of this approach.Natural acidic deep eutectic solvents (NADESs)-ultrasound-assisted technique was developed and used to valorize agrifood waste. The extraction capacity of the synthesized NADESs was comprehensively evaluated using the peels of African nutmeg. The antioxidant and antiradical scavenging properties of the extracts were investigated using various in vitro methods.
The extraction process was studied using many factors at a time (MFAT) experimental design and further optimized through a rotatable central composite design response surface methodology (RCCDRSM). The effects of different operating conditions were evaluated comprehensively to determine the parameters necessary for antioxidant recovery in terms of TPC and TFC, and antiradical scavenging activity based on CUPRAC and FRAP methods. The conditions that gave the highest values of 908.17 μgGAE/g DW, 1431.51 μgQE/g DW, 11.5568 μMTE/g DW, and 14.7903 μMTE/g DW for TPC, TFC, CUPRAC, and FRAP were found in CaFr12, CaGc11, CaFr11, CaXy11 as solvents respectively. These results underscore the potential of using specific NADES formulations to tailor the extraction process for desired antioxidant and antiradical scavenging properties. The findings give insights into the capacity of NADESs as powerful solvents for extraction applications, and further optimized.
Four independent factors of temperature, time, volume, and concentration, determined from the MFAT studies which significantly affected bioactive molecule extraction were optimized to elucidate the best conditions that produce the maximum TPC extracts, maximum TFC extracts, and maximum antiradical scavenging activity through CUPRAC, FRAP, and DPPH inhibition. The optimized conditions with maximum desirability for TPC, TFC, CUPRAC, FRAP, and DPPH were temperature, time, volume, and concentration of 45oc, 5 min, 25 ml, & 90%; 30oc, 5min, 25 ml, & 90%; 30oc, 5 min, 25 ml, % 90%; 45oc, 25 min, 25 ml, & 50%; and 50oc, 15 min, 15 ml, & 70%, respectively. CaFr11 was observed to be the best-performing solvent among the NADESs studied as it outperforms others by extracting the highest TPC, and TFC as well as the highest CUPRAC antiradical scavenging activity at the optimized conditions. CaSu11 had the highest FRAP power, while CaXy12 gave the highest DPPH inhibition at optimized conditions. Besides, all the studied NADESs outperformed water, the greenest solvent, in TPC, and TFC extraction, as well as in DPPH inhibition. However, water extracts performed better than CaGC21, CaGl11, and CaGl21 in FRAP tests. The results are like findings obtained by other researchers who performed optimization of UAE-Choline chloride NADESs extraction using other plant materials.
This study demonstrated the feasibility and effectiveness of using ultrasound-assisted synthesis of natural acidic deep eutectic solvents (NADESs) for the extraction of bioactive compounds from agrifood wastes. The combination of NADESs and UAE not only provided higher yields of antioxidants but also offered a sustainable, green alternative to conventional solvents. The antioxidant and antiradical scavenging assays confirmed the potential of these extracts for applications in the food, pharmaceutical, and cosmetic industries. The findings highlight the role of NADESs in enhancing extraction processes and valorizing agrifood wastes, paving the way for further research on the scalability and commercial viability of this approach
Blue elixir of youth and wellness: The multicomponent-multitarget paradigm of Curcuma caesia Roxb
No full textAging is a complex biological process influenced by genetic, environmental, and lifestyle factors, including diet and exercise. This process not only leads to visible signs of skin aging, such as wrinkles and elasticity loss, but also predisposes individuals to a spectrum of age-related diseases. Oxidative stress and inflammation are key events driving this phenomenon. This study aims to delve into the antioxidative and protective potential of a rhizome extract from Curcuma caesia Roxb., a less explored species within the turmeric family, focusing on its effects on HaCaT cells subjected to UV radiation. Curcuma caesia Roxb. rhizome was extracted for a phytocomplex (CCRE). Through HPLC-ESI-MS/MS, the chemical analysis identified key phenolic compounds, including (−)-epicatechin, procyanidin B2, and p-coumaric acid. Human immortalized keratinocyte cell lines (HaCaT) were treated with CCRE in healthy and UVB-induced conditions to assess their impact on oxidative stress and aging. Results demonstrated a significant reduction in mitochondrial superoxide anion levels without affecting mitochondrial membrane potential, indicating enhanced cellular resilience to oxidative stress. Additionally, CCRE decreased UVB-induced IL-6 expression and IKK phosphorylation, which play a crucial role in inflammaging. Notably, CCRE treatment also improved cell viability upon UVB exposure and mitigated UVB-induced cell apoptosis, further underscoring its potential to preserve cellular integrity and function in relation to environmental stressors. CCRE chemical composition and biological effects position it as a potential ingredient for formulations and functional foods to combat the signs of skin aging and enhance overall skin health
Il compito autentico inclusivo. Dis/abilitare le competenze per una scuola più equa.
No full text«Competenza» è un termine chiave di cui ci si serve per descrivere i processi di insegnamento-apprendimento. Ma che cosa intendiamo realmente quando utilizziamo questa parola? Qual è la relazione tra competenza, sviluppo umano e inclusione?
Per rispondere all’interrogativo, è necessario dis/abilitare il concetto di competenza. È necessario cioè discriminare gli elementi che rinviano all’influenza di modelli socio-economici, di natura abilista, da quelli che, al contrario, riconducono al funzionamento umano secondo una prospettiva pluralista e rispettosa delle differenze individuali.
In quest’ottica, il compito autentico inclusivo può rappresentare una risorsa vitale per incrementare i livelli di attenzione e partecipazione delle allieve e degli allievi alle attività proposte, con ricadute significative sul loro impegno e sulla loro motivazione. Affinché ciò si verifichi, è necessaria un’accurata preparazione da parte del corpo docente, chiamato a elaborare metodi innovativi secondo i principi della differenziazione didattica, per potenziare in modo mirato le abilità cognitive, sociali e prosociali di tutte e di tutti.
A tal fine, sulla base di una ricerca condotta con un gruppo di docenti in formazione, il volume propone alcuni esempi di percorsi operativi tesi a costruire una scuola più equa e accessibile
