Chain extension of poly (ethylene terephthalate) by reactive extrusion with secondary stabilizer

Poly(ethylene tereftalate) (PET) is a polymer highly susceptible to the hydrolytic reactions that occur during applications and mainly in thermomechanical processing. These reactions lead to the decrease of molecular weight of the polymer, limiting the recycling number of the material. The reactive extrusion of the PET in presence of chain extenders is an alternative to recover mechanical and rheological properties that were depreciated by the polymer degradation. In this study, PET wastes from nonwoven fabrics production were extruded in presence of the secondary stabilizer Irgafos 126 (IRG) on variable concentrations. The results showed that Irgafos 126 increased molecular weight, decreased crystallinity and changed processing behavior of the PET, similarly to the effects produced by the well-known chain extender pyromellitic dianhydride (PMDA), showing that the secondary stabilizer Irgafos 126 can also act as a chain extender for the PET.

Selection of compositions with high glass forming ability in the Ni-Nb-B alloy system

A combination of an extension of the topological instability "λ criterion" and the "average electronegativity" has been recently reported in the literature to predict compositions with high glass-forming ability (GFA). In the present work, both criteria have been applied to select the Ni61.0Nb36.0B3 alloy with a high glass-forming ability. Ingots were prepared by arc-melting and were used to produce ribbons processed by the melt-spinning technique further characterized by differential scanning calorimetry (DSC), X-ray diffraction (XRD) and scanning electron microscopy (SEM). The Ni61.0Nb36.0B3 alloy revealed a complete amorphization and supercooled liquid region ΔTx = 68 K. In addition, wedge-shaped samples were prepared using copper mold casting in order to determine the critical thickness for amorphous formation. Scanning electron microscopy (SEM) revealed that fully amorphous samples could be obtained, reaching up to ~800 µm in thickness.

Upper crustal earthquake swarms in São Caetano: reactivation of the Pernambuco shear zone and trending branches in intraplate Brazil

Seismogenic fault reactivation of continental-scale structures has been observed in a few intraplate areas, but its cause is still amatter of debate. The objective of the present study is to analyze two seismic swarms that occurred along the EW-trending Pernambuco ductile shear zone and in a NE-trending branch, in 2007 and 2010 in São Caetano County, Northeastern Brazil.We studied both epicentral areas using a nine- and a seven-station network during 180 and 54 days, respectively. The results indicate that the 2007 swarm correspond to a right-lateral, strike–slip fault with a normal component of slip (strike 74°, dip 60°, and rake−145°) and the 2010 swarmcorresponds to a normal fault (strike 265°, dip 79°, and rake −91°). The former reactivated a NE-trending branch, whereas the latter reactivated the main E-W-trending mylonitic belt of the Pernambuco shear zone. These results are consistent with seismogenic reactivation of this major structure, generated by the present-day EW-trending compression and NS-trending extension, as observed by previous studies. This shear zone was reactivated as rift faults in the Cretaceous during the South America–Africa breakup. However, our study confirms that the basement fabric such as continental-scale ductile shear zones, show evidence of crustal weakness outside areas of previous rifting, and it reveals the potential for large earthquakes along dormant rift segments associated with major basement shear belts.

Development of musculoskeletal models for the design and the pre-clinical validation of hip resurfacing prosthesis

Background. The surgical treatment of dysfunctional hips is a severe condition for the patient and a costly therapy for the public health. Hip resurfacing techniques seem to hold the promise of various advantages over traditional THR, with particular attention to young and active patients. Although the lesson provided in the past by many branches of engineering is that success in designing competitive products can be achieved only by predicting the possible scenario of failure, to date the understanding of the implant quality is poorly pre-clinically addressed. Thus revision is the only delayed and reliable end point for assessment. The aim of the present work was to model the musculoskeletal system so as to develop a protocol for predicting failure of hip resurfacing prosthesis. Methods. Preliminary studies validated the technique for the generation of subject specific finite element (FE) models of long bones from Computed Thomography data. The proposed protocol consisted in the numerical analysis of the prosthesis biomechanics by deterministic and statistic studies so as to assess the risk of biomechanical failure on the different operative conditions the implant might face in a population of interest during various activities of daily living. Physiological conditions were defined including the variability of the anatomy, bone densitometry, surgery uncertainties and published boundary conditions at the hip. The protocol was tested by analysing a successful design on the market and a new prototype of a resurfacing prosthesis. Results. The intrinsic accuracy of models on bone stress predictions (RMSE < 10%) was aligned to the current state of the art in this field. The accuracy of prediction on the bone-prosthesis contact mechanics was also excellent (< 0.001 mm). The sensitivity of models prediction to uncertainties on modelling parameter was found below 8.4%. The analysis of the successful design resulted in a very good agreement with published retrospective studies. The geometry optimisation of the new prototype lead to a final design with a low risk of failure. The statistical analysis confirmed the minimal risk of the optimised design over the entire population of interest. The performances of the optimised design showed a significant improvement with respect to the first prototype (+35%). Limitations. On the authors opinion the major limitation of this study is on boundary conditions. The muscular forces and the hip joint reaction were derived from the few data available in the literature, which can be considered significant but hardly representative of the entire variability of boundary conditions the implant might face over the patients population. This moved the focus of the research on modelling the musculoskeletal system; the ongoing activity is to develop subject-specific musculoskeletal models of the lower limb from medical images. Conclusions. The developed protocol was able to accurately predict known clinical outcomes when applied to a well-established device and, to support the design optimisation phase providing important information on critical characteristics of the patients when applied to a new prosthesis. The presented approach does have a relevant generality that would allow the extension of the protocol to a large set of orthopaedic scenarios with minor changes. Hence, a failure mode analysis criterion can be considered a suitable tool in developing new orthopaedic devices.

Expression of the repressor element-1 silencing transcription factor (REST) is regulated by IGF-I and PKC in human neuroblastoma cells

The repressor element 1-silencing transcription factor (REST) was first identified as a protein that binds to a 21-bp DNA sequence element (known as repressor element 1 (RE1)) resulting in transcriptional repression of the neural-specific genes [Chong et al., 1995; Schoenherr and Anderson, 1995]. The original proposed role for REST was that of a factor responsible for restricting neuronal gene expression to the nervous system by silencing expression of these genes in non-neuronal cells. Although it was initially thought to repress neuronal genes in non-neuronal cells, the role of REST is complex and tissue dependent. In this study I investigated any role played by REST in the induction and patterning of differentiation of SH-SY5Y human neuroblastoma cells exposed to IGF-I. and phorbol 12- myristate 13-acetate (PMA) To down-regulate REST expression we developed an antisense (AS) strategy based on the use of phosphorothioate oligonucleotides (ODNs). In order to evaluate REST mRNA levels, we developed a real-time PCR technique and REST protein levels were evaluated by western blotting. Results showed that nuclear REST is increased in SH-SY5Y neuroblastoma cells cultured in SFM and exposed to IGF-I for 2-days and it then declines in 5-day-treated cells concomitant with a progressive neurite extension. Also the phorbol ester PMA was able to increase nuclear REST levels after 3-days treatment concomitant to neuronal differentiation of neuroblastoma cells, whereas, at later stages, it is down-regulated. Supporting these data, the exposure to PKC inhibitors (GF10923X and Gö6976) and PMA (16nM) reverted the effects observed with PMA alone. REST levels were related to morphological differentiation, expression of growth coneassociated protein 43 (GAP-43; a gene not regulated by REST) and of synapsin I and βIII tubulin (genes regulated by REST), proteins involved in the early stage of neuronal development. We observed that differentiation of SH-SY5Y cells by IGF-I and PMA was accompanied by a significant increase of these neuronal markers, an effect that was concomitant with REST decrease. In order to relate the decreased REST expression with a progressive neurite extension, I investigated any possible involvement of the ubiquitin–proteasome system (UPS), a multienzymatic pathway which degrades polyubiquinated soluble cytoplasmic proteins [Pickart and Cohen, 2004]. For this purpose, SH-SY5Y cells are concomitantly exposed to PMA and the proteasome inhibitor MG132. In SH-SY5Y exposed to PMA and MG 132, we observed an inverse pattern of expression of synapsin I and β- tubulin III, two neuronal differentiation markers regulated by REST. Their cytoplasmic levels are reduced when compared to cells exposed to PMA alone, as a consequence of the increase of REST expression by proteasome inhibitor. The majority of proteasome substrates identified to date are marked for degradation by polyubiquitinylation; however, exceptions to this principle, are well documented [Hoyt and Coffino, 2004]. Interestingly, REST degradation seems to be completely ubiquitin-independent. The expression pattern of REST could be consistent with the theory that, during early neuronal differentiation induced by IGF-I and PKC, it may help to repress the expression of several genes not yet required by the differentiation program and then it declines later. Interestingly, the observation that REST expression is progressively reduced in parallel with cell proliferation seems to indicate that the role of this transcription factor could also be related to cell survival or to counteract apotosis events [Lawinger et al., 2000] although, as shown by AS-ODN experiments, it does not seem to be directly involved in cell proliferation. Therefore, the decline of REST expression is a comparatively later event during maturation of neuroroblasts in vitro. Thus, we propose that REST is regulated by growth factors, like IGF-I, and PKC activators in a time-dependent manner: it is elevated during early steps of neural induction and could contribute to down-regulate genes not yet required by the differentiation program while it declines later for the acquisition of neural phenotypes, concomitantly with a progressive neurite extension. This later decline is regulated by the proteasome system activation in an ubiquitin-indipendent way and adds more evidences to the hypothesis that REST down-regulation contributes to differentiation and arrest of proliferation of neuroblastoma cells. Finally, the glycosylation pattern of the REST protein was analysed, moving from the observation that the molecular weight calculated on REST sequence is about 116 kDa but using western blotting this transcription factor appears to have distinct apparent molecular weight (see Table 1.1): this difference could be explained by post-translational modifications of the proteins, like glycosylation. In fact recently, several studies underlined the importance of O-glycosylation in modulating transcriptional silencing, protein phosphorylation, protein degradation by proteasome and protein–protein interactions [Julenius et al., 2005; Zachara and Hart, 2006]. Deglycosilating analysis showed that REST protein in SH-SY5Y and HEK293 cells is Oglycosylated and not N-glycosylated. Moreover, using several combination of deglycosilating enzymes it is possible to hypothesize the presence of Gal-β(1-3)-GalNAc residues on the endogenous REST, while β(1-4)-linked galactose residues may be present on recombinant REST protein expressed in HEK293 cells. However, the O-glycosylation process produces an immense multiplicity of chemical structures and monosaccharides must be sequentially hydrolyzed by a series of exoglycosidase. Further experiments are needed to characterize all the post-translational modification of the transcription factor REST.

Innovative treatments for shelf-life extension of whole and fresh-cut fruit

Maintaining the postharvest quality of whole and fresh-cut fruit during storage and distribution is the major challenge facing fruit industry. For this purpose, industry adopt a wide range of technologies to enable extended shelf-life. Many factors can lead to loss of quality in fresh product, hence the common description of these products as ‘perishable’. As a consequence normal factors such as transpiration and respiration lead ultimately to water loss and senescence of the product. Fruits and vegetables are living commodities and their rate of respiration is of key importance to maintenance of quality. It has been commonly observed that the greater the respiration rate of a product, the shorter the shelf-life. The principal problem for fresh-cut fruit industries is the relative shorter shelf-life of minimally processed fruit (MPF) compared to intact product. This fact is strictly connected with the higher ethylene production of fruit tissue stimulated during fresh-cut processing (peeling, cutting, dipping). 1-Methylcyclopropene (1-MCP) is an inhibitor of ethylene action and several researches have shown its effectiveness on the inhibition of ripening and senescence incidence for intact fruit and consequently on their shelf-life extension. More recently 1-MCP treatment has been tested also for shelf-life extension of MPF but discordant results have been obtained. Considering that in some countries 1-MCP is already a commercial product registered for the use on a number of horticultural products, the main aim of this actual study was to enhance our understanding on the effects of 1-MCP treatment on the quality maintenance of whole and fresh-cut climacteric and non-climacteric fruit (apple, kiwifruit and pineapple). Concerning the effects of 1-MCP on whole fruit, was investigated the effects of a semi-commercial postharvest treatment with 1-MCP on the quality of Pink Lady apples as functions of fruit ripening stage, 1-MCP dose, storage time and also in combination with controlled atmospheres storage in order to better understand what is the relationship among these parameters and if is possible to maximize the 1-MCP treatment to meet the market/consumer needs and then in order to put in the market excellent fruit. To achieve this purpose an incomplete three-level three-factor design was adopted. During the storage were monitored several quality parameters: firmness, ripening index, ethylene and carbon dioxide production and were also performed a sensory evaluations after 6 month of storage. In this study the higher retention of firmness (at the end of storage) was achieved by applying the greatest 1-MCP concentration to fruits with the lowest maturity stage. This finding means that in these semi-commercial conditions we may considerate completely blocked the fruit softening. 1-MCP was able to delay also the ethylene and CO2 production and the maturity parameters (soluble solids content and total acidity). Only in some cases 1-MCP generate a synergistic effect with the CA storage. The results of sensory analyses indicated that, the 1-MCP treatment did not affect the sweetness and whole fruit flavour while had a little effect on the decreasing cut fruit flavour. On the contrary the treated apple was more sour, crisp, firm and juicy. The effects of some treatment (dipping and MAP) on the nutrient stability were also investigated showing that in this case study the adopted treatments did not have drastic effects on the antioxidant compounds on the contrary the dipping may enhance the total antioxidant activity by the accumulation of ascorbic acid on the apple cut surface. Results concerning the effects of 1-MCP in combination with MAP on the quality parameters behaviour of the kiwifruit were not always consistent and clear: in terms of colour maintenance, it seemed to have a synergistic effect with N2O MAP; as far as ripening index is concerned, 1-MCP had a preservative effect, but just for sample packed in air.

A core calculus for the analysis and implementation of biologically inspired languages

The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this thesis we present pi@, an extremely simple and conservative extension of the pi-calculus representing a keystone in this respect, thanks to its expressiveness capabilities. The pi@ calculus is obtained by the addition of polyadic synchronisation and priority to the pi-calculus, in order to achieve compartment semantics and atomicity of complex operations respectively. In its direct application to biological modelling, the stochastic variant of the calculus, Spi@, is shown able to model consistently several phenomena such as formation of molecular complexes, hierarchical subdivision of the system into compartments, inter-compartment reactions, dynamic reorganisation of compartment structure consistent with volume variation. The pivotal role of pi@ is evidenced by its capability of encoding in a compositional way several bio-inspired formalisms, so that it represents the optimal core of a framework for the analysis and implementation of bio-inspired languages. In this respect, the encodings of BioAmbients, Brane Calculi and a variant of P Systems in pi@ are formalised. The conciseness of their translation in pi@ allows their indirect comparison by means of their encodings. Furthermore it provides a ready-to-run implementation of minimal effort whose correctness is granted by the correctness of the respective encoding functions. Further important results of general validity are stated on the expressive power of priority. Several impossibility results are described, which clearly state the superior expressiveness of prioritised languages and the problems arising in the attempt of providing their parallel implementation. To this aim, a new setting in distributed computing (the last man standing problem) is singled out and exploited to prove the impossibility of providing a purely parallel implementation of priority by means of point-to-point or broadcast communication.

The use of Ground Penetrating Radar and alternative geophysical techniques for assessing embankments and dykes safety

The research is part of a survey for the detection of the hydraulic and geotechnical conditions of river embankments funded by the Reno River Basin Regional Technical Service of the Region Emilia-Romagna. The hydraulic safety of the Reno River, one of the main rivers in North-Eastern Italy, is indeed of primary importance to the Emilia-Romagna regional administration. The large longitudinal extent of the banks (several hundreds of kilometres) has placed great interest in non-destructive geophysical methods, which, compared to other methods such as drilling, allow for the faster and often less expensive acquisition of high-resolution data. The present work aims to experience the Ground Penetrating Radar (GPR) for the detection of local non-homogeneities (mainly stratigraphic contacts, cavities and conduits) inside the Reno River and its tributaries embankments, taking into account supplementary data collected with traditional destructive tests (boreholes, cone penetration tests etc.). A comparison with non-destructive methodologies likewise electric resistivity tomography (ERT), Multi-channels Analysis of Surface Waves (MASW), FDEM induction, was also carried out in order to verify the usability of GPR and to provide integration of various geophysical methods in the process of regular maintenance and check of the embankments condition. The first part of this thesis is dedicated to the explanation of the state of art concerning the geographic, geomorphologic and geotechnical characteristics of Reno River and its tributaries embankments, as well as the description of some geophysical applications provided on embankments belonging to European and North-American Rivers, which were used as bibliographic basis for this thesis realisation. The second part is an overview of the geophysical methods that were employed for this research, (with a particular attention to the GPR), reporting also their theoretical basis and a deepening of some techniques of the geophysical data analysis and representation, when applied to river embankments. The successive chapters, following the main scope of this research that is to highlight advantages and drawbacks in the use of Ground Penetrating Radar applied to Reno River and its tributaries embankments, show the results obtained analyzing different cases that could yield the formation of weakness zones, which successively lead to the embankment failure. As advantages, a considerable velocity of acquisition and a spatial resolution of the obtained data, incomparable with respect to other methodologies, were recorded. With regard to the drawbacks, some factors, related to the attenuation losses of wave propagation, due to different content in clay, silt, and sand, as well as surface effects have significantly limited the correlation between GPR profiles and geotechnical information and therefore compromised the embankment safety assessment. Recapitulating, the Ground Penetrating Radar could represent a suitable tool for checking up river dike conditions, but its use has significantly limited by geometric and geotechnical characteristics of the Reno River and its tributaries levees. As a matter of facts, only the shallower part of the embankment was investigate, achieving also information just related to changes in electrical properties, without any numerical measurement. Furthermore, GPR application is ineffective for a preliminary assessment of embankment safety conditions, while for detailed campaigns at shallow depth, which aims to achieve immediate results with optimal precision, its usage is totally recommended. The cases where multidisciplinary approach was tested, reveal an optimal interconnection of the various geophysical methodologies employed, producing qualitative results concerning the preliminary phase (FDEM), assuring quantitative and high confidential description of the subsoil (ERT) and finally, providing fast and highly detailed analysis (GPR). Trying to furnish some recommendations for future researches, the simultaneous exploitation of many geophysical devices to assess safety conditions of river embankments is absolutely suggested, especially to face reliable flood event, when the entire extension of the embankments themselves must be investigated.

Thermochronologic and geodynamic evolution of the Pontides: Sakarya terrane (Karakaya Complex) and Istanbul terrane, Turkey.

An integrated array of analytical methods -including clay mineralogy, vitrinite reflectance, Raman spectroscopy on carbonaceous material, and apatite fission-track analysis- was employed to constrain the thermal and thermochronological evolution of selected portions of the Pontides of northern Turkey. (1) A multimethod investigation was applied for the first time to characterise the thermal history of the Karakaya Complex, a Permo-Triassic subduction-accretion complex cropping out throughout the Sakarya Zone. The results indicate two different thermal regimes: the Lower Karakaya Complex (Nilüfer Unit) -mostly made of metabasite and marble- suffered peak temperatures of 300-500°C (greenschist facies); the Upper Karakaya Complex (Hodul and the Orhanlar Units) –mostly made of greywacke and arkose- yielded heterogeneous peak temperatures (125-376°C), possibly the result of different degree of involvement of the units in the complex dynamic processes of the accretionary wedge. Contrary to common belief, the results of this study indicate that the entire Karakaya Complex suffered metamorphic conditions. Moreover, a good degree of correlation among the results of these methods demonstrate that Raman spectroscopy on carbonaceous material can be applied successfully to temperature ranges of 200-330°C, thus extending the application of this method from higher grade metamorphic contexts to lower grade metamorphic conditions. (2) Apatite fission-track analysis was applied to the Sakarya and the İstanbul Zones in order to constrain the exhumation history and timing of amalgamation of these two exotic terranes. AFT ages from the İstanbul and Sakarya terranes recorded three distinct episodes of exhumation related to the complex tectonic evolution of the Pontides. (i) Paleocene - early Eocene ages (62.3-50.3 Ma) reflect the closure of the İzmir-Ankara ocean and the ensuing collision between the Sakarya terrane and the Anatolide-Tauride Block. (ii) Late Eocene - earliest Oligocene (43.5-32.3 Ma) ages reflect renewed tectonic activity along the İzmir-Ankara. (iii) Late Oligocene- Early Miocene ages reflect the onset and development of the northern Aegean extension. The consistency of AFT ages, both north and south of the tectonic contact between the İstanbul and Sakarya terranes, suggest that such terranes were amalgamated in pre-Cenozoic times. (3) Fission-track analysis was also applied to rock samples from the Marmara region, in an attempt to constrain the inception and development of the North Anatolian Fault system in the region. The results agree with those from the central Pontides. The youngest AFT ages (Late Oligocene - early Miocene) were recorded in the western portion of the Marmara Sea region and reflect the onset and development of northern Aegean extension. Fission-track data from the eastern Marmara Sea region indicate rapid Early Eocene exhumation induced by the development of the İzmir-Ankara orogenic wedge. Thermochronological data along the trace of the Ganos Fault –a segment of the North Anatolian Fault system- indicate the presence of a tectonic discontinuity active by Late Oligocene time, i.e. well before the arrival of the North Anatolian Fault system in the area. The integration of thermochronologic data with preexisting structural data point to the existence of a system of major E-W-trending structural discontinuities active at least from the Late Oligocene. In the Early Pliocene, inception of the present-day North Anatolian Fault system in the Marmara region occurred by reactivation of these older tectonic structures. 


Contribution of tectonic processes to the exhumation of the Cycladic blueschist unit, Greece and Turkey

In dieser Studie werden strukturgeologische, metamorphe und geochronologische Daten benutzt, um eine Quantifizierung tektonischer Prozesse vorzunehmen, die für die Exhumierung der Kykladischen Blauschiefereinheit in der Ägäis und der Westtürkei verantwortlich waren. Bei den beiden tektonischen Prozessen handelt es sich um: (1) Abschiebungstektonik und (2) vertikale duktile Ausdünnung. Eine finite Verformungsanalyse an Proben der Kykladischen Blauschiefereinheit ermöglicht eine Abschätzung des Beitrags von vertikaler duktiler Ausdünnung an der gesamten Exhumierung. Kalkulationen mit einem eindimensionalen, numerischen Model zeigt, daß vertikale duktile Ausdünnung nur ca. 10% an der gesamten Exhumierung ausmacht. Kinematische, metamorphe und geochronologische Daten erklären die tektonische Natur und die Evolution eines extensionalen Störungssystems auf der Insel Ikaria in der östlichen Ägäis. Thermobarometrische Daten lassen erkennen, daß das Liegende des Störungssystems aus ca. 15 km Tiefe exhumiert wurde. Sowohl Apatit- und Zirkonspaltspurenalter als auch Apatit (U-Th)/He-Alter zeigen, daß sich das extensionale Störungssystem zwischen 11-3 Ma mit einer Geschwindigkeit von ca. 7-8 km/Ma bewegte. Spät-Miozäne Abschiebungen trugen zur Exhumierung der letzten ~5-15 km der Hochdruckgesteine bei. Ein Großteil der Exhumierung der Kykladischen Blauschiefereinheit muß vor dem Miozän stattgefunden haben. Dies wird durch einen Extrusionskeil erklärt, der ca. 30-35 km der Kykladischen Blauschiefereinheit in der Westtürkei exhumierte. 40Ar/39Ar und 87Rb/86Sr Datierungen an Myloniten des oberen Abschiebungskontakts zwischen der Selçuk Decke und der darunterliegenden Ampelos/Dilek Decke der Kykladischen Blauschiefereinheit als auch des unteren Überschiebungskontakts zwischen der Ampelos/Dilek Decke und den darunterliegenden Menderes Decken zeigt, daß sich beide mylonitische Zonen um ca. ~35 Ma formten, was die Existenz eines Spät-Eozänen/Früh-Oligozänen Extrusionskeils beweist.

Detailed study of the seismotectonic setting in the Lucanian Apennines and surrounding areas (Southern Italy)

In this research work I analyzed the instrumental seismicity of Southern Italy in the area including the Lucanian Apennines and Bradano foredeep, making use of the most recent seismological database available so far. I examined the seismicity occurred during the period between 2001 and 2006, considering 514 events with magnitudes M ≥ 2.0. In the first part of the work, P- and S-wave arrival times, recorded by the Italian National Seismic Network (RSNC) operated by the Istituto Nazionale di Geofisica e Vulcanologia (INGV), were re-picked along with those of the SAPTEX temporary array (2001–2004). For some events located in the Upper Val d'Agri, I also used data from the Eni-Agip oil company seismic network. I computed the VP/VS ratio obtaining a value of 1.83 and I carried out an analysis for the one-dimensional (1D) velocity model that approximates the seismic structure of the study area. After this preliminary analysis, making use of the records obtained in the SeSCAL experiment, I incremented the database by handpicking new arrival times. My final dataset consists of 15,666 P- and 9228 S-arrival times associated to 1047 earthquakes with magnitude ML ≥ 1.5. I computed 162 fault-plane solutions and composite focal mechanisms for closely located events. I investigated stress field orientation inverting focal mechanism belonging to the Lucanian Apennine and the Pollino Range, both areas characterized by more concentrated background seismicity. Moreover, I applied the double difference technique (DD) to improve the earthquake locations. Considering these results and different datasets available in the literature, I carried out a detailed analysis of single sub-areas and of a swarm (November 2008) recorded by SeSCAL array. The relocated seismicity appears more concentrated within the upper crust and it is mostly clustered along the Lucanian Apennine chain. In particular, two well-defined clusters were located in the Potentino and in the Abriola-Pietrapertosa sector (central Lucanian region). Their hypocentral depths are slightly deeper than those observed beneath the chain. I suggest that these two seismic features are representative of the transition from the inner portion of the chain with NE-SW extension to the external margin characterized by dextral strike-slip kinematics. In the easternmost part of the study area, below the Bradano foredeep and the Apulia foreland, the seismicity is generally deeper and more scattered and is associated to the Murge uplift and to the small structures present in the area. I also observed a small structure NE-SW oriented in the Abriola-Pietrapertosa area (activated with a swarm in November 2008) that could be considered to act as a barrier to the propagation of a potential rupture of an active NW-SE striking faults system. Focal mechanisms computed in this study are in large part normal and strike-slip solutions and their tensional axes (T-axes) have a generalized NE-SW orientation. Thanks to denser coverage of seismic stations and the detailed analysis, this study is a further contribution to the comprehension of the seismogenesis and state of stress of the Southern Apennines region, giving important contributions to seismotectonic zoning and seismic hazard assessment.

Geochronology, geochemistry and isotopic compositions of the volcanic rocks from oceanic (Hawaii) and continental (Eifel) intra-plate environments

The Eifel volcanism is part of the Central European Volcanic Province (CEVP) and is located in the Rhenish Massif, close to the Rhine and Leine Grabens. The Quaternary Eifel volcanism appears to be related to a mantle plume activity. However, the causes of the Tertiary Hocheifel volcanism remain debated. We present geochronological, geochemical and isotope data to assess the geotectonic settings of the Tertiary Eifel volcanism. Based on 40Ar/39Ar dating, we were able to identify two periods in the Hocheifel activity: from 43.6 to 39.0 Ma and from 37.5 to 35.0 Ma. We also show that the pre-rifting volcanism in the northernmost Upper Rhine Graben (59 to 47 Ma) closely precede the Hocheifel volcanic activity. In addition, the volcanism propagates from south to north within the older phase of the Hocheifel activity. At the time of Hocheifel volcanism, the tectonic activity in the Hocheifel was controlled by stress field conditions identical to those of the Upper Rhine Graben. Therefore, magma generation in the Hocheifel appears to be caused by decompression due to Middle to Late Eocene extension. Our geochemical data indicate that the Hocheifel magmas were produced by partial melting of a garnet peridotite at 75-90 km depth. We also show that crustal contamination is minor although the magmas erupted through a relatively thick continental lithosphere. Sr, Nd and Pb isotopic compositions suggest that the source of the Hocheifel magmas is a mixing between depleted FOZO or HIMU-like material and enriched EM2-like material. The Tertiary Hocheifel and the Quaternary Eifel lavas appear to have a common enriched end-member. However, the other sources are likely to be distinct. In addition, the Hocheifel lavas share a depleted component with the other Tertiary CEVP lavas. Although the Tertiary Hocheifel and the Quaternary Eifel lavas appear to originate from different sources, the potential involvement of a FOZO-like component would indicate the contribution of deep mantle material. Thus, on the basis of the geochemical and isotope data, we cannot rule out the involvement of plume-type material in the Hocheifel magmas. The Ko’olau Scientific Drilling Project (KSDP) has been initiated in order to evaluate the long-term evolution of Ko’olau volcano and obtain information about the Hawaiian mantle plume. High precision Pb triple spike data, as well as Sr and Nd isotope data on KSDP lavas and Honolulu Volcanics (HVS) reveal compositional source variations during Ko’olau growth. Pb isotopic compositions indicate that, at least, three Pb end-members are present in Ko’olau lavas. Changes in the contributions of each component are recorded in the Pb, Sr and Nd isotopes stratigraphy. The radiogenic component is present, at variable proportion, in all three stages of Ko’olau growth. It shows affinities with the least radiogenic “Kea-lo8” lavas present in Mauna Kea. The first unradiogenic component was present in the main-shield stage of Ko’olau growth but its contribution decreased with time. It has EM1 type characteristics and corresponds to the “Ko’olau” component of Hawaiian mantle plume. The second unradiogenic end-member, so far only sampled by Honololu lavas, has isotopic characteristics similar to those of a depleted mantle. However, they are different from those of the recent Pacific lithosphere (EPR MORB) indicating that the HVS are not derived from MORB-related source. We suggest, instead, that the HVS result from melting of a plume material. Thus the evolution of a single Hawaiian volcano records the geochemical and isotopic changes within the Hawaiian plume.

Nature and origin of ultramafic lamprophyres and carbonatites from the borders of the Labrador Sea

Die Ränder des Labrador Meeres wurden während des späten Neoproterozoikums intensiv von karbonatreichen silikatischen Schmelzen durchsetzt. Diese Schmelzen bildeted sich bei Drucken zwischen ca. 4-6 GPa (ca. 120-180 km Tiefe) an der Basis der kontinentalen Mantel-Lithosphäre. Diese Magmengenerierung steht in zeitlichem und räumlichem Zusammenhang mit kontinentalen Extensionsprozessen, welche zu beiden Seiten des sich öffnenden Iapetus-Ozeans auftraten.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

BioTuCSoN: biochemical extension of TuCSoN to support self-organising coordination

Starting from pervasive computing paradigm, we want to face the new system's requirements, concerning, mainly, self-organisation, situatedness and adaptivity, through the definition and execution of nature-inspired patterns. They are extracted by the study of dynamics in biological systems and we consider for their implementation the biochemical tuple spaces model. In particular, the aim of the thesis is to design and realize a first biochemical extension of TuCSoN (technology based on tuple spaces model) and, then, to verify its capabilities by means of a proper case study, that deals with local self-organisation and competition of services in an open and highly-dynamic environment.