cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Current induced vortex superlattices in nanomagnets
Creators: name: Volkov, Oleksii M.
name: Kravchuk, Volodymyr P.
name: Sheka, Denis D.
name: Gaididei, Yuri
Publisher: name: arXiv
Year: 2011
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Influence of the spin-transfer torque on the vortex state magnetic nanodisk is studied numerically via Slonczewski-Berger mechanism. The existence of a critical current is determined for the case of same-directed electrical current, its spin polarization and polarity of the vortex. The critical current separates two regimes: (i) deformed but static vortex state and (ii) essentially dynamic state under which the spatio-temporal periodic structures can appear. The structure is a stable vortex-antivortex lattice. Symmetry of the lattice depends on the applied current value and for high currents (close to saturation) only square lattices are observed. General relations for sizes of the stable lattice is obtained analytically.
description: 4 pages, 3 figures
title: Geology of the Layla Lakes: An exceptional lake formation history in Central Saudi Arabia
Creators: name: Oepen, Anastasiya
name: Hornung, Jens
name: Michelsen, Nils
name: Lindauer, Susanne
name: Hinderer, Matthias
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
The Layla Lakes (300 km S Riyadh) had been fed by fossil groundwater until they dried up in the 1990s due to agricultural water abstraction, revealing a series of 22 sinkholes. At their walls, well stratified to laminated sediments became exposed, unlocking a hitherto unexplored paleoenvironmental and paleoclimatic archive in the center of the Arabian Peninsula.

In November 2022, sedimentary logs were recorded, including on-site spectral gamma-ray and magnetic susceptibility measurements. From four sinkholes, >600 samples were taken to unravel the geochronological, mineralogical, geochemical, and palynological evolution of the lakes at high resolution. Lithofacies analysis shows changes between laminated lake sediments and weakly stratified sebkha deposits composed of sulfates (gypsum, anhydrite), carbonates, siliciclastic components, and bioclastic remains (shells, chironomidae tubes).

Initial radiocarbon dating indicates that the laminated lake sediments comprise a time interval from recent to 300 a A.D., suggesting at least partly varve-type sediments. The sebkha facies with short lacustrine intervals covers the entire Holocene. Different sections can be stacked together by high-resolution 3D-models, generated from a drone survey (cooperation with KAUST, Saudi Arabia). Based on field observations and first data analysis, a multi-stage paleolake model is suggested: Triggered by faults in the underlying Lower Jurassic Hith, anhydrite converts into gypsum, forming a topographic bulge and a sebkha environment. During fall of the groundwater level, sinkholes collapsed in its center due to phreatic dissolution, forming the groundwater-fed lakes. All sections show a pronounced cyclicity which will be further analyzed by high-resolution multi-proxy analyses.
Desensitizing Inflation from the Planck Scale
Creators: name: Baumann, Daniel
name: Green, Daniel
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A new mechanism to control Planck-scale corrections to the inflationary eta parameter is proposed. A common approach to the eta problem is to impose a shift symmetry on the inflaton field. However, this symmetry has to remain unbroken by Planck-scale effects, which is a rather strong requirement on possible ultraviolet completions of the theory. In this paper, we show that the breaking of the shift symmetry by Planck-scale corrections can be systematically suppressed if the inflaton field interacts with a conformal sector. The inflaton then receives an anomalous dimension in the conformal field theory, which leads to sequestering of all dangerous high-energy corrections. We analyze a number of models where the mechanism can be seen in action. In our most detailed example we compute the exact anomalous dimensions via a-maximization and show that the eta problem can be solved using only weakly-coupled physics.
description: 34 pages, 3 figures.
Using transformers to predict customer satisfaction for live chat dialogues : guiding applied natural language processing research in contact centres through design thinking
Creators: name: Boutet, Patrick
Publisher: name: University of British Columbia
Year: 2023

description: Contact centres are one of the most important channels by which many private and public organizations, such as retail brands, banks, airlines, and government departments, interact with millions of people every day. Customer satisfaction is the dominant quality metric that contact centres use for a wide variety of evaluative purposes such as helping inform customer experience, voice of customer reporting, agent service quality, or product and service improvements. Through a qualitative study with six contact centres and drawing on methods from the human-computer interaction field such as design thinking, interviews, and affinity diagrams, we identify several important tasks in contact centres that rely heavily on customer satisfaction scores. We form a collaborative research partnership with the contact centre at lululemon athletica inc., a large apparel retail organization, in order to gain access to a large unique corpus of customer service live chat dialogues and domain experts. Through this partnership, we collaboratively develop a solution to improve the measurement of customer satisfaction. We propose a solution that predicts customer satisfaction scores for live chats based on a supervised machine-learning approach. We treat predicting customer satisfaction scores for live chats as a single-label document classification task and utilize transformer models to achieve notable performance versus several other common document classification models. To the best of our knowledge, this is the first study that shows fine-tuned transformer models are very effective at predicting customer satisfaction for live chats, thus improve the measurement of customer satisfaction in contact centres.
Additional file 1 of Electrical conductive fluid-rich zones and their influence on the earthquake initiation, growth, and arrest processes: observations from the 2016 Kumamoto earthquake sequence, Kyushu Island, Japan
Creators: name: Aizawa, Koki
name: Takakura, Shinichi
name: Hisafumi Asaue
name: Koike, Katsuaki
name: Yoshimura, Ryokei
name: Yamazaki, Ken’ichi
name: Komatsu, Shintaro
name: Utsugi, Mitsuru
name: Inoue, Hiroyuki
name: Tsukamoto, Kaori
name: Uyeshima, Makoto
name: Koyama, Takao
name: Kanda, Wataru
name: Yoshinaga, Tohru
name: Matsushima, Nobuo
name: Uchida, Kazunari
name: Tsukashima, Yuko
name: Matsushima, Takeshi
name: Ichihara, Hiroshi
name: Muramatsu, Dan
name: Teguri, Yoshiko
name: Shito, Azusa
name: Matsumoto, Satoshi
name: Shimizu, Hiroshi
Publisher: name: figshare
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences
subject: Geophysics

description: Additional file1. Fig. S1. Mesh used in the 3-D inversion. Fig. S2. Representative sounding curves. Fig. S3. Apparent resistivity maps of observed (obs.) and calculated (calc.) MT responses at various frequencies. Fig. S4. Phase maps of observed (obs.) and calculated (calc.) MT responses at various frequencies. Fig. S5. Real-part induction vector maps (Parkinson criteria) of the observed (obs.) and calculated (calc.) responses. Fig. S6. Well-log data from the drill sites and inverted resistivity structure. Fig. S7. Horizontal and vertical slices of the 3-D resistivity structure. Fig. S8. Sensitivity tests.
Neural Circuit Synthesis from Specification Patterns
Creators: name: Schmitt, Frederik
name: Hahn, Christopher
name: Rabe, Markus N.
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical speciﬁcations in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a long history and an annual competition is organized to track the improvement of algorithms and tooling over time. New approaches using machine learning might open a lot of possibilities in this area, but suffer from the lack of sufﬁcient amounts of training data. In this paper, we consider a method to generate large amounts of additional training data, i.e., pairs of speciﬁcations and circuits implementing them. We ensure that this synthetic data is sufﬁciently close to human-written speciﬁcations by mining common patterns from the speciﬁcations used in the synthesis competitions. We show that hierarchical Transformers trained on this synthetic data solve a signiﬁcant portion of problems from the synthesis competitions, and even out-of-distribution examples from a recent case study.
MOESM1 of Genetic architecture of quantitative traits in beef cattle revealed by genome wide association studies of imputed whole genome sequence variants: II: carcass merit traits
Creators: name: Wang, Yining
name: Zhang, Feng
name: Mukiibi, Robert
name: Chen, Liuhong
name: Vinsky, Michael
name: Plastow, Graham
name: Basarab, John
name: Stothard, Paul
name: Li, Changxi
Publisher: name: figshare
Year: 2020
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Evolutionary Biology
subject: Environmental Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology

description: Additional file 1: This file contains Additional figures including Figure S1. Distribution of SNP allele substitution effects (left) and additive genetic variances explained by individual SNP (right) based on GWAS of imputed 7.8 M whole genome sequence (WGS) variants for HCW, AFAT, REA, LMY, and AFAT; Figure S2. Cellular and molecular processes for HCW, AFAT, REA, LMY, and CMAR; Figure S3. Gene network for major gene expression, Carbohydrate/lipid metabolisms and Cell Morphology for HCW, AFAT, REA, LMY, and CMAR; Figure S4. Venn diagram showing the overlapped lead significant SNPs (a) and candidate genes (b) among five carcass merit traits based on the imputed 7.8 M DNA variant GWAS.
Next generation key to future of whenua
Creators: name: Brankin, Anna
Publisher: name: AgResearch
Year: 2024
Subjects: classificationCode: 3002
subject: Agriculture, land and farm management

description: Case studies of two Māori Land Trusts aim to identify a pathway that will engage a new generation of kaitiaki to protect historically and culturally significant sites.
This article summarises the results of a Rural Professionals Fund project that aimed to develop an implementation plan for two Māori Land Trust case studies that will bridge the gap between aspirations for the future of the land blocks and the next generation of shareholders.
All text in this article is licensed for re-use under Creative Commons Attribution 4.0 International (CC BY 4.0). First published in New Ground magazine (Vol. 2), December 2022
MPEC 2023-J111 : DAILY ORBIT UPDATE (2023 May 12)
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2023
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
Additional file 2 of A statistical normalization method and differential expression analysis for RNA-seq data between different species
Creators: name: Zhou, Yan
name: Zhu, Jiadi
name: Tong, Tiejun
name: Wang, Junhui
name: Lin, Bingqing
name: Zhang, Jun
Publisher: name: figshare
Year: 2019
Subjects: Cell Biology
Molecular Biology
Biological Sciences not elsewhere classified
Mathematical Sciences not elsewhere classified
Developmental Biology

description: M versus A plots of two normalization methods. (PDF 2457 KB)
Neural Circuit Synthesis from Specification Patterns
Creators: name: Schmitt, Frederik
name: C01chha
name: Rabe, Markus N.
name: Finkbeiner, Bernd
Publisher: name: CISPA
Year: 2023

description: We train hierarchical Transformers on the task of synthesizing hardware circuits directly out of high-level logical speciﬁcations in linear-time temporal logic (LTL). The LTL synthesis problem is a well-known algorithmic challenge with a long history and an annual competition is organized to track the improvement of algorithms and tooling over time. New approaches using machine learning might open a lot of possibilities in this area, but suffer from the lack of sufﬁcient amounts of training data. In this paper, we consider a method to generate large amounts of additional training data, i.e., pairs of speciﬁcations and circuits implementing them. We ensure that this synthetic data is sufﬁciently close to human-written speciﬁcations by mining common patterns from the speciﬁcations used in the synthesis competitions. We show that hierarchical Transformers trained on this synthetic data solve a signiﬁcant portion of problems from the synthesis competitions, and even out-of-distribution examples from a recent case study.
Additional file 1 of Associations between continuous glucose monitoring-derived metrics and arterial stiffness in Japanese patients with type 2 diabetes
Creators: name: Wakasugi, Satomi
name: Mita, Tomoya
name: Katakami, Naoto
name: Okada, Yosuke
name: Yoshii, Hidenori
name: Osonoi, Takeshi
name: Nobuichi Kuribayashi
name: Taneda, Yoshinobu
name: Kojima, Yuichi
name: Gosho, Masahiko
name: Iichiro Shimomura
name: Watada, Hirotaka
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Science Policy

description: Additional file 1: Table S1. List of sites and investigators. Table S2. Associations between FLP-CGM–derived metrics and high arterial stiffness after further adjusting for the use of anti-diabetic agents.
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Creators: name: Cremers, Cas
name: Fontaine, Caroline
name: Jacomme, Charlie
Publisher: name: CISPA
Year: 2023

description: We provide the first mechanized post-quantum sound security protocol proofs. We achieve this by developing PQ-BC, a computational first-order logic that is sound with respect to quantum attackers, and corresponding mechanization support in the form of the PQ-Squirrel prover. Our work builds on the classical BC logic [Bana,Comon,CCS14] and its mechanization in the Squirrel prover [BDJKM,S&P21]. Our development of PQ-BC requires making the BC logic sound for a single interactive quantum attacker. We implement the PQ-Squirrel prover by modifying Squirrel , relying on the soundness results of PQ-BC and enforcing a set of syntactic conditions; additionally, we provide new tactics for the logic that extend the tool’s scope. Using PQ-Squirrel , we perform several case studies, thereby giving the first mechanical proofs of their computational post- quantum security. These include two generic constructions of KEM based key exchange, two sub-protocols from IKEv1 and IKEv2, and a proposed post-quantum variant of Signal’s X3DH protocol. Additionally, we use PQ-Squirrel to prove that several classical Squirrel case-studies are already post-quantum sound. We provide the sources of PQ-Squirrel and all our models for reproducibility, as well as a long version of this paper with full details.
Recognizing Good Governance: A Field Experiment in Uganda
Creators: name: Buntaine, Mark
name: Daniels, Brigham
name: Bangerter, Tanner
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Comparative Politics
subject: Political Science
subject: FOS: Political science
subject: Social and Behavioral Sciences
subject: anti-corruption
subject: corruption

description: This is an amended pre-analysis plan registered immediately prior to the start of endline data collection, which reflects updates to fieldwork made necessary by the COVID-19 pandemic.
Necessary conditions for Ternary Algebras
Creators: name: Fairlie, David B.
name: Nuyts, Jean
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Ternary algebras, constructed from ternary commutators, or as we call them, ternutators, defined as the alternating sum of products of three operators, have been shown to satisfy cubic identities as necessary conditions for their existence. Here we examine the situation where we permit identities not solely constructed from ternutators or nested ternutators and we find that in general, these impose additional restrictions; for example, the anti-commutators or commutators of the operators must obey some linear relations among themselves.
description: 10 pages
Cavity cooling of atoms: Within and without a cavity
Creators: name: Xuereb, André
name: Domokos, Peter
name: Horak, Peter
name: Freegarde, Tim
Publisher: name: arXiv
Year: 2011
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We compare the efficiencies of two optical cooling schemes, where a single particle is either inside or outside an optical cavity, under experimentally-realisable conditions. We evaluate the cooling forces using the general solution of a transfer matrix method for a moving scatterer inside a general one-dimensional system composed of immobile optical elements. Assuming the same atomic saturation parameter, we find that the two cooling schemes provide cooling forces and equilibrium temperatures of comparable magnitude.
description: 6 pages, 6 figures
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
Creators: name: Cremers, Cas
name: Fontaine, Caroline
name: C01chja
Publisher: name: CISPA
Year: 2023

description: We provide the first mechanized post-quantum sound security protocol proofs. We achieve this by developing PQ-BC, a computational first-order logic that is sound with respect to quantum attackers, and corresponding mechanization support in the form of the PQ-Squirrel prover. Our work builds on the classical BC logic [Bana,Comon,CCS14] and its mechanization in the Squirrel prover [BDJKM,S&P21]. Our development of PQ-BC requires making the BC logic sound for a single interactive quantum attacker. We implement the PQ-Squirrel prover by modifying Squirrel , relying on the soundness results of PQ-BC and enforcing a set of syntactic conditions; additionally, we provide new tactics for the logic that extend the tool’s scope. Using PQ-Squirrel , we perform several case studies, thereby giving the first mechanical proofs of their computational post- quantum security. These include two generic constructions of KEM based key exchange, two sub-protocols from IKEv1 and IKEv2, and a proposed post-quantum variant of Signal’s X3DH protocol. Additionally, we use PQ-Squirrel to prove that several classical Squirrel case-studies are already post-quantum sound. We provide the sources of PQ-Squirrel and all our models for reproducibility, as well as a long version of this paper with full details.
title: A Quaternary fluvial sequence tells the story of a drainage reorganization
Creators: name: Harel, Elhanan
name: Goren, Liran
name: Shelef, Eitan
name: Crouvi, Onn
name: Porat, Naomi
name: Ginat, Hanan
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Field observations across the globe show that drainage reversal toward a cliff is a common type of drainage reorganization. Drainage reversal occurs when a channel reverses its flow direction by 180 degrees while exploiting its antecedent valley. In these settings, fluvial deposits of the antecedent, pre-reversal drainage potentially record valuable information about the process of drainage reorganization. However, such fluvial deposits are rare because they are typically eroded by the reversed channels.

We present a spectacular case of a reversed channel in the Negev desert, Israel, that forms a narrow canyon with several-meters high vertical walls exposing a sequence of fluvial deposits that reflect the reversal process. At the base of the sequence, a <1 m thick conglomerate layer is characterized by clast imbrication consistent with the westward flow direction of the antecedent drainage. Overlying the conglomerate, reddish fine-grained sediments (~1-2 m thick) indicate a decrease in flow energy, reflecting the reversal of the flow toward the current eastward flow direction. Paleosols and scattered calcite nodules within the sediment imply phases of soil development, most likely during a more humid climate than today. The uppermost layer (<1 m thick) consists of sediments of alluvial fans fed from the neighboring hillslopes, that play a key role in the development of the reversed channel through their avulsion cycling. Using geomorphic mapping based on high-resolution DEMs and preliminary dating results, we propose a holistic approach for better understanding the relationships between sedimentary systems, climate changes, and erosional processes in landscapes experiencing drainage reorganization.
Agronomic performance of summer forage crops on a Waikato dry-stock farm
Creators: name: Dale, Tracy
name: Tozer, Katherine
name: Weir, Phil
name: Staincliffe, Maryann
Publisher: name: AgResearch
Year: 2024
Subjects: classificationCode: 3002
subject: Agriculture, land and farm management

description: Forage crops options are required by dry-stock farmers to fill summer feed gaps. This trial compared a brassica monoculture with simple and hyper-diverse mixtures containing up to 21 forage species sown in October on a Waikato dry-stock farm.
Two of the twelve treatments were established at paddock scale. Species included rape, oats, plantain and red clover.
Seedling emergence was assessed four weeks after sowing and herbage production, metabolisable energy and botanical composition in mid-January.

Rape was common in all mixtures for the provision of high-quality forage.
Oats suppressed rape production, even at low sowing rates (<13 kg/ha), and reduced weed ingress.
Plantain, sown at <2 kg/ha, contributed negligible dry matter in mid-January but provided ground cover and additional forage by late February.
Red clover failed to establish.

Most diverse treatments provided a similar energy yield (MJ ME/ha) to rape.
Simple mixtures and hyperdiverse mixtures were similar for most metrics. Results at plot and paddock scale were consistent for the energy yield effects. When these data were combined with production costs, the energy costs were similar for most treatments.
The most promising was a rape-dominant mixture, with high energy yield, low weed abundance and low energy costs.
Virada digital da pesquisa científica: mapa de repositórios das universidades federais brasileiras das regiões sudeste e sul
Creators: name: Gonçalves, Marcos Ramos
name: Carvalho, Priscila Ramos
name: Gouveia, Fábio Castro
Publisher: name: Zenodo
Year: 2021

description: Apresentação realizada na sessão Pecha Kucha II da 12ª Conferência Luso-Brasileira de Ciência Aberta, formato híbrido, de 13 a 15 de outubro de 2021.
Additional file 1 of Influence of pharmaceutical marketing mix strategies on physicians’ prescribing behaviors in public and private hospitals, Dessie, Ethiopia: a mixed study design
Creators: name: Hailu, Abel Demerew
name: Birhanu Demeke Workneh
name: Kahissay, Mesfin Haile
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1. Survey questionnaire, which includes: Information, consent sheets and Self-administered questionnaire for quantitative approach.
Reasons for nuclear forces in light of the constitution of the real space
Creators: name: Krasnoholovets, Volodymyr
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: The concept of microstructure of the real space, considered as a mathematical lattice of cells (the tessel-lattice), and notions of canonical particles and fields, which are generated by the space, are analyzed. Submicroscopic mechanics based on this concept is discussed and employed for in-depth study of the nucleon-nucleon interaction. It is argued that a deformation coat is developed in the real space around the nucleon (as is the case with any other canonical particle such as electron, muon, etc.) and that they are the deformation coats that are responsible for the appearance of nuclear forces. One more source of nuclear forces is associated with inerton clouds, excitations of the space tessel-lattice (the excitations are a substructure of nucleons' matter waves), which accompany moving nucleons as in the case of any other canonical particles. Two nuclear systems are under consideration: the deuteron and a weight nucleus. It is shown that a weight nucleus is a cluster of interacting protons and neutrons. The condition of the cluster stability is obtained in the framework of the statistical mechanical approach. On the whole, the paper proposes a radically new approach to a very old unsolved problem, the origin of the nuclear forces, allowing the understanding mechanism(s) occurring at low energy nuclear transmutations.
description: 25 pages, 3 figures
Summer salads for hill country cattle
Creators: name: Dickey, Delwyn
Publisher: name: AgResearch
Year: 2024
Subjects: classificationCode: 3002
subject: Agriculture, land and farm management

description: As climate variability increases, farmers need resilient summer forage crops. With pasture quality falling during mid- and late-summer this project explored mixed-species, single-graze forage crops that can fill the feed gap.
This article summarises the results of a Rural Professionals Fund project that aimed to evaluate the performance of a variety of diverse summer seed mixes against a monoculture single graze crop, with the aim of developing more resilient forage crops that provide high-quality feed economically with lower inputs.
All text in this article is licensed for re-use under Creative Commons Attribution 4.0 International (CC BY 4.0). First published in New Ground magazine (Vol. 2), December 2022
title: A Numerical Laterisation Formation Model for Ferricretes
Creators: name: Fenske, Caroline
name: Braun, Jean
name: Guillocheau, François
name: Robin, Cécile
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Ferricretes are hard iron layers forming in semi-arid to subtropical environments. We can observe them in i.e. Africa, Australia or Brazil. They are an important part of regional geomorphology, capping hills and protecting landscapes. Climatic dependance is very high. Ferricrete formation occurs under strongly seasonally contrasting climates with precipitation and dry cycles. During wet seasons, transport and accumulation of elements happens while during dry seasons, precipitation and hardening dominate. It is also known that ferricretes form in tectonically “quiet” environments, and approximately need 1 Myr to form meter thick layers.

There are two ferricrete formation hypotheses, the hydrological hypothesis and the laterite hypothesis.

Recently, we developed a numerical model for ferricrete formation based on the laterisation hypothesis. 33% of land surfaces are covered by laterites today. The thickest lateritic profiles evolved for millions of years and are found in the centre of tectonically inactive areas. Weathering is the main process responsible for laterisation, transforming bedrock into regolith. A typical lateritic profile is divided into multiple stages from the weathering front to the surface, starting with a coarse grained and then fine grained saprolite, a mottled zone and at the top, a ferricrete.

In our model, we assume that as the regolith ages, it undergoes a process of transformation that leads to hardening and compaction. Material is constantly eroded away from the regolith, thus making the model dependant on a constant material input for example through uplift. This is necessary to reach sufficient laterisation levels for ferricrete formation.
"Otherness": Vergangenheitskonstruktionen aus postkolonialer Perspektive
Creators: name: Birk, Hanne
Publisher: name: KULT_online
Year: 2019

description: Dieser Sammelband, der auf das Panel "Xenophobic Memories" der Jahrestagung der Association for the Study of the New Literatures in English (ASNEL) in Erfurt (2002) zurückgeht, präsentiert ein bislang weitgehend unbearbeitetes Forschungsfeld: Vielfältige Berührungspunkte bzw. Reibungsflächen zwischen Ergebnissen der Gedächtnis- und Erinnerungsforschung und den postkolonialen Literaturwissenschaften werden anhand von Textanalysen vorgestellt. Ein breites Spektrum von Fallstudien aus verschiedenen, dominant englischsprachigen Kulturräumen ermöglicht der Leserin/dem Leser einen Einblick in die viel versprechende Fragestellung nach der narrativen Vermittlung von "Otherness" in postkolonialen Vergangenheitskonstruktionen.
description: KULT_online, Nr. 02 (2004): KULT_online 02 (2004)
Additional file 2 of Influence of pharmaceutical marketing mix strategies on physicians’ prescribing behaviors in public and private hospitals, Dessie, Ethiopia: a mixed study design
Creators: name: Hailu, Abel Demerew
name: Birhanu Demeke Workneh
name: Kahissay, Mesfin Haile
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 2. Key informants interview guide; Information and consent sheets for qualitative approach.
Simulations of Winds of Weak-Lined T Tauri Stars. II.: The Effects of a Tilted Magnetosphere and Planetary Interactions
Creators: name: Vidotto, A. A.
name: Opher, M.
name: Jatenco-Pereira, V.
name: Gombosi, T. I.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Based on our previous work (Vidotto et al. 2009a), we investigate the effects on the wind and magnetospheric structures of weak-lined T Tauri stars due to a misalignment between the axis of rotation of the star and its magnetic dipole moment vector. In such configuration, the system loses the axisymmetry presented in the aligned case, requiring a fully 3D approach. We perform 3D numerical MHD simulations of stellar winds and study the effects caused by different model parameters. The system reaches a periodic behavior with the same rotational period of the star. We show that the magnetic field lines present an oscillatory pattern and that by increasing the misalignment angle, the wind velocity increases. Our wind models allow us to study the interaction of a magnetized wind with a magnetized extra-solar planet. Such interaction gives rise to reconnection, generating electrons that propagate along the planet's magnetic field lines and produce electron cyclotron radiation at radio wavelengths. We find that a close-in Jupiter-like planet orbiting at 0.05AU presents a radio power that is ~5 orders of magnitude larger than the one observed in Jupiter, which suggests that the stellar wind from a young star has the potential to generate strong planetary radio emission that could be detected in the near future with LOFAR. This radio power varies according to the phase of rotation of the star. We also analyze whether winds from misaligned stellar magnetospheres could cause a significant effect on planetary migration. Compared to the aligned case, we show that the time-scale tau_w for an appreciable radial motion of the planet is shorter for larger misalignment angles. While for the aligned case tau_w~100Myr, for a stellar magnetosphere tilted by 30deg, tau_w ranges from ~40 to 70Myr for a planet located at a radius of 0.05AU. (Abridged)
description: 21 pages, 16 figures, 2 tables (emulateapj.cls). Accepted for publication in the ApJ
Explaining Hyperproperty Violations
Creators: name: Coenen, Norine
name: Dachselt, Raimund
name: Finkbeiner, Bernd
name: Frenkel, Hadar
name: Hahn, Christopher
name: Horak, Tom
name: Metzger, Niklas
name: Siber, Julian
Publisher: name: CISPA
Year: 2023

description: Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, a set of traces as a counterexample. Fixing the erroneous relations between traces in the system that led to the counterexample is a difficult manual effort that highly benefits from additional explanations. In this paper, we present an explanation method for counterexamples to hyperproperties described in the specification logic HyperLTL. We extend Halpern and Pearl's definition of actual causality to sets of traces witnessing the violation of a HyperLTL formula, which allows us to identify the events that caused the violation. We report on the implementation of our method and show that it significantly improves on previous approaches for analyzing counterexamples returned by HyperLTL model checkers.
Explaining Hyperproperty Violations
Creators: name: Coenen, Norine
name: Dachselt, Raimund
name: Finkbeiner, Bernd
name: Frenkel, Hadar
name: C01chha
name: Horak, Tom
name: Metzger, Niklas
name: Siber, Julian
Publisher: name: CISPA
Year: 2023

description: Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, a set of traces as a counterexample. Fixing the erroneous relations between traces in the system that led to the counterexample is a difficult manual effort that highly benefits from additional explanations. In this paper, we present an explanation method for counterexamples to hyperproperties described in the specification logic HyperLTL. We extend Halpern and Pearl's definition of actual causality to sets of traces witnessing the violation of a HyperLTL formula, which allows us to identify the events that caused the violation. We report on the implementation of our method and show that it significantly improves on previous approaches for analyzing counterexamples returned by HyperLTL model checkers.
Is the Wind of the Galactic Oe Star HD 155806 Magnetically Confined?
Creators: name: Fullerton, A. W.
name: Petit, V.
name: Bagnulo, S.
name: Wade, G. A.
name: Collaboration, the MiMeS
Publisher: name: arXiv
Year: 2010
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Spectropolarimetric observations of HD 155806 - the hottest Galactic Oe star - were obtained with CFHT/ESPaDOnS to test the hypothesis that disk signatures in its spectrum are due to magnetic channeling and confinement of its stellar wind. We did not detect a dipole field of sufficient strength to confine the wind, and could not confirm previous reports of a magnetic detection. It appears that stellar magnetism is not responsible for producing the disk of HD 155806.
description: 2 pages, 1 figure; to appear in the proceedings of IAU Symposium 272
Additional file 3 of Influence of pharmaceutical marketing mix strategies on physicians’ prescribing behaviors in public and private hospitals, Dessie, Ethiopia: a mixed study design
Creators: name: Hailu, Abel Demerew
name: Birhanu Demeke Workneh
name: Kahissay, Mesfin Haile
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 3. Ethical clearance and approval letter.
Study of tau-pair production at HERA
Creators: name: ZEUS Collaboration
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A study of events containing two tau leptons with high transverse momentum has been performed with the ZEUS detector at HERA, using a data sample corresponding to an integrated luminosity of 0.33 fb-1. The tau candidates were identified from their decays into electrons, muons or hadronic jets. The number of tau-pair candidates has been compared with the prediction from the Standard Model, where the largest contribution is expected from Bethe-Heitler processes. The total visible cross section was extracted.Standard Model expectations agree well with the measured distributions, also at high invariant mass of the tau pair.
description: 19 pages, 2 tables, 5 figures, minor corrections after submission to JHEP
title: GEOTHERMAL DEVELOPMENT AND SOCIAL VULNERABILITY CASE EXPERIENCE NAMASIGUE, HONDURAS
Creators: name: Pineda Mejia, Elisa Gabriela
name: Garcia Wiliams, Miguel Angel
name: Posas, Cindy
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Honduras, located in Central America at the convergence of the North American tectonic plate with the Caribbean plate in the northwestern part and the Cocos plate with the Caribbean plate in the southern part, has geothermal potential not only related to power production but also for direct use application. A special strategic approach in the Central America is the geoscientific exploration of the over 1500 hot springs in the region. Only in Honduras, there are over 200 hot springs identified, from which over 40% have a superficial temperature of over 50°C and over 10% have temperatures of even more then 80°C.

This abstract presents the case of geochemical investigation in in Namasigüe and El Triunfo districts, located near the border to Nicaragua, in order to proceed in the identification of a deep geothermal reservoir but also identify the opportunity to delineate the potential of geothermal direct use for the community. Important elements of the geoscientific exploration in this socially conflictive area is the preparation of geoscientific information to raise awareness regarding the thermal waters among the local community but also to enhance the acceptance for the geothermal exploration taken out by the National Electric Power Company (ENEE).

The activities are part of Yacimientos II project, implemented by the Federal Institute for Geosciences and Natural Resources (BGR) from Germany and are supported by the National Secretary of Energy (SEN), who has an operative involvement with local communication concepts to prepare geoscientific findings for the community.
SAPIC+: protocol verifiers of the world, unite!
Creators: name: Cheval, Vincent
name: Jacomme, Charlie
name: Kremer, Steve
name: Künnemann, Robert
Publisher: name: CISPA
Year: 2023

description: Symbolic security protocol verifiers have reached a high degree of automation and maturity. Today, experts can model real-world protocols, but this often requires model-specific encodings and deep insight into the strengths and weaknesses of each of those tools. With SAPIC+, we introduce a protocol verification platform that lifts this burden and permits choosing the right tool for the job, at any development stage. We build on the existing compiler from SAPIC to TAMARIN, and extend it with automated translations from SAPIC+ to PROVERIF and DEEPSEC, as well as powerful, protocol-independent optimizations of the existing translation. We prove each part of these translations sound. A user can thus, with a single SAPIC+ file, verify reachability and equivalence properties on the specified protocol, either using PROVERIF, TAMARIN or DEEPSEC. Moreover, the soundness of the translation allows to directly assume results proven by another tool which allows to exploit the respective strengths of each tool. We demonstrate our approach by analyzing various existing models. This includes a large case study of the 5G authentication protocols, previously analyzed in TAMARIN. Encoding this model in SAPIC+ we demonstrate the effectiveness of our approach. Moreover, we study four new case studies: the LAKE-EDHOC and the Privacy-Pass protocols, both under standardization, the SSH protocol with the agent-forwarding feature, and the recent KEMTLS protocol, a post-quantum version of the main TLS key exchange.
Nodes in the gap structure of the iron-arsenide superconductor Ba(Fe_{1-x}Co_x)_2As_2 from c-axis heat transport measurements
Creators: name: Reid, J. -Ph.
name: Tanatar, M. A.
name: Luo, X. G.
name: Shakeripour, H.
name: Doiron-Leyraud, N.
name: Ni, N.
name: Bud'ko, S. L.
name: Canfield, P. C.
name: Prozorov, R.
name: Taillefer, Louis
Publisher: name: arXiv
Year: 2010
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The thermal conductivity k of the iron-arsenide superconductor Ba(Fe_{1-x}Co_x)_2As_2 was measured down to 50 mK for a heat current parallel (k_c) and perpendicular (k_a) to the tetragonal c axis, for seven Co concentrations from underdoped to overdoped regions of the phase diagram (0.038 < x < 0.127). A residual linear term k_c0/T is observed in the T = 0 limit when the current is along the c axis, revealing the presence of nodes in the gap. Because the nodes appear as x moves away from the concentration of maximal T_c, they must be accidental, not imposed by symmetry, and are therefore compatible with an s_{+/-} state, for example. The fact that the in-plane residual linear term k_a0/T is negligible at all x implies that the nodes are located in regions of the Fermi surface that contribute strongly to c-axis conduction and very little to in-plane conduction. Application of a moderate magnetic field (e.g. H_c2/4) excites quasiparticles that conduct heat along the a axis just as well as the nodal quasiparticles conduct along the c axis. This shows that the gap must be very small (but non-zero) in regions of the Fermi surface which contribute significantly to in-plane conduction. These findings can be understood in terms of a strong k dependence of the gap Delta(k) which produces nodes on a Fermi surface sheet with pronounced c-axis dispersion and deep minima on the remaining, quasi-two-dimensional sheets.
description: 12 pages, 13 figures.
Extensions and biextensions of locally constant group schemes, tori and abelian schemes
Creators: name: Bertolin, Cristiana
Publisher: name: arXiv
Year: 2010
Subjects: subject: Algebraic Geometry (math.AG)
subject: K-Theory and Homology (math.KT)
subject: FOS: Mathematics

description: Let S be a scheme. We compute explicitly the group of homomorphisms, the S-sheaf of homomorphisms, the group of extensions, and the S-sheaf of extensions involving locally constant S-group schemes, abelian S-schemes, and S-tori. Using the obtained results, we study the categories of biextensions involving these geometrical objets. In particular, we prove that if G_i (for i=1,2,3) is an extension of an abelian S-scheme A_i by an S-torus T_i, the category of biextensions of (G_1,G_2) by G_3 is equivalent to the category of biextensions of the underlying abelian S-schemes (A_1,A_2) by the underlying S-torus T_3.
Additional file 1 of An educational intervention for improving knowledge of Syrian school children about avulsion using the "save your tooth" poster
Creators: name: Zaher, Nancy Al
name: Dashash, Mayssoon
Publisher: name: figshare
Year: 2021
Subjects: 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. Questionnaire for Assessing Knowledge of kids about saving knocked out tooth.
Repositórios temáticos e autoarquivamento na Ciência da Informação: contribuições do E-LIS
Creators: name: Santos, Sarah Rúbia de Oliveira
name: Oliveira, Dalgiza Andrade
Publisher: name: Zenodo
Year: 2021

description: Apresentação realizada na sessão Pecha Kucha II da 12ª Conferência Luso-Brasileira de Ciência Aberta, formato híbrido, de 13 a 15 de outubro de 2021.
F-UJI : A Tool for the automated assessment and improvement of the FAIRness of Research Data
Creators: name: Herterich, Patricia
Publisher: name: Zenodo
Year: 2022

description: Funders, publishers and scientific organizations have highly endorsed the adoption of FAIR principles (Findable, Accessible, Interoperable, and Reusable) to promote research data reusability and reproducibility. However, FAIR principles are high-level guidelines without explicit requirements for their implementation. Practical solutions such as metrics and associated tools are required to support the assessment of FAIR compliance of research artefacts such as services and datasets. This talk will introduce an open-source tool named F-UJI which was mainly developed to support trustworthy data repositories committed to FAIR data provision to programmatically measure datasets for their level of FAIRness over time. The talk will provide an overview the development and application of F-UJI and use cases it has supported so far.
SAPIC+: protocol verifiers of the world, unite!
Creators: name: Cheval, Vincent
name: C01chja
name: Kremer, Steve
name: Künnemann, Robert
Publisher: name: CISPA
Year: 2023

description: Symbolic security protocol verifiers have reached a high degree of automation and maturity. Today, experts can model real-world protocols, but this often requires model-specific encodings and deep insight into the strengths and weaknesses of each of those tools. With SAPIC+, we introduce a protocol verification platform that lifts this burden and permits choosing the right tool for the job, at any development stage. We build on the existing compiler from SAPIC to TAMARIN, and extend it with automated translations from SAPIC+ to PROVERIF and DEEPSEC, as well as powerful, protocol-independent optimizations of the existing translation. We prove each part of these translations sound. A user can thus, with a single SAPIC+ file, verify reachability and equivalence properties on the specified protocol, either using PROVERIF, TAMARIN or DEEPSEC. Moreover, the soundness of the translation allows to directly assume results proven by another tool which allows to exploit the respective strengths of each tool. We demonstrate our approach by analyzing various existing models. This includes a large case study of the 5G authentication protocols, previously analyzed in TAMARIN. Encoding this model in SAPIC+ we demonstrate the effectiveness of our approach. Moreover, we study four new case studies: the LAKE-EDHOC and the Privacy-Pass protocols, both under standardization, the SSH protocol with the agent-forwarding feature, and the recent KEMTLS protocol, a post-quantum version of the main TLS key exchange.