cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A search for thermal X-ray signatures in Gamma-Ray Bursts II: The Swift sample
Creators: name: Sparre, M.
name: Starling, R. L. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: In several gamma-ray bursts (GRBs) excess emission, in addition to the standard synchrotron afterglow spectrum, has been discovered in the early time X-ray observations. It has been proposed that this excess comes from black body emission, which may be related to the shock break-out of a supernova in the GRBs progenitor star. This hypothesis is supported by the discovery of excess emission in several GRBs with an associated supernova. Using mock spectra we show that it is only likely to detect such a component, similar to the one proposed in GRB 101219B, at low redshift and in low absorption environments. We also perform a systematic search for black body components in all the GRBs observed with the Swift satellite and find six bursts (GRB 061021, 061110A, 081109, 090814A, 100621A and 110715A) with possible black body components. Under the assumption that their excess emission is due to a black body component we present radii, temperatures and luminosities of the emitting components. We also show that detection of black body components only is possible in a fraction of the Swift bursts.
description: 11 pages, 8 figures, accepted for MNRAS
Small volume link orbifolds
Creators: name: Atkinson, Christopher K.
name: Futer, David
Publisher: name: arXiv
Year: 2012
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 57M50, 57R18

description: This paper proves lower bounds on the volume of a hyperbolic 3-orbifold whose singular locus is a link. We identify the unique smallest volume orbifold whose singular locus is a knot or link in the 3-sphere, or more generally in a Z_6 homology sphere. We also prove more general lower bounds under mild homological hypotheses.
description: 19 pages, 3 figures. Revised version, to appear in Mathematical Research Letters
Wissenschaftliche Dokumente Mit Domänenspezifischen Inhalten: Entwicklung Eines Allgemeinen Modells Für Wissenschaftliche Dokumente Umgesetzt Als Browserbasierter Editor
Creators: name: Hodapp, Sven
Publisher: name: Zenodo
Year: 2014

description: Aktuelle Textverarbeitungsprogramme haben gerade bei der Erstellung von

wissenschaftlichen Dokumenten große Defizite, da dort oft formale Modelle,

wie z.B. Chemie-Moleküle, aus dem jeweiligen Fachgebiet (Domäne) benutzt werden müssen.

Heutige Systeme können mit diesen Modellen nicht direkt interagieren,

was oft zu Inkonsistenzen im Dokument führt.

In dieser Arbeit wird der Prototyp eines Dokumenteditors entwickelt,

welcher domänenspezifische Dokumentelemente einführt,

und so formale Modelle direkt bei der Bearbeitung des Dokuments verwendbar macht.

Die Dokumentelemente (z.B. Absätze, Abbildungen etc.) können auch domänenspezifische Inhalte

repräsentieren, z.B. ein Molekül.

Wenn ein Dokumentelement auf ein anderes verweist,

kann direkt auf Attribute des darunterliegenden Modells zugegriffen werden;

bspw. auf den Namen eines Moleküls.

Der Prototyp beweist seine Praxistauglichkeit anhand von vier konkreten Anwendungsfällen.

Aus dem Prototyp ist eine allgemeine Theorie über den inneren Aufbau von Dokumenten entwickelt

worden und tangiert die Bereiche (Meta-)Modellierung, Projektionseditoren, Semiotik und Taxonomie.

Es gibt vielfältige Weiterentwicklungsmöglichkeiten, wie Ausbau zur Open Access Platform mit

erweiterten Autorenfunktionen, Zentrale für Format-Transformationen oder Literate Programming IDE.
description: In German Language
On modular decompositions of system signatures
Creators: name: Marichal, Jean-Luc
name: Mathonet, Pierre
name: Spizzichino, Fabio
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: Optimization and Control (math.OC)
subject: FOS: Mathematics
subject: 62N05, 90B25, 94C10

description: Considering a semicoherent system made up of $n$ components having i.i.d. continuous lifetimes, Samaniego defined its structural signature as the $n$-tuple whose $k$-th coordinate is the probability that the $k$-th component failure causes the system to fail. This $n$-tuple, which depends only on the structure of the system and not on the distribution of the component lifetimes, is a very useful tool in the theoretical analysis of coherent systems. It was shown in two independent recent papers how the structural signature of a system partitioned into two disjoint modules can be computed from the signatures of these modules. In this work we consider the general case of a system partitioned into an arbitrary number of disjoint modules organized in an arbitrary way and we provide a general formula for the signature of the system in terms of the signatures of the modules. The concept of signature was recently extended to the general case of semicoherent systems whose components may have dependent lifetimes. The same definition for the $n$-tuple gives rise to the probability signature, which may depend on both the structure of the system and the probability distribution of the component lifetimes. In this general setting, we show how under a natural condition on the distribution of the lifetimes, the probability signature of the system can be expressed in terms of the probability signatures of the modules. We finally discuss a few situations where this condition holds in the non-i.i.d. and nonexchangeable cases and provide some applications of the main results.
title: GSICS quarterly. Volume 8, number 2 (2014)
Creators: name: Global Space-Based Inter-Calibration System Coordination Center,
Publisher: name: U.S. Department of Commerce, National Oceanic and Atmospheric Administration, National Environmental Satellite, Data, and Information Service, Center for Satellite Applications and Research
Year: 2014
Subjects: subject: Satellite meteorology
subject: Global Observing System (Meteorology)

description: GSICS Quarterly is a newsletter designed to communicate GSICS activities to all GSICS members and partners, as well as to satellite data users and policy makers.
Emergent Monopoles in a Dilute Polymer Solution
Creators: name: Frost, Randall S.
name: Frost, Keiko
Publisher: name: figshare
Year: 2015
Subjects: subject: 90301 Biomaterials
subject: FOS: Medical engineering
subject: 91209 Polymers and Plastics
subject: FOS: Materials engineering
subject: 20203 Particle Physics
subject: FOS: Physical sciences
subject: 20201 Atomic and Molecular Physics
subject: 29901 Biological Physics
subject: FOS: Biological sciences
subject: 29999 Physical Sciences not elsewhere classified
subject: 30399 Macromolecular and Materials Chemistry not elsewhere classified
subject: FOS: Chemical sciences
subject: 30502 Natural Products Chemistry
subject: 30799 Theoretical and Computational Chemistry not elsewhere classified
subject: 91210 Timber, Pulp and Paper

description: Considers the papermaking process as a phase separation process in which an emergent monopole is separated out of a dilute polymer slurry. Examines the thicknesses of 123 paper samples prepared over the course of 100 years and in different parts of the world. Obtains a value of 149 microns for the monopole wavelength (in agreement with the value predicted by R. S. Frost in the companion paper) and demonstrates the monopole's sensitivity to the presence of paramagnetic and diamagnetic particles in the slurry.
Trapping of a Post-Emergent Magnetic Monopole via the Water Ice Hydrogen Bond
Creators: name: Frost, Randall S.
Publisher: name: figshare
Year: 2016
Subjects: subject: 91210 Timber, Pulp and Paper
subject: FOS: Materials engineering
subject: Condensed Matter Physics
subject: FOS: Physical sciences
subject: 20203 Particle Physics
subject: Atomic Physics
subject: Quantum Mechanics
subject: General Relativity
subject: Thermodynamics
subject: 20201 Atomic and Molecular Physics
subject: 20404 Electronic and Magnetic Properties of Condensed Matter; Superconductivity
subject: Environmental Science
subject: Climate Science
subject: 40104 Climate Change Processes
subject: FOS: Earth and related environmental sciences
subject: 40105 Climatology (excl. Climate Change Processes)
subject: 40406 Magnetism and Palaeomagnetism
subject: Molecular Physics
subject: 30304 Physical Chemistry of Materials
subject: FOS: Chemical sciences
subject: 30702 Radiation and Matter
subject: 20104 Galactic Astronomy
subject: 20199 Astronomical and Space Sciences not elsewhere classified

description: The trapping of a post-emergent 2.012 THz magnetic monopole by the hydrogen bond in water ice is shown to result in the binding of the monopole to a paramagnetic dioxygen molecule, the release of a hydrogen atom, and the release of a quantum of energy equal to 0.008 eV. Detrapping of the monopole, meanwhile, can result from industrial processes such as paper manufacturing that break and reform hydrogen bonds. The implications of these results for climate change models are briefly discussed.
High-spin structures of $^{136}_{54}$Xe, $^{137}_{55}$Cs, $^{138}_{56}$Ba, $^{139}_{57}$La, and $^{140}_{58}$Ce : A shell model description
Creators: name: Srivastava, P. C.
name: Ermamatov, M. J.
name: Morales, Irving O.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In the present work recently available experimental data [A. Astier et al, Phys. Rev. C 85, 064316 (2012)] for high-spin states of five N=82 isotones, $^{136}_{54}$Xe, $^{137}_{55}$Cs, $^{138}_{56}$Ba, $^{139}_{57}$La, and $^{140}_{58}$Ce have been interpreted with state-of-the-art shell model calculations. The calculations have been performed in the 50-82 valence shell composed of $1g_{7/2}$, $2d_{5/2}$, $1h_{11/2}$, $3s_{1/2}$, and $2d_{3/2}$ orbitals. We have compared our results with the available experimental data for excitation energies including high-spin states, occupancy numbers and transition probabilities. As expected the structure of these isotones are due to proton excitations across Z=50 shell. The structure of the positive-parity states are mainly from $(πg_{7/2}πd_{5/2})^n$ and $(πg_{7/2}πd_{5/2})^{n-2}(πh_{11/2})^2$ configurations, while the negative-parity states have $(πg_{7/2}πd_{5/2})^{n}(πh_{11/2})^1$ configuration. Additionally, for the $^{136}_{54}$Xe, $^{137}_{55}$Cs and $^{138}_{56}$Ba isotones the excitation of the neutrons across N=82 gap is important.
description: 14 pages, 6 figures
Mutual information and Bose-Einstein condensation
Creators: name: Gagatsos, C. N.
name: Karanikas, A. I.
name: Kordas, G. I.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: In the present work we are studying a bosonic quantum field system at finite temperature, and at zero and non-zero chemical potential. For a simple spatial partition we derive the corresponding mutual information, a quantity that measures the total amount of information of one of the parts about the other. In order to find it, we first derive the geometric entropy corresponding to the specific partition and then we substract its extensive part which coincides with the thermal entropy of the system. In the case of non-zero chemical potential, we examine the influence of the underlying Bose-Einstein condensation on the behavior of the mutual information, and we find that its thermal derivative possesses a finite discontinuity at exactly the critical temperature.
ENVIRONMENTAL ETHICS IN JAINISM
Creators: name: SINGH, RAJKISHOR
Publisher: name: figshare
Year: 2023
Subjects: Asian history

description: Many such lectures are found in the metaphysics of Jainism - which is close to environmental ethics. Why has there been so much discrepancy in the environment? The simplest answer to this question would be that the epistemology that developed after the Enlightenment and the Industrial Revolution assumed that the utility of material things was merely that of being a means of human luxuries. The current environmental anomaly is the result of this utilitarian approach toward the physical world. The physical world in which land, water, air, sky, etc. are contained - this is the objective attitude towards them.
Die Befestigungsanlagen auf dem Plateau des Runden Berges
Creators: name: Spors-Gröger, Silvia
name: Böhner, Kurt
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2019

description: Fundberichte aus Baden-Württemberg, Bd. 22 Nr. 1 (1998): Fundberichte aus Baden-Württemberg
Ein Münzfund des 12. Jahrhunderts aus Müllheim, Kreis Breisgau-Hochschwarzwald
Creators: name: Schmaedecke, Michael
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2019

description: Fundberichte aus Baden-Württemberg, Bd. 22 Nr. 1 (1998): Fundberichte aus Baden-Württemberg
Jürgen Richter, Der G-Schichten-Komplex der Sesselfehgrotte: Zum Verständnis des Micoquien
Creators: name: Pasda, Clemens
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2019

description: Rezension zu: Jürgen Richter, Der G-Schichten-Komplex der Sesselfehgrotte: Zum Verständnis des Micoquien. Saarbrücken: Saarbrücker Druckerei und Verlag 1997 (Sesselfelsgrotte III, Quartärbibliothek 7); 473 Seiten, 190 Abbildungen, 75 Tabellen, 102 Tafeln.
description: Fundberichte aus Baden-Württemberg, Bd. 22 Nr. 1 (1998): Fundberichte aus Baden-Württemberg
Ein Blick in Pseudoisidors Werkstatt. Studien zum Entstehungsprozess der falschen Dekretalen. Mit einem exemplarischen editorischen Anhang (Pseudo-Julius an die orientalischen Bischöfe, JK †196)
Creators: name: Zechiel-Eckes, Klaus
Publisher: name: Francia
Year: 2019

description: Francia, Bd. 28 Nr. 1 (2001)
Radial Reduction and Cubic Interaction for Higher Spins in (A)dS space
Creators: name: Manvelyan, Ruben
name: Mkrtchyan, Ruben
name: Ruehl, Werner
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present a new version of the radial reduction formalism to obtain a cubic interaction of higher spin gauge fields in $AdS_{d+1}$ space from the corresponding cubic interaction in a flat $d+2$ dimensional background. We modify the radial reduction procedure proposed previously by T. Biswas and W. Siegel in 2002 and applied to the free higher spin Lagrangian by K. Hallowell and A. Waldron in 2005. This modified radial reduction scheme is applied to interacting massless higher spin fields in Fronsdal's formulation, and all results are expressed in a direct $AdS_{d+1}$ invariant way with $AdS$ covariant derivatives. We present a consistent algorithm and define new procedure to obtain all corrections proportional to powers of the cosmological constant, and apply these to the main term of the cubic self-interaction.
description: Latex, 30 pages,v2 references added
Multi-Level Modeling of Quotation Families Morphogenesis
Creators: name: Omodei, Elisa
name: Poibeau, Thierry
name: Cointet, Jean-Philippe
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computers and Society (cs.CY)
subject: Computation and Language (cs.CL)
subject: Social and Information Networks (cs.SI)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: This paper investigates cultural dynamics in social media by examining the proliferation and diversification of clearly-cut pieces of content: quoted texts. In line with the pioneering work of Leskovec et al. and Simmons et al. on memes dynamics we investigate in deep the transformations that quotations published online undergo during their diffusion. We deliberately put aside the structure of the social network as well as the dynamical patterns pertaining to the diffusion process to focus on the way quotations are changed, how often they are modified and how these changes shape more or less diverse families and sub-families of quotations. Following a biological metaphor, we try to understand in which way mutations can transform quotations at different scales and how mutation rates depend on various properties of the quotations.
description: Published in the Proceedings of the ASE/IEEE 4th Intl. Conf. on Social Computing "SocialCom 2012", Sep. 3-5, 2012, Amsterdam, NL
Mueller-Navelet small-cone jets at LHC in next-to-leading BFKL
Creators: name: Caporale, Francesco
name: Ivanov, Dmitry Yu.
name: Murdaca, Beatrice
name: Papa, Alessandro
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We consider within QCD collinear factorization the process $p+p\to {\rm jet} +{\rm jet} +X$, where two forward high-$p_T$ jets are produced with a large separation in rapidity $Δy$ (Mueller-Navelet jets). In this case the (calculable) hard part of the reaction receives large higher-order corrections $\sim α^n_s (Δy)^n$, which can be accounted for in the BFKL approach with next-to-leading logarithmic accuracy, including contributions $\sim α^n_s (Δy)^{n-1}$. We calculate several observables related with this process, using the next-to-leading order jet vertices, recently calculated in the approximation of small aperture of the jet cone in the pseudorapidity-azimuthal angle plane.
description: 25 pages, 8 figures, 11 tables; some text added in Sections 1 (Introduction) and 4 (Discussion), including a few new references; version to appear on Nuclear Physics B
Homotopical resolutions associated to deformable adjunctions
Creators: name: Blumberg, Andrew J.
name: Riehl, Emily
Publisher: name: arXiv
Year: 2012
Subjects: subject: Algebraic Topology (math.AT)
subject: Category Theory (math.CT)
subject: FOS: Mathematics
subject: 55U35, 55P65

description: Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to the monad and comonad of the adjunction. We discuss applications of these resolutions to spectral sequences for derived completions and Goodwillie calculus in general model categories.
description: 22 pages; v2 is the final journal version, with expository improvements suggested by the referee
Ground-state phase diagram of a spin-1/2 frustrated ferromagnetic XXZ chain: Haldane dimer phase and gapped/gapless chiral phases
Creators: name: Furukawa, Shunsuke
name: Sato, Masahiro
name: Onoda, Shigeki
name: Furusaki, Akira
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The ground-state phase diagram of a spin-1/2 XXZ chain with competing ferromagnetic nearest-neighbor (J_1<0) and antiferromagnetic second-neighbor (J_2>0) exchange couplings is studied by means of the infinite time evolving block decimation algorithm and effective field theories. For the SU(2)-symmetric (Heisenberg) case, we show that the nonmagnetic phase in the range -4
description: 22 pages, 21 figures. Selected for an Editors' suggestion in Phys. Rev. B
Characteristic classes in deformation quantization
Creators: name: Willwacher, Thomas
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics

description: In deformation quantization one can associate five characteristic functions to (stable) formality morphisms on cochains and chains and to "two-brane" formality morphisms. We show that these characteristic functions agree.
Winfried Heinemann, Norbert Wiggershaus (Hg.), Das Internationale Krisenjahr 1956. Polen, Ungarn, Suez. Im Auftrag des Militärischen Forschungsamtes, 1999
Creators: name: Lappenküper, Ulrich
Publisher: name: Francia
Year: 2019

description: Francia, Bd. 28 Nr. 3 (2001)
Controlled Initiation Of Twinning In Magnesium During Indentation
Creators: name: Zambaldi, Claudio
name: Zehnder, Christoffer
name: Raabe, Dierk
Publisher: name: Zenodo
Year: 2014
Subjects: magnesium
EBSD
indentation
nanoindentation
single crystal
plasticity
twinning
dislocations

description: Indentation in single grains of coarse grained pure magnesium with a 90° conical indenter (tip radius 1 μm) and 50 mN to 900 mN maximum loads. Topographies were characterized by confocal white light microscopy; the ND-IPF representations of the topographies and microstructures follow Zambaldi and Raabe (2010) Acta Mater, see http://czam.de/sx-indent
description: This poster was awarded the first poster prize at the ICOTOM17 conference out of about 70 contributions.
Quantum Phase Transitions and the ν=5/2 Fractional Hall State in Wide Quantum Wells
Creators: name: Papic, Z.
name: Haldane, F. D. M.
name: Rezayi, E. H.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We study the nature of the ν=5/2 quantum Hall state in wide quantum wells under the mixing of electronic subbands and Landau levels. We introduce a general method to analyze the Moore-Read Pfaffian state and its particle-hole conjugate, the anti-Pfaffian, under periodic boundary conditions in a "quartered" Brillouin zone scheme containing both even and odd numbers of electrons. We examine the rotational quantum numbers on the torus, and show spontaneous breaking of the particle-hole symmetry can be observed in finite-size systems. In the presence of electronic-subband and Landau-level mixing the particle-hole symmetry is broken in such a way that the anti-Pfaffian is unambiguously favored, and becomes more robust in the vicinity of a transition to the compressible phase, in agreement with recent experiments.
description: 4.5 pages, 3 figures
No Stripped Hydrogen in the Nebular Spectra of Nearby Type Ia Supernova 2011fe
Creators: name: Shappee, Benjamin J.
name: Stanek, K. Z.
name: Pogge, R. W.
name: Garnavich, P. M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: A generic prediction of the single-degenerate model for Type Ia supernovae (SNe Ia) is that a significant amount of material will be stripped from the donor star (~0.5 Msun for a giant donor and ~0.15 Msun for a main sequence donor) by the supernova ejecta. This material, excited by gamma-rays from radioactive decay, would then produce relatively narrow (1000 km s-1) emission features observable once the supernova enters the nebular phase. Such emission has never been detected, which already provides strong constraints on Type Ia progenitor models. In this Letter we report the deepest limit yet on the presence of H-alpha emission originating from the stripped hydrogen in the nebular spectrum of a Type Ia supernova obtained using a high signal-to-noise spectrum of the nearby normal SN Ia 2011fe 274 days after B-band maximum light with the Large Binocular Telescope's Multi-Object Double Spectrograph. We put a conservative upper limit on the H-alpha flux of 3.14 x 10^-17 erg s-1 cm-2, which corresponds to a luminosity of 1.57 x 10^35 erg s-1. By scaling models from the literature, our flux limit translates into an upper limit of 0.001 Msun of stripped material. This is an order of magnitude stronger than previous limits. SN 2011fe was a typical Type Ia supernova, special only in its proximity, and we argue that lack of hydrogen emission in its nebular spectrum adds yet another strong constraint on the single degenerate class of models for SNe Ia.
description: 13 pages, 4 figures, 1 table. Accepted by ApJL. For a brief video explaining this paper, see http://youtu.be/teE6wgoJkmw
Additional file 1 of Investigation of Interaction between the Spike Protein of SARS-CoV-2 and ACE2-Expressing Cells Using an In Vitro Cell Capturing System
Creators: name: Shang, Yuning
name: Chen, Feixiang
name: Li, Shasha
name: Song, Lijuan
name: Gao, Yunzhen
name: Yu, Xinhua
name: Zheng, Junfeng
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: 60506 Virology

description: Additional file 1.
Additional file 2 of Successful implementation of a trans-jurisdictional, primary care, anticipatory care planning intervention for older adults at risk of functional decline: interviews with key health professionals
Creators: name: Corry, Dagmar Anna S.
name: Carter, Gillian
name: Doyle, Frank
name: Fahey, Tom
name: Gillespie, Patrick
name: McGlade, Kieran
name: O’Halloran, Peter
name: O’Neill, Nina
name: Wallace, Emma
name: Brazil, Kevin
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases

description: Additional file 2. The TIDieR (Template for Intervention Description and Replication) Checklist
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Creators: name: Conchon, Sylvain
name: Contejean, Evelyne
name: Iguernelala, Mohamed
Publisher: name: arXiv
Year: 2012
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1, G.4

description: AC-completion efficiently handles equality modulo associative and commutative function symbols. When the input is ground, the procedure terminates and provides a decision algorithm for the word problem. In this paper, we present a modular extension of ground AC-completion for deciding formulas in the combination of the theory of equality with user-defined AC symbols, uninterpreted symbols and an arbitrary signature disjoint Shostak theory X. Our algorithm, called AC(X), is obtained by augmenting in a modular way ground AC-completion with the canonizer and solver present for the theory X. This integration rests on canonized rewriting, a new relation reminiscent to normalized rewriting, which integrates canonizers in rewriting steps. AC(X) is proved sound, complete and terminating, and is implemented to extend the core of the Alt-Ergo theorem prover.
description: 30 pages, full version of the paper TACAS'11 paper "Canonized Rewriting and Ground AC-Completion Modulo Shostak Theories" accepted for publication by LMCS (Logical Methods in Computer Science)
Additional file 1 of Successful implementation of a trans-jurisdictional, primary care, anticipatory care planning intervention for older adults at risk of functional decline: interviews with key health professionals
Creators: name: Corry, Dagmar Anna S.
name: Carter, Gillian
name: Doyle, Frank
name: Fahey, Tom
name: Gillespie, Patrick
name: McGlade, Kieran
name: O’Halloran, Peter
name: O’Neill, Nina
name: Wallace, Emma
name: Brazil, Kevin
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases

description: Additional file 1. Consolidated criteria for reporting qualitative studies (COREQ): 32-item checklist.
The lesson of causal discovery algorithms for quantum correlations: Causal explanations of Bell-inequality violations require fine-tuning
Creators: name: Wood, Christopher J.
name: Spekkens, Robert W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: An active area of research in the fields of machine learning and statistics is the development of causal discovery algorithms, the purpose of which is to infer the causal relations that hold among a set of variables from the correlations that these exhibit. We apply some of these algorithms to the correlations that arise for entangled quantum systems. We show that they cannot distinguish correlations that satisfy Bell inequalities from correlations that violate Bell inequalities, and consequently that they cannot do justice to the challenges of explaining certain quantum correlations causally. Nonetheless, by adapting the conceptual tools of causal inference, we can show that any attempt to provide a causal explanation of nonsignalling correlations that violate a Bell inequality must contradict a core principle of these algorithms, namely, that an observed statistical independence between variables should not be explained by fine-tuning of the causal parameters. In particular, we demonstrate the need for such fine-tuning for most of the causal mechanisms that have been proposed to underlie Bell correlations, including superluminal causal influences, superdeterminism (that is, a denial of freedom of choice of settings), and retrocausal influences which do not introduce causal cycles.
description: 29 pages, 28 figs. New in v2: a section presenting in detail our characterization of Bell's theorem as a contradiction arising from (i) the framework of causal models, (ii) the principle of no fine-tuning, and (iii) certain operational features of quantum theory; a section explaining why a denial of hidden variables affords even fewer opportunities for causal explanations of quantum correlations
Additional file 1 of Carers’ experiences of assistive technology use in dementia care: a cross sectional survey
Creators: name: Sriram, Vimal
name: Jenkinson, Crispin
name: Peters, Michele
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.
How can we predict the natural disaster of Flooding?
Creators: name: Barkschat, Jens
Publisher: name: Zenodo
Year: 2023

description: This is the submission for the 2022 Data Science for Natural Science Conference at the University of Applied Sciences Kufstein. The presentation provides an insight of the root causes of flooding and anticipation measurements. In addition, the presentation overs different machine learning algorithms for the prediction.
description: #flooding #naturaldisaster #ML #Prediction #naturalscience #MachineLearning
Hamiltonian dynamics of Lovelock black holes with spherical symmetry
Creators: name: Kunstatter, Gabor
name: Maeda, Hideki
name: Taves, Tim
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We consider spherically symmetric black holes in generic Lovelock gravity. Using geometrodynamical variables we do a complete Hamiltonian analysis, including derivation of the super-Hamiltonian and super-momentum constraints and verification of suitable boundary conditions for asymptotically flat black holes. Our analysis leads to a remarkably simple fully reduced Hamiltonian for the vacuum gravitational sector that provides the starting point for the quantization of Lovelock block holes. Finally, we derive the completely reduced equations of motion for the collapse of a spherically symmetric charged, self-gravitating complex scalar field in generalized flat slice (Painlevé-Gullstrand) coordinates.
description: 53 pages, including two major appendices; some typos fixed; version published in CQG
É. Husson, Comprendre Hitler et la Shoah. Les Historiens de la République fédérale d'Allemagne et l'identité allemande depuis 1949. Préface de I. Kershaw, 2000
Creators: name: Corbin, Anne-Marie
Publisher: name: Francia
Year: 2019

description: Francia, Bd. 29 Nr. 3 (2002)
K.-H. Frieser, Ardennen – Sedan. Militärhistorischer Führer durch eine europäische Schicksalslandschaft, hg. vom Militärgeschichtlichen Forschungsamt, 2000
Creators: name: Spivak, Marcel
Publisher: name: Francia
Year: 2019

description: Francia, Bd. 29 Nr. 3 (2002)
The Rarita-Schwinger Particles Under de Influence of Strong Magnetic Fields
Creators: name: de Paoli, M. G.
name: Menezes, D. P.
name: Castro, L. B.
name: Barros, C. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this work, we calculate the solutions of the Rarita-Schwinger equation with the inclusion of the eletromagnetic interaction. Our gauge and coupling prescription choices lead to Dirac-type solutions. One of the consequences of our results are the Landau level occupation of particles, quite different from the usual spin 1/2 particle system occupation numbers.
description: 12 pages
Luminosity Function from dedicated SDSS-III and MMT data of quasars in 0.7
Creators: name: Palanque-Delabrouille, N.
name: Magneville, Ch.
name: Yeche, Ch.
name: Eftekharzadeh, S.
name: Myers, A. D.
name: Petitjean, P.
name: Paris, I.
name: Aubourg, E.
name: McGreer, I.
name: Fan, X.
name: Dey, A.
name: Schlegel, D.
name: Bailey, S .
name: Bizayev, D.
name: Bolton, A.
name: Dawson, K.
name: Ebelke, G.
name: Malanushenko, E.
name: Malanushenko, V.
name: Oravetz, D.
name: Pan, K.
name: Ross, N. P.
name: Schneider, D. P.
name: Sheldon, E.
name: Simmons, A.
name: Tinker, J.
name: White, M.
name: Willmer, Ch.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present a measurement of the quasar luminosity function in the range 0.682.15. Using pure luminosity evolution models, we fitted our LF measurements, and predicted quasar number counts as a function of redshift and observed magnitude. These predictions are useful inputs for future cosmology surveys such as those relying on the observation of quasars to measure baryon acoustic oscillations.
description: 15 pages, 14 figs, accepted for publication in A&A
Status of Ishioka Geodetic Observing Station
Creators: name: Takagi, Yu
name: Ishigaki, Masafumi
name: Nakakuki, Tomokazu
name: Yoshifuji, Hiroyuki
name: Honda, Masaki
name: Mori, Katsuhiro
name: Sato, Yudai
Publisher: name: Zenodo
Year: 2023

description: The Ishioka 13-m telescope at the Ishioka Geodetic Observing Station (hereafter Ishioka station), operated by the Geospatial Information Authority of Japan, has participated in the IVS sessions since 2015. Currently, the Ishioka station is involved in VGOS observations for several months a year and in legacy S/X observations for the rest of the year by switching their respective receivers. The VGOS period, which was initially three months, was extended to six months in 2022. We at the Ishioka station are actively involved in the following aspects: the issue of polarization, the installation of new recording systems and local-tie surveys. Firstly, we are now exploring measures that could help receive both VGOS and S/X bands by the broad-band receiver currently used for only VGOS observations. The measures will help us to eliminate the interruption period necessary to switch receivers. Since the problem of RFI in the S-band was fixed by installing the superconducting filters in the receiver, the remaining challenge is how to handle the polarization. This is because the polarization is different between VGOS and S/X observations. In addition to the method conducted by the IVS in which the correlator processes both linear and circular polarizations, we are investigating a way of converting linear polarizations to circular one at the recording system. Secondly, we are preparing to install a new sampler DBBC3 and a recording system FlexBuff. At the Ishioka station, ADS3000+ developed by NICT is currently used, but the issue is that new servers connectable to it are no longer available. We will begin adjusting the new systems after they arrive in March 2023 and will use them as soon as possible. Thirdly, we are carrying out local-tie surveys regularly to estimate the local-tie vector between the reference points of the telescopes and the IGS GNSS station operated at the Ishioka station. The results of the 2018 and 2020 surveys were submitted to the IERS to contribute to the construction of ITRF2020. The surveys were also conducted in 2021 and 2022 and they are under calculation. In this presentation, we will report the current status and near future prospects of the Ishioka Geodetic Observing Station.
I. Gorguet, Les mouvements pacifistes et la réconciliation franco-allemande dans les années vingt (1919-1931), 1999
Creators: name: Müller, Guido
Publisher: name: Francia
Year: 2019

description: I. Gorguet, Les mouvements pacifistes et la réconciliation franco-allemande dans les années vingt (1919-1931), 1999 (G. Müller)
description: Francia, Bd. 30 Nr. 3 (2003)
Per una storia dei santuari cristiani d'Italia: approcci regionali. Atti del convegno »I santuari cristiani dell'Italia settentrionale e centrale«, Trento 2–5 giugno 1999, hg. von G. Cracco, 2002
Creators: name: Von Der Nahmer, Dieter
Publisher: name: Francia
Year: 2019

description: Francia, Bd. 31 Nr. 1 (2004)
Supersymmetric reduced minimal 3-3-1 model
Creators: name: Huong, D. T.
name: Hue, L. T.
name: Rodriguez, M. C.
name: Long, H. N.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We build an supersymmetric version of the minimal 3-3-1 model with just two Higgs triplets using the superfield formalism. We study the mass spectrum of all particles in concordance with the experimental bounds. At the tree level, the masses of charged gauge bosons are the same as those of charged Higgs bosons. We also show that the electron, muon and their neutrinos as well as down and strange quarks gain mass through the loop correction. The narrow constraint on the ratio t_w = \frac{w}{w^\prime} is given by studying the new invisible decay mode of the Z boson.
description: Journal version, 4 pictures are added for more details in explanation the generating masses of leptons
SEFSC Coral Reef Program, FY 2013 project accomplishments report.
Creators: name: Schull, Jennifer Clifford
Publisher: name: U.S. Department of Commerce, National Oceanic and Atmospheric Administration, National Marine Fisheries Service, Southeast Fisheries Science Center
Year: 2014
Subjects: subject: Coral Reef Conservation Program (U.S.)--Management
subject: Coral Reef Conservation Program (U.S.)--Officials and employees--Florida
subject: Coral reef conservation--Florida

description: The NOAA Coral Reef Conservation Program (CRCP) is a matrix program operating across four NOAA line offices: National Ocean Service (NOS), National Marine Fisheries Service (NMFS), National Environmental Satellite, Data, and Information Service (NESDIS), and Oceanic and Atmospheric Research (OAR) and is administered by NOS. The program supports coral reef regions of the United States (U.S.), has an international component, and is integrated with other federal agencies, states, territories and commonwealths, and local governments. Recommendations from a 2007 external program review, along with the subsequent planning process (the 'roadmap') and a change in leadership in 2011, have shaped the recent history of the CRCP, including the genesis of the National Coral Reef Monitoring Plan (NCRMP), the Coral Program's 'national status and trends' monitoring program. The Southeast Fisheries Science Center (SEFSC) has been a leader in coral reef conservation science since 1978. Congress passed the Coral Reef Conservation Act in 2000 and SEFSC dovetailed its management-relevant coral reef science with the fledgling NOAA CRCP. SEFSC maintains a strong coral reef science program and continues to deliver high-caliber, peer-reviewed science in support of coral reef conservation and management and other NMFS mandates to conserve the nation's fisheries, essential fish habitat, and protected species. The reauthorization of the Magnuson-Stevens Fishery Conservation and Management Act (2006) puts a heavier burden on data quality in many coral reef ecosystems. Additionally, the listing of two Atlantic corals as threatened under the Endangered Species Act (ESA) in 2006, and a petition to list an additional 83 species of coral in 2009, underscores the importance of NMFS as a critical regulatory authority to effect change in coral reefs
Machine‐learning algorithms predict soil seed bank persistence from easily available traits
Creators: name: Rosbakh, Sergey
name: Pichler, Maximilian
name: Poschlod, Peter
name: Török, Péter
Publisher: name: Universität Regensburg
Year: 2022
Subjects: subject: artificial intelligence, persistence, predictive modeling, random forest, seed, soil, trait
subject: 570 Biowissenschaften, Biologie
subject: 580 Pflanzen (Botanik)

description: Question Soil seed banks (SSB), i.e. pools of viable seeds in the soil and on its surface, play a crucial role in plant biology and ecology. Information on seed persistence in soil is of great importance for fundamental and applied research, yet compiling data sets on this trait still requires enormous efforts. We asked whether the machine-learning (ML) approach could be used to infer and predict SSB properties of a regional flora based on easily available data. Location Eighteen calcareous grasslands located along an elevational gradient of almost 2000 m in the Bavarian Alps, Germany. Methods We compared a commonly used ML model (random forest) with a conventional model (linear regression model) as to their ability to predict SSB presence/absence and density using empirical data on SSB characteristics (environmental, seed traits and phylogenetic predictors). Further, we identified the most important determinants of seed persistence in soil for predicting qualitative and quantitative SSB characteristics using the ML approach. Results We demonstrated that the ML model predicts SSB characteristics significantly better than the linear regression model. A single set of predictors (either environment, or seed traits, or phylogenetic eigenvectors) was sufficient for the ML model to achieve high performance in predicting SSB characteristics. Importantly, we established that a few widely available SSB predictors can achieve high predictive power in the ML approach, suggesting a high flexibility of the developed approach for use in various study systems. Conclusions Our study provides a novel methodological approach that combines empirical knowledge on the determinants of SSB characteristics with a modern, flexible statistical approach based on ML. It clearly demonstrates that ML can be developed into a key tool to facilitate labor-intensive, costly and time-consuming functional trait research.
Signal Analysis based on Complex Wavelet Signs
Creators: name: Storath, Martin
name: Demaret, Laurent
name: Massopust, Peter
Publisher: name: arXiv
Year: 2012
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 42C40, 94A12, 44A15

description: We propose a signal analysis tool based on the sign (or the phase) of complex wavelet coefficients, which we call a signature. The signature is defined as the fine-scale limit of the signs of a signal's complex wavelet coefficients. We show that the signature equals zero at sufficiently regular points of a signal whereas at salient features, such as jumps or cusps, it is non-zero. At such feature points, the orientation of the signature in the complex plane can be interpreted as an indicator of local symmetry and antisymmetry. We establish that the signature rotates in the complex plane under fractional Hilbert transforms. We show that certain random signals, such as white Gaussian noise and Brownian motions, have a vanishing signature. We derive an appropriate discretization and show the applicability to signal analysis.
Additional file 1 of Different resting-state network disruptions in newly diagnosed drug-naïve Parkinson’s disease patients with mild cognitive impairment
Creators: name: Hou, Yanbing
name: Wei, Qianqian
name: Ou, Ruwei
name: Zhang, Lingyu
name: Yuan, Xiaoqin
name: Gong, Qiyong
name: Shang, Huifang
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1.
Random walk kernels and learning curves for Gaussian process regression on random graphs
Creators: name: Urry, Matthew
name: Sollich, Peter
Publisher: name: arXiv
Year: 2012
Subjects: subject: Machine Learning (stat.ML)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: We consider learning on graphs, guided by kernels that encode similarity between vertices. Our focus is on random walk kernels, the analogues of squared exponential kernels in Euclidean spaces. We show that on large, locally treelike, graphs these have some counter-intuitive properties, specifically in the limit of large kernel lengthscales. We consider using these kernels as covariance matrices of e.g.\ Gaussian processes (GPs). In this situation one typically scales the prior globally to normalise the average of the prior variance across vertices. We demonstrate that, in contrast to the Euclidean case, this generically leads to significant variation in the prior variance across vertices, which is undesirable from the probabilistic modelling point of view. We suggest the random walk kernel should be normalised locally, so that each vertex has the same prior variance, and analyse the consequences of this by studying learning curves for Gaussian process regression. Numerical calculations as well as novel theoretical predictions for the learning curves using belief propagation make it clear that one obtains distinctly different probabilistic models depending on the choice of normalisation. Our method for predicting the learning curves using belief propagation is significantly more accurate than previous approximations and should become exact in the limit of large random graphs.
ACER: A Framework on the Use of Mathematics in Upper-division Physics
Creators: name: Caballero, Marcos D.
name: Wilcox, Bethany R.
name: Pepper, Rachel E.
name: Pollock, Steven J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Physics Education (physics.ed-ph)
subject: FOS: Physical sciences

description: At the University of Colorado Boulder, as part of our broader efforts to transform middle- and upper-division physics courses, we research students' difficulties with particular concepts, methods, and tools in classical mechanics, electromagnetism, and quantum mechanics. Unsurprisingly, a number of difficulties are related to students' use of mathematical tools (e.g., approximation methods). Previous work has documented a number of challenges that students must overcome to use mathematical tools fluently in introductory physics (e.g., mapping meaning onto mathematical symbols). We have developed a theoretical framework to facilitate connecting students' difficulties to challenges with specific mathematical and physical concepts. In this paper, we motivate the need for this framework and demonstrate its utility for both researchers and course instructors by applying it to frame results from interview data on students' use of Taylor approximations.
description: 10 pages, 1 figures, 2 tables, accepted to the 2012 PERC Proceedings
»On ne parlait que de ces quatre esclaves«. Zu den Debatten der französischen Historiographie im 18. und 19. Jahrhundert um das Standbild Ludwigs XIV. auf der Pariser Place des Victoires
Creators: name: Ziegler, Hendrik
Publisher: name: Francia
Year: 2019

description: Francia, Bd. 31 Nr. 2 (2004)