Povertà: sfida educativa e responsabilità sociale. Il ruolo dell'educazione verso una società più giusta, equa e solidale

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.

La clausola della nazione più favorita dalle convenzioni internazionali all'ordinamento europeo

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.

Convergent bioenergetic defects in Coenzyme Q10 depleted cells by pharmacological inhibition of coq2 enzyme (p-hydroxybenzoate polyprenyl transferase) and by genome editing technology targeting the encoding gene (COQ2)

Primary CoQ10 deficiency diseases encompass a heterogeneous spectrum of clinical phenotypes. Among these, defect or mutation on COQ2 gene, encoding a para-hydroxybenzoate polyprenyl transferase, have been associated with different diseases. Understanding the functional and metabolic impact of COQ2 mutation and the consequent CoQ10 deficiency is still a matter of debate. To date the aetiology of the neurological phenotypes correlated to CoQ10 deficiency does not present a clear genotype-phenotype association. In addition to the metabolic alterations due to Coenzyme Q depletion, the impairment of mitochondrial function, associated with the reduced CoQ level, could play a significant role in the metabolic flexibility of cancer. This study aimed to characterize the effect of varying degrees of CoQ10 deficiency and investigate the multifaceted aspect of CoQ10 depletion and its impact on cell metabolism. To induced CoQ10 depletion, different cell models were used, employing a chemical and genome editing approach. In T67 and MCF-7 CoQ10 depletion was achieved by a competitive inhibitor of the enzyme, 4-nitrobenzoate (4-NB), whereas in SH-SY5Y the COQ2 gene was edited via CRISPR-Cas9 cutting edge technology.

Typed behavioural equivalences in the Pi-Calculus

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.