Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

Detection and localization of GLUTs in spermatozoa from different domestic species

Sperm cells need hexoses as a substrate for their function, for both the maintenance of membrane homeostasis and the movement of the tail. These cells have a peculiar metabolism that has not yet been fully understood, but it is clear that they obtain energy from hexoses through glycolisis and/or oxidative phosphorylation. Spermatozoa are in contact with different external environments, beginning from the testicular and epididymal fluid, passing to the seminal plasma and finally to the female genital tract fluids; in addition, with the spread of reproductive biotechnologies, sperm cells are diluted and stored in various media, containing different energetic substrates. To utilize these energetic sources, sperm cells, as other eukaryotic cells, have a well-constructed protein system, that is mainly represented by the GLUT family proteins. These transporters have a membrane-spanning α-helix structure and work as an enzymatic pump that permit a fast gradient dependent passage of sugar molecules through the lipidic bilayer of sperm membrane. Many GLUTs have been studied in man, bull and rat spermatozoa; the presence of some GLUTs has been also demonstrated in boar and dog spermatozoa. The aims of the present study were - to determine the presence of GLUTs 1, 2, 3, 4 and 5 in boar, horse, dog and donkey spermatozoa and to describe their localization; - to study eventual changes in GLUTs location after capacitation and acrosome reaction in boar, stallion and dog spermatozoa; - to determine possible changes in GLUTs localization after capacitation induced by insulin and IGF stimulation in boar spermatozoa; - to evaluate changes in GLUTs localization after flow-cytometric sex sorting in boar sperm cells. GLUTs 1, 2, 3 and 5 presence and localization have been demonstrated in boar, stallion, dog and donkey spermatozoa by western blotting and immunofluorescence analysis; a relocation in GLUTs after capacitation has been observed only in dog sperm cells, while no changes have been observed in the other species examined. As for boar, the stimulation of the capacitation with insulin and IGF didn’t cause any change in GLUTs localization, as well as for the flow cytometric sorting procedure. In conclusion, this study confirms the presence of GLUTs 1, 2 ,3 and 5 in boar, dog, stallion and donkey spermatozoa, while GLUT 4 seems to be absent, as a confirmation of other studies. Only in dog sperm cells capacitating conditions induce a change in GLUTs distribution, even if the physiological role of these changes should be deepened.

Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Untersuchung zum Entstehungsmechanismus von Smith-Purcell-Strahlung im Nahbereich mit einem 855 MeV Elektronenstrahl geringer Emittanz

Experimental investigations of visible Smith-Purcell-radiation with a micro-focused high relativistic electron beam (E=855 MeV) are presented in the near region, in which the electron beam grazes the surface of the grating. The radiation intensity was measured as a function of the angle of observation and of the distance between electron beam axis and the surface of the grating simultaneously for two different wavelengths (360 nm, 546 nm).In the experiments Smith-Purcell-radiation was identified by the measured angular distribution fulfilling the characteristic coherence condition. By the observed distance dependence of the intensity two components of Smith-Purcell-radiation could be separated: one component with the theoretical predicted interaction length hint, which is produced by electrons passing over the surface of the grating, and an additional component in the near region leading to a strong enhancement of the intensity, which is produced by electrons hitting the surface. To describe the intensity of the observed additional radiation component a simple model for optical grating transition radiation, caused by the electrons passing through the grating structure, is presented. Taking into account the simple scalar model, the results of a Monte-Carlo calculation show that the additional radiation component could be explained by optical grating transition radiation.

Innovative Homogeneous and Heterogeneous Systems for Electrochemically Generated Luminescence Investigations: Towards One-Dimensional ECL

My research PhD work is focused on the Electrochemically Generated Luminescence (ECL) investigation of several different homogeneous and heterogeneous systems. ECL is a redox induced emission, a process whereby species, generated at electrodes, undergo a high-energy electron transfer reaction to form excited states that emit light. Since its first application, the ECL technique has become a very powerful analytical tool and has widely been used in biosensor transduction. ECL presents an intrinsically low noise and high sensitivity; moreover, the electrochemical generation of the excited state prevents scattering of the light source: for all these characteristics, it is an elective technique for ultrasensitive immunoassay detection. The majority of ECL systems involve species in solution where the emission occurs in the diffusion layer near to the electrode surface. However, over the past few years, an intense research has been focused on the ECL generated from species constrained on the electrode surface. The aim of my work is to study the behavior of ECL-generating molecular systems upon the progressive increase of their spatial constraints, that is, passing from isolated species in solution, to fluorophores embedded within a polymeric film and, finally, to patterned surfaces bearing “one-dimensional” emitting spots. In order to describe these trends, I use different “dimensions” to indicate the different classes of compounds. My thesis was mostly developed in the electrochemistry group of Bologna with the supervision of Prof Francesco Paolucci and Dr Massimo Marcaccio. With their help and also thanks to their long experience in the molecular and supramolecular ECL fields and in the surface investigations using scanning probe microscopy techniques, I was able to obtain the results herein described. Moreover, during my research work, I have established a new collaboration with the group of Nanobiotechnology of Prof. Robert Forster (Dublin City University) where I spent a research period. Prof. Forster has a broad experience in the biomedical field, especially he focuses his research on film surfaces biosensor based on the ECL transduction. This thesis can be divided into three sections described as follows: (i) in the fist section, homogeneous molecular and supramolecular ECL-active systems, either organic or inorganic species (i.e., corannulene, dendrimers and iridium metal complex), are described. Driving force for this kind of studies includes the search for new luminophores that display on one hand higher ECL efficiencies and on the other simple mechanisms for modulating intensity and energy of their emission in view of their effective use in bioconjugation applications. (ii) in the second section, the investigation of some heterogeneous ECL systems is reported. Redox polymers comprising inorganic luminophores were described. In such a context, a new conducting platform, based on carbon nanotubes, was developed aimed to accomplish both the binding of a biological molecule and its electronic wiring to the electrode. This is an essential step for the ECL application in the field of biosensors. (iii) in the third section, different patterns were produced on the electrode surface using a Scanning Electrochemical Microscopy. I developed a new methods for locally functionalizing an inert surface and reacting this surface with a luminescent probe. In this way, I successfully obtained a locally ECL active platform for multi-array application.

Transcriptional functions of DNA Topoisomerases at a genome-wide scale and a single gene levels

The DNA topology is an important modifier of DNA functions. Torsional stress is generated when right handed DNA is either over- or underwound, producing structural deformations which drive or are driven by processes such as replication, transcription, recombination and repair. DNA topoisomerases are molecular machines that regulate the topological state of the DNA in the cell. These enzymes accomplish this task by either passing one strand of the DNA through a break in the opposing strand or by passing a region of the duplex from the same or a different molecule through a double-stranded cut generated in the DNA. Because of their ability to cut one or two strands of DNA they are also target for some of the most successful anticancer drugs used in standard combination therapies of human cancers. An effective anticancer drug is Camptothecin (CPT) that specifically targets DNA topoisomerase 1 (TOP 1). The research project of the present thesis has been focused on the role of human TOP 1 during transcription and on the transcriptional consequences associated with TOP 1 inhibition by CPT in human cell lines. Previous findings demonstrate that TOP 1 inhibition by CPT perturbs RNA polymerase (RNAP II) density at promoters and along transcribed genes suggesting an involvement of TOP 1 in RNAP II promoter proximal pausing site. Within the transcription cycle, promoter pausing is a fundamental step the importance of which has been well established as a means of coupling elongation to RNA maturation. By measuring nascent RNA transcripts bound to chromatin, we demonstrated that TOP 1 inhibition by CPT can enhance RNAP II escape from promoter proximal pausing site of the human Hypoxia Inducible Factor 1 (HIF-1) and c-MYC genes in a dose dependent manner. This effect is dependent from Cdk7/Cdk9 activities since it can be reversed by the kinases inhibitor DRB. Since CPT affects RNAP II by promoting the hyperphosphorylation of its Rpb1 subunit the findings suggest that TOP 1inhibition by CPT may increase the activity of Cdks which in turn phosphorylate the Rpb1 subunit of RNAP II enhancing its escape from pausing. Interestingly, the transcriptional consequences of CPT induced topological stress are wider than expected. CPT increased co-transcriptional splicing of exon1 and 2 and markedly affected alternative splicing at exon 11. Surprisingly despite its well-established transcription inhibitory activity, CPT can trigger the production of a novel long RNA (5’aHIF-1) antisense to the human HIF-1 mRNA and a known antisense RNA at the 3’ end of the gene, while decreasing mRNA levels. The effects require TOP 1 and are independent from CPT induced DNA damage. Thus, when the supercoiling imbalance promoted by CPT occurs at promoter, it may trigger deregulation of the RNAP II pausing, increased chromatin accessibility and activation/derepression of antisense transcripts in a Cdks dependent manner. A changed balance of antisense transcripts and mRNAs may regulate the activity of HIF-1 and contribute to the control of tumor progression After focusing our TOP 1 investigations at a single gene level, we have extended the study to the whole genome by developing the “Topo-Seq” approach which generates a map of genome-wide distribution of sites of TOP 1 activity sites in human cells. The preliminary data revealed that TOP 1 preferentially localizes at intragenic regions and in particular at 5’ and 3’ ends of genes. Surprisingly upon TOP 1 downregulation, which impairs protein expression by 80%, TOP 1 molecules are mostly localized around 3’ ends of genes, thus suggesting that its activity is essential at these regions and can be compensate at 5’ ends. The developed procedure is a pioneer tool for the detection of TOP 1 cleavage sites across the genome and can open the way to further investigations of the enzyme roles in different nuclear processes.

Modeling hydrothermal system: deriving observables and hydrothermal instability in volcanic and non-volcanic setting

Hydrothermal fluids are a fundamental resource for understanding and monitoring volcanic and non-volcanic systems. This thesis is focused on the study of hydrothermal system through numerical modeling with the geothermal simulator TOUGH2. Several simulations are presented, and geophysical and geochemical observables, arising from fluids circulation, are analyzed in detail throughout the thesis. In a volcanic setting, fluids feeding fumaroles and hot spring may play a key role in the hazard evaluation. The evolution of the fluids circulation is caused by a strong interaction between magmatic and hydrothermal systems. A simultaneous analysis of different geophysical and geochemical observables is a sound approach for interpreting monitored data and to infer a consistent conceptual model. Analyzed observables are ground displacement, gravity changes, electrical conductivity, amount, composition and temperature of the emitted gases at surface, and extent of degassing area. Results highlight the different temporal response of the considered observables, as well as the different radial pattern of variation. However, magnitude, temporal response and radial pattern of these signals depend not only on the evolution of fluid circulation, but a main role is played by the considered rock properties. Numerical simulations highlight differences that arise from the assumption of different permeabilities, for both homogeneous and heterogeneous systems. Rock properties affect hydrothermal fluid circulation, controlling both the range of variation and the temporal evolution of the observable signals. Low temperature fumaroles and low discharge rate may be affected by atmospheric conditions. Detailed parametric simulations were performed, aimed to understand the effects of system properties, such as permeability and gas reservoir overpressure, on diffuse degassing when air temperature and barometric pressure changes are applied to the ground surface. Hydrothermal circulation, however, is not only a characteristic of volcanic system. Hot fluids may be involved in several mankind problems, such as studies on geothermal engineering, nuclear waste propagation in porous medium, and Geological Carbon Sequestration (GCS). The current concept for large-scale GCS is the direct injection of supercritical carbon dioxide into deep geological formations which typically contain brine. Upward displacement of such brine from deep reservoirs driven by pressure increases resulting from carbon dioxide injection may occur through abandoned wells, permeable faults or permeable channels. Brine intrusion into aquifers may degrade groundwater resources. Numerical results show that pressure rise drives dense water up to the conduits, and does not necessarily result in continuous flow. Rather, overpressure leads to new hydrostatic equilibrium if fluids are initially density stratified. If warm and salty fluid does not cool passing through the conduit, an oscillatory solution is then possible. Parameter studies delineate steady-state (static) and oscillatory solutions.

Tail bridging vs. patchiness

The subject of this thesis are the interactions between nucleosome core particles (NCPs). NCPs are the primary storage units of DNA in eucaryotic cells. Each NCP consists of a core of eight histone proteins and a strand of DNA, which is wrapped around about two times. Each histone protein has a terminal tail passing over and between the superhelix of the wrapped DNA. Special emphasis was placed on the role of the histone tails, since experimental ndings suggest that the tails have a great in uence on the mutual attraction of the NCPs. In those experiments Mangenot et al. observe a dramatic change in the con guration of the tails, which is accompanied by evidence of mutual attraction between NCPs, when a certain salt concentration is reached. Existing models used in the theoretical approaches and in simulations focus on the description of the histone core and the wrapped DNA, but neglect the histone tails. We introduce the multi chain complex as a new simulation model. Here the histone core and the wrapping DNA are modelled via a charged sphere, while the histone tails are represented by oppositely charged chains grafted on the sphere surface. We start by investigating the parameter space describing a single NCP. The Debye-Huckel potential is used to model the electrostatic interactions and to determine the e ective charge of the NCP core. This value is subsequently used for a study of the pairinteraction of two NCPs via an extensive Molecular Dynamics study. The monomer distribution of the full chain model is investigated. The existence of tail bridges between the cores is demonstrated. Finally, by discriminating between bridging and non-bridging con gurations, we can show that the effect of tail bridging between the spheres does indeed account for the observed attraction. The full chain model can serve as a model to study the acetylation of the histone tails of the nucleosome. The reduction of the charge fraction of the tails, that corresponds to the process of acetylation, leads to a reduction or even the disappearance of the attraction. A recent MC study links this e ect to the unfolding of the chromatin ber in the case of acetylated histone tails. In this case the acetylation of the histone tails leads to the formation of heterochromatin, and one could understand how larger regions of the genetic information could be inactivated through this mechanism.

Sleep-related changes in blood pressure in hypocretin-deficient narcoleptic mice

Objectives. Blood pressure (BP) physiologically has higher and lower values during the active and rest period, respectively. Subjects failing to show the appropriate BP decrease (10-20%) on passing form diurnal activity to nocturnal rest and sleep have increased risk of target organ damage at the cardiac, vascular and cerebrovascular levels. Hypocretin (HCRT) releasing neurons, mainly located in the lateral hypothalamus, project widely to the central nervous system. Thus HCRT neurons are involved in several autonomic functions, including BP regulation. HCRT neurons also play a key role in wake-sleep cycle regulation, the lack of which becomes evident in HCRT-deficient narcoleptic patients. I investigated whether chronic lack of HCRT signaling alters BP during sleep in mouse models of narcolepsy. Methods. The main study was performed on HCRT-ataxin3 transgenic mice (TG) with selective post-natal ablation of HCRT neurons, HCRT gene knockout mice (KO) with preserved HCRT neurons, and Wild-Type control mice (WT) with identical genetic background. Experiments where replicated on TG and WT mice with hybrid genetic background (hTG and hWT, respectively). Mice were implanted with a telemetric pressure transducer (TA11PA-C10, DSI) and electrodes for discriminating wakefulness (W), rapid-eye-movement sleep (REMS) and non-REMS (NREMS). Signals were recorded for 3 days. Mean BP values were computed in each wake-sleep state and analyzed by ANOVA and t-test with significance at p<0.05. Results. The decrease in BP between either NREMS or REMS and W was significantly blunted in TG and KO with respect to WT as well as in hTG with respect to hWT. Conclusions. Independently from the genetic background, chronic HCRT deficiency leads to a decreased BP difference between W and sleep potentially adverse in narcoleptic subjects. These data suggest that HCRT play an important role in the sleep-dependent cardiovascular control.

1963-1968. Dall'avvento dell'amministrazione di Lyndon B. Johnson al Trattato di Non-Proliferazione. gli Stati Uniti, la Francia, la NATO e l'Europa agli esordi della distensione. Storia di una "non-crisi" transatlantica e della riorganizzazione dell'Alleanza.

The aim of this proposal is to explain the paradigm of the American foreign policy during the Johnson Administration, especially toward Europe, within the NATO framework, and toward URSS, in the context of the détente, just emerged during the decade of the sixties. During that period, after the passing of the J. F. Kennedy, President L. B. Johnson inherited a complex and very high-powered world politics, which wanted to get a new phase off the ground in the transatlantic relations and share the burden of the Cold war with a refractory Europe. Known as the grand design, it was a policy that needed the support of the allies and a clear purpose which appealed to the Europeans. At first, President Johnson detected in the problem of the nuclear sharing the good deal to make with the NATO allies. At the same time, he understood that the United States needed to reassert their leadeship within the new stage of relations with the Soviet Union. Soon, the “transatlantic bargain” became something not so easy to dealt with. The Federal Germany wanted to say a word in the nuclear affairs and, why not, put the finger on the trigger of the atlantic nuclear weapons. URSS, on the other hand, wanted to keep Germany down. The other allies did not want to share the onus of the defense of Europe, at most the responsability for the use of the weapons and, at least, to participate in the decision-making process. France, which wanted to detach herself from the policy of the United States and regained a world role, added difficulties to the manage of this course of action. Through the years of the Johnson’s office, the divergences of the policies placed by his advisers to gain the goal put the American foreign policy in deep water. The withdrawal of France from the organization but not from the Alliance, give Washington a chance to carry out his goal. The development of a clear-cut disarm policy leaded the Johnson’s administration to the core of the matter. The Non-proliferation Treaty signed in 1968, solved in a business-like fashion the problem with the allies. The question of nuclear sharing faded away with the acceptance of more deep consultative role in the nuclear affairs by the allies, the burden for the defense of Europe became more bearable through the offset agreement with the FRG and a new doctrine, the flexible response, put an end, at least formally, to the taboo of the nuclear age. The Johnson’s grand design proved to be different from the Kennedy’s one, but all things considered, it was more workable. The unpredictable result was a real détente with the Soviet Union, which, we can say, was a merit of President Johnson.

Effects of ambient temperature on cardiovascular regulation during sleep in hypocretin-deficient narcoleptic mice

Hypocretin 1 and 2 (HCRT, also called Orexin A and B) are neuropeptides released by neurons in the lateral hypothalamus. HCRT neurons widely project to the entire neuroaxis. HCRT neurons have been reported to participate in various hypothalamic physiological processes including cardiovascular functions, wake-sleep cycle, and they may also influence metabolic rate and the regulation of body temperature. HCRT neurons are lost in narcolepsy, a rare neurological disorder, characterized by excessive daytime sleepiness, cataplexy, sleep fragmentation and occurrence of sleep-onset rapid-eye-movement episodes. We investigated whether HCRT neurons mediate the sleep-dependent cardiovascular adaptations to changes in ambient temperature (Ta). HCRT-ataxin3 transgenic mice with genetic ablation of HCRT neurons (n = 11) and wild-type controls (n = 12) were instrumented with electrodes for sleep scoring and a telemetric blood pressure (BP) transducer (DSI, Inc.). Simultaneous sleep and BP recordings were performed on mice undisturbed and freely-behaving at 20 °C, 25 °C, and 30 °C for 48 hours at each Ta. Analysis of variance of BP indicated a significance of the main effects of wake-sleep state and Ta, their interaction effect, and the wake-sleep state x mouse strain interaction effect. BP increased with decreasing Ta. This effect of Ta on BP was significantly lower in rapid-eye-movement sleep (REMS) than either in non-rapid-eye-movement sleep (NREMS) or wakefulness regardless of the mouse strain. BP was higher in wakefulness than either in NREMS or REMS. This effect of sleep on BP was significantly reduced in mice lacking HCRT neurons at each Ta, particularly during REMS. These data suggest that HCRT neurons play a critical role in mediating the effects of sleep but not those of Ta on BP in mice. HCRT neurons may thus be part of the central neural pathways which mediate the phenomenon of blood pressure dipping on passing from wakefulness to sleep.

Risultati funzionali a lungo termine dopo sutura o plicatura del diaframma

Obbiettivo. Analizzare la funzionalità polmonare e diaframmatica dopo interventi di plicatura del diaframma con rete di rinforzo peri-costale eseguiti per relaxatio e riparazione di ernia transdiaframmatica cronica mediante riduzione e sutura diretta. Metodi. Dal 1996 al 2010, 10 pazienti con relaxatio unilaterale del diaframma e 6 pazienti con ernia transdiaframmatica cronica misconosciuta sono stati sottoposti a chirurgia elettiva. Gli accertamenti preoperatori e al follow-up di 12 mesi includevano prove di funzionalità respiratoria, misura della pressione massimale inspiratoria alla bocca in clino e ortostatismo, emogasanlisi, TC del torace e dispnea score. Risultati. I pazienti dei due gruppi non differivano in termini di funzionalità respiratoria preoperatoria nè di complicanze postoperatorie; al follow-up a 12 mesi il gruppo Eventrazione mostrava un significativo aumento del FEV1% (+18,2 – p<0.001), FVC% (+12,8 – p<0.001), DLCO% (+6,84 – p=0,04) e pO2 (+9,8 mmHg – p<0.001). Al contrario nrl gruppo Ernia solo il miglioramento della pO2 era significativo (+8.3 – p=0.04). Sebbene la massima pressione inspiratoria (PImax) fosse aumentata in entrambi i gruppi al follow-up, i pazienti operati per ernia mostravano un miglioramento limitato con persistente caduta significativa della PImax dall’ortostatismo al clinostatismo (p<0.001). Il Transitional dyspnoea score è stato concordante con tali miglioramenti pur senza differenze significative tra i due gruppi. La TC del torace ha evidenziato una sopraelevazione dell’emidiaframma suturato, senza recidiva di ernia, mentre i pazienti sottoposti a plicatura hanno mantenuto l’ipercorrezione. Conclusioni. L’utilizzo di un rinforzo protesico è sicuro e sembra assicurare risultati funzionali migliori a distanza in termini di flussi respiratori e di movimento paradosso del diaframma (valutato mediante PImax). Lacerazioni estese del diaframma coinvolgenti le branche principali di suddivisione del nervo frenico si associano verosimilmente a una relaxatio che può quindi ridurre il guadagno funzionale a lungo termine se non adeguatamente trattata mediante l’utilizzo di un rinforzo protesico.

Pavement and alignment design of a new rural road in the province of Bologna

This thesis aims to give a general view of pavement types all over the world, by showing the different characteristics of each one and its different life steps starting from construction, passing by maintenance and arriving until recycling phase. The flexible pavement took the main part of this work because it has been used in the last part of this thesis to design a project of a rural road. This project is located in the province of Bologna-Italy (‘Comune di Argelato’, 26 km in the north of Bologna), and has 5677, 81 m of length. A pavement design was made using the program BISAR 3.0 and a fatigue life study was made, also, in order to estimate the number of loads (in terms of heavy vehicles axle) to cause road’s failure . An alignment design was made for this project and a safety study was established in order to check if the available sight distance at curves respects the safety norms or not, by comparing it to the stopping sight distance. Different technical sheets are demonstrated and several cases are discussed in order to clarify the main design principles and underline the main hazardous cases to be avoided especially at intersection. This latter, its type’s choice depends on several factors in order to make the suitable design according to the environmental data. At this part of the road, the safety is a primordial point due to the high accident rate in this zone. For this reason, different safety aspects are discussed especially at roundabouts, signalized intersections, and also some other common intersection types. The design and the safety norms are taken with reference to AASHTO (American Association of State Highway and Transportation Officials), ACT (Transportation Association of Canada), and also according to Italian norms (Decreto Ministeriale delle Starde).

From amphiphilic block copolymers to ferrocenyl-functionalized polymers for biosensoric applications

The present thesis can be divided in three main parts. In all parts new polymer architecturesrnwere synthesized and characterized concerning their special features.rnThe first part will emphasize the advantage of a polystyrene-block-(hyperbranchedrnpolyglycerol) copolymer in comparison to an analogue polystyrene-block-(linear polyglycerol)rncopolymer. Therefore a synthethic route to prepare linear block copolymersrnhas been developed. Two strategies were examined. One strategy was based on thernclassic, sequential anionic polymerization; the second strategy was based on arn“Click-Chemistry” coupling reaction. In a following step glycidol was hypergraftedrnfrom these block copolymers by applying a hypergrafting reaction with glycidol. Thernbehavior of the amphiphilic block copolymers synthesized was studied in differentrnsolvents. Furthermore the polarity of the solvent was changed to form the correspondingrninverse micelles. DLS, SLS, SEC-MALLS-VISCO, AFM and Cyro TEMrnmeasurements were performed to obtain a visual image from the appearance of thernaggregates. It was found that a linear-hyperbranched architecture is necessary, ifrnwell defined, monodisperse aggregates are required, e.g. for the preparation of orderedrnnanoarrays. Linear-linear block copolymers formed only polydisperse aggregates.rnAdditionally it was found that size distribution could be improved dramaticallyrnby passing the aggregates through a SEC column with large pores. The SEC columnsrnacted like a template in which the aggregates adopt a more stable conformation.rnIn the second part anionic polymerization was employed to synthesize silaneendfunctionalizedrnmacromonomers with different molecular weights based on polybutadienernand polyisoprene. These were polymerized by a hydrosilylation reaction inrnbulk to obtain branched polymers, using Karstedt’s catalyst. Surprisingly the additionrnof monofunctional silanes during the polymerization had only a minimal effect concerningrnthe degree of polymerization. It was possible to introduce silanes without increasingrnthe overall number of reaction steps by a very convenient “pseudo-copolymerization”rnmethod. All branched polymers were analyzed by SEC, SEC-MALLS,rnSEC-viscometry, 1H-NMR-spectroscopy and DSC concerning their branching ratio.rnThe branching parameters for the branched polymers exhibited similar characteristicsrnas hyperbranched polymers based on AB2 monomers. Detailed kinetic study showedrnthat the polymerization occurred very rapidly in comparison to the hydrosilylation polymerizationrnof classical AB2 type carbosilanes monomers.rnThe last part will deal with ferrocenyl-functionalized polymers. On the one hand,rnferrocenyl-functionalized polyglycerols (PG) were studied. Esterification of PGs withrndifferent molecular weight using ferrocenemonocarboxylic acid gave the ferrocenylrnfuntionalized polymers in high yields. On the other hand three different block copolymersrnwere prepared with different ratios of styrene to butadiene units (10:1, 4:1, 2:1).rnThe double bonds of the 1,2-PB block were hydrosilylated using silanes bearing onern(HSiMe2Fc) or two (HSiMeFc2) ferrocene units. High degrees of functionalizationrnwere obtained (up to 83 %). In this manner, six different ferrocenyl-rich block copolymersrnwith different fractions of ferrocene were prepared and analyzed, employingrnNMR-spectroscopy, SEC, SEC/MALLS/viscometry, DLS and cyclic voltammetry. Thernredox properties of the studied polymers varied primarily with the nature of the silanernunit attached. Additionally, the redox properties in solution of the studied polymersrnwere influenced by the block length ratio of the block copolymers. Unexpectedly, withrnincreasing block length of the ferrocenyl block the fraction of active ferrocenes decreased.rnNevertheless, in case of thin monolayer films this behaviour was not observed.rnAll polymers (PG and PS-b-PB based) exhibited good electrochemical propertiesrnin a wide range of solvents, which rendered them very interesting for biosensoricrnapplications.

In campo. Il ruolo pubblico dell'antropologia

La tesi riflette sulla necessità di un ripensamento delle scienze antropologiche nel senso di un loro uso pubblico e del loro riconoscimento al di fuori dell’accademia. Viene introdotto il dibattito sulla dimensione applicata dell’antropologia a partire dalle posizioni in campo nel panorama internazionale. Negli Stati Uniti la riflessione si sviluppa dalla proposta della public anthropology, l’antropologo pubblico si discosta dalla tradizionale figura europea di intellettuale pubblico. Alla luce delle varie posizioni in merito, la questione dell’applicazione è esaminata dal punto di vista etico, metodologico ed epistemologico. Inizialmente vengono prese in considerazione le diverse metodologie elaborate dalla tradizione dell’applied anthropology a partire dalle prime proposte risalenti al secondo dopoguerra. Successivamente viene trattata la questione del rapporto tra antropologia, potere coloniale e forze armate, fino al recente caso degli antropologi embedded nello Human Terrain System. Come contraltare vengono presentate le diverse forme di engagement antropologico che vedono ricercatori assumere diversi ruoli fino a casi estremi che li vedono divenire attivisti delle cause degli interlocutori. La questione del ruolo giocato dal ricercatore, e di quello che gli viene attribuito sul campo, viene approfondita attraverso la categoria di implication elaborata in contesto francese. Attraverso alcune esperienze di campo vengono presentate forme di intervento concreto nel panorama italiano che vogliono mettere in luce l’azione dell’antropologo nella società. Infine viene affrontato il dibattito, in corso in Italia, alla luce della crisi che sta vivendo la disciplina e del lavoro per la costituzione dell’associazione nazionale di antropologia professionale.