cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Exploring the Jungle of Intuitionistic Temporal Logics
Creators: name: Boudou, Joseph
name: Diéguez, Martín
name: Fernández-Duque, David
name: Kremer, Philip
Publisher: name: arXiv
Year: 2019
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The importance of intuitionistic temporal logics in Computer Science and Artificial Intelligence has become increasingly clear in the last few years. From the proof-theory point of view, intuitionistic temporal logics have made it possible to extend functional languages with new features via type theory, while from its semantical perspective several logics for reasoning about dynamical systems and several semantics for logic programming have their roots in this framework. In this paper we consider several axiomatic systems for intuitionistic linear temporal logic and show that each of these systems is sound for a class of structures based either on Kripke frames or on dynamic topological systems. Our topological semantics features a new interpretation for the `henceforth' modality that is a natural intuitionistic variant of the classical one. Using the soundness results, we show that the seven logics obtained from the axiomatic systems are distinct.
description: Under consideration in Theory and Practice of Logic Programming (TPLP). arXiv admin note: text overlap with arXiv:1803.05077
Additional file 3 of Evaluating remote facilitation intensity for multi-national translation of nurse-initiated stroke protocols (QASC Australasia): a protocol for a cluster randomised controlled trial
Creators: name: Fasugba, O.
name: Dale, S.
name: McInnes, E.
name: Cadilhac, D. A.
name: Noetel, M.
name: Coughlan, K.
name: McElduff, B.
name: Kim, J.
name: Langley, T.
name: Cheung, N. W.
name: Hill, K.
name: Pollnow, V.
name: Page, K.
name: Sanjuan Menendez, E.
name: Neal, E.
name: Griffith, S.
name: Christie, L. J.
name: Slark, J.
name: Ranta, A.
name: Levi, C.
name: Grimshaw, J. M.
name: Middleton, S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Computational Biology

description: Additional file 3. The TIDieR (Template for Intervention Description and Replication) Checklist.
K. C. Ronnenberg, Mythos bei Hieronymus. Zur christlichen Transformation paganer Erzählungen in der Spätantike
Creators: name: Schmitz, Dietmar
Publisher: name: Forum Classicum
Year: 2018

description: Rezension zu: K. C. Ronnenberg, Mythos bei Hieronymus. Zur christlichen Transformation paganer Erzählungen in der Spätantike. Franz-Steiner-Verlag: Stuttgart 2015. 386 S. (ISBN 978-3-515-11146)
description: Forum Classicum, Nr. 1 (2017): Forum Classicum
Gefährliches Geschäft? Eine Örtlichkeit der Hattinger Isenburg
Creators: name: Essling-Wintzer, Wolfram
name: Uphues, Jürgen
name: Wegener, Kim
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Entropies and volume growth of unstable manifolds
Creators: name: Zang, Yuntao
Publisher: name: arXiv
Year: 2019
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics
subject: 37A35 28D20

description: Let $f$ be a $C^2$ diffeomorphism on a compact manifold. Ledrappier and Young introduced entropies along unstable foliations for an ergodic measure $μ$. We relate those entropies to covering numbers in order to give a new upper bound on the metric entropy of $μ$ in terms of Lyapunov exponents and topological entropy or volume growth of sub-manifolds. We also discuss extensions to the $C^{1+α},\,α>0$ case.
description: 14 pages
Ein mittelalterliches Petrusfigürchen aus Attendorn als unverhofftes Weihnachtsgeschenk
Creators: name: Cichy, Eva
name: Tegethoff, Ruth
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Mittelalterliche und frühneuzeitliche Bebauung an der Paderborner Stadtmauer
Creators: name: Gai, Sveva
name: Süße, Robert
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Additional file 3 of Association of mannose-binding lectin, ficolin-2 and immunoglobulin concentrations with future exacerbations in patients with chronic obstructive pulmonary disease: secondary analysis of the randomized controlled REDUCE trial
Creators: name: Vogt, Severin
name: Leuppi, Jörg D.
name: Schuetz, Philipp
name: Mueller, Beat
name: Volken, Carmen
name: Dräger, Sarah
name: Trendelenburg, Marten
name: Rutishauser, Jonas
name: Osthoff, Michael
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 3. Influence of glucocorticoid pretreatment on plasma lectin and immunoglobulin levels (as measured on day 30).
On Supergraphs Satisfying CMSO Properties
Creators: name: Oliveira, Mateus de Oliveira
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function $f$, there is an algorithm $\mathfrak{A}$ that takes as input a CMSO sentence $φ$, a positive integer $t$, and a connected graph $G$ of maximum degree at most $Δ$, and determines, in time $f(|φ|,t)\cdot 2^{O(Δ\cdot t)}\cdot |G|^{O(t)}$, whether $G$ has a supergraph $G'$ of treewidth at most $t$ such that $G'\models φ$. The algorithmic metatheorem described above sheds new light on certain unresolved questions within the framework of graph completion algorithms. In particular, using this metatheorem, we provide an explicit algorithm that determines, in time $f(d)\cdot 2^{O(Δ\cdot d)}\cdot |G|^{O(d)}$, whether a connected graph of maximum degree $Δ$ has a planar supergraph of diameter at most $d$. Additionally, we show that for each fixed $k$, the problem of determining whether $G$ has an $k$-outerplanar supergraph of diameter at most $d$ is strongly uniformly fixed parameter tractable with respect to the parameter $d$. This result can be generalized in two directions. First, the diameter parameter can be replaced by any contraction-closed effectively CMSO-definable parameter $\mathbf{p}$. Examples of such parameters are vertex-cover number, dominating number, and many other contraction-bidimensional parameters. In the second direction, the planarity requirement can be relaxed to bounded genus, and more generally, to bounded local treewidth.
Additional file 4 of Evaluating remote facilitation intensity for multi-national translation of nurse-initiated stroke protocols (QASC Australasia): a protocol for a cluster randomised controlled trial
Creators: name: Fasugba, O.
name: Dale, S.
name: McInnes, E.
name: Cadilhac, D. A.
name: Noetel, M.
name: Coughlan, K.
name: McElduff, B.
name: Kim, J.
name: Langley, T.
name: Cheung, N. W.
name: Hill, K.
name: Pollnow, V.
name: Page, K.
name: Sanjuan Menendez, E.
name: Neal, E.
name: Griffith, S.
name: Christie, L. J.
name: Slark, J.
name: Ranta, A.
name: Levi, C.
name: Grimshaw, J. M.
name: Middleton, S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Computational Biology

description: Additional file 4. Implementation strategies used in intervention and control groups, mapped against the Capability, Opportunity, Motivation - Behaviour (COM-B) model, Theoretical Domains Framework (TDF) and Behaviour Change Wheel intervention functions.
Medium-Induced QCD Cascade: Democratic Branching and Wave Turbulence
Creators: name: Blaizot, Jean-Paul
name: Iancu, Edmond
name: Mehtar-Tani, Yacine
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study the average properties of the gluon cascade generated by an energetic parton propagating through a quark-gluon plasma. We focus on the soft, medium-induced emissions which control the energy transport at large angles with respect to the leading parton. We show that the effect of multiple branchings is important. In contrast with what happens in a usual QCD cascade in vacuum, medium-induced branchings are quasidemocratic, with offspring gluons carrying sizable fractions of the energy of their parent gluon. This results in an efficient mechanism for the transport of energy toward the medium, which is akin to wave turbulence with a scaling spectrum $\sim 1/\sqrtω$. We argue that the turbulent flow may be responsible for the excess energy carried by very soft quanta, as revealed by the analysis of the dijet asymmetry observed in Pb-Pb collisions at the LHC.
description: 4 pages, 2 figures, additional explanations in the text, one figure removed, version accepted for publication in Phys. Rev. Lett
Additional file 2 of Efficacy of zinc oxide and copper oxide nanoparticles on virulence genes of avian pathogenic E. coli (APEC) in broilers
Creators: name: El-Shenawy, Fawzia A.
name: El-Sherbeny, Eman M. El.
name: Kassem, Samr
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Virology

description: Additional file 2: Supplementary Fig. 2: Agarose gel electrophoresis for PCR amplification of hlyA virulence gene at (1177 bp) in APEC serotypes: Lane L (ladder), Lane + C (control positive), Lane - C (control negative), Lane 1 (serotype O17), Lane 2 (serotype O78), Lane 3 (serotype O91), Lane 4 serotype (O121) and Lane 5 (serotype O159). Supplementary Fig. 3: Agarose gel electrophoresis is for PCR amplification of ibeA virulence gene at (342 bp) in APEC serotypes: Lane L (ladder), Lane + C (control positive), Lane - C (control negative), Lane 1 (serotype O17), Lane 2 (serotype O78), Lane 3 (serotype O91), Lane 4 serotype (O121) and Lane 5 (serotype O159). Supplementary Fig. 4: Agarose gel electrophoresis for PCR amplification of iss virulence gene at (309 bp) in APEC serotypes: Lane L (ladder), Lane + C (control positive), Lane - C (control negative), Lane 1 (serotype O17), Lane 2 (serotype O78), Lane 3 (serotype O91), Lane 4 serotype (O121) and Lane 5 (serotype O159). Supplementary Fig. 5: Agarose gel electrophoresis for PCR amplification of papC virulence gene at (200 bp) in APEC serotypes: Lane L (ladder), Lane + C (control positive), Lane - C (control negative), Lane 1 (serotype O17), Lane 2 (serotype O78), Lane 3 (serotype O91), Lane 4 serotype (O121) and Lane 5 (serotype O159).
title: COSMO Technical Report No. 41: Performance On Massively Parallel Architectures (POMPA): Final report
Creators: name: Lapillonne, X.
name: Fuhrer, O.
Publisher: name: COSMO Consortium for Small-Scale Modelling
Year: 2020

description: The Technical Reports are intended mainly for internal use within the COSMO group (COSMO = Consortium for Small Scale Modeling), but also to inform other groups on model changes and research activities. The purpose of the Technical Reports is 1. to document scientific research activities, 2. to document technical changes to the model system, 3. to give an overview on new components of the model system.
A note on tight cuts in matching-covered graphs
Creators: name: Zhao, Xiao
name: Chen, Sheng
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: Edmonds, Lovász, and Pulleyblank showed that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP-cut. Carvalho et al. gave a stronger conjecture: if a matching covered graph has a nontrivial tight cut $C$, then it also has a nontrivial ELP-cut that does not cross $C$. Chen, et al gave a proof of the conjecture. This note is inspired by the paper of Carvalho et al. We give a simplified proof of the conjecture, and prove the following result which is slightly stronger than the conjecture: if a nontrivial tight cut $C$ of a matching covered graph $G$ is not an ELP-cut, then there is a sequence $G_1=G, G_2,\ldots,G_r, r\geq2$ of matching covered graphs, such that for $i=1, 2,\ldots, r-1$, $G_i$ has an ELP-cut $C_i$, and $G_{i+1}$ is a $C_i$-contraction of $G_i$, and $C$ is a $2$-separation cut of $G_r$.
description: 7pages
The Importance of Physical Models for Deriving Dust Masses and Grain Size Distributions in Supernova Ejecta I: Radiatively Heated Dust in the Crab Nebula
Creators: name: Temim, Tea
name: Dwek, Eli
Publisher: name: arXiv
Year: 2013
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Recent far-infrared (IR) observations of supernova remnants (SNRs) have revealed significantly large amounts of newly-condensed dust in their ejecta, comparable to the total mass of available refractory elements. The dust masses derived from these observations assume that all the grains of a given species radiate at the same temperature, regardless of the dust heating mechanism or grain radius. In this paper, we derive the dust mass in the ejecta of the Crab Nebula, using a physical model for the heating and radiation from the dust. We adopt a power-law distribution of grain sizes and two different dust compositions (silicates and amorphous carbon), and calculate the heating rate of each dust grain by the radiation from the pulsar wind nebula (PWN). We find that the grains attain a continuous range of temperatures, depending on their size and composition. The total mass derived from the best-fit models to the observed IR spectrum is 0.019-0.13 solar masses, depending on the assumed grain composition. We find that the power-law size distribution of dust grains is characterized by a power-law index of 3.5-4.0 and a maximum grain size larger than 0.1 microns. The grain sizes and composition are consistent with what is expected for dust grains formed in a Type IIP SN. Our derived dust mass is at least a factor of two less than the mass reported in previous studies of the Crab Nebula that assumed more simplified two-temperature models. The results of this study show that a physical model resulting in a realistic distribution of dust temperatures can constrain the dust properties and affect the derived dust masses. Our study may also have important implications for deriving grain properties and mass estimates in other SNRs and for the ultimate question of whether SNe are major sources of dust in the Galactic interstellar medium (ISM) and in external galaxies.
description: 9 pages, 2 tables, 8 figures, Accepted to The Astrophysical Journal
Clear sky fraction above Indonesia: an analysis for astronomical site selection
Creators: name: Hidayat, T.
name: Mahasena, P.
name: Dermawan, B.
name: Hadi, T. W.
name: Premadi, P. W.
name: Herdiwijaya, D.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: We report a study of cloud cover over Indonesia based on meteorological satellite data, spanning over the past 15 years (from 1996 to 2010) in order to be able to select a new astronomical site capable to host a multi-wavelength astronomical observatory. High spatial resolution of meteorological satellite data acquired from {\it Geostationary Meteorological Satellite 5} ({\it GMS 5}), {\it Geostationary Operational Environmental Satellite 9} ({\it GOES 9}), and {\it Multi-functional Transport Satellite-1R} ({\it MTSAT-1R}) are used to derive yearly average clear fractions over the regions of Indonesia. This parameter is determined from temperature measurement of the IR3 channel (water vapor, 6.7 $μ$m) for high altitude clouds (cirrus) and from the IR1 channel (10.7 $μ$m) for lower altitude clouds. Accordingly, an algorithm is developed to detect the corresponding clouds. The results of this study are then adopted to select the best possible sites in Indonesia to be analysed further by performing in situ measurements planned for the coming years. The results suggest that regions of East Nusa Tenggara, located in south-eastern part of Indonesia, are the most promising candidates for such an astronomical site. Yearly clear sky fraction of this regions may reach better than 70 per cent with an uncertainty of 10 per cent.
description: 15 pages, 13 figures, and 4 tables
Additional file 4 of Association of mannose-binding lectin, ficolin-2 and immunoglobulin concentrations with future exacerbations in patients with chronic obstructive pulmonary disease: secondary analysis of the randomized controlled REDUCE trial
Creators: name: Vogt, Severin
name: Leuppi, Jörg D.
name: Schuetz, Philipp
name: Mueller, Beat
name: Volken, Carmen
name: Dräger, Sarah
name: Trendelenburg, Marten
name: Rutishauser, Jonas
name: Osthoff, Michael
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 4. Risk of exacerbation within 180 days as determined by multivariate Cox regression analysis taking into account current smoking status (adjustment for age, gender, oxygen supply, length of hospital stay, COPD grade treatment group and current smoking).
Additional file 2 of Potential of low-density genotype imputation for cost-efficient genomic selection for resistance to Flavobacterium columnare in rainbow trout (Oncorhynchus mykiss)
Creators: name: Fraslin, Clémence
name: Robledo, Diego
name: Kause, Antti
name: Houston, Ross D.
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Figure S1. Accuracy of genomic prediction for resistance to F. columnare in rainbow trout, obtained with SNP panels of different densities, before and after imputation and before or after re-setting genotype missing in the HD-panel as missing after imputation. The red dotted line is the average accuracy for the HD-GBLUP (28K) prediction (0.68), the blue dotted line is the average accuracy for the pedigree-based BLUP prediction (0.59). The LD panels were created with random SNP sampling (RandLD). The blue line is the accuracy value obtained with the LD-panels (RandLD) and the dark blue line is the accuracy value obtained after imputation for those panels. The orange line is the accuracy obtained after imputation of those panels and after re-setting all the missing genotype from the HD-panel as missing in the imputed-LD-panels.
Text Complexity Classification Based on Linguistic Information: Application to Intelligent Tutoring of ESL
Creators: name: Kurdi, M. Zakaria
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: The goal of this work is to build a classifier that can identify text complexity within the context of teaching reading to English as a Second Language (ESL) learners. To present language learners with texts that are suitable to their level of English, a set of features that can describe the phonological, morphological, lexical, syntactic, discursive, and psychological complexity of a given text were identified. Using a corpus of 6171 texts, which had already been classified into three different levels of difficulty by ESL experts, different experiments were conducted with five machine learning algorithms. The results showed that the adopted linguistic features provide a good overall classification performance (F-Score = 0.97). A scalability evaluation was conducted to test if such a classifier could be used within real applications, where it can be, for example, plugged into a search engine or a web-scraping module. In this evaluation, the texts in the test set are not only different from those from the training set but also of different types (ESL texts vs. children reading texts). Although the overall performance of the classifier decreased significantly (F-Score = 0.65), the confusion matrix shows that most of the classification errors are between the classes two and three (the middle-level classes) and that the system has a robust performance in categorizing texts of class one and four. This behavior can be explained by the difference in classification criteria between the two corpora. Hence, the observed results confirm the usability of such a classifier within a real-world application.
description: This is an unpublished pre-print, the JDMDH journal requires submission to arxiv.org before the submission to the journal (see the link: https://jdmdh.episciences.org/page/submissions#)
Ein Schiffswrack aus der Lippe zwischen Lippetal-Herzfeld und Lippstadt-Eickelborn
Creators: name: Mainberger, Martin
name: Hermanns, Marcus H.
name: Baales, Michael
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Monotone recursive types and recursive data representations in Cedille
Creators: name: Jenkins, Christopher
name: Stump, Aaron
Publisher: name: arXiv
Year: 2020
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Guided by Tarksi's fixpoint theorem in order theory, we show how to derive monotone recursive types with constant-time roll and unroll operations within Cedille, an impredicative, constructive, and logically consistent pure typed lambda calculus. This derivation takes place within the preorder on Cedille types induced by type inclusions, a notion which is expressible within the theory itself. As applications, we use monotone recursive types to generically derive two recursive representations of data in lambda calculus, the Parigot and Scott encoding. For both encodings, we prove induction and examine the computational and extensional properties of their destructor, iterator, and primitive recursor in Cedille. For our Scott encoding in particular, we translate into Cedille a construction due to Lepigre and Raffalli that equips Scott naturals with primitive recursion, then extend this construction to derive a generic induction principle. This allows us to give efficient and provably unique (up to function extensionality) solutions for the iteration and primitive recursion schemes for Scott-encoded data.
Aronszajn tree preservation and bounded forcing axioms
Creators: name: Fuchs, Gunter
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03E50, 03E57, 03E35, 03E55, 03E05

description: I investigate the relationships between three hierarchies of reflection principles for a forcing class $Γ$: the hierarchy of bounded forcing axioms, of $Σ^1_1$-absoluteness and of Aronszajn tree preservation principles. The latter principle at level $κ$ says that whenever $T$ is a tree of height $ω_1$ and width $κ$ that does not have a branch of order type $ω_1$, and whenever $P$ is a forcing notion in $Γ$, then it is not the case that $P$ forces that $T$ has such a branch. $Σ^1_1$-absoluteness serves as an intermediary between these principles and the bounded forcing axioms. A special case of the main result is that for forcing classes that don't add reals, the three principles at level $2^ω$ are equivalent. Special attention is paid to certain subclasses of subcomplete forcing, since these are natural forcing classes that don't add reals.
Dissecting a square into congruent polygons
Creators: name: Rao, Hui
name: Ren, Lei
name: Wang, Yang
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 52B45, 05C45

description: We study the dissection of a square into congruent convex polygons. Yuan \emph{et al.} [Dissecting the square into five congruent parts, Discrete Math. \textbf{339} (2016) 288-298] asked whether, if the number of tiles is a prime number $\geq 3$, it is true that the tile must be a rectangle. We conjecture that the same conclusion still holds even if the number of tiles is an odd number $\geq 3$. Our conjecture has been confirmed for triangles in earlier works. We prove that the conjecture holds if either the tile is a convex $q$-gon with $q\geq 6$ or it is a right-angle trapezoid.
description: 19 pages, 11 figure
Nachverdichtung in Minden im 13. Jahrhundert – die Grabung am Deichhof
Creators: name: Holtfester, Ulrich
name: Spiong, Sven
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Additional file 5 of Evaluating remote facilitation intensity for multi-national translation of nurse-initiated stroke protocols (QASC Australasia): a protocol for a cluster randomised controlled trial
Creators: name: Fasugba, O.
name: Dale, S.
name: McInnes, E.
name: Cadilhac, D. A.
name: Noetel, M.
name: Coughlan, K.
name: McElduff, B.
name: Kim, J.
name: Langley, T.
name: Cheung, N. W.
name: Hill, K.
name: Pollnow, V.
name: Page, K.
name: Sanjuan Menendez, E.
name: Neal, E.
name: Griffith, S.
name: Christie, L. J.
name: Slark, J.
name: Ranta, A.
name: Levi, C.
name: Grimshaw, J. M.
name: Middleton, S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Computational Biology

description: Additional file 5. QASC Australia videos - mapping to behaviour change techniques and the behaviour change wheel.
Three-dimensional orientation measurement of a single fluorescent nanoemitter by polarization analysis
Creators: name: Lethiec, Clotilde
name: Laverdant, Julien
name: Vallon, Henri
name: Javaux, Clémentine
name: Dubertret, Benoît
name: Frigerio, Jean-Marc
name: Schwob, Catherine
name: Coolen, Laurent
name: Maître, Agnès
Publisher: name: arXiv
Year: 2013
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We demonstrate theoretically and experimentally that the three-dimensional orientation of a single fluorescent nano-emitter can be determined by polarization analysis of the emitted light (while excitation polarization analysis provides only the in-plane orientation). The determination of the emitter orientation by polarimetry requires a theoretical description including the objective numerical aperture, the 1D or 2D nature of the emitting dipole and the environment close to the dipole. We develop a model covering most experimentally relevant microscopy configurations and provide analytical relations useful for orientation measurements. We perform polarimetric measurements on high-quality core-shell CdSe/CdS nanocrystals and demonstrate that they can be approximated by two orthogonal degenerated dipoles. Finally, we show that the orientation of a dipole can be inferred by polarimetric measurement even for a dipole in the vicinity of a gold film, while in this case the well-established defocused microscopy is not appropriate.
A birational lifting of the Stanley-Thomas word on products of two chains
Creators: name: Joseph, Michael
name: Roby, Tom
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05E18, 06A07, 12E15

description: The dynamics of certain combinatorial actions and their liftings to actions at the piecewise-linear and birational level have been studied lately with an eye towards questions of periodicity, orbit structure, and invariants. One key property enjoyed by the rowmotion operator on certain finite partially-ordered sets is homomesy, where the average value of a statistic is the same for all orbits. To prove refined versions of homomesy in the product of two chain posets, J. Propp and the second author used an equivariant bijection discovered (less formally) by R. Stanley and H. Thomas. We explore the lifting of this "Stanley--Thomas word" to the piecewise-linear, birational, and noncommutative realms. Although the map is no longer a bijection, so cannot be used to prove periodicity directly, it still gives enough information to prove the homomesy at the piecewise-linear and birational levels (a result previously shown by D. Grinberg, S. Hopkins, and S. Okada). Even at the noncommutative level, the Stanley--Thomas word of a poset labeling rotates cyclically with the lifting of antichain rowmotion. Along the way we give some formulas for noncommutative antichain rowmotion that we hope will be first steps towards proving the conjectured periodicity at this level.
description: 20 pages, 6 figures
title: Юридик фанларнинг ижтимоий тараққиётга ва ижтимоий тараққиётнинг юридик фанлар ривожига ўзаро таъсири
Creators: name: Okyulov, O.
Publisher: name: Tashkent state university of law
Year: 2017

description: Ижтимоий фанлар тизимида юридик фанлар алоҳида ўрин эгаллайди. Жамият, жамиятдаги ижтимоий муносабатларни ҳуқуқий тартибга солиш механизмини шакллантириш, такомиллаштириш масалаларини ўрганиб, юридик фанлар ижтимоий-иқтисодий ислоҳотларининг мувофаққиятига ўзига хос тарзда таъсир қилади, муайян маънода бунёдкорлик функциясини бажаради. Ушбу тадқиқотда ҳуқуқ фанлари томонидан ишлаб чиқилган турли конструкциялар тараққиётнинг муҳим омили бўлаётганлиги очиб берилган. Айни пайтда жамиятдаги ўзгаришлар ҳам ҳуқуқ фанлари ривожига ўзига хос акс таъсир кўрсатади. Унинг методологик қурилмаларини бойитади. Юридик фаннинг ташкилий жараёни, тадқиқотчи шахсига янги талаблар қўяди. Мазкур мақолада ушбу ҳолатлар таҳлил этилади ва муайян хулосалар илгари сурилади.
Ein gegossenes Leuchter- oder Kreuzfuß- Fragment aus Heek-Nienborg
Creators: name: Ruhmann, Christiane
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Additional file 5 of Association of mannose-binding lectin, ficolin-2 and immunoglobulin concentrations with future exacerbations in patients with chronic obstructive pulmonary disease: secondary analysis of the randomized controlled REDUCE trial
Creators: name: Vogt, Severin
name: Leuppi, Jörg D.
name: Schuetz, Philipp
name: Mueller, Beat
name: Volken, Carmen
name: Dräger, Sarah
name: Trendelenburg, Marten
name: Rutishauser, Jonas
name: Osthoff, Michael
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Physiology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 5. Risk of exacerbation within 180 days as determined by multivariate Cox regression analysis taking into account antibiotic pretreatment (adjustment for age, gender, oxygen supply, length of hospital stay, COPD grade treatment group and antibiotic pretreatment).
Cosmological Solutions of a Nonlocal Model with a Perfect Fluid
Creators: name: Elizalde, Emilio
name: Pozdeeva, Ekaterina O.
name: Vernov, Sergey Yu.
name: Zhang, Ying-li
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: A nonlocal gravity model which does not assume the existence of a new dimensional parameter in the action and includes a function $f(\Box^{-1} R)$, with $\Box$ the d'Alembertian operator, is studied. By specifying an exponential form for the function f and including a matter sector with a constant equation of state parameter, all available power-law solutions in the Jordan frame are obtained. New power-law solutions in the Einstein frame are also probed. Furthermore, the relationship between power-law solutions in both frames, established through conformal transformation, is substantially clarified. The correspondence between power-law solutions in these two frames is proven to be a very useful tool in order to obtain new solutions in the Einstein frame.
description: 35 pages, uses jcappub.sty, v2: Sections 3.6 and 4 added, references added, accepted for publication in JCAP
title: Оила қонунчилигида никоҳ тузишга монелик қиладиган ҳолатларни такомиллаштириш масалалари
Creators: name: Sharaxmetova, U.
Publisher: name: Tashkent state university of law
Year: 2017

description: Мақолада оила қонунчилигида никоҳ тузишга монелик қиладиган ҳолатлар ёритилган. Муаллиф никоҳ тузишга монелик қиладиган ҳолатларни ўрганиб, оила қонунчилигини улар асосида такомиллаштириш юзасидан фикр юритган.
Paderborner Domimmunität – umstrittene Rechtsgrenze zwischen Stadt und Domkapitel
Creators: name: Gai, Sveva
name: Mahytka, Ralf
name: Otte, Ralf
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Additional file 1 of Where a psychopathic personality matters at work: a cross-industry study of the relation of dark triad and psychological capital
Creators: name: Stephan, Birgit
name: Lechner, Dominik
name: Stockkamp, Mariella
name: Hudecek, Matthias F. C.
name: Frey, Dieter
name: Lermer, Eva
Publisher: name: figshare
Year: 2023
Subjects: subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Supplementary Material 1
Damenstift St. Walburga in Meschede – erster Nachweis der spätkarolingischen Klausur
Creators: name: Essling-Wintzer, Wolfram
name: Wegener, Kim
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
title: Иқтисодий иш юритувида тарафларнинг келишув битими тузиши муаммолари
Creators: name: Avezov, Q.
Publisher: name: Tashkent state university of law
Year: 2017

description: Мақолада иқтисодий иш юритувида тарафларнинг келишув битими тузиши билан боғлиқ масалалар илмий-назарий ва амалий жиҳатдан ёритилиб, хорижий мамлакатлар қонунчилиги мисолида қиёсий-ҳуқуқий таҳлил қилинган. Шунингдек, келишув битими тузишнинг ўзига хос процессуал-ҳуқуқий жиҳатлари, ҳуқуқий оқибатлари батафсил ёритилиб, таҳлиллар асосида тегишли хулосалар олинган ҳамда қонунчиликка илмий асослантирилган таклифлар берилган.
Low-frequency QPO from the 11 Hz accreting pulsar in Terzan 5: not frame dragging
Creators: name: Altamirano, D.
name: Ingram, A.
name: van der Klis, M.
name: Wijnands, R.
name: Linares, M.
name: Homan, J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We report on 6 RXTE observations taken during the 2010 outburst of the 11 Hz accreting pulsar IGR J17480-2446 located in the globular cluster Terzan 5. During these observations we find power spectra which resemble those seen in Z-type high-luminosity neutron star low-mass X-ray binaries, with a quasi-periodic oscillation (QPO) in the 35-50 Hz range simultaneous with a kHz QPO and broad band noise. Using well known frequency-frequency correlations, we identify the 35-50 Hz QPOs as the horizontal branch oscillations (HBO), which were previously suggested to be due to Lense-Thirring precession. As IGR J17480-2446 spins more than an order of magnitude more slowly than any of the other neutron stars where these QPOs were found, this QPO can not be explained by frame dragging. By extension, this casts doubt on the Lense-Thirring precession model for other low-frequency QPOs in neutron-star and perhaps even black-hole systems.
description: 6 pages, 5 figures, Accepted for publication in ApJL
Games Where You Can Play Optimally with Arena-Independent Finite Memory
Creators: name: Bouyer, Patricia
name: Roux, Stéphane Le
name: Oualhadj, Youssouf
name: Randour, Mickael
name: Vandenhove, Pierre
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: For decades, two-player (antagonistic) games on graphs have been a framework of choice for many important problems in theoretical computer science. A notorious one is controller synthesis, which can be rephrased through the game-theoretic metaphor as the quest for a winning strategy of the system in a game against its antagonistic environment. Depending on the specification, optimal strategies might be simple or quite complex, for example having to use (possibly infinite) memory. Hence, research strives to understand which settings allow for simple strategies. In 2005, Gimbert and Zielonka provided a complete characterization of preference relations (a formal framework to model specifications and game objectives) that admit memoryless optimal strategies for both players. In the last fifteen years however, practical applications have driven the community toward games with complex or multiple objectives, where memory -- finite or infinite -- is almost always required. Despite much effort, the exact frontiers of the class of preference relations that admit finite-memory optimal strategies still elude us. In this work, we establish a complete characterization of preference relations that admit optimal strategies using arena-independent finite memory, generalizing the work of Gimbert and Zielonka to the finite-memory case. We also prove an equivalent to their celebrated corollary of great practical interest: if both players have optimal (arena-independent-)finite-memory strategies in all one-player games, then it is also the case in all two-player games. Finally, we pinpoint the boundaries of our results with regard to the literature: our work completely covers the case of arena-independent memory (e.g., multiple parity objectives, lower- and upper-bounded energy objectives), and paves the way to the arena-dependent case (e.g., multiple lower-bounded energy objectives).
Exploiting Database Management Systems and Treewidth for Counting
Creators: name: Fichte, Johannes K.
name: Hecher, Markus
name: Thier, Patrick
name: Woltran, Stefan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Data Structures and Algorithms (cs.DS)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: H.2.8; I.2.4; I.2.8; I.2.11; G.2.1; G.2.2; G.2.3

description: Bounded treewidth is one of the most cited combinatorial invariants, which was applied in the literature for solving several counting problems efficiently. A canonical counting problem is #SAT, which asks to count the satisfying assignments of a Boolean formula. Recent work shows that benchmarking instances for #SAT often have reasonably small treewidth. This paper deals with counting problems for instances of small treewidth. We introduce a general framework to solve counting questions based on state-of-the-art database management systems (DBMS). Our framework takes explicitly advantage of small treewidth by solving instances using dynamic programming (DP) on tree decompositions (TD). Therefore, we implement the concept of DP into a DBMS (PostgreSQL), since DP algorithms are already often given in terms of table manipulations in theory. This allows for elegant specifications of DP algorithms and the use of SQL to manipulate records and tables, which gives us a natural approach to bring DP algorithms into practice. To the best of our knowledge, we present the first approach to employ a DBMS for algorithms on TDs. A key advantage of our approach is that DBMS naturally allow to deal with huge tables with a limited amount of main memory (RAM), parallelization, as well as suspending computation.
description: Under consideration in Theory and Practice of Logic Programming (TPLP)
Von 2002 nach 2020 – Zeitsprünge auf dem Baugebiet Weitkamp/Uthof in Oelde
Creators: name: Pape, Jürgen
name: Niestlé, Vincent
name: Wunschel, Andreas
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Karolingischer Landesausbau an der Ems bei Harsewinkel
Creators: name: Manz, Eva
name: Spiong, Sven
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Simulations of Nanocrystals Under Pressure: Combining Electronic Enthalpy and Linear-Scaling Density-Functional Theory
Creators: name: Corsini, Niccolò R. C.
name: Greco, Andrea
name: Hine, Nicholas D. M.
name: Molteni, Carla
name: Haynes, Peter D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present an implementation in a linear-scaling density-functional theory code of an electronic enthalpy method, which has been found to be natural and efficient for the ab initio calculation of finite systems under hydrostatic pressure. Based on a definition of the system volume as that enclosed within an electronic density isosurface [Phys. Rev. Lett., 94, 145501 (2005)], it supports both geometry optimizations and molecular dynamics simulations. We introduce an approach for calibrating the parameters defining the volume in the context of geometry optimizations and discuss their significance. Results in good agreement with simulations using explicit solvents are obtained, validating our approach. Size-dependent pressure-induced structural transformations and variations in the energy gap of hydrogenated silicon nanocrystals are investigated, including one comparable in size to recent experiments. A detailed analysis of the polyamorphic transformations reveals three types of amorphous structures and their persistence on depressurization is assessed.
description: 11 pages and 13 figures (accepted for publication by The Journal of Chemical Physics on the 29th of July 2013)
First-order differentiability properties of a class of equality constrained optimal value functions with applications
Creators: name: Sturm, Kevin
Publisher: name: arXiv
Year: 2020
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: In this paper we study the right differentiability of a parametric infimum function over a parametric set defined by equality constraints. We present a new theorem with sufficient conditions for the right differentiability with respect to the parameter. Target applications are nonconvex objective functions with equality constraints arising in optimal control and shape optimisation. The theorem makes use of the averaged adjoint approach in conjunction with the variational approach of Kunisch, Ito and Peichl. We provide two examples of our abstract result: (a) a shape optimisation problem involving a semilinear partial differential equation which exhibits infinitely many solutions, (b) a finite dimensional quadratic function subject to a nonlinear equation.
Wüst in Wittgenstein – Ausgrabung einer frühmittelalterlichen Kleinsiedlung
Creators: name: Cichy, Eva
name: Cramer, Lutz
name: Zeiler, Manuel
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Kirchortwüstung Papenhem in der Warburger Börde
Creators: name: Bergmann, Rudolf
name: Hallenkamp-Lumpe, Julia
name: Kötz, Stefan
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Good-for-games $ω$-Pushdown Automata
Creators: name: Lehtinen, Karoliina
name: Zimmermann, Martin
Publisher: name: arXiv
Year: 2020
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences
subject: F.4.3
subject: 68Q45

description: We introduce good-for-games $ω$-pushdown automata ($ω$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed so far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results are that $ω$-GFG-PDA are more expressive than deterministic $ω$- pushdown automata and that solving infinite games with winning conditions specified by $ω$-GFG-PDA is EXPTIME-complete. Thus, we have identified a new class of $ω$-contextfree winning conditions for which solving games is decidable. It follows that the universality problem for $ω$-GFG-PDA is in EXPTIME as well. Moreover, we study closure properties of the class of languages recognized by $ω$-GFG- PDA and decidability of good-for-gameness of $ω$-pushdown automata and languages. Finally, we compare $ω$-GFG-PDA to $ω$-visibly PDA, study the resources necessary to resolve the nondeterminism in $ω$-GFG-PDA, and prove that the parity index hierarchy for $ω$-GFG-PDA is infinite. This is a corrected version of the paper arXiv:2001.04392v6 published originally on January 7, 2022.
Preußisch Oldendorf-Hedem – eine Siedlung des 3. bis 5. Jahrhunderts n. Chr.
Creators: name: Pollmann, Hans-Otto
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Hadron Correlations Measured with ALICE
Creators: name: Grosse-Oetringhaus, Jan Fiete
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: Angular particle correlations are a powerful tool to study collective effects and in-medium jet modification as well as their interplay in the hot and dense medium produced in central heavy-ion collisions. We present measurements of two-particle angular correlations of inclusive charged and identified particles performed with the ALICE detector. The near-side peak in the short-range correlation region is quantitatively analyzed: while the rms of the peak in $ϕ$-direction is independent of centrality within uncertainties, we find a significant broadening in $η$-direction from peripheral to central collisions. The particle content of the near-side peak is studied finding that the $p/π$ ratio of particles associated to a trigger particle is much smaller than the one in the bulk of the particles and consistent with fragmentation of a parton in vacuum.
description: Proceedings of plenary talk at the 5th international conference on hard and electromagnetic probes of high-energy nuclear collisions (Hard Probes 2012), Cagliari, Italy