cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Peptide pores in lipid bilayers : voltage facilitation pleads for a revised model
Creators: name: Fadda, G. C.
name: Lairez, D.
name: Guennouni, Z.
name: Koutsioubas, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We address the problem of antimicrobial peptides that create pores in lipid bilayers, focusing on voltage-temperature dependence of pore opening. Two novel experiments (voltage-clamp with alamethicin as an emblematic representative of these peptides and neutron reflectivity of lipid-monolayer at solid/water interface under electric field) serve to revise the only current theoretical model (H. W. Huang et al.Phys. Rev. Lett., 92, 198304 (2004)). We introduce a general contribution of the electric field as being responsible for an unbalanced tension of the two bilayer leaflets and we claim that the main entropy cost of one pore opening is due to the corresponding "excluded-area" for lipid translation.
Additional file 1 of Misspecification of confounder-exposure and confounder-outcome associations leads to bias in effect estimates
Creators: name: Schuster, Noah A.
name: Rijnhart, Judith J. M.
name: Bosman, Lisa C.
name: Twisk, Jos W. R.
name: Klausch, Thomas
name: Heymans, Martijn W.
Publisher: name: figshare
Year: 2023
Subjects: subject: Statistics
subject: FOS: Mathematics

description: Additional file 1.
title: Strategic Infrastructure Planning for Autonomous Vehicles
Creators: name: Liu, Zhaocai
Publisher: name: Utah State University
Year: 2020

description: Compared with conventional human-driven vehicles (HVs), AVs have various potential benefits, such as increasing road capacity and lowering vehicular fuel consumption and emissions. Road infrastructure management, adaptation, and upgrade plays a key role in promoting the adoption and benefit realization of AVs.This dissertation investigated several strategic infrastructure planning problems for AVs. First, it studied the potential impact of AVs on the congestion patterns of transportation networks. Second, it investigated the strategic planning problem for a new form of managed lanes for autonomous vehicles, designated as autonomous-vehicle/toll lanes, which are freely accessible to autonomous vehicles while allowing human-driven vehicles to utilize the lanes by paying a toll.This new type of managed lanes has the potential of increasing traffic capacity and fully utilizing the traffic capacity by selling redundant road capacity to HVs. Last, this dissertation studied the strategic infrastructure planning problem for an infrastructure-enabled autonomous driving system. The system combines vehicles and infrastructure in the realization of autonomous driving. Equipped with roadside sensor and control systems, a regular road can be upgraded into an automated road providing autonomous driving service to vehicles. Vehicles only need to carry minimum required on-board devices to enable their autonomous driving on an automated road. The costs of vehicles can thus be significantly reduced.
Stammering tableaux
Creators: name: Josuat-Vergès, Matthieu
Publisher: name: arXiv
Year: 2016
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: The PASEP (Partially Asymmetric Simple Exclusion Process) is a probabilistic model of moving particles, which is of great interest in combinatorics, since it appeared that its partition function counts some tableaux. These tableaux have several variants such as permutations tableaux, alternative tableaux, tree- like tableaux, Dyck tableaux, etc. We introduce in this context certain excursions in Young's lattice, that we call stammering tableaux (by analogy with oscillating tableaux, vacillating tableaux, hesitating tableaux). Some natural bijections make a link with rook placements in a double staircase, chains of Dyck paths obtained by successive addition of ribbons, Laguerre histories, Dyck tableaux, etc.
description: Clarification and better exposition thanks reviewer's reports
Recovering the geometry of a flat spacetime from background radiation
Creators: name: Bonsante, Francesco
name: Meusburger, Catherine
name: Schlenker, Jean-Marc
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Differential Geometry (math.DG)
subject: Geometric Topology (math.GT)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We consider globally hyperbolic flat spacetimes in 2+1 and 3+1 dimensions, in which a uniform light signal is emitted on the $r$-level surface of the cosmological time for $r\to 0$. We show that the frequency of this signal, as perceived by a fixed observer, is a well-defined, bounded function which is generally not continuous. This defines a model with anisotropic background radiation that contains information about initial singularity of the spacetime. In dimension 2+1, we show that this observed frequency function is stable under suitable perturbations of the spacetime, and that, under certain conditions, it contains sufficient information to recover its geometry and topology. We compute an approximation of this frequency function for a few simple examples.
description: 42 pages, several figures
Additional file 2 of Misspecification of confounder-exposure and confounder-outcome associations leads to bias in effect estimates
Creators: name: Schuster, Noah A.
name: Rijnhart, Judith J. M.
name: Bosman, Lisa C.
name: Twisk, Jos W. R.
name: Klausch, Thomas
name: Heymans, Martijn W.
Publisher: name: figshare
Year: 2023
Subjects: subject: Statistics
subject: FOS: Mathematics

description: Additional file 2.
Ensemble Kalman filtering with residual nudging
Creators: name: Luo, Xiaodong
name: Hoteit, Ibrahim
Publisher: name: arXiv
Year: 2012
Subjects: subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: FOS: Physical sciences

description: Covariance inflation and localization are two important techniques that are used to improve the performance of the ensemble Kalman filter (EnKF) by (in effect) adjusting the sample covariances of the estimates in the state space. In this work an additional auxiliary technique, called residual nudging, is proposed to monitor and, if necessary, adjust the residual norms of state estimates in the observation space. In an EnKF with residual nudging, if the residual norm of an analysis is larger than a pre-specified value, then the analysis is replaced by a new one whose residual norm is no larger than a pre-specified value. Otherwise the analysis is considered as a reasonable estimate and no change is made. A rule for choosing the pre-specified value is suggested. Based on this rule, the corresponding new state estimates are explicitly derived in case of linear observations. Numerical experiments in the 40-dimensional Lorenz 96 model show that introducing residual nudging to an EnKF may improve its accuracy and/or enhance its stability against filter divergence, especially in the small ensemble scenario.
description: Published paper in Tellus A, open access via the http://www.tellusa.net/index.php/tellusa/article/view/17130
Rowmotion and generalized toggle groups
Creators: name: Striker, Jessica
Publisher: name: arXiv
Year: 2016
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05E18, 06A75

description: We generalize the notion of the toggle group, as defined in [P. Cameron-D. Fon-der-Flaass '95] and further explored in [J. Striker-N. Williams '12], from the set of order ideals of a poset to any family of subsets of a finite set. We prove structure theorems for certain finite generalized toggle groups, similar to the theorem of Cameron and Fon-der-Flaass in the case of order ideals. We apply these theorems and find other results on generalized toggle groups in the following settings: chains, antichains, and interval-closed sets of a poset; independent sets, vertex covers, acyclic subgraphs, and spanning subgraphs of a graph; matroids and convex geometries. We generalize rowmotion, an action studied on order ideals in [P. Cameron-D. Fon-der-Flaass '95] and [J. Striker-N. Williams '12], to a map we call cover-closure on closed sets of a closure operator. We show that cover-closure is bijective if and only if the set of closed sets is isomorphic to the set of order ideals of a poset, which implies rowmotion is the only bijective cover-closure map.
description: 26 pages, 5 figures, final journal version
Nicht jeder Schirm trotzt dem Wasser. Probleme und Möglichkeiten der Restaurierung eines Behrens-Paravents
Creators: name: Lehmacher, Laura
Publisher: name: KulturGut : aus der Forschung des Germanischen Nationalmuseums
Year: 2017

description: KulturGut : aus der Forschung des Germanischen Nationalmuseums, Nr. 56 (2018): KulturGut: aus der Forschung des Germanischen Nationalmuseums
Additional file 3 of Misspecification of confounder-exposure and confounder-outcome associations leads to bias in effect estimates
Creators: name: Schuster, Noah A.
name: Rijnhart, Judith J. M.
name: Bosman, Lisa C.
name: Twisk, Jos W. R.
name: Klausch, Thomas
name: Heymans, Martijn W.
Publisher: name: figshare
Year: 2023
Subjects: subject: Statistics
subject: FOS: Mathematics

description: Additional file 3.
5.0 Sprachnormierung und Sprachkritik im Französischen
Creators: name: Große, Sybille
Publisher: name: Handbuch Europäische Sprachkritik Online
Year: 2017
Subjects: Sprachnormendiskussion; guter Sprachgebrauch; Französische Revolution; Sprachmissbrauch; Krise des Französischen

description: Wenngleich das Konzept der Sprachnormenkritik selbst in der französischen (Wissenschafts-) Tradition nicht verankert ist, werden Sprachnormen in Frankreich in laienlinguistischer, philologischer und lin- guistischer Perspektive über die Jahrhunderte puristisch und präskriptiv diskutiert. Dies impliziert eine negative Bewertung zahlreicher Varianten des Sprachgebrauchs. Im Artikel wird dargelegt, welche Schwerpunkte die Sprachnormendiskussion seit dem 17. Jahrhundert prägten: Ist an- fangs der ‚bon usage’ das den Diskurs bestimmende Konzept, rückt im 18. Jahrhundert und während der Französischen Revolution die Frage der angemessenen Umsetzung politischer und sozialer Ideen durch Spra- che in der Debatte des abus des mots in den Mittelpunkt. Im Verlauf des  19. Jahrhunderts wird der Zugang zur Schriftsprache durch die systema- tische Alphabetisierung erweitert. Zugleich tritt die Diskrepanz zwischen Normanspruch und Sprachwirklichkeit zutage (crise du français). Schwer- punkte der Sprachnormendiskussion im 20. Jahrhundert sind die Ortho- graphie, die Lexik (Neologismen, Anglizismen), die Morphosyntax (z. B. Gebrauch des subjonctif) sowie die Phonologie (Diskussion um notwendi- ge und unnütze Formen der liaison).
description: Handbuch Europäische Sprachkritik Online, Bd. 1 (2017): Sprachnormierung und Sprachkritik
A Dichotomy for First-Order Reducts of Unary Structures
Creators: name: Bodirsky, Manuel
name: Mottet, Antoine
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic (math.LO)
subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Many natural decision problems can be formulated as constraint satisfaction problems for reducts $\mathbb{A}$ of finitely bounded homogeneous structures. This class of problems is a large generalisation of the class of CSPs over finite domains. Our first result is a general polynomial-time reduction from such infinite-domain CSPs to finite-domain CSPs. We use this reduction to obtain new powerful polynomial-time tractability conditions that can be expressed in terms of the topological polymorphism clone of $\mathbb{A}$. Moreover, we study the subclass $\mathcal{C}$ of CSPs for structures $\mathbb{A}$ that are reducts of a structure with a unary language. Also this class $\mathcal{C}$ properly extends the class of all finite-domain CSPs. We apply our new tractability conditions to prove the general tractability conjecture of Bodirsky and Pinsker for reducts of finitely bounded homogeneous structures for the class $\mathcal{C}$.
Scaling relations of metallicity, stellar mass, and star formation rate in metal-poor starbursts: II. Theoretical models
Creators: name: Magrini, Laura
name: Hunt, Leslie
name: Galli, Daniele
name: Schneider, Raffaella
name: Bianchi, Simone
name: Maiolino, Roberto
name: Romano, Donatella
name: Tosi, Monica
name: Valiante, Rosa
Publisher: name: arXiv
Year: 2012
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Scaling relations of metallicity (O/H), star formation rate (SFR), and stellar mass give important insight on galaxy evolution. They are obeyed by most galaxies in the Local Universe and also at high redshift. In a companion paper, we compiled a sample of ~1100 galaxies from redshift 0 to ~3, spanning almost two orders of magnitude in metal abundance, a factor of $\sim10^6$ in SFR, and of ~10^5 in stellar mass. We have characterized empirically the star-formation "main sequence" (SFMS) and the mass-metallicity relation (MZR) for this sample, and also identified a class of low-metallicity starbursts, rare locally but more common in the distant universe. These galaxies deviate significantly from the main scaling relations, with high SFR and low metal content for a given M*. In this paper, we model the scaling relations and explain these deviations from them with a set of multi-phase chemical evolution models based on the idea that, independently of redshift, initial physical conditions in a galaxy's evolutionary history can dictate its location in the scaling relations. Our models are able to successfully reproduce the O/H, M*, and SFR scaling relations up to z~3, and also successfully predict the molecular cloud fraction as a function of stellar mass. These results suggest that the scaling relations are defined by different modes of star formation: an "active" starburst mode, more common at high redshift, and a quiescent "passive" mode that is predominant locally and governs the main trends.
description: 17 pages, 7 figures, accepted for publication by MNRAS
Halbzeit – Zahnschmelz, Flint und Flomborn im Gräberfeld von Warburg-Hohenwepel
Creators: name: Pollmann, Hans-Otto
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2017

description: -
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2015 (2016)
About possible extensions of quantum theory
Creators: name: Ghirardi, GianCarlo
name: Romano, Raffaele
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Recently it has been claimed that no extension of quantum theory can have improved predictive power, the statement following, according to the authors, from the assumptions of free will and of the correctness of quantum predictions concerning the correlations of measurement outcomes. Here we prove that the argument is basically awed by an inappropriate use of the assumption of free will. In particular, among other implications, the claim, if correct, would imply that Bohmian Mechanics is incompatible with free will. This statement, appearing in the paper, derives from the unjustified identification of free will with the no-signaling constraint and of a purely formal and not physical use of such a constraint.
description: 9 pages, 1 figure; in publication on Found. of Phys
A family of pseudo-Anosov braids whose super summit sets grow exponentially
Creators: name: Caruso, Sandrine
Publisher: name: arXiv
Year: 2013
Subjects: subject: Group Theory (math.GR)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics

description: We prove that the size of the super summit set of a braid can grow exponentially with the canonical length of the braid, even for pseudo-Anosov braids.
Social Network Games with Obligatory Product Selection
Creators: name: Apt, Krzysztof R.
name: Simon, Sunil
Publisher: name: arXiv
Year: 2013
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: Recently, Apt and Markakis introduced a model for product adoption in social networks with multiple products, where the agents, influenced by their neighbours, can adopt one out of several alternatives (products). To analyze these networks we introduce social network games in which product adoption is obligatory. We show that when the underlying graph is a simple cycle, there is a polynomial time algorithm allowing us to determine whether the game has a Nash equilibrium. In contrast, in the arbitrary case this problem is NP-complete. We also show that the problem of determining whether the game is weakly acyclic is co-NP hard. Using these games we analyze various types of paradoxes that can arise in the considered networks. One of them corresponds to the well-known Braess paradox in congestion games. In particular, we show that social networks exist with the property that by adding an additional product to a specific node, the choices of the nodes will unavoidably evolve in such a way that everybody is strictly worse off.
description: In Proceedings GandALF 2013, arXiv:1307.4162
Additional file 1 of Antipsychotic effects on anthropometric outcomes in anorexia nervosa: a retrospective chart review of hospitalized children and adolescents
Creators: name: Frank, Bettina
name: Arnold, Sabine
name: Jaite, Charlotte
name: Correll, Christoph U.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: Immunology
subject: FOS: Clinical medicine
subject: Mental Health

description: Additional file 1. Supplemental Material, Tables and Figures.
On the geodesic incompleteness of spacetimes containing marginally outer trapped surfaces
Creators: name: Silva, I. P. Costa e
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: In a recent paper, Eichmair, Galloway and Pollack have proved a Gannon-Lee-type singularity theorem based on the existence of marginally outer trapped surfaces (MOTS) on noncompact initial data sets for globally hyperbolic spacetimes. This result requires that the MOTS be generic in a suitable sense. In the same spirit, this author has proven some variants of that result which hold for weaker causal conditions on spacetime, but which concern (generic) marginally trapped surfaces (MTS) rather than MOTS, i.e., most of the results need a condition on the convergence of the ingoing family of normal null geodesics as well. However, much of the more recent literature has focused on MOTS rather than MTS as quasi-local substitutes for the description of black holes, as they are arguably more natural and easier to handle in a number of situations. It is therefore pertinent to ask to what extent one can deduce the existence of singularities in the presence of MOTS alone. In this note, we address this issue and show that singularities still arise in the presence of generic MOTS under weaker causal conditions (specifically, for causally simple spacetimes). Moreover, provided we assume that the MOTS is the boundary of a compact spatial region, a Penrose-Hawking-type singularity theorem can be established for chronological spacetimes containing generic MOTS.
description: 11 pages, no figures, comments welcome. arXiv admin note: substantial text overlap with arXiv:1206.0045
Vom Erz zum Schwert – eine frühmittelalterliche Spatha aus Beckum wird rekonstruiert
Creators: name: Lehmann, Ulrich
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2017

description: -
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2015 (2016)
Additional file 4 of Misspecification of confounder-exposure and confounder-outcome associations leads to bias in effect estimates
Creators: name: Schuster, Noah A.
name: Rijnhart, Judith J. M.
name: Bosman, Lisa C.
name: Twisk, Jos W. R.
name: Klausch, Thomas
name: Heymans, Martijn W.
Publisher: name: figshare
Year: 2023
Subjects: subject: Statistics
subject: FOS: Mathematics

description: Additional file 4.
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Creators: name: Dunn, Lawrence
name: Vicary, Jamie
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We prove coherence theorems for Frobenius pseudomonoids and snakeorators in monoidal bicategories. As a consequence we obtain a 3d notation for proofs in nonsymmetric multiplicative linear logic, with a geometrical notion of equivalence, and without the need for a global correctness criterion or thinning links. We argue that traditional proof nets are the 2d projections of these 3d diagrams.
Inschrift der Dea Mogontia
Creators: name: Zangemeister, Karl
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 69 (1880): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
On universal partial words
Creators: name: Chen, Herman Z. Q.
name: Kitaev, Sergey
name: Mütze, Torsten
name: Sun, Brian Y.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Combinatorics (math.CO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Information Theory (cs.IT)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: A universal word for a finite alphabet $A$ and some integer $n\geq 1$ is a word over $A$ such that every word in $A^n$ appears exactly once as a subword (cyclically or linearly). It is well-known and easy to prove that universal words exist for any $A$ and $n$. In this work we initiate the systematic study of universal partial words. These are words that in addition to the letters from $A$ may contain an arbitrary number of occurrences of a special `joker' symbol $\Diamond\notin A$, which can be substituted by any symbol from $A$. For example, $u=0\Diamond 011100$ is a linear partial word for the binary alphabet $A=\{0,1\}$ and for $n=3$ (e.g., the first three letters of $u$ yield the subwords $000$ and $010$). We present results on the existence and non-existence of linear and cyclic universal partial words in different situations (depending on the number of $\Diamond$s and their positions), including various explicit constructions. We also provide numerous examples of universal partial words that we found with the help of a computer.
Additional file 5 of Misspecification of confounder-exposure and confounder-outcome associations leads to bias in effect estimates
Creators: name: Schuster, Noah A.
name: Rijnhart, Judith J. M.
name: Bosman, Lisa C.
name: Twisk, Jos W. R.
name: Klausch, Thomas
name: Heymans, Martijn W.
Publisher: name: figshare
Year: 2023
Subjects: subject: Statistics
subject: FOS: Mathematics

description: Additional file 5.
Mixing Times of Markov Chains on Degree Constrained Orientations of Planar Graphs
Creators: name: Felsner, Stefan
name: Heldt, Daniel
Publisher: name: arXiv
Year: 2016
Subjects: subject: Combinatorics (math.CO)
subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 05C10, 05C15, 60J05, 68Q87, 68R10

description: We study Markov chains for $α$-orientations of plane graphs, these are orientations where the outdegree of each vertex is prescribed by the value of a given function $α$. The set of $α$-orientations of a plane graph has a natural distributive lattice structure. The moves of the up-down Markov chain on this distributive lattice corresponds to reversals of directed facial cycles in the $α$-orientation. We have a positive and several negative results regarding the mixing time of such Markov chains. A 2-orientation of a plane quadrangulation is an orientation where every inner vertex has outdegree 2. We show that there is a class of plane quadrangulations such that the up-down Markov chain on the 2-orientations of these quadrangulations is slowly mixing. On the other hand the chain is rapidly mixing on 2-orientations of quadrangulations with maximum degree at most 4. Regarding examples for slow mixing we also revisit the case of 3-orientations of triangulations which has been studied before by Miracle et al.. Our examples for slow mixing are simpler and have a smaller maximum degree, Finally we present the first example of a function $α$ and a class of plane triangulations of constant maximum degree such that the up-down Markov chain on the $α$-orientations of these graphs is slowly mixing.
title: Sprachen vermitteln, Welten sichten : Konzeptualisierungen und Zusammenhänge von Sprache und Kultur in Bildungskontexten
Creators: name: Beuter, Katharina
Publisher: name: Otto-Friedrich-Universität Bamberg
Year: 2020

description: Forum Lehrerinnen- und Lehrerbildung, 9, 15-33
Berichte über die Tätigkeit der Provinzialmuseen in der Zeit vom 1. April 1902 bis 31. März 1903
Creators: name: Lehner, Hans
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 113 (1905): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Additional file 1 of Access to hip and knee arthroplasty in England: commissioners’ policies for body mass index and smoking status and implications for integrated care systems
Creators: name: McLaughlin, Joanna
name: Elsey, Joshua
name: Kipping, Ruth
name: Owen-Smith, Amanda
name: Judge, Andrew
name: McLeod, Hugh
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 1.
The Independence of Markov's Principle in Type Theory
Creators: name: Coquand, Thierry
name: Mannaa, Bassel
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: In this paper, we show that Markov's principle is not derivable in dependent type theory with natural numbers and one universe. One way to prove this would be to remark that Markov's principle does not hold in a sheaf model of type theory over Cantor space, since Markov's principle does not hold for the generic point of this model. Instead we design an extension of type theory, which intuitively extends type theory by the addition of a generic point of Cantor space. We then show the consistency of this extension by a normalization argument. Markov's principle does not hold in this extension, and it follows that it cannot be proved in type theory.
Georg Weise, Zwei fränkische Königspfalzen
Creators: name: Oelmann, Franz
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Georg Weise, Zwei fränkische Königspfalzen. Tübingen (Al. Fischer) 1923.
description: Bonner Jahrbücher, Bd. 128 (1923): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
title: Englisch ist ein europäischer Mix : Vom Mehrwert des historischen Blicks in der Schule
Creators: name: Knappe, Gabriele
name: Alvarado-Sieg, Astrid
Publisher: name: Otto-Friedrich-Universität Bamberg
Year: 2020

description: Forum Lehrerinnen- und Lehrerbildung, 9, 79-119
title: Causal network approaches for the study of sub-seasonal to seasonal variability and predictability
Creators: name: Saggioro, Elena
Publisher: name: University of Reading
Year: 2023

description: Statistics is fundamental for climate science. It helps making sense of its complex and multi-scale features by characterizing its aggregated behaviour. However, statistical methods used to extract causal information about this behaviour are often based on correlation and pattern detection, which lack a causal interpretation. Causal networks are emerging as a framework that can bridge statistics and causal meaning. This thesis seeks to contribute in advancing the use of causal network-based methods for the understanding of sub-seasonal to seasonal variability and predictability. The system of interest is the Southern Hemisphere mid-to-high latitude large-scale circulation variability in spring-to-summer, which is characterised by a strong downward influence of the stratospheric polar vortex on the tropospheric eddy-driven jet and its seasonal latitudinal shifts. The coupling extends the predictability of the troposphere due to the usually more predictable stratospheric dynamics. In this thesis, firstly the strength and timescale of the coupling are estimated from reanalysis with a time-series causal network, revealing the biasing effect of the vortex internal dynamics on all cross-correlations with the jet. The detected coupling can explain the enhanced jet autocorrelations and the effect of ozone depletion on its poleward trend in the late 20th century. Secondly, the predictability of the coupled variability is studied with a Bayesian causal network with a large ensemble hindcast. Marginal predictability is found given long-lead drivers, such as El Nino Southern Os- ˜ cillation and Polar Night Jet oscillation. The jet is highly predictable given the vortex state, also for its poleward shift, confirming a hypothesis present in the literature. Motivated by the presence of non-stationarity in this system, a causal discovery algorithm for regime-dependent non-stationarity is proposed. Its skill is shown for a suite of synthetic systems and one real-world example.
Dual-Context Calculi for Modal Logic
Creators: name: Kavvos, G. A.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which can be thought as modal, and the other as intuitionistic. We show that these calculi have their roots in in sequent calculi. We then investigate their metatheory, equip them with a confluent and strongly normalizing notion of reduction, and show that they coincide with the usual Hilbert systems up to provability. Finally, we investigate a categorical semantics which interprets the modality as a product-preserving functor.
description: Full version of article previously presented at LICS 2017 (see arXiv:1602.04860v4 or doi: 10.1109/LICS.2017.8005089)
Fast strategies in biased Maker--Breaker games
Creators: name: Mikalački, Mirjana
name: Stojaković, Miloš
Publisher: name: arXiv
Year: 2016
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 91A24 Positional games, 91A43 Games involving graphs, 91A46 Combinatorial games

description: We study the biased $(1:b)$ Maker--Breaker positional games, played on the edge set of the complete graph on $n$ vertices, $K_n$. Given Breaker's bias $b$, possibly depending on $n$, we determine the bounds for the minimal number of moves, depending on $b$, in which Maker can win in each of the two standard graph games, the Perfect Matching game and the Hamilton Cycle game.
Christian Baechler, L’Allemagne et les Allemands en guerre. 1914–1918, Paris (Hermann) 2016
Creators: name: Epkenhans, Michael
Publisher: name: Francia-Recensio
Year: 2017

description: Christian Baechler, L’Allemagne et les Allemands en guerre. 1914–1918, Paris (Hermann) 2016, 572 p. (Hermann histoire), ISBN 978-2-7056-9285-8, EUR 42,00.
description: Francia-Recensio, 2017/4
Additional file 7 of Identification of GRIN2D as a novel therapeutic target in pancreatic ductal adenocarcinoma
Creators: name: Wang, Jiatong
name: Wong, Chi Hin
name: Zhu, Yinxin
name: Yao, Xiaoqiang
name: Ng, Kelvin K C
name: Zhou, Chengzhi
name: To, Ka Fai
name: Chen, Yangchao
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Supplementary Material 7
Jan Eckel, Die Ambivalenz des Guten. Menschenrechte in der internationalen Politik seit den 1940ern, Göttingen (Vandenhoeck & Ruprecht) 2014
Creators: name: Börsch, Lia
Publisher: name: Francia-Recensio
Year: 2017

description: Jan Eckel, Die Ambivalenz des Guten. Menschenrechte in der internationalen Politik seit den 1940ern, Göttingen (Vandenhoeck & Ruprecht) 2014, 936 S., ISBN 978-3-525-30069-5, EUR 60,00.
description: Francia-Recensio, 2017/4
title: 2019 NOAA Science Report
titleType: Other
Creators: name: Digiantonio, Gina
name: Kelley, Emma
name: Bayler, Eric
name: Christerson, Neil
name: Davis, Sarah B.
name: Dreflak, Kurt
name: Hameedi, Jawed
name: Liddel, Michael
name: Matlock, Gary C.
name: Newcomb, Laura
name: Roberts, Jamie (Jamie Jo)
name: Roohr, Peter
Publisher: name: United States. National Oceanic and Atmospheric Administration NOAA Research Council (U.S.)
Year: 2020

description: NOAA technical memorandum NOAA Research Council ; 002
Three Puzzles from Nuclear Astrophysics
Creators: name: Haxton, W. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Nuclear Theory (nucl-th)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: I discuss three open problems in astrophysics where nuclear physics can make important contributions: the solar abundance problem, dark matter particle detection, and the origin of the r-process elements.
description: 11 pages, 6 figures; talk presented at HITES 2012
title: Big Data Management for Secured Smart Healthcare System: A Machine Learning Framework
Creators: name: Zahin, Abrar
Publisher: name: Utah State University
Year: 2020

description: Human action recognition and monitoring are a significant part of a smart healthcare system, which allows us to remotely monitor the behavior of patients or elderly persons to record their daily activities and to ensure safety. Ubiquitous smart wearable sensors are becoming convenient for generating and transmitting those healthcare data for further processing. Interpretation of such huge amount of data requires advanced learning systems where most important information can be extracted and analyzed. For example, current classification algorithms are not robust enough to differentiate among numerous variations of human actions due to the lack of sufficient processed samples. Thus, one aspect of this thesis focuses on how to incorporate raw data with the processed one in order to build abetter classification framework. Furthermore, for a remote surveillance system, excessive amount of data need to be transmitted to the receiver end, which is not only an energy-intensive process but also may jeopardize the real-time processing capability because of the overwhelming number of packets received and numerous packet losses. This challenge is addressed by the second part of the thesis, which designs an efficient framework to reduce the amount of insignificant information for transmission. The proposed scheme can not only reduce the number of packets but is also robust to packet loss.
QuotationFinder - Searching for Quotations and Allusions in Greek and Latin Texts and Establishing the Degree to Which a Quotation or Allusion Matches Its Source
Creators: name: Herren, Luc
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: The software programs generally used with the TLG (Thesaurus Linguae Graecae) and the CLCLT (CETEDOC Library of Christian Latin Texts) CD-ROMs are not well suited for finding quotations and allusions. QuotationFinder uses more sophisticated criteria as it ranks search results based on how closely they match the source text, listing search results with literal quotations first and loose verbal parallels last.
Additional file 2 of Access to hip and knee arthroplasty in England: commissioners’ policies for body mass index and smoking status and implications for integrated care systems
Creators: name: McLaughlin, Joanna
name: Elsey, Joshua
name: Kipping, Ruth
name: Owen-Smith, Amanda
name: Judge, Andrew
name: McLeod, Hugh
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 2.
title: Diversity and Inclusion in Technical and Professional Communication Academic Programs
Creators: name: Dayley, Chris
Publisher: name: Utah State University
Year: 2020

description: With the recent social justice turn in technical and professional communication (TPC) scholarship, researchers have begun to focus their attention on issues of diversity and inclusion. Increasing diversity and inclusion in the field of technical and professional communication starts with TPC academic programs. This dissertation reports the results of qualitative interviews conducted with five undergraduate students, six graduate students, and five pre-tenure faculty who study TPC and identify as persons of color as well as six influencers identified by research participants. Interview participants discuss reasons why they chose TPC as a major, obstacles to discovering TPC academic programs, the importance of mentorship, embedded racist practices in TPC academic programs, and barriers to inclusion. Recommendations are given for increasing diversity and inclusion in TPC academic programs including the need to designate a staff member in charge of recruitment, the importance of creating a student advisory council comprised of students from diverse backgrounds, specific ideas for community outreach, and how departments can be more proactive in recruitment efforts.
title: A Grounded Theory to Explain Parent Prioritization of Hearing Care When Children Have Down Syndrome
Creators: name: Whicker, John J.
Publisher: name: Utah State University
Year: 2020

description: The purpose of this study was to describe the decision-making process parents experience when prioritizing hearing care while caring for children who are deaf or hard-of-hearing with Down Syndrome. To achieve this, parents of children who are deaf or hard-of-hearing with Down Syndrome were recruited, and in-depth interviews were conducted to develop a grounded theory that may explain the decision-making process for how parents prioritize effective hearing care and management. The resulting theory indicated that the higher the extent of professional engagement, parent perception of benefit, parent activation, and engagement of family support, the higher the priority for hearing care and management will be.
The results of this study may inform audiologists and other professionals interacting with this sub-population of parents and children regarding how parent needs and challenges may extend beyond those present when children are deaf or hard-of-hearing alone. This may, in turn, inform how person-centered care is delivered to meet these needs.
Petr Vorel, The War of the Princes. The Bohemian Lands and the Holy Roman Empire 1546–1555, Budapest (Central European University Press) 2015
Creators: name: Sander-Faes, Stephan
Publisher: name: Francia-Recensio
Year: 2017

description: Petr Vorel, The War of the Princes. The Bohemian Lands and the Holy Roman Empire 1546–1555, Budapest (Central European University Press) 2015, 300 p., 8 ill., ISBN 978-1-943596-03-4, EUR 44,00.
description: Francia-Recensio, 2017/4
Manuskripte zur Farbenlehre. Ordner IV
Creators: name: Itten, Johannes
Publisher: name: [s.n.]
Year: 1950

description: Das Dossier enthält hauptsächlich handschriftliche Aufzeichnungen und Skizzen Johannes Ittens zur Farbenlehre. Einige Texte zeigen Vorstufen zu Kapiteln in "Kunst der Farbe". Die Dokumente befanden sich ursprünglich in einem unbeschrifteten Ordner und waren mit beschrifteten Registertrennblättern thematisch in folgende Bereiche geordnet: Impressiv, Expressiv, Malerei, Kunstwissenschaft, Architektur, Mode, Foto-Film, Reklame, Keramik, Gärtner, Methodik. In den Bereichen Malerei, Kunstwissenschaft, Architektur, Keramik und Gärtner sind keine Dokumente enthalten. Der Bereich Mode enthält diverse einzelne Manuskriptblätter sowie sechs zusammenhängende Manuskripte mit folgenden Titeln: Aufsatz, Die Farbe in der Mode (zwei Manuskripte), Erziehung, Pädagogik, Vom Kolorieren in der Textilindustrie. Der Bereich Foto-Film enthält die Druckschrift "Le Cinéma en couleurs" von Pierre Brard, Juli 1946. Beilagen: Notizzettel von Anneliese Itten, Notizzettel von 2002
Manuskripte zur Farbenlehre. Ordner II
Creators: name: Itten, Johannes
Publisher: name: [s.n.]
Year: 1950

description: Das Dossier enthält hauptsächlich handschriftliche Aufzeichnungen und Skizzen Johannes Ittens zur Farbenlehre; daneben auch: einzelne Farbzeichnungen; 2 Buchseiten; zwei Blätter aus dem Krefelder Tagebuch; 1 Stoffmuster. Die Dokumente befanden sich ursprünglich in einem unbeschrifteten Ordner und waren mit beschrifteten Registertrennblättern thematisch in folgende Bereiche geordnet: Subjektive Farben; 12teiliger Farbkreis aus den Farben I. II. III. Ordnung; 7 Farbkontraste; Farbe an sich; Helldunkel; Kalt warm; Komplementär; Simultan; Qualität; Quantität. Der Bereich Subjektive Farben enthält zwei zusammenhängende Manuskripte mit den Titeln «Subjektive Farbklänge» und «Der Subjektivismus in der modernen Kunst» sowie 2 Buchseiten und ein einzelnes Manuskriptblatt. Der Bereich 12teiliger Farbkreis enthält diverse einzelne Manuskriptblätter und ein zusammenhängendes Manuskript «Die konstruktive Farbenlehre». Der Bereich 7 Farbkontraste enthält ein zusammenhängendes Manuskript dieses Titels. Der Bereich Farbe an sich enthält diverse einzelne Manuskriptblätter und Farbzeichnungen sowie das Manuskript «Der Farb an sich Kontrast». Der Bereich Helldunkel enthält eine einzelne Farbzeichnung sowie ein teilweise zusammenhängendes Manuskript mit Titel «Der Helldunkel Kontrast», welches zwischen den Seiten auch einzelne Manuskriptblätter und ein Blatt aus dem Krefelder Tagebuch umfasst. Der Bereich Kalt warm enthält diverse einzelne Manuskriptblätter und Farbzeichnungen. Der Bereich Komplementär enthält das Manuskript «Der Komplementär Kontrast» sowie Bildanalysen zu Werken von Jean Fouquet und Jan van Eyck, Sandro Botticelli, Piero della Francesca und eine Farbzeichnung von Margrit Wieland. Der Bereich Simultan enthält das Manuskript «Der Simultan Kontrast» sowie ein Stoffmuster und eine Bildanalyse zu einem Werk eines Bayrischen Meisters. Der Bereich Qualität enthält das Manuskript «Der Qualitäts Kontrast», das auch Farbzeichnungen umfasst, sowie diverse Blätter mit Bildanalysen. Der Bereich Quantität enthält das Manuskript «Quantitäts Kontrast», das auch einzelne Manuskriptblätter und Farbzeichnungen umfasst, sowie ein Blatt aus dem Krefelder Tagebuch.
Hole probabilities and overcrowding estimates for products of complex Gaussian matrices
Creators: name: Akemann, Gernot
name: Strahov, Eugene
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mathematical Physics (math-ph)
subject: Probability (math.PR)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We consider eigenvalues of a product of n non-Hermitian, independent random matrices. Each matrix in this product is of size N\times N with independent standard complex Gaussian variables. The eigenvalues of such a product form a determinantal point process on the complex plane (Akemann and Burda J. Phys A: Math. Theor. 45 (2012) 465201), which can be understood as a generalization of the finite Ginibre ensemble. As N\rightarrow\infty, a generalized infinite Ginibre ensemble arises. We show that the set of absolute values of the points of this determinantal process has the same distribution as {R_1^{(n)},R_2^{(n)},...}, where R_k^{(n)} are independent, and (R_k^{(n)})^2 is distributed as the product of n independent Gamma variables Gamma(k,1). This enables us to find the asymptotics for the hole probabilities, i.e. for the probabilities of the events that there are no points of the process in a disc of radius r with its center at 0, as r\rightarrow\infty. In addition, we solve the relevant overcrowding problem: we derive an asymptotic formula for the probability that there are more than m points of the process in a fixed disk of radius r with its center at 0, as m\rightarrow\infty.
Manuskripte zur Farbenlehre. Ordner III
Creators: name: Itten, Johannes
Publisher: name: [s.n.]
Year: 1950

description: Das Dossier enthält hauptsächlich handschriftliche Aufzeichnungen und Skizzen Johannes Ittens zur Farbenlehre; daneben auch: Typoskripte; einzelne Zeichnungen; 1 Zeitungsartikel "Fragestunde mit Schnecken" von Prof. Dr. A. Portmann, Die Weltwoche, 23. August 1957. Einige Texte zeigen Vorstufen zu Kapiteln in "Kunst der Farbe". Die Dokumente befanden sich ursprünglich in einem unbeschrifteten Ordner und waren mit beschrifteten Registertrennblättern thematisch in folgende Bereiche geordnet: Farbstern, Farbmischung, Akkordik, Komposition, Form und Farbe, Farbe räumlich. Der Bereich Farbstern enthält diverse einzelne Manuskriptblätter sowie zusammenhängende bzw. zusammengehörende Manuskripte mit folgenden Titeln: Die Farbenkugel, Die Abfolge der Farbempfindungszonen, Versuche über statische und dynamische Farbwirkungen, Die Farbordnung, Farbkugel Schnitte. Der Bereich Farbmischung enthält das Manuskript "Die Mischungen der Farben" und dazugehörige Illustrationen. Der Bereich Akkordik enthält zwei Manuskripte mit Titel "Farbakkordik" sowie das Manuskript "Akkord Variationen" und diverse einzelne Manuskriptblätter. Der Bereich Komposition enthalt zusammenhängende Manuskripte mit den Titeln: Komposition (drei Manuskripte), Die Heuschreckenplage aus der Apokalypse von St. Sevère (zwei Manuskripte) sowie diverse einzelne Manuskriptblätter.
Identification of Parallel Passages Across a Large Hebrew/Aramaic Corpus
Creators: name: Shmidman, Avi
name: Koppel, Moshe
name: Porat, Ely
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: We propose a method for efficiently finding all parallel passages in a large corpus, even if the passages are not quite identical due to rephrasing and orthographic variation. The key ideas are the representation of each word in the corpus by its two most infrequent letters, finding matched pairs of strings of four or five words that differ by at most one word and then identifying clusters of such matched pairs. Using this method, over 4600 parallel pairs of passages were identified in the Babylonian Talmud, a Hebrew-Aramaic corpus of over 1.8 million words, in just over 30 seconds. Empirical comparisons on sample data indicate that the coverage obtained by our method is essentially the same as that obtained using slow exhaustive methods.
description: Submission to the Journal of Data Mining and Digital Humanities (Special Issue on Computer-Aided Processing of Intertextuality in Ancient Languages)
Additional file 1 of Self and caregiver report measurement of sensory features in autism spectrum disorder: a systematic review of psychometric properties
Creators: name: Gunderson, Jaclyn
name: Worthley, Emma
name: Byiers, Breanne
name: Symons, Frank
name: Wolff, Jason
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Table S1. Summary of Measures Used to Assess Sensory Features in Individuals with ASD. Table (larger than 1 page) including assessment tool names, description, target population, administration type.