cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Conformal diffeomorphisms of gradient Ricci solitons and generalized quasi-Einstein manifolds
Creators: name: Jauregui, Jeffrey
name: Wylie, William
Publisher: name: arXiv
Year: 2012
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53C25, 53A30

description: In this paper we extend some well-known rigidity results for conformal changes of Einstein metrics to the class of generalized quasi-Einstein (GQE) metrics, which includes gradient Ricci solitons. In order to do so, we introduce the notions of conformal diffeomorphisms and vector fields that preserve a GQE structure. We show that a complete GQE metric admits a structure-preserving, non-homothetic complete conformal vector field if and only if it is a round sphere. We also classify the structure-preserving conformal diffeomorphisms. In the compact case, if a GQE metric admits a structure-preserving, non-homothetic conformal diffeomorphism, then the metric is conformal to the sphere, and isometric to the sphere in the case of a gradient Ricci soliton. In the complete case, the only structure-preserving non-homothetic conformal diffeomorphisms from a shrinking or steady gradient Ricci soliton to another soliton are the conformal transformations of spheres and stereographic projection.
description: 35 pages
Algebraic and logical descriptions of generalized trees
Creators: name: Courcelle, Bruno
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound of the rank-widths of its finite induced subgraphs. Join-trees are the corresponding directed trees. They are useful to define the modular decomposition of a countable graph. We also consider ordered join-trees, that generalize rooted trees equipped with a linear order on the set of sons of each node. We define algebras with finitely many operations that generate (via infinite terms) these generalized trees. We prove that the associated regular objects (those defined by regular terms) are exactly the ones that are the unique models of monadic second-order sentences. These results use and generalize a similar result by W. Thomas for countable linear orders.
Die Aporien der Moderne und die Weisheit der Alten. Eine Kritik der modernen Ideologien
Creators: name: Neschke-Hentschke, Ada
Publisher: name: Würzburger Jahrbücher für die Altertumswissenschaft
Year: 2018

description: [nicht vorhanden / not available]
description: Würzburger Jahrbücher für die Altertumswissenschaft, [N.F.] Bd. 36 (2012): Würzburger Jahrbücher für die Altertumswissenschaft
Some remarks on regular foliations with numerically trivial canonical class
Creators: name: Druel, Stéphane
Publisher: name: arXiv
Year: 2016
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 37F75

description: In this article, we first describe codimension two regular foliations with numerically trivial canonical class on complex projective manifolds whose canonical class is not numerically effective. Building on a recent algebraicity criterion for leaves of algebraic foliations, we then address regular foliations of small rank with numerically trivial canonical class on complex projective manifolds whose canonical class is pseudo-effective. Finally, we confirm the generalized Bondal conjecture formulated by Beauville in some special cases.
description: 20 pages
Kommentar zu Brian D. Jones und Fritz Mangarts "Neue Ergebnisse zur Entstehung des modernen Menschen" (Archäologische Informationen 14/2, 1991, 176-194)
Creators: name: Vogelsang, Ralf
Publisher: name: Archäologische Informationen
Year: 2018

description: [nicht vorhanden / not available]
description: Archäologische Informationen, Bd. 15, Nr. 1&2 (1992): Archäologische Informationen
Superfluid and magnetic states of an ultracold Bose gas with synthetic three-dimensional spin-orbit coupling in an optical lattice
Creators: name: Zhang, Dan-Wei
name: Chen, Ji-Pei
name: Shan, Chuan-Jia
name: Wang, Z. D.
name: Zhu, Shi-Liang
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study ultracold bosonic atoms with the synthetic three-dimensional spin-orbit (SO) coupling in a cubic optical lattice. In the superfluidity phase, the lowest energy band exhibits one, two or four pairs of degenerate single-particle ground states depending on the SO-coupling strengths, which can give rise to the condensate states with spin-stripes for the weak atomic interactions. In the deep Mott-insulator regime, the effective spin Hamiltonian of the system combines three-dimensional Heisenberg exchange interactions, anisotropy interactions and Dzyaloshinskii-Moriya interactions. Based on Monte Carlo simulations, we numerically demonstrate that the resulting Hamiltonian with an additional Zeeman field has a rich phase diagram with spiral, stripe, vortex crystal, and especially Skyrmion crystal spin-textures in each xy-plane layer. The obtained Skyrmion crystals can be tunable with square and hexagonal symmetries in a columnar manner along the z axis, and moreover are stable against the inter-layer spin-spin interactions in a large parameter region.
description: 9 pages, 4 figures; title modified, references and discussions added; accepted by PRA
Tropical Vertex-Disjoint Cycles of a Vertex-Colored Digraph: Barter Exchange with Multiple Items Per Agent
Creators: name: Highley, Timothy
name: Le, Hoang
Publisher: name: arXiv
Year: 2016
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: In a barter exchange market, agents bring items and seek to exchange their items with one another. Agents may agree to a k-way exchange involving a cycle of k agents. A barter exchange market can be represented by a digraph where the vertices represent items and the edges out of a vertex indicate the items that an agent is willing to accept in exchange for that item. It is known that the problem of finding a set of vertex-disjoint cycles with the maximum total number of vertices (MAX-SIZE-EXCHANGE) can be solved in polynomial time. We consider a barter exchange where each agent may bring multiple items, and items of the same agent are represented by vertices with the same color. A set of cycles is said to be tropical if for every color there is a cycle that contains a vertex of that color. We show that the problem of determining whether there exists a tropical set of vertex-disjoint cycles in a digraph (TROPICAL-EXCHANGE) is NP-complete and APX-hard. This is equivalent to determining whether it is possible to arrange an exchange of items among agents such that every agent trades away at least one item. TROPICAL-MAX-SIZE-EXCHANGE is a similar problem, where the goal is to find a set of vertex-disjoint cycles that contains the maximum number of vertices and also contains all of the colors in the graph. We show that this problem is likewise NP-complete and APX-hard. For the restricted case where there are at most two vertices of each color (corresponding to a restriction that each agent may bring at most two items), both problems remain NP-hard but are in APX. Finally, we consider MAX-SIZE-TROPICAL-EXCHANGE, where the set of cycles must primarily include as many colors as possible and secondarily include as many vertices as possible. We show that this problem is NP-hard.
description: Published in Discrete Mathematics and Theoretical Computer Science
On Sessions and Infinite Data
Creators: name: Severi, Paula
name: Padovani, Luca
name: Tuosto, Emilio
name: Dezani-Ciancaglini, Mariangiola
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and communication.
description: 39 pages 6 files including .bbl
Sequential decision problems, dependent types and generic solutions
Creators: name: Botta, Nicola
name: Jansson, Patrik
name: Ionescu, Cezar
name: Christiansen, David R.
name: Brady, Edwin
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizations, knapsack, optimal bracketing, scheduling, etc. The implementation can handle time-step dependent control and state spaces, and monadic representations of uncertainty (such as stochastic, non-deterministic, fuzzy, or combinations thereof). This level of genericity is achievable in a programming language with dependent types (we have used both Idris and Agda). Dependent types are also the means that allow us to obtain a formalization and computer-checked proof of the central component of our implementation: Bellman's principle of optimality and the associated backwards induction algorithm. The formalization clarifies certain aspects of backwards induction and, by making explicit notions such as viability and reachability, can serve as a starting point for a theory of controllability of monadic dynamical systems, commonly encountered in, e.g., climate impact research.
description: 23 pages, 2 figures
title: ÐÐ±Ð½Ð°ÑÑÐ¶ÐµÐ½Ð¸Ðµ Ð¸ ÑÐ°ÑÐ¿Ð¾Ð·Ð½Ð°Ð²Ð°Ð½Ð¸Ðµ ÑÐ°Ñ ÑÐµÑÐ¾Ð² Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ ÑÐ»ÑÑÑÐµÐ½Ð½Ð¾Ð³Ð¾ Ð¼ÐµÑÐ¾Ð´Ð° YOLOv10
title: Coal miner detection and recognition based on improved YOLOv10
Creators: name: Ð§ÑÐ½ Ð¥Ð°Ð¾Ð´ÑÐ½
Publisher: name: ÐÐÐÐÐ¢ÐÐ¥-ÐÐ ÐÐ¡Ð¡
Year: 2024
Subjects: Ð Ð°ÑÐ¿Ð¾Ð·Ð½Ð°Ð²Ð°Ð½Ð¸Ðµ Ð¾Ð±ÑÐ°Ð·Ð¾Ð²
Ð°Ð»Ð³Ð¾ÑÐ¸ÑÐ¼ YOLOv10
Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼ Ð²Ð½Ð¸Ð¼Ð°Ð½Ð¸Ñ
YOLOv10 algorithm
attention mechanism

description: Ð ÑÑÐ¾Ð¹ ÑÐ°Ð±Ð¾ÑÐµ Ð¿ÑÐµÐ´Ð»Ð°Ð³Ð°ÐµÑÑÑ ÑÑÐ¾Ð²ÐµÑÑÐµÐ½ÑÑÐ²Ð¾Ð²Ð°Ð½Ð½ÑÐ¹ Ð¼ÐµÑÐ¾Ð´ Ð¾Ð±Ð½Ð°ÑÑÐ¶ÐµÐ½Ð¸Ñ ÑÐ°ÑÑÐµÑÐ¾Ð² YOLOv10 Ð´Ð»Ñ Ð¾Ð±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ñ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð¿ÐµÑÑÐ¾Ð½Ð°Ð»Ð° Ð² Ð¿ÑÐ¾ÑÐµÑÑÐµ Ð´Ð¾Ð±ÑÑÐ¸ ÑÐ³Ð»Ñ Ð² ÑÐ°ÑÑÐµ. ÐÐ¾-Ð¿ÐµÑÐ²ÑÑ, Ð¾ÑÐ½Ð¾Ð²ÑÐ²Ð°ÑÑÑ Ð½Ð° YOLOv10, ÑÑÐ° ÑÐ°Ð±Ð¾ÑÐ° Ð´Ð¾Ð±Ð°Ð²Ð»ÑÐµÑ Ð¼ÐµÑÐ°Ð½Ð¸Ð·Ð¼ ÐºÐ¾Ð¾ÑÐ´Ð¸Ð½Ð°ÑÐ½Ð¾Ð³Ð¾ Ð²Ð½Ð¸Ð¼Ð°Ð½Ð¸Ñ Ðº ÑÐ»Ð¾Ñ Backbone,
ÑÑÐ¾Ð±Ñ ÑÐ»ÑÑÑÐ¸ÑÑ Ð²Ð½Ð¸Ð¼Ð°Ð½Ð¸Ðµ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ðº Ð²Ð°Ð¶Ð½ÑÐ¼ Ð¾ÑÐ¾Ð±ÐµÐ½Ð½Ð¾ÑÑÑÐ¼. Ð ÑÐ¾ Ð¶Ðµ Ð²ÑÐµÐ¼Ñ Ð² ÑÐ»Ð¾Ðµ Head Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÐµÑÑÑ Ð´Ð¸Ð½Ð°Ð¼Ð¸ÑÐµÑÐºÐ°Ñ Ð´ÐµÑÐµÐºÑÐ¾ÑÐ½Ð°Ñ Ð³Ð¾Ð»Ð¾Ð²ÐºÐ°, ÐºÐ¾ÑÐ¾ÑÐ°Ñ Ð¾Ð±ÑÐµÐ´Ð¸Ð½ÑÐµÑ Ð¾ÑÐ¾Ð·Ð½Ð°Ð½Ð¸Ðµ ÑÐ°Ð·Ð¼ÐµÑÐ°, Ð¿ÑÐ¾ÑÑÑÐ°Ð½ÑÑÐ²ÐµÐ½Ð½Ð¾Ðµ Ð¾ÑÐ¾Ð·Ð½Ð°Ð½Ð¸Ðµ Ð¸ Ð¾ÑÐ¾Ð·Ð½Ð°Ð½Ð¸Ðµ Ð·Ð°Ð´Ð°ÑÐ¸ Ð² Ð¾Ð´Ð½Ð¾Ð¹ Ð´ÐµÑÐµÐºÑÐ¾ÑÐ½Ð¾Ð¹ Ð³Ð¾Ð»Ð¾Ð²ÐºÐµ Ð´Ð»Ñ ÑÐ»ÑÑÑÐµÐ½Ð¸Ñ Ð²Ð¾ÑÐ¿ÑÐ¸ÑÑÐ¸Ñ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð¼ÐµÐ»ÐºÐ¸Ñ ÑÐµÐ»ÐµÐ¹. ÐÐ¾ÑÐ»Ðµ ÑÐºÑÐ¿ÐµÑÐ¸Ð¼ÐµÐ½ÑÐ°Ð»ÑÐ½Ð¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð¾ÐºÐ°Ð·Ð°Ð»Ð¾ÑÑ, ÑÑÐ¾ ÐºÐ°Ð¶Ð´Ð¾Ðµ
ÑÐ»ÑÑÑÐµÐ½Ð¸Ðµ Ð·Ð½Ð°ÑÐ¸ÑÐµÐ»ÑÐ½Ð¾ Ð¿Ð¾Ð²ÑÑÐ¸Ð»Ð¾ ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÑ Ð¾Ð±Ð½Ð°ÑÑÐ¶ÐµÐ½Ð¸Ñ Ð¼Ð¾Ð´ÐµÐ»Ð¸. ÐÐ¾ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ Ñ Ð¾ÑÐ¸Ð³Ð¸Ð½Ð°Ð»ÑÐ½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»ÑÑ YOLOv10n, Ð¿Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»Ð¸ ÑÐ¾ÑÐ½Ð¾ÑÑÐ¸ Ð¸ Ð·Ð°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ ÑÐ»ÑÑÑÐµÐ½Ð½Ð¾Ð¹ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð´Ð¾ÑÑÐ¸Ð³Ð»Ð¸ 92,69 % Ð¸ 87,53 %, Ð° Ð¿Ð¾ÐºÐ°Ð·Ð°ÑÐµÐ»Ð¸ mAP50 Ð¸ mAP50-95 â 89,9 % Ð¸ 68,24 %.
description: For the safety of personnel in the coal mine production process. This article proposes an improved YOLOv10 miner detection method. First, based on YOLOv10, this article adds a coordinate attention mechanism to the Backbone layer to improve the modelâs attention to important features. At the same time, a dynamic detection head that embeds size awareness, spatial awareness and task awareness into one detection head is also used in the Head layer to improve the modelâs perception of small targets. After experimental verification, each improvement has significantly improved the detection effect of the model. Compared with the original YOLOv10n model, the precision and recall rates of the improved model reached 92.69 % and 87.53 %, and the mAP50 and mAP50-95 scores reached 89.9 % and 68.24 %.
Additional file 1 of Association of indoor dust microbiota with cognitive function and behavior in preschool-aged children
Creators: name: Dockx, Yinthe
name: Täubel, Martin
name: Hogervorst, Janneke
name: Luyten, Leen
name: Peusens, Martien
name: Rasking, Leen
name: Sleurs, Hanne
name: Witters, Katrien
name: Plusquin, Michelle
name: Valkonen, Maria
name: Nawrot, Tim S.
name: Casas, Lidia
Publisher: name: figshare
Year: 2023
Subjects: subject: Microbiology
subject: FOS: Biological sciences

description: Additional file 1: Supplemental Figure 1. Overview of the participation flowchart and exclusion steps. Abbreviations: SDQ, Strengths and Difficulties Questionnaire; CANTAB, Cambridge Neuropsychological Test Automated Battery; BLC, Big/Little Circle; DMS, Delayed matching to sample; MOT, Motor screening Task; SSP, Spatial Span. Supplemental Figure 2. Spearman correlation coefficients between CANTAB outcomes of the four tasks (MOT, Motor Screening Task; BLC, Big/Little Circle task; SSP, Spatial Span task and the DMS, Delayed Matching to Sample task). Supplemental Figure 3. Spearman correlation coefficients between the bacterial and fungal diversity indices (Chao1 richness, Shannon and Simpson diversity) and loads in house dust samples (Gram-negative bacterial, Gram-positive bacterial and Fungal load). Supplemental Table 1. Adjusted* associations (estimate and 95%CI) of microbial diversity indices (Chao1 and Shannon) and loads (Gram-negative bacterial load, Gram-positive bacterial load and Fungal load) with CANTAB variables of the domain of attention and psychomotor speed (Motor Screening Task and Big/Little Circle test) and the domain of visual working memory (Spatial Span test and Delayed Matching to Sample test). Supplemental Table 2. Sensitivity analyses excluding children showing possible disinterest: adjusted* associations of microbial diversity indices (Chao1 and Shannon) and loads (Gram-negative bacterial load, Gram-positive bacterial load and Fungal load) with SDQ variables (OR and 95%CI) of the four SDQ scales : peer relationship, emotional, conduct and hyperactivity and the Total Difficulties Score and with CANTAB variables (estimate and 95%CI) of the domain of attention and psychomotor speed (Motor Screening Task and Big/Little Circle task) and the domain of visual working memory (Spatial Span test and Delayed Matching to Sample task.
On the evolution and environmental dependence of the star formation rate versus stellar mass relation since z~2
Creators: name: Koyama, Yusei
name: Smail, Ian
name: Kurk, Jaron
name: Geach, James E.
name: Sobral, David
name: Kodama, Tadayuki
name: Nakata, Fumiaki
name: Swinbank, A. M.
name: Best, Philip N.
name: Hayashi, Masao
name: Tadaki, Ken-ichi
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: This paper discusses the evolution of the correlation between galaxy star formation rates (SFRs) and stellar mass (M*) over the last ~10 Gyrs, particularly focusing on its environmental dependence. We first present the mid-infrared (MIR) properties of the H-alpha-selected galaxies in a rich cluster Cl0939+4713 at z=0.4. With a MIR stacking analysis, we find that the median SFR of H-alpha emitters is higher in higher-density environment at z=0.4. We also find that star-forming galaxies in high-density environment tend to have higher specific SFR (SSFR), although the trend is much less significant compared to that of SFR. This increase of SSFR in high-density environment is not visible when we consider the SFR derived from H-alpha alone, suggesting that the dust attenuation in galaxies depends on environment; galaxies in high-density environment tend to be dustier (by up to ~0.5 mag). We then discuss the environmental dependence of the SFR-M* relation for star-forming galaxies since z~2, by compiling our comparable, narrow-band selected, large H-alpha emitter samples in both distant cluster environments (from MAHALO-Subaru) and field environments (from HiZELS). We find that the SSFR of H-alpha-selected galaxies (at the fixed mass of log(M*/Msun)=10) rapidly evolves as (1+z)^3, but the SFR-M* relation is independent of the environment since z~2, as far as we rely on the H-alpha-based SFRs (with M*-dependent extinction correction). Even if we consider the possible environmental variation in the dust attenuation, we conclude that the difference in the SFR-M* relation between cluster and field star-forming galaxies is always small (~<0.2dex level) at any time in the history of the Universe since z~2. [abridged]
description: 14 pages, 10 figures, accepted for publication in MNRAS
O'QISH DARSLARIDA O'QUVCHILARNI NUTQINI O'STIRISH USULLARI VA UNGA QO'YILADIGAN TALABLAR
Creators: name: Abdumanapova, Maftuna
Publisher: name: Zenodo
Year: 2024

description: Ushbu maqolada boshlang’ich sinf o’quvchilarida O’qish darslari orqali og’zaki nutqni rivojlantirishning ayrim jihatlariga to’xtalib o’tilgan. Shuningdek nutqni rivojlantirishga qaratilgan bir qancha tavfsiyalar ko’rsatilgan.
Additional file 2 of Heterogeneity of pathological prion protein accumulation in the brain of moose (Alces alces) from Norway, Sweden and Finland with chronic wasting disease
Creators: name: Sola, Diego
name: Tran, Linh
name: Våge, Jørn
name: Madslien, Knut
name: Vuong, Tram T.
name: Korpenfelt, Sirkka Liisa
name: Ågren, Erik O.
name: Averhed, Gustav
name: Nöremark, Maria
name: Sörén, Kaisa
name: Isaksson, Mats
name: Acín, Cristina
name: Badiola, Juan José
name: Gavier-Widén, Dolores
name: Benestad, Sylvie L.
Publisher: name: figshare
Year: 2023
Subjects: Biophysics
Space Science
Physical Sciences not elsewhere classified
Cell Biology
Neuroscience
Pharmacology
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified

description: Additional file 2. Immunolabelling of PrPSc in moose and reindeer controls. Immunohistochemistry was performed on sections of CWD-positive reindeer brain (A-B, level of the obex) and tonsils (C), CWD-positive moose brain (D, level of the obex), CWD-negative moose (E, level of the cerebellum) and reindeer (F, level of the obex) with anti-PrP mAbs L42 and SAF84, as indicated. All sections were counterstained with haematoxylin. (Bar = 50 μm).
Hanf numbers via accessible images
Creators: name: Lieberman, Michael
name: Rosicky, Jiri
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic (math.LO)
subject: Category Theory (math.CT)
subject: FOS: Mathematics
subject: 03C95, 03C52, 18C35, 03E55

description: We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the recent Hanf number computations of Baldwin and Boney, namely that in an abstract elementary class (AEC) if the joint embedding and amalgamation properties hold for models of size up to a sufficiently large cardinal, then they hold for models of arbitrary size. Moreover, we prove that, under the above-mentioned large cardinal assumption, every metric AEC is strongly d-tame, strengthening a result of Boney and Zambrano and pointing the way to further generalizations.
description: v1: 15 pages. v2: 13 pages, reformatted with minor edits. v3: 15 pages, title changed from "Bootstrapping structural properties, via accessible images," proofs expanded, definitions clarified in response to referees' feedback. v4: 15 pages, dedication added. v5: 15 pages, minor corrections, in press
Hopf and Lie algebras in semi-additive Varieties
Creators: name: Porst, Hans-E.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Rings and Algebras (math.RA)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 08B99 (Primary), 16T05 (Secondary)

description: We study Hopf monoids in entropic semi-additive varieties with an emphasis on adjunctions related to the enveloping monoid functor and the primitive element functor. These investigations are based on the concept of the abelian core of a semi-additive variety variety and its monoidal structure in case the variety is entropic.
description: 13 pages
Gravitational lensing shear by an exotic lens object with negative convergence or negative mass
Creators: name: Izumi, Koji
name: Hagiwara, Chisaki
name: Nakajima, Koki
name: Kitamura, Takao
name: Asada, Hideki
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Gravitational lens models with negative convergence(surface mass density projected onto the lens plane) inspired by modified gravity theories, exotic matter and energy have been recently discussed in such a way that a static and spherically-symmetric modified spacetime metric depends on the inverse distance to the power of positive $n$(n=1 for Schwarzschild metric, n=2 for Ellis wormhole) in the weak-field approximation [Kitamura, Nakajima and Asada, PRD 87, 027501 (2013)], and it has been shown that demagnification of images could occur for $n>1$ lens models associated with exotic matter (and energy), though they cause the gravitational pull on light rays. The present paper considers gravitational lensing shear by the demagnifying lens models and other models such as negative-mass compact objects causing the gravitational repulsion on light rays like a concave lens. It is shown that images by the lens models for the gravitational pull are tangentially elongated, whereas those by the repulsive ones are radially distorted. This feature of lensed image shapes may be used for searching(or constraining) localized exotic matter or energy with gravitational lensing surveys. It is suggested also that an underdense region such as a cosmic void might produce radially elongated images of background galaxies rather than tangential ones.
description: 15 pages, 4 figures. derivation of lensing shear is clarified. accepted by PRD. arXiv admin note: text overlap with arXiv:1211.0379
title: ÐÐ¸Ð°Ð³Ð½Ð¾ÑÑÐ¸ÐºÐ° Ð½ÐµÐ¸ÑÐ¿ÑÐ°Ð²Ð½Ð¾ÑÑÐµÐ¹ ÐºÐ¾ÑÐ¾Ð±ÐºÐ¸ Ð¿ÐµÑÐµÐ´Ð°Ñ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ CWT-CNN-LSTM
title: Gearbox fault diagnosis based on CWT-CNN-LSTM
Creators: name: Ð§ÑÐ½ Ð¥Ð°Ð¾Ð´ÑÐ½
name: Ð§Ð¶Ð¾Ñ ÐÑÐ¹
Publisher: name: ÐÐÐÐÐ¢ÐÐ¥-ÐÐ ÐÐ¡Ð¡
Year: 2024
Subjects: ÐÐ¾ÑÐ¾Ð±ÐºÐ¸ Ð¿ÐµÑÐµÐ´Ð°Ñ
ÐÐµÐ¹ÑÐ¾Ð½Ð½ÑÐµ ÑÐµÑÐ¸
Ð²ÐµÐ¹Ð²Ð»ÐµÑ-Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ðµ
Ð´Ð¸Ð°Ð³Ð½Ð¾ÑÑÐ¸ÐºÐ° Ð½ÐµÐ¸ÑÐ¿ÑÐ°Ð²Ð½Ð¾ÑÑÐµÐ¹
wavelet transform
fault diagnosis

description: Ð ÑÑÐ¾Ð¹ ÑÑÐ°ÑÑÐµ Ð¼Ñ Ð¿ÑÐµÐ´ÑÑÐ°Ð²Ð»ÑÐµÐ¼ Ð½Ð¾Ð²ÑÑ Ð¼ÐµÑÐ¾Ð´Ð¸ÐºÑ Ð´Ð¸Ð°Ð³Ð½Ð¾ÑÑÐ¸ÐºÐ¸ Ð½ÐµÐ¸ÑÐ¿ÑÐ°Ð²Ð½Ð¾ÑÑÐµÐ¹ ÐºÐ¾ÑÐ¾Ð±Ð¾Ðº Ð¿ÐµÑÐµÐ´Ð°Ñ, ÐºÐ¾ÑÐ¾ÑÐ°Ñ Ð²ÐºÐ»ÑÑÐ°ÐµÑ Ð² ÑÐµÐ±Ñ Ð½ÐµÐ¿ÑÐµÑÑÐ²Ð½Ð¾Ðµ Ð²ÐµÐ¹Ð²Ð»ÐµÑ-Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ðµ (CWT), ÑÐ²ÐµÑÑÐ¾ÑÐ½ÑÑ Ð½ÐµÐ¹ÑÐ¾Ð½Ð½ÑÑ ÑÐµÑÑ (CNN) Ð¸ ÑÐµÑÑ Ð´Ð¾Ð»Ð³Ð¾Ð²ÑÐµÐ¼ÐµÐ½Ð½Ð¾Ð¹ ÐºÑÐ°ÑÐºÐ¾Ð²ÑÐµÐ¼ÐµÐ½Ð½Ð¾Ð¹ Ð¿Ð°Ð¼ÑÑÐ¸ (LSTM). Ð ÑÐºÑÐ¿ÐµÑÐ¸Ð¼ÐµÐ½ÑÐ°Ñ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð»ÑÑ Ð¾Ð±ÑÐµÐ´Ð¾ÑÑÑÐ¿Ð½ÑÐ¹ Ð½Ð°Ð±Ð¾Ñ Ð´Ð°Ð½Ð½ÑÑ Ð¿Ð¾ ÐºÐ¾ÑÐ¾Ð±ÐºÐ°Ð¼ Ð¿ÐµÑÐµÐ´Ð°Ñ, Ð¿ÑÐµÐ´Ð¾ÑÑÐ°Ð²Ð»ÐµÐ½Ð½ÑÐ¹ Ð®Ð³Ð¾-ÐÐ¾ÑÑÐ¾ÑÐ½ÑÐ¼ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑÐ¾Ð¼ ÐÐ¸ÑÐ°Ñ, Ð²ÐºÐ»ÑÑÐ°ÑÑÐ¸Ð¹ ÑÐ¸Ð³Ð½Ð°Ð»Ñ Ð²Ð¸Ð±ÑÐ°ÑÐ¸Ð¸ Ð¿ÑÐ¸ ÑÐ°Ð·Ð»Ð¸ÑÐ½ÑÑ ÑÑÐ»Ð¾Ð²Ð¸ÑÑ ÑÐºÑÐ¿Ð»ÑÐ°ÑÐ°ÑÐ¸Ð¸. ÐÐ¸Ð·ÑÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ñ ÑÐºÑÐ¿ÐµÑÐ¸Ð¼ÐµÐ½ÑÐ°Ð»ÑÐ½ÑÑ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐ¾Ð² Ñ Ð¿Ð¾Ð¼Ð¾ÑÑÑ ÑÐµÑÐ½Ð¸ÐºÐ¸ T-SNE Ð¿Ð¾ÐºÐ°Ð·ÑÐ²Ð°ÐµÑ, ÑÑÐ¾ Ð¼Ð¾Ð´ÐµÐ»Ñ ÑÐ¿Ð¾ÑÐ¾Ð±Ð½Ð° ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ ÑÐ°Ð·Ð»Ð¸ÑÐ°ÑÑ Ð´Ð°Ð½Ð½ÑÐµ Ð¾ ÐºÐ¾ÑÐ¾Ð±ÐºÐµ Ð¿ÐµÑÐµÐ´Ð°Ñ Ð² ÑÐ°Ð·Ð»Ð¸ÑÐ½ÑÑ ÑÐ¾ÑÑÐ¾ÑÐ½Ð¸ÑÑ. Ð ÐµÐ·ÑÐ»ÑÑÐ°ÑÑ Ð¿Ð¾Ð´ÑÐ²ÐµÑÐ¶Ð´Ð°ÑÑ, ÑÑÐ¾ Ð´Ð°Ð½Ð½ÑÐ¹ Ð¼ÐµÑÐ¾Ð´ CWT-CNN-LSTM Ð¾Ð±Ð»Ð°Ð´Ð°ÐµÑ Ð²ÑÑÐ¾ÐºÐ¾Ð¹ ÑÐ¾ÑÐ½Ð¾ÑÑÑÑ Ð² Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¼ Ð¸Ð·Ð²Ð»ÐµÑÐµÐ½Ð¸Ð¸ Ð¿ÑÐ¸Ð·Ð½Ð°ÐºÐ¾Ð² Ð½ÐµÐ¸ÑÐ¿ÑÐ°Ð²Ð½Ð¾ÑÑÐµÐ¹ Ð¸ ÐºÐ»Ð°ÑÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¸ Ð½ÐµÐ¸ÑÐ¿ÑÐ°Ð²Ð½Ð¾ÑÑÐµÐ¹ ÐºÐ¾ÑÐ¾Ð±ÐºÐ¸ Ð¿ÐµÑÐµÐ´Ð°Ñ, ÑÑÐ¾ Ð¸Ð¼ÐµÐµÑ Ð±Ð¾Ð»ÑÑÐ¾Ðµ Ð¿ÑÐ¸ÐºÐ»Ð°Ð´Ð½Ð¾Ðµ Ð·Ð½Ð°ÑÐµÐ½Ð¸Ðµ Ð´Ð»Ñ Ð¿ÑÐ°ÐºÑÐ¸ÑÐµÑÐºÐ¾Ð¹
Ð´Ð¸Ð°Ð³Ð½Ð¾ÑÑÐ¸ÐºÐ¸ Ð½ÐµÐ¸ÑÐ¿ÑÐ°Ð²Ð½Ð¾ÑÑÐµÐ¹ ÐºÐ¾ÑÐ¾Ð±ÐºÐ¸ Ð¿ÐµÑÐµÐ´Ð°Ñ.
description: This paper presents a novel gearbox fault diagnosis technique that incorporates continuous wavelet transform (CWT), convolutional neural network (CNN) and long short-term memory network (LSTM). The experiments were conducted using a publicly available gearbox dataset provided by Southeast University in China, including vibration signals under different operating conditions. Visualisation of the experimental results by the T-SNE technique shows that the model is able to effectively differentiate gearbox data in different states. The results confirm that this CWT-CNN-LSTM method has high accuracy in automatically extracting fault features and classifying gearbox faults, which is of great application value for practical gearbox fault diagnosis.
Additional file 3 of Transcriptome-wide association study identifies new susceptibility genes and pathways for spondyloarthritis
Creators: name: Su, Xiaochen
name: Chen, Anfa
name: Teng, Menghao
name: Ji, Wenchen
name: Zhang, Yingang
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 3: Table S1 Top genes selected by transcriptome-wide association study (TWAS) analysis
Additional file 1 of The influence of social class and institutional relationships on the experiences of vaccine-hesitant mothers: a qualitative study
Creators: name: Glassman, Lindsay W.
name: Szymczak, Julia E.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Science Policy

description: Additional file 1. Interview guide for parent participants.
title: Tourism development as an actual task of the society
Creators: name: Abdurahmanova, Hosiyatkhon
Publisher: name: Tashkent state university of law
Year: 2019

description: This article examines legislative and legal acts on the development of tourism in the Republic of Uzbekistan, legal and practical reforms in tourism and their results. There are also benefits to tourists visiting the Republic of Uzbekistan, as well as visas and electronic visas. In addition, some countries (USA, China, Malaysia, Spain) examined and analyzed the tourism practice.
title: The issues of legal support of state innovation policy in the republic of Uzbekistan
Creators: name: Li, Adik
Publisher: name: Tashkent state university of law
Year: 2019

description: The article presents the analysis the theoretical and practical aspects of the state innovation policy in the Republic of Uzbekistan and its legal support. The article provides a peculiar definition of the concept of "state innovation policy" and the key directions of its legal regulation. It presents thorough analysis of the necessity of adopting the Concept of innovation policy of the Republic of Uzbekistan, containing its long-term strategic goals, main objectives and mechanisms for the implementation. It provides suggestions regarding the ways of using legal measures to accelerate the introduction of the most advanced domestic and foreign scientific, technical and technological achievements of the world and the ways of the enhancement of the country's innovative development.
The Scalar Strange Content of the Nucleon from Lattice QCD
Creators: name: Junnarkar, Parikshit
name: Walker-Loud, Andre
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The scalar strange-quark matrix element of the nucleon is computed with lattice QCD. A mixed-action scheme is used with domain-wall valence fermions computed on the staggered MILC sea-quark configurations. The matrix element is determined by making use of the Feynman-Hellmann theorem which relates this strange matrix element to the change in the nucleon mass with respect to the strange-quark mass. The final result of this calculation is m_s < N | s-bar s| N > = 49 +-10 +- 15 MeV and, correspondingly f_s = m_s < N | s-bar s |N > / m_N = 0.051 +- 0.011 +- 0.016. Given the lack of a quantitative comparison of this phenomenologically important quantity determined from various lattice QCD calculations, we take the opportunity to present such an average. The resulting conservative determination is f_s = 0.043 +- 0.011.
description: 20 pages, 19 figures: v2. improved discussion of scale setting, Matrix-Prony method and lattice average. Updated references. Version accepted for publication in PRD: v3, improved figure 5
On-line algorithms for multiplication and division in real and complex numeration systems
Creators: name: Frougny, Christiane
name: Pavelka, Marta
name: Pelantova, Edita
name: Svobodova, Milena
Publisher: name: arXiv
Year: 2016
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: A positional numeration system is given by a base and by a set of digits. The base is a real or complex number $β$ such that $|β|>1$, and the digit set $A$ is a finite set of digits including $0$. Thus a number can be seen as a finite or infinite string of digits. An on-line algorithm processes the input piece-by-piece in a serial fashion. On-line arithmetic, introduced by Trivedi and Ercegovac, is a mode of computation where operands and results flow through arithmetic units in a digit serial manner, starting with the most significant digit. In this paper, we first formulate a generalized version of the on-line algorithms for multiplication and division of Trivedi and Ercegovac for the cases that $β$ is any real or complex number, and digits are real or complex. We then define the so-called OL Property, and show that if $(β, A)$ has the OL Property, then on-line multiplication and division are feasible by the Trivedi-Ercegovac algorithms. For a real base $β$ and a digit set $A$ of contiguous integers, the system $(β, A)$ has the OL Property if $\# A > |β|$. For a complex base $β$ and symmetric digit set $A$ of contiguous integers, the system $(β, A)$ has the OL Property if $\# A > β\overlineβ + |β+ \overlineβ|$. Provided that addition and subtraction are realizable in parallel in the system $(β, A)$ and that preprocessing of the denominator is possible, our on-line algorithms for multiplication and division have linear time complexity. Three examples are presented in detail: base $β=\frac{3+\sqrt{5}}{2}$ with digits $A=\{-1,0,1\}$; base $β=2i$ with digits $A = \{-2,-1, 0,1,2\}$; and base $β= -\frac{3}{2} + i \frac{\sqrt{3}}{2} = -1 + ω$, where $ω= \exp{\frac{2iπ}{3}}$, with digits $A = \{0, \pm 1, \pm ω, \pm ω^2 \}$.
description: Extended version of contribution on 23rd IEEE Symposium on Computer Arithmetic ARITH23
Bibliographie Paul Reinecke 1896-1942
Creators: name: Wagner, Friedrich
Publisher: name: Bericht der Römisch-Germanischen Kommission
Year: 2017

description: [nicht vorhanden / not available]
description: Bericht der Römisch-Germanischen Kommission, Bd. 31,2 (1941): Bericht der Römisch-Germanischen Kommission
title: Consideration of civil cases of child adoption in the legislation of the republic of Uzbekistan: theory and practice
Creators: name: Atalykova, Gulzhazira
Publisher: name: Tashkent state university of law
Year: 2019

description: The article discusses the theoretical and practical problems of the courts applying the law on adoption cases, the participation of the prosecutor and the guardianship authority, the requirements and basis for the cancellation of adoption.
Geschichte von Novaesium
Creators: name: Nissen, Heinrich
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 111/112 (1904): Bonner Jahrbücher. Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Tracing where IoT data are collected and aggregated
Creators: name: Bodei, Chiara
name: Degano, Pierpaolo
name: Ferrari, Gian-Luigi
name: Galletta, Letterio
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.2; F.3.1

description: The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We address these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and how they flow in the system. The results of the analysis can be used by a designer to check the behaviour of smart objects, in particular to verify non-functional properties, among which security.
Electronically reconfigurable metal-on-silicon metamaterial
Creators: name: Urzhumov, Yaroslav
name: Lee, Jae Seung
name: Tyler, Talmage
name: Dhar, Sulochana
name: Nguyen, Vinh
name: Jokerst, Nan M.
name: Schmalenberg, Paul
name: Smith, David R.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Reconfigurable metamaterial-based apertures can play a unique role in both imaging and in beam-forming applications, where current technology relies mostly on the fabrication and integration of large detector or antenna arrays. Here, we report the experimental demonstration of a voltage-controlled, silicon-based electromagnetic metamaterial operating in the W-band (75-110 GHz). In this composite semiconductor metamaterial, patterned gold metamaterial elements serve both to manage electromagnetic wave propagation while simultaneously acting as electrical Schottky contacts that control the local conductivity of the semiconductor substrate. The active device layers consist of a patterned metal on a 2-μm-thick n-doped silicon layer, adhesively bonded to a transparent Pyrex wafer. The transmittance of the composite metamaterial can be modulated over a given frequency band as a function of bias voltage. We demonstrate a quantitative understanding of the composite device through the application of numerical approaches that simultaneously treat the semiconductor junction physics as well as wave propagation.
description: 28 double-spaced pages, 8 figures
Multiactive objects and their applications
Creators: name: Henrio, Ludovic
name: Rochas, Justine
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: In order to tackle the development of concurrent and distributed systems, the active object programming model provides a high-level abstraction to program concurrent behaviours. There exists already a variety of active object frameworks targeted at a large range of application domains: modelling, verification, efficient execution. However, among these frameworks, very few consider a multi-threaded execution of active objects. Introducing controlled parallelism within active objects enables overcoming some of their limitations. In this paper, we present a complete framework around the multi-active object programming model. We present it through ProActive, the Java library that offers multi-active objects, and through MultiASP, the programming language that allows the formalisation of our developments. We then show how to compile an active object language with cooperative multi-threading into multi-active objects. This paper also presents different use cases and the development support to illustrate the practical usability of our language. Formalisation of our work provides the programmer with guarantees on the behaviour of the multi-active object programming model and of the compiler.
Zur Bildsprache römischer ›Alltagsszenen‹: Die Mahl- und Küchenreliefs am Pfeilergrabmal von Igel
Creators: name: Ritter, Stefan
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 202/203.2002/2003(2005): Bonner Jahrbücher
A Framework for Certified Self-Stabilization
Creators: name: Altisen, Karine
name: Corbineau, Pierre
name: Devismes, Stephane
Publisher: name: arXiv
Year: 2016
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We propose a general framework to build certified proofs of distributed self-stabilizing algorithms with the proof assistant Coq. We first define in Coq the locally shared memory model with composite atomicity, the most commonly used model in the self-stabilizing area. We then validate our framework by certifying a non trivial part of an existing silent self-stabilizing algorithm which builds a $k$-clustering of the network. We also certify a quantitative property related to the output of this algorithm. Precisely, we show that the computed $k$-clustering contains at most $\lfloor \frac{n-1}{k+1} \rfloor + 1$ clusterheads, where $n$ is the number of nodes in the network. To obtain these results, we also developed a library which contains general tools related to potential functions and cardinality of sets.
Computability in Basic Quantum Mechanics
Creators: name: Neumann, Eike
name: Pape, Martin
name: Streicher, Thomas
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: 03B70, 03F60, 18C50, 68Q55

description: The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and observable can be formulated as kinds of measures as in [21]. The aim of this paper is to show that there is a good notion of computability for these data structures in the sense of Weihrauch's Type Two Effectivity (TTE) [26]. Instead of explicitly exhibiting admissible representations for the data types under consideration we show that they do live within the category $\mathbf{QCB}_0$ which is equivalent to the category $\mathbf{AdmRep}$ of admissible representations and continuously realizable maps between them. For this purpose in case of observables we have to replace measures by valuations which allows us to prove an effective version of von Neumann's Spectral Theorem.
Additional file 1 of Remaining popular: power-law regularities in network dynamics
Creators: name: Somin, Shahar
name: Altshuler, Yaniv
name: Pentland, Alex ‘Sandy’
name: Shmueli, Erez
Publisher: name: figshare
Year: 2023
Subjects: subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Biotechnology
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences

description: Supplementary information (PDF 1.5 MB)
Additional file 4 of Transcriptome-wide association study identifies new susceptibility genes and pathways for spondyloarthritis
Creators: name: Su, Xiaochen
name: Chen, Anfa
name: Teng, Menghao
name: Ji, Wenchen
name: Zhang, Yingang
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 4: Table S2 GO terms identified by Metascape enriched for SpA
Untersuchungen in der Colonia Ulpia Traiana 2009
Creators: name: Zieling, Norbert
name: Faber, Andrea
name: Leih, Sabine
name: Liesen, Bernd
name: Rudnick, Bernd
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 210/211.2010/2011(2012): Bonner Jahrbücher
The MINER$ν$A Data Acquisition System and Infrastructure
Creators: name: Perdue, G. N.
name: Bagby, L.
name: Baldin, B.
name: Gingu, C.
name: Olsen, J.
name: Rubinov, P.
name: Schulte, E. C.
name: Bradford, R.
name: Brooks, W. K.
name: Caicedo, D. A. M.
name: Castromonte, C. M.
name: Chvojka, J.
name: da Motta, H.
name: Danko, I.
name: Devan, J.
name: Eberly, B.
name: Felix, J.
name: Fields, L.
name: Fiorentini, G. A.
name: Gago, A. M.
name: Gran, R.
name: Harris, D. A.
name: Hurtado, K.
name: Lee, H.
name: Maher, E.
name: Manly, S.
name: Marshall, C. M.
name: McFarland, K. S.
name: Mislivec, A.
name: Mousseau, J.
name: Osmanov, B.
name: Osta, J.
name: Paolone, V.
name: Ransome, R. D.
name: Ray, H.
name: Schmitz, D. W.
name: Simon, C.
name: Salinas, C. J. Solano
name: Tice, B. G.
name: Walton, T.
name: Wolcott, J.
name: Zhang, D.
name: Ziemer, B. P.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: MINER$ν$A (Main INjector ExpeRiment $ν$-A) is a new few-GeV neutrino cross section experiment that began taking data in the FNAL NuMI (Fermi National Accelerator Laboratory Neutrinos at the Main Injector) beam-line in March of 2010. MINER$ν$A employs a fine-grained scintillator detector capable of complete kinematic characterization of neutrino interactions. This paper describes the MINER$ν$A data acquisition system (DAQ) including the read-out electronics, software, and computing architecture.
description: 34 pages, 16 figures
Additional file 2 of Transcriptome-wide association study identifies new susceptibility genes and pathways for spondyloarthritis
Creators: name: Su, Xiaochen
name: Chen, Anfa
name: Teng, Menghao
name: Ji, Wenchen
name: Zhang, Yingang
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 2: Quality Control Steps.
Games for Bisimulations and Abstraction
Creators: name: Escrig, David De Frutos
name: Keiren, Jeroen J. A.
name: Willemse, Tim A. C.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Weak bisimulations are typically used in process algebras where silent steps are used to abstract from internal behaviours. They facilitate relating implementations to specifications. When an implementation fails to conform to its specification, pinpointing the root cause can be challenging. In this paper we provide a generic characterisation of branching-, delayed-, $η$- and weak-bisimulation as a game between Spoiler and Duplicator, offering an operational understanding of the relations. We show how such games can be used to assist in diagnosing non-conformance between implementation and specification. Moreover, we show how these games can be extended to distinguish divergences.
Carbon-19 in Halo EFT: Effective-range parameters from Coulomb-dissociation experiments
Creators: name: Acharya, B.
name: Phillips, Daniel R.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Nuclear Theory (nucl-th)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: We study the Coulomb dissociation of the 19C nucleus in an effective field theory that uses the 18C core and the neutron as effective degrees of freedom and exploits the separation of scales in this halo system. We extract the effective-range parameters and the separation energy of the halo neutron from the experimental data taken at RIKEN by Nakamura et al. We obtain a value of (575 +/- 55(stat.) +/- 20(EFT)) keV for the one-neutron separation energy of 19C, and (7.75 +/- 0.35(stat.) +/- 0.3(EFT)) fm for the 18C-neutron scattering length. The width of the longitudinal momentum distribution predicted by EFT using this separation energy agrees well with the experimental data taken at NSCL by Bazin et al., reaffirming the dominance of the s-wave configuration of the valence neutron.
description: 14 pages, 10 figures
On the Compositionality of Quantitative Information Flow
Creators: name: Kawamoto, Yusuke
name: Chatzikokolakis, Konstantinos
name: Palamidessi, Catuscia
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Information flow is the branch of security that studies the leakage of information due to correlation between secrets and observables. Since in general such correlation cannot be avoided completely, it is important to quantify the leakage. The most followed approaches to defining appropriate measures are those based on information theory. In particular, one of the most successful approaches is the recently proposed $g$-leakage framework, which encompasses most of the information-theoretic ones. A problem with $g$-leakage, however, is that it is defined in terms of a minimization problem, which, in the case of large systems, can be computationally rather heavy. In this paper we study the case in which the channel associated to the system can be decomposed into simpler channels, which typically happens when the observables consist of multiple components. Our main contribution is the derivation of bounds on the (multiplicative version of) $g$-leakage of the whole system in terms of the $g$-leakages of its components. We also consider the particular cases of min-entropy leakage and of parallel channels, generalizing and systematizing results from the literature. We demonstrate the effectiveness of our method and evaluate the precision of our bounds using examples.
Additional file 1 of Machine learning in general practice: scoping review of administrative task support and automation
Creators: name: Sørensen, Natasha Lee
name: Bemman, Brian
name: Jensen, Martin Bach
name: Moeslund, Thomas B.
name: Thomsen, Janus Laust
Publisher: name: figshare
Year: 2023
Subjects: subject: Artificial Intelligence and Image Processing
subject: FOS: Computer and information sciences

description: Additional file 1. Preferred Reporting Items for Systematic reviews and Meta-Analyses extension for Scoping Reviews (PRISMA-ScR) Checklist.