5 resultados para Raspberry pi

em AMS Tesi di Dottorato - Alm@DL - Università di Bologna


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The thesis focuses on the link between education and poverty. The first part of the work investigates these concepts through a multidisciplinary study (History, Anthropology, Sociology, Psychology, Pedagogy) to show the complexity of the phenomena, and analyzes poverty considering it as an educational challenge. The second part presents the outcomes of a qualitative research about the role and the power that education has in the fight against poverty. The interviews and the focus groups with teachers and educators who work with the poor in several Italian cities and abroad (Denver and Los Angeles, Israel and Palestine), and the observations of the educational work done in some schools and services considered the "best practices" highlight the importance to re-educate our society, that is impoverished by the crisis of welfare state and the weakness of social networks. The final chapter is dedicated to a reflection on social justice, solidarity and sobriety, as pillars for Social Pedagogy in a society that cannot close its eyes to the inequalities that it generates.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Il principale obiettivo della tesi è dimostrare come la connessione tra i differenti livelli giuridici che riguardano le relazioni tra Stati membri dell'UE richieda un'interpretazione sistematica delle convenzioni contro le doppie imposizioni intracomunitarie, ed in particolare richieda l'applicazione della clausola della nazione più favorita.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Besides their own adaptation strategies, plants might exploit microbial symbionts for overcoming both biotic and abiotic stresses and increase fitness. The current scenario of rapid climate change is demanding more sustainable agricultural management practices. The application of microbe-based products as a valid alternative to synthetic pesticides and fertilizers and their use to overcome stresses exacerbated by climate change, have been reviewed in the first part of this thesis. Berry fruits are widely cultivated and appreciated for their aromatic and nutraceutical properties. This thesis is focused on the role of plant and fruit microbiome on strawberry and raspberry growth, resistance, fruit quality and aroma. A taxonomical and functional description of the microbiome of different organs of three strawberry genotypes was performed both by traditional cultural dependent method and Next Generation Sequencing technique, highlighting a significant role of plant organs and genotype in determining the composition of microbial communities. Additionally, a selection of bacteria native of strawberry plants were isolated and screened for their plant growth promoting abilities and tested under the biotic stress of Xanthomonas fragariae infection and the abiotic stress of induced salinity. The monitoring of biometric parameters allowed the selection of a more restricted panel of bacterial strains, whose beneficial potential was tested in coordinated inoculations, or singularly. Raspberry plant was used for investigating the effect of cultivation method in determining fruit microbiome, and its consequent influence of berry quality and aroma. Interestingly, the cultivation method strongly influenced fruit nutraceutical traits, aroma and epiphytic bacterial biocoenosis. The involvement of the bacterial microbiota in fruit aroma determination was evaluated by performing GC–MS analysis of VOCs occurring in control, sterile and artificially reinoculated berries and by characterizing control and reinoculated berry microbiome. Differently treated berries showed significantly different aromatic profile, confirming the role of bacteria in fruit aroma development.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis, I study the notion of program equivalences, i.e. proving that two programs can be used interchangeably without altering the overall observable behaviour. This definition is highly dependent on the contexts in which these programs can be used; does the context have exceptions, parallelism, etc... So proofs also need to be adapted according to the expressiveness of those contexts. This thesis presents on the pi-calculus – a concurrent programming language – under various typing constraints. Types allows us to impose different disciplines like forcing a sequential execution, or ensuring linearity, meaning an object can be used once. In each case, the bisimulation, a standard proof technique for the pi-calculus, needs to be adapted accordingly to obtain a suitable equivalence. We then test how using the modified bisimulations can be used to reason about a language with higher-order functions and references, which once translated into the pi-calculus satisfies the typing constraints.