A core calculus for the analysis and implementation of biologically inspired languages

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.

Molecular approach to Neurodegenerative Disorders: Role of Nociceptin/Orphanin FQ - NOP System in Parkinson and Epigenetic Mechanism in Alzheimer's Disease

With life expectancies increasing around the world, populations are getting age and neurodegenerative diseases have become a global issue. For this reason we have focused our attention on the two most important neurodegenerative diseases: Parkinson’s and Alzheimer’s. Parkinson’s disease is a chronic progressive neurodegenerative movement disorder of multi-factorial origin. Environmental toxins as well as agricultural chemicals have been associated with PD. Has been observed that N/OFQ contributes to both neurotoxicity and symptoms associated with PD and that pronociceptin gene expression is up-regulated in rat SN of 6-OHDA and MPP induced experimental parkinsonism. First, we investigated the role of N/OFQ-NOP system in the pathogenesis of PD in an animal model developed using PQ and/or MB. Then we studied Alzheimer's disease. This disorder is defined as a progressive neurologic disease of the brain leading to the irreversible loss of neurons and the loss of intellectual abilities, including memory and reasoning, which become severe enough to impede social or occupational functioning. Effective biomarker tests could prevent such devastating damage occurring. We utilized the peripheral blood cells of AD discordant monozygotic twin in the search of peripheral markers which could reflect the pathology within the brain, and also support the hypothesis that PBMC might be a useful model of epigenetic gene regulation in the brain. We investigated the mRNA levels in several genes involve in AD pathogenesis, as well DNA methylation by MSP Real-Time PCR. Finally by Western Blotting we assess the immunoreactivity levels for histone modifications. Our results support the idea that epigenetic changes assessed in PBMCs can also be useful in neurodegenerative disorders, like AD and PD, enabling identification of new biomarkers in order to develop early diagnostic programs.

Nonlinear constrained and saturated control of power electronics and electromechanical systems

Power electronic converters are extensively adopted for the solution of timely issues, such as power quality improvement in industrial plants, energy management in hybrid electrical systems, and control of electrical generators for renewables. Beside nonlinearity, this systems are typically characterized by hard constraints on the control inputs, and sometimes the state variables. In this respect, control laws able to handle input saturation are crucial to formally characterize the systems stability and performance properties. From a practical viewpoint, a proper saturation management allows to extend the systems transient and steady-state operating ranges, improving their reliability and availability. The main topic of this thesis concern saturated control methodologies, based on modern approaches, applied to power electronics and electromechanical systems. The pursued objective is to provide formal results under any saturation scenario, overcoming the drawbacks of the classic solution commonly applied to cope with saturation of power converters, and enhancing performance. For this purpose two main approaches are exploited and extended to deal with power electronic applications: modern anti-windup strategies, providing formal results and systematic design rules for the anti-windup compensator, devoted to handle control saturation, and “one step” saturated feedback design techniques, relying on a suitable characterization of the saturation nonlinearity and less conservative extensions of standard absolute stability theory results. The first part of the thesis is devoted to present and develop a novel general anti-windup scheme, which is then specifically applied to a class of power converters adopted for power quality enhancement in industrial plants. In the second part a polytopic differential inclusion representation of saturation nonlinearity is presented and extended to deal with a class of multiple input power converters, used to manage hybrid electrical energy sources. The third part regards adaptive observers design for robust estimation of the parameters required for high performance control of power systems.

Preclinical development of anti-cancer strategies against human HER-2

HER-2 is a 185 kDa transmembrane receptor tyrosine kinase that belongs to the EGFR family. HER-2 is overexpressed in nearly 25% of human breast cancers and women with this subtype of breast cancer have a worse prognosis and frequently develop metastases. The progressive high number of HER-2-positive breast cancer patients with metastatic spread in the brain (up to half of women) has been attributed to the reduction in mortality, the effectiveness of Trastuzumab in killing metastatic cells in other organs and to its incapability to cross the blood-brain barrier. Apart from full-length-HER-2, a splice variant of HER-2 lacking exon 16 (here referred to as D16) was identified in human HER-2-positive breast cancers. Here, the contribution of HER-2 and D16 to mammary carcinogenesis was investigated in a model transgenic for both genes (F1 model). A dominant role of D16, especially in early stages of tumorigenesis, was suggested and the coexistence of heterogeneous levels of HER-2 and D16 in F1 tumors revealed the undeniable value of F1 strain as preclinical model of HER-2-positive breast cancer, closer resembling the human situation in respect to previous models. The therapeutical efficacy of anti-HER-2 agents, targeting HER-2 receptor (Trastuzumab, Lapatinib, R-LM249) or signaling effectors (Dasatinib, UO126, NVP-BKM120), was investigated in models of local or advanced HER-2-positive breast cancer. In contrast with early studies, data herein collected suggested that the presence of D16 can predict a better response to Trastuzumab and other agents targeting HER-2 receptor or Src activity. Using a multiorgan HER-2-positive metastatic model, the efficacy of NVP-BKM120 (PI3K inhibitor) in blocking the growth of brain metastases and the oncolytic ability of R-LM249 (HER-2-retargeted HSV) to reach and destroy metastatic HER-2-positive cancer cells were shown. Finally, exploiting the definition of “oncoantigen” given to HER-2, the immunopreventive activity of two vaccines on HER-2-positive mammary tumorigenesis was demonstrated.

Il Pluralismo tra Democrazia ed Autoritarismo: Il Caso Russo

The research explores the mechanisms in the formation and consolidation of a new regime which combines democratic and authoritarian features; it has emerged as result of democratization processes affecting different world areas in recent years. The study analyses a case of great international significance, post-communist Russia: here internal factors strongly prevail in front of the external variables of democratic imitation and contagion, thus showing to what extent Russia differs from other political contexts. The study intends to examine the strategies used by this regime to solve internal conflicts and become stable in spite of the democratizing pressures coming from outside. Indeed, the literature about political transformations has shown the problems in analyzing these polities together with the need to examine their peculiarities more in depth. In this perspective, the first section focuses on the dynamics of State-building in Russia as a fundamental process in tracing the specific characteristics of the current regime: particularly, it is suggested that the State dimension comes out as crucial in determining the level of political and social pluralism accepted in post-Soviet Russia. This argument is worked out in the second section, which analyses the main mechanisms used by the incumbents to limit and control pluralism within the two arenas of political competition and civil society, from where the major threats to the status quo are supposed to come. The main hypothesis is that the leadership interventions in these spheres during the last ten years have shaped a regime which can be characterized as a new type of authoritarianism: with respect to traditional authoritarian forms a certain degree of political contestation is accepted, visible in the presence of a multiparty system, semi-competitive elections and of the several representatives of civil society. Yet, this diversity is curbed basically in two different ways: from one hand the incumbents provide support to political and social actors who sponsor government politics (see the party of power and pro-Kremlin movements). From the other they use some non coercive forms of control and restriction (in legislation, in political elections) against those actors who promote values and priorities opposed to the official ones.

Rapporto tra struttura e funzione della cistatina B e dei suoi mutanti in relazione all'epilessia mioclonica progressiva di tipo 1 (EPM1)

This work shows for the first time that native CSTB polymerizes on addition of Cu2+ and DnaK (Hsp70). Cysteines are involved in the polymerization process and in particular at least one cysteine is necessary. We propose that Cu2+ interacts with the thiol group of cysteine and oxidize it. The oxidized cysteine modifies the CSTB structure allowing interaction with DnaK/Hsp70 to occur. Thus, Cu2+ binding to CSTB exposes a site for DnaK and such interaction allows the polymerization of CSTB. The polymers generated from native CSTB monomers, are DTT sensitive and they may represent physiological polymers. Denatured CSTB does not require Cu2+ and polymerizes simply on addition of DnaK. The polymers generated from denatured CSTB do not respond to DTT. They have characteristics similar to those of the CSTB toxic aggregates described in vivo in eukaryotic cells following CSTB over-expression. Interaction between CSTB and Hsp70 is shown by IP experiments. The interaction occurs with WT CSTB and not with the cys mutant. This suggests that disulphur bonds are involved. Methal-cathalyzed oxidation of proteins involves reduction of the metal ion(s) bound to the protein itself and oxidation of neighboring ammino acid residues resulting in structural modification and de-stabilization of the molecule. In this work we propose that the cysteine thyol residue of CSTB in the presence of Cu2+ is oxidized, and cathalyzes the formation of disulphide bonds with Hsp70, that, once bound to CSTB, mediates its polymerization. In vivo this molecular mechanism of CSTB polymerization could be regulated by redox environment through the cysteine residue. This may imply that CSTB physiological polymers have a specific cellular function, different from that of the protease inhibitor known for the CSTB monomer. This hypothesis is interesting in relation to Progressive Myoclonus Epilepsy of type 1 (EPM1). This pathology is usually caused by mutations in the CSTB gene. CSTB is a ubiquitous protein, but EPM1 patients have problems only in the central nervous system. Maybe physiological CSTB polymers have a specific function altered in people affected by EPM1.