cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Java & Lambda: a Featherweight Story
Creators: name: Bettini, Lorenzo
name: Bono, Viviana
name: Dezani-Ciancaglini, Mariangiola
name: Giannini, Paola
name: Venneri, Betti
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: 03B70, 03B15, 68Q55

description: We present FJ&$λ$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $λ$-expressions, and intersection types. Our main goal is to formalise how lambdas and intersection types are grafted on Java 8, by studying their properties in a formal setting. We show how intersection types play a significant role in several cases, in particular in the typecast of a $λ$-expression and in the typing of conditional expressions. We also embody interface \emph{default methods} in FJ&$λ$, since they increase the dynamism of $λ$-expressions, by allowing these methods to be called on $λ$-expressions. The crucial point in Java 8 and in our calculus is that $λ$-expressions can have various types according to the context requirements (target types): indeed, Java code does not compile when $λ$-expressions come without target types. In particular, in the operational semantics we must record target types by decorating $λ$-expressions, otherwise they would be lost in the runtime expressions. We prove the subject reduction property and progress for the resulting calculus, and we give a type inference algorithm that returns the type of a given program if it is well typed. The design of FJ&$λ$ has been driven by the aim of making it a subset of Java 8, while preserving the elegance and compactness of FJ. Indeed, FJ&$λ$ programs are typed and behave the same as Java programs.
Ærens Krone, Striidet for paa Jorden, og vundet i Himlene af den i Livet Velædle og Velfornemme Madame Anna Cramer, fød Hempel, da hun omskiftede Tiiden med Evigheden, og hendes affskiælede Legeme ved en anseelig Ligbegiegnelse blev geleydet til sit Hvilested i Tronhiem den 17. April 1776
Creators: name: (:Unas)
Publisher: name: Trykt hos Jens Christ Winding
Year: 0
Subjects: Cramer, Anna

description: Begravelsesvers fra 1776 for Anna Cramer
Patrice Arnaud, Fabien Théofilakis (dir.), Gestapo et polices allemandes. France, Europe de l’Ouest, 1939–1945, Paris (CNRS Éditions) 2017
Creators: name: Von List, Corinna
Publisher: name: Francia-Recensio
Year: 2017

description: Patrice Arnaud, Fabien Théofilakis (dir.), Gestapo et polices allemandes. France, Europe de l’Ouest, 1939–1945, Paris (CNRS Éditions) 2017, 277 p. (Seconde Guerre mondiale), ISBN 978-2-271-08945-8, EUR 25,00.
description: Francia-Recensio, 2017/4
title: Ciganos e mediação : estudo exploratório sobre o sentido da mediação em contexto institucional na perspetiva de um informante-chave
Creators: name: Coelho, Cristina
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 38 (2.º semestre 2011). - p. 183-203.
Limit Drift for Complex Feigenbaum Mappings
Creators: name: Levin, Genadi
name: Swiatek, Grzegorz
Publisher: name: arXiv
Year: 2018
Subjects: subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics

description: We study the dynamics of towers defined by fixed points of renormalization for Feigenbaum polynomials in the complex plane with varying order \ell of the critical point. It is known that the measure of the Julia set of the Feigenbaum polynomial is positive if and only if almost every point tends to 0 under the dynamics of the tower for corresponding \ell. That in turn depends on the sign of a quantity called the drift. We prove the existence and key properties of absolutely continuous invariant measures for tower dynamics as well as their convergence when \ell tends to infinity. We also prove the convergence of the drifts to a finite limit which can be expressed purely in terms of the limiting tower which corresponds to a Feigenbaum map with a flat critical point
description: To appear in Ergodic Theory and Dynamical Systems
En Sørge-Sang til Erindring af den i Livet ... nu i Døden salige Mand, den ærlige og brave Naboe-Mand Iver Joenssøn Bære opsadt af Hans Ven og Naboe Andreas Dass
Creators: name: Dass, Andreas
Publisher: name: Unknown
Year: 0
Subjects: Bære, Iver Joenssøn

description: Begravelsesvers fra 1772 for Iver Joenssøn Bære
J. F. Böhmer, Regesta Imperii. III. Salisches Haus: 1024–1125, 2. Teil: 1056‒1125, 3. Abt.: Die Regesten des Kaiserreiches unter Heinrich IV. 1056 (1050)–1106, 3. Lfg.: 1076‒1085. Nach Vorarbeiten von Tilman Struve † neubearbeitet von Gerhard Lubich, unter Mitarbeit von Dirk Jäckel, Köln, Weimar, Wien (Böhlau) 2016 / 4. Lfg.: 1086–1105/06. Neubearbeitet von Gerhard Lubich nach Vorarbeiten von Daniel Brauch, unter Mitarbeit von Matthias Weber, Köln, Weimar, Wien (Böhlau) 2016
Creators: name: Balard, Michel
Publisher: name: Francia-Recensio
Year: 2017

description: J. F. Böhmer, Regesta Imperii. III. Salisches Haus: 1024–1125, 2. Teil: 1056‒1125, 3. Abt.: Die Regesten des Kaiserreiches unter Heinrich IV. 1056 (1050)–1106, 3. Lfg.: 1076‒1085. Nach Vorarbeiten von Tilman Struve † neubearbeitet von Gerhard Lubich, unter Mitarbeit von Dirk Jäckel, Köln, Weimar, Wien (Böhlau) 2016, VIII–308 S., ISBN 978-3-412-50597-4, EUR 62,00; J. F. Böhmer, Regesta Imperii. III. Salisches Haus: 1024–1125, 2. Teil: 1056–1125, 3. Abt.: Die Regesten des Kaiserreiches unter Heinrich IV. 1056 (1050)–1106, 4. Lfg.: 1086–1105/06. Neubearbeitet von Gerhard Lubich nach Vorarbeiten von Daniel Brauch, unter Mitarbeit von Matthias Weber, Köln, Weimar, Wien (Böhlau) 2016, VIII–191 S., ISBN 978-3-412-50598-1, EUR 57,00.
description: Francia-Recensio, 2017/4
title: O endividamento relativo à habitação, das famílias residentes num bairro social, em Lisboa
Creators: name: Almeida, Marlene
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 38 (2.º semestre 2011). - p. 135-146.
Light Axigluon Contributions to b-bbar and c-cbar Asymmetry and Constraints on Flavor Changing Axigluon Currents
Creators: name: Ipek, Seyda
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The light axigluon model of Tavares and Schmaltz is a viable candidate to explain the Tevatron t-tbar forward-backward asymmetry. In this paper we present the forward-backward asymmetries for b-bbar and c-cbar systems predicted by the light axigluon. Furthermore, we modify this model to include flavor changing couplings of axigluons with the SM quarks. We constrain these couplings from the available neutral meson mixing data, and investigate their effects on the rare decay B^0_s -> mu^+ mu^-, CP violating D -> h^+ h^- and isospin violating B -> K^(*) mu^+ mu^- decays. We show that a light axigluon can contribute to the observed CP violation in D -> h^+ h^- decays.
description: 23 pages, 13 figures
title: A qualidade e a persistência das aquisições identitárias dos assistentes sociais em Portugal
Creators: name: Fonseca, Maria de Lurdes
name: Roda, Rute
Publisher: name: Universidade Lusíada Editora
Year: 2011

description: Intervenção social. - ISSN 0874-1611. - N. 38 (2.º semestre 2011). - p. 147-182.
Additional file 1 of Amino acid substitutions in specific proteins correlate with farnesol unresponsiveness in Candida albicans
Creators: name: Mohammadi, Sima
name: Leduc, Annie
name: Charette, Steve J.
name: Barbeau, Jean
name: Vincent, Antony T.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Cell Biology
subject: Genetics
subject: Molecular Biology
subject: Evolutionary Biology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology

description: Additional file 1. Figure S1. The percentage of proteins with amino acid changes in every chromosome of the reference strain SC5314, with respect to the total number of proteins by chromosome.
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
Creators: name: Bodirsky, Manuel
name: Greiner, Johannes
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: F.4.1; F.2.2; G.2.1
subject: 03C98, 03D15, 08A70

description: The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures. Nelson and Oppen presented conditions that imply decidability (or polynomial-time decidability) of $\mathrm{CSP}(T_1 \cup T_2)$ under the assumption that $\mathrm{CSP}(T_1)$ and $\mathrm{CSP}(T_2)$ are decidable (or polynomial-time decidable). We show that for a large class of $ω$-categorical theories $T_1, T_2$ the Nelson-Oppen conditions are not only sufficient, but also necessary for polynomial-time tractability of $\mathrm{CSP}(T_1 \cup T_2)$ (unless P=NP).
Borcherds Products for U(1,1)
Creators: name: Hofmann, Eric
Publisher: name: arXiv
Year: 2013
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11F27, 11F41, 11F55, 11G18, 14G35

description: The Borcherds lift for indefinite unitary groups, previously constructed by the author, is examined here in greater detail for the special case of the group U(1,1). The inputs for the lifting in this case are weakly holomorphic modular forms of weight zero, which are lifted to meromorphic modular forms on the usual complex upper half plane transforming under an arithmetic subgroup of U(1,1). In this setting, we can completely describe the Weyl-chambers involved and explicitly calculate the attached Weyl-vectors, for a family of input functions with principle part $q^{-n}$. Since these are a basis for the input space, we obtain similarly explicit results for arbitrary input functions. The Heegner divisors in this case consist of CM-points, the CM-order of which is also determined.
description: typos corrected, numbering of remarks and equations changed
title: Проблемы и меры противодействия криминального банкротства в республике Казахстан
Creators: name: Mirzamukhamedova, I.
Publisher: name: Tashkent state university of law
Year: 2018

description: В статье рассматриваются актуальные проблемы, связанные с мерами противодействия криминального банкротства в Республике Казахстан, на основе анализа научных трудов в области уголовной ответственности за банкротство; раскрыта сущность, имеющихся пробелов в законодательстве Республики Казахстан, регулирующих данные отношения; дан развернутый анализ их содержания; предложены альтернативные пути решения, возникающих при этом проблем в сфере уголовной ответственности за банкротство.
Dörthe Buchhester, Die Familie der Fürstin. Die herzoglichen Häuser der Pommern und Sachsen im 16. Jahrhundert: Erziehung, Bücher, Briefe, Frankfurt a. M. (Peter Lang Edition) 2015
Creators: name: Félicité, Indravati
Publisher: name: Francia-Recensio
Year: 2017

description: Dörthe Buchhester, Die Familie der Fürstin. Die herzoglichen Häuser der Pommern und Sachsen im 16. Jahrhundert: Erziehung, Bücher, Briefe, Frankfurt a. M. (Peter Lang Edition) 2015, 341 S., 9 s/w Abb. (Medieval to Early Modern Culture/Kultureller Wandel vom Mittelalter bis zur Frühen Neuzeit, 15), ISBN 978-3-631-66083-6, EUR 64,95.
description: Francia-Recensio, 2017/4
Some model theory for the modal $μ$-calculus: syntactic characterisations of semantic properties
Creators: name: Fontaine, Gaëlle
name: Venema, Yde
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: This paper contributes to the theory of the modal $μ$-calculus by proving some model-theoretic results. More in particular, we discuss a number of semantic properties pertaining to formulas of the modal $μ$-calculus. For each of these properties we provide a corresponding syntactic fragment, in the sense that a $μ$-formula $ξ$ has the given property iff it is equivalent to a formula $ξ'$ in the corresponding fragment. Since this formula $ξ'$ will always be effectively obtainable from $ξ$, as a corollary, for each of the properties under discussion, we prove that it is decidable in elementary time whether a given $μ$-calculus formula has the property or not. The properties that we study all concern the way in which the meaning of a formula $ξ$ in a model depends on the meaning of a single, fixed proposition letter $p$. For example, consider a formula $ξ$ which is monotone in $p$; such a formula a formula $ξ$ is called continuous (respectively, fully additive), if in addition it satisfies the property that, if $ξ$ is true at a state $s$ then there is a finite set (respectively, a singleton set) $U$ such that $ξ$ remains true at $s$ if we restrict the interpretation of $p$ to the set $U$. Each of the properties that we consider is, in a similar way, associated with one of the following special kinds of subset of a tree model: singletons, finite sets, finitely branching subtrees, noetherian subtrees (i.e., without infinite paths), and branches. Our proofs for these characterization results will be automata-theoretic in nature; we will see that the effectively defined maps on formulas are in fact induced by rather simple transformations on modal automata. Thus our results can also be seen as a contribution to the model theory of modal automata.
Sørge-Cantate ved velærede Kjøbmand Hr. Carl Andersen Falcks Begravelse den 11te August 1791 sat i Musick og opført af Cantor Schreiber
Creators: name: (:Unas)
Publisher: name: Unknown
Year: 0
Subjects: Falck, Carl Andersen

description: Begravelsesvers fra 1791 for Carl Andersen Falck
How to use SolACE's microbial consortia formulated with DCM Minigran® technology in the field.
Creators: name: Van Dyck, Michelle
Publisher: name: Zenodo
Year: 2021
Subjects: SolACEPA

description: Problem: European agriculture is challenged by the need to produce more crops using less fertilizer inputs (mainly nitrogen and phosphorus) and with more frequent or intense periods of drought. Solution: Microbial inoculants are agricultural amendments containing beneficial microorganisms (bacteria or fungi) that promote plant health or growth. Within the SolACE project, microbial inoculants have been selected for improving growth of bread wheat and potato crops under combined nutrient and water shortages. Carriers adapted to the selected microbial inoculants were developed to ensure survival over time and easy application by the farmers. DCM Minigran® technology has been used to develop granular carriers of these selected microbial inoculants (Fig. 1). A recent potato greenhouse trial performed by University of Hohenheim (Germany), applied Minigran® consortia in a standard drought stress screening system. Potatoes grown from true seeds showed positive trends regarding plant growth promotion and improved tuber development. Also, better results were obtained after a consortium application, leading to a reduction of drought damage.
Extraordinary room-temperature photoluminescence in WS2 monolayers
Creators: name: Gutiérrez, Humberto R.
name: Perea-López, Nestor
name: Elías, Ana Laura
name: Berkdemir, Ayse
name: Wang, Bei
name: Lv, Ruitao
name: López-Urías, Florentino
name: Crespi, Vincent H.
name: Terrones, Humberto
name: Terrones, Mauricio
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Individual monolayers of metal dichalcogenides are atomically thin two-dimensional crystals with attractive physical properties different from their bulk layered counterpart. Here we describe the direct synthesis of WS2 monolayers with triangular morphologies and strong room-temperature photoluminescence (PL). Bulk WS2 does not present PL due to its indirect band gap nature. The edges of these monolayers exhibit PL signals with extraordinary intensity, around 25 times stronger than the platelets center. The structure and composition of the platelet edges appear to be critical for the PL enhancement effect. Electron diffraction revealed that platelets present zigzag edges, while first-principles calculations indicate that sulfur-rich zigzag WS2 edges possess metallic edge states, which might tailor the optical response reported here. These novel 2D nanoscale light sources could find diverse applications including the fabrication of flexible/transparent/low-energy optoelectronic devices.
Zur Lavaindustrie von Mayen und Volvic (Auvergne)
Creators: name: Röder, Josef
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)
Additional file 7 of Mutant p53-ENTPD5 control of the calnexin/calreticulin cycle: a druggable target for inhibiting integrin-α5-driven metastasis
Creators: name: Pavlakis, Evangelos
name: Neumann, Michelle
name: Merle, Nastasja
name: Wieboldt, Ronja
name: Wanzel, Michael
name: Ponath, Viviane
name: Pogge von Strandmann, Elke
name: Elmshäuser, Sabrina
name: Stiewe, Thorsten
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 7: Supplemental Figure S7. Degradation of mutant p53 blocks ITGA5-mediated cancer cell motility. a RT-qPCR analysis of ITGA5 mRNA expression in MIA PaCa-2 cells treated with Ganet (0.5 or 1 μM) or SAHA+AAG (10 or 15 μM). Shown is the GAPDH-normalized expression relative to vehicle-treated control cells as 100% (n=3 replicates). b Western blot of p53-null H1299 cells for ITGA5 and ENTPD5 expression following treatment as in (a). c-d MIA PaCa-2 cells were treated as in (a) and analyzed by real-time live cell imaging. c Confluence curves. Shown is the mean confluence of n=3 replicates. Shading for vehicle-treated control cells indicates the SD. d Proliferation was quantified as the area under the confluence curve and normalized to vehicle-treated control cells as 100%. e Adhesion on FN of p53-null H1299 cells treated as in (a). f-h MIA PaCa-2 pIND-ENTPD5 cells (with tet-inducible expression of ENTPD5) were treated with doxycycline (+tet), Ganet (0.5 µM) and ITGA5-blocking antibody (α5) as indicated. f Adhesion on FN. g-h Invasion in the presence of FN. Statistical significance was tested using one-way ANOVA followed by Dunnett’s multiple comparisons test: ****, p<0.0001; ns, not significant. All results are shown as mean ± SD (n=3 replicates).
Ved Madame Festers Begravelse i Trondhjems Domkirkegaard, den 31te December 1782 : bare følgende Tanker optegnede paa Liigpladen af hendes efterlevende Ægtefelle Diderich Christian Fester
Creators: name: Fester, Diderich Christian
Publisher: name: Unknown
Year: 0
Subjects: Fester, Anna Maria

description: Begravelsesvers fra 1782 for Anna Maria Fester
Vila Nova de S. Pedro: eine befestigte Siedlung der Kupferzeit in Portugal
Creators: name: Paço, Alfonso Do
name: Sangmeister, Edward
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2017

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 34, Nr. 3/4 (1956)
Additional file 1 of Effect of personalized perioperative blood pressure management on postoperative complications and mortality in high-risk patients having major abdominal surgery: protocol for a multicenter randomized trial (IMPROVE-multi)
Creators: name: Bergholz, Alina
name: Meidert, Agnes S.
name: Flick, Moritz
name: Krause, Linda
name: Vettorazzi, Eik
name: Zapf, Antonia
name: Brunkhorst, Frank M.
name: Meybohm, Patrick
name: Zacharowski, Kai
name: Zarbock, Alexander
name: Sessler, Daniel I.
name: Kouz, Karim
name: Saugel, Bernd
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Marine Biology
subject: Hematology

description: Additional file 1. SPIRIT checklist.
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
Creators: name: Janičić, Predrag
name: Marić, Filip
name: Maliković, Marko
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: 03B35, 68T15

description: There are several approaches for using computers in deriving mathematical proofs. For their illustration, we provide an in-depth study of using computer support for proving one complex combinatorial conjecture -- correctness of a strategy for the chess KRK endgame. The final, machine verifiable, result presented in this paper is that there is a winning strategy for white in the KRK endgame generalized to $n \times n$ board (for natural $n$ greater than $3$). We demonstrate that different approaches for computer-based theorem proving work best together and in synergy and that the technology currently available is powerful enough for providing significant help to humans deriving complex proofs.
Sörge-Cantate over ... Herr Justicieraad Alex. H.J. Friedlieb sat i Musik og opfört ved hans Begravelse den 10de October 1792 af Johan Christ. Schreiber
Creators: name: Schreiber, Johan Christopher
Publisher: name: Unknown
Year: 0
Subjects: Friedlieb, Alex. H.J.

description: Begravelsesvers fra 1792 for Alexander Hammond Friedlieb
Stable gonality is computable
Creators: name: Koerkamp, Ragnar Groot
name: van der Wegen, Marieke
Publisher: name: arXiv
Year: 2018
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: Combinatorics (math.CO)
subject: Number Theory (math.NT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Stable gonality is a multigraph parameter that measures the complexity of a graph. It is defined using maps to trees. Those maps, in some sense, divide the edges equally over the edges of the tree; stable gonality asks for the map with the minimum number of edges mapped to each edge of the tree. This parameter is related to treewidth, but unlike treewidth, it distinguishes multigraphs from their underlying simple graphs. Stable gonality is relevant for problems in number theory. In this paper, we show that deciding whether the stable gonality of a given graph is at most a given integer $k$ belongs to the class NP, and we give an algorithm that computes the stable gonality of a graph in $O((1.33n)^nm^m \text{poly}(n,m))$ time.
description: 15 pages; v2 minor changes; v3 minor changes
Zum Bruchstück eines tiergestaltigen Gefäßes aus Butzbach, Kr. Friedberg
Creators: name: Ankel, Cornelius
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2017

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 34, Nr. 3/4 (1956)
Leptogenesis and dark matter detection in a TeV scale neutrino mass model with inverted mass hierarchy
Creators: name: Kashiwase, Shoichi
name: Suematsu, Daijiro
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Realization of the inverted hierarchy is studied in the radiative neutrino mass model with an additional doublet, in which neutrino masses and dark matter could be induced from a common particle. We show that the sufficient baryon number asymmetry is generated through resonant leptogenesis even for the case with rather mild degeneracy among TeV scale right-handed neutrinos. We also discuss the relation between this neutrino mass generation mechanism and low energy experiments for the DM direct search, the neutrinoless double $β$ decay and so on.
description: 25 pages, 5 figures, title changed, figures replaced and added, discussion on DM direct search extended, conclusions unchanged, published version
Approximability in the GPAC
Creators: name: Poças, Diogo
name: Zucker, Jeffery
Publisher: name: arXiv
Year: 2018
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: Most of the physical processes arising in nature are modeled by either ordinary or partial differential equations. From the point of view of analog computability, the existence of an effective way to obtain solutions of these systems is essential. A pioneering model of analog computation is the General Purpose Analog Computer (GPAC), introduced by Shannon as a model of the Differential Analyzer and improved by Pour-El, Lipshitz and Rubel, Costa and Graça and others. Its power is known to be characterized by the class of differentially algebraic functions, which includes the solutions of initial value problems for ordinary differential equations. We address one of the limitations of this model, concerning the notion of approximability, a desirable property in computation over continuous spaces that is however absent in the GPAC. In particular, the Shannon GPAC cannot be used to generate non-differentially algebraic functions which can be approximately computed in other models of computation. We extend the class of data types using networks with channels which carry information on a general complete metric space $X$; for example $X=C(R,R)$, the class of continuous functions of one real (spatial) variable. We consider the original modules in Shannon's construction (constants, adders, multipliers, integrators) and we add \emph{(continuous or discrete) limit} modules which have one input and one output. We then define an L-GPAC to be a network built with $X$-stream channels and the above-mentioned modules. This leads us to a framework in which the specifications of such analog systems are given by fixed points of certain operators on continuous data streams. We study these analog systems and their associated operators, and show how some classically non-generable functions, such as the gamma function and the zeta function, can be captured with the L-GPAC.
Chern classes of automorphic vector bundles, II
Creators: name: Esnault, Hélène
name: Harris, Michael
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We prove that the $\ell$-adic Chern classes of canonical extensions of automorphic vector bundles, over toroidal compactifications of Shimura varieties of Hodge type over $\bar{ \mathbb{Q}}_p$, descend to classes in the $\ell$-adic cohomology of the minimal compactifications. These are invariant under the Galois group of the $p$-adic field above which the variety and the bundle are defined.
description: 28 pages
Gravskrivt ... [over] ... Madame Karen Friis [født] 24de Junii 1713 ... [død] 18de Maii 1781 [gift med] ... Kiøbmand Matthias Friis
Creators: name: (:Unas)
Publisher: name: Trykt hos Jens Christensen Winding
Year: 0
Subjects: Friis, Karen

description: Begravelsesvers fra 1781 for Karen Friis
Theory of higher order interpretations and application to Basic Feasible Functions
Creators: name: Hainry, Emmanuel
name: Péchoux, Romain
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Complexity (cs.CC)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Interpretation methods and their restrictions to polynomials have been deeply used to control the termination and complexity of first-order term rewrite systems. This paper extends interpretation methods to a pure higher order functional language. We develop a theory of higher order functions that is well-suited for the complexity analysis of this programming language. The interpretation domain is a complete lattice and, consequently, we express program interpretation in terms of a least fixpoint. As an application, by bounding interpretations by higher order polynomials, we characterize Basic Feasible Functions at any order.
Additional file 4 of Computational biology and in vitro studies for anticipating cancer-related molecular targets of sweet wormwood (Artemisia annua)
Creators: name: Dawood, Hend
name: Celik, Ismail
name: Ibrahim, Reham S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Supplementary Material 4: Figure S4: KEGG pathway analysis of human melanoma (ID: hsa05212) illustrating the potential targets and pathways of A. annua chemical constituents where the orange ovals indicated the targets where the molecules interacted and the red rectangles indicated the targeted pathways.
On the non-uniqueness problem of the covariant Dirac theory and the spin-rotation coupling
Creators: name: Arminjon, Mayeul
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Gorbatenko & Neznamov [arXiv:1301.7599] recently claimed the absence of the title problem. In this paper, the reason for that problem is reexplained by using the notions of a unitary transformation and of the mean value of an operator, invoked by them. Their arguments actually aim at proving the uniqueness of a particular prescription for solving this problem. But that prescription is again shown non-unique. Two Hamiltonians in the same reference frame in a Minkowski spacetime, only one of them including the spin-rotation coupling term, are proved to be physically non-equivalent. This confirms that the reality of that coupling should be checked experimentally.
description: 17 pages. V2: Version to appear in Int. J. Theor. Phys.: Details about the (gross) inequivalence of the Hamiltonians with either the inertial tetrad or the rotating one on pp. 11-12. Added Appendix proving that, for the (standard) covariant Dirac equation, the mean values of the energy can not be shifted by a constant after a smooth change of the tetrad field. Added Footnote 2 on p. 4
Sandfærdige Tanker ved Madame Karen Friis Skilsmisse fra denne Verden til Evigheden forfattet av H.J. Klausen
Creators: name: Klausen, H.J.
Publisher: name: Trykt hos Jens Christensen Winding
Year: 0
Subjects: Friis, Karen

description: Begravelsesvers fra 1781 for Karen Friis
Additional file 1 of Computational biology and in vitro studies for anticipating cancer-related molecular targets of sweet wormwood (Artemisia annua)
Creators: name: Dawood, Hend
name: Celik, Ismail
name: Ibrahim, Reham S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Supplementary Material 1: Figure S1: 3D interaction diagrams between the top six target protein crystal structures with top hit ligands together with the co-crystallized ligands for molecular docking validation.
Reasoning about effects: from lists to cyber-physical agents
Creators: name: Mason, Ian A.
name: Talcott, Carolyn L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programming, adding functions as first class objects to mutable data. Reasoning about actors added the challenge of dealing with distributed open systems of entities interacting asynchronously. The advent of cyber-physical agents introduces the need to consider uncertainty, faults, physical as well as logical effects. In addition cyber-physical agents have sensors and actuators giving rise to a much richer class of effects with broader scope: think of self-driving cars, autonomous drones, or smart medical devices. This paper gives a retrospective on reasoning about effects highlighting key principles and techniques and closing with challenges for future work.
Higher-dimensional automata modeling shared-variable systems
Creators: name: Kahl, Thomas
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: 68Q85

description: The purpose of this paper is to provide a construction to model shared-variable systems using higher-dimensional automata which is compositional in the sense that the parallel composition of completely independent systems is modeled by the standard tensor product of HDAs and nondeterministic choice is represented by the coproduct.
Epitaphium og Æreminde over Gunnilla Haggerup, fød Anno 1714, den 22. Juuny, død 1789, den 19. Jan., nedat i sit Sovekammer og Hvilested i Kolverids-Kirke Vaaben-Huus Dør ...
Creators: name: Lind, Niels
Publisher: name: Unknown
Year: 0
Subjects: Haggerup, Gunilla

description: Begravelsesvers fra 1789 for Gunilla Haggerup
Simple performance evaluation of pulsed spontaneous parametric down-conversion sources for quantum communications
Creators: name: Smirr, Jean-Loup
name: Guilbaud, Sylvain
name: Ghalbouni, Joe
name: Frey, Robert
name: Diamanti, Eleni
name: Alleaume, Romain
name: Zaquine, Isabelle
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Fast and complete characterization of pulsed spontaneous parametric down conversion (SPDC) sources is important for applications in quantum information processing and communications. We propose a simple method to perform this task, which only requires measuring the counts on the two output channels and the coincidences between them, as well as modeling the filter used to reduce the source bandwidth. The proposed method is experimentally tested and used for a complete evaluation of SPDC sources (pair emission probability, total losses, and fidelity) of different bandwidths. This method can find applications in the setting up of SPDC sources and in the continuous verification of the quality of quantum communication links.
Fritz Eckart Barth: Die hallstattzeitlichen Grabhügel im Bereich des Kutscher bei Podsemel (Slowenien)
Creators: name: Kilian, Klaus
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2017
Subjects: Buchbesprechung

description: Rezension zu: Fritz Eckart Barth: Die hallstattzeitlichen Grabhügel im Bereich des Kutscher bei Podsemel (Slowenien). Antiquitas, Reihe 3: Abhandlungen zur Vor- und Frühgeschichte, zur Klassischen Archäologie und zur Geschichte des Altertums (Hrsg. A. Alföldi, J. Straub, K. Tackenberg) Bd. 7 (Rudolf Habelt Verlag, Bonn 1969) 169 S., 7 Abb., 76 Taf.
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 18 (1971)
Measurement of the Coulomb Logarithm in a Radio-Frequency Paul Trap
Creators: name: Chen, Kuang
name: Sullivan, Scott T.
name: Rellergert, Wade G.
name: Hudson, Eric R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Samples of ultracold 174 Yb+ ions, confined in a linear radio-frequency Paul trap, are heated via self-induced micromotion interruption, while their temperature, density, and therefore structural phase are monitored and simulated. The observed time evolution of the ion temperature is compared to a theoretical model for ion-ion heating allowing a direct measurement of the Coulomb logarithm in a linear Paul trap. This result permits a simple, yet accurate, analytical description of ion cloud thermodynamic properties, e.g. density, temperature, and structural phase, as well as suggests limits to and improvements for on-going trapped-ion quantum information efforts.
Additional file 1 of Floral attractants in the black orchid Brasiliorchis schunkeana (Orchidaceae, Maxillariinae): clues for presumed sapromyophily and potential antimicrobial activity
Creators: name: Lipińska, Monika M.
name: Gołębiowski, Marek
name: Szlachetko, Dariusz L.
name: Kowalkowska, Agnieszka K.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Pharmacology
subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Plant Biology

description: Additional file 1: Fig. S1. Results of histochemical tests performed on the end of the callus (1/3 of the lip length): a-b epidermis and some parenchyma cells slightly stained for proteins (ABB). c few and tiny starch grains in the epidermis (PAS). The idioblasts with raphides are indicated by arrows through transverse sections of d lip base with flat callus to the beginning of the raising callus. e callus (from the middle part to the abaxial surface). f lip apex. g dihydroxyphenols (FeCl3 test) stained only in plastids, possibly in plastoglobules. h no mucilage/pectic acids on the surface (Ruthenium Red). ab - abaxial (outer) surface, ad - adaxial (inner) surface, n - nucleus, pa - parenchyma, r - idioblasts with raphides, vb - vascular bundle.
Inventaria Archaeologica. Italia
Creators: name: Kilian, Klaus
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2017
Subjects: Buchbesprechung

description: Rezension zu: Inventaria Archaeologica. Italia

Corpus dei complessi archeologici fondato da M. E. Marien

Fascicolo 1: Ripostigli del Massiccio della Tolfa (1961)
Fascicolo 2: Ripostigli del Grossetano (1961)
Fascicolo 3: Ripostigli del' Appennino Umbro-Marchigiano (1963)
Fascicolo 3: Ripostiglio di Ardea (1963)

A cura di Renato Peroni
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 19 (1972)
Tronhiems Klage over Tabet af dens berømmelige Mænd : men i sær over den nu Salige i Livet ... Otto Beyer, Borger og Kiøbmand i Tronhiem, samt Medlem af det Kongelige Norske Viidenskabers Sælskab, da Hans afsiælede Legeme, vd en andeelig Sørge-Commitat blev gelejdet til sit Jviile-Stæd i Tronhiem Domkirke den 13. Februarii 1778 og fremført af Mentor
Creators: name: Molberg, Christian Gran
Publisher: name: Winding
Year: 0
Subjects: Beyer, Otto

description: Begravelsesvers fra 1778 for Otto Beyer
title: Ўзбекистон республикасида солиққа оид ҳуқуқбузарликлар учун жавобгарлик қўллашнинг ўзига хос жиҳатлари
Creators: name: Isayeva, F.
Publisher: name: Tashkent state university of law
Year: 2018

description: Ушбу мақолада Ўзбекистон Республикасида солиққа оид ҳуқуқбузарлик ва улар учун жавобгарлик қўллашнинг ўзига хос жиҳатлари, жавобгарликни либераллаштириш ва бу борада мамлакатимизда амалга оширилаётган ислоҳотлар таҳлил қилинган.
On p/q-recognisable sets
Creators: name: Marsault, Victor
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Let p/q be a rational number. Numeration in base p/q is defined by a function that evaluates each finite word over A_p={0,1,...,p-1} to some rational number. We let N_p/q denote the image of this evaluation function. In particular, N_p/q contains all nonnegative integers and the literature on base p/q usually focuses on the set of words that are evaluated to nonnegative integers; it is a rather chaotic language which is not context-free. On the contrary, we study here the subsets of (N_p/q)^d that are p/q-recognisable, i.e. realised by finite automata over (A_p)^d. First, we give a characterisation of these sets as those definable in a first-order logic, similar to the one given by the Büchi-Bruyère Theorem for integer bases numeration systems. Second, we show that the natural order relation and the modulo-q operator are not p/q-recognisable.
title: Теоретические и практические вопросы внедрения института финансовой ответственности юридических лиц
Creators: name: Umarov, A.
name: Ibragimova, A.
Publisher: name: Tashkent state university of law
Year: 2018

description: В данной научной статье раскрыты теоретические и практические вопросы внедрения института финансовой и корпоративной ответственности юридических лиц, проведен анализ зарубежного и национального законодательства в области регулирования ответственности юридических лиц, а также разработаны предложения и рекомендации, направленные на совершенствование правовых норм корпоративного законодательства.
Det Kongelige Norske Videnskabers Selskabs Tab ved Hans Høyærværdigheds Hr. Biskobs John Ernst Gunneri Død af Johan Nordal [sic] Brun
Creators: name: Brun, Johan Nordahl
Publisher: name: Trykt hos Jens Christensen Winding
Year: 0
Subjects: Gunnerus, Johan Ernst--1718-1773

description: Begravelsesvers fra 1773 for Johan Ernst Gunnerus
Additional file 3 of Computational biology and in vitro studies for anticipating cancer-related molecular targets of sweet wormwood (Artemisia annua)
Creators: name: Dawood, Hend
name: Celik, Ismail
name: Ibrahim, Reham S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Cancer

description: Supplementary Material 3: Figure S3: KEGG pathway analysis of human breast cancer (ID: hsa05224) illustrating the potential targets and pathways of A. annua chemical constituents where the orange ovals indicated the targets where the molecules interacted and the red rectangles indicated the targeted pathways.
Additional file 2 of Floral attractants in the black orchid Brasiliorchis schunkeana (Orchidaceae, Maxillariinae): clues for presumed sapromyophily and potential antimicrobial activity
Creators: name: Lipińska, Monika M.
name: Gołębiowski, Marek
name: Szlachetko, Dariusz L.
name: Kowalkowska, Agnieszka K.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Pharmacology
subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: Plant Biology

description: Additional file 2: Fig. S2. The further observations of the epidermis of the lip base with flat callus from transmission electron microscopy (TEM) showing: a narrow or expanded periplasmic spaces with varying quantities and sizes of globules and vesicles, thick outer tangential cell wall, stretched cuticle caused by accumulated underneath secretory products and some of them visible on its surface (arrows). b magnification of a, periplasmic space with secretory material and vesicles, dense cytoplasm with organelles: here visible profiles of RER, free ribosomes, mitochondria. c different cells of the epidermis with stretched cuticle (arrow), periplasmic space, and osmiophilic annular profiles in the vacuole (asterisks). d magnification of c, periplasmic space with vesicles, dense cytoplasm with abundant RER, osmiophilic material in the vacuole. e magnification of c, vacuolar fragmentation, and osmiophilic annular profiles (asterisk), sometimes disintegrated (arrows), in the cytoplasm: plastid with lamellae and starch grain. f magnification of e, in cytoplasm mitochondria, RER, plastid with lamellae and plastoglobules. cw - cell wall, m - mitochondrion, p - plastid, ph - phenolic content, ps - periplasmic space, RER - rough endoplasmic reticulum, st - starch grains, va - vacuole, ve - vesicle.
Die chronologische Bedeutung der Ausgrabungen in Yverdon
Creators: name: Strahm, Christian
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2017
Subjects: Neolithikum; Jungneolithikum; Mitteleuropa; Schweiz; Yverdon; Siedlungsfunde; Seeufersiedlungen; Keramik; Typologie

description: [nicht vorhanden / not available]
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 20 (1973)
Varied Perturbation Theory for the Dispersion Dip in the Two-Dimensional Heisenberg Quantum Antiferromagnet
Creators: name: Uhrig, Goetz S.
name: Majumdar, Kingshuk
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We study the roton-like dip in the magnon dispersion at the boundary of the Brillouin zone in the isotropic S=1/2 Heisenberg quantum antiferromagnet. This high-energy feature is sometimes seen as indication of a fractionalization of the magnons to spinons. In this article, we provide evidence that the description of the dip in terms of magnons can be improved significantly by applying more advanced evaluation schemes. In particular, we illustrate the usefulness of the application of the principle of minimal sensitivity in varied perturbation theory. Thereby, we provide an example for the application of this approach to an extended condensed matter problem governed by correlations which can trigger analogous investigations for many other systems.
description: Published version
Moschovakis Extension of Represented Spaces
Creators: name: Skordev, Dimiter
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03D60, 03D75, 03D78

description: Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric spaces). Some results are presented about TTE computability in the represented space obtained in this way. For single-valued functions, we prove, roughly speaking, the computability of any function which is absolutely prime computable in some computable functions. A similar result holds for multi-valued functions, but with an analog of absolute prime computability. The formulation of this result makes use of the notion of computability in iterative combinatory spaces - a notion studied by the author in other publications.
description: 21 pages. Intended for "Continuity, Computability, Constructivity: From Logic to Algorithms" (postproceedings)
Antike Silbergefäße im RGZM
Creators: name: Künzl, Ernst
name: Foltz, Ernst
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2017
Subjects: Römerzeit; Vorderasien; Metallgefäße; Silber; Sammlungsforschung

description: [nicht vorhanden / not available]
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 20 (1973)
Éva B. Bónis: Die spätkeltische Siedlung Gellérthegy-Tabán in Budapest
Creators: name: Pingel, Volker
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2017
Subjects: Buchbesprechung

description: Rezension zu: Éva B. Bónis: Die spätkeltische Siedlung Gellérthegy-Tabán in Budapest. Mit einem Anhang von Sándor Bökönyi. Archaeologia Hungarica. Series Nova XLVII (Akadémiai Kiadó Budapest 1969) 250 S., 56 Taf., 106 Textabb.
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 20 (1973)