cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Abstract Completion, Formalized
Creators: name: Hirokawa, Nao
name: Middeldorp, Aart
name: Sternagel, Christian
name: Winkler, Sarah
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Completion is one of the most studied techniques in term rewriting and fundamental to automated reasoning with equalities. In this paper we present new correctness proofs of abstract completion, both for finite and infinite runs. For the special case of ground completion we present a new proof based on random descent. We moreover extend the results to ordered completion, an important extension of completion that aims to produce ground-complete presentations of the initial equations. We present new proofs concerning the completeness of ordered completion for two settings. Moreover, we revisit and extend results of Métivier concerning canonicity of rewrite systems. All proofs presented in the paper have been formalized in Isabelle/HOL.
title: PREUSSEN UND DIE DEUTSCHE GESCHICHTE
Creators: name: Polmann, Klaus Erich
Publisher: name: Otto-von-Guericke-Universität, Universitätsbibliothek, Magdeburg
Year: 2001

description: Vortrag anläßlich der Erhebung Preußens zum Königreich am 18. Januar 1701 im Rathaussaal der Stadt Madeburg am 8. Februar 2001
description: Magdeburger Wissenschaftsjournal, ISSN 0949-5304, 2001, Heft 1-2
Dynamic contact angle of a liquid spreading on an unsaturated wettable porous substrate
Creators: name: Shikhmurzaev, Y. D.
name: Sprittles, J. E.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: The spreading of an incompressible viscous liquid over an isotropic homogeneous unsaturated porous substrate is considered. It is shown that, unlike the dynamic wetting of an impermeable solid substrate, where the dynamic contact angle has to be specified as a boundary condition in terms of the wetting velocity and other flow characteristics, the `effective' dynamic contact angle on an unsaturated porous substrate is completely determined by the requirement of existence of a solution, i.e. the absence of a nonintegrable singularity in the spreading fluid's pressure at the `effective' contact line. The obtained velocity dependence of the `effective' contact angle determines the critical point at which a transition to a different flow regime takes place, where the fluid above the substrate stops spreading whereas the wetting front inside it continues to propagate.
description: Accepted for publication in the Journal of Fluid Mechanics
Dominique Herbet, Hélène Miard-Delacroix, Hans Stark (dir.), L’Allemagne entre rayonnement et retenue. Préface Alfred Grosser, postface Jérôme Vaillant, Villeneuve-d’Ascq (Presses universitaires du Septentrion) 2016
Creators: name: Lappenküper, Ulrich
Publisher: name: Francia-Recensio
Year: 2017

description: Dominique Herbet, Hélène Miard-Delacroix, Hans Stark (dir.), L’Allemagne entre rayonnement et retenue. Préface Alfred Grosser, postface Jérôme Vaillant, Villeneuve-d’Ascq (Presses universitaires du Septentrion) 2016, 292 p. (Histoire et civilisations), ISBN 978-2-7574-1359-3, EUR 25,00.
description: Francia-Recensio, 2017/4
Definable isomorphism problem
Creators: name: Keshvardoost, Khadijeh
name: Klin, Bartek
name: Lasota, Sławomir
name: Ochremiak, Joanna
name: Toruńczyk, Szymon
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying structure of atoms, we prove decidability of the problem. The core result is parameter-elimination: existence of an isomorphism definable with parameters implies existence of an isomorphism definable without parameters.
Rudolf Seiters, Vertrauensverhältnisse. Autobiografie, Freiburg i. Br. (Herder) 2016
Creators: name: Gehler, Michael
Publisher: name: Francia-Recensio
Year: 2017

description: Rudolf Seiters, Vertrauensverhältnisse. Autobiografie, Freiburg i. Br. (Herder) 2016, 265 S., ISBN 978-3-451-34968-3, EUR 24,99.
description: Francia-Recensio, 2017/4
Turbulent Disks are Never Stable: Fragmentation and Turbulence-Promoted Planet Formation
Creators: name: Hopkins, Philip F.
name: Christiansen, Jessie L.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: A fundamental assumption in our understanding of disks is that when the Toomre Q>>1, the disk is stable against fragmentation into self-gravitating objects (and so cannot form planets via direct collapse). But if disks are turbulent, this neglects a spectrum of stochastic density fluctuations that can produce rare, high-density mass concentrations. Here, we use a recently-developed analytic framework to predict the statistics of these fluctuations, i.e. the rate of fragmentation and mass spectrum of fragments formed in a turbulent Keplerian disk. Turbulent disks are never completely stable: we calculate the (always finite) probability of forming self-gravitating structures via stochastic turbulent density fluctuations in such disks. Modest sub-sonic turbulence above Mach number ~0.1 can produce a few stochastic fragmentation or 'direct collapse' events over ~Myr timescales, even if Q>>1 and cooling is slow (t_cool>>t_orbit). In trans-sonic turbulence this extends to Q~100. We derive the true Q-criterion needed to suppress such events, which scales exponentially with Mach number. We specify to turbulence driven by MRI, convection, or spiral waves, and derive equivalent criteria in terms of Q and the cooling time. Cooling times >~50*t_dyn may be required to completely suppress fragmentation. These gravoturbulent events produce mass spectra peaked near ~M_disk*(Q*M_disk/M_star)^2 (rocky-to-giant planet masses, increasing with distance from the star). We apply this to protoplanetary disk models and show that even minimum mass solar nebulae could experience stochastic collapse events, provided a source of turbulence.
description: 15 pages, 5 figures (+appendix), accepted to ApJ (added clarifications and discussion to match accepted version)
Three-terminal semiconductor junction thermoelectric devices: improving performance
Creators: name: Jiang, Jian-Hua
name: Entin-Wohlman, Ora
name: Imry, Yoseph
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: A three-terminal thermoelectric device based on a $p$-$i$-$n$ semiconductor junction is proposed, where the intrinsic region is mounted onto a, typically bosonic, thermal terminal. Remarkably, the figure of merit of the device is governed also by the energy distribution of the {\em bosons} participating in the transport processes, in addition to the electronic one. An enhanced figure of merit can be obtained when the relevant distribution is narrow and the electron-boson coupling is strong (such as for optical phonons). We study the conditions for which the figure of merit of the three-terminal junction can be greater than those of the usual thermoelectric devices made of the same material. A possible setup with a high figure of merit, based on Bi$_2$Te$_3$/Si superlattices, is proposed.
description: Published in New Journal of Physics: Focus on Thermoelectric Effects in Nanostructures (open access). For published version, see http://dx.doi.org/10.1088/1367-2630/15/7/075021
On the centroid of increasing trees
Creators: name: Durant, Kevin
name: Wagner, Stephan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: A centroid node in a tree is a node for which the sum of the distances to all other nodes attains its minimum, or equivalently a node with the property that none of its branches contains more than half of the other nodes. We generalise some known results regarding the behaviour of centroid nodes in random recursive trees (due to Moon) to the class of very simple increasing trees, which also includes the families of plane-oriented and $d$-ary increasing trees. In particular, we derive limits of distributions and moments for the depth and label of the centroid node nearest to the root, as well as for the size of the subtree rooted at this node.
Additional file 2 of Relationship between brain iron dynamics and blood-brain barrier function during childhood: a quantitative magnetic resonance imaging study
Creators: name: Uchida, Yuto
name: Kan, Hirohito
name: Furukawa, Gen
name: Onda, Kengo
name: Sakurai, Keita
name: Takada, Koji
name: Matsukawa, Noriyuki
name: Oishi, Kenichi
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Developmental Biology
subject: Hematology

description: Additional file 2
Gabriele Annas, Jessika Nowak (Hg.), Et l’homme dans tout cela? Von Menschen, Mächten und Motiven. Festschrift für Heribert Müller zum 70. Geburtstag, Stuttgart (Franz Steiner Verlag) 2017
Creators: name: Nix, Maximilian
Publisher: name: Francia-Recensio
Year: 2017

description: Gabriele Annas, Jessika Nowak (Hg.), Et l’homme dans tout cela? Von Menschen, Mächten und Motiven. Festschrift für Heribert Müller zum 70. Geburtstag, Stuttgart (Franz Steiner Verlag) 2017, 789 S., 8 s/w Abb. (Frankfurter Historische Abhandlungen, 48), ISBN 978-3-515-11469-1, EUR 99,00.
description: Francia-Recensio, 2017/4
Ghislain Brunel, Romain Tardy (dir.), Documents médiévaux des archives de Paris (1112–1519). Paris, l’Église et le roi. Un siècle d’acquisitions de documents médiévaux (1892–1992). Préface de Philippe Contamine, membre de l’Institut. Avec la collaboration des Archives nationales, Paris (Archives de Paris) 2016
Creators: name: Helias-Baron, Marlène
Publisher: name: Francia-Recensio
Year: 2017

description: Ghislain Brunel, Romain Tardy (dir.), Documents médiévaux des archives de Paris (1112–1519). Paris, l’Église et le roi. Un siècle d’acquisitions de documents médiévaux (1892–1992). Préface de Philippe Contamine, membre de l’Institut. Avec la collaboration des Archives nationales, Paris (Archives de Paris) 2016, 559 p., 113 ill. en coul., 1 plan, ISBN 978-2-86075-026-4, EUR 25,00.
description: Francia-Recensio, 2017/4
title: 	A investigação do serviço social em Portugal : potencialidades e constrangimentos : esboço de um percurso a partir de uma experiência associativa (AIDSS)
Creators: name: Silva, Joaquim
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 38 (2.º semestre 2011). - p. 259-270.
Additional file 2 of Modification to Mirels scoring system location component improves fracture prediction for metastatic disease of the proximal femur
Creators: name: Amendola, Richard L
name: Miller, Mark A
name: Kaupp, Shannon M
name: Cleary, Richard J
name: Damron, Timothy A
name: Mann, Kenneth A
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Additional file 2.
A Finite-Model-Theoretic View on Propositional Proof Complexity
Creators: name: Grädel, Erich
name: Grohe, Martin
name: Pago, Benedikt
name: Pakusa, Wied
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We establish new, and surprisingly tight, connections between propositional proof complexity and finite model theory. Specifically, we show that the power of several propositional proof systems, such as Horn resolution, bounded-width resolution, and the monomial calculus of bounded degree, can be characterised in a precise sense by variants of fixed-point logics that are of fundamental importance in descriptive complexity theory. Our main results are that Horn resolution has the same expressive power as least fixed-point logic, that bounded-width resolution captures existential least fixed-point logic, and that the polynomial calculus with bounded degree over the rationals solves precisely the problems definable in fixed-point logic with counting. We also study the bounded-degree polynomial calculus. Over the rationals, it captures fixed-point logic with counting if we restrict the bit-complexity of the coefficients. For unrestricted coefficients, we can only say that the bounded-degree polynomial calculus is at most as powerful as bounded variable infinitary counting logic, but a precise logical characterisation of its power remains an open problem. These connections between logics and proof systems allow us to establish finite-model-theoretic tools for proving lower bounds for the polynomial calculus over the rationals and also over finite fields. This is a corrected version of the paper (arXiv:1802.09377) published originally on January 23, 2019.
Trøndernes Farvel til de bortdragende Gjæster : op. 46 / M. A. Udbye ; Ordene af L. Dietrichson
Creators: name: Udbye, M.A.
name: Dietrichson, L.
Publisher: name: Unknown
Year: 0

description: 1 partitur i ms. (34 s.). Stemmer (23 bl.)
description: Korstemmene mangler.
Nicolas Le Roux, Martin Wrede (dir.), Noblesse oblige. Identités et engagements aristocratiques à l’époque moderne, Rennes (Presses universitaires de Rennes) 2017
Creators: name: Bode, Stephanie
Publisher: name: Francia-Recensio
Year: 2017

description: Nicolas Le Roux, Martin Wrede (dir.), Noblesse oblige. Identités et engagements aristocratiques à l’époque moderne, Rennes (Presses universitaires de Rennes) 2017, 198 p. (Histoire), ISBN 978-2-7535-5259-3, EUR 20,00.
description: Francia-Recensio, 2017/4
Heavy Higgs Searches and Constraints on Two Higgs Doublet Models
Creators: name: Chen, Chien-Yi
name: Dawson, S.
name: Sher, Marc
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Since the discovery of a Higgs boson at the LHC and the measurement of many of its branching ratios, there have been numerous studies exploring the restrictions these results place on the parameter space of two Higgs doublet models. We extend these results to include the full data set and study the expected sensitivity that can be obtained with 300 and 3000 inverse femptobarn of integrated luminosity. We consider searches for a heavy Standard Model Higgs boson, with a mass ranging from 200 to 400 GeV, and show that the non-observation of such a Higgs boson can substantially narrow the allowed regions of parameter space in two Higgs doublet models.
description: 14 pages, 5 figures, Version to be published in Physical Review D, sign convention for mixing angles clarified
Friedrich Schweitzer, Das Bildungserbe der Reformation. Bleibender Gehalt, Herausforderungen, Zukunftsperspektiven, Gütersloh (Gütersloher Verlagshaus) 2016
Creators: name: Mourey, Marie-Thérèse
Publisher: name: Francia-Recensio
Year: 2017

description: Friedrich Schweitzer, Das Bildungserbe der Reformation. Bleibender Gehalt, Herausforderungen, Zukunftsperspektiven, Gütersloh (Gütersloher Verlagshaus) 2016, 304 S., ISBN 978-3-579-05443-8, EUR 22,99.
description: Francia-Recensio, 2017/4
Additional file 1 of Relationship between brain iron dynamics and blood-brain barrier function during childhood: a quantitative magnetic resonance imaging study
Creators: name: Uchida, Yuto
name: Kan, Hirohito
name: Furukawa, Gen
name: Onda, Kengo
name: Sakurai, Keita
name: Takada, Koji
name: Matsukawa, Noriyuki
name: Oishi, Kenichi
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Developmental Biology
subject: Hematology

description: Additional file 1
The Wolf-Rayet Content of M31
Creators: name: Neugent, Kathryn F.
name: Massey, Philip
name: Georgy, Cyril
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Wolf-Rayet stars are evolved massive stars, and the relative number of WC-type and WN-type WRs should vary with the metallicity of the host galaxy, providing a sensitive test of stellar evolutionary theory. However, past studies of the WR content of M31 have been biased towards detecting WC stars, as their emission line signatures are much stronger than those of WNs. Here we present the results of a survey covering all of M31's optical disk (2.2 deg^2), with sufficient sensitivity to detect the weaker-lined WN-types. We identify 107 newly found WR stars, mostly of WN-type. This brings the total number of spectroscopically confirmed WRs in M31 to 154, a number we argue is complete to ~95%, except in regions of unusually high reddening. This number is consistent with what we expect from the integrated Halpha luminosity compared to that of M33. The majority of these WRs formed in OB associations around the Population I ring, although 5% are truly isolated. Both the relative number of WC to WN-type stars as well as the WC subtype distribution suggest that most WRs exist in environments with higher-than-solar metallicities, which is consistent with studies of M31's metallicity. Although the WC-to-WN ratio we find for M31 is much lower than that found by previous studies, it is still higher than what the Geneva evolutionary models predict. This may suggest that Roche-lobe overflow produces the excess of WC stars observed at high metallicity, or that the assumed rotational velocities in the models are too high.
description: ApJ, accepted
Susanne Wegmann, Der sichtbare Glaube. Das Bild in den lutherischen Kirchen des 16. Jahrhunderts, Tübingen (Mohr Siebeck) 2016
Creators: name: Lienhard, Marc
Publisher: name: Francia-Recensio
Year: 2017

description: Susanne Wegmann, Der sichtbare Glaube. Das Bild in den lutherischen Kirchen des 16. Jahrhunderts, Tübingen (Mohr Siebeck) 2016, X–370 S. (Spätmittelalter, Humaniusmus, Reformation. Studies in the Late Middle Ages, Humanism and the Reformation, 93), ISBN 978-3-16-154665-5, EUR 99,00.
description: Francia-Recensio, 2017/4
Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
Creators: name: Grußien, Berit
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: We show that the class of chordal claw-free graphs admits LREC$_=$-definable canonization. LREC$_=$ is a logic that extends first-order logic with counting by an operator that allows it to formalize a limited form of recursion. This operator can be evaluated in logarithmic space. It follows that there exists a logarithmic-space canonization algorithm, and therefore a logarithmic-space isomorphism test, for the class of chordal claw-free graphs. As a further consequence, LREC$_=$ captures logarithmic space on this graph class. Since LREC$_=$ is contained in fixed-point logic with counting, we also obtain that fixed-point logic with counting captures polynomial time on the class of chordal claw-free graphs.
description: 34 pages, 13 figures
title: Some Principles of Web Mercator Maps and their Computation
Creators: name: Sturm, Thomas
Publisher: name: Universität der Bundeswehr München. Institut für Mathematik und Informatik
Year: 2020

description: The Web Mercator projection is used widely for online interactive maps. Despite
discussions of the appropriateness of a simplified spherical approach or fundamental
reservations against the Mercator projection in general, its broad availability for
everyone gives it a great significance. For example, OpenStreetMap provides free geographical
data which is typically accessed by means of map tile servers which rely on
the Web Mercator projection. In this paper, starting with the mathematical derivation
of spherical Mercator projections, the error introduced by identifying ellipsoidal
and spherical coordinates is analyzed, the map tile disassembling is described in full
detail and map applications are given.
Continuity of Functional Transducers: A Profinite Study of Rational Functions
Creators: name: Cadilhac, Michaël
name: Carton, Olivier
name: Paperman, Charles
Publisher: name: arXiv
Year: 2018
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: A word-to-word function is continuous for a class of languages~$\mathcal{V}$ if its inverse maps $\mathcal{V}$_languages to~$\mathcal{V}$. This notion provides a basis for an algebraic study of transducers, and was integral to the characterization of the sequential transducers computable in some circuit complexity classes. Here, we report on the decidability of continuity for functional transducers and some standard classes of regular languages. To this end, we develop a robust theory rooted in the standard profinite analysis of regular languages. Since previous algebraic studies of transducers have focused on the sole structure of the underlying input automaton, we also compare the two algebraic approaches. We focus on two questions: When are the automaton structure and the continuity properties related, and when does continuity propagate to superclasses?
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
Creators: name: Muroya, Koko
name: Ghica, Dan R.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: In implementing evaluation strategies of the lambda-calculus, both correctness and efficiency of implementation are valid concerns. While the notion of correctness is determined by the evaluation strategy, regarding efficiency there is a larger design space that can be explored, in particular the trade-off between space versus time efficiency. Aiming at a unified framework that would enable the study of this trade-off, we introduce an abstract machine, inspired by Girard's Geometry of Interaction (GoI), a machine combining token passing and graph rewriting. We show soundness and completeness of our abstract machine, called the \emph{Dynamic GoI Machine} (DGoIM), with respect to three evaluations: call-by-need, left-to-right call-by-value, and right-to-left call-by-value. Analysing time cost of its execution classifies the machine as ``efficient'' in Accattoli's taxonomy of abstract machines.
description: arXiv admin note: text overlap with arXiv:1802.06495
Additional file 1 of Isolation and characterization of multidrug resistant Gallibacterium anatis biovar haemolytica strains from Polish geese and hens
Creators: name: Karwańska, Magdalena
name: Wieliczko, Alina
name: Bojesen, Anders Miki
name: Villumsen, Kasper Rømer
name: Krzyżewska-Dudek, Eva
name: Woźniak-Biel, Anna
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1: Antimicrobial dilution range of G. anatis bv. haemolytica (n = 63) according to Minimal Inhibitory Concentration (MIC) value. Breakpoints were adopted from CLSI ver. VET06 [A], CLSI M100:2022 [B] and EUCAST ver. 12.0 [C]. Vertical lines indicate breakpoints, grey square—resistant; light grey square – intermediate resistant; white square—susceptible; X – means that the dilution range marked in EUVSEC/AVIAN plate was not examined for an antimicrobial; *- MIC value greater than maximum tested. A different range of dilutions for a tylosin tartrate (2,5–20 μg/mL, a value ≥20 μg/mL was taken as the breakpoint) and for b trimethoprim/sulfamethoxazole (0.5/9.5–2/38 μg/mL).
Filtering equation for a measurement of a coherent channel
Creators: name: Dabrowska, A.
name: Staszewski, P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A stochastic model for a continuous photon counting and heterodyne measurement of a coherent source is proposed. A nonlinear filtering equation for the posterior state of a single-mode field in a cavity is derived by using the methods of quantum stochastic calculus. The posterior dynamics is found for the observation of a Bose field being initially in a coherent state. The filtering equations for counting and diffusion processes are given.
description: 14 pages, 1 figure. This paper was published in JOSA B. The final version is available on OSA website
Provinzialrömisches an Fibeln von der unteren Oder
Creators: name: Kleemann, Otto
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)
title: Қонунга хилоф равишда чет элга чиқиш ёки Ўзбекистон республикасига кириш
Creators: name: Allanova, A.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада Ўзбекистон Республикаси Жиноят кодексининг 223-моддасида назарда тутилган жиноятнинг ижтимоий хавфлилиги, жиноий жавобгарлик белгиланишининг зарурати хусусида мулоҳазалар билдирилган. Бунда чет элга чиқиш ва Ўзбекистон Республикасига киришнинг қонуний тартиблари, уларни бузиш оқибатлари таҳлил қилинган.
On the Expressiveness and Monitoring of Metric Temporal Logic
Creators: name: Ho, Hsi-Ming
name: Ouaknine, Joël
name: Worrell, James
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: It is known that Metric Temporal Logic (MTL) is strictly less expressive than the Monadic First-Order Logic of Order and Metric (FO[<, +1]) when interpreted over timed words; this remains true even when the time domain is bounded a priori. In this work, we present an extension of MTL with the same expressive power as FO[<, +1] over bounded timed words (and also, trivially, over time-bounded signals). We then show that expressive completeness also holds in the general (time-unbounded) case if we allow the use of rational constants $q \in \mathbb{Q}$ in formulas. This extended version of MTL therefore yields a definitive real-time analogue of Kamp's theorem. As an application, we propose a trace-length independent monitoring procedure for our extension of MTL, the first such procedure in a dense real-time setting.
Highly Correlated Electron State and High-Temperature Superconductivity in Iron Pnictides
Creators: name: Krasinkova, M. V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: It is shown that the qualitative model of the high-temperature superconductivity suggested earlier for cuprates and doped picene and based on the idea that the valence electron state depends on the character of the chemical bonds they form and on the Coulomb interaction between the electrons is not only confirmed by the experimental data on iron pnictides but is also improved. From the chemical point of view, the high-temperature superconductivity is associated with additional $π$ bonding along chains of covalently bonded ions via a delocalized $π$ orbital, just like in cuprates. From the physical point of view, as the data on iron pnictides show, the superconductivity is associated with a FeAs layer transition into the state similar to a macroscopic quantum system characterized by a highly correlated electron state, formation of two-dimensional crystals of electron pairs with quantized energy levels, and a strong Coulomb interaction between these crystals. Superconductivity in such a system is accomplished by a two-dimensional Wigner crystal consisting of one-dimensional Wigner crystals formed by bosons, i.e., singlet electron pairs that are in the same quasi-one-dimensional state extending along the ion chain, which corresponds to a delocalized $π$ orbital in chemistry. The model applicability to three different classes of materials (cuprates, picene, iron pnictides) indicates that it can prove useful for development of the theory of superconductivity taking into consideraion the highly correlated state of valence electrons and strong Coulomb interactions between the electrons.
description: 18 pages, 9 figures
Propagators in de Sitter space
Creators: name: Fukuma, Masafumi
name: Sakatani, Yuho
name: Sugishita, Sotaro
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In a spacetime with no global timelike Killing vector, we do not have a natural choice for the vacuum state of matter fields, leading to an ambiguity in defining the Feynman propagators. In this paper, taking the vacuum state to be the instantaneous ground state of the Hamiltonian at each moment, we develop a method for calculating wave functions associated with the vacuum and the corresponding in-in and in-out propagators. We apply this method to free scalar field theory in de Sitter space and obtain de Sitter invariant propagators in various coordinate patches. We show that the in-out propagator in the Poincare patch has a finite massless limit in a de Sitter invariant form. We argue and numerically check that our in-out propagators agree with those obtained by a path integral with the standard iεprescription, and identify the condition on a foliation of spacetime under which such coincidence can happen for the foliation. We also show that the in-out propagators satisfy Polyakov's composition law. Several applications of our framework are also discussed.
description: 38 pages, 14 figures, v2: references added, discussion on the in-in propagators improved, v3: typos corrected, v4: references added, discussions improved, to appear in PRD
Zur angeblich aus dem Eichstättischen stammenden altitalischen Trense
Creators: name: Reinecke, Paul
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)
Additional file 1 of Feasibility of a video-delivered mental health course for primary care patients: a single-group prospective cohort study
Creators: name: Kolaas, Karoline
name: Berman, Anne H.
name: Hedman-Lagerlöf, Erik
name: Zakrevska, Anastasiya
name: Epstein, Majken
name: Hammarberg, Sandra af Winklerfelt
name: Axelsson, Erland
Publisher: name: figshare
Year: 2023
Subjects: subject: Pharmacology
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1.
Additional file 2 of Isolation and characterization of multidrug resistant Gallibacterium anatis biovar haemolytica strains from Polish geese and hens
Creators: name: Karwańska, Magdalena
name: Wieliczko, Alina
name: Bojesen, Anders Miki
name: Villumsen, Kasper Rømer
name: Krzyżewska-Dudek, Eva
name: Woźniak-Biel, Anna
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Overview of results MALDI-TOF MS, AMR profiles, resistance and virulence genes, and biofilm production of all G. anatis bv. haemolytica isolates (n = 63).
Gerrymandering and Compactness: Implementation Flexibility and Abuse
Creators: name: Barnes, Richard
name: Solomon, Justin
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computers and Society (cs.CY)
subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences

description: Political districts may be drawn to favor one group or political party over another, or gerrymandered. A number of measurements have been suggested as ways to detect and prevent such behavior. These measures give concrete axes along which districts and districting plans can be compared. However, measurement values are affected by both noise and the compounding effects of seemingly innocuous implementation decisions. Such issues will arise for any measure. As a case study demonstrating the effect, we show that commonly-used measures of geometric compactness for district boundaries are affected by several factors irrelevant to fairness or compliance with civil rights law. We further show that an adversary could manipulate measurements to affect the assessment of a given plan. This instability complicates using these measurements as legislative or judicial standards to counteract unfair redistricting practices. This paper accompanies the release of packages in C++, Python, and R that correctly, efficiently, and reproducibly calculate a variety of compactness scores.
description: 26 pages, 17 figures, 1 table. Political Analysis (2020)
Additional file 2 of Feasibility of a video-delivered mental health course for primary care patients: a single-group prospective cohort study
Creators: name: Kolaas, Karoline
name: Berman, Anne H.
name: Hedman-Lagerlöf, Erik
name: Zakrevska, Anastasiya
name: Epstein, Majken
name: Hammarberg, Sandra af Winklerfelt
name: Axelsson, Erland
Publisher: name: figshare
Year: 2023
Subjects: subject: Pharmacology
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 2: Table S1. Efficacy outcomes based on linear mixed models.
Chern-Simons supergravities, with a twist
Creators: name: Castellani, Leonardo
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We discuss noncommutative extensions of Chern-Simons (CS) supergravities in odd dimensions. The example of D=5 CS supergravity, invariant under the gauge supergroup SU(2,2|N), is worked out in detail. Its noncommutative version is found to exist only for N=4.
description: LaTeX, 12 pages. Matches published version on JHEP
Zu älterkaiserzeitlichen Glasbechern (Eggers Form 185—187)
Creators: name: Werner, Joachim
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)
H. Müller-Karpe, Das Urnengräberfeld von Kelheim / A. Stroh, Katalog Günzburg. Die vorgeschichtlichen Funde und Fundstätten
Creators: name: Uslar, Rafael Von
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: Rezension zu: H. Müller-Karpe, Das Urnengräberfeld von Kelheim. Materialhefte zur Bayerischen Vorgeschichte. Heft 1. Für das Bayerische Landesamt für Denkmalpflege hrsg. von W. Krämer. Verlag Michael Lassleben, Kallmünz/Opf. 1952. 51 S., 31 Taf., 12 Karten, 2 Tabellen.

Rezension zu: A. Stroh, Katalog Günzburg. Die vorgeschichtlichen Funde und Fundstätten. Materialhefte zur Bayerischen Vorgeschichte. Heft 2. Kallmünz/Opf. 1952. 58 S., 3 Abb., 28 Taf., 2 Karten.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 31, Nr. 1/2 (1953)
J. Werner, Das alamannische Gräberfeld von Bülach
Creators: name: Böhner, Kurt
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: Rezension zu: J. Werner, Das alamannische Gräberfeld von Bülach. Monographien zur Ur- und Frühgeschichte der Schweiz. Band 9. Verlag Birkhäuser, Basel 1953. 144 S., 14 Abb., 39 Taf., 3 Pläne.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 31, Nr. 1/2 (1953)
Additional file 3 of Feasibility of a video-delivered mental health course for primary care patients: a single-group prospective cohort study
Creators: name: Kolaas, Karoline
name: Berman, Anne H.
name: Hedman-Lagerlöf, Erik
name: Zakrevska, Anastasiya
name: Epstein, Majken
name: Hammarberg, Sandra af Winklerfelt
name: Axelsson, Erland
Publisher: name: figshare
Year: 2023
Subjects: subject: Pharmacology
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 3: Table S2. Lifestyle behaviors.
The maximum number of $P_\ell$ copies in $P_k$-free graphs
Creators: name: Győri, Ervin
name: Salia, Nika
name: Tompkins, Casey
name: Zamora, Oscar
Publisher: name: arXiv
Year: 2018
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: Generalizing Turán's classical extremal problem, Alon and Shikhelman investigated the problem of maximizing the number of $T$ copies in an $H$-free graph, for a pair of graphs $T$ and $H$. Whereas Alon and Shikhelman were primarily interested in determining the order of magnitude for large classes of graphs $H$, we focus on the case when $T$ and $H$ are paths, where we find asymptotic and in some cases exact results. We also consider other structures like stars and the set of cycles of length at least $k$, where we derive asymptotically sharp estimates. Our results generalize well-known extremal theorems of Erdős and Gallai.
Stability and Restoration phenomena in Competitive Systems
Creators: name: Uechi, Lisa
name: Akutsu, Tatsuya
Publisher: name: arXiv
Year: 2012
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Populations and Evolution (q-bio.PE)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: A conservation law and stability, recovering phenomena and characteristic patterns of a nonlinear dynamical system have been studied and applied to biological and ecological systems. In our previous study, we proposed a system of symmetric 2n-dimensional conserved nonlinear differential equations with external perturbations. In this paper, competitive systems described by 2-dimensional nonlinear dynamical (ND) model with external perturbations are applied to population cycles and recovering phenomena of systems from microbes to mammals. The famous 10-year cycle of population density of Canadian lynx and snowshoe hare is numerically analyzed. We find that a nonlinear dynamical system with a conservation law is stable and generates a characteristic rhythm (cycle) of population density, which we call the {\it standard rhythm} of a nonlinear dynamical system. The stability and restoration phenomena are strongly related to a conservation law and balance of a system. The {\it standard rhythm} of population density is a manifestation of the survival of the fittest to the balance of a nonlinear dynamical system.
description: 16pages, 20figures
Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 32, Nr. 3 (1954)
Creators: name: Germania : Anzeiger Der Römisch-Germanischen Kommission Des Deutschen Archäologischen Instituts
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: Zwei neue diluviale Plastikfunde vom Vogelherd (Württemberg)...121-130
Die Mikrolithen der Ahrensburger Stufe...130-135
Eine spezifische Bestattungsform der nordwestdeutschen Einzelgrabkultur (Randbestattungen an Kreisgräben)...135-147
Ein Grabfund der Hügelgräberbronzezeit von Tiengen, Ldkr. Waldshut...147-165
Das neue römische Lager in Westfalen...165-170
Eine Sigillata-Töpferei in Martres de Veyre (Frankreich)...171-175
Ein Spangenhelmfund aus dem östlichen Syrmien...176-182
Datierbare Rippengefäße aus alamannischen Reihengräbern...183-188
Eine westfälische Siedlung des 8. Jahrhunderts bei Warendorf, Kr. Warendorf...189-213
Ein Tüllenhaken von Babenhausen, Kr. Dieburg...214-215
Zum Bronzehelm von Straubing...215
Zu zwei Göttinger Münzen...216-217
Ein Altar der Herecura in Mainz...217-219
Henn Pohlhausen, Das Wanderhirtentum und seine Vorstufen. Eine ethnographisch-geographische Studie zur Entwicklung der Eingeborenenwirtschaft / Henn Pohlhausen. Nachweisbare Ansätze zum Wanderhirtentum in der niederdeutschen Mittelsteinzeit /  Henn Pohlhausen. Nachweisbare Spuren des Wanderhirtentums in der südkaspischen Mittelsteinzeit...219-224
Friedrich Holste, Die bronzezeitlichen Vollgriffschwerter Bayerns...224-226
Walther Schulz, Leuna. Ein germanischer Bestattungsplatz der spätrömischen Kaiserzeit...226-228
Zugänge der Bibliothek...229-248
Inquisitive bisimulation
Creators: name: Ciardelli, Ivano
name: Otto, Martin
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: F.4.1
subject: 03B45, 03B42, 03C07, 03C80, 03C98, 03B70

description: Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states. We characterise inquisitive modal logic, as well as its multi-agent epistemic S5-like variant, as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. These results crucially require non-classical methods in studying bisimulation and first-order expressiveness over non-elementary classes of structures, irrespective of whether we aim for characterisations in the sense of classical or of finite model theory.
description: This revised version has been prepared for publication in JSL; it covers, in greater detail, the general theory expounded in (v1) and is to be complemented by a companion paper that deals with the epistemic setting (Section 9 in (v1), which is not covered in the current revised version (v2)). arXiv admin note: text overlap with arXiv:1707.08742
title: Standard Operating Procedures for Measuring Bulk Stable Isotope Values of Nitrogen and Carbon in Marine Biota by Isotope Ratio Mass Spectrometry (IRMS)
Creators: name: Gates, Jonelle B.
name: Chittaro, Paul M.
name: Veggerby, Karl B.
Publisher: name: Northwest Fisheries Science Center (U.S.)
Year: 2020

description: NOAA Processed Report NMFS-NWFSC-PR-2020-04
title: Acoustic Vessel-of-Opportunity (AVO) index for midwater Bering Sea walleye pollock, 2018-2019
Creators: name: Stienessen, Sarah
name: Honkalehto, Taina
name: Lauffenburger, Nathan
Publisher: name: Alaska Fisheries Science Center (U.S.). Resource Assessment and Conservation Engineering Division
Year: 2020

description: AFSC processed report ; 2020-01
Eine neue Grabform der jüngeren Bronzezeit aus Proitze, Kr. Lüchow
Creators: name: Sprockhoff, Ernst
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. 1/2 (1954)
title: Использование результатов оперативно-розыскной деятельности в доказывании по уголовным делам: национальный и зарубежный опыт
Creators: name: Ramazanova, F.
Publisher: name: Tashkent state university of law
Year: 2018

description: В данной статье исследуются вопросы совершенствования оперативно-розыскной деятельности, национальный и зарубежный опыт. Без опоры уголовно-процессуальной деятельности на оперативно-розыскные мероприятия, без выработки совместных механизмов представления и использования результатов оперативно-розыскной деятельности в доказывании по уголовным делам, невозможно достижение успехов в раскрытии и расследовании значительного количества совершаемых преступлений.
Spin Currents and Spontaneous Magnetization at Twin Boundaries of Noncentrosymmetric Superconductors
Creators: name: Arahata, Emiko
name: Neupert, Titus
name: Sigrist, Manfred
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Twin boundaries are generic crystalline defects in noncentrosymmetric crystal structures. We study theoretically twin boundaries in time-reversal symmetric noncentrosymmetric superconductors that admit parity-mixed Cooper pairing. Twin boundaries support spin currents as a consequence of this parity mixing. If the singlet and triplet components of the superconducting order parameter are of comparable magnitude, the superconducting state breaks spontaneously the bulk time-reversal symmetry locally near the twin boundary. By self-consistently evaluating the Bogoliubov-de-Gennes equations and the gap functions we find two distinct phases: First, time-reversal symmetry breaking enhances the spin currents but does not lead to chiral supercurrents. A secondary phase transition then triggers a spin magnetization and an orbital supercurrent near the twin boundary.
description: 4 pages, 3 figures
Additional file 1 of Prevalence of oral complications in the course of severe SARS-CoV-2 infection under mechanical non-invasive ventilation
Creators: name: Paszynska, Elzbieta
name: Gawriolek, Maria
name: Hernik, Amadeusz
name: Otulakowska-Skrzynska, Justyna
name: Winiarska, Hanna
name: Springer, Daria
name: Roszak, Magdalena
name: Slebioda, Zuzanna
name: Krahel, Anna
name: Cofta, Szczepan
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1: Table S1. BRUSHED oral assessment model [30].
Henn Pohlhausen, Das Wanderhirtentum und seine Vorstufen. Eine ethnographisch-geographische Studie zur Entwicklung der Eingeborenenwirtschaft / Henn Pohlhausen. Nachweisbare Ansätze zum Wanderhirtentum in der niederdeutschen Mittelsteinzeit /  Henn Pohlhausen. Nachweisbare Spuren des Wanderhirtentums in der südkaspischen Mittelsteinzeit
Creators: name: Narr, Karl J.
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: Rezension zu: Henn Pohlhausen, Das Wanderhirtentum und seine Vorstufen. Eine ethnographisch-geographische Studie zur Entwicklung der Eingeborenenwirtschaft. Kulturgeschichtliche Forschungen. Band 4. Albert Limbach Verlag, Braunschweig 1954. 176 S., 5 Abb.

Rezension zu: Henn Pohlhausen. Nachweisbare Ansätze zum Wanderhirtentum in der niederdeutschen Mittelsteinzeit. Zeitschr. für Ethnologie 78, 1953. 64—82.

Rezension zu: Henn Pohlhausen. Nachweisbare Spuren des Wanderhirtentums in der südkaspischen Mittelsteinzeit. Berlingska Boktryckeriet. Lund 1954. 15 S.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 32, Nr. 3 (1954)