cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
No-go Theorem for One-way Quantum Computing on Naturally Occurring Two-level Systems
Creators: name: Chen, Jianxin
name: Chen, Xie
name: Duan, Runyao
name: Ji, Zhengfeng
name: Zeng, Bei
Publisher: name: arXiv
Year: 2010
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: One-way quantum computing achieves the full power of quantum computation by performing single particle measurements on some many-body entangled state, known as the resource state. As single particle measurements are relatively easy to implement, the preparation of the resource state becomes a crucial task. An appealing approach is simply to cool a strongly correlated quantum many-body system to its ground state. In addition to requiring the ground state of the system to be universal for one-way quantum computing, we also want the Hamiltonian to have non-degenerate ground state protected by a fixed energy gap, to involve only two-body interactions, and to be frustration-free so that measurements in the course of the computation leave the remaining particles in the ground space. Recently, significant efforts have been made to the search of resource states that appear naturally as ground states in spin lattice systems. The approach is proved to be successful in spin-5/2 and spin-3/2 systems. Yet, it remains an open question whether there could be such a natural resource state in a spin-1/2, i.e., qubit system. Here, we give a negative answer to this question by proving that it is impossible for a genuinely entangled qubit states to be a non-degenerate ground state of any two-body frustration-free Hamiltonian. What is more, we prove that every spin-1/2 frustration-free Hamiltonian with two-body interaction always has a ground state that is a product of single- or two-qubit states, a stronger result that is interesting independent of the context of one-way quantum computing.
description: 5 pages, 1 figure
Identification and characterization of primitive fetal hematopoietic cells
Creators: name: MacAldaz, Margarita
Publisher: name: University of British Columbia
Year: 2023

description: Identification of phenotypes of human hematopoietic cells that display long-term mature cell outputs in vitro and repopulating capability in immunodeficient mice has been important to anticipating the therapeutic potential of fresh harvests of bone marrow or cord blood before or after their physical or genetic manipulation. Characterizing additional properties of these cells and elucidating the mechanisms that regulate their ability to sustain mature blood cell production has thus remained a major focus of interest. Previous studies have shown that fetal and adult human cells with long-term blood cell output potential are highly enriched in their respective GPI80+ and CD49f+ subsets of a developmentally preserved CD45+CD34+CD38-CD45RA-CD90+ population. The so-called “GPI80” hematopoietic cells found in first trimester human fetal liver are of particular interest because of their very high regenerative capability compared to their adult or even neonatal (cord blood) “CD49f” counterparts. However, in vitro conditions that enable the extensive innate self-renewal capability of either of these cell types to be maintained have remained elusive. The goals of this project were first to test the hypothesis that retention of the high regenerative activity of the GPI80+ cells in vitro would be optimized under different conditions than those that regulate their viability or mitogenesis; and second, that the GPI80+ cells of interest would co-express CD49f. The results show first, that the defining long-term cell output function of human hematopoietic stem cells (HSCs) in fetal liver is best maintained in vitro by FLT3L alone despite its poor ability to support their concomitant survival and proliferation. Secondly, co-expression of CD49f within the GPI80+ population identifies a subset with reduced short-term myeloid colony-forming activity in semi-solid medium, and greater progeny outputs in both 12-week growth factor-supplemented stromal co-cultures, and in transplanted immunodeficient mice. These findings demonstrate CD49f is a pervasive marker of human HSCs throughout ontogeny and aging. They also reinforce an increasing body of evidence that the molecular maintenance of potent regenerative potential, even in the first HSCs to appear during human development, is adversely affected by exclusive exposure to factors that most strongly stimulate their mitogenesis and even their survival.
Lasercooled RaF as a promising candidate to measure molecular parity violation
Creators: name: Isaev, T. A.
name: Hoekstra, S.
name: Berger, R.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: The parameter $W_\mathrm{a}$, which characterizes nuclear spin-dependent parity violation effects within the effective molecular spin-rotational Hamiltonian, was computed for the electronic ground state of radium fluoride (RaF) and found to be one of the largest absolute values predicted so far. These calculations were performed with the complex generalised Hartree-Fock method within a two-component (quasi-relativistic) zeroth-order regular approximation framework. Peculiarities of the molecular electronic structure of RaF lead to highly diagonal Franck-Condon matrices between vibrational states of the electronic ground and first excited states, which renders the molecule in principle suitable for direct laser cooling. As a trapped gas of cold molecules offers a superior coherence time, RaF can be considered a promising candidate for high-precision spectroscopic experiments aimed at the search of molecular parity-violation effects.
description: 4.5 pages, 1 figure, 2 tables. Supplementary material can be requested from the authors. Minor changes to version 1
Realizing Omega-regular Hyperproperties
Creators: name: Finkbeiner, Bernd
name: C01chha
name: Hofmann, Jana
name: Tentrup, Leander
Publisher: name: CISPA
Year: 2023

description: We study the expressiveness and reactive synthesis problem of HyperQPTL, a logic that specifies omega-regular hyperproperties. HyperQPTL is an extension of linear-time temporal logic (LTL) with explicit trace and propositional quantification and therefore truly combines trace relations and omega-regularity. As such, HyperQPTL can express promptness, which states that there is a common bound on the number of steps up to which an event must have happened. We demonstrate how the HyperQPTL formulation of promptness differs from the type of promptness expressible in the logic Prompt-LTL. Furthermore, we study the realizability problem of HyperQPTL by identifying decidable fragments, where one decidable fragment contains formulas for promptness. We show that, in contrast to the satisfiability problem of HyperQPTL, propositional quantification has an immediate impact on the decidability of the realizability problem. We present a reduction to the realizability problem of HyperLTL, which immediately yields a bounded synthesis procedure. We implemented the synthesis procedure for HyperQPTL in the bounded synthesis tool BoSy. Our experimental results show that a range of arbiter satisfying promptness can be synthesized.
MOESM3 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: Medicine
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified
Science Policy
Hematology

description: Additional file 3. Detailed characteristics and quality assessment of the included studies.
Additional file 1 of Associations of objectively measured total duration and maximum bout length of standing at work with lower-extremity pain intensity: a 2-year follow-up of construction and healthcare workers
Creators: name: Lunde, Lars-Kristian
name: Merkus, Suzanne
name: Koch, Markus
name: Knardahl, Stein
name: Wærsted, Morten
name: Veiersted, Kaj Bo
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Physiology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified

description: Additional file 1: Supplementary A. Associations between total duration of static standing at work (per 100 min) and change in LEPi during follow-up (Approach 2). Supplementary B. Associations between total duration of dynamic standing at work (per 100 min) and change in LEPi during follow-up (Approach 2). Supplementary C. Associations between maximum bouts of static standing at work (per 10 min) and change in LEPi during follow-up (Approach 2). Supplementary D. Associations between maximum bouts of dynamic standing at work (per 10 min) and change in LEPi during follow-up (Approach 2). Supplementary E. Associations between total duration of on-feet activity (per 100 min) and average LEPi during follow-up (Approach 1). Supplementary F. Associations between total duration of on-feet activity at work (per 100 min) and change in LEPi during follow-up (Approach 2).
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective
Creators: name: Coenen, Norine
name: Finkbeiner, Bernd
name: Hahn, Christopher
name: Hofmann, Jana
Publisher: name: CISPA
Year: 2023

description: We discuss the hierarchy of hyperlogics from a knowledge reasoning perspective. Hyperproperties generalize trace properties by relating multiple traces. Recently, logics for hyperproperties have been obtained from standard logics by adding variables for traces or paths to temporal logics like LTL and CTL*, and by adding the equal-level predicate to first-order and second-order logics, like monadic first-order logic of order and MSO. The resulting hierarchy of hyperlogics provides interesting opportunities for knowledge reasoning research: many epistemic properties and system properties in multi-agent systems, like distributivity, are hyperproperties. At the same time, first-order and second-order reasoning methods become applicable to hyperproperties.
Critical Gravity in Four Dimensions
Creators: name: Lu, H.
name: Pope, C. N.
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study four-dimensional gravity theories that are rendered renormalisable by the inclusion of curvature-squared terms to the usual Einstein action with cosmological constant. By choosing the parameters appropriately, the massive scalar mode can be eliminated and the massive spin-2 mode can become massless. This "critical" theory may be viewed as a four-dimensional analogue of chiral topologically massive gravity, or of critical "New Massive Gravity" with a cosmological constant, in three dimensions. We find that the on-shell energy for the remaining massless gravitons vanishes. There are also logarithmic spin-2 modes, which have positive energy. The mass and entropy of standard Schwarzschild type black holes vanish. The critical theory might provide a consistent toy model for quantum gravity in four dimensions.
description: 10 pages; New results on positivity of energy of logarithmic modes added, typos corrected, and clarifications made
The Question of the Effects of Anonymity on Positive Cyberbullying Attitudes
Creators: name: Shalit, Eran
name: Almog Rosenblum
Publisher: name: Open Science Framework
Year: 2023
Subjects: subject: Social and Behavioral Sciences
subject: Psychology
subject: FOS: Psychology

description: This is a pre-registration for a class we are taking at university called "Experimental Psychology"
CP Violation from Scatterings with Gauge Bosons in Leptogenesis
Creators: name: Fong, Chee Sheng
name: Gonzalez-Garcia, M. C.
name: Racker, J.
Publisher: name: arXiv
Year: 2010
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We present an explicit computation of the CP asymmetry in scattering processes involving the heavy right-handed neutrinos of the type I seesaw framework and the Standard Model gauge bosons. Compared to CP violation in two--body decays and in scatterings with top quarks there are new contributions at one loop in the form of new type of vertex corrections as well as of box diagrams. We show that their presence implies that, unlike the CP asymmetry in scatterings with top quarks, the CP asymmetry in scatterings with gauge bosons is different from the two-body decay asymmetry even for hierarchical right-handed neutrinos. This also holds for the L-conserving CP asymmetry in scatterings with U(1)$_Y$ gauge bosons.
description: 13 pages, 3 figures
Interest prohibition and financial product innovation
Creators: name: Bergstra, J. A.
name: Middelburg, C. A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: General Finance (q-fin.GN)
subject: FOS: Economics and business

description: We give a rough sketch of the Judaic, Greek, Islamic and Christian positions in the matter of interest prohibition during the last few millennia and discuss the way in which interest prohibition is dealt with in Islamic finance, the problems with authority-based arguments for interest prohibition, and the prospects of interest prohibition with the advent of electronic money.
description: 9 pages
Additional file 1 of Loss of cholinergic innervation differentially affects eNOS-mediated blood flow, drainage of Aβ and cerebral amyloid angiopathy in the cortex and hippocampus of adult mice
Creators: name: Nizari, Shereen
name: Wells, Jack A.
name: Carare, Roxana O.
name: Romero, Ignacio A.
name: Hawkes, Cheryl A.
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Immunology
subject: FOS: Clinical medicine
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Table 1 List of source of primary and secondary antibodies used for immunohistochemistry.
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective
Creators: name: Coenen, Norine
name: Finkbeiner, Bernd
name: C01chha
name: Hofmann, Jana
Publisher: name: CISPA
Year: 2023

description: We discuss the hierarchy of hyperlogics from a knowledge reasoning perspective. Hyperproperties generalize trace properties by relating multiple traces. Recently, logics for hyperproperties have been obtained from standard logics by adding variables for traces or paths to temporal logics like LTL and CTL*, and by adding the equal-level predicate to first-order and second-order logics, like monadic first-order logic of order and MSO. The resulting hierarchy of hyperlogics provides interesting opportunities for knowledge reasoning research: many epistemic properties and system properties in multi-agent systems, like distributivity, are hyperproperties. At the same time, first-order and second-order reasoning methods become applicable to hyperproperties.
title: New approach to ferromanganese nodules from the Baltic Sea
Creators: name: Pilaszkiewicz, Michał
name: Zglinicki, Karol
name: Wrzosek, Agnieszka
name: Szamałek, Krzysztof
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
Polymetallic nodules (including ferromanganese) are one the major metal-bearing sources, those admitted as strategic and critical raw materials (CRMs) by the European Commission. Their widespread on seas’ and oceans’ bottoms entail interests in economic use of them.

Ferromanganese (Fe-Mn) nodules occur on the seabedof most areas of the Baltic Sea. Those from the Polish Exclusive Economic Zone (PEEZ) are ones of least explored elements of the marine environment. Since 2020 there have been 3 research cruises on the area of the PEEZ - on 3 selected areas, 25 km2 each (near Baltic Beta oil rig, Slupsk Furrow and Gdansk’s Basin). Almost 100 sediment samples from the seabed were collected by Van Veen sampler and box-corer. So far, more than 2000 samples of nodules have been described and analyzed.

The main assumptions of the project are to determine:

mineralogical and chemical compositions, genesis, age;

geochemical variability of Fe-Mn nodules and their relation to bottom sediments and the morphology of the bottom surface;

directions for depositional potential based on chemical composition for averaged samples of the areas in the PEEZ.

The chemical investigation (by using of ICP-MS) performed on the new nodule samples from the Słupsk Furrow and the edge of the Gotland Basin showed the average REE content at the level of 164.33 ppm (from 118.40 ppm to 202.74 ppm). There is a visible small positive Li anomaly (from 60.40 ppm to 444.60 ppm).

Further research investigations may redound more data in the context of economic potential.
Exploration of strategic approaches towards the novel biocatalytic conversion of tetrahydrocannabinol (THC) to cannabinol (CBN)
Creators: name: Khalifa, Charfeddine
Publisher: name: University of British Columbia
Year: 2023

description: Clinical studies on cannabis reveal its importance in alleviating inflammation and counteracting certain neurodegenerative disorders. However, these benefits carry side effects induced by the hallucinogenic property of ∆⁹-tetrahydrocannabinol (THC). Investigation into cannabinoids has led to the discovery of cannabinol (CBN), a degradation product of THC that provides multiple benefits without effect on the perception, cognition, or behavior of the patient. Current methods of production rely on traditional farming and degradation of THC to produce CBN which are less sustainable and efficient than fermentation-based cannabinoid production. CBN formation is the result of oxidative degradation of THC, and currently, there’s no enzyme associated with this reaction. To create a biosynthetic route towards CBN, a multistep biosynthetic mechanism has been prepared utilizing CYP450 monooxygenases and dehydratases to facilitate the double bond formation on THC. Cytochrome P450 19A1, 2C9, and 3A4 were in-vitro assayed with THC and THCA to examine their metabolite products and provide a solution to achieving the first step in the proposed mechanism. THC and THCA were also docked to these enzymes to create predictions on expected metabolites. An alternative approach was to use the consensus sequence motif of Cytochrome P450 19A1 and BLAST search the C. sativa genome for candidate enzymes that could potentially convert ∆⁹-tetrahydrocannabinolic acid (THCA) to cannabinolic acid (CBNA) or present a candidate suitable for the formation of the first intermediate. The candidates were then modeled and docked with THCA to obtain the five models with the highest binding affinity. These candidates were further docked with THC. Out of these, the docking of THC and THCA with CsCYP84A1 provides the best models that allow the formation of the first intermediate. Similarly, CYP19A1 docking with THC and THCA, and CYP2C9 docking with THCA provided models that predict the formation of the first intermediate. Only the in-vitro assays of CYP2C9 show catalytic activity against THC to produce 11-OH-THC, while the assay with THCA produces 11-OH-THC, 11-OH-THCA, and an unknown metabolite that needs to be identified. The assays need to be re-analyzed with a GC-MS to identify finite metabolites that were not observed when THC and THCA decreased over time.
Characterization of convex $μ$-compact sets
Creators: name: Shirokov, M. E.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: The class of $μ$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class contains all compact sets as well as many noncompact sets widely used in applications. In this paper we give a characterization of a convex $μ$-compact set in terms of properties of functions defined on this set. Namely, we prove that the class of convex $μ$-compact sets can be characterized by continuity of the operation of convex closure of a function (= the double Fenchel transform) with respect to monotonic pointwise converging sequences of continuous bounded and of lower semicontinuous lower bounded functions.
description: 7 pages
Planning in the Browser
Creators: name: Tran, Nicolas
name: Speicher, Patrick
name: Künnemann, Robert
name: Backes, Michael
name: Torralba, Àlvaro
name: Hoffmann, Jörg
Publisher: name: CISPA
Year: 2023

description: Traditionally, planning tools are designed as applications that users need to install, taking care of the specificities of their operating system, packages, etc. This often places a significant burden on users, especially due to the academic nature of the software. To remedy this situation, here we propose for planning to jump onto the growing trend of light-weight software use: We demonstrate the possibility to run planning tools directly in the browser. We used the emscripten framework to port Fast Downward into WebAssembly (WASM) code, which allows for in-browser execution at near-native speeds. This allows for in-browser PDDL editing and planner execution without the need for server-side resource management. Moreover, it opens up a host of new possibilities, ranging from the interactive presentation of planning-based analysis to new applications exploiting the availability of planning in browsers to perform user-centric analyses.
Additional file 1 of Minimizing the number of origins in batches of weaned calves to reduce their risks of developing bovine respiratory diseases
Creators: name: Morel-Journel, Thibaut
name: Assié, Sébastien
name: Vergu, Elisabeta
name: Jean-Baptiste Mercier
name: Bonnet-Beaugrand, Florence
name: Ezanno, Pauline
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Efficiency of the algorithm as a function of time-window size.
Ordered moment in the anisotropic and frustrated square lattice Heisenberg model
Creators: name: Schmidt, Burkhard
name: Siahatgar, Mohammad
name: Thalmeier, Peter
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The two-dimensional frustrated next nearest neighbor Heisenberg model on the square lattice is a prime example for a spin system where quantum fluctuations can either destroy or stabilize magnetic order. The phase boundaries and staggered moment dependence on the frustration ratio J_2/J_1 of the exchange constants are fairly well understood both from approximate analytical and numerical methods. In this work we use exact diagonalization for finite clusters for an extensive investigation of the more general J_1a,b-J_2 model which includes a spatial exchange anisotropy between next-neighbor spins. We introduce a systematic way of tiling the square lattice and, for this low symmetry model, define a controlled procedure for the finite size scaling that is compatible with the possible magnetic phases. We obtain ground state energies, structure factors and ordered moments and compare with the results of spin wave calculations. We conclude that J_1a,b exchange anisotropy strongly stabilizes the columnar antiferromagnetic phase for all frustration parameters, in particular in the region of the spin nematic phase of the isotropic model.
description: 19 pages, 19 figures
Additional file 1: of Comparative efficacy and safety for different chemotherapy regimens used concurrently with thoracic radiation for locally advanced non-small cell lung cancer: a systematic review and network meta-analysis
Creators: name: Liu, Tingting
name: He, Zheng
name: Dang, Jun
name: Li, Guang
Publisher: name: figshare
Year: 2019
Subjects: Physical Sciences not elsewhere classified
Medicine
Biological Sciences not elsewhere classified
Cancer

description: Table S1. Search strategy (DOC 62 kb)
Additional file 3 of Minimizing the number of origins in batches of weaned calves to reduce their risks of developing bovine respiratory diseases
Creators: name: Morel-Journel, Thibaut
name: Assié, Sébastien
name: Vergu, Elisabeta
name: Jean-Baptiste Mercier
name: Bonnet-Beaugrand, Florence
name: Ezanno, Pauline
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Impact of the algorithm on the risk index depending on batch characteristics.
Adaptation of the ball race mill technology for wet comminution aiming to reduce energy consumption
Creators: name: Tan, Jonathan Boon Chai
Publisher: name: University of British Columbia
Year: 2023

description: Vertical Roller Mill (VRM) technology was developed more than four decades ago and has found applications mostly in cement grinding operations and in power plants for coal grinding. VRM technology has been well documented in literature to offer energy consumption reduction (from 15% to 30%) over conventional comminution units and circuits. These proven benefits of the technology have attracted the interest of the minerals industry. For this study, a prototype pilot-scale vertical roller mill with a ball race design was purpose-built and commissioned at Sepro Mineral Systems in Canada. Extensive bench-scale ore preparation and characterization tests, followed by pilot-scale VRM experimental programs, were conducted to determine the relationship between size reduction and energy requirement considering all critical operating variables. The effects of feed physical properties (top size, fines content), machine operating variables (applied compression pressure, table rotation speed, feed rate), and feed water content on product particle size and specific energy consumption were studied. Upon optimization of the feed and operating parameters, closed-circuit locked cycle tests were conducted to more accurately determine the energy consumption and ground product particle size distribution that simulates a production-scale comminution process flow sheet. Further work and recommendations were made based on a newly developed understanding of wet comminution using VRMs.
Effect of doping and oxygen vacancies on the octahedral tilt transitions in the BaCeO3 perovskite
Creators: name: Cordero, F.
name: Trequattrini, F.
name: Deganello, F.
name: La Parola, V.
name: Roncari, E.
name: Sanson, A.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present a systematic study of the effect of Y doping and hydration level on the structural transformations of BaCeO3 based on anelastic spectroscopy experiments. The temperature of the intermediate transformation between rhombohedral and orthorhombic Imma phases rises with increasing the molar fraction x of Y roughly as (500 K)x in the hydrated state, and is depressed of more than twice that amount after complete dehydration. This is explained in terms of the effect of doping on the average (Ce/Y)-O and Ba-O bond lengths, and of lattice relaxation from O vacancies. The different behavior of the transition to the lower temperature Pnma orthorhombic phase is tentatively explained in terms of progressive flattening of the effective shape of the OH ion and ordering of the O vacancies during cooling.
description: 8 pages, 5 figures
Planning in the Browser
Creators: name: Nicolas.Tran
name: Speicher, Patrick
name: Künnemann, Robert
name: Backes, Michael
name: Torralba, Àlvaro
name: Hoffmann, Jörg
Publisher: name: CISPA
Year: 2023

description: Traditionally, planning tools are designed as applications that users need to install, taking care of the specificities of their operating system, packages, etc. This often places a significant burden on users, especially due to the academic nature of the software. To remedy this situation, here we propose for planning to jump onto the growing trend of light-weight software use: We demonstrate the possibility to run planning tools directly in the browser. We used the emscripten framework to port Fast Downward into WebAssembly (WASM) code, which allows for in-browser execution at near-native speeds. This allows for in-browser PDDL editing and planner execution without the need for server-side resource management. Moreover, it opens up a host of new possibilities, ranging from the interactive presentation of planning-based analysis to new applications exploiting the availability of planning in browsers to perform user-centric analyses.
Direct N-body simulations of globular clusters: (I) Palomar 14
Creators: name: Zonoozi, Akram Hasani
name: Kuepper, Andreas H. W.
name: Baumgardt, Holger
name: Haghi, Hosein
name: Kroupa, Pavel
name: Hilker, Michael
Publisher: name: arXiv
Year: 2010
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present the first ever direct $N$-body computations of an old Milky Way globular cluster over its entire life time on a star-by-star basis. Using recent GPU hardware at Bonn University, we have performed a comprehensive set of $N$-body calculations to model the distant outer halo globular cluster Palomar 14 (Pal 14). By varying the initial conditions we aim at finding an initial $N$-body model which reproduces the observational data best in terms of its basic parameters, i.e. half-light radius, mass and velocity dispersion. We furthermore focus on reproducing the stellar mass function slope of Pal 14 which was found to be significantly shallower than in most globular clusters. While some of our models can reproduce Pal 14's basic parameters reasonably well, we find that dynamical mass segregation alone cannot explain the mass function slope of Pal 14 when starting from the canonical Kroupa initial mass function (IMF). In order to seek for an explanation for this discrepancy, we compute additional initial models with varying degrees of primordial mass segregation as well as with a flattened IMF. The necessary degree of primordial mass segregation turns out to be very high. This modelling has shown that the initial conditions of Pal 14 after gas expulsion must have been a half-mass radius of about 20 pc, a mass of about 50000 M$_{\odot}$, and possibly some mass segregation or an already established non-canonical IMF depleted in low-mass stars. Such conditions might be obtained by a violent early gas-expulsion phase from an embedded cluster born with mass segregation. Only at large Galactocentric radii are clusters likely to survive as bound entities the destructive gas-expulsion process we seem to have uncovered for Pal 14. In addition we compute a model with a 5% primordial binary fraction to test if such a population has an effect on the cluster's evolution.
description: 15 pages, 11 figures, 3 tables, accepted for publication in MNRAS
Additional file 2 of Minimizing the number of origins in batches of weaned calves to reduce their risks of developing bovine respiratory diseases
Creators: name: Morel-Journel, Thibaut
name: Assié, Sébastien
name: Vergu, Elisabeta
name: Jean-Baptiste Mercier
name: Bonnet-Beaugrand, Florence
name: Ezanno, Pauline
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2. Impact of the positive correlation between pathogen presence at the cow-calf producer.
Prioritizing regional agricultural R&D investments in Africa: incorporating R&D spillovers and economywide effects
Creators: name: Johnson, Michael
name: Benin, Sam
name: Xinshen Diao
name: Liangzhi  You
Publisher: name: Gates Open Research
Year: 2019

description: Prioritizing regional agricultural R&D investments in Africa: incorporating R&D spillovers and economywide effects
title: Integrated stratigraphy of the lower Danubian Cretaceous Group (lower Upper Cretaceous, southern Germany)
Creators: name: Metzner, Niklas
name: Niebuhr, Birgit
name: Pürner, Thomas
name: Wilmsen, Markus
Publisher: name: Deutsche Geologische Gesellschaft - Geologische Vereinigung e.V. (DGGV)
Year: 2023

description:
The Danubian Cretaceous Group (DCG; Bavaria, SE-Germany) represents the deposits of one of the most pronounced sea-level rises in the Phanerozoic. Integrated stratigraphy (litho-, sequence-, and chemostratigraphy) and (micro-) facies analysis of the Lower Cenomanian–Middle Turonian strata of the DCG based on new drill cores from the north of Regensburg and the Grub section in the Bodenwöhrer Senke provides new insights in the process linked to the early Late Cretaceous sea-level rise.

Unconformably overlying Jurassic carbonates or Variscan granites, the Cretaceous succession includes the Regensburg (Lower Cenomanian–Upper Cenomanian), Eibrunn (uppermost Cenomanian–lowermost Turonian), Winzerberg (Lower Turonian) and partly Kagerhöh and Roding (Middle Turonian) formations. All lithofacies is of marine origin and consists of glauconitic sandstones, argillaceous marlstones, silty-spiculitic wackestones to marlstones, fine-grained (marly) sandstones, glauconitites and bioclastic wackestones. Five Cenomanian–Turonian sequence boundaries and their corresponding depositional sequences have been identified. Their correlative nature on an intra-basinal scale and beyond suggests a eustatic control of the depositional processes. High-resolution carbon stable isotope-based chemostratigraphy through the Cenomanian to Lower Turonian considerably improves correlation to nearby sections and European reference sections in southern England and France. A nearly complete record of the Oceanic Anoxic Event 2 (OAE 2) allows a detailed stratigraphic calibration of the Cenomanian–Turonian boundary interval and provides new insides into the environmental processes associated with OAE 2 in the Danubian Cretaceous Basin, including the first proof of the Plenus Cold Event from the region.
Magnification as a Probe of Dark Matter Halos at high redshift
Creators: name: Van Waerbeke, Ludovic
name: Hildebrandt, Hendrik
name: Ford, Jes
name: Milkeraitis, Martha
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We propose a new approach for measuring the mass profile and shape of groups and clusters of galaxies, which uses lensing magnification of distant background galaxies. The main advantage of lensing magnification is that, unlike lensing shear, it relies on accurate photometric redshifts only and not galaxy shapes, thus enabling the study of the dark matter distribution with unresolved source galaxies. We present a feasibility study, using a real population of z > 2.5 Lyman Break Galaxies as source galaxies, and where, similar to galaxy-galaxy lensing, foreground lenses are stacked in order to increase the signal-to-noise. We find that there is an interesting new observational window for gravitational lensing as a probe of dark matter halos at high redshift, which does not require measurement of galaxy shapes.
Additional file 4 of Minimizing the number of origins in batches of weaned calves to reduce their risks of developing bovine respiratory diseases
Creators: name: Morel-Journel, Thibaut
name: Assié, Sébastien
name: Vergu, Elisabeta
name: Jean-Baptiste Mercier
name: Bonnet-Beaugrand, Florence
name: Ezanno, Pauline
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 4. Robustness of the results to changes in parameter values.
An Interactive Prover for Protocol Verification in the Computational Model
Creators: name: Baelde, David
name: Delaune, Stephanie
name: Jacomme, Charlie
name: Koutsos, Adrien
name: Moreau, Solene
Publisher: name: CISPA
Year: 2023

description: Given the central importance of designing secure protocols, providing solid mathematical foundations and computer-assisted methods to attest for their correctness is becoming crucial. Here, we elaborate on the formal approach introduced by Bana and Comon in [10], [11], which was originally designed to analyze protocols for a fixed number of sessions and which more importantly lacks support for proof mechanization. In this paper, we present a framework and an interactive prover allowing to mechanize proofs of security protocol for an arbitrary number of sessions in the computational model. More specifically, we develop a meta-logic as well as a proof system for deriving security properties. Proofs in our system only deal with high-level, symbolic representations of protocol executions, similar to proofs in the symbolic model, but providing security guarantees at the computational level. We have implemented our approach within a new interactive prover, the SQUIRREL prover, taking as input protocols specified in the applied pi-calculus, and we have performed a number of case studies covering a variety of primitives (hashes, encryption, signatures, Diffie-Hellman exponentiation) and security properties (authentication, strong secrecy, unlinkability).
Sensors increase understanding and interest
Creators: name: Dickey, Delwyn
Publisher: name: AgResearch
Year: 2024
Subjects: classificationCode: 3002
subject: Agriculture, land and farm management

description: Real-time nitrate sensors increased farmer understanding of contaminant pathways through their farm and the impact of rainfall events, and grew community interest in water quality improvement.
This article summarises the results of a Rural Professionals Fund project that aimed to use real-time water quality monitoring
to show the impact farm management can have on freshwater quality. 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
An Interactive Prover for Protocol Verification in the Computational Model
Creators: name: Baelde, David
name: Delaune, Stephanie
name: C01chja
name: Koutsos, Adrien
name: Moreau, Solene
Publisher: name: CISPA
Year: 2023

description: Given the central importance of designing secure protocols, providing solid mathematical foundations and computer-assisted methods to attest for their correctness is becoming crucial. Here, we elaborate on the formal approach introduced by Bana and Comon in [10], [11], which was originally designed to analyze protocols for a fixed number of sessions and which more importantly lacks support for proof mechanization. In this paper, we present a framework and an interactive prover allowing to mechanize proofs of security protocol for an arbitrary number of sessions in the computational model. More specifically, we develop a meta-logic as well as a proof system for deriving security properties. Proofs in our system only deal with high-level, symbolic representations of protocol executions, similar to proofs in the symbolic model, but providing security guarantees at the computational level. We have implemented our approach within a new interactive prover, the SQUIRREL prover, taking as input protocols specified in the applied pi-calculus, and we have performed a number of case studies covering a variety of primitives (hashes, encryption, signatures, Diffie-Hellman exponentiation) and security properties (authentication, strong secrecy, unlinkability).
WINGS-SPE II: A catalog of stellar ages and star formation histories, stellar masses and dust extinction values for local clusters galaxies
Creators: name: Fritz, J.
name: Poggianti, B. M.
name: Cava, A.
name: Valentinuzzi, T.
name: Moretti, A.
name: Bettoni, D.
name: Bressan, A.
name: Couch, W. J.
name: D'Onofrio, M.
name: Dressler, A.
name: Fasano, G.
name: Kjaergaard, P.
name: Moles, M.
name: Omizzolo, A.
name: Varela, J.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The WIde-field Nearby Galaxy clusters Survey (WINGS) is a project whose primary goal is to study the galaxy populations in clusters in the local universe (z<0.07) and of the influence of environment on their stellar populations. This survey has provided the astronomical community with a high quality set of photometric and spectroscopic data for 77 and 48 nearby galaxy clusters, respectively. In this paper we present the catalog containing the properties of galaxies observed by the WINGS SPEctroscopic (WINGS-SPE) survey, which were derived using stellar populations synthesis modelling approach. We also check the consistency of our results with other data in the literature. Using a spectrophotometric model that reproduces the main features of observed spectra by summing the theoretical spectra of simple stellar populations of different ages, we derive the stellar masses, star formation histories, average age and dust attenuation of galaxies in our sample. ~5300 spectra were analyzed with spectrophotometric techniques, and this allowed us to derive the star formation history, stellar masses and ages, and extinction for the WINGS spectroscopic sample that we present in this paper. The comparison with the total mass values of the same galaxies derived by other authors based on SDSS data, confirms the reliability of the adopted methods and data.
description: 13 pages, 9 figures. Accepted for publication in Astronomy and Astrophysics
Transforming inclusive education for students with intellectual disabilities in secondary academic classrooms : a case study
Creators: name: Moore, Shelley
Publisher: name: University of British Columbia
Year: 2023

description: This instrumental case study investigated how collaborative, ongoing, situated, and inquiry-oriented professional development can support teachers to shift towards more inclusive practices in secondary and academic classrooms that include a student with an intellectual disability (SwID). Within a school district in greater Vancouver, British Columbia, this research addressed three research questions: (1) How were teachers in secondary academic classrooms aligned to and/or moving towards guiding conditions of inclusion that increase opportunities for SwIDs to be included?; (2) In this context, how were teachers moving towards planning for and enacting practices for all students in secondary academic classrooms?, and (3) What were the experiences of students, both with and without disabilities, in secondary academic classrooms when teachers were moving towards more inclusive practices? Findings suggested that classroom teachers came to see SwIDs as competent which supported establishing other guiding conditions for inclusion (e.g., including SwID in meaningful learning). They were also able to shift towards more inclusive practices, especially when they collaborated. In addition, collaboration influenced how educational assistants (EAs) were utilized in classrooms, which was important because findings also suggested that students who received one on one support had fewer opportunities to participate with their peers. This study also identified a disconnect between student IEPs and the academic classrooms where students were in enrolled, which became a barrier to navigate, particularly for support teachers. Students in this study shared that they valued inclusive efforts and found practices that teachers were trying to be useful. Most students shared that they felt included, although there were some students who didn’t perceive that their unique needs were being met. Implications for the potential of professional development and collaboration to foster inclusive practices are discussed.
Tendencies toward nematic order in YBa2Cu3O6+x: Uniform distortion vs. incipient charge stripes
Creators: name: Vojta, Matthias
Publisher: name: arXiv
Year: 2010
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Recent neutron scattering and transport data obtained on underdoped YBCO, with strong signatures of rotation symmetry breaking at low temperatures, point toward electron-nematic order in the charge sector. Such order may originate from a uniform distortion with d-wave symmetry or as a precursor of a uni-directional stripe phase. Here, we discuss whether the neutron scattering data can be linked to incipient charge stripes. We employ and extend a phenomenological model for collective spin and charge fluctuations and analyze the resulting spin excitation spectrum under the influence of lattice anisotropies. Our results show that the experimentally observed temperature-dependent magnetic incommensurability is compatible with a scenario of incipient stripes, the temperature dependence being due to the temperature variation of both strength and correlation length of the charge stripes. Finally, we propose further experiments to distinguish the possible theoretical scenarios.
description: 11 pages, 4 figs, submitted to EPJ ST