cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: The anisotropy of granites - First results of a systematic study of German felsic plutonites
Creators: name: Müller, Franz
name: Hallas, Peter
name: Kroner, Uwe
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Granites represent suitable crystalline host rocks for nuclear waste repositories because of their mechanical strength and apparent isotropy. However, all granites have a primary structural and petrophysical anisotropy that developed during the emplacement and crystallization of the melt. The primary anisotropy likely controls the orientation of post-magmatic structural features such as extensional fractures. This secondary anisotropy controls potential fluid pathways. Thus, a causal relationship between primary and secondary anisotropies could be an important constraint in terms of the site selection process. We present the first results of a systematic study of German felsic plutonites. We focus on samples of syn-variscan peraluminous granite plutons from two localities, namely the Fichtelgebirge and the Erzgebirge. These areas represent different tectonic settings during intrusion, i.e., compression and transtension, respectively. To estimate their primary anisotropy, we analyzed the crystallographic preferred orientation (CPO) of the rock-forming minerals. CPOs were measured using the neutron time-of-flight (ToF) texture diffractometer “SKAT” and electron backscatter diffraction (EBSD). Based on this data intrinsic bulk rock elastic properties are modeled. All granites show weak but distinct preferred orientations of the rock-forming minerals, which are coherent on a local scale. The quartz textures, for example, show similar CPOs, with point maxima of the positive rhombs combined with small-circle to crossed-girdle c-axis distributions. However, the orientation with respect to the geographic reference system strongly varies on a regional scale. We will discuss the CPOs regarding their tectonic setting and correlate the primary anisotropy with the post-magmatic fracture patterns of the particular granites.
Teaching Temporal Logics to Neural Networks
Creators: name: Hahn, Christopher
name: Schmitt, Frederik
name: Kreber, Jens U.
name: Rabe, Markus Norman
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as it is widely used in veriﬁcation. We train a Transformer on the problem to directly predict a solution, i.e. a trace, to a given LTL formula. The training data is generated with classical solvers, which, however, only provide one of many possible solutions to each formula. We demonstrate that it is sufﬁcient to train on those particular solutions to formulas, and that Transformers can predict solutions even to formulas from benchmarks from the literature on which the classical solver timed out. Transformers also generalize to the semantics of the logics: while they often deviate from the solutions found by the classical solvers, they still predict correct solutions to most formulas.
STEELWAR - Advanced structural solutions for automated STEEL rack supported WARehouses
Creators: name: , Walter
name: , Francesco
name: , Agnese
Publisher: name: Zenodo
Year: 2018

description: STEELWAR – Advanced structural solution for automated STEELrack supported WARehouses is a European Research Project funded by the Research Fund for Coal and Steel (RFCS) that aims at the definition of specific design rules for Automated Rack Supported Warehouses (ARSWs). These constructions are huge steel buildings where palletized goods are stored before distribution, and steel racks, where pallets are placed, also constitute the main structure of the warehouse. This makes ARSWs peculiar buildings with very distinctive and particular structural characteristics and needs, which make standards and limitations for steel structures hardly applicable.
 STEELWAR research project started on the 1st of July 2017 and was concluded on the 31st of March 2022. The research team is composed of Academic Partners, Industrial Partners (IP), and a company expert on the logistic field. The Academic Partners are: University of Pisa (which is also the coordinator of the project), FINCON consulting Italia S.r.l, National Technical University of Aachen, Rheinisch-Westfaelische Technische Hochschule Aachen, Hasselt University, University of Florence. The Industrial Partners are: Noega Systems S.L., Modulblok S.p.A., Sacma S.p.A., Nedcon B.V., Mecalux S.p.A. These IPs are companies that design, produce, and sell traditional racks and ARSWs at least all over Europe. The company expert in logistics is System Logistics S.p.A. Finally, SCL Ingegneria Strutturale is a subcontractor of Fincon expert in racks structures. One of the strongest points of the STEELWAR project is the participation of Industrial Partners. This gave continuous occasion of discussion and drove all the design proposals to the right direction in terms of industrial feasibility. For this reason, all the outcomes of STEELWAR project are surely applicable for practical purposes and provide a wide and reference pre-normative framework dedicated specifically to ARSWs, which till now is absent.
 Publications and any other aspects concerning the dissemination of results are here collected.
Teaching Temporal Logics to Neural Networks
Creators: name: C01chha
name: Schmitt, Frederik
name: Kreber, Jens U.
name: Rabe, Markus Norman
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as it is widely used in veriﬁcation. We train a Transformer on the problem to directly predict a solution, i.e. a trace, to a given LTL formula. The training data is generated with classical solvers, which, however, only provide one of many possible solutions to each formula. We demonstrate that it is sufﬁcient to train on those particular solutions to formulas, and that Transformers can predict solutions even to formulas from benchmarks from the literature on which the classical solver timed out. Transformers also generalize to the semantics of the logics: while they often deviate from the solutions found by the classical solvers, they still predict correct solutions to most formulas.
title: GEOTHERMAL FAVORABILITY MAPS FOR THE MEMBER COUNTRIES OF THE SICA REGION: A MAP OF OPPORTUNITIES
Creators: name: Alvarenga Zaldívar, Karla María
name: Menjívar Menjívar, Alejandra Tatiana
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
The Geothermal Heat Utilization in Industrial Processes in SICA Member Countries (GEO II) project, implemented by the Deutsche Gesellschaft für Internationale Zusammenarbeit (GIZ) GmbH on behalf of the German Federal Ministry for Economic Cooperation and Development (BMZ) for SICA, proposes a methodology for the elaboration of geothermal favorability maps for the member countries of the Central American Integration System (SICA). The methodology is a spatial analysis tool, based on a simple weighted overlay model that assigns a favorability index in the range of 0 to 10, with the objective of locating suitable sites to initiate the geothermal exploration stage. It considers geoscientific evidence defined as input criteria of the model, assuming that they indicate the probable presence of volcanic geothermal systems typical of the region. It is performed in Geographic Information Systems (GIS): QGIS and ArcGIS, through the stages: definition, derivation, transformation, and superposition. The model combines the transformed data, applying a weighted overlay to the geological, geochemical, and geophysical criteria, resulting in a raster surface that represents the suitability index, indicating the geothermal favorability for each country, allowing a comparison between them according to their variation in the input criteria.

Finally, an analysis stage, based on the comparison of the favorability map with the location of geothermal projects in the region to ensure that the result is a starting point for the identification of favorable areas in the exploration stage for the development of geothermal projects through a platform and database accessible at the regional scale of SICA.
Additional file 1 of Understanding the clinical reasoning processes involved in the management of multimorbidity in an ambulatory setting: study protocol of a stimulated recall research
Creators: name: Audétat, M.-C.
name: S. Cairo Notari
name: J. Sader
name: C. Ritz
name: T. Fassier
name: J. M. Sommer
name: M. Nendaz
name: N. Caire-Fon
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer

description: Additional file 1 Supplementary file 1. Semi-structured interview guide.
MOESM4 of Diagnostic value of serum soluble triggering expressed receptor on myeloid cells 1 (sTREM-1) in suspected sepsis: a meta-analysis
Creators: name: Chang, Wei
name: Peng, Fei
name: Meng, Shan-Shan
name: Xu, Jing-Yuan
name: Yang, Yi
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Hematology
subject: Computational Biology

description: Additional file 4. Sub-group analysis according to the cut-off values.
Additional file 1 of Adaptation and validation of a Korean-language version of the revised hospital survey on patient safety culture (K-HSOPSC 2.0)
Creators: name: Lee, Seung Eun
name: V. Susan Dahinten
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1: Supplemental Figure. Standardized parameter estimates for the factor structure of the K-HSOPSC 2.0.
Spin Path Integral And Quantum Mechanics In Rotating Reference of Frame
Creators: name: Chern, Tong
name: Ning, Wu
name: Yue, Yu
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: We developed a path integral formalism for the quantum mechanics in a rotating reference of frame, and proposed a spin path integral description for the spin degrees of freedom in it. We have also give some examples for the applications of our foramlism.
The GlueX Central Drift Chamber: Design and Performance
Creators: name: Van Haarlem, Y.
name: Meyer, C. A.
name: Barbosa, F.
name: Dey, B.
name: Lawrence, D.
name: Razmyslovich, V.
name: Smith, E.
name: Visser, G.
name: Whitlatch, T.
name: Wilkin, G.
name: Zihlmann, B.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: Tests and studies concerning the design and performance of the GlueX Central Drift Chamber (CDC) are presented. A full-scale prototype was built to test and steer the mechanical and electronic design. Small scale prototypes were constructed to test for sagging and to do timing and resolution studies of the detector. These studies were used to choose the gas mixture and to program a Monte Carlo simulation that can predict the detector response in an external magnetic field. Particle identification and charge division possibilities were also investigated.
description: 16 pages, 29 figures
PT invariant complex E(8) root spaces
Creators: name: Fring, Andreas
name: Smith, Monique
Publisher: name: arXiv
Year: 2010
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We provide a construction procedure for complex root spaces invariant under antilinear transformations, which may be applied to any Coxeter group. The procedure is based on the factorisation of a chosen element of the Coxeter group into two factors. Each of the factors constitutes an involution and may therefore be deformed in an antilinear fashion. Having the importance of the E(8)-Coxeter group in mind, such as underlying a particular perturbation of the Ising model and the fact that for it no solution could be found previously, we exemplify the procedure for this particular case. As a concrete application of this construction we propose new generalisations of Calogero-Moser Sutherland models and affine Toda field theories based on the invariant complex root spaces and deformed complex simple roots, respectively.
description: 9 pages
Additional file 1 of Promoting social capital, self-management and health literacy in older adults through a group-based intervention delivered in low-income urban areas: results of the randomized trial AEQUALIS
Creators: name: Alias, Sergi Blancafort
name: Nadal, Rosa Monteserín
name: Moral, Irene
name: Fígols, Marta Roqué
name: Luque, Xavier Rojano I
name: Coll-Planas, Laura
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1.
title: Geochemical detection of minor hydrocarbon seepage in marine subsurface sediments
Creators: name: Schnabel, Ellen
name: Kallmeyer, Jens
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
All hydrocarbon reservoirs leak slightly. At sites with only minor leakage the hydrocarbons (HC) infiltrating the sediment from below are completely metabolized before reaching the sediments surface due to microbial activity, thus not creating any surface manifestations, e.g. seeps. Nevertheless, the HC influx will change geochemistry as well as microbial community composition and activity in the affected area because electron donors are added into the system. The PROSPECTOMIS project wants to detect these changes to develop a minimally invasive and low-cost tool do detect HC reservoirs using omics and geochemistry techniques.

In November 2021 we recovered fifty 2-3 m long sediment cores from three minor HC seepage zones and two non-seepage reference zones in the southern Barents Sea and sampled sediment and pore water with high spatial resolution.

While Fourier-transform ion cyclotron resonance mass spectrometry and cell abundances did not show any differences between HC seepage zones and reference zones, multiple pore water concentration profiles e.g. for Manganese, Calcium, Silicon, Strontium, Sulfide revealed differences.  Also, higher fluxes of sulfate and alkalinity in HC zones indicate that the sink for sulfate and the source of alkalinity must be shallower in HC zones, most probably caused by anaerobic oxidation of methane (AOM) below the sampled depth interval. Linear sulfate pore water profiles indicate no net turnover of sulfate. Nevertheless, we observed low rates of sulfate reduction using radiotracer incubations, mostly in HC zones.

Combining these parameters with multi-omics datasets will reveal potential indicators for minimal HC seepage.
Deep Learning for Temporal Logics
Creators: name: Schmitt, Frederik
name: Hahn, Christopher
name: Kreber, Jens U.
name: Rabe, Markus N.
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: Temporal logics are a well established formal specification paradigm to specify the behavior of systems, and serve as inputs to industrial-strength verification tools. We report on current advances in applying deep learning to temporal logical reasoning tasks, showing that models can even solve instances where competitive classical algorithms timed out.
Angular integrals in d dimensions
Creators: name: Somogyi, Gabor
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We discuss the evaluation of certain d dimensional angular integrals which arise in perturbative field theory calculations. We find that the angular integral with n denominators can be computed in terms of a certain special function, the so-called H-function of several variables. We also present several illustrative examples of the general result and briefly consider some applications.
description: 30 pages, discussion slightly extended by mentioning the existence of contiguous relations for H-functions, new references added
Narrowband Biphoton Generation due to Long-Lived Coherent Population Oscillations
Creators: name: Sharypov, A. V.
name: Wilson-Gordon, A. D.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We study the generation of paired photons due to the effect of four-wave mixing in an ensemble of pumped two-level systems that decay via an intermediate metastable state. The slow population relaxation of the metastable state to the ground state is utilized to create long-lived coherent population oscillation, leading to narrowband nonlinear response of the medium. The biphotons have a narrow bandwidth, long coherence time and length, which can be controlled by the pump field. In addition, the biphotons are antibunched, with antibunching period determined by the dephasing time. During this period, damped oscillations of the biphoton wavefunction occurs if the pump detuning is non-zero.
description: 7 pages, 2 figures
Deep Learning for Temporal Logics
Creators: name: Schmitt, Frederik
name: C01chha
name: Kreber, Jens U.
name: Rabe, Markus N.
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: Temporal logics are a well established formal specification paradigm to specify the behavior of systems, and serve as inputs to industrial-strength verification tools. We report on current advances in applying deep learning to temporal logical reasoning tasks, showing that models can even solve instances where competitive classical algorithms timed out.
Additional file 2 of Children’s outdoor active mobility behaviour and neighbourhood safety: a systematic review in measurement methods and future research directions
Creators: name: Zougheibe, Roula
name: Jianhong (Cecilia) Xia
name: Dewan, Ashraf
name: Gudes, Ori
name: Norman, Richard
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Science Policy
subject: Sociology
subject: FOS: Sociology

description: Additional file 2. Details of included and excluded criteria. Details of used search key terms. The methodological quality assessment criteria used to appraise each study, including table 1 showing a list of criteria that each study was assessed against. Table 2 shows details of each total study score, the percentage accumulated, and the assigned level of quality (Robust, fair and weak).
Additional file 1 of Children’s outdoor active mobility behaviour and neighbourhood safety: a systematic review in measurement methods and future research directions
Creators: name: Zougheibe, Roula
name: Jianhong (Cecilia) Xia
name: Dewan, Ashraf
name: Gudes, Ori
name: Norman, Richard
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Science Policy
subject: Sociology
subject: FOS: Sociology

description: Additional file 1. PRISMA checklist.
Strong magnetohydrodynamic turbulence with cross helicity
Creators: name: Perez, Jean Carlos
name: Boldyrev, Stanislav
Publisher: name: arXiv
Year: 2010
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Fluid Dynamics (physics.flu-dyn)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Magnetohydrodynamics (MHD) provides the simplest description of magnetic plasma turbulence in a variety of astrophysical and laboratory systems. MHD turbulence with nonzero cross helicity is often called imbalanced, as it implies that the energies of Alfvén fluctuations propagating parallel and anti-parallel the background field are not equal. Recent analytical and numerical studies have revealed that at every scale, MHD turbulence consists of regions of positive and negative cross helicity, indicating that such turbulence is inherently locally imbalanced. In this paper, results from high resolution numerical simulations of steady-state incompressible MHD turbulence, with and without cross helicity are presented. It is argued that the inertial range scaling of the energy spectra (E^+ and E^-) of fluctuations moving in opposite directions is independent of the amount of cross-helicity. When cross helicity is nonzero, E^+ and E^- maintain the same scaling, but have differing amplitudes depending on the amount of cross-helicity.
description: To appear in Physics of Plasmas
Using population dynamics to uncover key barriers and signals involved in enteric infection
Creators: name: Woodward, Sarah E.
Publisher: name: University of British Columbia
Year: 2025

description: The gastrointestinal environment plays a critical role in shaping enteric infections. Host environmental factors create ‘bottlenecks’ which are restrictive events that can control the size and genetic diversity of invading bacterial populations. Despite this, little is known about the extent to which bacterial pathogens encounter bottlenecks, where bottlenecks occur, or how these events impact the pathogen founding population size (Nb′). I explored the population dynamics of murine gastrointestinal pathogen Citrobacter rodentium, a well-established model for human pathogenic Escherichia coli infection. To investigate bottlenecks, I created a library of 2,000+ isogenic but uniquely-tagged C. rodentium through the insertion of genomic barcodes. Following infection of mice, sequencing of recovered barcodes allowed for the quantification of population size. An average Nb′ of only 12-43 individual lineages was found across all timepoints and intestinal sites. We further identified passage through the stomach and intestinal escape to the systemic organs as major bottleneck events. These data demonstrate the effectiveness of bottlenecks in host protection, such that even highly adapted pathogens are subject to significant population loss. To fully appreciate their impact during infection, I manipulated key host protective bottlenecks caused by gastric acid and microbiota colonization. In both cases pathogen Nb′ increased (up to 6.8-fold and 35-fold following antacid treatment and treatment with the antibiotic vancomycin, respectively), as did host morbidity and mortality. Following host vancomycin treatment the differential abundance of growth-altering metabolites and commensal microbes which benefit pathogen colonization likely allows for lowered inter- and intra-species competition within the gut and promotes colonization by diverse pathogen lineages. Such environmental changes highlight the need for enteric pathogens to sense and respond to numerous environmental signals for successful intestinal navigation, demonstrating fluid regulation of bacterial processes even under typical infection conditions. Having established extreme pH as a barrier to infection, I further demonstrated that regional intestinal pH fluctuations are a signal of intestinal geography for invading pathogens, influencing C. rodentium growth, epithelial attachment and virulence. Altogether, the data presented in this thesis furthers our understanding of bottleneck events during enteric infection, demonstrating their potential to impact pathogen fitness and thereby the overall population-level diversity of epidemics.
title: Seepage of natural hydrogen: geochemical uncertainties and the need of a holistic approach
Creators: name: Etiope, Giuseppe
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Natural hydrogen (H2) exploration is particularly focused on surface emissions (seeps) and soil-gas prospections, similar to early petroleum reservoir explorations. However, defining the amount of H2 at the surface that indicates a potentially economic resource is impossible, and identifying its origin is challenging due to the fact that geological H2 concentrations and isotopic composition can overlap with the in-situ biological signature. The potential for H2 generation in surface environments as a result of microorganisms, corrosion of iron particles or minerals, or even drilling (artificial H2) must be extensively evaluated. Despite these limitations, similarities to hydrocarbon systems suggest that certain seeps, which typically occur in correspondence with faults, are an expression of advection (not diffusion), driven by pressure gradients, and thus can disclose the existence of pressurized pools (Etiope, 2023). The fluid dynamics of gas seeps can therefore reveal the nature of the H2 supply system. Comparing seep flux rates with potential H2 generation rates, either via radiolysis or serpentinization, is a fundamental exercise for determining whether the H2 system must include a reservoir, similar to conventional natural gas systems, or if the H2 observed at the surface originates from continuous flow crossing short-term accumulations or directly from the source rock, as some scholars have hypothesized. However, analyses of the gases associated with H2 (such as CO2, CH4, N2 and He) are always advised. Assessing the potential of a geological H2 resource necessitates a holistic approach that integrates multiple geochemical, ecosystem, and geological data.

References

Etiope G., (2023) https://doi.org/10.1016/j.ijhydene.2022.12.025
Mode identification from monochromatic amplitude and phase variations for the rapidly pulsating subdwarf B star EC 20338-1925
Creators: name: Randall, S. K.
name: Fontaine, G.
name: Brassard, P.
name: Van Grootel, V.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We obtain time-series spectrophotometry observations at the VLT with the aim of partially identifying the dominant oscillation modes in the rapidly pulsating subdwarf B star EC 20338-1925 on the basis of monochromatic amplitude and phase variations. From the data gathered, we detect four previously known pulsations with periods near 147, 168, 126 and 140 s and amplitudes between 0.2 and 2.3 % of the star's mean brightness. We also determine the atmospheric parameters of EC 20338-1925 by fitting our non-LTE model atmospheres to an averaged combined spectrum. The inferred parameters are Teff = 34,153+-94 K, log g =5.966+-0.017 and log[N(He)/N(H)] = - 1.642+-0.022, where the uncertainty estimates quoted refer to the formal fitting errors. Finally, we calculate the observed monochromatic amplitudes and phases for the periodicities extracted using least-squares fitting to the light curves obtained for each wavelength bin. These observed quantities are then compared to the corresponding theoretical values computed on the basis of dedicated model atmosphere codes and also taking into account non-adiabatic effects. We find that the quality of the data is sufficient to identify the dominant pulsation at 146.9 s as a radial mode, while two of the lower amplitude periodicities must be low-degree modes with l=0-2. This is the first time that monochromatic amplitudes and phases have been used for mode identification in a subdwarf B star, and the results are highly encouraging.
description: 11 pages. Accepted for publication in Astronomy & Astrophysics
Runtime Enforcement of Hyperproperties
Creators: name: Coenen, Norine
name: Finkbeiner, Bernd
name: Hahn, Christopher
name: Hofmann, Jana
name: Schillo, Yannick
Publisher: name: CISPA
Year: 2023

description: An enforcement mechanism monitors a reactive system for
undesired behavior at runtime and corrects the system’s output in case it violates the given specification. In this paper, we study the enforcement problem for hyperproperties, i.e., properties that relate multiple computation traces to each other. We elaborate the notion of sound and transparent enforcement mechanisms for hyperproperties in two trace
input models: 1) the parallel trace input model, where the number of traces is known a-priori and all traces are produced and processed in parallel and 2) the sequential trace input model, where traces are processed sequentially and no a-priori bound on the number of traces is known. For both models, we study enforcement algorithms for specifications given as formulas in universally quantified HyperLTL, a temporal
logic for hyperproperties. For the parallel model, we describe an enforcement mechanism based on parity games. For the sequential model, we show that enforcement is in general undecidable and present algorithms for reasonable simplifications of the problem (partial guarantees or the
restriction to safety properties). Furthermore, we report on experimental results of our prototype implementation for the parallel model.
Tomographic reconstruction of the Wigner function on the Bloch sphere
Creators: name: Schmied, Roman
name: Treutlein, Philipp
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a filtered backprojection algorithm for reconstructing the Wigner function of a system of large angular momentum j from Stern-Gerlach-type measurements. Our method is advantageous over the full determination of the density matrix in that it is insensitive to experimental fluctuations in j, and allows for a natural elimination of high-frequency noise in the Wigner function by taking into account the experimental uncertainties in the determination of j, its projection m, and the quantization axis orientation. No data binning and no arbitrary smoothing parameters are necessary in this reconstruction. Using recently published data [Riedel et al., Nature 464:1170 (2010)] we reconstruct the Wigner function of a spin-squeezed state of a Bose-Einstein condensate of about 1250 atoms, demonstrating that measurements along quantization axes lying in a single plane are sufficient for performing this tomographic reconstruction. Our method does not guarantee positivity of the reconstructed density matrix in the presence of experimental noise, which is a general limitation of backprojection algorithms.
description: 16 pages, 6 figures; minor modifications
Project Summary: Integrating Horticultural and Arable Land Use Options into Hill Country Farm Systems
Creators: name: Dickey, Delwyn
Publisher: name: AgResearch
Year: 2024
Subjects: classificationCode: 3002
subject: Agriculture, land and farm management

description: This article summarises the results of a Rural Professionals Fund project that aimed to develop a process and tools to help farmers select different crops to integrate into hill country farms. All text in this article is licensed for re-use under Creative Commons Attribution 4.0 International (CC BY 4.0).
Various types of phase transitions in the AdS soliton background
Creators: name: Peng, Yan
name: Pan, Qiyuan
name: Wang, Bin
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study the basic holographic insulator and superconductor phase transition in the AdS soliton background by generalizing the spontaneous breaking of a global U(1) symmetry to occur via St$\ddot{u}$ckelberg mechanism. We construct the soliton solutions with backreaction and examine the effects of the backreaction on the condensation of the scalar hair in the generalized St$\ddot{u}$ckelberg Lagrangian. We disclose rich physics in various phase transitions. In addition to the AdS soliton configuration, we also examine the property of the phase transition in the AdS black hole background.
description: 11 pages, accepted for publication in Phys.Lett.B
title: Mineral biosignatures record pore water geochemistry during microbial diagenesis - modern Lake Towuti as a ferruginous case study
Creators: name: Vuillemin, Aurèle
name: Friese, André
name: Ruiz Blas, Fatima
name: Paskin, Alice
name: Henny, Cynthia
name: Morlock, Marina
name: Vogel, Hendrik
name: Kallmeyer, Jens
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Ferruginous conditions prevailed in the oceans through much of Earth’s history. However, past biogeochemical cycling inferred from mineral components identified in ancient iron formations remain poorly understood in terms of microbial processes prior to lithification. In Lake Towuti, Indonesia, ferruginous sediments sink through a stratified water column and are deposited under anoxic conditions that mimic the Earth’s early oceans, thereby allowing the study of both geochemical conditions in pore waters and long-term diagenetic evolution of its 1 Ma stratigraphic record.

We combined detailed pore water geochemistry and stratigraphic proxies with scanning electron microscopy imaging of authigenic phases. Although variability in elemental profiles attests to climate- and tectonic-driven processes along the 100-m-long sediment sequence, deposition of ferruginous minerals appears transient as particulate iron, reworked from surrounding lateritic soils, undergoes partial dissolution-precipitation during sinking and after burial. Minerals found to form in situ included magnetite (Fe3O4), millerite (NiS), siderite (FeCO3) and vivianite (Fe3[PO4]2 ∙ 8H2O). Acicular millerite aggregates overgrown by siderite and vivianite indicate that they directly precipitated from saturated pore waters (Ostwald ripening). This also suggests that these mineral phases may constitute a diagenetic sequence stemming from the progressive consumption of terminal electron acceptors with sediment organic matter remineralization during shallow burial. Thus, we consider that these minerals act as biosignatures of redox processes driven by autochthonous sedimentary microbial populations that actively control pore water geochemistry after deposition, thereby differentially imprinting the stratigraphy of bulk sediment during burial.
Política de Gestão, Compartilhamento e Abertura de Dados para Pesquisa da Fiocruz: capítulos de uma caminhada
Creators: name: Lopes, Ana Beatriz Aguiar Slaibi
name: Jorge, Vanessa de Arruda
name: Martins, Maria de Fátima Moreira
Publisher: name: Zenodo
Year: 2021

description: Apresentação realizada na sessão Pecha Kucha I da 12ª Conferência Luso-Brasileira de Ciência Aberta, formato híbrido, de 13 a 15 de outubro de 2021.
Runtime Enforcement of Hyperproperties
Creators: name: Coenen, Norine
name: Finkbeiner, Bernd
name: C01chha
name: Hofmann, Jana
name: Schillo, Yannick
Publisher: name: CISPA
Year: 2023

description: An enforcement mechanism monitors a reactive system for
undesired behavior at runtime and corrects the system’s output in case it violates the given specification. In this paper, we study the enforcement problem for hyperproperties, i.e., properties that relate multiple computation traces to each other. We elaborate the notion of sound and transparent enforcement mechanisms for hyperproperties in two trace
input models: 1) the parallel trace input model, where the number of traces is known a-priori and all traces are produced and processed in parallel and 2) the sequential trace input model, where traces are processed sequentially and no a-priori bound on the number of traces is known. For both models, we study enforcement algorithms for specifications given as formulas in universally quantified HyperLTL, a temporal
logic for hyperproperties. For the parallel model, we describe an enforcement mechanism based on parity games. For the sequential model, we show that enforcement is in general undecidable and present algorithms for reasonable simplifications of the problem (partial guarantees or the
restriction to safety properties). Furthermore, we report on experimental results of our prototype implementation for the parallel model.
Towards Normal Forms for GHZ/W Calculus
Creators: name: Roy, Shibdas
Publisher: name: arXiv
Year: 2011
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Quantum Physics (quant-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: Recently, a novel GHZ/W graphical calculus has been established to study and reason more intuitively about interacting quantum systems. The compositional structure of this calculus was shown to be well-equipped to sufficiently express arbitrary mutlipartite quantum states equivalent under stochastic local operations and classical communication (SLOCC). However, it is still not clear how to explicitly identify which graphical properties lead to what states. This can be achieved if we have well-behaved normal forms for arbitrary graphs within this calculus. This article lays down a first attempt at realizing such normal forms for a restricted class of such graphs, namely simple and regular graphs. These results should pave the way for the most general cases as part of future work.
description: 8 pages. AIP format. To appear in AIP proceedings of the International Symposium on "75 Years of Quantum Entanglement: Foundations and Information Theoretic Applications", January 6-10, 2011, Kolkata, India
Inverses, Powers and Cartesian products of topologically deterministic maps
Creators: name: Hochman, Michael
name: Siemaszko, Artur
Publisher: name: arXiv
Year: 2010
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 37B40, 54H20

description: We show that if (X,T) is a topological dynamical system with is deterministic in the sense of Kamiski, Siemaszko and Szymaski then T^{-1} and the product system need not be determinstic in this sense. However if the product system is deterministic then T^n is deterministic for all integers n>0.
description: 8 pages, 1 figure
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Creators: name: Horak, Tom
name: Coenen, Norine
name: Metzger, Niklas
name: Hahn, Christopher
name: Flemisch, Tamara
name: Méndez, Julián
name: Dimov, Dennis
name: Finkbeiner, Bernd
name: Dachselt, Raimund
Publisher: name: CISPA
Year: 2023

description: Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneous behavior is returned. Understanding these counterexamples is challenging, especially for hyperproperty specifications, i.e., specifications that relate multiple executions of a system to each other. We aim to facilitate the visual analysis of such counterexamples through our HYPERVIS tool, which provides interactive visualizations of the given model, specification, and counterexample. Within an iterative and interdisciplinary design process, we developed visualization solutions that can effectively communicate the core aspects of the model checking result. Specifically, we introduce graphical representations of binary values for improving pattern recognition, color encoding for better indicating related aspects, visually enhanced textual descriptions, as well as extensive cross-view highlighting mechanisms. Further, through an underlying causal
analysis of the counterexample, we are also able to identify values that contributed to the violation and use this knowledge for both improved encoding and highlighting. Finally, the analyst can modify both the specification of the hyperproperty and the system directly within HYPERVIS and initiate the model checking of the new version. In combination, these features notably support the analyst in
understanding the error leading to the counterexample as well as iterating the provided system and specification. We ran multiple case studies with HYPERVIS and tested it with domain experts in qualitative feedback sessions. The participants’ positive feedback confirms the considerable improvement over the manual, text-based status quo and the value of the tool for explaining hyperproperties.
Using ensemble learners and deep learning for analyzing the compressive strength of geopolymer concrete
Creators: name: Al-Saggaf, Ahmed
Publisher: name: University of British Columbia
Year: 2024

description: Geopolymer is a strong candidate to replace ordinary portland cement (OPC) as a binder for construction, and geotechnical applications. The primary application of OPC is the most used construction material which is concrete. The compressive strength is a primary property of concrete. This mechanical property distinguishes concrete as it is significantly higher than other properties such as tensile strength. There are two primary constituents of a geopolymer which are a solid precursor, and an alkali activator solution. There are other parameters influencing the degree of reaction between these two constituents such as precursor composition, curing conditions, aggregate proportion, and testing period. Researchers tried to measure the correlation between the compressive strength and geopolymer synthesis parameters. The used methodologies include the conventional method of testing a parameter with the others being fixed. There were disagreements about the degree of influence of each variable that made it necessary to use multivariate analysis. Taguchi method and some machine learning models utilize multivariate systems to measure variable influence and design optimization. Disagreements were still found between studies utilizing these methods. This study analyzes data from peer-reviewed journals from different places around the world. The analyses involve preprocessing of synthesis parameters and the compressive strength of geopolymer concrete. Then, different supervised learning algorithms including, MARS, ensemble learning, and deep learning were used for building robust strength prediction models. Hyper-parameter tuning is performed for each model to improve the predictive accuracy. Ten-fold cross-validation was used to ensure bias reduction for models. The effect of the chosen hyper-parameters on the performance of the model is analyzed in terms of the quality of training, and generalization. Further evaluation was performed with sensitivity analyses to measure the influence of synthesis parameters as explanatory variables. This step is followed by training models with a selected number of synthesis parameters divided into subsets to see the reflection on the accuracy. These subsets of variables are chosen based on variable influence analysis and then used to build refined models. These refined models are built to see the effect of reducing variables on predictive accuracy with different algorithms.
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Creators: name: Horak, Tom
name: Coenen, Norine
name: Metzger, Niklas
name: C01chha
name: Flemisch, Tamara
name: Méndez, Julián
name: Dimov, Dennis
name: Finkbeiner, Bernd
name: Dachselt, Raimund
Publisher: name: CISPA
Year: 2023

description: Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneous behavior is returned. Understanding these counterexamples is challenging, especially for hyperproperty specifications, i.e., specifications that relate multiple executions of a system to each other. We aim to facilitate the visual analysis of such counterexamples through our HYPERVIS tool, which provides interactive visualizations of the given model, specification, and counterexample. Within an iterative and interdisciplinary design process, we developed visualization solutions that can effectively communicate the core aspects of the model checking result. Specifically, we introduce graphical representations of binary values for improving pattern recognition, color encoding for better indicating related aspects, visually enhanced textual descriptions, as well as extensive cross-view highlighting mechanisms. Further, through an underlying causal
analysis of the counterexample, we are also able to identify values that contributed to the violation and use this knowledge for both improved encoding and highlighting. Finally, the analyst can modify both the specification of the hyperproperty and the system directly within HYPERVIS and initiate the model checking of the new version. In combination, these features notably support the analyst in
understanding the error leading to the counterexample as well as iterating the provided system and specification. We ran multiple case studies with HYPERVIS and tested it with domain experts in qualitative feedback sessions. The participants’ positive feedback confirms the considerable improvement over the manual, text-based status quo and the value of the tool for explaining hyperproperties.
The Majority of Compact Massive Galaxies at z~2 are Disk Dominated
Creators: name: van der Wel, Arjen
name: Rix, Hans-Walter
name: Wuyts, Stijn
name: McGrath, Elizabeth J.
name: Koekemoer, Anton M.
name: Bell, Eric F.
name: Holden, Bradford P.
name: Robaina, Aday R.
name: McIntosh, Daniel H.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We investigate the stellar structure of massive, quiescent galaxies at z~2, based on Hubble Space Telescope/WFC3 imaging from the Early Release Science program. Our sample of 14 galaxies has stellar masses of M* > 10^{10.8} Msol and photometric redshifts of 1.5 < z < 2.5. In agreement with previous work, their half-light radii are <2 kpc, much smaller than equally massive galaxies in the present-day universe. A significant subset of the sample appears highly flattened in projection, which implies, considering viewing angle statistics, that a significant fraction of the galaxies in our sample have pronounced disks. This is corroborated by two-dimensional surface brightness profile fits. We estimate that 65% +/- 15% of the population of massive, quiescent z~2 galaxies are disk-dominated. The median disk scale length is 1.5 kpc, substantially smaller than the disks of equally massive galaxies in the present-day universe. Our results provide strong observational evidence that the much-discussed ultra-dense high-redshift galaxies should generally be thought of as disk-like stellar systems with the majority of stars formed from gas that had time to settle into a disk.
description: published version
Additional file 1 of Stroke follow-up in primary care: a discourse study on the discharge summary as a tool for knowledge transfer and collaboration
Creators: name: Pedersen, Rune Aakvik
name: Petursson, Halfdan
name: Hetlevik, Irene
name: Thune, Henriette
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 60506 Virology

description: Additional file 1.
Plano de Gestão de Dados Acionável por Máquina (PGDam) alinhado aos Princípios FAIR: Modelos de Conhecimento para o Laboratório Multiusuário de Bioinformática da Embrapa
Creators: name: Souza, Marcia Izabel Fugisawa
name: Torres, Tércia Zavaglia
name: Visoli, Marcos Cezar
name: Falcão, Paula Regina Kuser
name: Junior, Antonio Nhani
name: Giachetto, Poliana Fernanda
name: Silva, Felipe Rodrigues da
name: Barbosa, Luiz Antonio Falaguasta
Publisher: name: Zenodo
Year: 2021

description: Apresentação realizada na sessão Pecha Kucha I da 12ª Conferência Luso-Brasileira de Ciência Aberta, formato híbrido, de 13 a 15 de outubro de 2021.