Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Computational methods for the analysis of protein structure and function

The vast majority of known proteins have not yet been experimentally characterized and little is known about their function. The design and implementation of computational tools can provide insight into the function of proteins based on their sequence, their structure, their evolutionary history and their association with other proteins. Knowledge of the three-dimensional (3D) structure of a protein can lead to a deep understanding of its mode of action and interaction, but currently the structures of <1% of sequences have been experimentally solved. For this reason, it became urgent to develop new methods that are able to computationally extract relevant information from protein sequence and structure. The starting point of my work has been the study of the properties of contacts between protein residues, since they constrain protein folding and characterize different protein structures. Prediction of residue contacts in proteins is an interesting problem whose solution may be useful in protein folding recognition and de novo design. The prediction of these contacts requires the study of the protein inter-residue distances related to the specific type of amino acid pair that are encoded in the so-called contact map. An interesting new way of analyzing those structures came out when network studies were introduced, with pivotal papers demonstrating that protein contact networks also exhibit small-world behavior. In order to highlight constraints for the prediction of protein contact maps and for applications in the field of protein structure prediction and/or reconstruction from experimentally determined contact maps, I studied to which extent the characteristic path length and clustering coefficient of the protein contacts network are values that reveal characteristic features of protein contact maps. Provided that residue contacts are known for a protein sequence, the major features of its 3D structure could be deduced by combining this knowledge with correctly predicted motifs of secondary structure. In the second part of my work I focused on a particular protein structural motif, the coiled-coil, known to mediate a variety of fundamental biological interactions. Coiled-coils are found in a variety of structural forms and in a wide range of proteins including, for example, small units such as leucine zippers that drive the dimerization of many transcription factors or more complex structures such as the family of viral proteins responsible for virus-host membrane fusion. The coiled-coil structural motif is estimated to account for 5-10% of the protein sequences in the various genomes. Given their biological importance, in my work I introduced a Hidden Markov Model (HMM) that exploits the evolutionary information derived from multiple sequence alignments, to predict coiled-coil regions and to discriminate coiled-coil sequences. The results indicate that the new HMM outperforms all the existing programs and can be adopted for the coiled-coil prediction and for large-scale genome annotation. Genome annotation is a key issue in modern computational biology, being the starting point towards the understanding of the complex processes involved in biological networks. The rapid growth in the number of protein sequences and structures available poses new fundamental problems that still deserve an interpretation. Nevertheless, these data are at the basis of the design of new strategies for tackling problems such as the prediction of protein structure and function. Experimental determination of the functions of all these proteins would be a hugely time-consuming and costly task and, in most instances, has not been carried out. As an example, currently, approximately only 20% of annotated proteins in the Homo sapiens genome have been experimentally characterized. A commonly adopted procedure for annotating protein sequences relies on the "inheritance through homology" based on the notion that similar sequences share similar functions and structures. This procedure consists in the assignment of sequences to a specific group of functionally related sequences which had been grouped through clustering techniques. The clustering procedure is based on suitable similarity rules, since predicting protein structure and function from sequence largely depends on the value of sequence identity. However, additional levels of complexity are due to multi-domain proteins, to proteins that share common domains but that do not necessarily share the same function, to the finding that different combinations of shared domains can lead to different biological roles. In the last part of this study I developed and validate a system that contributes to sequence annotation by taking advantage of a validated transfer through inheritance procedure of the molecular functions and of the structural templates. After a cross-genome comparison with the BLAST program, clusters were built on the basis of two stringent constraints on sequence identity and coverage of the alignment. The adopted measure explicity answers to the problem of multi-domain proteins annotation and allows a fine grain division of the whole set of proteomes used, that ensures cluster homogeneity in terms of sequence length. A high level of coverage of structure templates on the length of protein sequences within clusters ensures that multi-domain proteins when present can be templates for sequences of similar length. This annotation procedure includes the possibility of reliably transferring statistically validated functions and structures to sequences considering information available in the present data bases of molecular functions and structures.

Synthetic strategies of new molecular paramagnetic mechanically-interlocked complexes

Supramolecular chemistry is a multidisciplinary field which impinges on other disciplines, focusing on the systems made up of a discrete number of assembled molecular subunits. The forces responsible for the spatial organization are intermolecular reversible interactions. The supramolecular architectures I was interested in are Rotaxanes, mechanically-interlocked architectures consisting of a "dumbbell shaped molecule", threaded through a "macrocycle" where the stoppers at the end of the dumbbell prevent disassociation of components and catenanes, two or more interlocked macrocycles which cannot be separated without breaking the covalent bonds. The aim is to introduce one or more paramagnetic units to use the ESR spectroscopy to investigate complexation properties of these systems cause this technique works in the same time scale of supramolecular assemblies. Chapter 1 underlines the main concepts upon which supramolecular chemistry is based, clarifying the nature of supramolecular interactions and the principles of host-guest chemistry. In chapter 2 it is pointed out the use of ESR spectroscopy to investigate the properties of organic non-covalent assemblies in liquid solution by spin labels and spin probes. The chapter 3 deals with the synthesis of a new class of p-electron-deficient tetracationic cyclophane ring, carrying one or two paramagnetic side-arms based on 2,2,6,6-tetramethylpiperidine-N-oxyl (TEMPO) moiety. In the chapter 4, the Huisgen 1,3-dipolar cycloaddition is exploited to synthesize rotaxanes having paramagnetic cyclodextrins as wheels. In the chapter 5, the catalysis of Huisgen’s cycloaddition by CB[6] is exploited to synthesize paramagnetic CB[6]-based [3]-rotaxanes. In the chapter 6 I reported the first preliminary studies of Actinoid series as a new class of templates in catenanes’ synthesis. Being f-block elements, so having the property of expanding the valence state, they constitute promising candidates as chemical templates offering the possibility to create a complex with coordination number beyond 6.

Cell-free cryopreserved arterial allografts from multiorgan donors: a new strategy to fabricate artificial blood vessels suited for peripheral vascular surgery

Critical lower limb ischemia is a severe disease. A common approach is infrainguinal bypass. Synthetic vascular prosthesis, are good conduits in high-flow low-resistance conditions but have difficulty in their performance as small diameter vessel grafts. A new approach is the use of native decellularized vascular tissues. Cell-free vessels are expected to have improved biocompatibility when compared to synthetic and are optimal natural 3D matrix templates for driving stem cell growth and tissue assembly in vivo. Decellularization of tissues represent a promising field for regenerative medicine, with the aim to develop a methodology to obtain small-diameter allografts to be used as a natural scaffold suited for in vivo cell growth and pseudo-tissue assembly, eliminating failure caused from immune response activation. Material and methods. Umbilical cord-derived mesenchymal cells isolated from human umbilical cord tissue were expanded in advanced DMEM. Immunofluorescence and molecular characterization revealed a stem cell profile. A non-enzymatic protocol, that associate hypotonic shock and low-concentration ionic detergent, was used to decellularize vessel segments. Cells were seeded cell-free scaffolds using a compound of fibrin and thrombin and incubated in DMEM, after 4 days of static culture they were placed for 2 weeks in a flow-bioreactor, mimicking the cardiovascular pulsatile flow. After dynamic culture, samples were processed for histological, biochemical and ultrastructural analysis. Discussion. Histology showed that the dynamic culture cells initiate to penetrate the extracellular matrix scaffold and to produce components of the ECM, as collagen fibres. Sirius Red staining showed layers of immature collagen type III and ultrastructural analysis revealed 30 nm thick collagen fibres, presumably corresponding to the immature collagen. These data confirm the ability of cord-derived cells to adhere and penetrate a natural decellularized tissue and to start to assembly into new tissue. This achievement makes natural 3D matrix templates prospectively valuable candidates for clinical bypass procedures

Elaborazione di un algoritmo di pianificazione di ricostruzioni del cavo orale, dell'orofaringe, della mandibola.

1.Ricostruzione mandibolare La ricostruzione mandibolare è comunemente eseguita utilizzando un lembo libero perone. Il metodo convenzionale (indiretto) di Computer Aided Design e Computer Aided Manifacturing prevede il modellamento manuale preoperatorio di una placca di osteosintesi standard su un modello stereolitografico della mandibola. Un metodo innovativo CAD CAM diretto comprende 3 fasi: 1) pianificazione virtuale 2) computer aided design della dima di taglio mandibolari, della dima di taglio del perone e della placca di osteosintesi e 3) Computer Aided Manufacturing dei 3 dispositivi chirurgici personalizzati. 7 ricostruzioni mandibolari sono state effettuate con il metodo diretto. I risultati raggiunti e le modalità di pianificazione sono descritte e discusse. La progettazione assistita da computer e la tecnica di fabbricazione assistita da computer facilita un'accurata ricostruzione mandibolare ed apporta un miglioramento statisticamente significativo rispetto al metodo convenzionale. 2. Cavità orale e orofaringe Un metodo ricostruttivo standard per la cavità orale e l'orofaringe viene descritto. 163 pazienti affetti da cancro della cavità orale e dell'orofaringe, sono stati trattati dal 1992 al 2012 eseguendo un totale di 175 lembi liberi. La strategia chirurgica è descritta in termini di scelta del lembo, modellamento ed insetting. I modelli bidimensionali sono utilizzati per pianificare una ricostruzione tridimensionale con il miglior risultato funzionale ed estetico. I modelli, la scelta del lembo e l' insetting sono descritti per ogni regione. Complicazioni e risultati funzionali sono stati valutati sistematicamente. I risultati hanno mostrato un buon recupero funzionale con le tecniche ricostruttive descritte. Viene proposto un algoritmo ricostruttivo basato su template standard.

Scaled down physical properties of semiconductor nanowires for nanoelectronics scaling up

Semiconductor nanowires (NWs) are one- or quasi one-dimensional systems whose physical properties are unique as compared to bulk materials because of their nanoscaled sizes. They bring together quantum world and semiconductor devices. NWs-based technologies may achieve an impact comparable to that of current microelectronic devices if new challenges will be faced. This thesis primarily focuses on two different, cutting-edge aspects of research over semiconductor NW arrays as pivotal components of NW-based devices. The first part deals with the characterization of electrically active defects in NWs. It has been elaborated the set-up of a general procedure which enables to employ Deep Level Transient Spectroscopy (DLTS) to probe NW arrays’ defects. This procedure has been applied to perform the characterization of a specific system, i.e. Reactive Ion Etched (RIE) silicon NW arrays-based Schottky barrier diodes. This study has allowed to shed light over how and if growth conditions introduce defects in RIE processed silicon NWs. The second part of this thesis concerns the bowing induced by electron beam and the subsequent clustering of gallium arsenide NWs. After a justified rejection of the mechanisms previously reported in literature, an original interpretation of the electron beam induced bending has been illustrated. Moreover, this thesis has successfully interpreted the formation of NW clusters in the framework of the lateral collapse of fibrillar structures. These latter are both idealized models and actual artificial structures used to study and to mimic the adhesion properties of natural surfaces in lizards and insects (Gecko effect). Our conclusion are that mechanical and surface properties of the NWs, together with the geometry of the NW arrays, play a key role in their post-growth alignment. The same parameters open, then, to the benign possibility of locally engineering NW arrays in micro- and macro-templates.

Simulation Guided Navigation in cranio-maxillo-facial surgery: a new approach to improve intraoperative three-dimensional accuracy and reproducibility during surgery.

The aim of this PhD thesis " Simulation Guided Navigation in cranio- maxillo- facial surgery : a new approach to Improve intraoperative three-dimensional accuracy and reproducibility during surgery ." was at the center of its attention the various applications of a method introduced by our School in 2010 and has as its theme the increase of interest of reproducibility of surgical programs through methods that in whole or in part are using intraoperative navigation. It was introduced in Orthognathic Surgery Validation a new method for the interventions carried out according to the method Simulation Guided Navigation in facial deformities ; was then analyzed the method of three-dimensional control of the osteotomies through the use of templates and cutting of plates using the method precontoured CAD -CAM and laser sintering . It was finally proceeded to introduce the method of piezonavigated surgery in the various branches of maxillofacial surgery . These studies have been subjected to validation processes and the results are presented .

Unveiling the molecular mechanism of BRCA2-RAD51 interaction to tackle cancer onset

Different kinds of lesions can occur to DNA, and among them, one of the most dangerous is the double strand breaks (DSBs). Actually, DSBs can result in mutations, chromosome translocation or deletion. For this kind of lesions, depending on cell cycle phase as well as DNA-end resection, cells have developed specific repair pathways. Among these the error-free homologous recombination (HR) plays a crucial role. HR takes place during S/G2 phases, since the sister chromatids can be used as homologous templates. In this process, hRAD51 and BRCA2 are key players. hRAD51 is a recombinase of 339 amino-acids highly conserved through evolution which displays an intrinsic tendency to form oligomeric structures. BRCA2 is a very large protein of 3418 amino-acids, essential for the recruitment and accumulation of hRAD51 in the nucleus repairing-foci. BRCA2 interacts with hRAD51 through eight, so-called, BRC repeats, composed of 35-40 amino-acids. Mutations within this region have been linked to an increased risk of ovarian cancer development. In particular, several reports highlighted that missense mutations within one BRC repeat can hamper BRCA2 activity. Considering the close homology between the BRC repeats, it is striking how these mutations cannot be counterbalanced by the other non-mutated repeats preserving the function and the interactions of BRCA2 with hRAD51. To date the only interaction that has been structurally elucidated, is the one taking place amid the fourth BRC repeat and hRAD51. Only very little biophysical information is available on the interaction of the other BRC repeats with hRAD51. This thesis aims at elucidating the mechanism of hRAD51-BRCA2 interaction, by means of biophysical and structural approaches.