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.

Multi-level models and infrastructures for simulating biological system development

The hierarchical organisation of biological systems plays a crucial role in the pattern formation of gene expression resulting from the morphogenetic processes, where autonomous internal dynamics of cells, as well as cell-to-cell interactions through membranes, are responsible for the emergent peculiar structures of the individual phenotype. Being able to reproduce the systems dynamics at different levels of such a hierarchy might be very useful for studying such a complex phenomenon of self-organisation. The idea is to model the phenomenon in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartment events determines the emergent behaviour resulting in the formation of spatial patterns. According to these premises the thesis proposes a review of the different approaches already developed in modelling developmental biology problems, as well as the main models and infrastructures available in literature for modelling biological systems, analysing their capabilities in tackling multi-compartment / multi-level models. The thesis then introduces a practical framework, MS-BioNET, for modelling and simulating these scenarios exploiting the potential of multi-level dynamics. This is based on (i) a computational model featuring networks of compartments and an enhanced model of chemical reaction addressing molecule transfer, (ii) a logic-oriented language to flexibly specify complex simulation scenarios, and (iii) a simulation engine based on the many-species/many-channels optimised version of Gillespie’s direct method. The thesis finally proposes the adoption of the agent-based model as an approach capable of capture multi-level dynamics. To overcome the problem of parameter tuning in the model, the simulators are supplied with a module for parameter optimisation. The task is defined as an optimisation problem over the parameter space in which the objective function to be minimised is the distance between the output of the simulator and a target one. The problem is tackled with a metaheuristic algorithm. As an example of application of the MS-BioNET framework and of the agent-based model, a model of the first stages of Drosophila Melanogaster development is realised. The model goal is to generate the early spatial pattern of gap gene expression. The correctness of the models is shown comparing the simulation results with real data of gene expression with spatial and temporal resolution, acquired in free on-line sources.

Reconstructive Microsurgery and Tissue Engineering in Musculo-Skeletal Oncology - Innovative Techniques

Tumors involving bone and soft tissues are extremely challenging situations. With the recent advances of multi-modal treatment, not only the type of surgery has moved from amputation to limb-sparing procedures, but also the survivorship has improved considerably and reconstructive techniques have the goal to allow a considerably higher quality of life. In bone reconstruction, tissue engineering strategies are the main area of research. Re-vascularization and re-vitalisation of a massive allograft would considerably improve the outcome of biological reconstructions. Using a rabbit animal model, in this study we showed that, by implanting a vascular pedicle inside a weight bearing massive cortical allograft, the bone regeneration inside the allograft was higher compared to the non-vascularized implants, given the patency of the vascular pedicle. Improvement in the animal model and the addition of Stem Cells and Growth factors will allow a further improvement in the results. In soft tissue tumors, free and pedicled flaps have been proven to be of great help as reconstruction strategies. In this study we analyzed the functional and overall outcome of 14 patients who received a re-innervated vascularized flap. We have demonstrated that the use of the innovative technique of motor re-innervated muscular flaps is effective when the resection involves important functional compartments of the upper or lower limb, with no increase of post-operative complications. Although there was no direct comparison between this type of reconstruction and the standard non-innervated reconstruction, we underlined the remarkable high overall functional scores and patient satisfaction following this procedure.

Characterization of new molecular targets involved in iodide flux in the thyroid gland: the anoctamins

Iodide transport is necessary for the synthesis of thyroid hormones following accumulation in the follicular lumen out of thyroid cells, via channels unknown with the exception of pendrin. According to our hypothesis, TMEM16A could be the main molecular identity of the channel mediating iodide efflux in the thyroid gland. TMEM16A is the prior candidate for calcium-activated chloride conductance (CaCC). TMEM16A belongs to the TMEM16/anoctamin family comprising ten members (TMEM16A-K). Higher affinity of TMEM16A for iodide and predicted expression in the thyroid gland suggest its mediation of iodide efflux. The aim of this project was to identify the role of TMEM16A in iodide transport in the thyroid gland, by characterizing its molecular expression and functional properties. We demonstrated that TMEM16F, H, K transcripts are expressed in FRTL-5 thyroid cells, as well as TMEM16A, which is TSH-independent. Tumor tissue from human thyroid maintains TMEM16A expression. Functional in vivo experiments in FRTL-5, stably expressing YFP-H148Q/I152L fluorescent protein as a biosensor, showed that iodide efflux is stimulated by agonists of purinergic receptors with an order of potency of ATP>UTP>ADP (compatible with an involvement of P2Y purinergic receptors), and by agonists of adrenergic receptors (epinephrine, norepinephrine and phenylephrine). Iodide efflux was blocked by α-receptor antagonists prazosin and phentolamine, consistent with a role of α1 adrenergic receptors. Iodide efflux was specifically dependent on calcium mobilized from intracellular compartments and induced by the calcium ionophore ionomycin. CaCC blockers suppressed ionomycin-/ATP-/epinephrine-stimulated iodide efflux. Heterologous expression of TMEM16A in CHO K1 cells induced calcium-activated iodide fluxes. All these results support the hypothesis of the involvement of TMEM16A in calcium-dependent iodide efflux induced by receptor agonists in thyroid cells. TMEM16A may represent a new pharmacological target for thyroid cancer therapy, since its blockade may enhance the retention of radioiodide by tumour cells enhancing the efficacy of radioablative therapy.

Physiological and structural aspects of fruit and vegetable mild processing

Over the past years fruit and vegetable industry has become interested in the application of both osmotic dehydration and vacuum impregnation as mild technologies because of their low temperature and energy requirements. Osmotic dehydration is a partial dewatering process by immersion of cellular tissue in hypertonic solution. The diffusion of water from the vegetable tissue to the solution is usually accompanied by the simultaneous solutes counter-diffusion into the tissue. Vacuum impregnation is a unit operation in which porous products are immersed in a solution and subjected to a two-steps pressure change. The first step (vacuum increase) consists of the reduction of the pressure in a solid-liquid system and the gas in the product pores is expanded, partially flowing out. When the atmospheric pressure is restored (second step), the residual gas in the pores compresses and the external liquid flows into the pores. This unit operation allows introducing specific solutes in the tissue, e.g. antioxidants, pH regulators, preservatives, cryoprotectancts. Fruit and vegetable interact dynamically with the environment and the present study attempts to enhance our understanding on the structural, physico-chemical and metabolic changes of plant tissues upon the application of technological processes (osmotic dehydration and vacuum impregnation), by following a multianalytical approach. Macro (low-frequency nuclear magnetic resonance), micro (light microscopy) and ultrastructural (transmission electron microscopy) measurements combined with textural and differential scanning calorimetry analysis allowed evaluating the effects of individual osmotic dehydration or vacuum impregnation processes on (i) the interaction between air and liquid in real plant tissues, (ii) the plant tissue water state and (iii) the cell compartments. Isothermal calorimetry, respiration and photosynthesis determinations led to investigate the metabolic changes upon the application of osmotic dehydration or vacuum impregnation. The proposed multianalytical approach should enable both better designs of processing technologies and estimations of their effects on tissue.

The impact of swine welfare on some qualitative traits of meat and long cured animal derived products

The present dissertation collects the results of three different research trials which have the common aim to understand the effects of swine welfare (both at farm level and during transport) on the main fresh and dry-cured meat characteristics. The first trial was carried out in order to compare the effects of illumination regimes differing in light duration or light intensity on meat and ham quality of Italian heavy pigs. The results of this trial support the conclusion that, within a moderate range of light intensity and given an appropriate dark period for animal rest, an increase of light duration or intensity above the minimum mandatory levels has no negative impact on carcass composition, meat or long-cured hams quality. The second trial was designed with the aim to investigate the effects of water restriction on growth traits, animal welfare and meat and ham quality of liquid-fed heavy pigs. Overall, the parameters analyzed as concerns growth rate, behavioural traits, blood, as well as carcass, fresh meat and cured hams quality were not affected by the absence of fresh drinking water. However, since liquid feeding did not suppress drinker use or drinker manipulation in the experimental groups, water restriction does not appear to be an applicable method to obtain a reduction of water waste. The third trial, which was carried out in Canada, tested the effectiveness of water sprinkling market-weight pigs (115±10Kg BW) before and after transport in reducing the heat stress experienced under commercial transport conditions. Our results show that the water sprinkling protocol proposed may reduce heat stress during transport and improve pork quality, particularly in specific trailer compartments. This body of research supports the general conclusion that swine welfare could be improved in different scenarios through simple and cost-effective means, without negatively affecting the quality of the main animal-derived products.

The silent survival of Staphylococcus aureus phagocyted by HL-60 derived neutrophils

Staphylococcus aureus is a Gram positive pathogen that causes various human infections and represents one of the most common causes of bacteremia. S. aureus is able to invade a variety of non-professional phagocytes and that can survive engulfment by neutrophils, producing both secreted and surface components that compromise innate immune responses. In the contest of our study we evaluated the functional activity of vaccine specific antibodies by opsonophagocytosis killing assay (OPKA). Interestingly a low level of killing of the staphylococcal cells has been observed. In the meanwhile intracellular survival studies showed that S. aureus persisted inside phagocytes for several hours until a burst of growth after 5 hours in the supernatant. These data suggest that the strong ability of S. aureus to survive in the phagocytes could be the cause of the low killing measured by OPKA. Moreover parallel studies on HL-60 cells infected with S. aureus done by using transmission electron microscopy (TEM) interestingly showed that staphylococcal cells have an intracellular localization (endosomal vacuoles) and that they are able not only to maintain the integrity of their membrane but also to replicate inside vacuolar compartments. Finally in order to generate 3D volume of whole bacteria when present inside neutrophilic vacuoles, we collected a series of tomographic two-dimensional (2D) images by using a transmission electron microscope, generating 5 different tomograms. The three-dimensional reconstruction reveals the presence of intact bacteria within neutrophil vacuoles. The S. aureus membrane appears completely undamaged and integral in contrast with the physiological process of phagosytosis through vacuoles progression. S. aureus bacteria show a homogenous distribution of the density in all the three dimensions (X, Y, Z). All these evidences definitely explain the ability of the pathogen to survive inside the endosomal vacuoles and should be the cause of the low killing level.

Aspetti Ultrasonografici in Corso di Sviluppo Placentare e Adattamento Cardiovascolare nella Cavalla Gravida: ecografia bidimensionale, ecocardiografia ed ecocontrastografia (CEUS)

In corso di gravidanza normale avvengono modificazioni emodinamiche centrali e periferiche volte a garantire le crescenti richieste nutritive dell'unità feto-placentare. L’ecografia con mezzo di contrasto (CEUS-Contrast Enhanced Ultrasonography) a base di microbolle offre una nuova opportunità di monitorare e quantificare la perfusione utero-placentare in condizioni normali e patologiche. L’ecocardiografia è stata ampiamente usata in medicina umana per valutare l’adattamento morfo-funzionale cardiaco materno durante la gravidanza. Gli scopi di questo lavoro prospettico sono stati di applicare, per la prima volta nella specie equina, un mezzo di contrasto di II generazione (Sonovue®), al fine quantificare la perfusione utero-placentare in corso di gravidanza normale, valutandone gli effetti sul benessere materno-fetale e di descrivere le modificazioni nei parametri ecocardiografici morfometrici e funzionali cardiaci, in particolare relativi alla funzione del ventricolo sinistro nel corso di una gravidanza fisiologica. Due fattrici sane di razza Trottatore sono state monitorate ecograficamente in maniera seriale durante l’intero corso della gravidanza, tramite esame bidimensionale, ecocontrastografia dell'unità utero-placentare, flussimetria Doppler delle arterie uterine, ecocardiografia materna in modalità bidimensionale, M-mode, Doppler e Tissue Doppler Imaging. I neonati sono stati clinicamente monitorati e gli invogli fetali esaminati. Il pattern di microperfusione utero-placentare è valutabile quali-quantitativamente tramite la CEUS e dimostra un’aumento del flusso a livello di microvascolarizzazione uterina con l'avanzare della gravidanza; non è stata rilevata la presenza di microbolle a livello di strutture fetali nè effetti dannosi sul benessere materno-fetale. In questo studio sono state osservate delle modificazioni cardiache materne in corso di gravidanza fisiologica, relative all'aumento della FC, del CO ed in particolare all'aumento delle dimensioni dell'atrio sinistro ed a modificazioni nelle onde di velocità di flusso e tissutali di riempimento del ventricolo sinistro.

Impact of metal and metal oxide engineered nanoparticles in soil and plant systems

Nanotechnology promises huge benefits for society and capital invested in this new technology is steadily increasing, therefore there is a growing number of nanotechnology products on the market and inevitably engineered nanomaterials will be released in the atmosphere with potential risks to humans and environment. This study set out to extend the comprehension of the impact of metal (Ag, Co, Ni) and metal oxide (CeO2, Fe3O4, SnO2, TiO2) nanoparticles (NPs) on one of the most important environmental compartments potentially contaminated by NPs, the soil system, through the use of chemical and biological tools. For this purpose experiments were carried out to simulate realistic environmental conditions of wet and dry deposition of NPs, considering ecologically relevant endpoints. In detail, this thesis involved the study of three model systems and the evaluation of related issues: (i) NPs and bare soil, to assess the influence of NPs on the functions of soil microbial communities; (ii) NPs and plants, to evaluate the chronic toxicity and accumulation of NPs in edible tissues; (iii) NPs and invertebrates, to verify the effects of NPs on earthworms and the damaging of their functionality. The study highlighted that NP toxicity is generally influenced by NP core elements and the impact of NPs on organisms is specie-specific; moreover experiments conducted in media closer to real conditions showed a decrease in toxicity with respect to in vitro test or hydroponic tests. However, only a multidisciplinary approach, involving physical, chemical and biological skills, together with the use of advanced techniques, such as X-ray absorption fine structure spectroscopy, could pave the way to draw the right conclusions and accomplish a deeper comprehension of the effects of NPs on soil and soil inhabitants.

Closed-loop investigation of the dynamical properties of cardiomyocyte electrophysiology by means of Dynamic clamp and Mathematical modelling

The research field of my PhD concerns mathematical modeling and numerical simulation, applied to the cardiac electrophysiology analysis at a single cell level. This is possible thanks to the development of mathematical descriptions of single cellular components, ionic channels, pumps, exchangers and subcellular compartments. Due to the difficulties of vivo experiments on human cells, most of the measurements are acquired in vitro using animal models (e.g. guinea pig, dog, rabbit). Moreover, to study the cardiac action potential and all its features, it is necessary to acquire more specific knowledge about single ionic currents that contribute to the cardiac activity. Electrophysiological models of the heart have become very accurate in recent years giving rise to extremely complicated systems of differential equations. Although describing the behavior of cardiac cells quite well, the models are computationally demanding for numerical simulations and are very difficult to analyze from a mathematical (dynamical-systems) viewpoint. Simplified mathematical models that capture the underlying dynamics to a certain extent are therefore frequently used. The results presented in this thesis have confirmed that a close integration of computational modeling and experimental recordings in real myocytes, as performed by dynamic clamp, is a useful tool in enhancing our understanding of various components of normal cardiac electrophysiology, but also arrhythmogenic mechanisms in a pathological condition, especially when fully integrated with experimental data.

Relevance of the pig stomach for the detection of dietary factors and gut maturation and control

In this thesis two approaches were applied to achieve a double general objective. The first chapter was dedicated to the study of the distribution of the expression of genes of several bitter and fat receptor in several gastrointestinal tracts. A set of 7 genes for bitter taste and for 3 genes for fat taste was amplified with real-time PCR from mRNA extracted from 5 gastrointestinal segments of weaned pigs. The presence of gene expression for several chemosensing receptors for bitter and fat taste in different compartments of the stomach confirms that this organ should be considered a player for the early detection of bolus composition. In the second chapter we investigated in young pigs the distribution of butyrate-sensing olfactory receptor (OR51E1) receptor along the GIT, its relation with some endocrine markers, its variation with age, and after interventions affecting the gut environment and intestinal microbiota in piglets and in different tissues. Our results indicate that OR51E1 is strictly related to the normal GIT enteroendocrine activity. In the third chapter we investigated the differential gene expression between oxyntic and pyloric mucosa in seven starter pigs. The obtained data indicate that there is significant differential gene exression between oxintic of the young pig and pyloric mucosa and further functional studies are needed to confirm their physiological importance. In the last chapter, thymol, that has been proposed as an oral alternative to antibiotics in the feed of pigs and broilers, was introduced directly into the stomach of 8 weaned pigs and sampled for gastric oxyntic and pyloric mucosa. The analysis of the whole transcript expression shoes that the stimulation of gastric proliferative activity and the control of digestive activity by thymol can influence positively gastric maturation and function in the weaned pigs.