cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
pK+Λfinal state: towards the extraction of the ppK- contribution
Creators: name: Fabbietti, L.
name: Agakishiev, G.
name: Balanda, A.
name: Belver, D.
name: Belyaev, A. V.
name: Berger-Chen, J-C
name: Blanco, A.
name: Böhmer, M.
name: Boyard, J. L.
name: Cabanelas, P.
name: Castro, E.
name: Chernenko, S.
name: Christ, T.
name: Destefanis, M.
name: Dohrmann, F.
name: Dybczak, A.
name: Epple, E.
name: Eberl, T.
name: Fateev, O. V.
name: Finocchiaro, P.
name: Fonte, P.
name: Friese, J.
name: Fröhlich, I.
name: Galatyuk, T.
name: Garzon, J. A.
name: Gernhäuser, R.
name: Gilardi, C.
name: Golubeva, M.
name: Gonzalez-Diaz, D.
name: Guber, F.
name: Gumberidze, M.
name: Heinz, T.
name: Hennino, T.
name: Holzmann, R.
name: Iori, I.
name: Ivashkin, A.
name: Jurkovic, M.
name: Kämpfer, B.
name: Kanaki, K.
name: Karavicheva, T.
name: Koenig, I.
name: Koenig, W.
name: Kolb, B. W.
name: Kotte, R.
name: Krasa, A.
name: Krizek, F.
name: Krücken, R.
name: Kuc, H.
name: Kühn, W.
name: Kugler, A.
name: Kurepin, A.
name: Lalik, R.
name: Lang, S.
name: Lange, J. S.
name: Lapidus, K.
name: Liu, T.
name: Lopes, L.
name: Lorenz, M.
name: Maier, L.
name: Mangiarotti, A.
name: Markert, J.
name: Metag, V.
name: Michalska, B.
name: Michel, J.
name: Moriniere, E.
name: Mousa, J.
name: Müntz, C.
name: Naumann, L.
name: Otwinowski, J.
name: Pachmayer, Y. C.
name: Palka, M.
name: Parpottas, Y.
name: Pechenov, V.
name: Pechenova, O.
name: Pietraszko, J.
name: Przygoda, W.
name: Ramstein, B.
name: Reshetin, A.
name: Rustamov, A.
name: Sadovsky, A.
name: Salabura, P.
name: Schmah, A.
name: Schwab, E.
name: Siebenson, J.
name: Sobolev, Yu. G.
name: Spataro, A. Solaguren-Beascoa Negre S.
name: Spruck, B.
name: Ströbele, H.
name: Stroth, J.
name: Sturm, C.
name: Tarantola, A.
name: Teilab, K.
name: Tlusty, P.
name: Traxler, M.
name: Trebacz, R.
name: Tsertos, H.
name: Wagner, V.
name: Weber, M.
name: Wendisch, C.
name: Wüstenfel, J.
name: Yurevich, S.
name: Zanevsky, Y. V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: The reaction p(@3.5\,GeV)+p -> p+Λ+ K^+ can be studied to search for the existence of kaonic bound states like ppK^- leading to this final state. This effort has been motivated by the assumption that in p+p collisions the Λ(1405) resonance can act as a doorway to the formation of the kaonic bound states. The status of this analysis within the HADES collaboration, with particular emphasis on the comparison to simulations, is shown in this work and the deviation method utilized by the DISTO collaboration in a similar analysis is discussed. The outcome suggests the employment of a partial wave analysis to disentangle the different contributions to the measured pK^+Λfinal state.
description: 9 pages, 6 figures, proceeding of the HYP2012 conference Nucl. Phys. A (2013)
Additional file 1 of Supervisor experiences of extended clinical placements in optometry: a mixed methods study
Creators: name: Kirkman, Jacqueline M
name: Bentley, Sharon A
name: Wood-Bradley, Ryan J
name: Woods, Craig A
name: Armitage, James A
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Cancer

description: Additional file 1.
CAPABLE D5.2: Framework Defined (Including Patients' Needs) Based on Available Data and Modelling Approaches
Creators: name: Gilboa-Solomon, Flora
name: Quaglini, Silvana
name: Kogan, Alexandra
name: Glaser, Savannah
name: Medlock, Stephanie
name: Barkan, Ella
name: Lisowska, Aneta
name: Śniatała, Konrad
name: Wilk, Szymon
name: Tibollo, Valentina
name: Glasspool, David
Publisher: name: Zenodo
Year: 2021
Subjects: AI framework
knowledge representation
logic-based reasoning
machine learning
patient and physician requirements

description: The aim of this deliverable is to describe a framework which is part of the CAPABLE system architecture. A framework is defined as a set of concepts, libraries, tools, practices, and analytic methodologies. In this document, we focus on the artificial intelligence (AI)
 framework, while we consider AI in a broad notion that covers formal knowledge representation and logic-based reasoning, as well as machine learning techniques. This document describes the means by which the AI framework supports the requirements of melanoma and renal cancer patients, their caregivers, and physicians.
description: This deliverable is a part of a project receiving funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 875052
Efficient and Modular Coalgebraic Partition Refinement
Creators: name: Wißmann, Thorsten
name: Dorsch, Ulrich
name: Milius, Stefan
name: Schröder, Lutz
Publisher: name: arXiv
Year: 2018
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important task in system analysis and verification. Coalgebraic generality allows us to cover not only classical relational systems but also, e.g. various forms of weighted systems and furthermore to flexibly combine existing system types. Under assumptions on the type functor that allow representing its finite coalgebras in terms of nodes and edges, our algorithm runs in time $\mathcal{O}(m\cdot \log n)$ where $n$ and $m$ are the numbers of nodes and edges, respectively. The generic complexity result and the possibility of combining system types yields a toolbox for efficient partition refinement algorithms. Instances of our generic algorithm match the run-time of the best known algorithms for unlabelled transition systems, Markov chains, deterministic automata (with fixed alphabets), Segala systems, and for color refinement.
description: Extended journal version of the conference paper arXiv:1705.08362. Beside reorganization of the material, the introductory section 3 is entirely new and the other new section 7 contains new mathematical results
On trace anomaly in 2+1 flavor QCD
Creators: name: Petreczky, P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We report on recent progress by the HotQCD collaboration in studying the trace anomaly at non-zero temperature in 2+1 flavor QCD on lattices with the temporal extent N_tau=4, 6, 8, 10 and 12 using the highly improved staggered quark (HISQ) action as well as the asqtad action. We discuss the dependence of our lattice results on the scale setting procedure and compare them with hadron resonance gas (HRG) calculations as well as to resummed perturbative results.
description: LaTeX, 7 pages, used PoS.cls To appear in the proceeding of Lattice 2012
Zugänge der Bibliothek
Creators: name: Redaktion, Die
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 32, Nr. 1/2 (1954)
The agreement distance of rooted phylogenetic networks
Creators: name: Klawitter, Jonathan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: Populations and Evolution (q-bio.PE)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences
subject: 05C90, 92D15, 68R10

description: The minimal number of rooted subtree prune and regraft (rSPR) operations needed to transform one phylogenetic tree into another one induces a metric on phylogenetic trees - the rSPR-distance. The rSPR-distance between two phylogenetic trees $T$ and $T'$ can be characterised by a maximum agreement forest; a forest with a minimum number of components that covers both $T$ and $T'$. The rSPR operation has recently been generalised to phylogenetic networks with, among others, the subnetwork prune and regraft (SNPR) operation. Here, we introduce maximum agreement graphs as an explicit representations of differences of two phylogenetic networks, thus generalising maximum agreement forests. We show that maximum agreement graphs induce a metric on phylogenetic networks - the agreement distance. While this metric does not characterise the distances induced by SNPR and other generalisations of rSPR, we prove that it still bounds these distances with constant factors.
description: 24 pages, 16 figures
Spin Susceptibility in Non-centrosymmetric Superconductors with Topological Transition of Fermi Surfaces
Creators: name: Maruyama, Daisuke
name: Yanase, Youichi
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: The non-centrosymmetric superconductors Li2Pd3B and Li2Pt3B show different superconducting properties despite having the same crystal symmetry. Motivated by experimental results, we investigate the spin susceptibility of non-centrosymmetric superconductors accompanied by the topological transition of Fermi surfaces due to antisymmetric spin-orbit coupling, which is indicated by the first-principles band structure calculation for Li2Pt3B. We study three types of topological transition, namely, (A) the disappearance of the Fermi surface, (B) crossing the Dirac point, and (C) crossing the saddle point van-Hove singularity. The spin susceptibility in the superconducting state is increased by the topological transitions (A) and (C), while it is decreased by (B). We discuss the unusual magnetic properties observed in Li2Pt3B on the basis of these results.
description: 5 pages, 6 figures, final version for publication in J. Phys. Soc. Jpn
title: Efterretning om Inderøens Fogderie
title: Avskrift efter Ms nr. 354 4o i Universitetsbiblioteket [i Oslo] ved Oddvar Grønli
titleType: Subtitle
Creators: name: (:Unas)
Publisher: name: Unknown
Year: 0

description: Se Nordtrøndelag historielags årbok 1949 s. 3ff
Additional file 2 of Supervisor experiences of extended clinical placements in optometry: a mixed methods study
Creators: name: Kirkman, Jacqueline M
name: Bentley, Sharon A
name: Wood-Bradley, Ryan J
name: Woods, Craig A
name: Armitage, James A
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Neuroscience
subject: Biotechnology
subject: Ecology
subject: FOS: Biological sciences
subject: Cancer

description: Additional file 2.
Fortegnelse over historikeren O.A. Øverlands efterladte manuskripter og avskrifter
Creators: name: (:Unas)
Publisher: name: Unknown
Year: 0
Subjects: Øverland, O.A.

description: 2 eks. Vedl.: O.A. Øverlands manuskripter og avskrifter avinteresse for mig [d.e. Olav Bergersen. - Fortegnelse over historikeren O.A. Øverlands efterladte manuskripter og avskrifter. Manglende nummer 31/8 1934
Amélie Nothombs Körper- und Essenspoetik: Esssucht als Dispositiv für Kunst im Roman Une forme de vie (2010)
Creators: name: Ippolito, Antonella
Publisher: name: HeLix - Dossiers zur romanischen Literaturwissenschaft
Year: 2018
Subjects: Amélie Nothomb; Französischer Roman der Gegenwart/French Contemporary Novel; Körperpoetik/Poetics of the Body; Autoreflexivität/Autoreflexivity; Postmoderne Erzählliteratur/Postmodern Narrative

description: Amélie Nothombs fictional works features a special emphasis on topics related to food as a taste experience as well as in its relation to psychological discomfort. Consonant with the major role of physical appearance in her novels is the constantly occurring dichotomy obesity versus skinniness, overeating versus starving, often closely related to the further opposition beauty versus ugliness.
The paper analyzes the complex metaphorical connotations of obesity in Nothomb’s nineteenth book Une forme de vie (2010). This partly epistolary novel explores the obesity of the binge-eating protagonist as a willful addiction, a way of coping with the moral outrage at the experience of fighting in Iraq. At the same time, Nothomb’s staging of obesity in the novel shows underlying implications which arise from a close association of reading and eating, also constantly present in her production since her first novel Hygiène de l’assassin (1992). The obese body becomes a figure of the text as a work of art and leads to an exploration of questions related to the fragile status of literary "truth".
description: HeLix - Dossiers zur romanischen Literaturwissenschaft, Bd. 10 (2017): HeLix - Dossiers zur romanischen Literaturwissenschaft
Bipolar Magnetic Semiconductors: A New Class of Spintronics Materials
Creators: name: Li, Xingxing
name: Wu, Xiaojun
name: Li, Zhenyu
name: Yang, Jinlong
name: Hou, J. G.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Electrical control of spin polarization is very desirable in spintronics, since electric field can be easily applied locally in contrast with magnetic field. Here, we propose a new concept of bipolar magnetic semiconductor (BMS) in which completely spin-polarized currents with reversible spin polarization can be created and controlled simply by applying a gate voltage. This is a result of the unique electronic structure of BMS, where the valence and conduction bands possess opposite spin polarization when approaching the Fermi level. Our band structure and spin-polarized electronic transport calculations on semi-hydrogenated single-walled carbon nanotubes confirm the existence of BMS materials and demonstrate the electrical control of spin-polarization in them.
description: 20 pages, 6 figures, accepted by Nanoscale
The interplanetary magnetic field: radial and latitudinal dependences
Creators: name: Khabarova, Olga V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Space Physics (physics.space-ph)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Results of the analysis of spacecraft measurements at 1-5.4 AU are presented within the scope of the large-scale interplanetary magnetic field (IMF) structure investigation. The work is focused on revealing of the radial IMF component (Br) variations with heliocentric distance and latitude as seen by Ulysses. It was found out that |Br| decreases as ~r^-5/3 in the ecliptic plane vicinity (10 deg. of latitude). This is consistent with the previous results obtained on the basis of five spacecraft in-ecliptic measurements (Khabarova, Obridko, 2012). The difference between the experimentally found (r^-5/3) and commonly used (r^-2) radial dependence of Br may lead to mistakes in the IMF recalculations from point to point in the heliosphere. This can be one of the main sources of the 'magnetic flux excess' effect, which is exceeding of the distantly measured magnetic flux over the values obtained through the measurements at the Earth orbit. It is shown that the radial IMF component can be considered as independent of heliolatitude in a rough approximation only. More detailed analysis demonstrates an expressed |Br| (as well as the IMF strength) increase in the latitudinal vicinity of 30 deg. relative to the ecliptic plane. Also, a slight increase of the both parameters is observed in the polar solar wind. The analysis of the latitudinal and radial dependences of the Br distribution's bimodality is performed. The investigation has not revealed any dependence between Br and the solar wind speed V. Meanwhile, the two-peak distribution of the solar wind speed as measured by Ulysses is a consequence of a strong latitudinal and solar cycle dependence of V. It is shown that the solar wind speed in high latitudes (above 40 deg.) anti-correlates with a solar activity: V is maximal during the solar cycle minima, and it has a minimum at the maximum of solar activity.
description: 29 pages, 10 figures, Astronomy Reports, 2013, V. 57, issue 11
Flow Logic
Creators: name: Kupferman, Orna
name: Vardi, Gal
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Flow networks have attracted a lot of research in computer science. Indeed, many questions in numerous application areas can be reduced to questions about flow networks. Many of these applications would benefit from a framework in which one can formally reason about properties of flow networks that go beyond their maximal flow. We introduce Flow Logics: modal logics that treat flow functions as explicit first-order objects and enable the specification of rich properties of flow networks. The syntax of our logic BFL* (Branching Flow Logic) is similar to the syntax of the temporal logic CTL*, except that atomic assertions may be flow propositions, like $> γ$ or $\geq γ$, for $γ\in \mathbb{N}$, which refer to the value of the flow in a vertex, and that first-order quantification can be applied both to paths and to flow functions. We present an exhaustive study of the theoretical and practical aspects of BFL*, as well as extensions and fragments of it. Our extensions include flow quantifications that range over non-integral flow functions or over maximal flow functions, path quantification that ranges over paths along which non-zero flow travels, past operators, and first-order quantification of flow values. We focus on the model-checking problem and show that it is PSPACE-complete, as it is for CTL*. Handling of flow quantifiers, however, increases the complexity in terms of the network to ${\rm P}^{\rm NP}$, even for the LFL and BFL fragments, which are the flow-counterparts of LTL and CTL. We are still able to point to a useful fragment of BFL* for which the model-checking problem can be solved in polynomial time. Finally, we introduce and study the query-checking problem for BFL*, where under-specified BFL* formulas are used for network exploration.
Indexed type theories
Creators: name: Isaev, Valery
Publisher: name: arXiv
Year: 2018
Subjects: subject: Category Theory (math.CT)
subject: Logic in Computer Science (cs.LO)
subject: Algebraic Topology (math.AT)
subject: Logic (math.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories including finite (co)limits, arbitrary (co)products, exponents, object classifiers, and orthogonal factorization systems. We also prove that these constructions are equivalent to their type theoretic counterparts such as $Σ$-types, unit types, identity types, finite higher inductive types, $Π$-types, univalent universes, and higher modalities.
description: 53 pages
Spin-orbit-induced bound state and molecular signature of the degenerate Fermi gas in a narrow Feshbach resonance
Creators: name: Zhang, Kuang
name: Chen, Gang
name: Jia, Suotang
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In this paper we explore the spin-orbit-induced bound state and molecular signature of the degenerate Fermi gas in a narrow Feshbach resonance based on a generalized two-channel model. Without the atom-atom interactions, only one bound state can be found even if spin-orbit coupling exists. Moreover, the corresponding bound-state energy depends strongly on the strength of spin-orbit coupling, but is influenced slightly by its type. In addition, we find that when increasing the strength of spin-orbit coupling, the critical point at which the molecular fraction vanishes shifts from zero to the negative detuning. In the weak spin-orbit coupling, this shifting is proportional to the square of its strength. Finally, we also show that the molecular fraction can be well controlled by spin-orbit coupling.
description: Major modification
Additional file 5 of Associations between chronic widespread pain, pressure pain thresholds, leptin, and metabolic factors in individuals with knee pain
Creators: name: Andersson, Maria L.E.
name: Thorén, Emelie
name: Sylwander, Charlotte
name: Bergman, Stefan
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Physiology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer
subject: Science Policy
subject: Mental Health
subject: Computational Biology
subject: Cardiology

description: Supplementary Material 5
Additional file 1 of Competency lists for urban general practitioners/family physicians using the modified Delphi method
Creators: name: Mitsuyama, Toshichika
name: Son, Daisuke
name: Eto, Masato
name: Kikukawa, Makoto
Publisher: name: figshare
Year: 2023
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: 60506 Virology

description: Additional file 1.
Embeddings of 3-connected 3-regular planar graphs on surfaces of non-negative Euler characteristic
Creators: name: Enami, Kengo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: Whitney's theorem states that every 3-connected planar graph is uniquely embeddable on the sphere. On the other hand, it has many inequivalent embeddings on another surface. We shall characterize structures of a $3$-connected $3$-regular planar graph $G$ embedded on the projective-plane, the torus and the Klein bottle, and give a one-to-one correspondence between inequivalent embeddings of $G$ on each surface and some subgraphs of the dual of $G$ embedded on the sphere. These results enable us to give explicit bounds for the number of inequivalent embeddings of $G$ on each surface, and propose effective algorithms for enumerating and counting these embeddings.
description: 19 pages, 12 figures
Electrodynamic Response and Stability of Molecular Crystals
Creators: name: Schatschneider, Bohdan
name: Liang, Jian-Jie
name: Reilly, Anthony M.
name: Marom, Noa
name: Zhang, Guo-Xu
name: Tkatchenko, Alexandre
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We show that electrodynamic dipolar interactions, responsible for long-range fluctuations in matter, play a significant role in the stability of molecular crystals. Density functional theory calculations with van der Waals interactions determined from a semilocal "atom-in-a-molecule" model result in a large overestimation of the dielectric constants and sublimation enthalpies for polyacene crystals from naphthalene to pentacene, whereas an accurate treatment of non-local electrodynamic response leads to an agreement with the measured values for both quantities. Our findings suggest that collective response effects play a substantial role not only for optical excitations, but also for cohesive properties of non-covalently bound molecular crystals.
Divergence and unique solution of equations
Creators: name: Durier, Adrien
name: Hirschkoff, Daniel
name: Sangiorgi, Davide
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations) whose infinite unfolding never produces a divergence has the unique-solution property. We transport this result onto the operational setting of CCS and for bisimilarity. We then exploit the operational approach to: refine the theorem, distinguishing between different forms of divergence; derive an abstract formulation of the theorems, on generic LTSs; adapt the theorems to other equivalences such as trace equivalence, and to preorders such as trace inclusion. We compare the resulting techniques to enhancements of the bisimulation proof method (the `up-to techniques'). Finally, we study the theorems in name-passing calculi such as the asynchronous $π$-calculus, and use them to revisit the completeness part of the proof of full abstraction of Milner's encoding of the $λ$-calculus into the $π$-calculus for Lévy-Longo Trees.
description: This is an extended version of the paper with the same title published in the proceedings of CONCUR'17
Additional file 1 of Development of a Plasmodium vivax biobank for functional ex vivo assays
Creators: name: Dash, Rashmi
name: Skillman, Kristen M.
name: Pereira, Ligia
name: Mascarenhas, Anjali
name: Dass, Sheena
name: Walke, Jayashri
name: Almeida, Anvily
name: Fernandes, Mezia
name: Gomes, Edwin
name: White, John
name: Chery-Karschney, Laura
name: Khandeparkar, Anar
name: Rathod, Pradipsinh K.
name: Duraisingh, Manoj T.
name: Kanjee, Usheer
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Environmental Sciences not elsewhere classified

description: Additional file 1. Summary of published Plasmodium spp. cryopreservation methods.
On restriction estimates for the zero radius sphere over finite fields
Creators: name: Iosevich, Alex
name: Koh, Doowon
name: Lee, Sujin
name: Pham, Thang
name: Shen, Chun-Yen
Publisher: name: arXiv
Year: 2018
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 52C10, 42B05

description: In this paper, we solve completely the $L^2\to L^r$ extension conjecture for the zero radius sphere over finite fields. We also obtain the sharp $L^p\to L^4$ extension estimate for non-zero radii spheres over finite fields, which improves significantly the previous result of the first and second listed authors.
description: 24 pages, No figures, changing title and including Appendix
A cancellation theorem for modules over integral group rings
Creators: name: Nicholson, John
Publisher: name: arXiv
Year: 2018
Subjects: subject: K-Theory and Homology (math.KT)
subject: Group Theory (math.GR)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 20C05, 19B28, 19A13

description: A long standing problem, which has its roots in low-dimensional homotopy theory, is to classify all finite groups $G$ for which the integral group ring $\mathbb{Z}G$ has stably free cancellation (SFC). We extend results of R. G. Swan by giving a condition for SFC and use this to show that $\mathbb{Z}G$ has SFC provided at most one copy of the quaternions $\mathbb{H}$ occurs in the Wedderburn decomposition of the real group ring $\mathbb{R}G$. This generalises the Eichler condition in the case of integral group rings.
description: 10 pages, final version
Can Stellar Mixing Explain the Lack of Type Ib Supernovae in Long-Duration GRBs?
Creators: name: Frey, Lucille H.
name: Fryer, Chris L.
name: Young, Patrick A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The discovery of supernovae associated with long-duration gamma ray burst observations is primary evidence that the progenitors of these outbursts are massive stars. One of the principle mysteries in understanding these progenitors has been the fact that all of these gamma-ray burst associated supernovae are type Ic supernovae, with no evidence of helium in the stellar atmosphere. Many studies have focused on whether or not this helium is simply hidden from spectral analyses. In this paper, we show results from recent stellar models using new convection algorithms based on our current understanding of stellar mixing. We demonstrate that enhanced convection may lead to severe depletion of stellar helium layers, suggesting that the helium is not observed simply because it is not in the star. We also present light-curves and spectra of these compact helium-depleted stars, compared to models with more conventional helium layers.
description: 5 pages, 4 figures, conclusion revised, figures edited for readability
FAIR Workflows Data publishing of scientific protocols
Creators: name: Moreira, João
name: Kuhn, Tobias
name: Dumontier, Michel
name: Celebi, Remzi
name: Hassan, Ahmed
name: Schmidt, Harald
name: Ridder, Lars
name: Maccatrozzo, Valentina
name: Zinkstok, Roel
name: Martinez, Carlos
Publisher: name: Zenodo
Year: 2021
Subjects: FAIR data principles
FAIR software
Workflow ontology
Common workflow language

description: Poster presented at ICTOPEN 2019.
title: A questão da participação no mercado de trabalho : uma leitura a partir do contributo de Habermas
Creators: name: Ferreira, Paula
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 37 (1.º semestre 2011). - p. 77-91.
Conrector Rosteds og Justitzraad Hammers Anmærkninger over Hadelands Beskrivelse Iste og IIden Deel Aar 1797
Creators: name: Hammer, Christopher
name: Rosted, Jacob
Publisher: name: Unknown
Year: 0

description: Gjelder enkelte detaljer i forbindelse med utgivelsen i Topographisk Journal for Norge 1797-1799.
Additional file 1 of A quantitative comparison of essential cardiovascular medicines from countries in the Southern African Development Community to the WHO model essential medicines list
Creators: name: Naicker, Ian
name: Suleman, Fatima
name: Perumal-Pillay, Velisha Ann
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Marine Biology
subject: Cancer
subject: Science Policy

description: Additional file 1. Comparison of Southern African Development Community country National Essential Medicines Lists with the 2021 World Health Organisation Model Essential Medicines List.
Fourier expansions at cusps
Creators: name: Brunault, François
name: Neururer, Michael
Publisher: name: arXiv
Year: 2018
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: In this article we study the number fields generated by the Fourier coefficients of modular forms at arbitrary cusps. We give upper bounds for these number fields which are cyclotomic extensions of the field generated by the Fourier coefficients at $\infty$, and determine them explicitly for newforms with trivial Nebentypus. The main tool is an extension of a result of Shimura on the compatibility between the actions of $\mathrm{SL}_2(\mathbb{Z})$ and $\mathrm{Aut}(\mathbb{C})$ on the space of modular forms. We give two new proofs of this result: one based on products of Eisenstein series, and the other using the theory of algebraic modular forms.
title: Ética e mínimos sociais : sujeito de direito e rendimento social de inserção
Creators: name: Cardoso, Maria Júlia Faria
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 37 (1.º semestre 2011). - p. 41-57.
title: Refundación del capitalismo? : última fase de expansión del capital, receso de las políticas sociales
Creators: name: DE LUCAS Y MURILLO DE LA CUEVA, FERNANDO
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 37 (1.º semestre 2011). - p. 59-76
Additional file 1 of Graduate and postgraduate educational challenges during the COVID-19 pandemic period: its impact and innovations—a scoping review
Creators: name: Shoaib, Muhammad Harris
name: Sikandar, Muhammad
name: Yousuf, Rabia Ismail
name: Parkash, Monica
name: Kazmi, Syed Jamil Hassan
name: Ahmed, Farrukh Rafiq
name: Ahmed, Kamran
name: Saleem, Muhammad Talha
name: Zaidi, Syeda Hina
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 1: Table S1. PRISMA-ScR checklist.
New tools for state complexity
Creators: name: Caron, Pascal
name: court, Edwin Hamel-De le
name: Luque, Jean-Gabriel
name: Patrou, Bruno
Publisher: name: arXiv
Year: 2018
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions allowing one to transform a set of automata into one automaton. We revisit some language transformation algorithms in terms of modifier and monster. These new theoretical concepts allow one to find easily some state complexities. We illustrate this by retrieving the state complexity of the Star of Intersection and the one of the Square root operation.
description: 18 pages
[Dokumenter] [manuskript]
Creators: name: Trondhjems Skredderlaug
Publisher: name: Unknown
Year: 0

description: Enkelte av protokollene er gjennomdratt og forseglet
description: Se: Eystein M. Andersen: Skredderliv og håndverkerkultur i Trondhjem 1650-1750. Hovedoppgave i historie ved NTNU, 2003
Rule Algebras for Adhesive Categories
Creators: name: Behr, Nicolas
name: Sobocinski, Pawel
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: Category Theory (math.CT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.2; G.3; G.2.2
subject: 16B50, 60J27, 68Q42 (Primary) 60J28, 16B50, 05E99 (Secondary)

description: We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably, our results hold in the general setting of $\mathcal{M}$-adhesive categories. This observation complements the classical Concurrency Theorem of DPO rewriting. We then proceed to define rule algebras in both settings, where the most general categories permissible are the finitary (or finitary restrictions of) $\mathcal{M}$-adhesive categories with $\mathcal{M}$-effective unions. If in addition a given such category possess an $\mathcal{M}$-initial object, the resulting rule algebra is unital (in addition to being associative). We demonstrate that in this setting a canonical representation of the rule algebras is obtainable, which opens the possibility of applying the concept to define and compute the evolution of statistical moments of observables in stochastic DPO rewriting systems.
Controlling a population
Creators: name: Bertrand, Nathalie
name: Dewaskar, Miheer
name: Genest, Blaise
name: Gimbert, Hugo
name: Godbole, Adwait Amit
Publisher: name: arXiv
Year: 2018
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We introduce a new setting where a population of agents, each modelled by a finite-state system, are controlled uniformly: the controller applies the same action to every agent. The framework is largely inspired by the control of a biological system, namely a population of yeasts, where the controller may only change the environment common to all cells. We study a synchronisation problem for such populations: no matter how individual agents react to the actions of the controller, the controller aims at driving all agents synchronously to a target state. The agents are naturally represented by a non-deterministic finite state automaton (NFA), the same for every agent, and the whole system is encoded as a 2-player game. The first player (Controller) chooses actions, and the second player (Agents) resolves non-determinism for each agent. The game with m agents is called the m -population game. This gives rise to a parameterized control problem (where control refers to 2 player games), namely the population control problem: can Controller control the m-population game for all m in N whatever Agents does?
description: This is a journal version of the extended abstract arXiv:1707.02058 which appeared in Concur 2017, together with proofs
Asymptotic formulas for integer partitions within the approach of microcanonical ensemble
Creators: name: Prokhorov, D.
name: Rovenchak, A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The problem of integer partitions is addressed using the microcanonical approach which is based on the analogy between this problem in the number theory and the calculation of microstates of a many-boson system. For ordinary (one-dimensional) partitions, the correction to the leading asymptotic is obtained. The estimate for the number of two-dimensional (plane) partitions coincides with known asymptotic results.
description: 9 pages, 2 figures
Additional file 1 of Predicting chemoresponsiveness in epithelial ovarian cancer patients using circulating small extracellular vesicle-derived plasma gelsolin
Creators: name: Gerber, Emma
name: Asare-Werehene, Meshach
name: Reunov, Arkadiy
name: Burger, Dylan
name: Le, Tien
name: Carmona, Euridice
name: Mes-Masson, Anne-Marie
name: Tsang, Benjamin K.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Molecular Biology
subject: Pharmacology
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: 60506 Virology

description: Additional file 1: Supplementary Figure 1. Distribution of individual biomarkers between chemoresistant (PFI ≤ 6 months) and chemosensitive (PFI > 6 months) groups using dot plots. Points on dot plots represent individual patient biomarker concentrations. Line with error bars represent group mean and SEM. (A) CA125, Mann-Whitney U-test. (B) Total pGSN, Student t-test. (C) sEV-pGSN, Mann-Whitney U-test. Supplementary Figure 2. Kaplan-Meier survival analysis (log-rank test) between total pGSN, sEV-pGSN, or total pGSN/sEV-pGSN with DFS or OS. Cut-off values were determined using Fisher’s exact test. (A) Total pGSN, DFS. (B) Total pGSN, OS. (C) sEV-pGSN, DFS. (D) sEV-pGSN, OS. (E) Total pGSN/sEV-pGSN, DFS. (F) Total pGSN/sEV-pGSN, OS. Supplementary Figure 3. Distribution of multi-analyte biomarkers between chemoresistant (PFI ≤ 6 months) and chemosensitive (PFI > 6 months) groups using dot plots. Points on dot plots represent individual patient biomarker concentrations. Line with error bars represent group mean and SEM. (A) Total pGSN/sEV-pGSN. (B) Total pGSN/CA125. (C) sEV-pGSN/CA125. (D) (Total pGSN/sEV-pGSN)/CA125. Mann-Whitney U-test used for all four multi-analyte biomarkers. Supplementary Figure 4. Receiver operating characteristic curve analysis for individual and multi-analyte biomarkers to predict PFI ≤ 6 months. (A) Total pGSN, sEV-pGSN, and total pGSN/sEV-pGSN. (B) CA125, total pGSN/CA125, sEV-pGSN/CA125, and (total pGSN/sEV-pGSN)/CA125. Supplementary Figure 5. Characterization of sEVs. (A) Western blot of sEV surface markers (CD9, CD63, and CD81), a cytoplasmic marker (GAPDH), and a negative sEV marker (calnexin). (B) Electron micrograph illustrating pGSN within extracellular vesicles. (C) Size distribution curve from nanoparticle tracking analysis of 5 representative samples. Bars represent mean particle count and error bars represent SEM.
Additional file 1 of A causal relationship between antioxidants, minerals and vitamins and metabolic syndrome traits: a Mendelian randomization study
Creators: name: Li, Junxian
name: Song, Fengju
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Science Policy

description: Additional file 1: Table S1. Characteristics of used studies and consortia. Table S2. Single nucleotide polymorphisms (SNPs) associated with circulating antioxidants, minerals and vitamins. Table S3. Associations of antioxidants, minerals and vitamins with MetS in sensitivity analyses. Table S4. Associations of antioxidants, minerals and vitamins with WC in sensitivity analyses. Table S5. Associations of antioxidants, minerals and vitamins with hypertension in sensitivity analyses. Table S6. Associations of antioxidants, minerals and vitamins with HDL-C in sensitivity analyses. Table S7. Associations of antioxidants, minerals and vitamins with FBG in sensitivity analyses. Table S8. Associations of antioxidants, minerals and vitamins with TG in sensitivity analyses.
On the Incomparability of Cache Algorithms in Terms of Timing Leakage
Creators: name: Cañones, Pablo
name: Köpf, Boris
name: Reineke, Jan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Modern computer architectures rely on caches to reduce the latency gap between the CPU and main memory. While indispensable for performance, caches pose a serious threat to security because they leak information about memory access patterns of programs via execution time. In this paper, we present a novel approach for reasoning about the security of cache algorithms with respect to timing leaks. The basis of our approach is the notion of leak competitiveness, which compares the leakage of two cache algorithms on every possible program. Based on this notion, we prove the following two results: First, we show that leak competitiveness is symmetric in the cache algorithms. This implies that no cache algorithm dominates another in terms of leakage via a program's total execution time. This is in contrast to performance, where it is known that such dominance relationships exist. Second, when restricted to caches with finite control, the leak-competitiveness relationship between two cache algorithms is either asymptotically linear or constant. No other shapes are possible.
Rule Formats for Nominal Process Calculi
Creators: name: Aceto, Luca
name: Fábregas, Ignacio
name: García-Pérez, Álvaro
name: Ingólfsdóttir, Anna
name: Ortega-Mallén, Yolanda
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications of NRTSs that ensure that the associated NRTS is an NTS and apply them to the operational specifications of the early and late pi-calculus. We also explore alternative specifications of the NTSs in which we allow residuals of abstraction sort, and introduce translations between the systems with and without residuals of abstraction sort. Our study stems from the Nominal SOS of Cimini et al. and from earlier works in nominal sets and nominal logic by Gabbay, Pitts and their collaborators.
The Condition of My Existence
Creators: name: Boon, Hussein
Publisher: name: Riffs Journal
Year: 2021
Subjects: Artificial Intelligence
Music
Emancipation
Autonomy
Popular Music Fiction
Identity

description: A slightly tongue in cheek meditation on who owns what, when creative works are mediated by humans and their AI interventions. The story is told through a series of news bulletins followed by an interview with an AI seeking emancipation and autonomy from its maker. The story starts with anonymous internet posts claiming that the music derived using the AI musical code was in fact misappropriated and plagiarised. The AI makes use of juridical mechanisms to emancipate their self from their putative ‘owner’. This story touches upon ideas of self determination, discussed within the context of a fictious broadcast interview with anti-AI protesters outside the radio station. Framed as an allegory using a variety of discussions around rights, voice, representation, freedom and denial of identity. The AI is used as a vehicle to speak the truth that many artists face in respect of the ownership of their works and contractual obligations. However, it should also be noted that the maker, whose presence is referred to but has no direct part within this story, is a confidence trickster. So one can never be sure whether the AI is real or merely a ‘bright’ human impersonation.
title: Recensão : serviço social e modelos de bem-estar para a infância : "modus operandi" do assistente social na promoção da protecção à criança e à família, Jorge Ferreira
Creators: name: Pena, Maria João Barroso
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 37 (1.º semestre 2011). - p. 145-150.
Equivalence checking for weak bi-Kleene algebra
Creators: name: Kappé, Tobias
name: Brunet, Paul
name: Luttik, Bas
name: Silva, Alexandra
name: Zanasi, Fabio
Publisher: name: arXiv
Year: 2018
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Pomset automata are an operational model of weak bi-Kleene algebra, which describes programs that can fork an execution into parallel threads, upon completion of which execution can join to resume as a single thread. We characterize a fragment of pomset automata that admits a decision procedure for language equivalence. Furthermore, we prove that this fragment corresponds precisely to series-rational expressions, i.e., rational expressions with an additional operator for bounded parallelism. As a consequence, we obtain a new proof that equivalence of series-rational expressions is decidable.
Gallo-Römische Strassensiedelungen und Kleinhausbauten
Creators: name: Oelmann, Franz
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 128 (1923): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Additional file 1 of Puff, Puff, Don’t Pass: harm reduction for cannabis use during a viral respiratory pandemic
Creators: name: Assaf, Ryan D.
name: Javanbakht, Marjan
name: Gorbach, Pamina M.
name: Arah, Onyebuchi A.
name: Shoptaw, Steven J.
name: Cooper, Ziva D.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Molecular Biology
subject: Neuroscience
subject: Pharmacology
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1: Table S1. Discordance in sharing of prepared cannabis and cannabis-related paraphernalia before and during the COVID-19 pandemic. Table S2. Changes in sharing of prepared cannabis and cannabis-related paraphernalia before and during the COVID-19 pandemic by number of transitions in change (N=925).
Dr. Max Bernhart, Münzkunde der römischen Kaiserzeit. I. Band. Bibliographischer Wegweiser
Creators: name: Hagen, Joseph
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Dr. Max Bernhart, Münzkunde der römischen Kaiserzeit. I. Band. Bibliographischer Wegweiser. Genève, Ars Classica, 1922.
description: Bonner Jahrbücher, Bd. 128 (1923): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
title: O processo de institucionalização da pessoa idosa : a influência de factores pessoais e da rede social
Creators: name: Caires Ornelas, Ana Margarida
name: Rei Vilar, Duarte Gonçalo
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 37 (1.º semestre 2011). - p. 125-144.