cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Eine arretinische Scherbe im Museum zu Alexandrien
Creators: name: Bissing, Friedrich Wilhelm Von
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
Zur Topographie von Haithabu
Creators: name: Hübener, Wolfgang
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. 1 (1952)
Ein Beitrag zu den langovalen Rössener Wannen
Creators: name: Schermer, 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. 2 (1952)
Newly-quenched galaxies as the cause for the apparent evolution in average size of the population
Creators: name: Carollo, C. M.
name: Bschorr, T. J.
name: Renzini, A.
name: Lilly, S. J.
name: Capak, P.
name: Cibinel, A.
name: Ilbert, O.
name: Onodera, M.
name: Scoville, N.
name: Cameron, E.
name: Mobasher, B.
name: Sanders, D.
name: Taniguchi, Y.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Abridged. We use COSMOS to study in a self-consistent way the change in the number densities of quenched early-type galaxies (Q-ETGs) of a given size over the interval 0.2 < z < 1.0 to study the claimed size evolution of these galaxies. At 10^10.510^11 Msun we find a decrease by 30%. In both mass bins, the increase of the median sizes of Q-ETGs with time is primarily caused by the addition to the size function of larger and more diffuse Q-ETGs. At all masses, compact Q-ETGs become systematically redder towards later epochs, with a (U-V) difference consistent with passive evolution of their stellar populations, indicating that they are a population that does not appreciably evolve in size. At all epochs, the larger Q-ETGs (at least in the lower mass bin) have average rest-frame colors systematically bluer than those of the more compact Q-ETGs, suggesting that the former are younger than the latter. The idea that new, large, Q-ETGs are responsible for the observed growth in the median size of the population at a given mass is supported by the sizes and number of the star-forming galaxies that are expected to be progenitors of the new Q-ETGs over the same period. In the low mass bin, the new Q-ETG have 30% smaller sizes than their star-forming progenitors. This is likely due to the fading of their disks after they cease star-formation. Comparison with higher z shows that the median size of newly-quenched galaxies roughly scales, at constant mass, as (1+z)^-1. The dominant cause of the size evolution seen in the Q-ETG population is thus that the average sizes of individual Q-ETGs scale with the average density of the Universe at the time when they were quenched, with subsequent size changes in individual objects through eg merging of secondary importance, especially at masses <10^11 Msun.
description: The Astrophysical Journal, in press (August 1st 2013 Issue; Accepted June 7th, 2013); Resubmission replacing v1 posted in February
New Difficulties for the Past Hypothesis
Creators: name: Gryb, Sean
Publisher: name: arXiv
Year: 2020
Subjects: subject: History and Philosophy of Physics (physics.hist-ph)
subject: FOS: Physical sciences

description: Many macroscopic physical processes are known to occur in a time-directed way despite the apparent time-symmetry of the known fundamental laws. A popular explanation is to postulate an unimaginably atypical state for the early universe -- a "Past Hypothesis" (PH) -- that seeds the time-asymmetry from which all others follow. I will argue that such a PH faces serious new difficulties. First I strengthen the grounds for existing criticism by providing a systematic analytic framework for assessing the status of the PH. I outline three broad categories of criticism that put into question a list of essential requirements of the proposal. The resulting analysis paints a grim picture for the prospects of providing an adequate formulation for an explicit PH. I then provide a new argument that substantively extends this criticism by showing that any time-independent measure on the space of models of the universe must necessarily break one of its gauge symmetries. The PH then faces a new dilemma: reject a gauge symmetry of the universe and introduce a distinction without difference or reject the time-independence of the measure and lose explanatory power.
description: Forthcoming in Philosophy of Science
Imprints of Molecular Clouds in Radio Continuum Images
Creators: name: Yusef-Zadeh, F.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We show radio continuum images of several molecular complexes in the inner Galaxy and report the presence of dark features that coincide with dense molecular clouds. Unlike infrared dark clouds, these features which we call "radio dark clouds" are produced by a deficiency in radio continuum emission from molecular clouds that are embedded in a bath of UV radiation field or synchrotron emitting cosmic ray particles. The contribution of the continuum emission along different pathlengths results in dark features that trace embedded molecular clouds. The new technique of identifying cold clouds can place constraints on the depth and the magnetic field of molecular clouds when compared to those of the surrounding hot plasma radiating at radio wavelengths. The study of five molecular complexes in the inner Galaxy, Sgr A, Sgr B2, radio Arc, the snake filament and G359.75-0.13 demonstrate an anti--correlation between the distributions of radio continuum and molecular line and dust emission. Radio dark clouds are identified in GBT maps and VLA images taken with uniform sampling of {\it uv} coverage. The level at which the continuum flux is suppressed in these sources suggests that the depth of the molecular cloud is similar to the size of the continuum emission within a factor of two. These examples suggest that high resolution, high dynamic range continuum images can be powerful probes of interacting molecular clouds with massive stars and supernova remnants in regions where the kinematic distance estimates are ambiguous as well as in the nuclei of active galaxies.
description: 14 pages, 5 figures, ApJ Letters (in press)
F. Haverfield, The Mother goddesses. With illustrations and a map
Creators: name: Ihm, Max
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: F. Haverfield, The Mother goddesses. With illustrations and a map. Sonderabdruck aus der Zeitschrift 'Archaeologia Aeliana’. Vol. XV. 1892. p. 314 ff.
description: Bonner Jahrbücher, Bd. 94 (1893): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Identifiability of Stochastically Modelled Reaction Networks
Creators: name: Enciso, German
name: Erban, Radek
name: Kim, Jinsu
Publisher: name: arXiv
Year: 2020
Subjects: subject: Probability (math.PR)
subject: Molecular Networks (q-bio.MN)
subject: FOS: Mathematics
subject: FOS: Biological sciences
subject: 60J22, 60J27, 60J28, 92C42, 92C45

description: Chemical reaction networks describe interactions between biochemical species. Once an underlying reaction network is given for a biochemical system, the system dynamics can be modelled with various mathematical frameworks such as continuous time Markov processes. In this manuscript, the identifiability of the underlying network structure with a given stochastic system dynamics is studied. It is shown that some data types related to the associated stochastic dynamics can uniquely identify the underlying network structure as well as the system parameters. The accuracy of the presented network inference is investigated when given dynamical data is obtained via stochastic simulations.
description: 22 pages, 4 figures
Additional file 1 of Genomic surveillance of SARS-CoV-2 in COVID-19 vaccinated healthcare workers in Lebanon
Creators: name: AlKalamouni, Habib
name: Abou Hassan, Farouk F.
name: Bou Hamdan, Mirna
name: Page, Andrew J.
name: Lott, Martin
name: Matthews, Michaela
name: Ghosn, Nada
name: Rady, Alissar
name: Mahfouz, Rami
name: Araj, George F.
name: Dbaibo, Ghassan
name: Zaraket, Hassan
name: Melhem, Nada M.
name: Matar, Ghassan M.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Ecology
subject: FOS: Biological sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 1. Fig. S1: SARS-CoV-2 lineages and variants detected among the sequenced samples.
The classification of free algebras of orthogonal modular forms
Creators: name: Wang, Haowu
Publisher: name: arXiv
Year: 2020
Subjects: subject: Number Theory (math.NT)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 11F55, 51F15, 32N15

description: We prove a necessary and sufficient condition for the graded algebra of automorphic forms on a symmetric domain of type IV to be free. From the necessary condition, we derive a classification result. Let $M$ be an even lattice of signature $(2,n)$ splitting two hyperbolic planes. Suppose $Γ$ is a subgroup of the integral orthogonal group of $M$ containing the discriminant kernel. It is proved that there are exactly 26 groups $Γ$ such that the space of modular forms for $Γ$ is a free algebra. Using the sufficient condition, we recover some well-known results.
description: Revised version, to appear in Compositio Mathematica
Foundations of regular coinduction
Creators: name: Dagnino, Francesco
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Inference systems are a widespread framework used to define possibly recursive predicates by means of inference rules. They allow both inductive and coinductive interpretations that are fairly well-studied. In this paper, we consider a middle way interpretation, called regular, which combines advantages of both approaches: it allows non-well-founded reasoning while being finite. We show that the natural proof-theoretic definition of the regular interpretation, based on regular trees, coincides with a rational fixed point. Then, we provide an equivalent inductive characterization, which leads to an algorithm which looks for a regular derivation of a judgment. Relying on these results, we define proof techniques for regular reasoning: the regular coinduction principle, to prove completeness, and an inductive technique to prove soundness, based on the inductive characterization of the regular interpretation. Finally, we show the regular approach can be smoothly extended to inference systems with corules, a recently introduced, generalised framework, which allows one to refine the coinductive interpretation, proving that also this flexible regular interpretation admits an equivalent inductive characterisation.
Implication of a vanishing element in 3+1 Scenario
Creators: name: Ghosh, Monojit
name: Goswami, Srubabati
name: Gupta, Shivani
name: Kim, C. S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper we study the phenomenological implications of the one zero textures of low energy neutrino mass matrices in presence of a sterile neutrino. We consider the 3+1 scheme and use the results from global fit for short baseline neutrino oscillation data which provides the bounds on the three additional mixing angles. We find that the mass matrix elements $m_{αβ}$ ($α, β= e, μ, τ$) involving only the active states can assume vanishing values in the allowed parameter space for all the mass spectrum. Among the mass matrix elements connecting the active and sterile states, $m_{es}$ and $m_{μs}$ can become small only for the quasi-degenerate neutrinos. The element $m_{τs}$ on the other hand can vanish even for lower values of masses since the 3-4 mixing angle only has an upper bound from current data. The mass matrix element ($m_{ss}$) involving only the sterile state stays $\sim$ $\mathcal{O}$(1) eV in the whole parameter region. We study the possible correlations between the sterile mixing angles and the Majorana phases to give a zero element in the mass matrix.
description: 35 pages, 14 figures, version accepted in Physical Review D
Additional file 1 of Has Covid-19 permanently changed online purchasing behavior?
Creators: name: Inoue, Hiroyasu
name: Todo, Yasuyuki
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Ecology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Computational Biology

description: Supplementary information (PDF 429 kB)
Pion observables calculated in Minkowski and Euclidean spaces with Ansätze for quark propagators
Creators: name: Kekez, Dalibor
name: Klabučar, Dubravko
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study two quark--propagator meromorphic Ansätze that admit clear connection between calculations in Euclidean space and Minkowski spacetime. The connection is established through a modified Wick rotation in momentum space, where the integration contour along the imaginary axis is adequately deformed. The Ansätze were previously proposed in the literature and fitted to Euclidean lattice QCD data. The generalized impulse approximation is used to calculate the pion transition form factor and electromagnetic form factor, correcting an earlier result. The pion decay constant and distribution amplitude are also calculated. The latter is used to deduce the asymptotic behavior of the form factors. Such an asymptotic behavior is compared with those obtained directly from the generalized impulse approximation and the causes of differences are pointed out.
description: 16 pages, 8 eps figures, uses revtex4-2, title changed, text improved, matching published version
Multifunctional Devices and Logic Gates With Undoped Silicon Nanowires
Creators: name: Mongillo, Massimo
name: Spathis, Panayotis
name: Katsaros, Georgios
name: Gentile, Pascal
name: De Franceschi, Silvano
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We report on the electronic transport properties of multiple-gate devices fabricated from undoped silicon nanowires. Understanding and control of the relevant transport mechanisms was achieved by means of local electrostatic gating and temperature dependent measurements. The roles of the source/drain contacts and of the silicon channel could be independently evaluated and tuned. Wrap gates surrounding the silicide-silicon contact interfaces were proved to be effective in inducing a full suppression of the contact Schottky barriers, thereby enabling carrier injection down to liquid-helium temperature. By independently tuning the effective Schottky barrier heights, a variety of reconfigurable device functionalities could be obtained. In particular, the same nanowire device could be configured to work as a Schottky barrier transistor, a Schottky diode or a p-n diode with tunable polarities. This versatility was eventually exploited to realize a NAND logic gate with gain well above one.
description: 6 pages, 5 figures
Combining Resurrection and Maximality
Creators: name: Minden, Kaethe
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics

description: It is shown that the resurrection axiom and the maximality principle may be consistently combined for various iterable forcing classes. The extent to which resurrection and maximality overlap is explored via the local maximality principle.
APC moonlights to prevent wnt signalosome assembly
Creators: name: McGough, IJ
name: Vincent, JP
Publisher: name: The Francis Crick Institute
Year: 2021
Subjects: subject: Neurosciences
subject: FOS: Clinical medicine
subject: Model organisms
subject: Synthetic Biology
subject: Imaging
subject: Signalling & Oncogenes
subject: Genetics & Genomics
subject: Developmental Biology
subject: Cell Biology

description: The scaffold protein APC has a well-known function in ensuring β-catenin destruction. In this issue of Developmental Cell, Saito-Diaz et al. (2018) uncover another role for APC in Wnt signaling: to prevent clathrin-dependent signalosome formation in the absence of ligand.
Two lower bounds for $p$-centered colorings
Creators: name: Dubois, Loïc
name: Joret, Gwenaël
name: Perarnau, Guillem
name: Pilipczuk, Marcin
name: Pitois, François
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required in a $p$-centered coloring. First, we consider monotone classes of graphs whose shallow minors have average degree bounded polynomially in the radius, or equivalently (by a result of Dvořák and Norin), admitting strongly sublinear separators. We construct such a class such that $p$-centered colorings require a number of colors super-polynomial in $p$. This is in contrast with a recent result of Pilipczuk and Siebertz, who established a polynomial upper bound in the special case of graphs excluding a fixed minor. Second, we consider graphs of maximum degree $Δ$. Dębski, Felsner, Micek, and Schröder recently proved that these graphs have $p$-centered colorings with $O(Δ^{2-1/p} p)$ colors. We show that there are graphs of maximum degree $Δ$ that require $Ω(Δ^{2-1/p} p \ln^{-1/p}Δ)$ colors in any $p$-centered coloring, thus matching their upper bound up to a logarithmic factor.
description: v3: final version with journal layout v2: revised following referees' comments
Centimeter continuum observations of the northern head of the HH 80/81/80N jet: revising the actual dimensions of a parsec scale jet
Creators: name: Masqué, Josep M.
name: Girart, Josep M.
name: Estalella, Robert
name: Rodríguez, Luis F.
name: Beltrán, Maria T.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present 6 and 20 cm JVLA/VLA observations of the northern head of the HH 80/81/80N jet, one of the largest collimated jet systems known so far, aimed to look for knots further away than HH 80N, the northern head of the jet. Aligned with the jet and 10 arcmin northeast of HH 80N, we found a radio source not reported before, with a negative spectral index similar to that HH 80, HH 81 and HH 80N. The fit of a precessing jet model to the knots of the HH 80/81/80N jet, including the new source, shows that the position of this source is close to the jet path resulting from the modeling. If the new source belongs to the HH 80/81/80N jet, its derived size and dynamical age are 18.4 pc and >9000 yr, respectively. If the jet is symmetric, its southern lobe would expand beyond the cloud edge resulting in an asymmetric appearance of the jet. Based on the updated dynamical age, we speculate on the possibility that the HH 80/81/80N jet triggered the star formation observed in a dense core found ahead of HH 80N, which shows signposts of interaction with the jet. These results indicate that pc scale radio jets can play a role on the stability of dense clumps and the regulation of star formation in the molecular cloud.
description: 11 pages, 2 figures, 2 tables, accepted for publication in ApJL
Die Erschließung und Digitalisierung von Strafverfolgungsakten aus der Nachkriegszeit gegen die Hauptverantwortlichen der deutschen Besatzungsverwaltung in Belgien und Nordfrankreich (1940–1944)
Creators: name: Coster, Gerd De
name: Martin, Dirk
Publisher: name: Francia
Year: 2018

description: -
description: Francia, Bd. 39 (2012)
Undoing a quantum measurement
Creators: name: Schindler, Philipp
name: Monz, Thomas
name: Nigg, Daniel
name: Barreiro, Julio T.
name: Martinez, Esteban A.
name: Brandl, Matthias F.
name: Chwalla, Michael
name: Hennrich, Markus
name: Blatt, Rainer
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In general, a quantum measurement yields an undetermined answer and alters the system to be consistent with the measurement result. This process maps multiple initial states into a single state and thus cannot be reversed. This has important implications in quantum information processing, where errors can be interpreted as measurements. Therefore, it seems that it is impossible to correct errors in a quantum information processor, but protocols exist that are capable of eliminating them if they affect only part of the system. In this work we present the deterministic reversal of a fully projective measurement on a single particle, enabled by a quantum error-correction protocol that distributes the information over three particles.
title: Democracia
Creators: name: De Angelis, Gabriele
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2020

description: Mesmo considerando que os cidadãos de inúmeros países do mundo vivem e cresceram em regimes políticos democráticos, dificilmente se encontrará uma definição unívoca de “democracia”. No seu célebre livro de 1957, o politólogo Giovanni Sartori contava mais de 160 definições. As definições acabam por depender da teoria que se adopta quanto ao fenómeno, e há de facto várias teorias. Além disso, o termo foi utilizado ao longo da História para designar uma miríade de diferentes regimes políticos. Por isso, e por estranho que possa parecer, ainda não há uma definição universalmente consolidada de “democracia”.
description: De Angelis, G. “Democracia”. Dicionário de Filosofia Moral e Política (2020), 2.ª série, coord. António Marques e André Santos Campos. Lisboa: Instituto de Filosofia da Nova, URL: .
description: ISSN 2184-4445
Search for physics beyond the standard model in events with tau leptons, jets, and large transverse momentum imbalance in pp collisions at sqrt(s) = 7 TeV
Creators: name: CMS Collaboration
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A search for physics beyond the standard model is performed with events having one or more hadronically decaying tau leptons, highly energetic jets, and large transverse momentum imbalance. The data sample corresponds to an integrated luminosity of 4.98 inverse femtobarns of proton-proton collisions at sqrt(s) = 7 TeV collected with the CMS detector at the LHC in 2011. The number of observed events is consistent with predictions for standard model processes. Lower limits on the mass of the gluino in supersymmetric models are determined.
description: Replaced with published version. Added journal reference and DOI
Towards detailed tomography of high energy heavy-ion collisions by $γ$-jet
Creators: name: Ma, Guo-Liang
Publisher: name: arXiv
Year: 2013
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: Within a multi-phase transport (AMPT) model with string melting scenario, the transverse momentum imbalance between prompt photon and jet is studied in Pb+Pb collisions at $\sqrt{s_{_{\rm NN}}}$ = 2.76 TeV. Jet loses more energy in more central collisions due to strong partonic interactions between jet parton shower and partonic matter, which is more significant than due to hadronic interactions only. The hadronization and final-state hadronic interactions have little influences on the imbalance. The imbalance ratio $x_{jγ}$ is sensitive to both production position and passing direction of $γ$-jet, which provides an opportunity to do detail $γ$-jet tomography on the formed partonic matter by selecting different $x_{jγ}$ ranges. It is also proposed that $γ$-hadron azimuthal correlation associated with photon+jet is a probe to see the medium responses to different $γ$-jet production configurations.
description: 5 pages, 4 figures, final published version
Additional file 1 of Provider perspectives on clinical decision support to improve HIV prevention in pediatric primary care: a multiple methods study
Creators: name: Pickel, Julia
name: Fiks, Alexander G.
name: Karavite, Dean
name: Maleki, Pegah
name: Beidas, Rinad S.
name: Dowshen, Nadia
name: Petsis, Danielle
name: Gross, Robert
name: Wood, Sarah M.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1. Consolidated criteria for reporting qualitative research (COREQ): a 32-item checklist for interviews and focus groups.
title: Dever
Creators: name: Mascarenhas, Sérgio
Publisher: name: IFILNOVA, Faculdade de Ciências Sociais e Humanas, Universidade Nova de Lisboa
Year: 2018

description: De forma genérica, entende-se por dever uma limitação à liberdade de ação da pessoa numa situação concreta da vida em que lhe é imposto adotar um de entre vários cursos de ação alternativos que pode prosseguir. A limitação à liberdade é assumida pelo agente, quer dizer, este condiciona-se a agir conforme ao dever, mesmo sabendo que está à sua disposição seguir um curso de ação diferente, pois se a imposição do comportamento ocorresse sem consideração da sua vontade teria lugar a supressão da sua liberdade, logo o comportamento do agente não chegaria a ser devido.  Tomando como base esta aproximação geral ao conceito de dever, vamos distinguir um sentido de dever moral (sentido amplo que inclui o jurídico) de um sentido não moral; ponderaremos a articulação entre dever e ser; questionaremos a delimitação entre expressões de existir e expressões de dever; finalmente, articularemos o dever (ser) com o existir (ser). Este percurso encontrará fundamentalmente apoio no pensamento do dever que colhemos em Hume e Kant, em Hume por ter dado origem a um questionamento do dever ainda hoje não encerrado, e em Kant por nos ter legado a grande síntese do pensamento alemão da Idade Moderna sobre o dever, pensamento onde este conceito terá encontrado o seu mais alto nível especulativo (Sosoe 2001: 430).
description: Mascarenhas, S. “Dever”. 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
Table S1;Table S2;Table S3;Table S4;Table S5 from Screening of anti-Acinetobacter baumannii phytochemicals, based on the potential inhibitory effect on OmpA and OmpW functions
Creators: name: Shahryari, Shahab
name: Mohammadnejad, Parvin
name: Noghabi, Kambiz Akbari
Publisher: name: The Royal Society
Year: 2021
Subjects: subject: Biochemistry
subject: 60102 Bioinformatics
subject: FOS: Computer and information sciences
subject: 30799 Theoretical and Computational Chemistry not elsewhere classified
subject: FOS: Chemical sciences

description: Function and description of the web servers and tools used in the study.;Summary of phytochemicals used in this work;The obtained models for OmpA (A) and OmpW (B) by GalaxyRefine server.;Physicochemical properties and adequate absorption, distribution, metabolism, excretion and tolerable toxicity (ADMET) evaluation of the successfully filtered out potential drug molecules.;Water solubility, Oral rat chronic toxicity (LOAEL), fraction unbound (Fu) and steady state volume of distribution (VDss) evaluation of the successfully filtered out potential drug molecules.
The Quark and Gluon Structure of the Proton
Creators: name: Perez, Emmanuelle
name: Rizvi, Eram
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this article we present a review of the structure of the proton and the current status of our knowledge of the parton distribution functions (PDFs). The lepton-nucleon scattering experiments which provide the main constraints in PDF extractions are introduced and their measurements are discussed. Particular emphasis is given to the HERA data which cover a wide kinematic region. Hadron-hadron scattering measurements which provide supplementary information are also discussed. The methods used by various groups to extract the PDFs in QCD analyses of hard scattering data are presented and their results are compared. The use of existing measurements allows predictions for cross sections at the LHC to be made. A comparison of these predictions for selected processes is given. First measurements from the LHC experiments are compared to predictions and some initial studies of the impact of this new data on the PDFs are presented.
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Creators: name: Sproston, Jeremy
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Clock-dependent probabilistic timed automata extend classical timed automata with discrete probabilistic choice, where the probabilities are allowed to depend on the exact values of the clocks. Previous work has shown that the quantitative reachability problem for clock-dependent probabilistic timed automata with at least three clocks is undecidable. In this paper, we consider the subclass of clock-dependent probabilistic timed automata that have one clock, that have clock dependencies described by affine functions, and that satisfy an initialisation condition requiring that, at some point between taking edges with non-trivial clock dependencies, the clock must have an integer value. We present an approach for solving in polynomial time quantitative and qualitative reachability problems of such one-clock initialised clock-dependent probabilistic timed automata. Our results are obtained by a transformation to interval Markov decision processes.
Additional file 2 of Provider perspectives on clinical decision support to improve HIV prevention in pediatric primary care: a multiple methods study
Creators: name: Pickel, Julia
name: Fiks, Alexander G.
name: Karavite, Dean
name: Maleki, Pegah
name: Beidas, Rinad S.
name: Dowshen, Nadia
name: Petsis, Danielle
name: Gross, Robert
name: Wood, Sarah M.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Pharmacology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 2: Supplementary Figure 1. Interview Vignettes.
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Creators: name: Bozzelli, Laura
name: Molinari, Alberto
name: Montanari, Angelo
name: Peron, Adriano
name: Sala, Pietro
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning. However, for a long time, because of their high computational complexity, they were considered not suitable for practical purposes. The recent discovery of several computationally well-behaved ITLs has finally changed the scenario. In this paper, we investigate the finite satisfiability and model checking problems for the ITL D, that has a single modality for the sub-interval relation, under the homogeneity assumption (that constrains a proposition letter to hold over an interval if and only if it holds over all its points). We first prove that the satisfiability problem for D, over finite linear orders, is PSPACE-complete, and then we show that the same holds for its model checking problem, over finite Kripke structures. In such a way, we enrich the set of tractable interval temporal logics with a new meaningful representative.
description: arXiv admin note: text overlap with arXiv:1901.03880
A Complete Axiomatisation for Quantifier-Free Separation Logic
Creators: name: Demri, Stéphane
name: Lozes, Étienne
name: Mansutti, Alessio
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present the first complete axiomatisation for quantifier-free separation logic. The logic is equipped with the standard concrete heaplet semantics and the proof system has no external feature such as nominals/labels. It is not possible to rely completely on proof systems for Boolean BI as the concrete semantics needs to be taken into account. Therefore, we present the first internal Hilbert-style axiomatisation for quantifier-free separation logic. The calculus is divided in three parts: the axiomatisation of core formulae where Boolean combinations of core formulae capture the expressivity of the whole logic, axioms and inference rules to simulate a bottom-up elimination of separating connectives, and finally structural axioms and inference rules from propositional calculus and Boolean BI with the magic wand.
Additional file 1 of Quantification and dosimetry of small volumes including associated uncertainty estimation
Creators: name: Carnegie-Peake, Lily
name: Taprogge, Jan
name: Murray, Iain
name: Flux, Glenn D.
name: Gear, Jonathan
Publisher: name: figshare
Year: 2023
Subjects: subject: Space Science
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Science Policy
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Computational Biology

description: Additional file 1. Schema for propagation of uncertainty in activity to that associated with absorbed dose.
A program for the full axiom of choice
Creators: name: Krivine, Jean-Louis
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1
subject: 03E40

description: The theory of classical realizability is a framework for the Curry-Howard correspondence which enables to associate a program with each proof in Zermelo-Fraenkel set theory. But, almost all the applications of mathematics in physics, probability, statistics, etc. use Analysis i.e. the axiom of dependent choice (DC) or even the (full) axiom of choice (AC). It is therefore important to find explicit programs for these axioms. Various solutions have been found for DC, for instance the lambda-term called "bar recursion" or the instruction "quote" of LISP. We present here the first program for AC.
Predicative theories of continuous lattices
Creators: name: Kawai, Tatsuji
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: General Topology (math.GN)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.3.2
subject: 06B35, 06D22, 03B70, 03F60

description: We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. Strong proximity join-semilattices can be characterised by the coalgebras of the lower powerlocale on the wider category of proximity posets (also known as abstract bases or R-structures). Moreover, locally compact locales can be characterised in terms of strong proximity join-semilattices by the coalgebras of the double powerlocale on the category of proximity posets. We also provide more logical characterisation of a strong proximity join-semilattice, called a strong continuous finitary cover, which uses an entailment relation to present the underlying join-semilattice. We show that this structure naturally corresponds to the notion of continuous lattice in the predicative point-free topology. Our result makes the predicative and finitary aspect of the notion of continuous lattice in point-free topology more explicit.
Strictifying and taming directed paths in Higher Dimensional Automata
Creators: name: Raussen, Martin
Publisher: name: arXiv
Year: 2020
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics
subject: 68Q85, 55P10, 55U10

description: Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate whether one obtains different topological properties of such a space of executions if one restricts attention to schedulings with "nice" properties, eg involving synchronizations. This note shows that this is not the case, ie that one may operate with nice schedulings without inflicting any harm. Several of the results in this note had previously been obtained by Ziemianski. We attempt to make them accessible for a wider audience by giving an easier proof for these findings by an application of quite elementary results from algebraic topology; notably the nerve lemma.
description: 21 pages, 9 figures
Atto di denuncia alla Procura della Repubblica presso il Tribunale di Roma
Creators: name: Giannangeli, Ugo
name: Pagani, Elio Antonio
Publisher: name: Tribunale di Roma
Year: 2023
Subjects: Treaty on the Non-Proliferation of Nuclear Weapons
Non-Proliferation Treaty
NPT
Trattato di Non Proliferazione
TNP
Italy
Nuclear weapons

description: I sottoscritti dichiarano di sporgere DENUNCIA affinché il Procuratore della Repubblica, esaminati i fatti di cui oltre, proceda all'individuazione dei soggetti responsabili delle condotte penalmente rilevanti strettamente correlate alla presenza di armi nucleari sul territorio nazionale, riconducibili in particolare ai reati di cui agli artt. 1 e 2 della L. 895/1967 e artt. 28, comma 1 e 2, e 47, comma 1 TULPS, nonché a tutti gli ulteriori reati che riterrà eventualmente sussistenti, per le ragioni di seguito esposte.
On the degree of repeated radical extensions
Creators: name: Szechtman, Fernando
Publisher: name: arXiv
Year: 2020
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 12F05, 12F10, 12E05

description: We answer a question posed by Mordell in 1953, in the case repeated radical extensions, and find necessary and sufficient conditions for $[F[\sqrt[m_1]{N_1},\dots,\sqrt[m_\ell]{N_\ell}]:F]=m_1\cdots m_\ell$, where $F$ is an arbitrary field of characteristic not dividing any $m_i$.
Algebraic Language Theory for Eilenberg--Moore Algebras
Creators: name: Blumensath, Achim
Publisher: name: arXiv
Year: 2020
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic in form of so-called `definable algebras'.
Pressure-induced phase transitions and high-pressure tetragonal phase of Fe1.08Te
Creators: name: Koz, C.
name: Rößler, S.
name: Tsirlin, A. A.
name: Kasinathan, D.
name: Börrnert, C.
name: Hanfland, M.
name: Rosner, H.
name: Wirth, S.
name: Schwarz, U.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We report the effects of hydrostatic pressure on the temperature-induced phase transitions in Fe1.08Te in the pressure range 0-3 GPa using synchrotron powder x-ray diffraction (XRD). The results reveal a plethora of phase transitions. At ambient pressure, Fe1.08Te undergoes simultaneous first-order structural symmetry-breaking and magnetic phase transitions, namely from the paramagnetic tetragonal (P4/nmm) to the antiferromagnetic monoclinic (P2_1/m) phase. We show that, at a pressure of 1.33 GPa, the low temperature structure adopts an orthorhombic symmetry. More importantly, for pressures of 2.29 GPa and higher, a symmetry-conserving tetragonal-tetragonal phase transition has been identified from a change in the c/a ratio of the lattice parameters. The succession of different pressure and temperature-induced structural and magnetic phases indicates the presence of strong magneto-elastic coupling effects in this material.
description: 11 pages
Grabmäler römischer Ehepaare aus Augsburg
Creators: name: Ohlenroth, Ludwig
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. 31, Nr. 1/2 (1953)
Das Flugfeld Dietikon/Spreitenbach 1917-1969: Die Aviatik im Limmattal / Dietikon, mit anderen Augen gesehen
Creators: name: Trutmann, Hans Peter
name: Ziegler, Helmut
name: Hummel, Oscar
Publisher: name: Druckerei Markus Hummel & Co.
Year: 2003
Subjects: subject: 387 Schifffahrt, Luft-, Weltraumverkehr
subject: 949 Geschichte anderer Teile Europas
subject: Dietikon
subject: Spreitenbach
subject: Limmattal
subject: Flugplatz
subject: Luftfahrt

description: Mit einer Jahreschronik für Dietikon von Oktober 2001 bis September 2002.
description: Inhalt: 1. Teil (Das Flugfeld Dietikon/Spreitenbach) - Ballonzentrum Schlieren und eine Vision von 1908 ; 1910/1911: Ein nationales Flugfeld wird gesucht - Der Zweikampf Dübendorf gegen Dietikon/Spreitenbach ; Trotz nochmaliger Niederlage (1914) steckt Dietikon im Flugfieber ; Notlandungen, militärische Brosamen für Spreitenbach (1916-1920) ; Private Verwendung des Flugfeldes 1920/22 und ab 1931 ; Flugfeld als Teil eines Waffenplatzes Dietikon? (1932) ; Opel-Montagewerk am Meienweg? (1934) ; Dietikon verlangt Ausbau des Flugfeldes (1938/39) ; Das Flugfeld während des Zweiten Weltkrieges ; Cirrus, Cumulus, Stratus, Nimbus 1946-1956 ; «Spreitenbach» wieder im Gleichgewicht (1957-1969) ; Wie lernte man in Dietikon/Spreitenbach fliegen? ; Das Lärmproblem ; Unfälle ; Modellflugzeuge ; Das Ende ; 2. Teil (Dietikon, mit anderen Augen gesehen) - Gedicht von Helmut Ziegler mit Zeichnungen von Doris Hax und zahlreichen Fotografien.
Universal Features of Spin Transport and Breaking of Unitary Symmetries
Creators: name: Jacquod, Ph.
name: Adagideli, I.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: When time-reversal symmetry is broken, quantum coherent systems with and without spin rotational symmetry exhibit the same universal behavior in their electric transport properties. We show that spin transport discriminates between these two cases. In systems with large charge conductance, spin transport is essentially insensitive to the breaking of time-reversal symmetry. However, in the opposite limit of a single exit channel, spin currents vanish identically in the presence of time-reversal symmetry, but are turned on by breaking it with an orbital magnetic field.
description: Final version, 5 pages, 3 figures in main text; supplemental material added
Additional file 1 of Health promotion interventions for African Americans delivered in U.S. barbershops and hair salons- a systematic review
Creators: name: Palmer, Kelly N. B.
name: Rivers, Patrick S.
name: Melton, Forest L.
name: McClelland, D. Jean
name: Hatcher, Jennifer
name: Marrero, David G.
name: Thomson, Cynthia A.
name: Garcia, David O.
Publisher: name: figshare
Year: 2021
Subjects: Medicine
Biotechnology
Cancer
Science Policy

description: Additional file 1. Search strategy.
Asymptotic stationarity and regularity for nonsmooth optimization problems
Creators: name: Mehlitz, Patrick
Publisher: name: arXiv
Year: 2020
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics
subject: 49J52, 49J53, 90C30, 90C33

description: Based on the tools of limiting variational analysis, we derive a sequential necessary optimality condition for nonsmooth mathematical programs which holds without any additional assumptions. In order to ensure that stationary points in this new sense are already Mordukhovich-stationary, the presence of a constraint qualification which we call AM-regularity is necessary. We investigate the relationship between AM-regularity and other constraint qualifications from nonsmooth optimization like metric (sub-)regularity of the underlying feasibility mapping. Our findings are applied to optimization problems with geometric and, particularly, disjunctive constraints. This way, it is shown that AM-regularity recovers recently introduced cone-continuity-type constraint qualifications, sometimes referred to as AKKT-regularity, from standard nonlinear and complementarity-constrained optimization. Finally, we discuss some consequences of AM-regularity for the limiting variational calculus.
description: 30 pages, 2 figure
Additional file 1 of Social relations and health in an ethnically diverse social housing area selected for large structural changes compared to municipal levels: a Danish survey study
Creators: name: Kvorning, Monica F.
name: Nygaard, Siv S.
name: Srivarathan, Abirami
name: Lau, Cathrine J.
name: Lund, Rikke
Publisher: name: figshare
Year: 2023
Subjects: subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy
subject: Computational Biology

description: Additional file 1. Sensitivity analyses of multivariate logistic regression analyses when adjusting for socio-economic factors.