Expressiveness in biologically inspired languages

A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.

Division of labour in a group of agents inspired by ants' foraging behaviour

Questa tesi prende spunto da altri studi realizzati nel campo delle esattamente nel campo delle “Swam Intelligence”, una branca delle intelligenze artificiali prende spunto dal comportamento di animali sociali, sopratutto insetti come termini, formiche ed api, per trarne interessanti metafore per la creazione di algoritmi e tecniche di programmazione. Questo tipo di algoritmi, come per gli esempi tratti dalla biologia, risultano dotati di interessanti proprietà adatte alla risoluzione di certi problemi nell'ambito dell'ingegneria. Lo scopo della tesi è quello di mostrare tramite un esempio pratico le proprietà dei sistemi sviluppati tramite i principi delle Swarm Intelligence, evidenziando la flessibilità di questi sistemi. Nello specifico, la mia tesi analizzerà il problema della suddivisione del lavoro in una colonia di formiche, fornendo un esempio pratico quale il compito di cattura di prede in un determinato ambiente. Ho sviluppato un'applicazione software in Java che simula tale comportamento, i dati utilizzati durante le diverse simulazioni possono essere modificati tramite file di testo, in modo da ottenere risultati validi per diversi contesti.

Cannabinoid system combined to classic targets for a new MTDL strategy: design and synthesis of natural inspired molecules for Alzheimer's disease

In this thesis is described the design and synthesis of potential agents for the treatment of the multifactorial Alzheimer’s disease (AD). Our multi-target approach was to consider cannabinoid system involved in AD, together with classic targets. In the first project, designed modifications were performed on lead molecule in order to increase potency and obtain balanced activities on fatty acid amide hydrolase and cholinesterases. A small library of compounds was synthesized and biological results showed increased inhibitory activity (nanomolar range) related to selected target. The second project was focused on the benzofuran framework, a privileged structure being a common moiety found in many biologically active natural products and therapeutics. Hybrid molecules were designed and synthesized, focusing on the inhibition of cholinesterases, Aβ aggregation, FAAH and on the interaction with CB receptors. Preliminary results showed that several compounds are potent CB ligands, in particular the high affinity for CB2 receptors, could open new opportunities to modulate neuroinflammation. The third and the fourth project were carried out at the IMS, Aberdeen, under the supervision of Prof. Matteo Zanda. The role of the cannabinoid system in the brain is still largely unexplored and the relationship between the CB1 receptors functional modification, density and distribution and the onset of a pathological state is not well understood. For this reasons, Rimonabant analogues suitable as radioligands were synthesized. The latter, through PET, could provide reliable measurements of density and distribution of CB1 receptors in the brain. In the fifth project, in collaboration with CHyM of York, the goal was to develop arginine analogues that are target specific due to their exclusively location into NOS enzymes and could work as MRI contrasting agents. Synthesized analogues could be suitable substrate for the transfer of polarization by p-H2 molecules through SABRE technique transforming MRI a more sensitive and faster technique.

Tecniche di fault tolerance in swarm robotics

Questa tesi presenta e discute le sfide per ottenere sistemi di swarm robotis affidabili e tolleranti ai guasti e quindi anche alcuni metodi per rilevare anomalie in essi, in modo tale che ipotetiche procedure per il recupero possano essere affrontate, viene sottolineata inoltre l’ importanza di un’ analisi qualitativa dei guasti.

Bio-inspired polymer-supported nitrido molybdenum(VI) complexes for ammonia synthesis − reactivity towards protons and electrons : EPR investigations on paramagnetic molybdenum(V) and copper(II) complexes

Die biologische Stickstofffixierung durch Molybdän-haltige Nitrogenasen sowie die Erforschung des zugrundeliegenden komplexen Mechanismus (N2-Aktivierung an Metall-Zentren, 6-fache Protonierung und Reduktion, N–N Bindungsspaltung unter Bildung von Ammoniak) ist von erheblichem Interesse. Insbesondere Molybdän-Komplexe wurden bereits erfolgreich als Modellverbindungen für die Untersuchung elementarer Einzelschritte der N2-Aktivierung eingesetzt. Durch die Verwendung von Triamidoamin-Liganden ist es Schrock et al. sogar gelungen mehrere Katalysezyklen zu durchlaufen und einen Mechanismus zu formulieren. Trotz der sterisch anspruchsvollen Substituenten in den Schrock-Komplexen ist die Umsatzrate dieses homogenen Katalysators, aufgrund Komplex-Deaktivierung infolge intermolekularer Reaktionen wie Dimerisierung und Disproportionierung, limitiert. In der vorliegenden Arbeit wurden einige dieser Herausforderungen angegangen und die aktiven Spezies auf einer Festphase immobilisiert, um intermolekulare Reaktionen durch räumliche Isolierung der Komplexe zu unterdrücken.rnEin Polymer-verankertes Analogon des Schrock Nitrido-Molybdän(VI)-Komplexes wurde auf einem neuen Reaktionsweg synthetisiert. Dieser beinhaltet nur einen einzigen Reaktionsschritt, um die funktionelle Gruppe „MoN“ einzuführen. Protonierung des immobilisierten Nitrido-Molybdän(VI)-Komplexes LMoVIN (L = Polymer-verankerter Triamidoamin-Ligand) mit 2,6-Lutidinium liefert den entsprechenden Imido-Molybdän(VI)-Komplex. Durch anschließende Ein-Elektronen-Reduktion mit Cobaltocen wird der Polymer-angebundene Imido-Molybdän(V)-Komplex erhalten, bewiesen durch EPR-Spektroskopie (g1,2,3 = 1.989, 1.929, 1.902). Durch die Immobilisierung und die effektive räumliche Separation der Reaktionszentren auf der Festphase werden bimolekulare Nebenreaktionen, die oft in homogenen Systemen auftreten, unterdrückt. Dies ermöglicht zum ersten Mal die Darstellung des Imido-Molybdän(V)-Intermediates des Schrock-Zyklus.rnEPR-Spektren des als Spin-Label eingeführten immobilisierten Nitrato-Kupfer(II)-Komplexes wurden unter verschiedenen Bedingungen (Lösungsmittel, Temperatur) aufgenommen, wobei sich eine starke Abhängigkeit zwischen der Zugänglichkeit und Reaktivität der immobilisierten Reaktionszentren und der Art des Lösungsmittels zeigte. Somit wurde die Reaktivität von LMoVIN gegenüber Protonen und Elektronen, welches zur Bildung von NH3 führt, unter Verwendung verschiedener Lösungsmittel untersucht und optimiert. Innerhalb des kugelförmigen Polymers verläuft die Protonierung und Reduktion von LMoVIN stufenweise. Aktive Zentren, die sich an der „äußeren Schale“ des Polymers befinden, sind gut zugänglich und reagieren schnell nach H+/e− Zugabe. Aktive Zentren im „Inneren des Polymers“ hingegen sind schlechter zugänglich und zeigen langsame diffusions-kontrollierte Reaktionen, wobei drei H+/e− Schritte gefolgt von einer Ligandenaustausch-Reaktion erforderlich sind, um NH3 freizusetzen: LMoVIN  LMoVNH  LMoIVNH2  LMoIIINH3 und anschließender Ligandenaustausch führt zur Freisetzung von NH3.rnIn einem weiteren Projekt wurde der Bis(ddpd)-Kupfer(II)-Komplex EPR-spektroskopisch in Hinblick auf Jahn−Teller-Verzerrung und -Dynamik untersucht. Dabei wurden die EPR-Spektren bei variabler Temperatur (70−293 K) aufgenommen. Im Festkörperspektrum bei T < 100 K erscheint der Kupfer(II)-Komplex als gestreckter Oktaeder, wohingegen das EPR-Spektrum bei höheren Temperaturen g-Werte aufzeigt, die einer pseudo-gestauchten oktaedrischen Kupfer(II)-Spezies zuzuordnen sind. Diese Tatsache wird einem intramolekularen dynamischen Jahn−Teller Phänomen zugeschrieben, welcher bei 100 K eingefroren wird.

Can wild ungulate carcasses provide enough biomass to maintain avian scavenger populations? An empirical assessment using a bio-inspired computational model

Background The reduction in the amount of food available for European avian scavengers as a consequence of restrictive public health policies is a concern for managers and conservationists. Since 2002, the application of several sanitary regulations has limited the availability of feeding resources provided by domestic carcasses, but theoretical studies assessing whether the availability of food resources provided by wild ungulates are enough to cover energetic requirements are lacking. Methodology/Findings We assessed food provided by a wild ungulate population in two areas of NE Spain inhabited by three vulture species and developed a P System computational model to assess the effects of the carrion resources provided on their population dynamics. We compared the real population trend with to a hypothetical scenario in which only food provided by wild ungulates was available. Simulation testing of the model suggests that wild ungulates constitute an important food resource in the Pyrenees and the vulture population inhabiting this area could grow if only the food provided by wild ungulates would be available. On the contrary, in the Pre-Pyrenees there is insufficient food to cover the energy requirements of avian scavenger guilds, declining sharply if biomass from domestic animals would not be available. Conclusions/Significance Our results suggest that public health legislation can modify scavenger population trends if a large number of domestic ungulate carcasses disappear from the mountains. In this case, food provided by wild ungulates could be not enough and supplementary feeding could be necessary if other alternative food resources are not available (i.e. the reintroduction of wild ungulates), preferably in European Mediterranean scenarios sharing similar and socio-economic conditions where there are low densities of wild ungulates. Managers should anticipate the conservation actions required by assessing food availability and the possible scenarios in order to make the most suitable decisions.

Robotics in ear, nose and throat (ENT) surgery

The three main classes of robotics in ear, nose and throat (ENT) surgery (telemanipulation, image-guided functional servoing, and computer numerical control) are discussed and important examples of applications are described to show both technological and clinical developments. As access to many anatomical features of the head requires very small and compact tools to accurately perform procedures, examples are give in ear surgery where manipulation of the minute ossicles requires fine, dexterous movements.

Effects of cerebral perfusion pressure and increased fraction of inspired oxygen on brain tissue oxygen, lactate and glucose in patients with severe head injury

OBJECTIVE: The purpose of the study was to measure the effects of increased inspired oxygen on patients suffering severe head injury and consequent influences on the correlations between CPP and brain tissue oxygen (PtiO2) and the effects on brain microdialysate glucose and lactate. METHODS: In a prospective, observational study 20 patients suffering severe head injury (GCS< or =8) were studied between January 2000 and December 2001. Each patient received an intraparenchymal ICP device and an oxygen sensor and, in 17 patients brain microdialysis was performed at the cortical-subcortical junction. A 6 h 100% oxygen challenge (F IO2 1.0) ( Period A) was performed as early as possible in the first 24 hours after injury and compared with a similar 6 hour period following the challenge ( Period B). Statistics were performed using the linear correlation analysis, one sample t-test, as well as the Lorentzian peak correlation analysis. RESULTS: F IO2 was positively correlated with PtiO2 (p < 0.0001) over the whole study period. PtiO2 was significantly higher (p < 0.001) during Period A compared to Period B. CPP was positively correlated with PtiO2 (p < 0.001) during the whole study. PtiO2 peaked at a CPP value of 78 mmHg performing a Lorentzian peak correlation analysis of all patients over the whole study. During Period A the brain microdialysate lactate was significantly lower (p = 0.015) compared with Period B. However the brain microdialysate glucose remained unchanged. CONCLUSION: PtiO2 is significantly positively correlated with F IO2, meaning that PtiO2 can be improved by the simple manipulation of increasing F IO2 and ABGAO2. PtiO2 is positively correlated with CPP, peaking at a CPP value of 78 mmHg. Brain microdialysate lactate can be lowered by increasing PtiO2 values, as observed during the oxygen challenge, whereas microdialysate glucose is unchanged during this procedure. Extension of the oxygen challenge time and measurement of the intermediate energy metabolite pyruvate may clarify the metabolic effects of the intervention. Prospective comparative studies, including analysis of outcome on a larger multicenter basis, are necessary to assess the long term clinical benefits of this procedure.

Influence of inspired oxygen on glucose-lactate dynamics after subdural hematoma in the rat

The mechanisms causing brain damage after acute subdural hematoma (SDH) are poorly understood. A decrease in cerebral blood flow develops immediately after the hematoma forms, thus reducing cerebral oxygenation. This in turn may activate mitochondrial failure and tissue damage leading to ionic imbalance and possibly to cellular breakdown. The purpose of this study was to test whether a simple therapeutic measure, namely increased fraction of inspired oxygen (FiO2 100), and hence increased arterial and brain tissue oxygen tension, can influence brain glucose and lactate dynamics acutely after subdural hematoma in the rat. Twenty-five male Sprague-Dawley anesthetized rats were studied before, during and after induction of the SDH in two separate groups. The Oxygen group (n = 10) was ventilated with 100% oxygen immediately after induction of the SDH. The Air group (n = 10) was ventilated during the entire study with 21% oxygen. Brain microdialysate samples were analyzed for glucose and lactate. All rats were monitored with femoral arterial blood pressure catheters, arterial blood gas analysis, arterial glucose, lactate and end tidal CO2 (EtCO2). Five male Sprague-Dawley rats were sham operated to measure the effect of oxygen challenge on glucose-lactate dynamics without injury. Arterial oxygen tension in the Oxygen group was 371 +/- 30 mmHg and was associated with significantly greater increase in dialysate lactate in the first 30 min after induction of SDH. Dialysate glucose initially dropped in both groups, after SDH, but then reverted significantly faster to values above baseline in the Oxygen group. Changes in ventilatory parameters had no significant effect on dialysate glucose and lactate parameters in the sham group. Extracellular dialysate lactate and glucose are influenced by administration of 100% O2 after SDH. Dialysate glucose normalizes significantly quicker upon 100% oxygen ventilation. We hypothesize that increased neural tissue oxygen tension, in presence of reduced regional CBF, and possibly compromised mitochondrial function, after acute SDH results in upregulation of rate-limiting enzyme systems responsible for both glycolytic and aerobic metabolism. Similar changes have been seen in severe human head injury, and suggest that a simple therapeutic measure, such as early ventilation with 100% O2, may improve cerebral energy metabolism, early after SDH. Further studies to measure the generation of adenosine triphosphate (ATP) are needed to validate the hypothesis.

Increased inspired oxygen concentration as a factor in improved brain tissue oxygenation and tissue lactate levels after severe human head injury

OBJECT: Early impairment of cerebral blood flow in patients with severe head injury correlates with poor brain tissue O2 delivery and may be an important cause of ischemic brain damage. The purpose of this study was to measure cerebral tissue PO2, lactate, and glucose in patients after severe head injury to determine the effect of increased tissue O2 achieved by increasing the fraction of inspired oxygen (FiO2). METHODS: In addition to standard monitoring of intracranial pressure and cerebral perfusion pressure, the authors continuously measured brain tissue PO2, PCO2, pH, and temperature in 22 patients with severe head injury. Microdialysis was performed to analyze lactate and glucose levels. In one cohort of 12 patients, the PaO2 was increased to 441+/-88 mm Hg over a period of 6 hours by raising the FiO2 from 35+/-5% to 100% in two stages. The results were analyzed and compared with the findings in a control cohort of 12 patients who received standard respiratory therapy (mean PaO2 136.4+/-22.1 mm Hg). The mean brain PO2 levels increased in the O2-treated patients up to 359+/-39% of the baseline level during the 6-hour FiO2 enhancement period, whereas the mean dialysate lactate levels decreased by 40% (p < 0.05). During this O2 enhancement period, glucose levels in brain tissue demonstrated a heterogeneous course. None of the monitored parameters in the control cohort showed significant variations during the entire observation period. CONCLUSIONS: Markedly elevated lactate levels in brain tissue are common after severe head injury. Increasing PaO2 to higher levels than necessary to saturate hemoglobin, as performed in the O2-treated cohort, appears to improve the O2 supply in brain tissue. During the early period after severe head injury, increased lactate levels in brain tissue were reduced by increasing FiO2. This may imply a shift to aerobic metabolism.