cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 3 of Inspiratory response and side-effects to rapid bilateral magnetic phrenic nerve stimulation using differently shaped coils: implications for stimulation-assisted mechanical ventilation
Creators: name: Boyle, Kyle G. P. J. M.
name: Eichenberger, Philipp A.
name: Schön, Patrick
name: Spengler, Christina M.
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 3. Correlations between tidal volumes in response to single-train rapid bilateral anterior magnetic phrenic nerve stimulation and anthropometric variables.
Ein ägyptischer Sarg der Saitenzeit im Akademischen Kunstmuseum zu Bonn
Creators: name: Wiedemann, Alfred
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 130 (1925): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Massive disk formation in the tidal disruption of a neutron star by a nearly extremal black hole
Creators: name: Lovelace, Geoffrey
name: Duez, Matthew D.
name: Foucart, Francois
name: Kidder, Lawrence E.
name: Pfeiffer, Harald P.
name: Scheel, Mark A.
name: Szilagyi, Bela
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Black hole-neutron star (BHNS) binaries are important sources of gravitational waves for second-generation interferometers, and BHNS mergers are also a proposed engine for short, hard gamma-ray bursts. The behavior of both the spacetime (and thus the emitted gravitational waves) and the neutron star matter in a BHNS merger depend strongly and nonlinearly on the black hole's spin. While there is a significant possibility that astrophysical black holes could have spins that are nearly extremal (i.e. near the theoretical maximum), to date fully relativistic simulations of BHNS binaries have included black-hole spins only up to $S/M^2$=0.9, which corresponds to the black hole having approximately half as much rotational energy as possible, given the black hole's mass. In this paper, we present a new simulation of a BHNS binary with a mass ratio $q=3$ and black-hole spin $S/M^2$=0.97, the highest simulated to date. We find that the black hole's large spin leads to the most massive accretion disk and the largest tidal tail outflow of any fully relativistic BHNS simulations to date, even exceeding the results implied by extrapolating results from simulations with lower black-hole spin. The disk appears to be remarkably stable. We also find that the high black-hole spin persists until shortly before the time of merger; afterwards, both merger and accretion spin down the black hole.
description: 20 pages, 10 figures, submitted to Classical and Quantum Gravity
A freeness criterion without patching for modules over local rings
Creators: name: Brochard, Sylvain
name: Iyengar, Srikanth B.
name: Khare, Chandrashekhar
Publisher: name: arXiv
Year: 2020
Subjects: subject: Commutative Algebra (math.AC)
subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 13C10 (primary), 13D02, 11F80 (secondary)

description: It is proved that if $φ\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free over $B$, and $φ$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjecture of de Smit, proved by the first author, dealing with the special case when $N$ is flat over $A$.
description: 11 page; minor changes in version 2. To appear in J. Inst. Math. Jussieu
Child neglect and trauma: The additive traumatic effects of neglect on maltreated adolescents
Creators: name: Adrianna Rachel Wechsler
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: Child maltreatment affects thousands of youths in the United States and poses numerous detrimental effects to individuals, families, and the community. Neglect is the most commonly reported and least studied form of child maltreatment. All types of child maltreatment may result in negative outcomes, but the chronic and pervasive nature of child neglect poses a significant threat to child development. No studies have been published evaluating the role of child neglect in the development of Posttraumatic Stress Disorder (PTSD) and PTSD-related symptoms.

This study examined whether neglect has an additive traumatic effect on maltreated youth. The first hypothesis was that youths who had experienced only neglect, in the absence of other maltreatment, would exhibit PTSD, dissociation, and depression symptoms similar to peers who had a history of other maltreatment. The second hypothesis was that youths who had experienced neglect in concert with other maltreatment would exhibit more severe symptoms of PTSD, dissociation, and depression than youths who had experienced maltreatment without neglect. The third hypothesis was that gender, age, and specific family factors will influence symptom severity of PTSD, dissociation, and depression.

Study findings indicate that youths who experienced neglect exhibited PTSD-related symptoms similar to adolescents who experienced other forms of maltreatment. Results did not support the notion that neglect has an additive traumatic effect on maltreated youth, as youths who experienced neglect and other maltreatment in concert did not exhibit more PTSD-related symptoms than youth who experienced maltreatment without neglect. Specific family environment variables correlated with PTSD-related symptoms. Female participants exhibited significantly more PTSD, depression, and dissociative symptoms than male participants. A discussion of study results indicates that all types of child maltreatment may lead to similar PTSD-related symptoms due to biological stress responses. Individual, family, and social support factors relate to PTSD and influence trauma reactions.
Additional file 1 of Perioperative temperature management: a survey of 6 Asia–Pacific countries
Creators: name: Koh, Wenjun
name: Chakravarthy, Murali
name: Simon, Edgard
name: Rasiah, Raveenthiran
name: Charuluxananan, Somrat
name: Kim, Tae-Yop
name: Chew, Sophia T. H.
name: Bräuer, Anselm
name: Ti, Lian Kah
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Ecology
subject: FOS: Biological sciences

description: Additional file 1. Asia-Pacific Perioperative Temperature Management Questionnaire. Questionnaire used for data collection.
Universal Declaration of Human Rights: An Inspirational Charter
Creators: name: Marsili, Marco
Publisher: name: Unequal World Research Center
Year: 2024
Subjects: international law
international humanitarian law
human rights
United Nations
council of Europe
universal declaration of human rights
UDHR
European convention on human rights
fundamental rights
ECHR
African Union
AU
African (Banjul) Charter on Human and Peoples' Rights (ACHP)
Organisation of African Unity (OAU)
islam
muslim
arab
Cairo Declaration on Human Rights in Islam (CDHRI)
Universal Islamic declaration of human rights
islamic counciil
Arab Charter on Human Rights (ACHR)
league of Arab states
arab league
Association of Southeast Asian Nations (ASEAN)
ASEAN Human Rights Declaration (AHRD)

description: The Universal Declaration of Human Rights (UDHR), proclaimed by the UN Assembly on December 10, 1948, is a touchstone and an inspiration for similar instruments. The European Convention on Human Rights (ECHR), drafted by the Council of Europe in 1950, is considered the European response to the UDHR. The African (Banjul) Charter on Human and Peoples' Rights (ACHP), adopted by the Organisation of African Unity (OAU) in 1981, mirrors the UDHR. The Cairo Declaration on Human Rights in Islam (CDHRI), adopted by the Organisation of the Islamic Conference (OIC) in 1990, which follows the first Muslim instrument, the Universal Islamic declaration of human rights, adopted by the Islamic Council in 1981, can be considered the Islamic version of the UDHR. The Arab Charter on Human Rights(ACHR) adopted by the League of Arab States in 2004, embodies the principles enshrined in the UDHR. In 2012, ten Asian states, members of the Association of Southeast Asian Nations (ASEAN), adopted the ASEAN Human Rights Declaration (AHRD), which in its preamble recalls the UDHR. Despite references and similarities with the UDHR these instruments show limits related to religious constrains—the Islamic Shariah—that do not ensure the full implementation of fundamental human rights. Indeed, some charters are incompatible with international norms and standards on human rights since Western and Arab values diverge substantially, and these differences are reflected in such instruments. The AHRD suffers from the inspiration of autocratic regimes that promoted it and hence fails to include several key basic rights and fundamental freedoms, including the right to freedom of association. While it served as the inspiration for many similar instruments, the UDHR is still unique and inimitable.
Measurements of SCRF cavity dynamic heat load in horizontal test system
Creators: name: DeGraff, B. D.
name: Bossert, R. J.
name: Pei, L.
name: Soyars, W. M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: The Horizontal Test System (HTS) at Fermilab is currently testing fully assembled, dressed superconducting radio frequency (SCRF) cavities. These cavities are cooled in a bath of superfluid helium at 1.8K. Dissipated RF power from the cavities is a dynamic heat load on the cryogenic system. The magnitude of heat flux from these cavities into the helium is also an important variable for understanding cavity performance. Methods and hardware used to measure this dynamic heat load are presented. Results are presented from several cavity tests and testing accuracy is discussed.
description: 6 pp. Cryogenic Engineering Conference and International Cryogenic Materials Conference 28 Jun - 2 Jul 2009. Tucson, Arizona
Concurrent Process Histories and Resource Transducers
Creators: name: Nester, Chad
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Category Theory (math.CT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We identify the algebraic structure of the material histories generated by concurrent processes. Specifically, we extend existing categorical theories of resource convertibility to capture concurrent interaction. Our formalism admits an intuitive graphical presentation via string diagrams for proarrow equipments. We also consider certain induced categories of resource transducers, which are of independent interest due to their unusual structure.
Additional file 1 of Contents and quality of travel tips on malaria in English and Spanish travel blogs
Creators: name: Linares-Rufo, Manuel
name: Santos-Larrégola, Laura
name: Hernández-de-Mora, Miguel Górgolas
name: Ramos-Rincón, José-Manuel
Publisher: name: figshare
Year: 2021
Subjects: subject: Neuroscience
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1: Table S1. 500 English travel blogs analyzed by alphabetic order. Table S2. 100 Spanish travel blogs analyzed by alphabetic order.
Additional file 1 of Validation of a novel computerized cognitive function test for the rapid detection of mild cognitive impairment
Creators: name: Kouzuki, Minoru
name: Miyamoto, Madoka
name: Tanaka, Nobuto
name: Urakami, Katsuya
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Table S1. Characteristics of patients in the 65–74, 75–84, and over 85 years old groups. Table S2. Comparison of the score of subtests in the MARC. Table S3. Overview of the psychometric properties of Japanese computerized cognitive function test verified for MCI. Figure S1. Samples of the representative tests on the MARC. Figure S2. The score of MARC in the 65–74, 75–84, and over 85 years old groups.
A cosmological solution of Regge calculus
Creators: name: Gentle, Adrian P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 83C27

description: We revisit the Regge calculus model of the Kasner cosmology first considered by S. Lewis. One of the most highly symmetric applications of lattice gravity in the literature, Lewis' discrete model closely matched the degrees of freedom of the Kasner cosmology. As such, it was surprising that Lewis was unable to obtain the full set of Kasner-Einstein equations in the continuum limit. Indeed, an averaging procedure was required to ensure that the lattice equations were even consistent with the exact solution in this limit. We correct Lewis' calculations and show that the resulting Regge model converges quickly to the full set of Kasner-Einstein equations in the limit of very fine discretization. Numerical solutions to the discrete and continuous-time lattice equations are also considered.
description: 12 pages, 3 figures
Relating Functional and Imperative Session Types
Creators: name: Saffrich, Hannes
name: Thiemann, Peter
Publisher: name: arXiv
Year: 2020
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.1.3; D.3.1; F.3.2

description: Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that change the typestate of the channel. Compared to functional session type APIs, the program structure is simpler at the surface, but typestate is required to model the current state of communication throughout. Following an early work that explored the imperative approach, a significant body of work on session types has neglected the imperative approach and opts for a functional approach that uses linear types to manage channel references soundly. We demonstrate that the functional approach subsumes the early work on imperative session types by exhibiting a typing and semantics preserving translation into a system of linear functional session types. We further show that the untyped backwards translation from the functional to the imperative calculus is semantics preserving. We restrict the type system of the functional calculus such that the backwards translation becomes type preserving. Thus, we precisely capture the difference in expressiveness of the two calculi and conclude that the lack of expressiveness in the imperative calculus is largely due to restrictions imposed by its type system.
Nesting and lifetime effects in the FFLO state of quasi-one-dimensional imbalanced Fermi gases
Creators: name: Caldas, Heron
name: Continentino, Mucio A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Motivated by the recent experimental realization of a candidate to the Fulde-Ferrell (FF) and the Larkin-Ovchinnikov (LO) states in one dimensional (1D) atomic Fermi gases, we study the quantum phase transitions in these enigmatic, finite momentum-paired superfluids. We focus on the FF state and investigate the effects of the induced interaction on the stability of the FFLO phase in homogeneous spin-imbalanced quasi-1D Fermi gases at zero temperature. When this is taken into account we find a direct transition from the fully polarized to the FFLO state. Also, we consider the effect of a finite lifetime of the quasi-particles states in the normal-superfluid instability. In the limit of long lifetimes, the lifetime effect is irrelevant and the transition is directly from the fully polarized to the FFLO state. We show, however, that for sufficiently short lifetimes there is a quantum critical point (QCP), at a finite value of the mismatch of the Fermi wave-vectors of the different quasi-particles, that we fully characterize. In this case the transition is from the FFLO phase to a normal partially polarized state with increasing mismatch.
description: 15 pages, 4 figures
Additional file 1 of Pharmacists’ clinical knowledge and practice in the safe use of contraceptives: real knowledge vs. self-perception and the implications
Creators: name: Jelić, Ana Golić
name: Tasić, Ljiljana
name: Škrbić, Ranko
name: Marinković, Valentina
name: Šatara, Svjetlana Stoisavljević
name: Stojaković, Nataša
name: Peković, Vanda Marković
name: Godman, Brian
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 1.
When did the ancestors of Polynesia begin to migrate to Polynesia? The mtDNA evidence
Creators: name: David Lesniewski
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: The timing and nature of the migration of the ancestors of the Polynesian people is debated by two competing theories. The "Express Train" and "Slow Boat" theories assert that the migration of the Proto-Polynesian people began around 6,000 years before present (BP) or around 10,000 years BP respectively. Through the use of haplogroups and specific genetic mutations a direct relationship between the Proto-Polynesians and modern Polynesians was attempted to test which of these theories was correct. The ancient skeletal remains from the island of Borneo currently housed at UNLV were used in this study as their dates fall within both theories' geographic and temporal range and so held the potential to provide the genetic material required to test these theories.

The aim of this study was to genetically link these ancient skeletal remains to modern Polynesian people. However, the results obtained determined the samples were contaminated with DNA belonging to people outside of the Southeast Asian haplogroup and that any original DNA had become degraded. This meant that no further analysis could take place. These findings lead to the conclusion that collection practices need to be implemented by the excavators and curators of skeletal remains to reduce or eliminate accidental contamination.
Experimental and numerical study of a proton exchange membrane electrolyzer for hydrogen production
Creators: name: Sachin S. Deshmukh
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: Hydrogen as a fuel source has received attention from researchers globally due to its potential to replace fossil based fuels for energy production. Research is being performed on hydrogen production, storage and utilization methods to make its use economically feasible relative to current energy sources. The PEM electrolyzer is used to produce hydrogen and oxygen using water and electricity. Focus of our study is to provide a benchmark experiment and numerical model of a single cell electrolyzer that can assist in improving the current state of understanding of this system. Parametric analysis of an experimental cell was performed to understand the effect of operating parameters of electrolyzer on its performance. A CFD model was developed to model the physics of electrolyzer. The model was validated with the experiment; the information presented here can be used as a tool to improve the design from thermo-fluid aspects of the electrolyzer.
Counting statistics of hole transfer in a p-type GaAs quantum dot with dense excitation spectrum
Creators: name: Komijani, Y.
name: Choi, T.
name: Nichele, F.
name: Ensslin, K.
name: Ihn, T.
name: Reuter, D.
name: Wieck, A. D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Low-temperature transport experiments on a p-type GaAs quantum dot capacitively coupled to a quantum point contact are presented. The time-averaged as well as time-resolved detection of charging events of the dot are demonstrated and they are used to extract the tunnelling rates into and out of the quantum dot. The extracted rates exhibit a super-linear enhancement with the bias applied across the dot which is interpreted in terms of a dense spectrum of excited states contributing to the transport, characteristic for heavy hole systems. The full counting statistics of charge transfer events and the effect of back action is studied. The normal cumulants as well as the recently proposed factorial cumulants are calculated and discussed in view of their importance for interacting systems.
Enumerating Answers to First-Order Queries over Databases of Low Degree
Creators: name: Durand, Arnaud
name: Schweikardt, Nicole
name: Segoufin, Luc
Publisher: name: arXiv
Year: 2020
Subjects: subject: Databases (cs.DB)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: A class of relational databases has low degree if for all $δ>0$, all but finitely many databases in the class have degree at most $n^δ$, where $n$ is the size of the database. Typical examples are databases of bounded degree or of degree bounded by $\log n$. It is known that over a class of databases having low degree, first-order boolean queries can be checked in pseudo-linear time, i.e.\ for all $ε>0$ in time bounded by $n^{1+ε}$. We generalize this result by considering query evaluation. We show that counting the number of answers to a query can be done in pseudo-linear time and that after a pseudo-linear time preprocessing we can test in constant time whether a given tuple is a solution to a query or enumerate the answers to a query with constant delay.
Schallgefässe
Creators: name: Wieseler, Friedrich
name: Cohausen, August Von
name: Peters, [?]
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 37 (1864): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Additional file 2 of Pharmacists’ clinical knowledge and practice in the safe use of contraceptives: real knowledge vs. self-perception and the implications
Creators: name: Jelić, Ana Golić
name: Tasić, Ljiljana
name: Škrbić, Ranko
name: Marinković, Valentina
name: Šatara, Svjetlana Stoisavljević
name: Stojaković, Nataša
name: Peković, Vanda Marković
name: Godman, Brian
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Cell Biology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 2.
Inschriften aus Trier und Umgebung
Creators: name: Hübner, Emil
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 37 (1864): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Coxeter invariants for non-negative unit forms of Dynkin type A
Creators: name: González, Jesús Arturo Jiménez
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 15A63, 15A21, 15B36, 05C22, 05C50, 05C76, 05B20

description: Two integral quadratic unit forms are called strongly Gram congruent if their upper triangular Gram matrices are Z-congruent. The paper gives a combinatorial strong Gram invariant for those unit forms that are non-negative of Dynkin type A, within the framework introduced in [Fundamenta Informaticae 184(1):49-82, 2021], and uses it to determine all corresponding Coxeter polynomials and (reduced) Coxeter numbers.
description: Integral quadratic form, Gram congruence, Dynkin type, Coxeter polynomial, edge-bipartite graph, quiver, incidence matrix, signed line graph
Strong Signatures of Right-Handed Compositeness
Creators: name: Redi, Michele
name: Sanz, Veronica
name: de Vries, Maikel
name: Weiler, Andreas
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: Right-handed light quarks could be significantly composite, yet compatible with experimental searches at the LHC and precision tests on Standard Model couplings. In these scenarios, that are motivated by flavor physics, one expects large cross sections for the production of new resonances coupled to light quarks. We study experimental strong signatures of right-handed compositeness at the LHC, and constrain the parameter space of these models with recent results by ATLAS and CMS. We show that the LHC sensitivity could be significantly improved if dedicated searches were performed, in particular in multi-jet signals.
description: 37 pages, 24 figures, version 2 updated to JHEP 08 (2013) 008
Additional file 2 of Proteome network analysis of skeletal muscle in lignan-enriched nutmeg extract-fed aged mice
Creators: name: Lee, Je-Ho
name: Kang, Hyuno
name: Ban, Gyung-Tae
name: Kim, Beom Kyu
name: Lee, JaeHyeon
name: Hwang, Heeyoun
name: Yoo, Hwa-Seung
name: Cho, Kun
name: Choi, Jong-Soon
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 20199 Astronomical and Space Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 2. Table 1 List of significantly altered proteins in old mice muscle compared to young mice control. Table 2 List of significantly altered proteins in LNX-fed old mice muscle compared to old mice control. Table 3 List of GO-analyzed proteins identified commonly in old versus LNX (100 mpk)-fed old mice muscle. Top-ten ranked GO groups in number were listed according to (A) biological process, (B) molecular function, and (C) cellular function.
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs
Creators: name: Sison, Robert
name: Murray, Toby
Publisher: name: arXiv
Year: 2020
Subjects: subject: Programming Languages (cs.PL)
subject: Cryptography and Security (cs.CR)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; D.1.3; F.3.1; D.3.4

description: Proving only over source code that programs do not leak sensitive data leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the compiler. Furthermore, software does not always have the luxury of limiting itself to single-threaded computation with resources statically dedicated to each user to ensure the confidentiality of their data. This results in mixed-sensitivity concurrent programs, which might reuse memory shared between their threads to hold data of different sensitivity levels at different times; for such programs, a compiler must preserve the value-dependent coordination of such mixed-sensitivity reuse despite the impact of concurrency. Here we demonstrate, using Isabelle/HOL, that it is feasible to verify that a compiler preserves noninterference, the strictest kind of confidentiality property, for mixed-sensitivity concurrent programs. First, we present notions of refinement that preserve a concurrent value-dependent notion of noninterference that we have designed to support such programs. As proving noninterference-preserving refinement can be considerably more complex than the standard refinements typically used to verify semantics-preserving compilation, our notions include a decomposition principle that separates the semantics-preservation from security-preservation concerns. Second, we demonstrate that these refinement notions are applicable to verified secure compilation, by exercising them on a single-pass compiler for mixed-sensitivity concurrent programs that synchronise using mutex locks, from a generic imperative language to a generic RISC-style assembly language. Finally, we execute our compiler on a nontrivial mixed-sensitivity concurrent program modelling a real-world use case, thus preserving its source-level noninterference properties down to an assembly-level model automatically. (Full abstract in paper)
description: Accepted manuscript appearing in the Journal of Functional Programming Special Issue on Secure Compilation. Extended version with appendices. This paper expands on its conference version arXiv:1907.00713. For supplement material, see http://covern.org/jfpsc.html
Governor James G. Scrugham and the search for economic prosperity for Nevada, 1923--1927
Creators: name: Paul Robert Bruno
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: James G. Scrugham, Nevada's 14 th governor, assumed office during the economic downturn of the early 1920s. The Comstock, and Tonopah - Goldfield mining boom days were in the past, and the new governor made development of a sustainable economic model for the state the top priority of his administration.

Governor Scrugham focused on education, irrigation, parks, and highways as vehicles for economic development, and significant accomplishments were made in all these areas during his term. The governor's initiatives, however, failed to immediately alter the state's economy away from agriculture and mining. The passage of the gambling and divorce bill in 1931 laid the foundation for Nevada's future prosperity, which developed after the end of the Second World War.
Der Bär in den Religionen des Alterthums. Den Herrn H. Meyer und H. Koechly gewidmet von J. J. Bachofen
Creators: name: Becker, Jakob
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Der Bär in den Religionen des Alterthums. Den Herrn H. Meyer und H. Koechly gewidmet von J. J. Bachofen. Basel bei Ch. Meyri. 1863. 46 S. nebst 2 Tafeln. 4.
description: Bonner Jahrbücher, Bd. 37 (1864): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Aspects of universally valid Heisenberg uncertainty relation
Creators: name: Fujikawa, Kazuo
name: Umetsu, Koichiro
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: A numerical illustration of a universally valid Heisenberg uncertainty relation, which was proposed recently, is presented by using the experimental data on spin-measurements by J. Erhart, et al.[ Nature Phys. {\bf 8}, 185 (2012)]. This uncertainty relation is closely related to a modified form of the Arthurs-Kelly uncertainty relation which is also tested by the spin-measurements. The universally valid Heisenberg uncertainty relation always holds, but both the modified Arthurs-Kelly uncertainty relation and Heisenberg's error-disturbance relation proposed by Ozawa, which was analyzed in the original experiment, fail in the present context of spin-measurements, and the cause of their failure is identified with the assumptions of unbiased measurement and disturbance. It is also shown that all the universally valid uncertainty relations are derived from Robertson's relation and thus the essence of the uncertainty relation is exhausted by Robertson's relation as is widely accepted.
description: 19 pages, 2 figures. To appear in Progress of Theoretical and Experimental Physics
Additional file 1 of Development and validation of a novel blending machine learning model for hospital mortality prediction in ICU patients with Sepsis
Creators: name: Zeng, Zhixuan
name: Yao, Shuo
name: Zheng, Jianfei
name: Gong, Xun
Publisher: name: figshare
Year: 2021
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 1.
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Creators: name: Hinrichsen, Jonas Kastberg
name: Bengtson, Jesper
name: Krebbers, Robbert
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency, and locks. We present Actris: a logic for proving functional correctness of programs that use a combination of the aforementioned features. Actris combines the power of modern concurrent separation logics with a first-class protocol mechanism -- based on session types -- for reasoning about message passing in the presence of other concurrency paradigms. We show that Actris provides a suitable level of abstraction by proving functional correctness of a variety of examples, including a channel-based merge sort, a channel-based load-balancing mapper, and a variant of the map-reduce model, using concise specifications. While Actris was already presented in a conference paper (POPL'20), this paper expands the prior presentation significantly. Moreover, it extends Actris to Actris 2.0 with a notion of subprotocols -- based on session-type subtyping -- that permits additional flexibility when composing channel endpoints, and that takes full advantage of the asynchronous semantics of message passing in Actris. Soundness of Actris 2.0 is proven using a model of its protocol mechanism in the Iris framework. We have mechanised the theory of Actris, together with custom tactics, as well as all examples in the paper, in the Coq proof assistant.
A Definition of Artificial Intelligence
Creators: name: Dobrev, Dimiter
Publisher: name: arXiv
Year: 2012
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: In this paper we offer a formal definition of Artificial Intelligence and this directly gives us an algorithm for construction of this object. Really, this algorithm is useless due to the combinatory explosion. The main innovation in our definition is that it does not include the knowledge as a part of the intelligence. So according to our definition a newly born baby also is an Intellect. Here we differs with Turing's definition which suggests that an Intellect is a person with knowledge gained through the years.
Erster Bericht über die vom Alterthumsverein Kempten (a. V.) vorgenommenen Ausgrabungen römischer Baureste auf dem Lindenberge bei Kempten
Creators: name: Wiedemann, Alfred
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Erster Bericht über die vom Alterthumsverein Kempten (a. V.) vorgenommenen Ausgrabungen römischer Baureste auf dem Lindenberge bei Kempten. Kempten, 1888.
description: Bonner Jahrbücher, Bd. 87 (1889): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Additional file 1 of Patients’ perspective on emergency treatment of ophthalmologic diseases during the first phase of SARS-CoV2 pandemic in a tertiary referral center in Germany – the COVID-DETOUR questionnaire study
Creators: name: Ehlken, Christoph
name: von Medem, Constantin
name: Lüdemann, Maya
name: Kirsch, Anna Maria
name: Roider, Johann Baptist
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1: SOM 1. Questionnaire (german)
High energy modifications of blackbody radiation and dimensional reduction
Creators: name: Husain, Viqar
name: Seahra, Sanjeev S.
name: Webster, Eric J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Quantization prescriptions that realize generalized uncertainty relations (GUP) are motivated by quantum gravity arguments that incorporate a fundamental length scale. We apply two such methods, polymer and deformed Heisenberg quantization, to scalar field theory in Fourier space. These alternative quantizations modify the oscillator spectrum for each mode, which in turn affects the blackbody distribution. We find that for a large class of modifications, the equation of state relating pressure $P$ and energy density $ρ$ interpolates between $P=ρ/3$ at low $T$ and $P=2ρ/3$ at high $T$, where $T$ is the temperature. Furthermore, the Stefan-Boltzman law gets modified from $ρ\propto T^{4}$ to $ρ\propto T^{5/2}$ at high temperature. This suggests an effective reduction to 2.5 spacetime dimensions at high energy.
description: 12 pages, 6 figures, minor revisions and references added to match version published in PRD
Approximability results for the $p$-centdian and the converse centdian problems
Creators: name: Chen, Yen Hung
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: Computational Complexity (cs.CC)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Given an undirected graph $G=(V,E)$ with a nonnegative edge length function and an integer $p$, $0 < p < |V|$, the $p$-centdian problem is to find $p$ vertices (called the {\it centdian set}) of $V$ such that the {\it eccentricity} plus {\it median-distance} is minimized, in which the {\it eccentricity} is the maximum (length) distance of all vertices to their nearest {\it centdian set} and the {\it median-distance} is the total (length) distance of all vertices to their nearest {\it centdian set}. The {\it eccentricity} plus {\it median-distance} is called the {\it centdian-distance}. The purpose of the $p$-centdian problem is to find $p$ open facilities (servers) which satisfy the quality-of-service of the minimum total distance ({\it median-distance}) and the maximum distance ({\it eccentricity}) to their service customers, simultaneously. If we converse the two criteria, that is given the bound of the {\it centdian-distance} and the objective function is to minimize the cardinality of the {\it centdian set}, this problem is called the converse centdian problem. In this paper, we prove the $p$-centdian problem is NP-Complete. Then we design the first non-trivial brute force exact algorithms for the $p$-centdian problem and the converse centdian problem, respectively. Finally, we design two approximation algorithms for both problems.
Additional file 1 of Evolution of treatment patterns and survival outcomes in patients with advanced non-small cell lung cancer treated at Frankfurt University Hospital in 2012–2018
Creators: name: Wolf, Andrea
name: Stratmann, Jan A.
name: Shaid, Shabnam
name: Niklas, Nicolas
name: Calleja, Alan
name: Ubhi, Harveen
name: Munro, Robin
name: Waldenberger, Daniela
name: Carroll, Robert
name: Daumont, Melinda J.
name: Penrod, John R.
name: Lacoin, Laure
name: Rohde, Gernot
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Pharmacology
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1: Table S1. Characteristics of patients with advanced NSCLC and NSQ/other histology receiving second line therapy in the pre-ICI and post-ICI periods. Fig. S1. Patient flow chart. Fig. S2. Proportions of patients with NSQ/other (A) or SQ (B) histology receiving second line therapy in the pre-ICI and post-ICI periods. Fig. S3. Proportions of patients receiving an ICI across any of their first four lines of therapy in the pre-ICI and post-ICI periods by histology. Fig. S4. Treatment sequencing in the pre-ICI and post-ICI periods by histology
Local vortex line topology and geometry in turbulence
Creators: name: Sharma, Bajrang
name: Das, Rishita
name: Girimaji, Sharath S.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: The local streamline topology classification method of Chong et al. (1990) is adapted and extended to describe the geometry of infinitesimal vortex lines. Direct numerical simulation (DNS) data of forced isotropic turbulence reveals that joint probability density function (PDF) of the second ($q_ω$) and third ($r_ω$) normalized invariants of the vorticity gradient tensor asymptotes to a self-similar bell form beyond $Re_λ> 200$. The same PDF shape is also seen at the late stages of breakdown of Taylor-Green vortex suggesting the universality of the bell-shaped pdf form in turbulent flows. Additionally, vortex reconnection from different initial configurations is examined. The local topology and geometry of the reconnection bridge is shown to be identical in all cases with elliptic vortex lines on one side and hyperbolic filaments on the other. Overall, topological characterization of vorticity field provides a useful analytical basis for examining vorticity dynamics in turbulence and other fluid flows.
Split-gate quantum point contacts with tunable channel length
Creators: name: Iqbal, M. J.
name: Jong, J. P. de.
name: Reuter, D.
name: Wieck, A. D.
name: van der Wal, C. H.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We report on developing split-gate quantum point contacts (QPCs) that have a tunable length for the transport channel. The QPCs were realized in a GaAs/AlGaAs heterostructure with a two- dimensional electron gas (2DEG) below its surface. The conventional design uses 2 gate fingers on the wafer surface which deplete the 2DEG underneath when a negative gate voltage is applied, and this allows for tuning the width of the QPC channel. Our design has 6 gate fingers and this provides additional control over the form of the electrostatic potential that defines the channel. Our study is based on electrostatic simulations and experiments and the results show that we developed QPCs where the effective channel length can be tuned from about 200 nm to 600 nm. Length-tunable QPCs are important for studies of electron many-body effects because these phenomena show a nanoscale dependence on the dimensions of the QPC channel.
Spin current in an electron waveguide tunnel-coupled to topological insulator
Creators: name: Sukhanov, Aleksei A.
name: Sablikov, Vladimir A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We show that electron tunneling from edge states in two-dimensional topological insulator into a parallel electron waveguide leads to the appearance of spin-polarized current in the waveguide. The spin polarization $P$ can be very close to unity and the electron current passing through the tunnel contact splits in the waveguide into two branches flowing from the contact. The polarization essentially depends on the electron scattering by the contact and the electron-electron interaction in the one-dimensional edge states. The electron-electron interaction is treated within the Luttinger liquid model. The main effect of the interaction stems from the renormalization of the electron velocity, due to which the polarization increases with the interaction strength. Electron scattering by the contact leads to a decrease in $P$. A specific effect occurs when the bottom of the subbands in the waveguide crosses the Dirac point of the spectrum of edge states when changing the voltage or chemical potential. This leads to changing the direction of the spin current.
description: 11 pages, 5 figures, accepted in J. Phys.: Condens. Matter
New Yarmouth, Eastern Neck, Maryland: Resistance to town building from the Colonial Period to the present
Creators: name: Brynn Torelli
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: The work presented in this thesis is an attempt to shed light on the early colonial development of Maryland's Eastern Shore and its possible relationship with current settlement patterns in the region, with particular interest in Kent County. Traditional interpretations of the lack of urban development on the Eastern Shore, both in the Colonial era and the present, have tended to focus on environmental and geographical factors. This research seeks to examine this trend toward rural living in newer and broader ways by incorporating human agency and investigating the possibility that the lack of town development during the Colonial era could reflect intentional resistance to urban living on the part of colonial plantation owners and small-scale farmers. This work addresses a series of significant questions concerning possible influences on individual and group motives as well as the political and religious factors involved in the early development of Kent County. In an effort to address these questions, several issues will be examined. The first involves how groups living in the region during the Colonial period interacted with each other and the Proprietors of Maryland. The second concerns how contact with European culture and social norms may have influenced town development. The third deals with the impact of early economic and agricultural endeavors, and finally, how the region's relative isolation may have worked to convince early residents that town development was not feasible and/or undesirable.

Historic documents (deeds, wills, early maps, paintings, census records) and archaeological investigations of the several colonial sites along Eastern Neck as well as the site thought to represent the town of New Yarmouth, Eastern Neck, Maryland were all examined. The results of this work will help to explain how communities developed on the Eastern Shore and Kent County in particular, during the colonial period, as well as to shed light on how the historic propensity to resist urbanization may influence the present trend toward rural living versus urban development in the region.