cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Linear stability analysis of a time-divergent slamming flow
Creators: name: van der Meer, Devaraj
Publisher: name: arXiv
Year: 2021
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: When a liquid slams into a solid, the intermediate gas is squeezed out at a speed that diverges when approaching the moment of impact. Although there is mounting experimental evidence that instabilities form on the liquid interface during such an event, understanding of the nature of these instabilities is limited. This study therefore addresses the stability of a liquid-gas interface with surface tension, subject to a diverging flow in the gas phase, where the liquid and the gas phase are both represented as potential fluids. We perform a Kelvin-Helmholtz-type linear modal stability analysis of the surface to obtain an amplitude equation that is subsequently analysed in detail and applied to two cases of interest for impact problems, namely, the parallel impact of a wave onto a vertical wall, and the impact of a horizontal plate onto a liquid surface. In both cases we find that long wavelengths are stabilised considerably in comparison to what may be expected based upon classical knowledge of the stability of interfaces subject to a constant gas flow. In the former case, this leads to the prediction of a marginally stable wavelength that is completely absent in the classical analysis. For the latter we find much resemblance to the classical case, with the connotation that the instability is suppressed for smaller disk sizes. The study ends with a discussion of the influence of gas viscosity and gas compressibility on the respective stability diagrams.
description: 37 pages, 10 figures
Topological floating phase in a spatially anisotropic frustrated Ising model
Creators: name: Kalz, A.
name: Chitov, G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We present new results for the ordering process of a two-dimensional Ising model with anisotropic frustrating next-nearest-neighbor interactions. We concentrate on a specific wide temperature and parameter region to confirm the existence of two particular phases of the model. The first phase is an incommensurate algebraically-ordered (floating) phase emerging at the transition from the paramagnetic high-temperature phase. Then the model undergoes a transition to an antiferromagnetically ordered second phase with diagonal ferromagnetic stripes (ordering wave vector $\vec q = (π/2, π/2)$). We analyze the unconventional features appearing in several observables, e.g., energy, structure factors, and correlation functions by means of extensive Monte-Carlo simulations and examine carefully the influence of the lattice sizes. For the analytical study of the intermediate phase the Villain-Bak theory is adapted for the present model. Combining both the numerical and analytical work we present the quantitative phase diagram of the model, and, in particular, argue in favor of an intermediate topological floating phase.
description: 9 pages, 9 figures
B decays to baryons
Creators: name: Leddig, Torsten
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: From inclusive measurements it is known that about 7% of all $B$ mesons decay into final states with baryons. In these decays, some striking features become visible compared to mesonic decays. The largest branching fractions come with quite moderate multiplicities of 3-4 hadrons. We note that two-body decays to baryons are suppressed relative to three- and four-body decays. In most of these analyses, the invariant baryon-antibaryon mass shows an enhancement near the threshold. We propose a phenomenological interpretation of this quite common feature of hadronization to baryons.
description: Conference proceedings for poster presented at Lepton Photon 2011
Ausgrabungen römischer Alterthümer im Regierungsbezirk Trier im Jahre 1878
Creators: name: Hettner, Felix
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 64 (1878): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Additional file 2 of Estimating case fatality risk of severe Yellow Fever cases: systematic literature review and meta-analysis
Creators: name: Servadio, Joseph L.
name: Muñoz-Zanzi, Claudia
name: Convertino, Matteo
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Science Policy
subject: Computational Biology

description: Additional file 2: Table S2. Laboratory confirmation and symptom definitions used by included articles. Marked symptoms were required for case inclusion, “or__” indicates a set of symptoms where at least one from the set was required, and “some” indicates that some, but not all, cases showed the symptom.
Ueber ein Barbotingefäss der ehemaligen Sammlung Disch
Creators: name: Meier, Jonas Paul
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 71 (1881): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Creators: name: Lehtinen, Karoliina
name: Parys, Paweł
name: Schewe, Sven
name: Wojtczak, Dominik
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, while currently the state-of-the-art algorithms have quasipolynomial complexity. Here, we present a modification of Zielonka's classic algorithm that brings its complexity down to $n^{O\left(\log\left(1+\frac{d}{\log n}\right)\right)}$, for parity games of size $n$ with $d$ priorities, in line with previous quasipolynomial-time solutions.
A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking
Creators: name: Amat, Nicolas
name: Berthomieu, Bernard
name: Zilio, Silvano Dal
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We define a new method for taking advantage of net reductions in combination with a SMT-based model checker. Our approach consists in transforming a reachability problem about some Petri net, into the verification of an updated reachability property on a reduced version of this net. This method relies on a new state space abstraction based on systems of constraints, called polyhedral abstraction. We prove the correctness of this method using a new notion of equivalence between nets. We provide a complete framework to define and check the correctness of equivalence judgements; prove that this relation is a congruence; and give examples of basic equivalence relations that derive from structural reductions. Our approach has been implemented in a tool, named SMPT, that provides two main procedures: Bounded Model Checking (BMC) and Property Directed Reachability (PDR). Each procedure has been adapted in order to use reductions and to work with arbitrary Petri nets. We tested SMPT on a large collection of queries used in the Model Checking Contest. Our experimental results show that our approach works well, even when we only have a moderate amount of reductions.
METHODS OF USING TECHNOLOGIES THAT DEVELOP STUDENTS' CRITICAL THINKING IN THE EDUCATIONAL PROCESS
Creators: name: Nazarova Nilufar Juraevna Senior teacher of Tashkent State Transport University
name: Mansurova Zilola Salokhiddin kizi Student of Sociology at Tashkent State Transport University
Publisher: name: Zenodo
Year: 2023

description: The article is aimed at educating the thinking ability of students and young people, in which the task of education in the current world conditions is to educate young people who can think and have critical thinking skills, the importance of using interactive methods in critical thinking, personal value. An analysis of the stages of the teaching process for the development, self-awareness and realization of the child and its development is given.
Key words: self-awareness, thinking style, critical thinking ability, creative thinking, cognitive activity, communication skills, pedagogical technology.
A Congruence-Based Perspective on Finite Tree Automata
Creators: name: Ganty, Pierre
name: Gutiérrez, Elena
name: Valero, Pedro
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: F.4.3

description: We provide new insights on the determinization and minimization of tree automata using congruences on trees. From this perspective, we study a Brzozowski's style minimization algorithm for tree automata. First, we prove correct this method relying on the following fact: when the automata-based and the language-based congruences coincide, determinizing the automaton yields the minimal one. Such automata-based congruences, in the case of word automata, are defined using pre and post operators. Now we extend these operators to tree automata, a task that is particularly challenging due to the reduced expressive power of deterministic top-down (or equivalently co-deterministic bottom-up) automata. We leverage further our framework to offer an extension of the original result by Brzozowski for word automata.
description: 47 pages, 2 figures
Chiral multicritical points driven by isospin density in the Ginzburg-Landau approach
Creators: name: Iwata, Yuhei
name: Abuki, Hiroaki
name: Suzuki, Katsuhiko
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study how a chiral tricritical point (TCP) on QCD phase diagram is affected by the imbalance of up and down quark densities (isospin density), using the generalized Ginzburg-Landau (GL) approach. The resulting phase diagram near TCP shows a rich fine structure which includes inhomogeneities of both the chiral and the charged pion condensations. It turns out that the TCP splits into multicritical points.
description: 4 pages, 2 eps figures. Presented at QCD@Work 2012: International Workshop on QCD - Theory and Experiment, June 18-21, Lecce (Italy)
Additional file 1 of Production of R- and S-1,2-propanediol in engineered Lactococcus lactis
Creators: name: Sato, Rintaro
name: Ikeda, Motoyuki
name: Tanaka, Tomonari
name: Ohara, Hitomi
name: Aso, Yuji
Publisher: name: figshare
Year: 2021
Subjects: subject: Microbiology
subject: FOS: Biological sciences

description: Additional file 1: The partial sequence of pNZ8048-ppy.
Spin noise of exciton-polaritons in microcavities
Creators: name: Glazov, M. M.
name: Semina, M. A.
name: Sherman, E. Ya.
name: Kavokin, A. V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We develop a theory of spin fluctuations of exciton-polaritons in a semiconductor microcavity under the non-resonant unpolarized pumping. It is shown that the corresponding spin noise is sensitive to the scattering rates in the system, occupation of the ground state, statistics of polaritons, and interactions. The spin noise spectrum drastically narrows in the polariton lasing regime due to formation of a polariton condensate, while its shape can become non-Lorentzian owing to interaction-induced spin decoherence.
description: 5 pages, 2 figures
Crossover in the scaling of island size and capture zone distributions
Creators: name: Oliveira, T. J.
name: Reis, F. D. A. Aarao
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Simulations of irreversible growth of extended (fractal and square) islands with critical island sizes i=1 and 2 are performed in broad ranges of coverage θand diffusion-to-deposition ratios R in order to investigate scaling of island size and capture zone area distributions (ISD, CZD). Large θand small R lead to a crossover from the CZD predicted by the theory of Pimpinelli and Einstein (PE), with Gaussian right tail, to CZD with simple exponential decays. The corresponding ISD also cross over from Gaussian or faster decays to simple exponential ones. For fractal islands, these features are explained by changes in the island growth kinetics, from a competition for capture of diffusing adatoms (PE scaling) to aggregation of adatoms with effectively irrelevant diffusion, which is characteristic of random sequential adsorption (RSA) without surface diffusion. This interpretation is confirmed by studying the crossover with similar CZ areas (of order 100 sites) in a model with freezing of diffusing adatoms that corresponds to i=0. For square islands, deviations from PE predictions appear for coverages near θ=0.2 and are mainly related to island coalescence. Our results show that the range of applicability of the PE theory is narrow, thus observing the predicted Gaussian tail of CZD may be difficult in real systems.
description: 9 pages, 7 figures
Additional file 1 of Pre-existing interstitial lung disease is associated with onset of nivolumab-induced pneumonitis in patients with solid tumors: a retrospective analysis
Creators: name: Yamaguchi, Teppei
name: Shimizu, Junichi
name: Hasegawa, Takaaki
name: Horio, Yoshitsugu
name: Inaba, Yoshitaka
name: Hanai, Nobuhiro
name: Muro, Kei
name: Hida, Toyoaki
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy

description: Additional file 1.
On the p-biharmonic submanifolds and stress p-bienergy tensors
Creators: name: Mouffoki, Khadidja
name: Cherif, Ahmed Mohammed
Publisher: name: arXiv
Year: 2021
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: In this paper, we consider p-biharmonic submanifolds of aspace form. We give the necessary and sufficient conditions for a submanifold to be p-biharmonic in a space form. We present some new properties for the stress p-bienergy tensor.
Antonio Sennis (ed.), Cathars in Question, Woodbridge (The Boydell Press) 2016
Creators: name: Modestin, Georg
Publisher: name: Francia-Recensio
Year: 2018

description: Antonio Sennis (ed.), Cathars in Question, Woodbridge (The Boydell Press) 2016, VIII–332 p. (Heresy and Inquisition in the Middle Ages, 4), ISBN 978-1-903153-68-0, GBP 60,00.
description: Francia-Recensio, 2018/1
Additional file 1 of Care programs and their components for patients with idiopathic pulmonary fibrosis: a systematic review
Creators: name: Delameillieure, Anouk
name: Vandekerkhof, Sarah
name: Van Grootven, Bastiaan
name: Wuyts, Wim A.
name: Dobbels, Fabienne
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. PRISMA checklist 2009.
Additional file 1 of Kaniuwatewara (when we get sick): understanding health-seeking behaviours among the Shawi of the Peruvian Amazon
Creators: name: Bussalleu, Alejandra
name: Pizango, Pedro
name: King, Nia
name: Ford, James
name: Team, I. H. A. C. C. Research
name: Harper, Sherilee L.
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1:. Semi-structured interview guide used to interview participants about their health-seeking behaviours.
Symbol ratio minimax sequences in the lexicographic order
Creators: name: Boyland, Philip
name: de Carvalho, André
name: Hall, Toby
Publisher: name: arXiv
Year: 2013
Subjects: subject: Dynamical Systems (math.DS)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 37B10, 37E45, 68R15

description: Consider the space of sequences of k letters ordered lexicographically. We study the set M(α) of all maximal sequences for which the asymptotic proportions α of the letters are prescribed, where a sequence is said to be maximal if it is at least as great as all of its tails. The infimum of M(α) is called the α-infimax sequence, or the α-minimax sequence if the infimum is a minimum. We give an algorithm which yields all infimax sequences, and show that the infimax is not a minimax if and only if it is the α-infimax for every α in a simplex of dimension 1 or greater. These results have applications to the theory of rotation sets of beta-shifts and torus homeomorphisms.
description: 26 pages. Corrected proof of Theorem 23(b) (previously Theorem 21(b)). Modified after discovering connections with work of Bruin and Troubetzkoy
Optimal controller synthesis for timed systems
Creators: name: Busatto-Gaston, Damien
name: Monmege, Benjamin
name: Reynier, Pierre-Alain
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences
subject: D.2.4

description: Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the cumulative weight while reaching a target. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the quality of controllers in real-time systems. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. For non-negative weights, the largest class that can be analysed has been introduced by Bouyer, Jaziri and Markey in 2015. Though the value problem is undecidable, the authors show how to approximate the value by considering regions with a refined granularity. In this work, we extend this class to incorporate negative weights, allowing one to model energy for instance, and prove that the value can still be approximated, with the same complexity. A small restriction also allows us to obtain a class of decidable weighted timed games with negative weights and an arbitrary number of clocks. In addition, we show that a symbolic algorithm, relying on the paradigm of value iteration, can be used as an approximation/computation schema over these classes. We also consider the special case of untimed weighted games, where the same fragments are solvable in polynomial time: this contrasts with the pseudo-polynomial complexity, known so far, for weighted games without restrictions.
description: arXiv admin note: text overlap with arXiv:1812.01062
title: Consultation on the Evaluation and Determination of Research Programs Submitted for Consideration Under the Endangered Species Act Section 4(d) Rule’s Scientific Research Limit [50 CFR 223.203(b)(7)] and Scientific Research and Monitoring Exemptions [50 CFR 223.210(c)(1)]
titleType: Other
Creators: name: United States. National Marine Fisheries Service
Publisher: name: United States. National Marine Fisheries Service
Year: 2020

description: ESA Section 7 Consultation ; WCRO-2019-03648
Corine Defrance, Catherine Horel, François-Xavier Nérard (dir.), Vaincus! Histoires de défaites. Europe, XIXe–XXe siècles, Paris (nouveau monde éditions) 2016
Creators: name: Heinemann, Winfried
Publisher: name: Francia-Recensio
Year: 2018

description: Corine Defrance, Catherine Horel, François-Xavier Nérard (dir.), Vaincus! Histoires de défaites. Europe, XIXe–XXe siècles, Paris (nouveau monde éditions) 2016, 335 p., 19 n/b fig., 1 tabl. (Histoire nouvelle de l’Europe), ISBN 978-2-36942-465-9, EUR 25,00.
description: Francia-Recensio, 2018/1
Das späthallstattzeitliche Wagengrab von Oberleinach, Ldkr. Würzburg
Creators: name: Müller-Karpe, Hermann
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 31, Nr. 1/2 (1953)
Ein Spangenhelmfund aus dem östlichen Syrmien
Creators: name: Vinski, Zdenko
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 32, Nr. 3 (1954)
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
Creators: name: Bednarczyk, Bartosz
name: Demri, Stéphane
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Adding propositional quantification to the modal logics K, T or S4 is known to lead to undecidability but CTL with propositional quantification under the tree semantics (tQCTL) admits a non-elementary Tower-complete satisfiability problem. We investigate the complexity of strict fragments of tQCTL as well as of the modal logic K with propositional quantification under the tree semantics. More specifically, we show that tQCTL restricted to the temporal operator EX is already Tower-hard, which is unexpected as EX can only enforce local properties. When tQCTL restricted to EX is interpreted on N-bounded trees for some N >= 2, we prove that the satisfiability problem is AExpPol-complete; AExpPol-hardness is established by reduction from a recently introduced tiling problem, instrumental for studying the model-checking problem for interval temporal logics. As consequences of our proof method, we prove Tower-hardness of tQCTL restricted to EF or to EXEF and of the well-known modal logics such as K, KD, GL, K4 and S4 with propositional quantification under a semantics based on classes of trees.
Krönungsordnungen für und Papstbriefe an mächtige Frauen im Hochmittelalter
Creators: name: Kasten, Brigitte
Publisher: name: Vorträge und Forschungen
Year: 2018

description: -
description: Vorträge und Forschungen, Bd. 81 (2015): Vorträge und Forschungen: Mächtige Frauen?
Non-local Poisson structures and applications to the theory of integrable systems
Creators: name: De Sole, Alberto
name: Kac, Victor G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mathematical Physics (math-ph)
subject: Rings and Algebras (math.RA)
subject: Representation Theory (math.RT)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 37K10 (Primary) 35Q53, 17B80, 17B69, 37K30, 17B63 (Secondary)

description: We develop a rigorous theory of non-local Poisson structures, built on the notion of a non-local Poisson vertex algebra. As an application, we find conditions that guarantee applicability of the Lenard-Magri scheme of integrability to a pair of compatible non-local Poisson structures. We apply this scheme to several such pairs, proving thereby integrability of various evolution equations, as well as hyperbolic equations.
description: 120 pages. This paper is an edited version of the merger of the two papers with archive numbers arXiv:1210.1688 and arXiv:1211.2391. Version 2: minor corrections. Added keywords and MSC codes. To appear in the Japanese Journal of Mathematics
Typability and Type Inference in Atomic Polymorphism
Creators: name: Protin, M. Clarence
name: Ferreira, Gilda
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1
subject: 03B15, 03B20, 03B40, 03B70, 03F03

description: It is well-known that typability, type inhabitation and type inference are undecidable in the Girard-Reynolds polymorphic system F. It has recently been proven that type inhabitation remains undecidable even in the predicative fragment of system F in which all universal instantiations have an atomic witness (system Fat). In this paper we analyze typability and type inference in Curry style variants of system Fat and show that typability is decidable and that there is an algorithm for type inference which is capable of dealing with non-redundancy constraints.
Additional file 2 of Care programs and their components for patients with idiopathic pulmonary fibrosis: a systematic review
Creators: name: Delameillieure, Anouk
name: Vandekerkhof, Sarah
name: Van Grootven, Bastiaan
name: Wuyts, Wim A.
name: Dobbels, Fabienne
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2. Final search string in PubMed/Medline.
The location of Asteroidal Belt Comets (ABCs), in a comets' evolutionary diagram: The Lazarus Comets
Creators: name: Ferrin, Ignacio
name: Zuluaga, Jorge
name: Cuartas, Pablo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: There is a group of newly recognized asteroids in the main belt that are exhibiting cometary characteristics. We will call them Asteroidal Belt Comets or ABCs. An analysis of their orbital and physical properties has resulted in the following conclusion: (1) We define the detached group, DG, as objects sublimating water that have aphelion distances Q < 4.5 AU. The detached group contains all the ABCs traditionally recognized, plus a few other members like 2P and 107P. With the above definition there are 11 members of the ABC group: 2P, 107P, 133P, 176P, 233P, 238P, C/2008 R1, C/2010 R2, 2011 CR42, 3200, and 300163 = 2006 VW139. (2) Active objects sublimate ices except collisioned asteroids, CA, P/2010 A2, 596 Scheila, and P/2012 F5 Gibbs, and 3200 Phaethon who was active due to sputtering. (3)We have calibrated the black body (color) temperature of comets vs perihelion distance, R. We find T = 325+-5 K/SQRT(R). (4) Using a mathematical model of the thermal wave we calculate the thickness of the dust layer on comet nuclei as 2.0+-0.5 m for comet 107P, 4.7+-1.2 m for comet 133P and 1.9+-0.5 m for a sample of 9 comets. (5) We have located three ABCs in an evolutionary diagram of Remaining Revolutions, RR, vs Water-Budget Age, WB-AGE. ABCs lie together in the upper right hand corner of the diagram. (6) RR vs WB-AGE defines the region of the graveyard of comets, objects with 1000 cy < WB-AGE (cy stands for comet years). Five members belong to the graveyard, 107P, 133P, 2006 VW139, D/1891 W1 Blanpain and 3200 Phaeton. Thus we propose that the asteroidal belt contains an enormous graveyard of ancient dormant and extinct rocky comets, that turn on (are rejuvenated), in response to a diminution of their perihelion distance.
description: Accepted for publication in Monthly Notices of the Royal Astronomical Society,40 pages, 13 Figures, 5 Tables
On Nonlocal Gross-Pitaevskii Equations with Periodic Potentials
Creators: name: Curtis, Christopher W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: The Gross-Pitaevskii equation is a widely used model in physics, in particular in the context of Bose-Einstein condensates. However, it only takes into account local interactions between particles. This paper demonstrates the validity of using a nonlocal formulation as a generalization of the local model. In particular, the paper demonstrates that the solution of the nonlocal model approaches in norm the solution of the local model as the nonlocal model approaches the local model. The nonlocality and potential used for the Gross-Pitaevskii equation are quite general, thus this paper shows that one can easily add nonlocal effects to interesting classes of Bose-Einstein condensate models. Based on a particular choice of potential for the nonlocal Gross-Pitaevskii equation, we establish the orbital stability of a class of parameter-dependent solutions to the nonlocal problem for certain parameter regimes. Numerical results corroborate the analytical stability results and lead to predictions about the stability of the class of solutions for parameter values outside of the purview of the theory established in this paper.
description: Accepted in Journal of Mathematical Physics
Verified Approximation Algorithms
Creators: name: Eßmann, Robin
name: Nipkow, Tobias
name: Robillard, Simon
name: Sulejmani, Ujkan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing proofs and improve the approximation ratio in one case. All proofs are uniformly invariant based.
4dvarnet models for the reconstruction of SSH fields from SST-SSH synergies
Creators: name: Fablet, Ronan
Publisher: name: Zenodo
Year: 2022
Subjects: SSH mapping, SWOT, deep learning, 4dvarnet

description: Trained models and reconstruction results for multimodal 4dvarnets applied to the reconstruction of SSH fields from SST-SSH synergies Associated preprint: https://arxiv.org/abs/2207.01372 For each model, this archive includes the selected checkpoint of the trained model (*.ckpt files) along with the reconstruction of the SSH fields for the tests dataset (*_res-testdata.nc files). Four models are available: 4dvarnet architecture with a multimodal state and a 20-dimensional non-linear multimodal observation term: modelSLA-4dvarnet-mmstate-sstobs-nolinear-tanh-bn_20.ckpt 4dvarnet architecture with a 3-dimensional linear multimodal observation term: modelSLA-4dvarnet-sstobs-linear-bn_03.ckpt 4dvarnet architecture with a 20-dimensional non-linear multimodal observation term: 4modelSLA-4dvarnet-sstobs-nolinear-tanh-bn_20.ckpt u-net architecture with a multi-modal SST-SSH input: modelSLA-unet-std-DirectInv-wSST.ckpt
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Creators: name: Kirst, Dominik
name: Larchey-Wendling, Dominique
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computation and Language (cs.CL)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non-logical symbols. On the one hand, our development focuses on Trakhtenbrot's theorem, stating that FSAT is undecidable as soon as the signature contains an at least binary relation symbol. Our proof proceeds by a many-one reduction chain starting from the Post correspondence problem. On the other hand, we establish the decidability of FSAT for monadic first-order logic, i.e. where the signature only contains at most unary function and relation symbols, as well as the enumerability of FSAT for arbitrary enumerable signatures. To showcase an application of Trakhtenbrot's theorem, we continue our reduction chain with a many-one reduction from FSAT to separation logic. All our results are mechanised in the framework of a growing Coq library of synthetic undecidability proofs.
description: arXiv admin note: substantial text overlap with arXiv:2004.07390
Automating Legal Research through Data Mining
Creators: name: Firdhous, Mohamed
Publisher: name: arXiv
Year: 2012
Subjects: subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences

description: The term legal research generally refers to the process of identifying and retrieving appropriate information necessary to support legal decision making from past case records. At present, the process is mostly manual, but some traditional technologies such as keyword searching are commonly used to speed the process up. But a keyword search is not a comprehensive search to cater to the requirements of legal research as the search result includes too many false hits in terms of irrelevant case records. Hence the present generic tools cannot be used to automate legal research. This paper presents a framework which was developed by combining several Text Mining techniques to automate the process overcoming the difficulties in the existing methods. Further, the research also identifies the possible enhancements that could be done to enhance the effectiveness of the framework.
description: 8 pages, 11 figures, published in (IJACSA) International Journal of Advanced Computer Science and Applications. arXiv admin note: text overlap with wikipedia entry on text mining
Separating layered treewidth and row treewidth
Creators: name: Bose, Prosenjit
name: Dujmović, Vida
name: Javarsineh, Mehrnoosh
name: Morin, Pat
name: Wood, David R.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Layered treewidth and row treewidth are recently introduced graph parameters that have been key ingredients in the solution of several well-known open problems. It follows from the definitions that the layered treewidth of a graph is at most its row treewidth plus 1. Moreover, a minor-closed class has bounded layered treewidth if and only if it has bounded row treewidth. However, it has been open whether row treewidth is bounded by a function of layered treewidth. This paper answers this question in the negative. In particular, for every integer $k$ we describe a graph with layered treewidth 1 and row treewidth $k$. We also prove an analogous result for layered pathwidth and row pathwidth.
Notuntersuchungen und neue Ergebnisse am römischen Limes bei Osterburken
Creators: name: Mauser, Peter Florian
Publisher: name: Archäologische Nachrichten aus Baden
Year: 2018

description: -
description: Archäologische Nachrichten aus Baden, Bd. 6 (1971): Archäologische Nachrichten aus Baden
Additional file 3 of Care programs and their components for patients with idiopathic pulmonary fibrosis: a systematic review
Creators: name: Delameillieure, Anouk
name: Vandekerkhof, Sarah
name: Van Grootven, Bastiaan
name: Wuyts, Wim A.
name: Dobbels, Fabienne
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Overview of study characteristics.
Formalizing the Face Lattice of Polyhedra
Creators: name: Allamigeon, Xavier
name: Katz, Ricardo D.
name: Strub, Pierre-Yves
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Combinatorics (math.CO)
subject: Optimization and Control (math.OC)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechanism which automatically introduces an appropriate representation of a polyhedron or a face, depending on the context of the proof. We demonstrate the usability of this approach by establishing some of the most important combinatorial properties of faces, namely that they constitute a family of graded atomistic and coatomistic lattices closed under interval sublattices. We also prove a theorem due to Balinski on the $d$-connectedness of the adjacency graph of polytopes of dimension $d$.
Radial dynamics of an encapsulated microbubble with interface energy
Creators: name: Dash, Nehal
name: Tamadapu, Ganesh
Publisher: name: arXiv
Year: 2021
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: In this work, a mathematical model based on interface energy is proposed within the framework of surface continuum mechanics to study the dynamics of encapsulated bubbles. The interface model naturally induces a residual stress field into the bulk of the bubble, with possible expansion/shrinkage from a stress-free configuration to a natural equilibrium configuration. The significant influence of interface area strain and the coupled effect of stretch and curvature is observed in the numerical simulations based on constrained optimization. Due to the bending rigidity related to additional terms, the dynamic interface tension can become negative, but not due to the interface area strain. The coupled effect of interface strain and curvature term observed is new and plays a dominant role in the dominant compression behavior of encapsulated bubbles observed in the experiments. We validate our model by fitting experimental data of $1.7\,μ$m, $1.4\,μ$m, and $1\,μ$m radii bubbles by calculating the optimized parameters. Our work also highlights the role of interface parameters and natural configuration gas pressure in estimating the size-independent viscoelastic material properties of encapsulated bubbles with interesting future developments.
Additional file 4 of Care programs and their components for patients with idiopathic pulmonary fibrosis: a systematic review
Creators: name: Delameillieure, Anouk
name: Vandekerkhof, Sarah
name: Van Grootven, Bastiaan
name: Wuyts, Wim A.
name: Dobbels, Fabienne
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 4. Overview of the research phases.
How Fast Can Quantum Annealers Count?
Creators: name: Hen, Itay
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We outline an algorithm for the Quantum Counting problem using Adiabatic Quantum Computation (AQC). We show that using local adiabatic evolution, a process in which the adiabatic procedure is performed at a variable rate, the problem is solved with the same complexity as the analogous circuit-based algorithm, i.e., quadratically faster than the corresponding classical algorithm. The above algorithm provides further evidence for the potentially powerful capabilities of AQC as a paradigm for more efficient problem solving on a quantum computer, and may be used as the basis for solving more sophisticated problems.
description: 12 pages. No figures
Turbulence modulation in buoyancy-driven bubbly flows
Creators: name: Pandey, Vikash
name: Mitra, Dhrubaditya
name: Perlekar, Prasad
Publisher: name: arXiv
Year: 2021
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We present a Direct Numerical Simulation (DNS) study of buoyancy-driven bubbly flows in the presence of large scale driving that generates turbulence. On increasing the turbulence intensity: (a) the bubble trajectories become more curved, and (b) the average rise velocity of the bubbles decreases. We find that the energy spectrum of the flow shows a pseudo-turbulence scaling for length scales smaller than the bubble diameter and a Kolmogorov scaling for scales larger than the bubble diameter. We conduct a scale-by-scale energy budget analysis to understand the scaling behaviour observed in the spectrum. Although our bubbles are weakly buoyant, the statistical properties of our DNS are consistent with the experiments that investigate turbulence modulation by air bubbles in water.
Ein Grabhügelfeld der Bronze- und Hallstattzeit bei Oberlauchringen / Ldkrs. Waldshut
Creators: name: Struck, Wolfgang
Publisher: name: Archäologische Nachrichten aus Baden
Year: 2018

description: -
description: Archäologische Nachrichten aus Baden, Bd. 8 (1972): Archäologische Nachrichten aus Baden
Archäologie des Mittelalters, ein neuer Zweig der nordbadischen archäologischen Denkmalspflege
Creators: name: Mauser, Peter Florian
Publisher: name: Archäologische Nachrichten aus Baden
Year: 2018

description: -
description: Archäologische Nachrichten aus Baden, Bd. 8 (1972): Archäologische Nachrichten aus Baden
Additional file 5 of Care programs and their components for patients with idiopathic pulmonary fibrosis: a systematic review
Creators: name: Delameillieure, Anouk
name: Vandekerkhof, Sarah
name: Van Grootven, Bastiaan
name: Wuyts, Wim A.
name: Dobbels, Fabienne
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 5. Quality assessment of included articles according to the Mixed Methods Appraisal Tool.
Bounded Reachability Problems are Decidable in FIFO Machines
Creators: name: Bollig, Benedikt
name: Finkel, Alain
name: Suresh, Amrita
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: The undecidability of basic decision problems for general FIFO machines such as reachability and unboundedness is well-known. In this paper, we provide an underapproximation for the general model by considering only runs that are input-bounded (i.e. the sequence of messages sent through a particular channel belongs to a given bounded language). We prove, by reducing this model to a counter machine with restricted zero tests, that the rational-reachability problem (and by extension, control-state reachability, unboundedness, deadlock, etc.) is decidable. This class of machines subsumes input-letter-bounded machines, flat machines, linear FIFO nets, and monogeneous machines, for which some of these problems were already shown to be decidable. These theoretical results can form the foundations to build a tool to verify general FIFO machines based on the analysis of input-bounded machines.
Structure-dynamics relationship in coherent transport through disordered systems
Creators: name: Mostarda, Stefano
name: Levi, Federico
name: Prada-Gracia, Diego
name: Mintert, Florian
name: Rao, Francesco
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum transport is strongly influenced by interference with phase relations that depend sensitively on the scattering medium. Since even small changes in the geometry of the medium can turn constructive interference to destructive, a clear relation between structure and fast, efficient transport is difficult to identify. Here we present a complex network analysis of quantum transport through disordered systems to elucidate the relationship between transport efficiency and structural organization. Evidence is provided for the emergence of structural classes with different geometries but similar high efficiency. Specifically, a structural motif characterised by pair sites which are not actively participating to the dynamics renders transport properties robust against perturbations. Our results pave the way for a systematic rationalization of the design principles behind highly efficient transport which is of paramount importance for technological applications as well as to address transport robustness in natural light harvesting complexes.
description: 5 pages (main text), 11 figures. Accepted in date July, 11th 2013 by Nature Comm
Evolution of a universe filled with a causal viscous fluid
Creators: name: Chimento, Luis P.
name: Jakubi, Alejandro S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The behaviour of solutions to the Einstein equations with a causal viscous fluid source is investigated. In this model we consider a spatially flat Robertson-Walker metric, the bulk viscosity coefficient is related to the energy density as $ζ= αρ^{m}$, and the relaxation time is given by $ζ/ρ$. In the case $m = 1/2$ we find the exact solutions and we verify whether they satisfy the energy conditions. Besides, we study analytically the asymptotic stability of several families of solutions for arbitrary $m$. We find that the qualitative asymptotic behaviour in the far future is not altered by relaxation processes, but they change the behaviour in the past, introducing singular instead of deflationary evolutions or making the Universe bounce due to the violation of the energy conditions.
description: SILARG VIII
Discontinuous percolation in diffusion-limited cluster aggregation
Creators: name: Cho, Y. S.
name: Kim, Y. W.
name: Kahng, B.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Recently, the diffusion-limited cluster aggregation (DLCA) model was restudied as a real-world example of showing discontinuous percolation transitions (PTs). Because a larger cluster is less mobile in Brownian motion, it comes into contact with other clusters less frequently. Thus, the formation of a giant cluster is suppressed in the DLCA process. All clusters grow continuously with respect to time, but the largest cluster grows drastically with respect to the number of cluster merging events. Here, we study the discontinuous PT occurring in the DLCA model in more general dimensions such as two, three, and four dimensions. PTs are also studied for a generalized velocity, which scales with cluster size $s$ as $v_{s} \propto s^η$. For Brownian motion of hard spheres in three dimensions, the mean relative speed scales as $s^{-1/2}$ and the collision rate $σv_s$ scales as $\sim s^{1/6}$. We find numerically that the PT type changes from discontinuous to continuous as $η$ crosses over a tricritical point $η_{c} \approx 1.2$ (in two dimensions), $η_{c} \approx 0.8$ (in three dimensions), and $η_{c} \approx 0.4$ (in four dimensions). We illustrate the root of this crossover behavior from the perspective of the heterogeneity of cluster-size distribution. Finally, we study the reaction-limited cluster aggregation (RLCA) model in the Brownian process, in which cluster merging takes place with finite probability $r$. We find that the PTs in two and three dimensions are discontinuous even for small $r$ such as $r=10^{-3}$, but are continuous in four dimensions.
description: 18 pages, 11 figures