cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Additional file 3 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 3: Fig. S3. The TEM results presenting callus epidermis (1/3 of the lip length): a magnification of 6f. b large nucleus surrounded by numerous plastids and vesicles, osmiophilic phenolic content in the vacuole (arrows). Lip apex: c the heterogenous remnants of secretion with osmiophilic phenolic content (also gathered in the vacuole, white arrows) in the papillae. d magnification of c. e the osmiophilic phenolic globules and phenolic content in vacuoles and vacuolar fragmentation. f magnification of e. cw - cell wall, d - dictyosome, n - nucleus, p - plastid, ph - phenolic content, ps - periplasmic space, st - starch grain, va - vacuole, ve - vesicle.
Additional file 5 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 5: Figure S5: KEGG pathway analysis of human pancreatic cancer (ID: hsa05218) 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.
$σ$-locales in Formal Topology
Creators: name: Ciraulo, Francesco
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 06D22, 03F65

description: A $σ$-frame is a poset with countable joins and finite meets in which binary meets distribute over countable joins. The aim of this paper is to show that $σ$-frames, actually $σ$-locales, can be seen as a branch of Formal Topology, that is, intuitionistic and predicative point-free topology. Every $σ$-frame $L$ is the lattice of Lindelöf elements (those for which each of their covers admits a countable subcover) of a formal topology of a specific kind which, in its turn, is a presentation of the free frame over $L$. We then give a constructive characterization of the smallest (strongly) dense $σ$-sublocale of a given $σ$-locale, thus providing a "$σ$-version" of a Boolean locale. Our development depends on the axiom of countable choice.
The Third Trick
Creators: name: Diener, Hannes
name: Hendtlass, Matthew
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03F60

description: We prove a result, similar to the ones known as Ishihara's First and Second Trick, for sequences of functions.
Additional file 4 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 4: Fig. S4. Histochemical tests of column foot: a the single-layered epidermis, parenchyma with collateral vascular bundles. b test for the presence of proteins (ABB). c few and tiny starch grains (PAS). d dihydroxyphenols in the epidermis (FeCl3). ab - abaxial (outer) surface, ad - adaxial (inner) surface, n - nucleus, vb - vascular bundle.
Radially and azimuthally polarized non paraxial Bessel beams made simple
Creators: name: Ornigotti, Marco
name: Aiello, Andrea
Publisher: name: arXiv
Year: 2013
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present a method for the realization of radially and azimuthally polarized nonparaxial Bessel beams in a rigorous but simple manner. This result is achieved by using the concept of Hertz vector potential to generate exact vector solutions of Maxwell's equations from scalar Bessel beams. The scalar part of the Hertz potential is built by analogy with the paraxial case as a linear combination of Bessel beams carrying a unit of orbital angular momentum. In this way we are able to obtain spatial and polarization patterns analogous to the ones exhibited by the standard cylindrically polarized paraxial beams. Applications of these beams are discussed.
description: 8 Pages, 4 Figures
title: Хавф остида қолдиришнинг субъектив томонини аниқлаш юзасидан айрим мулоҳазалар
Creators: name: Davletmuratov, S.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақола хавф остида қолдиришнинг субъектив томонини аниқлаш масалаларига бағишланган.
Formal diagonalization of the discrete Lax operators and construction of conserved densities and symmetries for dynamical systems
Creators: name: Habibullin, Ismagil
name: Yangubaeva, Marina
Publisher: name: arXiv
Year: 2013
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: An alternative method of constructing the formal diagonalization for the discrete Lax operators is proposed which can be used to calculate conservation laws and in some cases generalized symmetries for discrete dynamical systems. Discrete potential KdV equation, lattice derivative nonlinear Schrödinger equation, dressing chain, Toda lattice are considered as illustrative examples. For the Toda lattice on a quad graph corresponding to the Lie algebra $A_1^{(1)}$ infinite series of conservation laws are described. Systems of quad graph equations are represented including lattice versions of the "matrix" NLS and "vector" derivative NLS equations.
description: 33 pages
title: Айрим хорижий мамлакатларда ўғрилик жинояти учун жавобгарлик масалалари
Creators: name: Khasanov, T.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мазкур мақолада бутун дунёда кенг тарқалган жиноятлардан бири – ўғрилик жинояти учун айрим хорижий мамлакатларнинг жиноят кодексларида белгиланган жавобгарлик масалалари қиёсий-ҳуқуқий жиҳатдан таҳлил қилиниб, Ўзбекистон Республикаси Жиноят кодексининг мазкур жиноят учун жавобгарликни кўзда тутадиган нормаларни такомиллаштириш юзасидан тегишли тавсиялар берилган.
Methods of QoS improvement for P2P IPTV based on traffic modelling
Creators: name: Biernacki, Arkadiusz
Publisher: name: arXiv
Year: 2012
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Over the last years many technological advances were introduced in Internet television to meet user needs and expectations. However due to an overwhelming bandwidth requirements traditional IP-based television service based on simple client-server approach remains restricted to small group of clients. In such situation the use of the peer-to-peer overlay paradigm to deliver live television on the Internet is gaining increasing attention. Unfortunately the current Internet infrastructure provides only best effort services for this kind of applications and do not offer quality of service. This paper is a research proposition which presents potential solutions for efficient IPTV streaming over P2P networks. We assume that the solutions will not directly modify existing P2P IPTV protocols but rather will be dedicated for a network engineer or an Internet service provider which will be able to introduce and configure the proposed mechanisms in network routers.
En christelig Ligpredicken, der ... Fru Barbara Frisz ... Jørgen Seefeld til Viszborg, hans ... Hustrue, hendis ... Liig bleff ... nedersat udi ... Othense ... 11. Octobris 1638
Creators: name: Mikkelsen, Hans
Publisher: name: Unknown
Year: 0
Subjects: Friis, Barbara

description: Begravelsesvers for Barbara Frisz
Parameterized Power Vertex Cover
Creators: name: Angel, Eric
name: Bampis, Evripidis
name: Escoffier, Bruno
name: Lampis, Michael
Publisher: name: arXiv
Year: 2018
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: We study a recently introduced generalization of the Vertex Cover (VC) problem, called Power Vertex Cover (PVC). In this problem, each edge of the input graph is supplied with a positive integer demand. A solution is an assignment of (power) values to the vertices, so that for each edge one of its endpoints has value as high as the demand, and the total sum of power values assigned is minimized. We investigate how this generalization affects the parameterized complexity of Vertex Cover. On the positive side, when parameterized by the value of the optimal P, we give an O*(1.274^P)-time branching algorithm (O* is used to hide factors polynomial in the input size), and also an O*(1.325^P)-time algorithm for the more general asymmetric case of the problem, where the demand of each edge may differ for its two endpoints. When the parameter is the number of vertices k that receive positive value, we give O*(1.619^k) and O*(k^k)-time algorithms for the symmetric and asymmetric cases respectively, as well as a simple quadratic kernel for the asymmetric case. We also show that PVC becomes significantly harder than classical VC when parameterized by the graph's treewidth t. More specifically, we prove that unless the ETH is false, there is no n^o(t)-time algorithm for PVC. We give a method to overcome this hardness by designing an FPT approximation scheme which gives a (1+epsilon)-approximation to the optimal solution in time FPT in parameters t and 1/epsilon.
description: Short version presented at the conference WG 2016, Graph-Theoretic Concepts in Computer Science, LNCS 9941
Call-by-name Gradual Type Theory
Creators: name: New, Max S.
name: Licata, Daniel R.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: We present gradual type theory, a logic and type theory for call-by-name gradual typing. We define the central constructions of gradual typing (the dynamic type, type casts and type error) in a novel way, by universal properties relative to new judgments for gradual type and term dynamism, which were developed in blame calculi and to state the "gradual guarantee" theorem of gradual typing. Combined with the ordinary extensionality ($η$) principles that type theory provides, we show that most of the standard operational behavior of casts is uniquely determined by the gradual guarantee. This provides a semantic justification for the definitions of casts, and shows that non-standard definitions of casts must violate these principles. Our type theory is the internal language of a certain class of preorder categories called equipments. We give a general construction of an equipment interpreting gradual type theory from a 2-category representing non-gradual types and programs, which is a semantic analogue of Findler and Felleisen's definitions of contracts, and use it to build some concrete domain-theoretic models of gradual typing.
On the enumeration of closures and environments with an application to random generation
Creators: name: Bendkowski, Maciej
name: Lescanne, Pierre
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Environments and closures are two of the main ingredients of evaluation in lambda-calculus. A closure is a pair consisting of a lambda-term and an environment, whereas an environment is a list of lambda-terms assigned to free variables. In this paper we investigate some dynamic aspects of evaluation in lambda-calculus considering the quantitative, combinatorial properties of environments and closures. Focusing on two classes of environments and closures, namely the so-called plain and closed ones, we consider the problem of their asymptotic counting and effective random generation. We provide an asymptotic approximation of the number of both plain environments and closures of size $n$. Using the associated generating functions, we construct effective samplers for both classes of combinatorial structures. Finally, we discuss the related problem of asymptotic counting and random generation of closed environemnts and closures.
title: Особенности законодательного регулирования иностранной банковской деятельности в странах СНГ
Creators: name: Khujayev, Sh.
Publisher: name: Tashkent state university of law
Year: 2018

description: В статье проанализированы нормы банковского законодательства стран СНГ касательно правового регулирования иностранной банковской деятельности. На основе изучения положений соответствующих законов было предложено внесение соответствующих изменений и дополнений в банковское законодательство Республики Узбекистан.
title: Penitentiary system of contemporary Uzbekistan: current condition and future promises in the reformation process
Creators: name: Salaev, N.
Publisher: name: Tashkent state university of law
Year: 2018

description: This article illustrates concept of penitentiary system and essence of some definitions in the process of reformation by referring to the works of world’s various scholars. The paper also examines types of penitentiary establishments of Uzbekistan by analyzing legal framework of legislative acts. Furthermore, the author aimed to propose private penitentiary establishments as an alternative to public institutions. At the same time, the foreign experience in particular, experiences of USA, UK, Sweden studied in order to implement to national penal practice.
A Galois connection between Turing jumps and limits
Creators: name: Brattka, Vasco
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that characterizes the functions that are computable relative to the halting problem. Correspondingly, these two classes are the largest classes of functions that can be pre or post composed to limit computable functions without leaving the class of limit computable functions. We transfer these observations to the lattice of represented spaces where it leads to a formal Galois connection. We also formulate a version of this result for computable metric spaces. Limit computability and computability relative to the halting problem are notions that coincide for points and sequences, but even restricted to continuous functions the former class is strictly larger than the latter. On computable metric spaces we can characterize the functions that are computable relative to the halting problem as those functions that are limit computable with a modulus of continuity that is computable relative to the halting problem. As a consequence of this result we obtain, for instance, that Lipschitz continuous functions that are limit computable are automatically computable relative to the halting problem. We also discuss 1-generic points as the canonical points of continuity of limit computable functions, and we prove that restricted to these points limit computable functions are computable relative to the halting problem. Finally, we demonstrate how these results can be applied in computable analysis.
Additional file 1 of Angiogenesis precedes myogenesis during regeneration following biopsy injury of skeletal muscle
Creators: name: Jacobsen, Nicole L.
name: Morton, Aaron B.
name: Segal, Steven S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Computational Biology

description: Additional file 1: Supp. Figure 1. At 1 dpi, Evans Blue dye uptake is restricted to the edges of biopsied myofibers.
Additional file 2 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 2: Figure S2: KEGG pathway analysis of human prostate cancer (ID: hsa05215) 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.
Römische Badruine von Hüfingen, Ldkrs. Donaueschingen. Ein Beitrag zu ihrer Konservierung
Creators: name: Eckerle, August
Publisher: name: Archäologische Nachrichten aus Baden
Year: 2018

description: -
description: Archäologische Nachrichten aus Baden, Bd. 4 (1970): Archäologische Nachrichten aus Baden
PO`LAT MADREYMOVNING QORAQALPOQ RAQSLARINI SAHNALASHTIRISHDA TUTGAN O`RNI
Creators: name: Baxram Abipov Dosnazar uli Òzbekiston davlat sañat va madniyat instituti  Nukus filiali 4 kurs talabasi Òzbek xaliq raqslarini sahnalashtirish
name: Zuxra Yuldasheva Salievna Òzbekistan mamleketlik kòrkem òner hàm madeniyat instituti  Nòkis filiali Òzbek xaliq oyinlarin saxnalastiriw pàni ustazi
Publisher: name: Zenodo
Year: 2024

description: Mamlakatimiz rivojlanishining hozirgi davrida madaniyat va san’at taraqqiyoti oliy ta’lim tizimi bilan bevosita hamohang tarzda jadal odimlanmoqda. Ushbu maqolada Po`lat Madreymovning qoraqalpoq raqslarini sahnalashtirishda tutgan o`rni haqida so`z yurutulgan.

Kalit so`zlar: xalq ijodiyoti, Qoraqalpoq raqs san’ati, xalq raqs san’ati, madaniyat va san’at tizimi, san’atkorlar, tomoshabinlar, raqqoslar, ma’naviy boyliklar.
The Trispectrum as a Diagnostic of Primordial Orthogonal non-Gaussianities
Creators: name: Renaux-Petel, Sebastien
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In single-field inflationary models with a low sound speed, the orthogonal shape of the primordial bispectrum arises due to partial cancellations between equilateral-type shapes. This fact allows for a speed of sound c_s as low as about 0.01, which is actually weakly preferred by WMAP data. For such values, the trispectrum, scaling like 1/c_s^4, is of order 10^8 and is therefore comparable to, and greater than, the 1 sigma observational bound t_NL^eq=(-3.11 +- 7.5)*10^6. Hence, the trispectrum is already constraining inflationary mechanisms candidates for generating an orthogonal bispectrum at the level hinted in WMAP data. If this signal persists in imminent Planck data, most of the parameter space of the simplest effective field theory of inflation will be under observational pressure, while a dedicated analysis will be needed for the substantial fraction of parameter space where we show that a qualitatively new, orthogonal, trispectrum naturally arises.
description: 22 pages, 10 figures. References added. Appendix B about trispectrum estimators added. Matches version published in JCAP
Soft-gluon resummation for single-particle inclusive hadroproduction at high transverse momentum
Creators: name: Catani, S.
name: Grazzini, M.
name: Torre, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We consider the cross section for one-particle inclusive production at high transverse momentum in hadronic collisions. We present the all-order resummation formula that controls the logarithmically-enhanced perturbative QCD contributions to the partonic cross section in the threshold region, at fixed rapidity of the observed parton (hadron). The explicit resummation up to next-to-leading logarithmic accuracy is supplemented with the computation of the general structure of the near-threshold contributions to the next-to-leading order cross section. This next-to-leading order computation allows us to extract the one-loop hard-virtual amplitude that enters into the resummation formula. This is a necessary ingredient to explicitly extend the soft-gluon resummation beyond the next-to-leading logarithmic accuracy. These results equally apply to both spin-unpolarized and spin-polarized scattering processes.
description: References added. Version published on Nucl. Phys. B
Cellular Cohomology in Homotopy Type Theory
Creators: name: Buchholtz, Ulrik
name: Hou, Kuen-Bang
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Algebraic Topology (math.AT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian groups of many common spaces are easier to compute. Cellular cohomology is a special kind of cohomology designed for cell complexes: these are built in stages by attaching spheres of progressively higher dimension, and cellular cohomology defines the groups out of the combinatorial description of how spheres are attached. Our main result is that for finite cell complexes, a wide class of cohomology theories (including the ones defined through Eilenberg-MacLane spaces) can be calculated via cellular cohomology. This result was formalized in the Agda proof assistant.
Sur l'hyperbolicité de graphes associés au groupe de Cremona
Creators: name: Lonjou, Anne
Publisher: name: arXiv
Year: 2018
Subjects: subject: Group Theory (math.GR)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: To reinforce the analogy between the mapping class group and the Cremona group of rank $2$ over an algebraic closed field, we look for a graph analoguous to the curve graph and such that the Cremona group acts on it non-trivially. A candidate is a graph introduced by D. Wright. However, we demonstrate that it is not Gromov-hyperbolic. This answers a question of A. Minasyan and D. Osin. Then, we construct two graphs associated to a Voronoï tesselation of the Cremona group introduced in a previous work of the autor. We show that one is quasi-isometric to the Wright graph. We prove that the second one is Gromov-hyperbolic.
description: 29 pages, en Fran\c{c}ais
Optimal Maintenance Policy for a Compound Poisson Shock Model
Creators: name: Junca, Mauricio
name: Sanchez-Silva, Mauricio
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: Engineered and infrastructure systems deteriorate (e.g., loss capacity) as a result of adverse environmental or external conditions. Modeling deterioration is essential to define optimum design strategies and inspection and maintenance (intervention) programs. In particular, the main purpose of maintenance is to increase the system availability by extending the life of the system. Most strategies for maintenance optimization focus on defining long term strategies based on the system's condition at the decision time (e.g., $t=0$). However, due to the large uncertainty in the system's performance through life, an optimal maintenance policy requires both permanent monitoring and a cost-efficient plan of interventions. This paper presents a model to define an optimal maintenance policy of systems that deteriorate as a result of shocks. Deterioration caused by shocks is modeled as a compound Poisson process and the optimal maintenance strategy is based on an impulse control model. In the model the optimal time and size of interventions are executed according the the system state, which is obtained from permanent monitoring.
Detection of X-ray periodicity from a new eclipsing polar candidate XGPS-I J183251-100106
Creators: name: Hui, C. Y.
name: Seo, K. A.
name: Hu, C. P.
name: Lin, L. C. C.
name: Chou, Y.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We report the results from a detailed analysis of an archival XMM-Newton observation of the X-ray source XGPS-I J183251-100106, which has been suggested as a promising magnetic cataclysmic variable candidate based on its optical properties. A single periodic signal of 1.5 hrs is detected from all EPIC cameras on board XMM-Newton. The phase-averaged X-ray spectrum can be well-modeled with a thermal bremsstrahlung of a temperature kT~50 keV. Both X-ray spectral and temporal behavior of this system suggest it as a eclipsing cataclysmic variable of AM Herculis (or polar) type.
description: 15 pages, 6 figures, accepted for publication in ApJ
Logarithmic ^sl(2) CFT models from Nichols algebras. 1
Creators: name: Semikhatov, A. M.
name: Tipunin, I. Yu.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics

description: We construct chiral algebras that centralize rank-two Nichols algebras with at least one fermionic generator. This gives "logarithmic" W-algebra extensions of a fractional-level ^sl(2) algebra. We discuss crucial aspects of the emerging general relation between Nichols algebras and logarithmic CFT models: (i) the extra input, beyond the Nichols algebra proper, needed to uniquely specify a conformal model; (ii) a relation between the CFT counterparts of Nichols algebras connected by Weyl groupoid maps; and (iii) the common double bosonization U(X) of such Nichols algebras. For an extended chiral algebra, candidates for its simple modules that are counterparts of the U(X) simple modules are proposed, as a first step toward a functorial relation between U(X) and W-algebra representation categories.
description: V3: Several minor corrections and references updated/corrected, plus two important changes: 1. The presentation in Sec. 7.4 used to be missing some essential information, which is now restored and the subsection expanded. 2. Details pertaining to U(X) representations are now moved to the second paper in the series (to appear soon), where the U(X) representation theory will be expounded
Additional file 2 of Angiogenesis precedes myogenesis during regeneration following biopsy injury of skeletal muscle
Creators: name: Jacobsen, Nicole L.
name: Morton, Aaron B.
name: Segal, Steven S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Computational Biology

description: Additional file 2: Supp. Figure 2. Blood flow within the regenerating wound at 10 dpi was visualized by red blood cell transit during intravital microscopy. A. Monochrome image of regenerating microvessels in Cdh5-mTmG mice. B. Color coding denotes the presence and direction of red blood cell flow.
Carl Christ, Das munimentum Trajani (Gustavsburg) und Julian’s erster Rheinübergang im Jahre 357
Creators: name: Schaaffhausen, Hermann
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Carl Christ, Das munimentum Trajani (Gustavsburg) und Julian’s erster Rheinübergang im Jahre 357. Aus dem Correspondenzbl. des Gesammtvereins d. d. Gesch.- u. Alterthums-Vereine 1880, Nr. 9.
description: Bonner Jahrbücher, Bd. 74 (1882): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Das Winckelmanns-Fest in Bonn am 9. Dezember 1882
Creators: name: Redaktion, Die
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 74 (1882): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Inverse acoustic scattering by solid obstacles: topological sensitivity and its preliminary application
Creators: name: Yuan, H.
name: Bracq, G.
name: Lin, Q.
Publisher: name: Taylor & Francis
Year: 2015
Subjects: subject: Space Science
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Science Policy
subject: 60506 Virology

description: A to pological sensitivity approach is developed for the imaging of penetrable solid obstacles embedded in a fluid background medium by way of inverse acoustic scattering. To this end, an asymptotic form for the scattered field caused by a nucleating spherical solid obstacle in the reference fluid medium is derived within the boundary integral equation framework, where the required limiting behaviour of the acceleration field inside the perturbation is established based on solutions of two simplified fluid–solid interaction problems. With this result, the equivalence of acoustic scattering by fluid and solid scatterers in terms of asymptotic behaviour is observed and numerically validated. The direct and adjoint-field topological sensitivity expressions for transient and time-harmonic excitations are obtained accordingly. The utility of the proposed method as a tool for preliminary obstacle reconstruction and bulk modulus characterization is illustrated through numerical examples and an exploratory experimental study. On the basis of adjusted topological sensitivity formulas for fluid reference domains containing pre-existing solid inhomogeneities, an iterative 3D obstacle reconstruction approach is established and its performance with synthetic data is demonstrated.
Gravitationally Coupled Dirac Equation for Antimatter
Creators: name: Jentschura, U. D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The coupling of antimatter to gravity is of general interest because of conceivable cosmological consequences ("surprises") related to dark energy and the cosmological constant. Here, we revisit the derivation of the gravitationally coupled Dirac equation and find that the prefactor of a result given previously in [D.R. Brill and J.A. Wheeler, Rev. Mod. Phys., vol. 29, p. 465 (1957)] for the affine connection matrix is in need of a correction. We also discuss the conversion the curved-space Dirac equation from East-Coast to West-Coast conventions, in order to bring the gravitationally coupled Dirac equation to a form where it can easily be unified with the electromagnetic coupling as it is commonly used in modern particle physics calculations. The Dirac equation describes anti-particles as negative-energy states. We find a symmetry of the gravitationally coupled Dirac equation, which connects particle and antiparticle solutions for a general space-time metric of the Schwarzschild type and implies that particles and antiparticles experience the same coupling to the gravitational field, including all relativistic quantum corrections of motion. Our results demonstrate the consistency of quantum mechanics with general relativity and imply that a conceivable difference of gravitational interaction of hydrogen and antihydrogen should directly be attributed to a a "fifth force" ("quintessence").
description: 8 pages; RevTeX; Eqs. (40), (45) and (46) corrected according to the Erratum published in Phys.Rev.A 87 (2013) 069903; conclusions unchanged
Additional file 1 of Knowledge and perceptions about Dolutegravir and Dolutegravir counselling: a qualitative study among women living with HIV
Creators: name: Chapola, John C.
name: Lee, Fan
name: Bula, Agatha
name: Rosenberg, Nora E.
name: Tseka, Jennifer
name: Chagomerana, Maganizo
name: Hosseinipour, Mina C.
name: Tang, Jennifer Hui-Yu
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Biotechnology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Supplementary Material 1
[Brev til Even Solberg]
Creators: name: Stub, P.J.
name: Bing, Frederik
name: Monrad, Johan Fredrik
name: Rønnau, Cornelius Thomas
name: Stibolt, Lorentz
name: Krag, Hans Peter Schnitler
name: Prahl, G.C.C.W.
name: Rogert, H.
name: Saxild, Erik Nicolai
Publisher: name: Unknown
Year: 0
Subjects: Solberg, Even

description: Her brev fra P.J. Stub, Frederik Bing, J.F. Monrad (1799-1877), Cornelius Thomas Rønnau, Lorentz Stibolt, H.P.S. Krag, Georg Prahl, H. Rogert og Eric Nicolai Saxild
Event Structures for Petri nets with Persistence
Creators: name: Baldan, Paolo
name: Bruni, Roberto
name: Corradini, Andrea
name: Gadducci, Fabio
name: Melgratti, Hernan
name: Montanari, Ugo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.2; F.3.2; F.4.1

description: Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures, called prime event structures, where each event has a uniquely determined set of causes. Prime event structures, in turn, can be identified with their domain of configurations. At a categorical level, this is nicely formalised by Winskel as a chain of coreflections. Contrary to prime event structures, general event structures allow for the presence of disjunctive causes, i.e., events can be enabled by distinct minimal sets of events. In this paper, we extend the connection between Petri nets and event structures in order to include disjunctive causes. In particular, we show that, at the level of nets, disjunctive causes are well accounted for by persistent places. These are places where tokens, once generated, can be used several times without being consumed and where multiple tokens are interpreted collectively, i.e., their histories are inessential. Generalising the work on ordinary nets, Petri nets with persistence are related to a new subclass of general event structures, called locally connected, by means of a chain of coreflections relying on an unfolding construction.
title: Tuna Species of the U.S. West Coast: A Photographic Identification Guide
titleType: Other
Creators: name: Heberer, Liana N.
name: Dewar, Heidi
name: Snodgrass, Owyn E.
name: Itano, David G.
Publisher: name: United States. National Marine Fisheries Service, Southwest Fisheries Science Center (U.S.), University of California, Santa Cruz, Pacific Fishery Management Council (U.S.)
Year: 2019

description: NOAA technical memorandum NMFS NOAA-TM-NMFS-SWFSC ; 624
The principle of pointfree continuity
Creators: name: Kawai, Tatsuji
name: Sambin, Giovanni
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 03F55, 06D22

description: In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuity. An operation between points of pointfree topologies is continuous if it is induced by a relation between the bases of the topologies; this gives a rigorous condition for Brouwer's continuity principle to hold. The principle of pointfree continuity for pointfree topologies $\mathcal{S}$ and $\mathcal{T}$ says that any relation which induces a continuous operation between points is a morphism from $\mathcal{S}$ to $\mathcal{T}$. The principle holds under the assumption of bi-spatiality of $\mathcal{S}$. When $\mathcal{S}$ is the formal Baire space or the formal unit interval and $\mathcal{T}$ is the formal topology of natural numbers, the principle is equivalent to spatiality of the formal Baire space and formal unit interval, respectively. Some of the well-known connections between spatiality, bar induction, and compactness of the unit interval are recast in terms of our principle of continuity. We adopt the Minimalist Foundation as our constructive foundation, and positive topology as the notion of pointfree topology. This allows us to distinguish ideal objects from constructive ones, and in particular, to interpret choice sequences as points of the formal Baire space.
title: Значение преступного мотива и цели при квалификации деяния
Creators: name: Zakirova, U.
Publisher: name: Tashkent state university of law
Year: 2018

description: В данной статье освещаются понятия мотива и цели преступления, сущность, а также их влияние при квалификации преступления, в том числе теоретические и практические проблемы некоторых мотивов и цели преступления, которые указаны в Уголовном кодексе Республики Узбекистан. Кроме того, разработаны предложения и рекомендации дальнейшего совершенствования уголовного законодательства Республики Узбекистан.
First-order queries on classes of structures with bounded expansion
Creators: name: Kazana, Wojtek
name: Segoufin, Luc
Publisher: name: arXiv
Year: 2018
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: We consider the evaluation of first-order queries over classes of databases with bounded expansion. The notion of bounded expansion is fairly broad and generalizes bounded degree, bounded treewidth and exclusion of at least one minor. It was known that over a class of databases with bounded expansion, first-order sentences could be evaluated in time linear in the size of the database. We give a different proof of this result. Moreover, we show that answers to first-order queries can be enumerated with constant delay after a linear time preprocessing. We also show that counting the number of answers to a query can be done in time linear in the size of the database.
Neutrino hierarchy and fermion spectrum from a single family in six dimensions: realistic predictions
Creators: name: Frere, J. -M.
name: Libanov, M.
name: Mollet, S.
name: Troitsky, S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper, we move from a "proof of concept" to challenging predictions in a flavour model emerging from a single fermion family in six dimensions (6-D) with the two extra dimensions compactified on a sphere. The most striking predictions (beyond the basic ingredients already demonstrated for a realistic quark mass pattern) are for the neutrino sector. Not only can 4-D Majorana masses be generated from 6-D (where no Majorana spinors exist), but Majorana masses are naturally associated to large mixing. The model favours inverted hierarchy and a quasi-Dirac partial suppression of neutrinoless double beta decay.
description: 18 pages, 1 figure. v2: minor clarifications. Version accepted by JHEP
Query learning of derived $ω$-tree languages in polynomial time
Creators: name: Angluin, Dana
name: Antonopoulos, Timos
name: Fisman, Dana
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present the first polynomial time algorithm to learn nontrivial classes of languages of infinite trees. Specifically, our algorithm uses membership and equivalence queries to learn classes of $ω$-tree languages derived from weak regular $ω$-word languages in polynomial time. The method is a general polynomial time reduction of learning a class of derived $ω$-tree languages to learning the underlying class of $ω$-word languages, for any class of $ω$-word languages recognized by a deterministic Büchi acceptor. Our reduction, combined with the polynomial time learning algorithm of Maler and Pnueli [1995] for the class of weak regular $ω$-word languages yields the main result. We also show that subset queries that return counterexamples can be implemented in polynomial time using subset queries that return no counterexamples for deterministic or non-deterministic finite word acceptors, and deterministic or non-deterministic Büchi $ω$-word acceptors. A previous claim of an algorithm to learn regular $ω$-trees due to Jayasrirani, Begam and Thomas [2008] is unfortunately incorrect, as shown in Angluin [2016].
General-Versammlung des Vereins am 6. Juli 1884
Creators: name: Redaktion, Die
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 77 (1884): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Additional file 1 of Structured communication methods for mental health consultations in primary care: a scoping review
Creators: name: Mosler, Franziska
name: Packer, Katy
name: Jerome, Lauren
name: Bird, Victoria
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Additional file 1. Keywords and index terms by database.
Additional file 3 of Angiogenesis precedes myogenesis during regeneration following biopsy injury of skeletal muscle
Creators: name: Jacobsen, Nicole L.
name: Morton, Aaron B.
name: Segal, Steven S.
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Computational Biology

description: Additional file 3: Supp. Figure 3. At 21 dpi, adipocytes accumulate at the biopsy void if myofibers fail to regenerate.
title: Жиноят-процессуал қонунчилигида терговга қадар текширув институти: таҳлил ва такомиллаштириш масалалари
Creators: name: Mamatmurodov, A.
name: Kenjaboyev, D.
Publisher: name: Tashkent state university of law
Year: 2018

description: Мақолада жиноят процессида ишни судга қадар юритишнинг шакли бўлган терговга қадар текширувга оид нормалар таҳлил қилинган ва ҳуқуқни қўллаш амалиётида кузатилаётган айрим камчиликларни бартараф этиш юзасидан таклифлар илгари сурилган.
title: Укрепление механизма координации правоохранительной деятельности – требование современного этапа развития государства
Creators: name: Mirzaev, Sh.
Publisher: name: Tashkent state university of law
Year: 2018

description: В настоящей статье рассмотрены вопросы дальнейшего развития, а также совершенствования существующего в Узбекистане механизма координации правоохранительной деятельности, в частности, укрепления вертикали власти с одновременной конкретизацией ответственности и повышением уровня транспарентности органов правопорядка. В этой связи, автором представлены соответствующие рекомендации и предложения.
The multiplication game
Creators: name: Morrison, Kent E.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Probability (math.PR)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 91A05

description: The multiplication game is a two-person game in which each player chooses a positive integer without knowledge of the other player's number. The two numbers are then multiplied together and the first digit of the product determines the winner. Rather than analyzing this game directly, we consider a closely related game in which the players choose positive real numbers between 1 and 10, multiply them together, and move the decimal point, if necessary, so that the result is between 1 and 10. The mixed strategies are probability distributions on this interval, and it is shown that for both players it is optimal to choose their numbers from the Benford distribution. Furthermore, this strategy is optimal for any winning set, and the probability of winning is the Benford measure of the player's winning set. Using these results we prove that the original game in which the players choose integers has a well-defined value and that strategies exist that are arbitrarily close to optimal. Finally, we consider generalizations of the game in which players choose elements from a compact topological group and show that choosing them according to Haar measure is an optimal strategy.
description: 14 pages
title: Теоретические основы установления уголовной ответственности за умышленное убийство по найму
Creators: name: Abzalova, Kh.
Publisher: name: Tashkent state university of law
Year: 2018

description: В статье проанализированы теоретические основы установления уголовной ответственности за умышленное убийство, совершенное по найму. На основе изучения мнений, учений и уголовного законодательства автор приходит к мнению о целесообразности разграничения умышленного убийства из корыстных побуждений и умышленного убийства по найму.
On completeness and parametricity in the realizability semantics of System F
Creators: name: Pistone, Paolo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1
subject: 03B15, 03B70, 03F03, 03F05

description: We investigate completeness and parametricity for a general class of realizability semantics for System F defined in terms of closure operators over sets of $λ$-terms. This class includes most semantics used for normalization theorems, as those arising from Tait's saturated sets and Girard's reducibility candidates. We establish a completeness result for positive types which subsumes those existing in the literature, and we show that closed realizers satisfy parametricity conditions expressed either as invariance with respect to logical relations or as dinaturality. Our results imply that, for positive types, typability, realizability and parametricity are equivalent properties of closed normal $λ$-terms.
Additional file 2 of Structured communication methods for mental health consultations in primary care: a scoping review
Creators: name: Mosler, Franziska
name: Packer, Katy
name: Jerome, Lauren
name: Bird, Victoria
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Additional file 2. Quality assessment by study.
W. Drexler, Mythologische Beiträge. Heft 1. Der Cultus der ägyptischen Gottheiten in den Donauländern
Creators: name: Wiedemann, Alfred
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: W. Drexler, Mythologische Beiträge. Heft 1. Der Cultus der ägyptischen Gottheiten in den Donauländern. Leipzig, B. G. Teubner. 1890.
description: Bonner Jahrbücher, Bd. 90 (1891): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande