Dissolution of calcium carbonate: observations and model results in the subpolar North Atlantic

We investigate the significance of in situ dissolution of calcium carbonate above its saturation horizons using observations from the open subpolar North Atlantic [sNA] and to a lesser extent a 3-D biogeochemical model. The sNA is particularly well suited for observation-based detections of in situ, i.e. shallow-depth CaCO3 dissolution [SDCCD] as it is a region of high CaCO3 production, deep CaCO3 saturation horizons, and precisely-defined pre-formed alkalinity. Based on the analysis of a comprehensive alkalinity data set we find that SDCCD does not appear to be a significant process in the open sNA. The results from the model support the observational findings by indicating that there is not a significant need of SDCCD to explain observed patterns of alkalinity in the North Atlantic. Instead our investigation points to the importance of mixing processes for the redistribution of alkalinity from dissolution of CaCO3 from below its saturation horizons. However, mixing has recently been neglected for a number of studies that called for SDCCD in the sNA and on global scale

Mechanical testing ontology for digital-twins: A roadmap based on EMMO

The enormous amount of materials data currently generated by high throughput experiments and computations poses a significant challenge in terms of data integration and sharing. A common ontology lays the foundation for solving this issue, enabling semantic interoperability of models, experiments, software and data which is vital for a more rational and efficient development of novel materials. This paper is based on the current efforts by the European Materials Modelling Council (EMMC) on establishing common standards for materials through the European Materials & Modelling Ontology (EMMO) and demonstrates the application of EMMO to the mechanical testing field. The focus of this paper is to outline the approach to develop EMMO compliant domain ontologies

Verification of State/Event Systems by Quotienting

A rather new approach towards compositional verification of concurrent systems is the quotient technique, where components are gradually removed from the concurrent system while transforming the specification accordingly. When the intermediate specifications can be kept small using heuristics for minimization, the state explosion problemis avoided and there are already promising experimental results for systems with an interleaving semantics, including real-time systems. This paper extends the quotienting approach to deal with a synchronous framework in the shape of state/event systems. A state/event system is a concurrent system with a set of interdependent components operating synchronously according to stimuli (input events) provided by an environment while producing output events in return for the environment. A compositional modal logic M suitable for expressing general safety and liveness properties subsystems is introduced. A quotient construction for building components from a state/event system into the specification is presented and heuristics for minimizing formulae are proposed. The techniques are demonstrated on an example. The correctness of the techniques are justified by proofs in an appendix

Dissolution of calcium carbonate: observations and model results in the North Atlantic

International audienceWe investigate the significance of in situ dissolution of calcium carbonate above its saturation horizons. The study relies on observations from the open subpolar North Atlantic [sNA] and on a 3-D biogeochemical model. The sNA is particularly well suited for observation-based detections of in situ, i.e. shallow depth CaCO3 dissolution [SDCCD] as it is a region of high CaCO3 production, deep CaCO3 saturation horizons, and precisely-defined pre-formed alkalinity. Based on the analysis of a comprehensive alkalinity data set we find that SDCCD does not appear to be a significant process in the open sNA. The results from the model support the observational findings and do not indicate a significant need of SDCCD to explain observed patterns of alkalinity in the North Atlantic. Instead our investigation points to the importance of mixing processes for the redistribution of alkalinity from dissolution of CaCO3 from below its saturation horizons. However, mixing has recently been neglected for a number of studies that called for SDCCD in the sNA and on global scale

Paisia, an Early Cretaceous eudicot angiosperm flower with pantoporate pollen from Portugal

A new fossil angiosperm, Paisia pantoporata, is described from the Early Cretaceous Catefica mesofossil flora, Portugal, based on coalified floral buds, flowers and isolated floral structures. The flowers are actinomorphic and structurally bisexual with a single whorl of five fleshy tepals, a single whorl of five stamens and a single whorl of five carpels. Tepals, stamens and carpels are opposite, arranged on the same radii and tepals are involute at the base clasping the stamens. Stamens have a massive filament that grades without a joint into the anther. The anthers are dithecate and tetrasporangiate with extensive connective tissue between the tiny pollen sacs. Pollen grains are pantoporate and spiny. The carpels are free, apparently plicate, with many ovules borne in two rows along the ventral margins. Paisia pantoporata is the oldest known flower with pantoporate pollen. Similar pantoporate pollen was also recognised in the associated dispersed palynoflora. Paisia is interpreted as a possibly insect pollinated, herbaceous plant with low pollen production and low dispersal potential of the pollen. The systematic position of Paisia is uncertain and Paisia pantoporata most likely belongs to an extinct lineage. Pantoporate pollen occurs scattered among all major groups of angiosperms and a close match to the fossils has not been identified. The pentamerous floral organisation together with structure of stamen, pollen and carpel suggests a phylogenetic position close to the early diverging eudicot lineages, probably in the Ranunculales.Swiss Light Source at the Paul Scherrer Institute (European Union FP6 projects) [20130185, 20141047]; Swedish Research Council [2014-5228]; Portuguese Science Foundation (FCT) [UID/MAR/00350/2013]; CretaCarbo project [PTDC/CTE-GIX/113983/2009

Relativistic quantum clocks

The conflict between quantum theory and the theory of relativity is exemplified in their treatment of time. We examine the ways in which their conceptions differ, and describe a semiclassical clock model combining elements of both theories. The results obtained with this clock model in flat spacetime are reviewed, and the problem of generalizing the model to curved spacetime is discussed, before briefly describing an experimental setup which could be used to test of the model. Taking an operationalist view, where time is that which is measured by a clock, we discuss the conclusions that can be drawn from these results, and what clues they contain for a full quantum relativistic theory of time.Comment: 12 pages, 4 figures. Invited contribution for the proceedings for "Workshop on Time in Physics" Zurich 201