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.

Holocene tsunami events in the Eastern Ionian Sea - Geoscientific evidence from Cefalonia and the western Peloponnese (Greece)

This study presents geo-scientific evidence for Holocene tsunami impact along the shores of the Eastern Ionian Sea. Cefalonia Island, the Gulf of Kyparissia and the Gialova Lagoon were subject of detailed geo-scientific investigations. It is well known that the coasts of the eastern Mediterranean were hit by the destructive influence of tsunamis in the past. The seismically highly active Hellenic Trench is considered as the most significant tsunami source in the Eastern Ionian Sea. This study focuses on the reconstruction and detection of sedimentary signatures of palaeotsunami events and their influence on the Holocene palaeogeographical evolution. The results of fine grained near coast geo-archives are discussed and interpreted in detail to differentiate between tsunami, storm and sea level highstands as sedimentation processes.rnA multi-method approach was applied using geomorphological, sedimentological, geochemical, geophysical and microfaunal analyses to detect Holocene tsunamigenic impact. Chronological data were based on radiocarbondatings and archaeological age estimations to reconstruct local geo-chronostratigraphies and to correlate them on supra-regional scales.rnDistinct sedimentary signatures of 5 generations of tsunami impact were found along the coasts of Cefalonia in the Livadi coastal plain. The results show that the overall coastal evolution was influenced by tsunamigenic impact that occured around 5700 cal BC (I), 4250 cal BC (II), at the beginning of the 2nd millennium cal BC (III), in the 1st millennium cal BC (IV) and posterior to 780 cal AD (V). Sea level reconstructions and the palaeogeographical evolution show that the local Holocene sea level has never been higher than at present.rnAt the former Mouria Lagoon along the Gulf of Kyparissia almost four allochtonous layers of tsunamigenic origin were identified. The stratigraphical record and palaeogeographical reconstructions show that major environmental coastal changes were linked to these extreme events. At the southern end of the Agoulenitsa Lagoon at modern Kato Samikon high-energy traces were found more than 2 km inland and upt ot 9 m above present sea level. The geo-chronological framework deciphered tsunami landfall for the 5th millennium cal BC (I), mid to late 2nd mill. BC (II), Roman times (1st cent. BC to early 4th cent. AD) (III) and most possible one of the historically well-known 365 AD or 521/551 AD tsunamis (IV).rnCoarse-grained allochthonous sediments of marine origin were found intersecting muddy deposits of the quisecent sediments of the Gialova Lagoon on the southwestern Peloponnese. Radiocarbondatings suggest 6 generations of major tsunami impact. Tsunami generations were dated to around 3300 cal BC (I), around the end of 4th and the beginning of 3rd millennium BC (II), after around 1100 cal BC (III), after the 4th to 2nd cent. BC (IV), between the 8th and early 15th cent. AD (V) and between the mid 14th to beginning of 15th cent. AD (VI). Palaeogeographical and morphological characteristics in the environs of the Gialova Lagoon were controlled by high-energy influence.rnSedimentary findings in all study areas are in good accordance to traces of tsunami events found all over the Ionian Sea. The correlation of geo-chronological data fits very well to coastal Akarnania, the western Peloponnese and finding along the coasts of southern Italy and the Aegean. Supra-regional influence of tsunamigenic impact significant for the investigated sites. The palaeogeographical evolution and palaeo-geomorphological setting of the each study area was strongly affected by tsunamigenic impact.rnThe selected geo-archives represent extraordinary sediment traps for the reconstruction of Holocene coastal evolution. Our result therefore give new insight to the exceptional high tsunami risk in the eastern Mediterranean and emphasize the underestimation of the overall tsunami hazard.

Replaying past changes in multi-developer projects

What was I working on before the weekend? and What were the members of my team working on during the last week? are common questions that are frequently asked by a developer. They can be answered if one keeps track of who changes what in the source code. In this work, we present Replay, a tool that allows one to replay past changes as they happened at a fine-grained level, where a developer can watch what she has done or understand what her colleagues have done in past development sessions. With this tool, developers are able to not only understand what sequence of changes brought the system to a certain state (e.g., the introduction of a defect), but also deduce reasons for why her colleagues performed those changes. One of the applications of such a tool is also discovering the changes that broke the code of a developer.

Hydraulic sustainability of soil-bentonite cutoff walls subjected to cyclic wetting and drying

This study investigated the effect of cyclic wetting and drying on the backfill used in soil-bentonite (SB) cutoff walls. For this purpose, model SB vertical cutoff wall backfills were prepared comprising of a fine grained mortar sand and 2% bentonite (by total weight) and 4% bentonite (by total weight). Results of the study indicate that the volume change is influenced by the bentonite content, that is, the increase in volume change increased with increasing bentonite content.

Flattening Traits

Traits are fine-grained components that can be used to compose classes, while avoiding many of the problems of multiple inheritance and mixin-based approaches. Since most implementations of traits have focused on dynamically-typed languages, the question naturally arises, how can one best introduce traits to statically-typed languages, like Java and C#?

Paleoenvironmental reconstructions from cave sediments of the Moravian Karst, Czech Republic / by Pavel Sroubek.

This thesis presents a paleoclimatic/paleoenvironmental study conducted on clastic cave sediments of the Moravian Karst, Czech Republic. The study is based on environmental magnetic techniques, yet a wide range of other scientific methods was used to obtain a clearer picture of the Quaternary climate. My thesis also presents an overview of the significance of cave deposits for paleoclimatic reconstructions, explains basic environmental magnetic techniques and offers background information on the study area – a famous karst region in Central Europe with a rich history. In Kulna Cave magnetic susceptibility variations and in particular variations in pedogenic susceptibility yield a detailed record of the palaeoenvironmental conditions during the Last Glacial Stage. The Kulna long-term climatic trends agree with the deep-sea SPECMAP record, while the short-term oscillations correlate with rapid changes in the North Atlantic sea surface temperatures. Kulna Cave sediments reflect the intensity of pedogenesis controlled by short-term warmer events and precipitation over the mid-continent and provide a link between continental European climate and sea surface temperatures in the North Atlantic during the Last Glacial Stage. Given the number of independent climate proxies determined from the entrance facies of the cave and their high resolution, Kulna is an extremely important site for studying Late Pleistocene climate. In the interior of Spiralka Cave, a five meter high section of fine grained sediments deposited during floods yields information on the climatic and environmental conditions of the last millenium. In the upper 1.5 meters of this profile, mineral magnetic and other non-magnetic data indicate that susceptibility variations are controlled by the concentration of magnetite and its magnetic grain size. Comparison of our susceptibility record to the instrumental record of winter temperature anomalies shows a remarkable correlation. This correlation is explained by coupling of the flooding events, cultivation of land and pedogenetic processes in the cave catchment area. A combination of mineral magnetic and geochemical proxies yields a detail picture of the rapidly evolving climate of the near past and tracks both natural and human induced environmental changes taking place in the broader region.

Geophysical and geological analysis of the Collingwood Member of the Trenton Formation

The Collingwood Member is a mid to late Ordovician self-sourced reservoir deposited across the northern Michigan Basin and parts of Ontario, Canada. Although it had been previously studied in Canada, there has been relatively little data available from the Michigan subsurface. Recent commercial interest in the Collingwood has resulted in the drilling and production of several wells in the state of Michigan. An analysis of core samples, measured laboratory data, and petrophysical logs has yielded both a quantitative and qualitative understanding of the formation in the Michigan Basin. The Collingwood is a low permeability and low porosity carbonate package that is very high in organic content. It is composed primarily of a uniformly fine grained carbonate matrix with lesser amounts of kerogen, silica, and clays. The kerogen content of the Collingwood is finely dispersed in the clay and carbonate mineral phases. Geochemical and production data show that both oil and gas phases are present based on regional thermal maturity. The deposit is richest in the north-central part of the basin with thickest deposition and highest organic content. The Collingwood is a fairly thin deposit and vertical fractures may very easily extend into the surrounding formations. Completion and treatment techniques should be designed around these parameters to enhance production.

Basic Information in the Granitic Rocks of the Boulder Batholith

Dark fine grained basic masses of rock are found in nearly every part of the Boulder Batholith, these commonly being referred to as inclusions, segregations, autoliths, and various other names. The origin, distribution, and composition of the dark inclusions form the basis for this report.

Model-Centric, Context-Aware Software Adaptation

Software must be constantly adapted to changing requirements. The time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation to long-term, coarse-grained evolution. Fine-grained, dynamic and context-dependent adaptations can be particularly difficult to realize in long-lived, large-scale software systems. We argue that, in order to effectively and efficiently deploy such changes, adaptive applications must be built on an infrastructure that is not just model-driven, but is both model-centric and context-aware. Specifically, this means that high-level, causally-connected models of the application and the software infrastructure itself should be available at run-time, and that changes may need to be scoped to the run-time execution context. We first review the dimensions of software adaptation and evolution, and then we show how model-centric design can address the adaptation needs of a variety of applications that span these dimensions. We demonstrate through concrete examples how model-centric and context-aware designs work at the level of application interface, programming language and runtime. We then propose a research agenda for a model-centric development environment that supports dynamic software adaptation and evolution.

A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only applications must evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time to changing contexts. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

A Calculus of Evolving Objects

The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only must applications evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment. How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees? To this end we present an original calculus in which objects can adapt their behaviour at run-time. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

The Role of Consciousness in Memory

Conscious events interact with memory systems in learning, rehearsal and retrieval (Ebbinghaus 1885/1964; Tulving 1985). Here we present hypotheses that arise from the IDA computional model (Franklin, Kelemen and McCauley 1998; Franklin 2001b) of global workspace theory (Baars 1988, 2002). Our primary tool for this exploration is a flexible cognitive cycle employed by the IDA computational model and hypothesized to be a basic element of human cognitive processing. Since cognitive cycles are hypothesized to occur five to ten times a second and include interaction between conscious contents and several of the memory systems, they provide the means for an exceptionally fine-grained analysis of various cognitive tasks. We apply this tool to the small effect size of subliminal learning compared to supraliminal learning, to process dissociation, to implicit learning, to recognition vs. recall, and to the availability heuristic in recall. The IDA model elucidates the role of consciousness in the updating of perceptual memory, transient episodic memory, and procedural memory. In most cases, memory is hypothesized to interact with conscious events for its normal functioning. The methodology of the paper is unusual in that the hypotheses and explanations presented are derived from an empirically based, but broad and qualitative computational model of human cognition.

Articulated Narrowcasting for Privacy and Awareness in Multimedia Conferencing Systems and Design for Implementation Within a SIP Framework

This article proposes a new focus of research for multimedia conferencing systems which allows a participant to flexibly select another participant or a group for media transmission. For example, in a traditional conference system, participants voices might by default be shared with all others, but one might want to select a subset of the conference members to send his/her media to or receive media from. We review the concept of narrowcasting, a model for limiting such information streams in a multimedia conference, and describe a design to use existing standard protocols (SIP and SDP) for controlling fine-grained narrowcasting sessions.