Electrochemical sensing strategies for the detection of interactions between biological macromolecules

Electrochemical biosensors provide an attractive means to analyze the content of a biological sample due to the direct conversion of a biological event to an electronic signal, enabling the development of cheap, small, portable and simple devices, that allow multiplex and real-time detection. At the same time nanobiotechnology is drastically revolutionizing the biosensors development and different transduction strategies exploit concepts developed in these field to simplify the analysis operations for operators and end users, offering higher specificity, higher sensitivity, higher operational stability, integrated sample treatments and shorter analysis time. The aim of this PhD work has been the application of nanobiotechnological strategies to electrochemical biosensors for the detection of biological macromolecules. Specifically, one project was focused on the application of a DNA nanotechnology called hybridization chain reaction (HCR), to amplify the hybridization signal in an electrochemical DNA biosensor. Another project on which the research activity was focused concerns the development of an electrochemical biosensor based on a biological model membrane anchored to a solid surface (tBLM), for the recognition of interactions between the lipid membrane and different types of target molecules.

First Ramsey-type mass measurements with ISOLTRAP and design studies of the new PENTATRAP project

Der Einsatz von Penningfallen in der Massenspektrometrie hat zu einem einmaligen Genauigkeitssprung geführt. Dadurch wurden Massenwerte verschiedenster Atome zu wichtigen Eingangsparametern bei immer mehr physikalischen Fragestellungen. Die Massenspektrometrie mit Hilfe von Penningfallen basiert auf der Bestimmung der freien Zyklotronfrequenz eines Ions in einem homogenen Magnetfeld νc=qB/(2πm). Sie wird mit Flugzeitmethode (TOF-ICR) bestimmt, wobei eine relative Massenungenauigkeit δm/m von wenigen 10^-9 bei Nukliden mit Lebensdauern von <500 ms erreicht wird. Dies wurde durch die im Rahmen dieser Arbeit erstmals in der Penningfallen-Massenspektrometrie eingesetzten Ramsey-Methode möglich. Dabei werden zeitlich separierte, oszillierenden Feldern zur resonanten Ionenanregung genutzt, um die Frequenzmessung durch die Flugzeitmethode zu verbessern. Damit wurden am Penningfallenmassenspektrometer ISOLTRAP an ISOLDE/CERN die Massen der Nuklide 26,27Al und 38,39Ca bestimmt. Alle Massen wurden in die „Atomic Mass Evaluation“ eingebettet. Die Massenwerte von 26Al und 38Ca dienten insbesondere zu Tests des Standardmodells. Um mit Massenwerten fundamentale Symmetrien oder die Quantenelektrodynamik (QED) in extremen Feldern zu testen wurde ein neues Penningfallenprojekt (PENTATRAP) für hochpräzise Massenmessungen an hochgeladenen Ionen konzipiert. In dieser Doktorarbeit wurde vornehmlich die Entwicklung der Penningfallen betrieben. Eine Neuerung bei Penningfallenexperimenten ist dabei die permanente Beobachtung des Magnetfeldes B und seiner zeitlichen Fluktuationen durch so genannte „Monitorfallen“.

Entwicklung eines Tests zur Ablösung von Tierversuchen beim Nachweis von Pertussis-Toxin

Weltweit existiert keine zum Tierversuch alternative Methode, um adsorbierte Pertussis-Impfstoffe auf restliche Toxin-Aktivität hin zu untersuchen. Der im Europäischen Arzneibuch vorgeschriebene Tierversuch besitzt nach Erfahrungen der Industrie, internationaler Prüfbehörden sowie des Paul-Ehrlich-Institutes eine schlechte Aussagekraft. Er ist wenig standardisierbar und weist häufig ein zweifelhaftes Ergebnis auf, so dass Wiederholungen und damit einhergehend ein hoher Verbrauch an Versuchstieren unumgänglich sind. Enthält der Impfstoff Reste von nicht-inaktiviertem Pertussis-Toxin (PTx), muss mit schweren und schwersten Nebenwirkungen bei den Impflingen gerechnet werden. In dieser Arbeit wurde ein In vitro-Nachweis für aktives PTx entwickelt. rnAngeregt durch Publikationen, wonach Pertussis-Toxin humane Monozyten aktiviert, wurde zunächst versucht, diesen Effekt zum Toxin-Nachweis auszunutzen. Die vorliegende Arbeit zeigt jedoch eindeutig, dass Pertussis-Toxin selbst nicht zur Stimulation humaner Monozyten führt. Vielmehr konnte nachgewiesen werden, dass die Aktivierung dieser Immunzellen auf Kontaminationen durch Lipopolysaccharide zurückzuführen ist. Damit wurden die Aussagen in den oben erwähnten Veröffentlichungen widerlegt. Dieses Ergebnis wurde bereits zur Publikation eingereicht.rnNunmehr wurden verschiedene Ansätze zum Nachweis von Pertussis-Toxin entwickelt, welche seine enzymatischen Aktivitäten als NAD-Glycohydrolase und ADP-Ribosyltransferase ausnutzen. Zunächst wurde versucht, die Hydrolyse von NAD zu ADP-Ribose und Nicotinamid photometrisch nachzuweisen. Wegen unbefriedigender Sensitivität wurde dieses Verfahren zu einem fluorometrischen Nachweis weiterentwickelt. Verwendet wurde hier fluorogenes etheno-NAD, welches von Pertussis-Toxin als Substrat akzeptiert wird. Letzteres Prinzip ist zum In vitro-Nachweis von Pertussis-Toxin geeignet, wird jedoch durch das in Impfstoffen häufig verwendete Adsorbens Aluminiumhydroxid gestört. Deshalb wurde dieser Ansatz aufgegeben und ein neuer Weg verfolgt, welcher am Energiestoffwechsel von humanen Zellen ansetzt. Eine Konsequenz des Angriffs von Pertussis-Toxin auf seine Zielzellen im Respirationstrakt besteht – nach komplexen Reaktionen des Signaltransduktionsweges – im Absenken des ATP-Gehaltes. Als menschliche Surrogat-Zellen wurden frisch isolierte periphere mononukleäre Zellen (PBMCs) sowie die permanente Lymphozyten-Zelllinie Jurkat eingesetzt und deren ATP-Gehalt mittels Luziferin-Luziferase-Lumineszenz gemessen. Der Test wird nicht durch Lipopolysaccharid gestört und auch Aluminiumhydroxid übt erst nach mehreren Stunden Inkubation einen interferierenden Einfluss aus. Ebenso konnte aktives Pertussis-Toxin mit Hilfe kryokonservierter PBMCs detektiert werden, auch in orientierenden Versuchen mit komplexen Impfstoffen. Der Pertussis-ATP-Test kommt der In vivo-Situation in der Zelle sehr nahe, weil beide Untereinheiten des Toxins in einem Test überprüft werden. Demnach soll er Bestandteil einer geplanten internationalen Studie zu alternativen Pertussis-Toxin-Testungen sein.

Coordination and Control of Autonomous Mobile Robots Swarms by using Particle Swarm Optimization Algorithm and Consensus Theory

This thesis presents some different techniques designed to drive a swarm of robots in an a-priori unknown environment in order to move the group from a starting area to a final one avoiding obstacles. The presented techniques are based on two different theories used alone or in combination: Swarm Intelligence (SI) and Graph Theory. Both theories are based on the study of interactions between different entities (also called agents or units) in Multi- Agent Systems (MAS). The first one belongs to the Artificial Intelligence context and the second one to the Distributed Systems context. These theories, each one from its own point of view, exploit the emergent behaviour that comes from the interactive work of the entities, in order to achieve a common goal. The features of flexibility and adaptability of the swarm have been exploited with the aim to overcome and to minimize difficulties and problems that can affect one or more units of the group, having minimal impact to the whole group and to the common main target. Another aim of this work is to show the importance of the information shared between the units of the group, such as the communication topology, because it helps to maintain the environmental information, detected by each single agent, updated among the swarm. Swarm Intelligence has been applied to the presented technique, through the Particle Swarm Optimization algorithm (PSO), taking advantage of its features as a navigation system. The Graph Theory has been applied by exploiting Consensus and the application of the agreement protocol with the aim to maintain the units in a desired and controlled formation. This approach has been followed in order to conserve the power of PSO and to control part of its random behaviour with a distributed control algorithm like Consensus.

New biosensor applications of surface plasmon and hydrogel optical waveguide spectroscopy

Rapid and sensitive detection of chemical and biological analytes becomes increasingly important in areas such as medical diagnostics, food control and environmental monitoring. Optical biosensors based on surface plasmon resonance (SPR) and optical waveguide spectroscopy have been extensively pushed forward in these fields. In this study, we combine SPR, surface plasmon-enhanced fluorescence spectroscopy (SPFS) and optical waveguide spectroscopy with hydrogel thin film for highly sensitive detection of molecular analytes.rnrnA novel biosensor based on SPFS which was advanced through the excitation of long range surface plasmons (LRSPs) is reported in this study. LRSPs are special surface plasmon waves propagating along thin metal films with orders of magnitude higher electromagnetic field intensity and lower damping than conventional SPs. Therefore, their excitation on the sensor surface provides further increased fluorescence signal. An inhibition immunoassay based on LRSP-enhanced fluorescence spectroscopy (LRSP-FS) was developed for the detection of aflatoxin M1 (AFM1) in milk. The biosensor allowed for the detection of AFM1 in milk at concentrations as low as 0.6 pg mL-1, which is about two orders of magnitude lower than the maximum AFM1 residue level in milk stipulated by the European Commission legislation.rnrnIn addition, LRSPs probe the medium adjacent to the metallic surface with more extended evanescent field than regular SPs. Therefore, three-dimensional binding matrices with up to micrometer thickness have been proposed for the immobilization of biomolecular recognition elements with large surface density that allows to exploit the whole evanescent field of LRSP. A photocrosslinkable carboxymethyl dextran (PCDM) hydrogel thin film is used as a binding matrix, and it is applied for the detection of free prostate specific antigen (f-PSA) based on the LRSP-FS and sandwich immunoassay. We show that this approach allows for the detection of f-PSA at low femto-molar range, which is approximately four orders of magnitude lower than that for direct detection of f-PSA based on the monitoring of binding-induced refractive index changes.rnrnHowever, a three dimensional hydrogel binding matrix with micrometer thickness can also serve as an optical waveguide. Based on the measurement of binding-induced refractive index changes, a hydrogel optical waveguide spectroscopy (HOWS) is reported for a label-free biosensor. This biosensor is implemented by using a SPR optical setup in which a carboxylated poly(N-isoproprylacrylamide) (PNIPAAm) hydrogel film is attached on a metallic surface and modified by protein catcher molecules. Compared to regular SPR biosensor with thiol self-assembled monolayer (SAM), HOWS provides an order of magnitude improved resolution in the refractive index measurements and enlarged binding capacity owing to its low damping and large swelling ratio, respectively. A model immunoassay experiment revealed that HOWS allowed detection of IgG molecules with a 10 pM limit of detection (LOD) that was five-fold lower than that achieved for SPR with thiol SAM. For the high capacity hydrogel matrix, the affinity binding was mass transport limited.rnrnThe mass transport of target molecules to the sensor surface can play as critical a role as the chemical reaction itself. In order to overcome the diffusion-limited mass transfer, magnetic iron oxide nanoparticles were employed. The magnetic nanoparticles (MNPs) can serve both as labels providing enhancement of the refractive index changes, and “vehicles” for rapidly delivering the analytes from sample solution to an SPR sensor surface with a gradient magnetic field. A model sandwich assay for the detection of β human chorionic gonadotropin (βhCG) has been utilized on a gold sensor surface with metallic diffraction grating structure supporting the excitation of SPs. Various detection formats including a) direct detection, b) sandwich assay, c) MNPs immunoassay without and d) with applied magnetic field were compared. The results show that the highly-sensitive MNPs immunoassay improves the LOD on the detection of βhCG by a factor of 5 orders of magnitude with respect to the direct detection.rn

Code synchronization and interference management techniques for satellite navigation and communications

This thesis collects the outcomes of a Ph.D. course in Telecommunications engineering and it is focused on enabling techniques for Spread Spectrum (SS) navigation and communication satellite systems. It provides innovations for both interference management and code synchronization techniques. These two aspects are critical for modern navigation and communication systems and constitute the common denominator of the work. The thesis is organized in two parts: the former deals with interference management. We have proposed a novel technique for the enhancement of the sensitivity level of an advanced interference detection and localization system operating in the Global Navigation Satellite System (GNSS) bands, which allows the identification of interfering signals received with power even lower than the GNSS signals. Moreover, we have introduced an effective cancellation technique for signals transmitted by jammers, exploiting their repetitive characteristics, which strongly reduces the interference level at the receiver. The second part, deals with code synchronization. More in detail, we have designed the code synchronization circuit for a Telemetry, Tracking and Control system operating during the Launch and Early Orbit Phase; the proposed solution allows to cope with the very large frequency uncertainty and dynamics characterizing this scenario, and performs the estimation of the code epoch, of the carrier frequency and of the carrier frequency variation rate. Furthermore, considering a generic pair of circuits performing code acquisition, we have proposed a comprehensive framework for the design and the analysis of the optimal cooperation procedure, which minimizes the time required to accomplish synchronization. The study results particularly interesting since it enables the reduction of the code acquisition time without increasing the computational complexity. Finally, considering a network of collaborating navigation receivers, we have proposed an innovative cooperative code acquisition scheme, which allows exploit the shared code epoch information between neighbor nodes, according to the Peer-to-Peer paradigm.

Alkylidene malonates and acetoacetates as intermediates for the preparation of bioactive molecules

In this thesis we investigated the versatility and the potential applications of different kinds of alkylidene malonates, acetoacetates, malonamides and acetoacetoamides. Our research group devoted great attention to this kind of compounds since alkylidenes can be considered important intermediates in the synthesis of several scaffolds, to be inserted into molecules of potential biological and pharmaceutical interest. The increasing use of alkylidenes is due to their ability to react as unsaturated electrophiles and to the possibility to exploit them as intermediates for the introduction of different kind of functionalities.The preparation of alkylidene malonates, acetoacetates, malonamides and acetoacetoamides is presented in chapter 1. This section deals with different preparation methods of alkylidenes that we developed during the last few years and to the technologies involved for each synthetic protocol. The reactivity that allowed to use the alkylidenes as intermediates in the synthesis of scaffolds for biologically active compounds is shown in chapter 2. In particular, we will discuss the most important reactions used to obtain the desired molecules, and we will focus on the most interesting aspects of these latter ones. Finally, chapter 3 will illustrate the potential applications and the related syntheses of potential bioactive compounds. The synthesized molecules find application in several fields and for this reason we considered each class of compounds in its related branch of interest.

Optimal Supervisory Control of Hybrid Vehicles

Hybrid vehicles (HV), comprising a conventional ICE-based powertrain and a secondary energy source, to be converted into mechanical power as well, represent a well-established alternative to substantially reduce both fuel consumption and tailpipe emissions of passenger cars. Several HV architectures are either being studied or already available on market, e.g. Mechanical, Electric, Hydraulic and Pneumatic Hybrid Vehicles. Among the others, Electric (HEV) and Mechanical (HSF-HV) parallel Hybrid configurations are examined throughout this Thesis. To fully exploit the HVs potential, an optimal choice of the hybrid components to be installed must be properly designed, while an effective Supervisory Control must be adopted to coordinate the way the different power sources are managed and how they interact. Real-time controllers can be derived starting from the obtained optimal benchmark results. However, the application of these powerful instruments require a simplified and yet reliable and accurate model of the hybrid vehicle system. This can be a complex task, especially when the complexity of the system grows, i.e. a HSF-HV system assessed in this Thesis. The first task of the following dissertation is to establish the optimal modeling approach for an innovative and promising mechanical hybrid vehicle architecture. It will be shown how the chosen modeling paradigm can affect the goodness and the amount of computational effort of the solution, using an optimization technique based on Dynamic Programming. The second goal concerns the control of pollutant emissions in a parallel Diesel-HEV. The emissions level obtained under real world driving conditions is substantially higher than the usual result obtained in a homologation cycle. For this reason, an on-line control strategy capable of guaranteeing the respect of the desired emissions level, while minimizing fuel consumption and avoiding excessive battery depletion is the target of the corresponding section of the Thesis.

Identifizierung und Charakterisierung T-zellerkannter tumorassoziierter Antigene im Melanommodell D41

In der vorliegenden Arbeit wurden Zielstrukturen autologer, tumorreaktiver CD8+ T-Zellen im Modell des Melanompatienten D41 charakterisiert, der im metastasierten Stadium nach Vakzinierung mit autologen dendritischen Zellen und bestrahlten Tumorzellen eine dauerhafte komplette Remission erreichte (O´Rourke et al., Melanoma Res. 17:316, 2007). Aus kryokonservierten Blutlymphozyten verschiedener Zeitpunkte wurden durch Stimulation mit autologen Tumorzellen (D41-MEL) in unabhängigen gemischten Lymphozyten-/Tumorzell-Kulturen (MLTCs) tumorreaktive CD8+ T-Zellen angereichert. Als Erstes wurde überprüft, ob sie gegen bekannte Melanomantigene in Assoziation mit den HLA-Klasse I-Allelen des Patienten gerichtet waren. Dabei zeigten sich Reaktivitäten gegen das melanosomale Differenzierungsantigen Melan-A mit HLA-A*0201 und darüber hinaus gegen die Cancer/Testis-Antigene (CTA) MAGE-A3 und MAGE-A6 mit HLA-A*0101, sowie NY-ESO-1, MAGE-A4 und MAGE-A10 mit HLA-A*0201. In einem zweiten Schritt wurde mit T-Zell-Klonen aus D41-MLTC 2, die keines dieser Antigene erkannten, eine cDNA-Expressionsbank von D41-MEL gescreent. Dies führte zur Klonierung einer für TSPY 1 (testis-specific protein Y-encoded 1) kodierenden cDNA mit einem der T-Zell-Klone. Er erkannte mit hoher Affinität die synthetischen TSPY 1-Peptide LLDDIMAEV (Aminosäurepositionen 66-73) und LLLDDIMAEV (Aminosäurepositionen 65-73) in Assoziation mit HLA-A*0201. Serologische Immunantworten gegen das als CTA einzustufende TSPY 1 sind bekannt. In der vorliegenden Arbeit wurde erstmals eine T-Zell-Antwort gegen TSPY 1 nachgewiesen. TSPY 1 trägt mutmaßlich zu Entstehung des Gonadoblastoms bei, seine Expression wurde jedoch z.B. auch in Seminomen, Leberzellkarzinomen und Melanomen nachgewiesen. Die Expression von TSPY 1 in der Zelllinie D41-MEL-Zellen war sehr heterogen. Einzelne Klone der Linie exprimierten TSPY 1 auf stabil hohem, andere Klone auf ebenso stabil intermediärem bzw. nicht detektierbarem Niveau. Die Expression und die Erkennung durch TSPY 1-reaktive T-Zell-Klone wurde durch die demethylierende Substanz 5-Aza-2´-deoxycytidine gesteigert. Dies spricht für eine Promotor-Hypermethylierung als Ursache fehlender bzw. niedriger Expression, wie dies für verschiedene CTA zutrifft. Die im Blut des Patienten D41 detektierbare antitumorale T-Zell-Reaktivität war bereits vor der Vakzinierung mit Tumorzellen nachweisbar und hatte sich somit spontan entwickelt. Ihre Individualität war vorgegeben durch das Antigenexpressionsmuster der D41-Tumorzellen, sowie durch den HLA-Phänotyp und mutmaßlich auch das T-Zellrepertoire des Patienten. Die detaillierte Analyse komplexer antitumoraler T-Zellantworten legt den Grundstein für eine Immuntherapie, die sich auf das tatsächliche Potential des individuellen T-Zellsystems stützen kann.

Temperature Variation Aware Energy Optimization in Heterogeneous MPSoCs

Thermal effects are rapidly gaining importance in nanometer heterogeneous integrated systems. Increased power density, coupled with spatio-temporal variability of chip workload, cause lateral and vertical temperature non-uniformities (variations) in the chip structure. The assumption of an uniform temperature for a large circuit leads to inaccurate determination of key design parameters. To improve design quality, we need precise estimation of temperature at detailed spatial resolution which is very computationally intensive. Consequently, thermal analysis of the designs needs to be done at multiple levels of granularity. To further investigate the flow of chip/package thermal analysis we exploit the Intel Single Chip Cloud Computer (SCC) and propose a methodology for calibration of SCC on-die temperature sensors. We also develop an infrastructure for online monitoring of SCC temperature sensor readings and SCC power consumption. Having the thermal simulation tool in hand, we propose MiMAPT, an approach for analyzing delay, power and temperature in digital integrated circuits. MiMAPT integrates seamlessly into industrial Front-end and Back-end chip design flows. It accounts for temperature non-uniformities and self-heating while performing analysis. Furthermore, we extend the temperature variation aware analysis of designs to 3D MPSoCs with Wide-I/O DRAM. We improve the DRAM refresh power by considering the lateral and vertical temperature variations in the 3D structure and adapting the per-DRAM-bank refresh period accordingly. We develop an advanced virtual platform which models the performance, power, and thermal behavior of a 3D-integrated MPSoC with Wide-I/O DRAMs in detail. Moving towards real-world multi-core heterogeneous SoC designs, a reconfigurable heterogeneous platform (ZYNQ) is exploited to further study the performance and energy efficiency of various CPU-accelerator data sharing methods in heterogeneous hardware architectures. A complete hardware accelerator featuring clusters of OpenRISC CPUs, with dynamic address remapping capability is built and verified on a real hardware.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Automatic induction of lexical features

This thesis concerns artificially intelligent natural language processing systems that are capable of learning the properties of lexical items (properties like verbal valency or inflectional class membership) autonomously while they are fulfilling their tasks for which they have been deployed in the first place. Many of these tasks require a deep analysis of language input, which can be characterized as a mapping of utterances in a given input C to a set S of linguistically motivated structures with the help of linguistic information encoded in a grammar G and a lexicon L: G + L + C → S (1) The idea that underlies intelligent lexical acquisition systems is to modify this schematic formula in such a way that the system is able to exploit the information encoded in S to create a new, improved version of the lexicon: G + L + S → L' (2) Moreover, the thesis claims that a system can only be considered intelligent if it does not just make maximum usage of the learning opportunities in C, but if it is also able to revise falsely acquired lexical knowledge. So, one of the central elements in this work is the formulation of a couple of criteria for intelligent lexical acquisition systems subsumed under one paradigm: the Learn-Alpha design rule. The thesis describes the design and quality of a prototype for such a system, whose acquisition components have been developed from scratch and built on top of one of the state-of-the-art Head-driven Phrase Structure Grammar (HPSG) processing systems. The quality of this prototype is investigated in a series of experiments, in which the system is fed with extracts of a large English corpus. While the idea of using machine-readable language input to automatically acquire lexical knowledge is not new, we are not aware of a system that fulfills Learn-Alpha and is able to deal with large corpora. To instance four major challenges of constructing such a system, it should be mentioned that a) the high number of possible structural descriptions caused by highly underspeci ed lexical entries demands for a parser with a very effective ambiguity management system, b) the automatic construction of concise lexical entries out of a bulk of observed lexical facts requires a special technique of data alignment, c) the reliability of these entries depends on the system's decision on whether it has seen 'enough' input and d) general properties of language might render some lexical features indeterminable if the system tries to acquire them with a too high precision. The cornerstone of this dissertation is the motivation and development of a general theory of automatic lexical acquisition that is applicable to every language and independent of any particular theory of grammar or lexicon. This work is divided into five chapters. The introductory chapter first contrasts three different and mutually incompatible approaches to (artificial) lexical acquisition: cue-based queries, head-lexicalized probabilistic context free grammars and learning by unification. Then the postulation of the Learn-Alpha design rule is presented. The second chapter outlines the theory that underlies Learn-Alpha and exposes all the related notions and concepts required for a proper understanding of artificial lexical acquisition. Chapter 3 develops the prototyped acquisition method, called ANALYZE-LEARN-REDUCE, a framework which implements Learn-Alpha. The fourth chapter presents the design and results of a bootstrapping experiment conducted on this prototype: lexeme detection, learning of verbal valency, categorization into nominal count/mass classes, selection of prepositions and sentential complements, among others. The thesis concludes with a review of the conclusions and motivation for further improvements as well as proposals for future research on the automatic induction of lexical features.

Micro and Macro essays in Applied Fiscal Policy

This thesis analysis micro and macro aspect of applied fiscal policy issues. The first chapter investigates the extent to which local budget spending composition reacts to fiscal rules variations. I consider the budget of Italian municipalities and exploit specific changes in the Domestic Stability Pact’s rules, to perform a difference-in-discontinuities analysis. The results show that imposing a cap on the total amount of consumption and investment is not as binding as two caps, one for consumption and a different one for investment. More specifically, consumption is triggered by changes in wages and services spending, while investment relies on infrastructure movements. In addition, there is evidence that when an increase in investment is achieved, there is also a higher budget deficit level. The second chapter intends to analyze the extent to which fiscal policy shocks are able to affect macrovariables during business cycle fluctuations, differentiating among three intervention channels: public taxation, consumption and investment. The econometric methodology implemented is a Panel Vector Autoregressive model with a structural characterization. The results show that fiscal shocks have different multipliers in relation to expansion or contraction periods: output does not react during good times while there are significant effects in bad ones. The third chapter evaluates the effects of fiscal policy announcements by the Italian government on the long-term sovereign bond spread of Italy relative to Germany. After collecting data on relevant fiscal policy announcements, we perform an econometric comparative analysis between the three cabinets that followed one another during the period 2009-2013. The results suggest that only fiscal policy announcements made by members of Monti’s cabinet have been effective in influencing significantly the Italian spread in the expected direction, revealing a remarkable credibility gap between Berlusconi’s and Letta’s governments with respect to Monti’s administration.

Operational research applied to regional healthcare system

In this thesis we focus on optimization and simulation techniques applied to solve strategic, tactical and operational problems rising in the healthcare sector. At first we present three applications to Emilia-Romagna Public Health System (SSR) developed in collaboration with Agenzia Sanitaria e Sociale dell'Emilia-Romagna (ASSR), a regional center for innovation and improvement in health. Agenzia launched a strategic campaign aimed at introducing Operations Research techniques as decision making tools to support technological and organizational innovations. The three applications focus on forecast and fund allocation of medical specialty positions, breast screening program extension and operating theater planning. The case studies exploit the potential of combinatorial optimization, discrete event simulation and system dynamics techniques to solve resource constrained problem arising within Emilia-Romagna territory. We then present an application in collaboration with Dipartimento di Epidemiologia del Lazio that focuses on population demand of service allocation to regional emergency departments. Finally, a simulation-optimization approach, developed in collaboration with INESC TECH center of Porto, to evaluate matching policies for the kidney exchange problem is discussed.

Shape memory and elastoplastic materials: from constitutive and numerical to fatigue modeling

Shape memory materials (SMMs) represent an important class of smart materials that have the ability to return from a deformed state to their original shape. Thanks to such a property, SMMs are utilized in a wide range of innovative applications. The increasing number of applications and the consequent involvement of industrial players in the field have motivated researchers to formulate constitutive models able to catch the complex behavior of these materials and to develop robust computational tools for design purposes. Such a research field is still under progress, especially in the prediction of shape memory polymer (SMP) behavior and of important effects characterizing shape memory alloy (SMA) applications. Moreover, the frequent use of shape memory and metallic materials in biomedical devices, particularly in cardiovascular stents, implanted in the human body and experiencing millions of in-vivo cycles by the blood pressure, clearly indicates the need for a deeper understanding of fatigue/fracture failure in microsize components. The development of reliable stent designs against fatigue is still an open subject in scientific literature. Motivated by the described framework, the thesis focuses on several research issues involving the advanced constitutive, numerical and fatigue modeling of elastoplastic and shape memory materials. Starting from the constitutive modeling, the thesis proposes to develop refined phenomenological models for reliable SMA and SMP behavior descriptions. Then, concerning the numerical modeling, the thesis proposes to implement the models into numerical software by developing implicit/explicit time-integration algorithms, to guarantee robust computational tools for practical purposes. The described modeling activities are completed by experimental investigations on SMA actuator springs and polyethylene polymers. Finally, regarding the fatigue modeling, the thesis proposes the introduction of a general computational approach for the fatigue-life assessment of a classical stent design, in order to exploit computer-based simulations to prevent failures and modify design, without testing numerous devices.