cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Trend in childhood obesity reflects socioeconomic status in Argentina
Creators: name: Orden, Alicia B.
name: Lamarque, Muriel S.
name: Apezteguía, María C.
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy

description: Background: Surveillance of childhood obesity is essential to guide preventive policies and interventions. Aim: To analyse trends in overweight and obesity by socioeconomic status (SES) in Argentinian schoolchildren during the last decade. Subjects and methods: Two cross-sectional studies in schoolchildren aged 6–12 years were compared. The first study was conducted in 2005/07 (n = 1418) and the second one in 2015/16 (n = 1366). Overweight and obesity were estimated by the International Obesity Task Force (IOTF) cut-offs. The type of school (public/private) and parental education level were used as measures of SES. Data were analysed by linear and logistic regression with survey year, type of school, parental education level, and sex as independent variables. Results: From 2005 to 2016 overweight and obesity increased by 7.3% and 5.0%, respectively. The change was significantly higher in boys (9.6% and 8.3%) and girls (9.6% and 5.4%) from public schools, and in children whose fathers had low (10% and 8.3%) and middle (9.0% and 5.5%) education levels. No significant changes were found in children attending private school or those whose fathers had a higher education level. Conclusions: Obesity is still increasing in this population. SES disparities are strongly associated with this trend, with stabilisation in children from high SES.
$g$-matrix folding-model approach to reaction cross sections for scattering of Ca isotopes on a C target
Creators: name: Tagami, Shingo
name: Tanaka, Masaomi
name: Takechi, Maya
name: Fukuda, Mitsunori
name: Yahiro, Masanobu
Publisher: name: arXiv
Year: 2019
Subjects: subject: Nuclear Theory (nucl-th)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: We first predict the ground-state properties of Ca isotopes, using the Gogny-D1S Hartree-Fock-Bogoliubov (GHFB) with and without the angular momentum projection (AMP). We find that $^{64}$Ca is an even-dripline nucleus and $^{59}$Ca is an odd-dripline nucleus, using $A$ dependence of the one-neutron separation energy $S_{1}$ and the two-neutron separation energy, $S_{2}$. As for $S_{1}$, $S_{2}$ and the binding energies $E_{\rm B}$, our results agree with the experimental data in $^{40-58}$Ca. As other ground-state properties of $^{40-60,62,64}$Ca, we predict charge, proton, neutron, matter radii, neutron skin and deformation. As for charge radii, our results are consistent with the experimental data in $^{40-52}$Ca. For $^{48}$Ca, our results on proton, neutron, matter radii agree with the experimental data. Very lately, Tanaka et. al. measured interaction cross sections for $^{42-51}$Ca scattering on a $^{12}$C target at an incident energy per nucleon of $E_{\rm lab}=280$MeV. Secondly, we predict reaction cross sections $σ_{\rm R}$ for $^{40-60,62,64}$Ca, using a chiral $g$-matrix double-folding model (DFM). To show the reliability of the present DFM for $σ_{\rm R}$, we apply the DFM for the data on $^{12}$C scattering on $^{9}$Be, $^{12}$C, $^{27}$Al targets in $30 < E_{\rm lab} < 400 $MeV, and show that the present DFM is good in $30 < E_{\rm lab} < 100 $MeV and $250 < E_{\rm lab} < 400 $MeV. For $110 < E_{\rm lab} < 240 $MeV, our results have small errors. To improve the present DFM for $σ_{\rm R}$, we propose two prescriptions.
Families of elliptic curves with genus 2 covers of degree 2
Creators: name: Diem, Claus
Publisher: name: arXiv
Year: 2003
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14H45

description: We study genus 2 covers of relative elliptic curves over an arbitrary base in which 2 is invertible. Particular emphasis lies on the case that the covering degree is 2. We show that the data in the "basic construction" of genus 2 covers of relative elliptic curves determine the cover in a unique way (up to isomorphism). A classical theorem says that a genus 2 cover of an elliptic curve of degree 2 over a field of characteristic different from 2 is birational to a product of two elliptic curves over the projective line. We formulate and prove a generalization of this theorem for the relative situation. We also prove a Torelli theorem for genus 2 curves over an arbitrary base.
description: 27 pages; final version
Igornichthys Heyler 1972
Creators: name: Štamberg, Stanislav
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Actinopterygii
Palaeonisciformes
Aeduellidae
Igornichthys

description: Genus Igornichthys Heyler, 1972
 TYPE SPECIES. — Igornichthys doubingeri Heyler, 1972.
 INCLUDED SPECIES. — Igornichthys doubingeri Heyler, 1972; I. bohemicus n. sp.
GEOLOGIC AND GEOGRAPHIC DISTRIBUTION. — Lower Permian, Autunian Basin, Krkonoše Piedmont Basin.
EMENDED DIAGNOSIS. — Supraorbital canal traverses across the frontal to the dermopterotic. One long dermosphenotic dorsally borders the orbit. Maxilla with a large maxillary plate and conspicuous postero-ventral angle, and strong mandibular. Operculum of oblong shape. Branchiostegal rays narrow and numerous. Body elongated. The outer surface of the scales is ornamented with one or two sharply pointed spines that are oriented in posteroventrad direction.
REMARKS
 The first description of Igornichthys introduced by Heyler (1969) included the following diagnosis of the genus: “Maxillaire à plaque postérieure assez forte, se courbant vers le bas en arrière; mandibule forte, non élevée à l’arrière; opercule et sous-opercule assez étroits; préopercule de forme imprécise, mais courbant en avant en sa partie supérieure; rayons branchiostèges étroits et nombreux; corps allongé, pelvienne s’attachant vers la 9 e rangée d’écailles; écailles portant une ornementation très particulière formée d’une ou deux pointes dirigées postérieurement et un peu vers le bas, plaquées sur la surface de l’écaille”. Heyler (1969) unfortunately neglected to designate a type species, but resolved this situation when he designated Igornichthys doubingeri Heyler, 1972 as the type species of the genus Igornichthys Heyler, 1972. According to the International Code of Zoological nomenclature (ICZN: art. 11.9.3) this is considered an unavailable name, and the genus Igornichthys became valid after the designation of the type species in 1972. Heyler (1969) thus provided a diagnosis of the genus Igornichthys only from the characters of I. doubingeri. The current author is convinced that the new species from the Bohemian Massif belongs to the genus Igornichthys, but differs in some characters from the type species.
description: Published as part of Štamberg, Stanislav, 2016, A new actinopterygian species of Igornichthys Heyler, 1972 from the Permian of the Krkonoše Piedmont Basin (Bohemian Massif, Czech Republic), and its relationship to the actinopterygians of other European Permo- Carboniferous basins, pp. 475-488 in Geodiversitas 38 (4) on page 477, DOI: 10.5252/g2016n4a1, http://zenodo.org/record/5208526
Protocols to Code: Formal Verification of a Next-Generation Internet Router
Creators: name: Pereira, João C.
name: Klenze, Tobias
name: Giampietro, Sofia
name: Limbeck, Markus
name: Spiliopoulos, Dionysios
name: Wolf, Felix
name: Eilers, Marco
name: Sprenger, Christoph
name: Basin, David
name: Müller, Peter
name: Perrig, Adrian
Publisher: name: ETH Zurich
Year: 2024

description: arXiv
Additional file 1 of Effect of advance care planning video on do-not-hospitalize orders for nursing home residents with advanced illness
Creators: name: McCreedy, Ellen M.
name: Yang, Xiaofei
name: Mitchell, Susan L.
name: Gutman, Roee
name: Teno, Joan
name: Loomer, Lacey
name: Moyo, Patience
name: Volandes, Angelo
name: Gozalo, Pedro L.
name: Belanger, Emmanuelle
name: Ogarek, Jessica
name: Mor, Vincent
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Biotechnology
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Science Policy
subject: Computational Biology

description: Additional file 1.
Energiewende: kommunale und regionale Handlungsmöglichkeiten
Creators: name: Gisler, Lina
name: Björnsen, Astrid
name: Bowman, Gillianne
name: Buchecker, Matthias
name: Burg, Vanessa
name: Hersperger, Anna
name: Hunziker, Marcel
name: Salak, Boris
name: Schulz, Tobias
name: Seidl, Irmi
Publisher: name: ETH Zurich
Year: 2024

description: Mehrjährige Forschungsarbeiten der WSL zu erneuerbaren Energien können Antworten liefern auf Fragen wie die folgenden: Wovon hängt die Akzeptanz von Anlagen für die Erzeugung erneuerbarer Energie ab und wie lässt sich die Akzeptanz steigern? Was vereinfacht die Planung solcher Anlagen und wie fördert der Einbezug der Bevölkerung ihren Ausbau? Was können Gemeinden tun? Welche Rahmenbedingungen auf nationaler und kantonaler Ebene sind förderlich? Insbesondere angesprochen von diesen Ergebnissen sind Energie- und Planungsbeauftragte von Gemeinden, Regionalverbänden, Kantonen und Bund, Energieund Umweltverbände, Ingenieur- und Planungsbüros sowie die interessierte Öffentlichkeit.
description: Merkblatt für die Praxis, 75
description: ISSN:1422-2876
description: ISSN:2296-4428
2014 Cooperative Congressional Election Survey (CCES)
Creators: name: Massachussetts Institute Of Technology
name: The Institute For Quantitative Study Of The Social Sciences, Harvard University
Publisher: name: Roper Center for Public Opinion Research
Year: 2021

description: Registered to vote (1); various types of media respondent has engaged with recently (1); nation's economy has gotten better/worse over past year (1); change in household income over past few years (1); invasion of Iraq (2); job performance of various political figures (7); party with majority of seats in various government bodies (3); ever heard of various political figures (4); trust in district's Representative in Congress to do what is right (1); vote in 2012 general presidential election (2); various proposals related to gun regulation (5); what United States should do about immigration (1); various proposals related to abortion (5); support for Affordable Care Act (ACA) (3); various proposals related to budget policies (5); various proposals related to environmental policies (4); favor/oppose legalizing same-sex marriage (1); support/oppose affirmative action (1); prefer Congress cut domestic spending/cut defense spending/raise taxes (2); support/oppose various bills considered by Congress (5); rating various individuals/groups (20); political partisanship (2); intend to vote in 2014 midterm election (1); US Senator race candidates (6); governor race candidates (3); general election for US House of Representatives candidates (3); importance of religion (1); attending religious services (1); praying (1); political ideology (1); military involvement (1); member of labor union (2); following government/public affairs (1); stock market investments (1); health insurance (2).
Cost-benefit analysis and the SPS Agreement
Creators: name: Sinner, Jim
name: Sinner, Jim
Publisher: name: Unknown
Year: 1999
Subjects: subject: Demand and Price Analysis
subject: Production Economics
subject: Risk and Uncertainty
subject: SPS Agreement
subject: risk assessment
subject: cost-benefit analysis
subject: ascertainable risk
subject: consistency
subject: appropriate level of protection

description: The WTO Agreement on the Application of Sanitary and Phytosanitary Measures requires member governments to base trade measures on scientific risk assessment. Relevant assessment factors include the costs of entry and establishment of pests, including costs of controlling such pests, but the benefits of importing risk goods appear to be excluded from consideration. This exclusion may be desirable in order to promote consistency and to reduce the chances of measures being used for protectionist purposes. However excluding benefits goes against economic logic, which suggests that both benefits and costs should be considered when choosing the appropriate level of protection from risk. The paper reviews recent economic literature on the use of cost-benefit analysis, the relevant clauses of the SPS Agreement, and recent rulings in disputes over SPS measures. Tensions between economics and the SPS Agreement are identified and a possible resolution is suggested.
Semantic Image Completion and Enhancement using Deep Learning
Creators: name: Chandak, Vaishnav
name: Saxena, Priyansh
name: Pattanaik, Manisha
name: Kaushal, Gaurav
Publisher: name: arXiv
Year: 2019
Subjects: subject: Image and Video Processing (eess.IV)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: In real-life applications, certain images utilized are corrupted in which the image pixels are damaged or missing, which increases the complexity of computer vision tasks. In this paper, a deep learning architecture is proposed to deal with image completion and enhancement. Generative Adversarial Networks (GAN), has been turned out to be helpful in picture completion tasks. Therefore, in GANs, Wasserstein GAN architecture is used for image completion which creates the coarse patches to filling the missing region in the distorted picture, and the enhancement network will additionally refine the resultant pictures utilizing residual learning procedures and hence give better complete pictures for computer vision applications. Experimental outcomes show that the proposed approach improves the Peak Signal to Noise ratio and Structural Similarity Index values by 2.45% and 4% respectively when compared to the recently reported data.
description: 6 pages, 8 figures. Proceedings of "The 10th International Conference on Computing, Communication and Networking Technologies (ICCCNT)". Conference Proceedings ISBN Number: ISBN: 978-1-5386-5906-9; Link: https://ieeexplore.ieee.org/document/8944750
Porpoceras Buckman 1911
Creators: name: Jattiot, Romain
name: Fara, Emmanuel
name: Brayard, Arnaud
name: Vennin, Emmanuelle
Publisher: name: Zenodo
Year: 2016
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Cephalopoda
Ammonoidea
Dactylioceratidae
Porpoceras

description: Genus Porpoceras Buckman, 1911
 TYPE SPECIES. — Ammonites vortex Simpson, 1855 by monotypy.
description: Published as part of Jattiot, Romain, Fara, Emmanuel, Brayard, Arnaud & Vennin, Emmanuelle, 2016, Revised stratigraphic range of the Toarcian ammonite genus Porpoceras Buckman, 1911, pp. 505-513 in Geodiversitas 38 (4) on page 508, DOI: 10.5252/g2016n4a3, http://zenodo.org/record/5208344
The intrinsic derivative and centrifugal forces in general relativity: II. Applications to circular orbits in some familiar stationary axisymmetric spacetimes
Creators: name: Bini, Donato
name: Carini, Paolo
name: Jantzen, Robert T
Publisher: name: arXiv
Year: 2001
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The tools developed in a preceding article for interpreting spacetime geometry in terms of all possible space-plus-time splitting approaches are applied to circular orbits in some familiar stationary axisymmetric spacetimes. This helps give a more intuitive picture of their rotational features including spin precession effects, and puts related work of Abramowicz, de Felice, and others on circular orbits in black hole spacetimes into a more general context.
description: 59 pages latex 2.09, uses ijmpd.sty macros, pictex, epsf.sty for 10 eps figures; typographical corrections made compared to published version
Semileptonic decays $B/B_s \to (D^{(*)},D_s^{(*)}) l ν_l$ in the PQCD approach with the lattice QCD input
Creators: name: Hu, Xue-Qing
name: Jin, Su-Ping
name: Xiao, Zhen-Jun
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: In this paper, we studied the semileptonic $B/B_s \to (D^{(*)},D_s^{(*)}) lν_l$ decays in the framework of the standard model (SM) , by employing the perturbative QCD (PQCD) factorization formalism combining with the lattice QCD inputs of the relevant transition form factors. We calculated the branching ratios ${\cal B}(B_{(s)} \to D_{(s)}^{(*)} l ν_l )$ with $l=(e,μ.τ)$ , the ratios of the branching ratios $R(D^{(*)})$ and $R(D_s^{(*)} )$ and other physical observables $P_τ(D_{(s)}^{(*)})$, $F_L(D^*_{(s)})$ and $A_{FB}(τ)$. The "PQCD+Lattice" predictions for ${\cal B}(B \to D^{(*)} lν_l)$ and $R(D^{(*)})$ do agree well with those currently available experimental measurements within the errors. For the ratios $R(D_s)$ and $R(D_s^*)$, the "PQCD+Lattice" predictions agree well with other known predictions. For both $P_τ(D^*)$ and $F_L(D^*)$, our theoretical predictions agree well with the measured values within errors. Our theoretical predictions about the considered semileptonic $B/B_s$ decays could be tested in the near future LHCb and the Belle II experiments.
description: 25 pages, 3 figures and 6 tables. Figures 2 and 3 are modified, some modifications for text. To be published in Chinese Physics C
Non-constant curves of genus 2 with infinite pro-Galois covers
Creators: name: Diem, Claus
name: Frey, Gerhard
Publisher: name: arXiv
Year: 2003
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14H30

description: For every odd prime number p, we give examples of non-constant smooth families of genus 2 curves over fields of characteristic p which have pro-Galois (pro-étale) covers of infinite degree with geometrically connected fibers. The Jacobians of the curves are isomorphic to products of elliptic curves.
description: 28 pages; as published
QIIME2 code and artifacts
Creators: name: Chakaroun, Rima
Publisher: name: figshare
Year: 2021
Subjects: subject: Computational Biology
subject: Molecular Biology
subject: 110899 Medical Microbiology not elsewhere classified
subject: FOS: Health sciences

description: QIIME 2 commands and related artifacts for Chakaroun et al.:Far from the gut but still relevant? Circulating bacterial signature is linked to metabolic disease and shifts with metabolic alleviation after bariatric surgery
Mechanical Systems with Poincare Invariance
Creators: name: Braden, H. W.
name: Byatt-Smith, J. G. B.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Some years ago Ruijsenaars and Schneider initiated the study of mechanical systems exhibiting an action of the Poincare algebra. The systems they discovered were far richer: their models were actually integrable and possessed a natural quantum version. We follow this early work finding and classifying mechanical systems with such an action. New solutions are found together with a new class of models exhibiting an action of the Galilean algebra. These are related to the functional identities underlying the various Hirzebruch genera. The quantum mechanics is also discussed.
description: 10 pages LaTex, 1 figure
Bairdia reniformis Margerie 1967
Creators: name: Guernet, Claude
name: Villier, Loïc
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Bairdiidae
Bairdia
Bairdia reniformis

description: Bairdia reniformis Margerie, 1967
(Fig. 2K)
 Bairdia reniformis Margerie, 1967: 19, 20, pl. 1, fig. 20, pl. 3, fig. 18, cellules MA 17, 18.
 Bairdia cf. reniformis – Damotte in Guillevin 1977: 61.
REMARQUES
 B. reniformis est représentée par 20 valves ou carapaces longues d’ 1 mm environ pour les plus grandes. Selon P. Margerie, ces valves sont moins larges et moins bombées que celles de Bairdoppilata campanensis, n. comb. (voir plus loin pour cette espèce). En outre, en vue interne, les denticulations ou alvéoles des extrémités des quelques valves isolées sont absentes. Ces deux espèces ne sont donc même pas congénériques.
description: Published as part of Guernet, Claude & Villier, Loïc, 2017, Les ostracodes de la collection de P. Margerie et l'âge des couches à Laffittéines du Mont Aimé (bassin de Paris, France), pp. 225-249 in Geodiversitas 39 (2) on page 231, DOI: 10.5252/g2017n2a4, http://zenodo.org/record/5206009
Late time cosmic acceleration in modified Sáez-Ballester theory
Creators: name: Rasouli, S. M. M.
name: Pacheco, R.
name: Sakellariadou, M.
name: Moniz, P. V.
Publisher: name: arXiv
Year: 2019
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We establish an extended version of the modified Sáez-Ballester (SB) scalar-tensor theory in arbitrary dimensions whose energy momentum tensor as well as potential are pure geometrical quantities. This scenario emerges by means of two scalar fields (one is present in the SB theory and the other is associated with the extra dimension) which widens the scope of the induced-matter theory. Moreover, it bears a close resemblance to the standard Sáez-Ballester scalar-tensor theory, as well as other alternative theories to general relativity, whose construction includes either a minimally or a non-minimally coupled scalar field. However, contrary to those theories, in our framework the energy momentum tensor and the scalar potential are not added by hand, but instead are dictated from the geometry. Concerning cosmological applications, our herein contribution brings a new perspective. We firstly show that the dark energy sector can be naturally retrieved within a strictly geometric perspective, and we subsequently analyze it. Moreover, our framework may provide a hint to understand the physics of lower gravity theories.
description: 19 pages, 1 figure
Trend in childhood obesity reflect socioeconomic status in Argentina
Creators: name: Orden, Alicia B.
name: Lamarque, Muriel S.
name: Apezteguía, María C.
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy

description: Background: Surveillance of childhood obesity is essential to guide preventive policies and interventions. Aim: To analyse trends in overweight and obesity by socioeconomic status (SES) in Argentinian schoolchildren during the last decade. Subjects and methods: Two cross-sectional studies in schoolchildren aged 6–12 years were compared. The first study was conducted in 2005/07 (n = 1418) and the second one in 2015/16 (n = 1366). Overweight and obesity were estimated by the International Obesity Task Force (IOTF) cut-offs. The type of school (public/private) and parental education level were used as measures of SES. Data were analysed by linear and logistic regression with survey year, type of school, parental education level, and sex as independent variables. Results: From 2005 to 2016 overweight and obesity increased by 7.3% and 5.0%, respectively. The change was significantly higher in boys (9.6% and 8.3%) and girls (9.6% and 5.4%) from public schools, and in children whose fathers had low (10% and 8.3%) and middle (9.0% and 5.5%) education levels. No significant changes were found in children attending private school or those whose fathers had a higher education level. Conclusions: Obesity is still increasing in this population. SES disparities are strongly associated with this trend, with stabilisation in children from high SES.
ABSTRACT.docx
Creators: name: John, Agboola
Publisher: name: figshare
Year: 2019
Subjects: subject: 210305 British History
subject: FOS: History and archaeology

description: "The Charter I will sign today, on behalf of you all, represents a significant milestone as the Commonwealth continues its journey of development and renewal … It will light the path of all those involved in the work of the Commonwealth, and of those who follow in our footsteps."HM Queen Elizabeth II, Commonwealth Day, 11 March 2013.
Wormholes supported by pure ghost radiation
Creators: name: Hayward, Sean A.
Publisher: name: arXiv
Year: 2002
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Traversible wormhole space-times are found as static, spherically symmetric solutions to the Einstein equations with ingoing and outgoing pure ghost radiation, i.e. pure radiation with negative energy density. Switching off the radiation causes the wormhole to collapse to a Schwarzschild black hole.
description: 3 revtex pages
Aster: Fixing the Android TEE Ecosystem with Arm CCA
Creators: name: Kuhne, Mark
name: Sridhara, Supraja
name: Bertschi, Andrin
name: Dutly, Nicolas
name: Capkun, Srdjan
name: Shinde, Shweta
Publisher: name: ETH Zurich
Year: 2024
Subjects: Cryptography and Security (cs.CR)
FOS: Computer and information sciences

description: arXiv
Supplementary document for Snapshot Angle-Resolved Channeled Spectroscopic Micro-Ellipsometry for Thin-Film Characterization - 7433720.pdf
Creators: name: Kim, Youngjoon
name: Lee, Se Jun
name: Pahk, Heui Jae
Publisher: name: Optica Publishing Group
Year: 2025
Subjects: Uncategorized

description: Comparison of thickness measurement results for all samples using FT-based and proposed methods
Converting ALC Connection Proofs into ALC Sequents
Creators: name: Palmeira, Eunice
name: Freitas, Fred
name: Otten, Jens
Publisher: name: arXiv
Year: 2019
Subjects: subject: Symbolic Computation (cs.SC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the description logic ALC. However, proofs generated by connection calculi are difficult to understand. Proof readability is largely lost by the transformations to disjunctive normal form applied over the formulae to be proven. Such a proof model, albeit efficient, prevents inference systems based on it from effectively providing justifications and/or descriptions of the steps used in inferences. To address this problem, in this paper we propose a method for converting matricial proofs generated by the ALC connection method to ALC sequent proofs, which are much easier to understand, and whose translation to natural language is more straightforward. We also describe a calculus that accepts the input formula in a non-clausal ALC format, what simplifies the translation.
description: In Proceedings PxTP 2019, arXiv:1908.08639. Thanks to CAPES: Coordination for the Improvement of Higher Level Personnel
how did the commonwealth operate without a constitution prior to 2012?
Creators: name: John, Agboola
Publisher: name: figshare
Year: 2019
Subjects: subject: 210305 British History
subject: FOS: History and archaeology

description: The British Commonwealth of Nations is one of the oldest international organizations of states in existence. Its uniqueness lies in its unbroken historical continuity, the loyalty of its members to each other, their solidarity on vital matters of common concern, the fluidity of their machinery for dealing with such matters, and their strong agreement and adherence to judgement without any reference to constitutional contracts within the family of the Commonwealth. These are its features so far as we can see them yet in the perspective of history. This dissertation will discuss some of these features in line with the context of the topic given: HOW DID THE COMMONWEALTH OPERATE WITHOUT A CONSTITUTION UNTIL 2012?.
Paracypris Sars 1866
Creators: name: Guernet, Claude
name: Villier, Loïc
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Candonidae
Paracypris

description: Paracypris ? sp. B
 Paracypris ? sp. B – Margerie 1967: 24, 25, pl. 2, fig. 3, pl. 3, fig. 22, cellule MA 25.
REMARQUES
Les 12 valves et carapaces de la collection de P. Margerie sont en mauvais état de conservation. Leur attribution spécifique ne peut être précisée.
description: Published as part of Guernet, Claude & Villier, Loïc, 2017, Les ostracodes de la collection de P. Margerie et l'âge des couches à Laffittéines du Mont Aimé (bassin de Paris, France), pp. 225-249 in Geodiversitas 39 (2) on page 232, DOI: 10.5252/g2017n2a4, http://zenodo.org/record/5206009
Testing the"no-hair" nature of binary black holes using the consistency of multipolar gravitational radiation
Creators: name: Islam, Tousif
name: Mehta, Ajit Kumar
name: Ghosh, Abhirup
name: Varma, Vijay
name: Ajith, Parameswaran
name: Sathyaprakash, B. S.
Publisher: name: arXiv
Year: 2019
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Gravitational-wave (GW) observations of binary black holes offer the best probes of the relativistic, strong-field regime of gravity. Gravitational radiation, in the leading order is quadrupolar. However, non-quadrupole (higher-order) modes make appreciable contribution to the radiation from binary black holes with large mass ratios and misaligned spins. The multipolar structure of the radiation is fully determined by the intrinsic parameters (masses and spin angular momenta of the companion black holes) of a binary in quasi-circular orbit. Following our previous work \cite{Dhanpal:2018ufk}, we develop multiple ways of testing the consistency of the observed GW signal with the expected multipolar structure of radiation from binary black holes in general relativity. We call this a "no-hair" test of binary black holes as this is similar to testing the "no-hair" theorem for isolated black holes through mutual consistency of the quasi-normal mode spectrum. We use Bayesian inference on simulated GW signals that are consistent/inconsistent with binary black holes in GR to demonstrate the power of the proposed tests. We also make estimate systematic errors arising as a result of neglecting companion spins.
description: 10 pages, 13 figures
Gauge conditions for long-term numerical black hole evolutions without excision
Creators: name: Alcubierre, Miguel
name: Bruegmann, Bernd
name: Diener, Peter
name: Koppitz, Michael
name: Pollney, Denis
name: Seidel, Edward
name: Takahashi, Ryoji
Publisher: name: arXiv
Year: 2002
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Numerical relativity has faced the problem that standard 3+1 simulations of black hole spacetimes without singularity excision and with singularity avoiding lapse and vanishing shift fail after an evolution time of around 30-40M due to the so-called slice stretching. We discuss lapse and shift conditions for the non-excision case that effectively cure slice stretching and allow run times of 1000M and more.
description: 19 pages, 14 figures, REVTeX, Added a missing Acknowledgment
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
Creators: name: Ekici, Burak
name: Viswanathan, Arjun
name: Zohar, Yoni
name: Barrett, Clark
name: Tinelli, Cesare
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This work is a part of an ongoing effort to prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors, which are used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver CVC4. While many of these were proved in a completely automatic fashion for any bit-width, some were only proved for bit-widths up to 65, even though they are being used to solve formulas over arbitrary bit-widths. In this paper we describe our initial efforts in proving a subset of these invertibility conditions in the Coq proof assistant. We describe the Coq library that we use, as well as the extensions that we introduced to it.
description: In Proceedings PxTP 2019, arXiv:1908.08639. Presented as an extended abstract
Blazar Flaring Rates Measured with GLAST
Creators: name: Dermer, C. D.
name: Dingus, B. L.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We derive the minimum observing time scales to detect a blazar at a given flux level with the LAT on GLAST in the scanning and pointing modes. Based upon Phase 1 observations with EGRET, we predict the GLAST detection rate of blazar flares at different flux levels. With some uncertainty given the poor statistics of bright blazars, we predict that a blazar flare with integral flux >~ 200e-8 ph(> 100 MeV) cm^{-2} s^{-1}, which are the best candidates for Target of Opportunity pointings and extensive temporal and spectral studies, should occur every few days.
description: 7 pages, 2 figures, in 2nd VERITAS Symposium on TeV Astrophysiscs, ed. L. Fortson and S. Swordy, in press, New Astronomy Reviews
Formal Foundations for Translational Separation Logic Verifiers (extended version)
Creators: name: Dardinier, Thibault
name: Sammler, Michael
name: Parthasarathy, Gaurav
name: Summers, Alexander J.
name: Müller, Peter
Publisher: name: ETH Zurich
Year: 2024
Subjects: Programming Languages (cs.PL)
FOS: Computer and information sciences

description: Program verification tools are often implemented as front-end translations of an input program into an intermediate verification language (IVL) such as Boogie, GIL, Viper, or Why3. The resulting IVL program is then verified using an existing back-end verifier. A soundness proof for such a translational verifier needs to relate the input program and verification logic to the semantics of the IVL, which in turn needs to be connected with the verification logic implemented in the back-end verifiers. Performing such proofs is challenging due to the large semantic gap between the input and output programs and logics, especially for complex verification logics such as separation logic.
This paper presents a formal framework for reasoning about translational separation logic verifiers. At its center is a generic core IVL that captures the essence of different separation logics. We define its operational semantics and formally connect it to two different back-end verifiers, which use symbolic execution and verification condition generation, resp. Crucially, this semantics uses angelic non-determinism to enable the application of different proof search algorithms and heuristics in the back-end verifiers. An axiomatic semantics for the core IVL simplifies reasoning about the front-end translation by performing essential proof steps once and for all in the equivalence proof with the operational semantics rather than for each concrete front-end translation.
We illustrate the usefulness of our formal framework by instantiating our core IVL with elements of Viper and connecting it to two Viper back-ends as well as a front-end for concurrent separation logic. All our technical results have been formalized in Isabelle/HOL, including the core IVL and its semantics, the semantics of two back-ends for a subset of Viper, and all proofs.
description: arXiv
Supplementary Information from Free-energy-based framework for early forecasting of stem cell differentiation
Creators: name: H. Suresh
name: S. S. Shishvan
name: A. Vigliotti
name: V. S. Deshpande
Publisher: name: The Royal Society
Year: 2019
Subjects: subject: Biophysics
subject: Biological Engineering
subject: 110601 Biomechanics
subject: FOS: Health sciences

description: Modelling details
Automatic segmentation strategies for DEM-based rapid thaw monitoring
Creators: name: Maier, Kathrin
name: Bernhard, Philipp
name: Nitze, Ingmar
name: Hajnsek, Irena
Publisher: name: ETH Zurich
Year: 2024
Subjects: Permafrost
Retrogressive Thaw Slumps
Deep Learning
Digital elevation model (DEM) differencing
info:eu-repo/classification/ddc/550
Earth sciences

description: Monitoring Retrogressive Thaw Slumps (RTSs) by means of InSAR-derived Digital Elevation Models (DEMs) allows for the quantification of volumetric change rates and subsequently the estimation of soil organic carbon mobilisation. Applying automatic semantic segmentation methods to detect and map RTSs on DEM difference images enables large-scale investigations on the impact of RTSs on the permafrost carbon cycle. We present our findings from training and testing state-of-the-art Deep Learning models at several test sites across the Arctic and estimating RTS carbon mobilisation rates over the last decade.
description: 12th International Conference on Permafrost Proceedings, Volume 2: Extended Abstracts
EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
Creators: name: Haddad, Mohamed Yacine El
name: Burel, Guillaume
name: Blanqui, Frédéric
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Proof assistants often call automated theorem provers to prove subgoals. However, each prover has its own proof calculus and the proof traces that it produces often lack many details to build a complete proof. Hence these traces are hard to check and reuse in proof assistants. Dedukti is a proof checker whose proofs can be translated to various proof assistants: Coq, HOL, Lean, Matita, PVS. We implemented a tool that extracts TPTP subproblems from a TSTP file and reconstructs complete proofs in Dedukti using automated provers able to generate Dedukti proofs like ZenonModulo or ArchSAT. This tool is generic: it assumes nothing about the proof calculus of the prover producing the trace, and it can use different provers to produce the Dedukti proof. We applied our tool on traces produced by automated theorem provers on the CNF problems of the TPTP library and we were able to reconstruct a proof for a large proportion of them, significantly increasing the number of Dedukti proofs that could be obtained for those problems.
description: In Proceedings PxTP 2019, arXiv:1908.08639
Binary black holes in circular orbits. I. A global spacetime approach
Creators: name: Gourgoulhon, E.
name: Grandclement, P.
name: Bonazzola, S.
Publisher: name: arXiv
Year: 2001
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present a new approach to the problem of binary black holes in the pre-coalescence stage, i.e. when the notion of orbit has still some meaning. Contrary to previous numerical treatments which are based on the initial value formulation of general relativity on a (3-dimensional) spacelike hypersurface, our approach deals with the full (4-dimensional) spacetime. This permits a rigorous definition of the orbital angular velocity. Neglecting the gravitational radiation reaction, we assume that the black holes move on closed circular orbits, which amounts to endowing the spacetime with a helical Killing vector. We discuss the choice of the spacetime manifold, the desired properties of the spacetime metric, as well as the choice of the rotation state for the black holes. As a simplifying assumption, the space 3-metric is approximated by a conformally flat one. The problem is then reduced to solving five of the ten Einstein equations, which are derived here, as well as the boundary conditions on the black hole surfaces and at spatial infinity. We exhibit the remaining five Einstein equations and propose to use them to evaluate the error induced by the conformal flatness approximation. The orbital angular velocity of the system is computed through a requirement which reduces to the classical virial theorem at the Newtonian limit.
description: 26 pages, 4 PostScript figures, extended discussion about regularity and the boundary conditions at the throats, discussion about virial theorem clarified, references added + minor corrections, accepted for publication in Phys. Rev. D
Direction reversing travelling waves in the Fermi-Pasta-Ulam chain
Creators: name: Rink, Bob
Publisher: name: arXiv
Year: 2001
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: This paper considers the famous Fermi-Pasta-Ulam chain with periodic boundary conditions and quartic nonlinearities. Due to special resonances and discrete symmetries, the Birkhoff normal form of this Hamiltonian system is completely integrable. We study how the level sets of the integrals foliate the phase space. Our study reveals all the integrable structure in the low energy domain of the chain. If the number of particles in the chain is even, then this foliation is singular. The method of singular reduction shows that the system has invariant pinched tori and monodromy. Monodromy is an obstruction to the existence of global action-angle variables. The pinched tori are interpreted as homoclinic and heteroclinic connections between travelling waves. Thus we discover a new class of solutions which can be described as direction reversing travelling waves. They remarkably show an interesting interaction of normal modes in the absense of energy transfer. These solutions can easily be observed numerically.
description: 20 pages, 14 figures
Bulletin 2024 zur schweizerischen Sicherheitspolitik
Creators: name: Mäder, Markus
name: Wenger, Andreas
name: Aebi, Simon
name: Renaud, Lucas
name: Dossi, Amos
name: Eigner, Leo
name: Hellmüller, Sara
name: Keller, Flavia
name: Maertens, Lucile
name: Reiners, Sophie
name: Kamberaj, Jurgena
name: Schliesser, Leonard
name: Möckli, Daniel
Publisher: name: ETH Zurich
Year: 2024

description: Bulletin zur schweizerischen Sicherheitspolitik
description: ISSN:1024-0608
description: ISBN:978-3-905696-97-4
G_2 Perfect-Fluid Cosmologies with a proper conformal Killing vector
Creators: name: Mars, Marc
name: Wolf, Thomas
Publisher: name: arXiv
Year: 2002
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study the Einstein field equations for spacetimes admitting a maximal two-dimensional abelian group of isometries acting orthogonally transitively on spacelike surfaces and, in addition, with at least one conformal Killing vector. The three-dimensional conformal group is restricted to the case when the two-dimensional abelian isometry subalgebra is an ideal and it is also assumed to act on non-null hypersurfaces (both, spacelike and timelike cases are studied). We consider both, diagonal and non-diagonal metrics and find all the perfect-fluid solutions under these assumptions (except those already known). We find four families of solutions, each one containing arbitrary parameters for which no differential equations remain to be integrated. We write the line-elements in a simplified form and perform a detailed study for each of these solutions, giving the kinematical quantities of the fluid velocity vector, the energy-density and pressure, values of the parameters for which the energy conditions are fulfilled everywhere, the Petrov type, the singularities in the spacetimes and the Friedmann-Lemaitre-Robertson-Walker metrics contained in each family.
description: Latex, no figures
Direct Measurement Methods of Density Matrix of an Entangled Quantum State
Creators: name: Turek, Yusuf
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In general, the state of a quantum system represented by density operator and its determination is a fundamental problem in quantum mechanics. A method of direct measurement of matrix element of density operator of a single two dimensional quantum system using weak measurement was theoretically proposed[Phys. Rev. Lett. 134, 070402(2012)] and experimentally demonstrated[Phys. Rev. Lett. 117, 120401(2016)] by Lundeen et al. Furthermore, recently the Guo-Guang Can et al.[Phys. Rev. Lett. 123, 150402(2019)] investigated the method of direct measurement of a nonlocal entangled quantum state. However, up to now the methods of directly measure the matrix element of density operator of an entangled quantum state have not been explicitly studied yet. As an extension of previous works, in this study we introduce two theoretical methods such as using postselected weak measurement and sequential measurements of triple products of complementary observables to direct measurement of matrix elements of density operator of two photon entangled quantum system, and discuss the similarity and the feasibility of those methods.
description: 8pages
raw 16S rRNA sequences
Creators: name: Chakaroun, Rima
Publisher: name: figshare
Year: 2021
Subjects: subject: Computational Biology
subject: Molecular Biology
subject: 110899 Medical Microbiology not elsewhere classified
subject: FOS: Health sciences

description: these are commercially acquired raw sequences related to the findings from Chakaroun et al.: Far from the gut but still relevant? Circulating bacterial signature is linked to metabolic disease and shifts with metabolic alleviation after bariatric surgery
Clithrocytheridea Stephenson 1936
Creators: name: Guernet, Claude
name: Villier, Loïc
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Ostracoda
Podocopida
Cytherideidae
Clithrocytheridea

description: Clithrocytheridea ? lamellosareticulata Margerie, 1968 (Fig. 3G)
 Clithrocytheridea ? lamellosa-reticulata Margerie, 1968: 8, 9, pl. 4, fig. 4, pl. 7, fig. 7, cellules MA 26a, b, b’.
REMARQUES
 Représentée par 16 valves dans la collection de P. Margerie, cette espèce a la forme générale et l’ornementation du genre Clithrocytheridea et notamment de son espèce type. Cependant, sa charnière n’est que partiellement visible: l’attribution générique est donc incertaine.
description: Published as part of Guernet, Claude & Villier, Loïc, 2017, Les ostracodes de la collection de P. Margerie et l'âge des couches à Laffittéines du Mont Aimé (bassin de Paris, France), pp. 225-249 in Geodiversitas 39 (2) on page 235, DOI: 10.5252/g2017n2a4, http://zenodo.org/record/5206009
A new proposal for measuring the Lense-Thirring effect with a pair of supplementary satellites in the gravitational field of the Earth
Creators: name: Iorio, Lorenzo
Publisher: name: arXiv
Year: 2002
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Astrophysics (astro-ph)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: In this letter we further analyze the concept of the use of a pair of identical geodetic satellites placed in identical orbits except for the inclinations which should be supplementary for measuring the Lense-Thirring effect in the terrestrial gravitational field. It turns out that not only the sum of the nodes, as already proposed for the LAGEOS-LARES mission, but also the difference of the perigees could be fruitfully adopted.
description: LaTex2e, 6 pages, no figures, 1 table. Minor changes. Accpeted for publication in Physics Letters A