Magnetic fabrics and their relationship with the emplacement of the Piracaia pluton, SE Brazil

Magnetic fabric and rock-magnetism studies were performed on the four units of the 578 +/- 3-Ma-old Piracaia pluton (NW of Sao Paulo State, southern Brazil). This intrusion is roughly elliptical (similar to 32 km(2)), composed of (i) coarse-grained monzodiorite (MZD-c), (ii) fine-grained monzodiorite (MZD-f), which is predominant in the pluton, (iii) monzonite heterogeneous (MZN-het), and (iv) quartz syenite (Qz-Sy). Magnetic fabrics were determined by applying both anisotropy of low-field magnetic susceptibility (AMS) and anisotropy of anhysteretic remanent magnetization (AARM). The two fabrics are coaxial. The parallelism between AMS and AARM tensors excludes the presence of a single domain (SD) effect on the AMS fabric of the units. Several rock-magnetism experiments performed in one specimen from each sampled units show that for all of them, the magnetic susceptibility and magnetic fabrics are carried by magnetite grains, which was also observed in the thin sections. Foliations and lineations in the units were successfully determined by applying magnetic methods. Most of the magnetic foliations are steeply dipping or vertical in all units and are roughly parallel to the foliation measured in the field and in the country rocks. In contrast, the magnetic lineations present mostly low plunges for the whole pluton. However, for eight sites, they are steep up to vertical. Thin-section analyses show that rocks from the Piracaia pluton were affected by the regional strain during and after emplacement since magmatic foliation evolves to solid-state fabric in the north of the pluton, indicating that magnetic fabrics in this area of the pluton are related to this strain. Otherwise, the lack of solid-state deformation at outcrop scale and in thin sections precludes deformation in the SW of the pluton. This evidence allows us to interpret the observed magnetic fabrics as primary in origin (magmatic) acquired when the rocks were solidified as a result of magma flow, in which steeply plunging magnetic lineation suggests that a feeder zone could underlie this area.

Sedimentological and provenance response to Cambrian closure of the Clymene ocean: The upper Alto Paraguai Group, Paraguay belt, Brazil

Final Gondwana amalgamation was marked by the closure of the Neoproterozoic Clymene ocean between the Amazonia craton and central Gondwana. The events which occurred in the last stage of this closure were recorded in the upper Alto Paraguai Group in the foreland of the Paraguay orogen. Outcrop-based fades analysis of the siliciclastic rocks of upper Alto Paraguai Group, composed of the Sepotuba and Diamantino Formations, was carried out in the Diamantino region, within the eastern part of the Barra dos Bugres basin, Mato Grosso state, central-western Brazil. The Sepotuba Formation is composed of sandy shales with planar to wave lamination interbedded with fine-grained sandstone with climbing ripple cross-lamination, planar lamination, swaley cross-stratification and tangential to sigmoidal cross-bedding with mud drapes, related to marine offshore deposits. The lower Diamantino Formation is composed of a monotonous, laterally continuous for hundreds of metres, interbedded siltstone and fine-grained sandstone succession with regular parallel lamination, climbing ripple cross-lamination and ripple-bedding interpreted as distal turbidites. The upper part of this formation consists of fine to medium-grained sandstones with sigmoidal cross-bedding, planar lamination, climbing ripple cross-lamination, symmetrical to asymmetrical and linguoid ripple marks arranged in lobate sand bodies. These fades are interbedded with thick siltstone in coarsening upward large-scale cycles related to a delta system. The Sepotuba Formation characterises the last transgressive deposits of the Paraguay basin representing the final stage of a marine incursion of the Clymene ocean. The progression of orogenesis in the hinterland resulted in the confinement of the Sepotuba sea as a foredeep sub-basin against the edge of the Amazon craton. Turbidites were generated during the deepening of the basin. The successive filling of the basin was associated with progradation of deltaic lobes from the southeast, in a wide lake or a restricted sea that formed after 541 +/- 7 Ma. Southeastern to east dominant Neoproterozoic source regions were confirmed by zircon grains that yielded ages around 600 to 540 Ma, that are interpreted to be from granites in the Paraguay orogen. This overall regressive succession recorded in the Alto Paraguai Group represents the filling up of a foredeep basin after the final amalgamation of westem Gondwana in the earliest Phanerozoic. (C) 2011 International Association for Gondwana Research. Published by Elsevier B.V. All rights reserved.

Cortical activation during executed, imagined, observed, and passive wrist movements in healthy volunteers and stroke patients

Motor imagery, passive movement, and movement observation have been suggested to activate the sensorimotor system without overt movement. The present study investigated these three covert movement modes together with overt movement in a within-subject design to allow for a fine-grained comparison of their abilities in activating the sensorimotor system, i.e. premotor, primary motor, and somatosensory cortices. For this, 21 healthy volunteers underwent functional magnetic resonance imaging (fMRI). In addition we explored the abilities of the different covert movement modes in activating the sensorimotor system in a pilot study of 5 stroke patients suffering from chronic severe hemiparesis. Results demonstrated that while all covert movement modes activated sensorimotor areas, there were profound differences between modes and between healthy volunteers and patients. In healthy volunteers, the pattern of neural activation in overt execution was best resembled by passive movement, followed by motor imagery, and lastly by movement observation. In patients, attempted overt execution was best resembled by motor imagery, followed by passive movement and lastly by movement observation. Our results indicate that for severely hemiparetic stroke patients motor imagery may be the preferred way to activate the sensorimotor system without overt behavior. In addition, the clear differences between the covert movement modes point to the need for within-subject comparisons. (C) 2012 Elsevier Inc. All rights reserved.

Using AMS combined with mineral shape preferred orientation analysis to understand the emplacement fabrics of the Apiai gabbro-norite (Ribeira Belt, SE Brazil)

The Apiai gabbro-norite is a massive fine-grained Neoproterozoic intrusion emplaced in a core of synformal structure that deforms low-grade marine metasedimentary rocks of the Ribeira Belt of south-eastern Brazil. The lack of visible magmatic layering or any internal fabric has been a major limitation in deciding whether the emplacement occurred before or after the regional folding. To assist in the tectonic interpretations, we combine low-field anisotropy of magnetic susceptibility (AMS) and silicate shape preferred orientation (SPO) to reveal the internal structure of the mafic intrusion. Magnetic data indicate a mean susceptibility of about 10(-2) SI and a mean anisotropy degree (P) of about 1.08, essentially yielded by titanomagnetite. The magnetic and silicate foliations for P >= 1.10 are parallel to each other, while the lineations tend to scatter on the foliation plane, in agreement with the dominant oblate symmetry of the AMS and SPO ellipsoids. For lower P values, the magnetic and silicate fabrics vary from coaxial to oblique, and for P <= 1.05, their shapes and orientations can be quite distinct. The crystal size distribution (CSD) of plagioclase for P > 1.05 is log linear, in agreement with a bulk simple crystallisation history. These results combined show that for a strong SPO, corresponding to a magnetic anisotropy above 1.10, AMS is a reliable indicator of the magmatic fabric. They indicate that the Apiai gabbro-norite consists of sill-like body that was inclined gently to the north by the regional folding.

Records of sedimentary dynamics in the continental shelf and upper slope between Aveiro-Espinho (N Portugal)

The sedimentary unconsolidated cover of the Aveiro-Espinho continental shelf and upper slope (NW Portugal) records a complex interplay of processes including wave energy and currents, fluvial input, sediment transport alongshore and cross-shelf, geological and oceanographic processes and sediment sources and sinks. In order to study this record, a set of surface sediment samples was studied. Sediment grain size and composition, as well as the mineralogical composition (by XRD) of the fine (<63 mu m) and clay (<2 mu m) fractions and benthic microfaunal (foraminifera) data were analysed. Cluster analysis applied to the sedimentological data (grain size, sediment composition and mineralogy) allowed the establishment of three main zones corresponding to the: inner-, mid- and outer-shelf/upper slope. On the inner-shelf, the sedimentary coverture is composed of siliciclastic fine to very fine sand, essentially comprising modern (immature) terrigenous particles. The sediment grain size, as well as mineralogical and microfaunal composition, denote the high energetic conditions of this sector in which the alongshore transport of sand is predominantly southward and occurs mostly during the spring-summer oceanographic regime, when the main river providing sediments to this area, the River Douro, undergoes periods of drought. This effect may emphasize the erosive character of this coastal sector at present, since the Ria de Aveiro provides the shelf with few sediments. On the mid-shelf, an alongshore siliciclastic band of coarse sand and gravel can be found between the 40 m and 60 m isobaths. This gravelly deposit includes relic sediments deposited during lower sea-level stands. This structure stays on the surface due to the high bottom energy, which promotes the remobilization of the fine-grained sediments, and/or events of sediments bypassing. Benthic foraminifera density and "Benthic Foraminifera High Productivity" (BFHP) proxy values are in general low, which is consistent with the overall small supply of organic matter to the oceanic bottom in the inner- and mid-shelf. However, the Ria de Aveiro outflow, which delivers organic matter to the shelf, leaves its imprint mainly on the mid-shelf, identifiable by the increase in foraminifera density and BFHP values in front of the lagoon mouth. The higher values of BFHP along the 100 m isobath trace the present position of an oceanic thermal front whose situation may have changed in the last 3/5 ka BP. This zone marks a clear difference in the density, diversity and composition of benthic foraminifera assemblages. Here, in addition, sediment composition changes significantly, giving rise to carbonate-rich fine to medium sand in the deeper sector. The low bottom energy and the small sedimentation rate of the outer-shelf contributed to the preservation of a discontinuous carbonate-rich gravel band, between the 100 m and 140 m isobaths, also related to paleo-littorals, following the transgression that has occurred since the Last Glacial Maximum. The winter oceanographic regime favours the transport of fine grained sediments to the outer-shelf and upper slope. The inner- and mid-shelf, however, have low amounts of this kind of sediment and the Cretacic carbonated complexes Pontal da Galega and Pontal da Cartola, rocky outcrops located at the mid- and outer-shelf, act as morphological barriers to the cross-shelf transport of sediments. Thus a reduced sedimentation rate occurs in these deeper sectors, as indicated by the lower abundance of detrital minerals, which is compensated for the high sedimentary content of biogenic carbonates. The relatively high BFHP and Shannon Index values indicate water column stratification, high supply of organic matter and environmental stability, which provide favourable conditions for a diversified benthic fauna to flourish. These conditions also encourage authigenic chemical changes, favourable to glauconite formation, as well as illite and kaolinite degradation. Benthic foraminifera and clay mineral assemblages also reveal the effect of the internal waves pushing upward, and downslope losses of the sediments on the outer-shelf and upper slope.

Spark Plasma Sintering of Si3N4-based Ceramics : Sintering mechanism-Tailoring microstructure-Evaluationg properties

Spark Plasma Sintering (SPS) is a promising rapid consolidation technique that allows a better understanding and manipulating of sintering kinetics and therefore makes it possible to obtain Si3N4-based ceramics with tailored microstructures, consisting of grains with either equiaxed or elongated morphology. The presence of an extra liquid phase is necessary for forming tough interlocking microstructures in Yb/Y-stabilised α-sialon by HP. The liquid is introduced by a new method, namely by increasing the O/N ratio in the general formula RExSi12-(3x+n)Al3x+nOnN16-n while keeping the cation ratios of RE, Si and Al constant. Monophasic α-sialon ceramics with tailored microstructures, consisting of either fine equiaxed or elongated grains, have been obtained by using SPS, whether or not such an extra liquid phase is involved. The three processes, namely densification, phase transformation and grain growth, which usually occur simultaneously during conventional HP consolidation of Si3N4-based ceramics, have been precisely followed and separately investigated in the SPS process. The enhanced densification is attributed to the non-equilibrium nature of the liquid phase formed during heating. The dominating mechanism during densification is the enhanced grain boundary sliding accompanied by diffusion- and/or reaction-controlled processes. The rapid grain growth is ascribed to a dynamic ripening mechanism based on the formation of a liquid phase that is grossly out of equilibrium, which in turn generates an extra chemical driving force for mass transfer. Monophasic α-sialon ceramics with interlocking microstructures exhibit improved damage tolerance. Y/Yb- stabilised monophasic α-sialon ceramics containing approximately 3 vol% liquid with refined interlocking microstructures have excellent thermal-shock resistance, comparable to the best β-sialon ceramics with 20 vol% additional liquid phase prepared by HP. The obtained sialon ceramics with fine-grained microstructure show formidably improved superplasticity in the presence of an electric field. The compressive strain rate reaches the order of 10-2 s-1 at temperatures above 1500oC, that is, two orders of magnitude higher than that has been realised so far by any other conventional approaches. The high deformation rate recorded in this work opens up possibilities for making ceramic components with complex shapes through super-plastic forming.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Evidenze micropaleontologiche e sedimentologiche di cicli deposizionali e climatici circa millenari nei Depositi Tardoquaternari della Piana dell'Arno e del Delta del Po

A multidisciplinary study was carried out on the Late Quaternary-Holocene subsurface deposits of two Mediterranean coastal areas: Arno coastal plain (Northern Tyrrhenian Sea) and Modern Po Delta (Northern Adriatic Sea). Detailed facies analyses, including sedimentological and micropalaeontological (benthic foraminifers and ostracods) investigations, were performed on nine continuously-cored boreholes of variable depth (ca. from 30 meters to100 meters). Six cores were located in the Arno coastal plain and three cores in the Modern Po Delta. To provide an accurate chronological framework, twenty-four organic-rich samples were collected along the fossil successions for radiocarbon dating (AMS 14C). In order to reconstruct the depositional and palaeoenvironmental evolution of the study areas, core data were combined with selected well logs, provided by local companies, along several stratigraphic sections. These sections revealed the presence of a transgressive-regressive (T-R) sequence, composing of continental, coastal and shallow-marine deposits dated to the Late Pleistocene-Holocene period, beneath the Arno coastal plain and the Modern Po Delta. Above the alluvial deposits attributed to the last glacial period, the post-glacial transgressive succession (TST) consists of back-barrier, transgressive barrier and inner shelf deposits. Peak of transgression (MFS) took place around the Late-Middle Holocene transition and was identified by subtle micropalaeontological indicators within undifferentiated fine-grained deposits. Upward a thick prograding succession (HST) records the turnaround to regressive conditions that led to a rapid delta progradation in both study areas. Particularly, the outbuilding of modern-age Po Delta coincides with mud-belt formation during the late HST (ca. 600 cal yr BP), as evidenced by a fossil microfauna similar to the foraminiferal assemblage observed in the present Northern Adriatic mud-belt. A complex interaction between allocyclic and autocyclic factors controlled facies evolution during the highstand period. The presence of local parameters and the absence of a predominant factor prevent from discerning or quantifying consequences of the complex relationships between climate and deltaic evolution. On the contrary transgressive sedimentation seems to be mainly controlled by two allocyclic key factors, sea-level rise and climate variability, that minimized the effects of local parameters on coastal palaeoenvironments. TST depositional architecture recorded in both study areas reflects a well-known millennial-scale variability of sea-level rising trend and climate during the Late glacial-Holocene period. Repeated phases of backswamp development and infilling by crevasse processes (parasequences) were recorded in the subsurface of Modern Po Delta during the early stages of transgression (ca. 11,000-9,500 cal yr BP). In the Arno coastal plain the presence of a deep-incised valley system, probably formed at OSI 3/2 transition, led to the development of a thick (ca. 35-40 m) transgressive succession composed of coastal plain, bay-head delta and estuarine deposits dated to the Last glacial-Early Holocene period. Within the transgressive valley fill sequence, high-resolution facies analyses allowed the identification and lateral tracing of three parasequences of millennial duration. The parasequences, ca. 8-12 meters thick, are bounded by flooding surfaces and show a typical internal shallowing-upward trend evidenced by subtle micropalaeontological investigations. The vertical stacking pattern of parasequences shows a close affinity with the step-like sea-level rising trend occurred between 14,000-8,000 cal years BP. Episodes of rapid sea-level rise and subsequent stillstand phases were paralleled by changes in climatic conditions, as suggested by pollen analyses performed on a core drilled in the proximal section of the Arno palaeovalley (pollen analyses performed by Dr. Marianna Ricci Lucchi). Rapid shifts to warmer climate conditions accompanied episodes of rapid sea-level rise, in contrast stillstand phases occurred during temporary colder climate conditions. For the first time the palaeoclimatic signature of high frequency depositional cycles is clearly documented. Moreover, two of the three "regressive" pulsations, recorded at the top of parasequences by episodes of partial estuary infilling in the proximal and central portions of Arno palaeovalley, may be correlated with the most important cold events of the post-glacial period: Younger Dryas and 8,200 cal yr BP event. The stratigraphic and palaeoclimatic data of Arno coastal plain and Po Delta were compared with those reported for the most important deltaic and coastal systems in the worldwide literature. The depositional architecture of transgressive successions reflects the strong influence of millennial-scale eustatic and climatic variability on worldwide coastal sedimentation during the Late glacial-Holocene period (ca. 14,000-7,000 cal yr BP). The most complete and accurate record of high-frequency eustatic and climatic events are usually found within the transgressive succession of very high accommodation settings, such as incised-valley systems where exceptionally thick packages of Late glacial-Early Holocene deposits are preserved.

Die Beziehung zwischen genetischem Polymorphismus von Populationen und Umweltvariabilität: Anwendung der Fitness-Set Theorie

Die Beziehung zwischen genetischem Polymorphismus von Populationen und Umweltvariabilität: Anwendung der Fitness-Set Theorie Das Quantitative Fitness-Set Modell (QFM) ist eine Erweiterung der Fitness-Set Theorie. Das QFM kann Abstufungen zwischen grob- und feinkörnigen regelmäßigen Schwankungen zweier Umwelten darstellen. Umwelt- und artspezifische Parameter, sowie die bewirkte Körnigkeit, sind quantifizierbar. Experimentelle Daten lassen sich analysieren und das QFM erweist sich in großen Populationen als sehr genau, was durch den diskreten Parameterraum unterstützt wird. Kleine Populationen und/oder hohe genetische Diversität führen zu Schätzungsungenauigkeiten, die auch in natürlichen Populationen zu erwarten sind. Ein populationsgrößenabhängiger Unschärfewert erweitert die Punktschätzung eines Parametersatzes zur Intervallschätzung. Diese Intervalle wirken in finiten Populationen als Fitnessbänder. Daraus ergibt sich die Hypothese, dass bei Arten, die in dichten kontinuierlichen Fitnessbändern leben, Generalisten und in diskreten Fitnessbändern Spezialisten evolvieren.Asynchrone Reproduktionsstrategien führen zur Bewahrung genetischer Diversität. Aus dem Wechsel von grobkörniger zu feinkörniger Umweltvariation ergibt sich eine Bevorzugung der spezialisierten Genotypen. Aus diesem Angriffspunkt für disruptive Selektion lässt sich die Hypothese Artbildung in Übergangsszenarien von grobkörniger zu feinkörniger Umweltvariation formulieren. Im umgekehrten Fall ist Diversitätsverlust und stabilisierende Selektion zu erwarten Dies ist somit eine prozessorientierte Erklärung für den Artenreichtum der (feinkörnigen) Tropen im Vergleich zu den artenärmeren, jahreszeitlichen Schwankungen unterworfenen (grobkörnigen) temperaten Zonen.

Weathering of Fe-bearing minerals under extraterrestrial conditions, investigated by Mössbauer spectroscopy

The weathering of Fe-bearing minerals under extraterrestrial conditions was investigated by Mössbauer (MB) spectroscopy to gain insights into the role of water on the planet Mars. The NASA Mars Exploration Rovers Spirit and Opportunity each carry a miniaturized Mössbauer spectrometer MIMOS II for the in situ investigation of Martian soils and rocks as part of their payload. The MER flight instruments had to be modified in order to work over the Martian diurnal temperature range (180 K – 290 K) and within the unique electronic environment of the rovers. The modification required special calibration procedures. The integration time necessary to obtain a good quality Mössbauer spectrum with the MIMOS II flight instruments was reduced by 30 % through the design of a new collimator. The in situ investigation of rocks along the rover Spirit's traverse in Gusev crater revealed weakly altered olivine basalt on the plains and pervasively altered basalt in the Columbia Hills. Correlation plots of primary Fe-bearing minerals identified by MB spectroscopy such as olivine versus secondary Fe-bearing phases such as nanophase Fe oxides showed that olivine is the mineral which is primarily involved in weathering reactions. This argues for a reduced availability of water. Identification of the Fe-oxyhydroxide goethite in the Columbia Hills is unequivocal evidence for aqueous weathering processes in the Columbia Hills. Experiments in which mineral powders were exposed to components of the Martian atmosphere showed that interaction with the atmosphere alone, in the absence of liquid water, is sufficient to oxidize Martian surface materials. The fine-grained dust suspended in the Martian atmosphere may have been altered solely by gas-solid reactions. Fresh and altered specimens of Martian meteorites were investigated with MIMOS II. The study of Martian meteorites in the lab helped to identify in Bounce Rock the first rock on Mars which is similar in composition to basaltic shergottites, a subgroup of the Martian meteorites. The field of astrobiology includes the study of the origin, evolution and distribution of life in the universe. Water is a prerequisite for life. The MER Mössbauer spectrometers identified aqueous minerals such as jarosite and goethite. The identification of jarosite was crucial to evaluate the habitability of Opportunity's landing site at Meridiani Planum during the formation of the sedimentary outcrop rocks, because jarosite puts strong constrains on pH levels. The identification of olivine in rocks and soils on the Gusev crater plains provide evidence for the sparsity of water under current conditions on Mars. Ratios of Fe2+/Fe3+ were obtained with Mössbauer spectroscopy from basaltic glass samples which were exposed at a deep sea hydrothermal vent. The ratios were used as a measure of potential energy for use by a microbial community. Samples from Mars analogue field sites on Earth exhibiting morphological biosignatures were also investigated.

Petrogenesis of dunite, wehrlite and websterite xenoliths from Kimberley, South Africa: Origin as mantle peridotites of cumulates

Dunite, wehrlite and websterite xenoliths occur amongst a large abundance of mantle xenoliths in kimberlites of the Kimberley cluster in South Africa. Up to know they have mostly been neglected. On the basis of texture, major and trace elements, oxygen isotopes as well as Re-Os isotope characteristics, they can be subdivided into two groups. A coarse-grained mantle peridotite group, comprising dunite, wehrlite and websterite xenoliths, that are similar to fertile peridotites and represent upper mantle assemblages that are differently influenced by mantle metasomatism. And a cumulate group, containing fine-grained Fe-rich dunite xenoliths that represent cumulates of flood basalt magmatism related to ~183 Ma Karoo and ~2.7 Ga Ventersdorp events in southern Africa. Dunite, wehrlite and websterite xenoliths have preserved a complex history of melt depletion and metasomatic re-enrichment events, which gives information about the different re-enrichment stages of the subcratonic lithospheric mantle and the spatial differences within the Kaapvaal craton upper mantle. Websterite xenoliths comprise orthopyroxene (40-85 Vol. %), clinopyroxene (5-42 Vol. %), garnet (4-10 Vol. %) and subordinately olivine, while dunite and wehrlite xenoliths contain predominantly olivine (65-100 Vol %) and subordinately orthopyroxene, clinopyroxene and garnet. High melt depletion and a dunitic to harzburgitic protolith composition are reflected by high forsterite (Fo90-92) and high olivine NiO contents (2800-5000 ppm) and high orthopyroxene Mg# (Mg/(Mg+Fe)) of 0.91-0.93. Re-depletion ages of predominantly 2.9 Ga reflect a minimum age of melt depletion. Melt depletion ceased in conjunction with collision of the Kimberley block with the Witwatersrand block ~2.9 Ga ago. Subduction related re-fertilisation of the previously depleted mantle xenoliths is documented by i) amoeboid textured orthopyroxene, clinopyroxene and garnet, which crystallized in schlieren along olivine grain boundaries, ii) high whole-rock SiO2, Al2O3, CaO, TiO2, FeO contents, iii) low oxygen isotope ratios in clinopyroxene and garnet of 4.8-5.4 ‰ and 4.7-5.3 ‰, respectively and iv) trace element compositions of wehrlitic clinopyroxene and garnet in equilibrium with high-pressure partial melts of eclogite. Trace element disequilibrium of orthopyroxene with clinopyroxene and garnet indicates a separate origin for orthopyroxene, on one side as primary mantle orthopyroxene in dunite and wehrlite xenoliths and on the other side as reaction product with Si-rich melts produced by partial melting of eclogite. This reaction triggered replacement of olivine by orthopyroxene in the surrounding mantle and produced the typical Si-rich composition of Kaapvaal mantle peridotites. Partial melting of eclogite at higher temperatures produced a second metasomatic melt with lower SiO2, but higher Al2O3, CaO, FeO, Ti, Zr, Hf and a low oxygen isotope ratio. This melt triggered clinopyroxene and locally garnet and rutile crystallization in percolation veins, replacing olivine and orthopyroxene in the Kaapvaal upper mantle. Additionally, websterite xenoliths have experienced late stage cryptic metasomatism by the host kimberlite melt, changing the trace element composition of clinopyroxene, orthopyroxene and garnet to different extent. Hence websterite and most fertile lherzolite xenoliths have experienced three metasomatic events: i) reaction with high-Si melt, ii) percolation of subduction related silica melt with lower SiO2 content and iii) cryptic metasomatism by kimberlite. In contrast, dunite and wehrlite xenoliths have only experienced the second metasomatic event. They represent mantle lithologies further away from metasomatising agents. The Fe-rich dunites comprise olivine neoblasts with subordinate olivine porphyroclasts and parallel-orientated needles of ilmenite, which may enclose spinel. The lower forsterite and NiO contents of olivine in Fe-rich dunites compared to mantle peridotite xenoliths (Fo87-89 vs. Fo93-95 and 1300-2800ppm vs. 2200-3900 ppm, respectively), rules out a restitic origin. Cr-rich spinels are remnants of the original cumulate mineralogy that survived a late stage metasomatic overprint related to the production of the host kimberlite, producing ilmenite and phlogopite in some samples. Olivine porphyroclasts and neoblasts have different trace element compositions, the latter having high Ti, V, Cr and Ni and low Zn, Zr and Nb contents, indicating contrasting origins for neoblasts and porphyroclasts. The dunites have high 187Os/188Os ratios (0.11-0.15) indicating young (Phanerozoic) model ages for most samples, whereas three samples show isotopic mixtures between Phanerozoic neoblasts and ancient porphyroclastic material. Most Fe-rich dunite xenoliths can be interpreted as cumulates of fractional crystallization of Karoo magmatism, whereas the porphyroclasts are interpreted to be remnants from the much earlier Archaean Ventersdorp magmatism.

Social learning and action understanding in human observers: contributions of sensori-motor constraints and prior information

The aim of this thesis was to investigate the respective contribution of prior information and sensorimotor constraints to action understanding, and to estimate their consequences on the evolution of human social learning. Even though a huge amount of literature is dedicated to the study of action understanding and its role in social learning, these issues are still largely debated. Here, I critically describe two main perspectives. The first perspective interprets faithful social learning as an outcome of a fine-grained representation of others’ actions and intentions that requires sophisticated socio-cognitive skills. In contrast, the second perspective highlights the role of simpler decision heuristics, the recruitment of which is determined by individual and ecological constraints. The present thesis aims to show, through four experimental works, that these two contributions are not mutually exclusive. A first study investigates the role of the inferior frontal cortex (IFC), the anterior intraparietal area (AIP) and the primary somatosensory cortex (S1) in the recognition of other people’s actions, using a transcranial magnetic stimulation adaptation paradigm (TMSA). The second work studies whether, and how, higher-order and lower-order prior information (acquired from the probabilistic sampling of past events vs. derived from an estimation of biomechanical constraints of observed actions) interacts during the prediction of other people’s intentions. Using a single-pulse TMS procedure, the third study investigates whether the interaction between these two classes of priors modulates the motor system activity. The fourth study tests the extent to which behavioral and ecological constraints influence the emergence of faithful social learning strategies at a population level. The collected data contribute to elucidate how higher-order and lower-order prior expectations interact during action prediction, and clarify the neural mechanisms underlying such interaction. Finally, these works provide/open promising perspectives for a better understanding of social learning, with possible extensions to animal models.

Automatic Deployment of Applications in the Cloud

In distributed systems like clouds or service oriented frameworks, applications are typically assembled by deploying and connecting a large number of heterogeneous software components, spanning from fine-grained packages to coarse-grained complex services. The complexity of such systems requires a rich set of techniques and tools to support the automation of their deployment process. By relying on a formal model of components, a technique is devised for computing the sequence of actions allowing the deployment of a desired configuration. An efficient algorithm, working in polynomial time, is described and proven to be sound and complete. Finally, a prototype tool implementing the proposed algorithm has been developed. Experimental results support the adoption of this novel approach in real life scenarios.

The language of others mirrored in thy face: The role of political affiliation in automatic facial effects of language

People tend to automatically mimic facial expressions of others. If clear evidence exists on the effect of non-verbal behavior (emotion faces) on automatic facial mimicry, little is known about the role of verbal behavior (emotion language) in triggering such effects. Whereas it is well-established that political affiliation modulates facial mimicry, no evidence exists on whether this modulation passes also through verbal means. This research addressed the role of verbal behavior in triggering automatic facial effects depending on whether verbal stimuli are attributed to leaders of different political parties. Study 1 investigated the role of interpersonal verbs, referring to positive and negative emotion expressions and encoding them at different levels of abstraction, in triggering corresponding facial muscle activation in a reader. Study 2 examined the role of verbs expressing positive and negative emotional behaviors of political leaders in modulating automatic facial effects depending on the matched or mismatched political affiliation of participants and politicians of left-and right-wing. Study 3 examined whether verbs expressing happiness displays of ingroup politicians induce a more sincere smile (Duchenne) pattern among readers of same political affiliation relative to happiness expressions of outgroup politicians. Results showed that verbs encoding facial actions at different levels of abstraction elicited differential facial muscle activity (Study 1). Furthermore, political affiliation significantly modulated facial activation triggered by emotion verbs as participants showed more congruent and enhanced facial activity towards ingroup politicians’ smiles and frowns compared to those of outgroup politicians (Study 2). Participants facially responded with a more sincere smile pattern towards verbs expressing smiles of ingroup compared to outgroup politicians (Study 3). Altogether, results showed that the role of political affiliation in modulating automatic facial effects passes also through verbal channels and is revealed at a fine-grained level by inducing quantitative and qualitative differences in automatic facial reactions of readers.

Roman aqueducts and calcareous sinter deposits as a proxy for environmental changes

Die im Süden der Türkei gelegen, antiken Städte Aspendos und Patara, waren in der Römerzeit zwei bedeutende Handelszentren mit hoher Bevölkerungsdichte. Aquädukte versorgten beide Städte mit carbonathaltigem Wasser, wobei sich Kalksinter (Calciumcarbonat) in der Kanalrinne ablagerte. Dabei lagern sich im Wechsel eine hellere und dunklere Kalksinterlage ab, die als Sinterpaar bezeichnet wird. Um die Entstehung dieser Sinterpaare besser zu verstehen, und die beteiligten Prozesse mit saisonalen Veränderungen der Umwelt zu korrelieren, werden in der vorliegenden Arbeit laminierten Sinterablagerungen mit geochemischen und petrographischen Methoden untersucht.rnEntlang der Kanalrinne beider Aquädukte wurden an mehreren Stellen Proben entnommen. Es wurde untersucht in wieweit sich die Sinterstruktur aufgrund von Änderungen in der Neigung des Wasserkanals oder des Kanaltyps ändert. Um die Kristallform und die kristallografische Orientierung der Kristalle innerhalb der verschiedenen Sinterpaare zu untersuchen, wurden die entnommenen laminierten Kalksinterablagerungen mit Hilfe optischer Mikroskopie und EBSD (Electron Backscatter Diffraction) analysiert. Der Electron Probe Micro-Analyzer (EPMA) wurde verwendet, um saisonale Schwankungen der Hauptelementverteilung und den Anteil der stabilen Isotope im Wasser zu bestimmen. Die LA-ICP-MS (Laser Ablation-induktiv gekoppeltem Plasma-Massenspektrometrie) Spurenelementanalyse wurde durchgeführt, um kleinste Schwankungen der Spurenelemente zu finden. Basierend auf diesen Analysen wurde festgestellt, dass laminierten Kalksinterablagerungen laterale Änderungen in der Aquäduktstruktur und -neigung, jahreszeitliche Änderungen der Wasserchemie, der Temperatur sowie der Entgasungsrate während eines Jahres widerspiegeln. Die Kalksinterablagerungen zeigen eine deutliche Laminierung in Form von feinkörnig-porösen und grobkörnig-dichten Schichten, die trockene und nasse Jahreszeiten anzeigen. Feinkörnige Schichten zeigen eine hohe Epifluoreszenz aufgrund reichhaltiger organischer Inhalte, die vermutlich eine Folge der bakteriellen Aktivität während der warmen und trockenen Jahreszeit sind. Stabile Sauerstoff und Kohlenstoff-Isotop-Kurven entsprechen auch den jahreszeitlichen Schwankungen der verschiedenen Schichtenpaare. Vor allem δ 18O spiegelt jährliche Veränderungen in der Temperatur und jahreszeitliche Veränderungen des Abflusses wieder. Das wichtigste Ergebnis ist, dass die Periodizität von δ 18O durch Erwärmen des Wassers im Wasserkanal und nicht durch die Verdunstung oder der Brunnenwasser-Charakteristik verursacht wird. Die Periodizität von δ 13C ist komplexer Natur, vor allem zeigen δ 18O und δ 13C eine Antikorrelation entlang der Lamellenpaare. Dies wird wohl vor allem durch Entgasungsprozesse im Aquädukt verursacht. Die Ergebnisse der Spurenelemente sind meist inkonsistent und zeigen keine signifikanten Veränderungen in den verschiedenen Lamellenpaaren. Die Isotope Mg, Sr und Ba zeigen hingegen bei einigen Proben eine positive Korrelation und erreichen Höchstwerte innerhalb feinkörnig-poröser Schichten. Auch sind die Hauptelementwerte von Fe, K, Si und anderer detritischer Elemente innerhalb der feinkörnige-porösen Schichten maximal. Eine genaue Datierung der Kalksinterablagerungen ist wünschenswert, da der Zeitraum, in dem die Aquädukte aktiv waren, bereits archäologisch auf 200-300 Jahre festgelegt wurde. Paläomagnetische und 14C-Datierung geben keine brauchbare Ergebnisse. Die U/Th Isotopie wird durch eine hohe Anfangskonzentration von Th in den Proben behindert. Trotz dieser Schwierigkeiten war eine U/Th Datierung an einem Testbeispiel des Béziers Aquädukt erfolgreich. Mit Hilfe von analogen Untersuchungen an aktiven Wasserkanälen der heutigen Zeit, werden die Ablagerungsmechanismen und die geochemische Entwicklung der laminierten Sinterschichten besser verstanden. Ein weiteres laufendes Projekt dieser Doktorarbeit ist die Überwachung von Sinterabscheidungen und der saisonale Zusammensetzung des Wassers an einigen heute noch aktiven Aquädukten. Das Ziel ist die Untersuchung der jetzigen Calciumcarbonatabscheidungen in Aquäduktkanälen unter den heutigen Umgebungsbedingungen. Erste Ergebnisse zeigen, dass kleine regelmäßige jahreszeitliche Veränderungen in der Isotopenzusammensetzung des Wassers vorliegen, und dass die beobachtete Periodizität der stabilen Isotope aufgrund von Änderungen im eigentlichen Kanal entstanden ist. Die Untersuchung von Kalksinterablagerungen in römischen Aquädukten liefern vielversprechende Ergebnisse, für die Untersuchung des Paläöklimas, der Archaeoseismologie und anderer Umweltbedingungen in der Römerzeit. Diese Studie beschränkt sich auf zwei Aquädukte. Die Untersuchungen weiterer Aquädukte und einer Überwachung, der noch in Betrieb stehenden Aquädukte werden genauere Ergebnisse liefern.