cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 5 of Areca catechu-(Betel-nut)-induced whole transcriptome changes in a human monocyte cell line that may have relevance to diabetes and obesity; a pilot study
Creators: name: Cardosa, Shirleny R
name: Ogunkolade, B. William
name: Lowe, Rob
name: Savage, Emanuel
name: Mein, Charles A
name: Boucher, Barbara J
name: Hitman, Graham A
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 5: Table 1. All genes identified after incubation with arecoline with significant increased expression after Bonferroni correction. Table 2. Genes identified after incubation with MNPA with significant increased expression after Bonferroni correction. Table S3. Primer sequences used in qPCR analysis https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2851245/
Generalized Fitch Graphs III: Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge-labeled Trees
Creators: name: Hellmuth, Marc
name: Seemann, Carsten R.
name: Stadler, Peter F.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Computational Complexity (cs.CC)
subject: Data Structures and Algorithms (cs.DS)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 68R01, 05C05, 92D15

description: Binary relations derived from labeled rooted trees play an import role in mathematical biology as formal models of evolutionary relationships. The (symmetrized) Fitch relation formalizes xenology as the pairs of genes separated by at least one horizontal transfer event. As a natural generalization, we consider symmetrized Fitch maps, that is, symmetric maps $\varepsilon$ that assign a subset of colors to each pair of vertices in $X$ and that can be explained by a tree $T$ with edges that are labeled with subsets of colors in the sense that the color $m$ appears in $\varepsilon(x,y)$ if and only if $m$ appears in a label along the unique path between $x$ and $y$ in $T$. We first give an alternative characterization of the monochromatic case and then give a characterization of symmetrized Fitch maps in terms of compatibility of a certain set of quartets. We show that recognition of symmetrized Fitch maps is NP-complete. In the restricted case where $|\varepsilon(x,y)|\leq 1$ the problem becomes polynomial, since such maps coincide with class of monochromatic Fitch maps whose graph-representations form precisely the class of complete multi-partite graphs.
title: Dynamic Data Citation for frequently modifying High Resolution Climate Data
Creators: name: Schubert, Chris
Publisher: name: Research Data Alliance
Year: 2019

description: The Climate Change Centre Austria (CCCA) Data Centre expected a comprehensive project outcome of completely new simulated High Resolution Climate Scenarios for Austria in the time range from 1965 till 2100 on a daily basis. For consumption,  13 model runs, 5 meteorological parameters like temperature, 3 emission scenarios, over 1600 NetCDF files with an average size of 13 GB were calculated. How could we implement proper data management processes on such data packages? We were looking for best practices on persistent identifiers and sub-setting tools for such big data containers. By chance, I met members of the RDA Data Citation Working Group. The idea of using the RDA recommendation on dynamic data citation as a pilot “NetCDF Pilot Implementation of Climate Scenarios” was born.
Ein besonderes Brandgrab der römischen Kaiserzeit in Willebadessen-Löwen
Creators: name: Pollmann, Hans-Otto
name: Tremmel, Bettina
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Additional file 1 of Fetal sex differences in placental LCPUFA ether and plasmalogen phosphatidylethanolamine and phosphatidylcholine contents in pregnancies complicated by obesity
Creators: name: Powell, Theresa L.
name: Uhlson, Charis
name: Madi, Lana
name: Berry, Karin Zemski
name: Chassen, Stephanie S.
name: Jansson, Thomas
name: Ferchaud-Roucher, Veronique
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Physiology
subject: Developmental Biology
subject: Cancer

description: Additional file 1. Supplemental data.
High Scale SUSY Breaking From Topological Inflation
Creators: name: Harigaya, Keisuke
name: Kawasaki, Masahiro
name: Yanagida, Tsutomu T.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The recently observed mass ~ 125 GeV for the Higgs boson suggests a high-energy scale SUSY breaking, above O(10) TeV. It is, however, very puzzling why nature chooses such a high energy scale for the SUSY breaking, if the SUSY is a solution to the hierarchy problem. We show that the pure gravity mediation provides us with a possible solution to this puzzle if the topological inflation is the last inflation in the early universe. We briefly discuss a chaotic inflation model in which a similar solution can be obtained.
description: 11 pages, 2 figures
Fibeln soweit das Auge reicht – ein mehrperiodiger Fundplatz bei Beckum-Vellern
Creators: name: Grünewald, Christoph
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Pumping lemmas for weighted automata
Creators: name: Chattopadhyay, Agnishom
name: Mazowiecki, Filip
name: Muscholl, Anca
name: Riveros, Cristian
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present pumping lemmas for five classes of functions definable by fragments of weighted automata over the min-plus semiring, the max-plus semiring and the semiring of natural numbers. As a corollary we show that the hierarchy of functions definable by unambiguous, finitely-ambiguous, polynomially-ambiguous weighted automata, and the full class of weighted automata is strict for the min-plus and max-plus semirings.
Additional file 1 of Clinicopathologic and mutational profiles of primary breast diffuse large B cell lymphoma in a male patient: case report and literature review
Creators: name: Huang, Fengbo
name: Ruan, Yachao
name: He, Xiaojuan
name: Lian, Hui
name: Yang, Jinhua
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Cancer
subject: Plant Biology

description: Additional file 1: Supplementary Table S1. List of 121 genes related to B-cell lymphoma.
Additional file 2 of Characterization of porcine sapelovirus prevalent in western Jiangxi, China
Creators: name: Yang, Taotao
name: Zhang, Lingqian
name: Lu, Yingmei
name: Guo, Minhong
name: Zhang, Zhibang
name: Lin, Anqi
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Supplementary Table 1. Sapelovirus strains used in the study.
title: Consciência Moral
Creators: name: Marques, António
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2018

description: Na imensa literatura sobre o conceito de consciência produzida na história da filosofia, em especial na área da filosofia moral, é sem dúvida na obra de Kant que encontramos as concepções mais elaboradas e com maior impacto para o pensamento filosófico contemporâneo. Sendo assim, faz sentido que exploremos em determinados textos de Kant algumas formulações daquele conceito e nos concentremos em certos aspectos da sua argumentação a favor da sua centralidade e autonomia num sistema de filosofia moral. Contudo, antes de iniciar esta exploração do conceito na obra kantiana, será conveniente sublinhar que, na filosofia contemporânea, aquilo a que chamamos “consciência moral” tem sido explicado, tanto na sua génese, como nas suas funções, de formas diferentes e até contraditórias relativamente à concepção de Kant. Sem elaborar sobre este tema (ele próprio merecendo um tratamento à parte – veja-se, neste mesmo Dicionário de Filosofia Moral e Política, a entrada Ética Evolutiva), é possível afirmar-se que muitos filósofos contemporâneos compreendem a consciência em geral e a consciência moral em particular, como um resultado da evolução da espécie e da espécie humana em particular.
description: Marques, A. “Consciência Moral”. Dicionário de Filosofia Moral e Política (2018), 2.ª série, coord. António Marques e André Santos Campos. Lisboa: Instituto de Filosofia da Nova, URL: .

description: ISSN 2184-4445
Modular coinduction up-to for higher-order languages via first-order transition systems
Creators: name: Madiot, Jean-Marie
name: Pous, Damien
name: Sangiorgi, Davide
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: The bisimulation proof method can be enhanced by employing `bisimulations up-to' techniques. A comprehensive theory of such enhancements has been developed for first-order (i.e., CCS-like) labelled transition systems (LTSs) and bisimilarity, based on abstract fixed-point theory and compatible functions. We transport this theory onto languages whose bisimilarity and LTS go beyond those of first-order models. The approach consists in exhibiting fully abstract translations of the more sophisticated LTSs and bisimilarities onto the first-order ones. This allows us to reuse directly the large corpus of up-to techniques that are available on first-order LTSs. The only ingredient that has to be manually supplied is the compatibility of basic up-to techniques that are specific to the new languages. We investigate the method on the pi-calculus, the lambda-calculus, and a (call-by-value) lambda-calculus with references.
Blick auf die Wittekindsburg – Brandgräberfeld und eisenzeitliche Hofstelle in Minden
Creators: name: Düvel, Sebastian
name: Spiong, Sven
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
title: Чет эл фуқаролик процессида чиқарилган суд қарорларини тан олиш ва ижро этишнинг ўзига хос хусусиятлари
Creators: name: Yusupov, M.
Publisher: name: Tashkent state university of law
Year: 2017

description: Мазкур мақолада муаллиф томонидан чет эл фуқаролик процессида чиқарилган суд қарорларини тан олиш ва ижро этиш тартиби, асослари ҳамда мавжуд муаммоларнинг ечимлари таҳлил қилинган.
title: Эркин иқтисодий зоналар ҳудудида инвесторлар фаолиятини ҳуқуқий тартибга солишнинг ўзига хос хусусиятлари
Creators: name: Qurbanov, M.
Publisher: name: Tashkent state university of law
Year: 2017

description: Ушбу мақолада Ўзбекистон Республикасининг эркин иқтисодий зоналарида инвестициявий қонунчиликни такомиллаштириш, эркин иқтисодий зоналар ҳудудида хорижий инвестицияларни жалб қилиш кўрсаткичларини ошириш, мазкур ҳудудларда инвестор ҳуқуқларини ҳимоя қилиш воситалари каби масалалар ёритилган.
Additional file 2 of PI3K-AKT, JAK2-STAT3 pathways and cell–cell contact regulate maspin subcellular localization
Creators: name: Longhi, M. T.
name: Silva, L. E.
name: Pereira, M.
name: Magalhães, M.
name: Reina, J.
name: Vitorino, F. N. L.
name: Gumbiner, B. M.
name: da Cunha, J. P. C.
name: Cella, N.
Publisher: name: figshare
Year: 2021
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Cancer
subject: Hematology
subject: Plant Biology
subject: Computational Biology

description: Additional file 1. Supplemental figures 1 (EGF treatment leads to maspin nuclear accumulation in HaCaT cells), 2 (Cell-cell contact regulates maspin nuclear translocation in HaCaT cells) and 3 (Venn diagram for EGF-treated samples).
A Calculus for Higher Spin Interactions
Creators: name: Joung, Euihun
name: Taronna, Massimo
name: Waldron, Andrew
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: Higher spin theories can be efficiently described in terms of auxiliary Stückelberg or projective space field multiplets. By considering how higher spin models couple to scale, these approaches can be unified in a conformal geometry/tractor calculus framework. We review these methods and apply them to higher spin vertices to obtain a generating function for massless, massive and partially massless three-point interactions.
description: 24 pages, 3 figures, LaTex. References added, typos corrected. Final version to appear in JHEP
On open well-filtered spaces
Creators: name: Shen, Chong
name: Xi, Xiaoyong
name: Xu, Xiaoquan
name: Zhao, Dongsheng
Publisher: name: arXiv
Year: 2020
Subjects: subject: General Topology (math.GN)
subject: FOS: Mathematics

description: We introduce and study a new class of $T_0$ spaces, called open well-filtered spaces. The main results we proved include (1) every well-filtered space is an open well-filtered space; (2) every core-compact open well-filtered space is sober. As an immediate corollary, we deduce that every core-compact well-filtered space is sober. This provides another different and relatively more straight forward method to answer the open problem posed by Jia and Jung: Is every core-compact well-filtered space sober?
Uniform Regularity of Set-Valued Mappings and Stability of Implicit Multifunctions
Creators: name: Cuong, Nguyen Duy
name: Kruger, Alexander Y.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: We propose a unifying general (i.e. not assuming the mapping to have any particular structure) view on the theory of regularity and clarify the relationships between the existing primal and dual quantitative sufficient and necessary conditions including their hierarchy. We expose the typical sequence of regularity assertions, often hidden in the proofs, and the roles of the assumptions involved in the assertions, in particular, on the underlying space: general metric, normed, Banach or Asplund. As a consequence, we formulate primal and dual conditions for the stability properties of solution mappings to inclusions
description: 24 pages
Minimum Distance Distribution of Irregular Generalized LDPC Code Ensembles
Creators: name: Mulholland, Ian P.
name: Flanagan, Mark F.
name: Paolini, Enrico
Publisher: name: arXiv
Year: 2013
Subjects: subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: In this paper, the minimum distance distribution of irregular generalized LDPC (GLDPC) code ensembles is investigated. Two classes of GLDPC code ensembles are analyzed; in one case, the Tanner graph is regular from the variable node perspective, and in the other case the Tanner graph is completely unstructured and irregular. In particular, for the former ensemble class we determine exactly which ensembles have minimum distance growing linearly with the block length with probability approaching unity with increasing block length. This work extends previous results concerning LDPC and regular GLDPC codes to the case where a hybrid mixture of check node types is used.
description: 5 pages, 1 figure. Submitted to the IEEE International Symposium on Information Theory (ISIT) 2013
Automated Verification of Quantum Protocols using MCMAS
Creators: name: Belardinelli, F.
name: Gonzalez, P.
name: Lomuscio, A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Cryptography and Security (cs.CR)
subject: Multiagent Systems (cs.MA)
subject: Quantum Physics (quant-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framework developed by D'Hondt and Panangaden for investigating epistemic and temporal properties, built on the model for Distributed Measurement-based Quantum Computation (DMC), an extension of the Measurement Calculus to distributed quantum systems. We describe the translation map from DMC to interpreted systems, the typical formalism for reasoning about time and knowledge in multi-agent systems. Then, we introduce dmc2ispl, a compiler into the input language of the MCMAS model checker. We demonstrate the technique by verifying the Quantum Teleportation Protocol, and discuss the performance of the tool.
description: In Proceedings QAPL 2012, arXiv:1207.0559
A symmetric protocol to establish service level agreements
Creators: name: Groote, Jan Friso
name: Willemse, Tim A. C.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a symmetrical protocol to repeatedly negotiate a desired service level between two parties, where the service levels are taken from some totally ordered finite domain. The agreed service level is selected from levels dynamically proposed by both parties and parties can only decrease the desired service level during a negotiation. The correctness of the protocol is stated using modal formulas and its behaviour is explained using behavioural reductions of the external behaviour modulo weak trace equivalence and divergence-preserving branching bisimulation. Our protocol originates from an industrial use case and it turned out to be remarkably tricky to design correctly.
Ausgrabungen auf dem angeblichen Kastellhügel des Rettig in Baden-Baden
Creators: name: Nierhaus, Rolf
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 2 (1952)
Additional file 1 of Neuropsychological test performance of former American football players
Creators: name: Alosco, Michael L.
name: Barr, William B.
name: Banks, Sarah J.
name: Wethe, Jennifer V.
name: Miller, Justin B.
name: Pulukuri, Surya Vamsi
name: Culhane, Julia
name: Tripodis, Yorghos
name: Adler, Charles H.
name: Balcer, Laura J.
name: Bernick, Charles
name: Mariani, Megan L.
name: Cantu, Robert C.
name: Dodick, David W.
name: McClean, Michael D.
name: Au, Rhoda
name: Mez, Jesse
name: Turner, Robert W.
name: Palmisano, Joseph N.
name: Martin, Brett
name: Hartlage, Kaitlin
name: Cummings, Jeffrey L.
name: Reiman, Eric M.
name: Shenton, Martha E.
name: Stern, Robert A.
Publisher: name: figshare
Year: 2023
Subjects: subject: Neuroscience
subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Additional file 1: Supplemental Table 1. Self- and Informant-Reported Symptomatic Status of Participants at Time of Study Screening. Supplemental Table 2. Baseline Neuropsychological Test Performance of the Asymptomatic Unexposed Men. Supplemental Table 3. T-Score Distributions of Baseline Neuropsychological Test Performance of the Asymptomatic Unexposed Men. Supplemental Table 4. Baseline Neuropsychological Test Performance of the Former College and Professional Football Players. Supplemental Table 5. T-Score Distributions of Baseline Neuropsychological Test Performance for Former College and Professional Football Players.
Walter Drack, Die römische Wandmalerei der Schweiz
Creators: name: Schleiermacher, Wilhelm
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: Rezension zu: Walter Drack, Die römische Wandmalerei der Schweiz. Monographien zur Ur- und Frühgeschichte der Schweiz. Band 8. Hrsg, von der Schweizerischen Gesellschaft für Urgeschichte. Verlag Birkhäuser, Basel 1950. 139 S., 152 Abb., 44 Taf., 7 Beilagen.
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 2 (1952)
Axiomatizing Maximal Progress and Discrete Time
Creators: name: Bravetti, Mario
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: Milner's complete proof system for observational congruence is crucially based on the possibility to equate $τ$ divergent expressions to non-divergent ones by means of the axiom $recX. (τ.X + E) = recX. τ. E$. In the presence of a notion of priority, where, e.g., actions of type $δ$ have a lower priority than silent $τ$ actions, this axiom is no longer sound. Such a form of priority is, however, common in timed process algebra, where, due to the interpretation of $δ$ as a time delay, it naturally arises from the maximal progress assumption. We here present our solution, based on introducing an auxiliary operator $pri(E)$ defining a "priority scope", to the long time open problem of axiomatizing priority using standard observational congruence: we provide a complete axiomatization for a basic process algebra with priority and (unguarded) recursion. We also show that, when the setting is extended by considering static operators of a discrete time calculus, an axiomatization that is complete over (a characterization of) finite-state terms can be developed by re-using techniques devised in the context of a cooperation with Prof. Jos Baeten.
Star Games and Hydras
Creators: name: Endrullis, Jörg
name: Klop, Jan Willem
name: Overbeek, Roy
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corresponding terms) equipped with a 'star' as control symbol, signifying a command to make that tree (or term) smaller in the order being defined. This leads to star games that are very convenient for proving termination of many rewriting tasks. For instance, using already the simplest star game on finite unlabeled trees, we obtain a very direct proof of termination of the famous Hydra battle, direct in the sense that there is not the usual mention of ordinals. We also include an alternative road to setting up the star games, using a proof method of Buchholz, adapted by van Oostrom, resulting in a quantitative version of the star as control symbol. We conclude with a number of questions and future research directions.
Ein weißer Fleck verschwindet – eisenzeitliche Besiedlung am Nordrand des Wiehengebirges
Creators: name: Pollmann, Hans-Otto
name: Düvel, Sebastian
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Eine neue Siedlung der mittleren Eisenzeit in Recklinghausen mit seltenem Fibelfund
Creators: name: Senczek, Sebastian
name: Rabsilber, Thorsten
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Boundary States in Graphene Heterojunctions
Creators: name: Ratnikov, P. V.
name: Silin, A. P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: A new type of states in graphene-based planar heterojunctions has been studied in the envelope wave function approximation. The condition for the formation of these states is the intersection between the dispersion curves of graphene and its gap modification. This type of states can also occur in smooth graphene-based heterojunctions.
description: 5 pages, 3 figures
Superconducting Nanowire Single Photon Detectors On-Fiber
Creators: name: Bachar, Gil
name: Baskin, Ilya
name: Shtempluck, Oleg
name: Buks, Eyal
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Instrumentation and Detectors (physics.ins-det)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present a novel design of a superconducting nanowire single photon detector (SNSPD) fabricated on a core of a single mode optical fiber. The proposed design allows high overlap between the fiber light mode and the detector, and consequently, our fabricated devices can remain small in dimension and maintain speed of operation, without scarifying the detection efficiency. The on-fiber fabrication method is detailed, together with experimental results. The proposed method can be exploited in the future for the fabrication of other fiber coupled devices.
Structural Evolution of Early-type Galaxies to z=2.5 in CANDELS
Creators: name: Chang, Yu-Yen
name: van der Wel, Arjen
name: Rix, Hans-Walter
name: Holden, Bradford
name: Bell, Eric F.
name: McGrath, Elizabeth J.
name: Wuyts, Stijn
name: Häußler, Boris
name: Barden, Marco
name: Faber, S. M.
name: Mozena, Mark
name: Ferguson, Henry C.
name: Guo, Yicheng
name: Galametz, Audrey
name: Grogin, Norman A.
name: Kocevski, Dale D.
name: Koekemoer, Anton M.
name: Dekel, Avishai
name: Huang, Kuang-Han
name: Hathi, Nimish P.
name: Donley, Jennifer
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Projected axis ratio measurements of 880 early-type galaxies at redshifts 11 early-type galaxies show a variety of intrinsic shapes; even at a fixed mass, the projected axis ratio distributions cannot be explained by the random projection of a set of galaxies with very similar intrinsic shapes. However, a two-population model for the intrinsic shapes, consisting of a triaxial, fairly round population, combined with a flat (c/a~0.3) oblate population, adequately describes the projected axis ratio distributions of both present-day and z>1 early-type galaxies. We find that the proportion of oblate versus triaxial galaxies depends both on the galaxies' stellar mass, and - at a given mass - on redshift. For present-day and z<1 early-type galaxies the oblate fraction strongly depends on galaxy mass. At z>1 this trend is much weaker over the mass range explored here (10^101, compared to 0.20+-0.02 at z~0.1. In contrast, the oblate fraction among low-mass early-type galaxies (log(M*/M_sun)<10.5) increased toward the present, from 0.38+-0.11 at z>1 to 0.72+-0.06 at z=0. [Abridged]
description: accepted for publication in ApJ; 14 pages; 10 figures; 4 tables
Neue und alte tiefstichkeramische Flachgräber aus Oldenburg
Creators: name: Knöll, Heinz
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 3/4 (1952)
Additional file 1 of Emergence of Babesia conradae infection in coyote-hunting Greyhounds in Oklahoma, USA
Creators: name: Stayton, Erin
name: Lineberry, Megan
name: Thomas, Jennifer
name: Bass, Tina
name: Allen, Kelly
name: Chandrashekar, Ramaswamy
name: Yost, Gene
name: Reichard, Mason
name: Miller, Craig
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Ecology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 1: Table S1. PCR results of coyote hunting dogs in Oklahoma tested for infection with Babesia conradae.
Zu den Keltenmünzen Forrer 352
Creators: name: Schönberger, Hans
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 3/4 (1952)
Additional file 1 of Adaptation of the Australian Palliative Care Phase concept to the German palliative care context: a mixed-methods approach using cognitive interviews and cross-sectional data
Creators: name: Lehmann, Eva
name: Hodiamont, Farina
name: Landmesser, Mirjam
name: Knobloch, Carina S.
name: Nauck, Friedemann
name: Ostgathe, Christoph
name: Grüne, Bettina
name: Bausewein, Claudia
Publisher: name: figshare
Year: 2021
Subjects: subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1. COREQ Reporting Checklist
Römerzeitliche Fibelinschriften
Creators: name: Noll, Rudolf
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 30, Nr. 3/4 (1952)
Large-scale atomistic density functional theory calculations of phosphorus-doped silicon quantum bits
Creators: name: Greenman, Loren
name: Whitley, Heather D.
name: Whaley, K. Birgitta
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present density functional theory calculations of phosphorus dopants in bulk silicon and of several properties relating to their use as spin qubits for quantum computation. Rather than a mixed pseudopotential or a Heitler-London approach, we have used an explicit treatment for the phosphorus donor and examined the detailed electronic structure of the system as a function of the isotropic doping fraction, including lattice relaxation due to the presence of the impurity. Doping electron densities and spin densities are examined in order to study the properties of the dopant electron as a function of the isotropic doping fraction. Doping potentials are also calculated for use in calculations of the scattering cross-sections of the phosphorus dopants, which are important in the understanding of electrically detected magnetic resonance experiments. We find that the electron density around the dopant leads to non-spherical features in the doping potentials, such as trigonal lobes in the (001) plane at energy scales of +12 eV near the nucleus and of -700 meV extending away from the dopants. These features are generally neglected in effective mass theory and will affect the coupling between the donor electron and the phosphorus nucleus. Our density functional calculations reveal detail in the densities and potentials of the dopants which are not evident in calculations that do not include explicit treatment of the phosphorus donor atom and relaxation of the crystal lattice. These details can also be used to parameterize tight-binding models for simulation of large-scale devices.
description: 22 pages, 8 figures
Additional file 1 of Transcriptomic alterations underlying metaplasia into specific metaplastic components in metaplastic breast carcinoma
Creators: name: Lien, Huang-Chun
name: Hsu, Chia-Lang
name: Lu, Yen-Shen
name: Chen, Tom Wei-Wu
name: Chen, I.-Chun
name: Li, Yu-Chia
name: Huang, Chiun-Sheng
name: Cheng, Ann-Lii
name: Lin, Ching-Hung
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1. Fig. S1: Unsupervised clustering of 31 metaplastic components (left) and 22 NST components (right) using the set of 126 differentially expressed genes among the 31 distinct metaplastic components (ANOVA, p < 0.01).
Non-Markovian qubit dynamics induced by Coulomb crystals
Creators: name: Borrelli, Massimo
name: Haikka, Pinja
name: De Chiara, Gabriele
name: Maniscalco, Sabrina
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate the back-flow of information in a system with a second-order structural phase transition, namely a quasi one-dimensional Coulomb crystal. Using standard Ramsey interferometry which couples a target ion (the system) to the rest of the chain (a phononic environment), we study the non-Markovian character of the resulting open system dynamics. We study two different time-scales and show that the back-flow of information pinpoints both the phase transition and different dynamical features of the chain as it approaches criticality. We also establish an exact link between the back-flow of information and the Ramsey fringe visibility.
description: 5 pages, 3 figures
Certificate complexity and symmetry of nested canalizing functions
Creators: name: Li, Yuan
name: Ingram, Frank
name: Zhang, Huaming
Publisher: name: arXiv
Year: 2020
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 05A05, 05A15

description: Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity. For both Boolean values $b\in\{0,1\}$, we obtain a formula for $b$-certificate complexity and consequently, we develop a direct proof of the certificate complexity formula of an NCF. Symmetry is another interesting property of Boolean functions and we significantly simplify the proofs of some recent theorems about partial symmetry of NCFs. We also describe the algebraic normal form of $s$-symmetric NCFs. We obtain the general formula of the cardinality of the set of $n$-variable $s$-symmetric Boolean NCFs for $s=1,\dots,n$. In particular, we enumerate the strongly asymmetric Boolean NCFs.
description: 14 pages
Additional file 2 of Adaptation of the Australian Palliative Care Phase concept to the German palliative care context: a mixed-methods approach using cognitive interviews and cross-sectional data
Creators: name: Lehmann, Eva
name: Hodiamont, Farina
name: Landmesser, Mirjam
name: Knobloch, Carina S.
name: Nauck, Friedemann
name: Ostgathe, Christoph
name: Grüne, Bettina
name: Bausewein, Claudia
Publisher: name: figshare
Year: 2021
Subjects: subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 2. Sampling frame
Joining Constraint Satisfaction Problems and Configurable CAD Product Models: A Step-by-Step Implementation Guide
Creators: name: Gembarski, Paul Christoph
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: knowledge-based engineering
subject: product configurators
subject: constraint satisfaction problems
subject: computer aided design
subject: solution space modeling
subject: Dewey Decimal Classification::500 | Naturwissenschaften::510 | Mathematik

description: In configuration design, the task is to compose a system out of a set of predefined, modu-lar building blocks assembled by defined interfaces. Product configuration systems, both with or without integration of geometric models, implement reasoning techniques to model and explore the resulting solution spaces. Among others, the formulation of constraint satisfaction problems (CSP) is state of the art and the informational background in many proprietary configuration engine software packages. Basically, configuration design tasks can also be implemented in modern computer aided design (CAD) systems as these contain different techniques for knowledge-based product modeling but literature reports only little about detailed application examples, best practices or training materials. This article aims at bridging this gap and presents a step-by-step implementation guide for CSP-based CAD configurators for combinatorial designs with the example of Autodesk Inventor.
Additional file 2 of Transcriptomic alterations underlying metaplasia into specific metaplastic components in metaplastic breast carcinoma
Creators: name: Lien, Huang-Chun
name: Hsu, Chia-Lang
name: Lu, Yen-Shen
name: Chen, Tom Wei-Wu
name: Chen, I.-Chun
name: Li, Yu-Chia
name: Huang, Chiun-Sheng
name: Cheng, Ann-Lii
name: Lin, Ching-Hung
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2. Fig. S2: Validation of M-subgroup and S-subgroup gene sets in MpBC samples from GSE57544 (Weigelt B, Ng CK, Shen R et al. Mod Pathol 2015, 28(3), 340–351).
Some remarks on the hyperelliptic moduli of genus 3
Creators: name: Shaska, T.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: In 1967, Shioda \cite{Shi1} determined the ring of invariants of binary octavics and their syzygies using the symbolic method. We discover that the syzygies determined in \cite{Shi1} are incorrect. In this paper, we compute the correct equations among the invariants of the binary octavics and give necessary and sufficient conditions for two genus 3 hyperelliptic curves to be isomorphic over an algebraically closed field $k$, $\ch k \neq 2, 3, 5, 7$. For the first time, an explicit equation of the hyperelliptic moduli for genus 3 is computed in terms of absolute invariants.
description: arXiv admin note: text overlap with arXiv:1209.0446
Invariant Gibbs dynamics for the dynamical sine-Gordon model
Creators: name: Oh, Tadahiro
name: Robert, Tristan
name: Sosoe, Philippe
name: Wang, Yuzhao
Publisher: name: arXiv
Year: 2020
Subjects: subject: Analysis of PDEs (math.AP)
subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 35L71, 60H15

description: In this note, we study the hyperbolic stochastic damped sine-Gordon equation (SdSG), with a parameter $β^2 > 0$, and its associated Gibbs dynamics on the two-dimensional torus. After introducing a suitable renormalization, we first construct the Gibbs measure in the range $0<β^2<4π$ via the variational approach due to Barashkov-Gubinelli (2018). We then prove almost sure global well-posedness and invariance of the Gibbs measure under the hyperbolic SdSG dynamics in the range $0<β^2<2π$. Our construction of the Gibbs measure also yields almost sure global well-posedness and invariance of the Gibbs measure for the parabolic sine-Gordon model in the range $0<β^2<4π$.
description: 15 pages
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Creators: name: Ullrich, Sebastian
name: de Moura, Leonardo
Publisher: name: arXiv
Year: 2020
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: In interactive theorem provers (ITPs), extensible syntax is not only crucial to lower the cognitive burden of manipulating complex mathematical objects, but plays a critical role in developing reusable abstractions in libraries. Most ITPs support such extensions in the form of restrictive "syntax sugar" substitutions and other ad hoc mechanisms, which are too rudimentary to support many desirable abstractions. As a result, libraries are littered with unnecessary redundancy. Tactic languages in these systems are plagued by a seemingly unrelated issue: accidental name capture, which often produces unexpected and counterintuitive behavior. We take ideas from the Scheme family of programming languages and solve these two problems simultaneously by proposing a novel hygienic macro system custom-built for ITPs. We further describe how our approach can be extended to cover type-directed macro expansion resulting in a single, uniform system offering multiple abstraction levels that range from supporting simplest syntax sugars to elaboration of formerly baked-in syntax. We have implemented our new macro system and integrated it into the new version of the Lean theorem prover, Lean 4. Despite its expressivity, the macro system is simple enough that it can easily be integrated into other systems.
Requirements for Automotive LiDAR Systems
Creators: name: Dai, Zhuoqun
name: Wolf, Alexander
name: Ley, Peer-Phillip
name: Glück, Tobias
name: Sundermeier, Max Caspar
name: Lachmayer, Roland
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: light detection and ranging (LiDAR)
subject: requirements
subject: advanced driver assistance system
subject: autonomous driving
subject: laser scanning
subject: laser safety
subject: object detection
subject: PointPillars
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau

description: Light detection and ranging (LiDAR) are fundamental sensors that help driving tasks for autonomous driving at various levels. Commercially available systems come in different specialized design schemes and involve plenty of specifications. In the literature, there are insufficient representations of the technical requirements for LiDAR systems in the automotive context, such as range, detection quality, resolving power, field of view, and eye safety. For this reason, the requirements above require to be derived based on ADAS functions. The requirements for various key LiDAR metrics, including detection range, field of view, angular resolution, and laser safety, are analyzed in this paper. LiDAR systems are available with various radiation patterns that significantly impact on detection range. Therefore, the detection range under various radiation patterns is firstly investigated in this paper. Based on ADAS functions, the required detection range and field of view for LiDAR systems are examined, taking into account various travel speeds to avoid collision and the coverage of the entire lane width. Furthermore, the angular resolution limits are obtained utilizing the KITTI dataset and exemplary 3D detection algorithms. Finally, the maximum detection ranges for the different radiation patterns are compared under the consideration of derived requirements and laser safety.
Guaranteed convergence of the Kohn-Sham equations
Creators: name: Wagner, Lucas O.
name: Stoudenmire, E. M.
name: Burke, Kieron
name: White, Steven R.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: A sufficiently damped iteration of the Kohn-Sham equations with the exact functional is proven to always converge to the true ground-state density, regardless of the initial density or the strength of electron correlation, for finite Coulomb systems. We numerically implement the exact functional for one-dimensional continuum systems and demonstrate convergence of the damped KS algorithm. More strongly correlated systems converge more slowly.
description: 5 pages, 4 figures
Fano quiver moduli
Creators: name: Franzen, Hans
name: Reineke, Markus
name: Sabatini, Silvia
Publisher: name: arXiv
Year: 2020
Subjects: subject: Algebraic Geometry (math.AG)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics

description: We exhibit a large class of quiver moduli spaces which are Fano varieties, by studying line bundles on quiver moduli and their global sections in general, and work out several classes of examples, comprising moduli spaces of point configurations, Kronecker moduli, and toric quiver moduli.
description: 11 pages; added references, added example 5.3
Beiträge zu den römischen Alterthümern der Rheinlande
Creators: name: Hübner, Emil
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 64 (1878): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Additional file 1 of “‘Oh gosh, why go?’ cause they are going to look at me and not hire”: intersectional experiences of black women navigating employment during pregnancy and parenting
Creators: name: Mehra, Renee
name: Alspaugh, Amy
name: Dunn, Jennifer T
name: Franck, Linda S
name: McLemore, Monica R
name: Keene, Danya E
name: Kershaw, Trace S
name: Ickovics, Jeannette R
Publisher: name: figshare
Year: 2023
Subjects: subject: Sociology
subject: FOS: Sociology

description: Additional file 1.
Additional file 3 of Adaptation of the Australian Palliative Care Phase concept to the German palliative care context: a mixed-methods approach using cognitive interviews and cross-sectional data
Creators: name: Lehmann, Eva
name: Hodiamont, Farina
name: Landmesser, Mirjam
name: Knobloch, Carina S.
name: Nauck, Friedemann
name: Ostgathe, Christoph
name: Grüne, Bettina
name: Bausewein, Claudia
Publisher: name: figshare
Year: 2021
Subjects: subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 3. Interview guides
Search for a supersymmetric partner to the top quark in final states with jets and missing transverse momentum at sqrt(s) = 7 TeV with the ATLAS detector
Creators: name: ATLAS Collaboration
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A search for direct pair production of supersymmetric top squarks (stop_1) is presented, assuming the stop_1 decays into a top quark and the lightest supersymmetric particle, neutralino_1, and that both top quarks decay to purely hadronic final states. A total of 16 (4) events are observed compared to a predicted Standard Model background of 13.5+3.7-3.6 (4.4+1.7-1.3) events in two signal regions based on int(Ldt) = 4.7 fb^-1 of pp collision data taken at sqrt(s) = 7 TeV with the ATLAS detector at the LHC. An exclusion region in the stop_1 versus neutralino_1 mass plane is evaluated: 370
description: 6 pages plus author list (20 pages total), 4 figures, 1 table, submitted to Physical Review Letters
Constructing a subgradient from directional derivatives for functions of two variables
Creators: name: Khan, Kamil A.
name: Yuan, Yingwei
Publisher: name: arXiv
Year: 2020
Subjects: subject: Optimization and Control (math.OC)
subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 49J52

description: For any scalar-valued bivariate function that is locally Lipschitz continuous and directionally differentiable, it is shown that a subgradient may always be constructed from the function's directional derivatives in the four compass directions, arranged in a so-called "compass difference". When the original function is nonconvex, the obtained subgradient is an element of Clarke's generalized gradient, but the result appears to be novel even for convex functions. The function is not required to be represented in any particular form, and no further assumptions are required, though the result is strengthened when the function is additionally L-smooth in the sense of Nesterov. For certain optimal-value functions and certain parametric solutions of differential equation systems, these new results appear to provide the only known way to compute a subgradient. These results also imply that centered finite differences will converge to a subgradient for bivariate nonsmooth functions. As a dual result, we find that any compact convex set in two dimensions contains the midpoint of its interval hull. Examples are included for illustration, and it is demonstrated that these results do not extend directly to functions of more than two variables or sets in higher dimensions.
description: 16 pages, 2 figures