A Causal Model and a Declarative Programming Language for Concurrent Systems

This work presents an approach to the linguistic treatment of concurrent systems which has three main objectives: ffl Declarativity: Definition of (1) a model whose elements are mathematical values each of which represents a system, or a run of a system, in a direct and intuitive way; (2) a syntax whose expressions are mapped into the model by a denotational semantics. ffl Causality: Full modeling of the relevant computational phenomena, i.e., without losing parallelism (by interleaving) or interactions (by hiding of "internal" interactions). ffl Programming: As opposed to specification. In particular, provision of an operational semantics that is concrete enough to serve as the basis for language implementation. A model based on reflexive domains --- not power domains --- and a corresponding language incorporating typed lambda-calculus with recursion are introduced. Using the full power of functional programming, we can compositionally define so-called Concurrent Structures, which..

Is this a Patient or a Wall? - Adapting Robots from an Industrial Context to a Rehabilitation Clinic

An interview with the roboticists at the INTUITIV project. They talk about the challenges of redesigning a robot technology originally intended for industrial use with the aim of creating a robot assistant within the environment of a rehabilitation clinic

Deep crustal refraction and reflection seismics; crustal and sedimentary structures and geodynamic evolution of the West Antarctic continental margin and Pine Island

The RV Polarstern expedition ANTARKTIS-XXIII/4 (ANT-XXIII/4) began on 10 February 2006 from Punta Arenas returning on 11 April 2006. The main goal of the expedition was to study glaciomarine sedimentation and the evolution of the tectonic-geodynamic setting of the southern Amundsen Sea and Pine Island bay. Crustal and sedimentary structures on the West Antarctic continental margin and Pine Island were surveyed using deep crustal refraction and reflection seismic geophysical methods

Deep crustal refraction and reflection seismics. Crustal and sedimentary structures and geodynamic evolution of the West Antarctic continental margin and Pine Island

Accurate models of the geodynamic-tectonic evolution contain some of the most important parameters for understanding and reconstruction of the palaeo- environment. Geophysical surveys of the sedimentary sequences and the underlying basement of the shelf and slope of the southern Amundsen Sea, Pine Island Bay and its adjacent continental rise allow reconstructions of the formation of the tectonic and older sedimentary processes. The following objectives are addressed as part of a cooperative project between the Vernadsky Institute in Moscow (Dr. Gleb Udintsev) and AWI:• Identification of the boundaries between suspected crustal blocks and volcanic zones in Pine Island Bay. The glacier troughs and Pine Island Bay are thought to have developed along such tectonic boundaries.• During and after separation from the Chatham Rise and Campbell Plateau (New Zealand), the continental margin of Marie Byrd Land developed as a passive margin, probably accompanied by intensive volcanism. The question is whether this volcanism occurred mainly during the rifting process or during post-rift phases, or if it developed in relation to the West Antarctic rift system.• Recording of the sedimentary sequences across the shelf, slope and the continental rise, using deep reflection seismics, sub-bottom profiler (Parasound) and swath-bathymetry (Hydrosweep) in order to derive a sedimentation model.• Mapping of the acoustic basement and its structure with deep seismic reflection methods to obtain the tectonic geometries and boundary conditions necessary to understand sediment transport and depositional processes.info:eu-repo/semantics/publishe

Crustal and Sedimentary Structures and Geodynamic Evolution of the West Antarctic Continental Margin and Pine Island Bay

Since the last glacial maximum the West Antarctic Ice Sheet (WAIS) with a base mostly beneath the present-day sea-level has experienced dramatic volume changes within short periods of time. Studies are urgently required to show how these short-term variations are related to volume changes in the older geological past. Next to the ice drainage basins of the Weddell Sea and the Ross Embayment, Pine Island Bay forms the third-largest outflow area for the West Antarctic ice-shield. The main ice streams from the WAIS into Pine Island Bay flow through the Pine Island and Thwaites Glacier systems, through which most of the glacial-marine sediments onto the shelf of Pine Island Bay and across the continental slope into the deep sea have been transported. Geophysical surveys of the sedimentary sequences and the underlying basement of the shelf and slope of the southern Amundsen Sea, Pine Island Bay and its adjacent continental rise would allow reconstructions of the formation of the tectonic and older sedimentary processes as well as to find out about the history of large-scale glaciation in West Antarctica. Accurate models of the geodynamic- tectonic evolution contain some of the most important parameters for understanding and reconstruction of the palaeo-environment.info:eu-repo/semantics/publishe

Crustal and Sedimentary Structures and Geodynamic Evolution of the West Antarctic Continental Margin and Pine Island Bay

Since the last glacial maximum the West Antarctic Ice Sheet (WAIS) with a base mostly beneath the present-day sea-level has experienced dramatic volume changes within short periods of time. Studies are urgently required to show how these short-term variations are related to volume changes in the older geological past. Next to the ice drainage basins of the Weddell Sea and the Ross Embayment, Pine Island Bay forms the third-largest outflow area for the West Antarctic ice-shield. The main ice streams from the WAIS into Pine Island Bay flow through the Pine Island and Thwaites Glacier systems, through which most of the glacial-marine sediments onto the shelf of Pine Island Bay and across the continental slope into the deep sea have been transported. Geophysical surveys of the sedimentary sequences and the underlying basement of the shelf and slope of the southern Amundsen Sea, Pine Island Bay and its adjacent continental rise would allow reconstructions of the formation of the tectonic and older sedimentary processes as well as to find out about the history of large-scale glaciation in West Antarctica. Accurate models of the geodynamic- tectonic evolution contain some of the most important parameters for understanding and reconstruction of the palaeo-environment.info:eu-repo/semantics/publishe