cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Innovation through design: Understanding the challenges, improving the practices of using new materials application in the building industry
Creators: Pektas, Ceren
Publisher: name: University of Alberta Library
Year: 2014

In recent years, in addition to new forms of architectural expression, new means of conceptual and material production have significantly affected architectural thinking. Materials have regained a predominant role developed mainly by technological experiments and become key aspect of culture, innovation and experimentation. Although the application of materials is a fundamental determinant of buildings representation, in order to develop a successful design solution, emerging materials, systems, technologies and precedents must be considered. This research focuses on understanding new material development in material industries and on the material selection process for architectural projects. The aim is to identify and analyze the challenges of using new materials application.

In order to accelerate innovation in the building industry, the initial step is to reduce barriers of using new materials application, such as liability of long-term performance risk. The proposed approach (stated in this research) is to define a new role for (industrial) design that will facilitate new ways of communication (between architects, designers and materials industries) from idea creation to product and design development. This study will explore and seek to answer this main question: "If innovative materials application in architectural projects depends on the liability risk, how can industrial design act as a bridge/facilitator to assist in reducing the challenges of using and introducing new materials in the building industry?"
title: Assessing the dynamics of vegetation productivity in circumpolar regions with different satellite indicators of greenness and photosynthesis
Creators: name: Walther, Sophia
name: Guanter, Luis
name: Heim, Birgit
name: Jung, Martin
name: Duveiller, Gregory
name: Wolanin, Aleksandra
name: Sachs, Torsten
Publisher: name: Universität Potsdam
Year: 2020
Subjects: subject: 550 Geowissenschaften
subject: 570 Biowissenschaften; Biologie

description: High-latitude treeless ecosystems represent spatially highly heterogeneous landscapes with small net carbon fluxes and a short growing season. Reliable observations and process understanding are critical for projections of the carbon balance of the climate-sensitive tundra. Space-borne remote sensing is the only tool to obtain spatially continuous and temporally resolved information on vegetation greenness and activity in remote circumpolar areas. However, confounding effects from persistent clouds, low sun elevation angles, numerous lakes, widespread surface inundation, and the sparseness of the vegetation render it highly challenging. Here, we conduct an extensive analysis of the timing of peak vegetation productivity as shown by satellite observations of complementary indicators of plant greenness and photosynthesis. We choose to focus on productivity during the peak of the growing season, as it importantly affects the total annual carbon uptake. The suite of indicators are as follows: (1) MODIS-based vegetation indices (VIs) as proxies for the fraction of incident photosynthetically active radiation (PAR) that is absorbed (fPAR), (2) VIs combined with estimates of PAR as a proxy of the total absorbed radiation (APAR), (3) sun-induced chlorophyll fluorescence (SIF) serving as a proxy for photosynthesis, (4) vegetation optical depth (VOD), indicative of total water content and (5) empirically upscaled modelled gross primary productivity (GPP). Averaged over the pan-Arctic we find a clear order of the annual peak as APAR ≦ GPP
description: Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe; 1025
Noncommutative motives of Azumaya algebras
Creators: name: Tabuada, Goncalo
name: Bergh, Michel Van den
Publisher: name: arXiv
Year: 2013
Subjects: subject: Algebraic Geometry (math.AG)
subject: Algebraic Topology (math.AT)
subject: K-Theory and Homology (math.KT)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 14A22, 14F05, 16H05, 18D20, 19D55, 19E08

description: Let k be a base commutative ring, R a commutative ring of coefficients, X a quasi-compact quasi-separated k-scheme, A a sheaf of Azumaya algebras over X of rank r, and Hmo(R) the category of noncommutative motives with R-coefficients. Assume that 1/r belongs to R. Under this assumption, we prove that the noncommutative motives with R-coefficients of X and A are isomorphic. As an application, we show that all the R-linear additive invariants of X and A are exactly the same. Examples include (nonconnective) algebraic K-theory, cyclic homology (and all its variants), topological Hochschild homology, etc. Making use of these isomorphisms, we then computer the R-linear additive invariants of differential operators in positive characteristic, of cubic fourfolds containing a plane, of Severi-Brauer varieties, of Clifford algebras, of quadrics, and of finite dimensional k-algebras of finite global dimension. Along the way we establish two results of independent interest. The first one asserts that every element of the Grothendieck group of X which has rank r becomes invertible in the R-linearized Grothendieck group, and the second one that every additive invariant of finite dimensional algebras of finite global dimension is unaffected under nilpotent extensions.
description: 22 pages; revised version
Synaptomys borealis
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Arvicolidae
Synaptomys
Synaptomys borealis

description: Synaptomys borealis (Richardson, 1828). Zool. J., 3:517. TYPE LOCALITY: Canada, Mackenzie, Great Bear Lake, Ft. Franklin. DISTRIBUTION: S.E. and C. Alaska (U.S.A.), to S. shore of Hudson Bay to Labrador (Canada), south to N. Minnesota, Montana, and Washington; isolated populations from S.E. Quebec to N. New Hampshire (U.S.A.). COMMENT: Subgenus Mictomys; revised by Howell, 1927, N. Am. Fauna, 50:1 -38. Koenigswald and Martin, in press, Bull. Carnegie Mus. Nat. Hist., considered Mictomys a distinct genus; two extinct subgenera are also referable to Mictomys. ISIS NUMBER: 5301410008086001001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 4), pp. 477-504 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 504, DOI: 10.5281/zenodo.7353034
description: {"references": ["Howell, A. B. 1927. Revision of the American lemming mice (genus Synaptomys). North American Fauna, 50: 1 - 37."]}
JEUNES DE MADAGASCAR FACE AU PERIL DE L'ALCOOLISME : CAS DE MANGARANO II TOAMASINA I
Creators: name: MBIMA Césaire
name: BELA Christian
name: RAHERIVELO Floris
name: RADIMILAHY Manana Asidy
name: MAMIARISOA Jean Edith Françoise
Publisher: name: Zenodo
Year: 2024

description: Cet article met en évidence les risques importants d'alcoolisme chez les jeunes Malgaches du Fokontany Mangarano II Toamasina I. La place de l'alcool dans la société a évolué au fil du temps. Les noms utilisés dans le passé témoignent de cette évolution, puisque l'alcool était autrefois considéré comme un "aliment", un "tonique" ou un "remède". Dans le cas de Madagascar, la vente de boissons alcoolisées est difficilement contrôlable. La problématique est la suivante : Comment développer des stratégies plus efficaces pour lutter contre l'alcoolisme et protéger la santé et le bien-être des jeunes malgaches ? L'objectif de ce manuscrit est d'explorer en profondeur le problème croissant de l'alcoolisme chez les jeunes Malgaches afin de renforcer les initiatives visant à réduire la prévalence de l'alcoolisme au sein de la population en question. L'hypothèse de ce travail est la suivante : les campagnes de sensibilisation et les programmes de prévention peuvent jouer un rôle crucial dans la réduction de l'alcoolisme chez les jeunes Malgaches. Des recherches bibliographiques ont été effectuées à la bibliothèque de l'Université de Toamasina, à l'Institut National de Santé Publique et Communautaire, à l'Organisation Mondiale de la Santé, à la bibliothèque de l'Université de Toamasina et à la bibliothèque de l'Hôpital Universitaire. Les hommes ont consommé en moyenne 2,9 verres la veille. En moyenne, un jeune buveur dépense au moins 32.000 ar par mois. En multipliant ce chiffre par le nombre de mois de l'année, on obtient 384.000 ariary pour une personne. Pour ceux qui ont peu de ressources, les dépenses liées à la consommation d'alcool s'ajoutent au budget familial. Les programmes d'éducation à la santé devront dans les années à venir aider ceux qui ne boivent pas ou peu à faire respecter leur choix, et aider la population à quantifier la modération et accompagner cette information d'une argumentation précise basée sur des éléments scientifiques incontestables: seuils de toxicité, niveau de risque.
Avoiding Shared Clocks in Networks of Timed Automata
Creators: name: Balaguer, Sandie
name: Chatain, Thomas
Publisher: name: arXiv
Year: 2013
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions of one automaton may be guarded by conditions on the value of clocks reset by another automaton. This is a problem when one considers implementing such model in a distributed architecture, since reading clocks a priori requires communications which are not explicitly described in the model. We focus on the following question: given an NTA A1 || A2 where A2 reads some clocks reset by A1, does there exist an NTA A'1 || A'2 without shared clocks with the same behavior as the initial NTA? For this, we allow the automata to exchange information during synchronizations only, in particular by copying the value of their neighbor's clocks. We discuss a formalization of the problem and define an appropriate behavioural equivalence. Then we give a criterion using the notion of contextual timed transition system, which represents the behavior of A2 when in parallel with A1. Finally, we effectively build A'1 || A'2 when it exists.
description: Article accepted to Logical Methods in Computer Science. Number: LMCS-2013-837 Special issue: 23rd International Conference on Concurrency Theory (CONCUR 2012)
Trace- and pseudo-products: restriction-like semigroups with a band of projections
Creators: name: FitzGerald, D. G.
name: Kinyon, M. K.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 20M19

description: We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem and its generalization to ample semigroups. Unlike some other variants of ESN, it is self-dual (two-sided), and the condition of commuting projections is relaxed. The condition that projections form a band (are closed under multiplication) is shown to be a very natural one. One-sided reducts are considered, and compared to (generalized) D-semigroups. Finally the special case when the category is a groupoid is examined.
description: 17 pages. After referee comments. Proof of Th. 3.2 corrected, subsection 5.2 added, 2 new references, minor amendments. Proof of Lem. 4.3(ii) and paragraph on D-semigroups amended
Observational constraint from the heaviest pulsar PSR J0952-0607 on the equation of state of dense matter in relativistic mean field model
Creators: name: Kumar, Raj
name: Kumar, Mukul
name: Thakur, Virender
name: Kumar, Sunil
name: Kumar, Pankaj
name: Sharma, Anuj
name: Agrawal, B. K.
name: Dhiman, Shashi K.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In the present work, we constrain the equation of the state of dense matter in the context of heaviest observed neutron star mass M$_{max}$ = 2.35$\pm 0.17$ M$_{\odot}$ for the black widow pulsar PSR J0952-0607. We propose three interactions HPU1, HPU2 and HPU3 (named after Himachal Pradesh University)for the relativistic mean field model which include different combinations of non-linear, self and cross-couplings among isoscalar-scalar $σ$, isoscalar-vector $ω$ and isovector-vector $ρ$ meson fields up to the quartic order. These interactions are in harmony with the finite nuclei and bulk nuclear matter properties. The equations of state computed by using newly generated interactions for the $β$-equilibrated nucleonic matter satisfy the heaviest observed neutron star mass M$_{max}$ = 2.35$\pm 0.17$ M$_{\odot}$ for the black widow pulsar PSR J0952-0607. The results for the radius ($R_{1.4}$) and dimensionless tidal deformability (${Λ_{1.4}}$) corresponding to the canonical mass are also presented and agree well with the GW170817 event and astrophysical observations. The radius of $2.08M_{\odot}$ neutron star mass is predicted to be in the range $R_{2.08}$ = 12.98 -13.09 Km which also satisfies the NICER observations by Miller et al. (2021) and Riley et al.(2021). A covariance analysis is also performed to assess the theoretical uncertainties of model parameters and to determine their correlations with nuclear matter observables.
description: 19 pages, 12 Figures. arXiv admin note: substantial text overlap with arXiv:2305.06667, arXiv:2305.05937
Synaptomys cooperi Baird 1858
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Arvicolidae
Synaptomys
Synaptomys cooperi

description: Synaptomys cooperi Baird, 1858. Mammals, in Repts. Expl. and Surv...., 8(1):558. TYPE LOCALITY: U.S.A., New Hampshire, Carroll Co., at Jackson. DISTRIBUTION: Midwestern and E. U.S.A., through S.E. Canada and south to North Carolina and Arkansas; isolated populations in S.W. Kansas and Nebraska. COMMENT: Subgenus Synaptomys. Revised by Wetzel, 1955, J. Mammal., 36: 120. The subspecies paludis may be extinct; helaletes recently recollected (AVL). ISIS NUMBER: 5301410008086002001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 4), pp. 477-504 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 504, DOI: 10.5281/zenodo.7353034
description: {"references": ["Wetzel, R. M. 1955. Speciation and dispersal of the southern bog lemming, Synaptomys cooperi (Baird). Journal of Mammalogy, 36: 1 - 20."]}
Optical spin conductivity in ultracold quantum gases
Creators: name: Sekino, Yuta
name: Tajima, Hiroyuki
name: Uchino, Shun
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We show that the optical spin conductivity being a small AC response of a bulk spin current and elusive in condensed matter systems can be measured in ultracold atoms. We demonstrate that this conductivity contains rich information on quantum states by analyzing experimentally achievable systems such as a spin-1/2 superfluid Fermi gas, a spin-1 Bose-Einstein condensate, and a Tomonaga-Luttinger liquid. The obtained conductivity spectra being absent in the Drude conductivity reflect quasiparticle excitations and non-Fermi liquid properties. Accessible physical quantities include the superfluid gap and the contact for the superfluid Fermi gas, gapped and gapless spin excitations as well as quantum depletion for the Bose-Einstein condensate, and the spin part of the Tomonaga-Luttinger liquid parameter elusive in cold-atom experiments. Unlike its mass transport counterpart, the spin conductivity serves as a probe applicable to clean atomic gases without disorder and lattice potentials. Our formalism can be generalized to various systems such as spin-orbit coupled and nonequilibrium systems.
description: 17 pages, 3 figures; published version
title: Геодезические работы при изысканиях, проектировании, строительстве и эксплуатации автомобильных дорог и аэродромов
Creators: name: ELS IPR BOOKS
Publisher: name: Профобразование
Year: 2022

description: В учебном пособии изложена технология геодезических работ при изысканиях, проектировании, строительстве и эксплуатации автомобильных дорог и аэродромов. Рассмотрены камеральное и полевое трассирование дорог. Отдельное внимание уделено детальной разбивке круговых и переходных кривых, серпантин, виражей, пересечений дорог в разных уровнях. Приведены современные технологии и приборы для угловых, линейных и высотных измерений при сооружении дорог и аэродромов. Учебное пособие предназначено для студентов, обучающихся по специальности среднего профессионального образования 08.02.05 «Строительство и эксплуатация автомобильных дорог и аэродромов», изучающих дисциплины «Выполнение работ по эксплуатации автомобильных дорог и аэродромов», «Выполнение работ по изысканию и проектированию автомобильных дорог и аэродромов», «Строительство автомобильных дорог и аэродромов».
Particle-hole entanglement of ultracold atoms in an optical lattice
Creators: name: Ng, H. T.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We study the ground state of two-component bosonic atoms in a one-dimensional optical lattice. By applying an external field to the atoms at one end of lattice, the atoms are transported and becomes localized at that site. The holes are then created in the remaining sites. The particle-hole superpositions are produced in this process. We investigate the entanglement entropy between the atoms in the two different parts of a lattice. A large degree of particle-hole entanglement is generated in the ground state. The particle-hole quantum correlations can be probed by the two-site parity correlation functions. The transport properties of the low-lying excited states are also discussed.
description: 5 pages, 8 figures
Relativistic Mean Field Model parameterizations in the light of GW170817, GW190814, and PSR J0740 + 6620
Creators: name: Thakur, Virender
name: Kumar, Raj
name: Kumar, Pankaj
name: Kumar, Vikesh
name: Agrawal, B. K.
name: Dhiman, Shashi K.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Three parameterizations DOPS1, DOPS2, and DOPS3 (named after the Department of Physics Shimla) of the Relativistic Mean Field (RMF) model have been proposed with the inclusion of all possible self and mixed interactions between the scalar-isoscalar (σ), vector-isoscalar (ω) and vector-isovector (ρ) mesons up to quartic order. The generated parameter sets are in harmony with the finite and bulk nuclear matter properties. A set of Equations of State (EOSs) composed of pure hadronic (nucleonic) matter and nucleonic with quark matter (hybrid EOSs) for superdense hadron-quark matter in β-equilibrium is obtained. The quark matter phase is calculated by using the three-flavor Nambu-Jona-Lasinio (NJL) model. The maximum mass of a non-rotating neutron star with DOPS1 parameterization is found to be around 2.6 M$\odot$ for the pure nucleonic matter which satisfies the recent gravitational wave analysis of GW190814 Abbott et al.,(2020) with possible maximum mass constraint indicating that the secondary component of GW190814 could be a non-rotating heaviest neutron star composed of pure nucleonic matter. EOSs computed with the DOPS2 and DOPS3 parameterizations satisfy the X-Ray observational data and the recent observations of GW170817 maximum mass constraint of a stable non-rotating neutron star in the range 2.01 \pm 0.04 - 2.16 \pm 0.03 M\odot and also in good agreement with constraints on mass and radius measurement for PSR J0740+6620 (NICER) Riley et al., L27 (2021)}, Miller et al., (2021). The hybrid EOSs obtained with the NJL model also satisfy astrophysical constraints on the maximum mass of a neutron star from PSR J1614-2230 and Demorest et al., (2010) .We also present the results for dimensionless tidal deformability, $Λ$ which are consistent with the waveform models analysis of GW170817.
description: 14 Pages, 10 Figures. arXiv admin note: text overlap with arXiv:2110.07877 by other authors
title: Effects of Early Life Stress on Bone Homeostasis in Mice and Humans
Creators: name: Wuertz-Kozakv, Karin
name: Roszkowski, Martin
name: Cambria, Elena
name: Block, Andrea
name: Kuhn, Gisela A.
name: Abele, Thea
name: Hitzl, Wolfgang
name: Drießlein, David
name: Müller, Ralph
name: Rapp, Michael A.
name: Mansuy, Isabelle M.
name: Peters, Eva M. J.
name: Wippert, Pia M.
Publisher: name: Universität Potsdam
Year: 2020
Subjects: subject: 540 Chemie und zugeordnete Wissenschaften
subject: 570 Biowissenschaften; Biologie

description: Bone pathology is frequent in stressed individuals. A comprehensive examination of mechanisms linking life stress, depression and disturbed bone homeostasis is missing. In this translational study, mice exposed to early life stress (MSUS) were examined for bone microarchitecture (μCT), metabolism (qPCR/ELISA), and neuronal stress mediator expression (qPCR) and compared with a sample of depressive patients with or without early life stress by analyzing bone mineral density (BMD) (DXA) and metabolic changes in serum (osteocalcin, PINP, CTX-I). MSUS mice showed a significant decrease in NGF, NPYR1, VIPR1 and TACR1 expression, higher innervation density in bone, and increased serum levels of CTX-I, suggesting a milieu in favor of catabolic bone turnover. MSUS mice had a significantly lower body weight compared to control mice, and this caused minor effects on bone microarchitecture. Depressive patients with experiences of childhood neglect also showed a catabolic pattern. A significant reduction in BMD was observed in depressive patients with childhood abuse and stressful life events during childhood. Therefore, future studies on prevention and treatment strategies for both mental and bone disease should consider early life stress as a risk factor for bone pathologies.
description: Postprints der Universität Potsdam : Humanwissenschaftliche Reihe; 670
Exotic Fractional Topological States in Two-Dimensional Organometallic Material
Creators: name: Li, Wei
name: Liu, Zheng
name: Wu, Yong-Shi
name: Chen, Yan
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Fractional Chern insulators (FCIs), having properties similar to those of the fractional quantum Hall effect, have been established numerically in various toy models. To fully explore their fundamental physics and to develop practical applications, material realization is indispensable. Here we theoretically predict a realization of FCI in a two-dimensional organometallic material, which is known to have the prerequisite topological at bands. Using numerical exact diagonalization we demonstrate that the presence of strong electronic correlations and fractional filling of such a system could lead to a rich phase diagram, including Abelian fractional quantum Hall (FQH), Fermi-liquid, and Wigner crystal states. In particular, the FQH state has been confirmed systematically by calculating the topological ground-state degeneracies, topological Chern number, and the quasihole excitation spectrum as well as the particle entanglement spectrum. Future experimental realization of the FQH state in such material may provide a route for developing practical applications of FCI with no need of the extreme conditions.
description: 6 pages, 4 figures
A note on the Chern Conjecture in dimension four
Creators: name: Li, Fagui
Publisher: name: arXiv
Year: 2021
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 15A45, 15B57, 53C42

description: Let $M^4$ be a closed immersed minimal hypersurface with constant squared length of the second fundamental form $S$ and constant 3-mean curvature $H_3$ in $\mathbb{S}^{5}$. If $H_3^2\leq \frac{1}{2}.$ and Gauss-Kronecker curvature $K_M$ satisfies $K_M\leq1$ $($or $ K_M\leq\frac{S^2}{144}$$)$, then $M^4$ is isoparametric.
description: 11 pages, any comments are welcome
The dynamics of quantum criticality via Quantum Monte Carlo and holography
Creators: name: Witczak-Krempa, William
name: Sorensen, Erik
name: Sachdev, Subir
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Quantum Gases (cond-mat.quant-gas)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Understanding the real time dynamics of quantum systems without quasiparticles constitutes an important yet challenging problem. We study the superfluid-insulator quantum-critical point of bosons on a two-dimensional lattice, a system whose excitations cannot be described in a quasiparticle basis. We present detailed quantum Monte Carlo results for two separate lattice realizations: their low-frequency conductivities are found to have the same universal dependence on imaginary frequency and temperature. We then use the structure of the real time dynamics of conformal field theories described by the holographic gauge/gravity duality to make progress on the difficult problem of analytically continuing the Monte Carlo data to real time. Our method yields quantitative and experimentally testable results on the frequency-dependent conductivity near the quantum critical point, and on the spectrum of quasinormal modes in the vicinity of the superfluid-insulator quantum phase transition. Extensions to other observables and universality classes are discussed.
description: 12+12 pages, 6+1 figures. v2: Improved numerical results and presentation. 2 new appendices
Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types
Creators: name: Bordg, Anthony
name: Paulson, Lawrence
name: Li, Wenda
Publisher: name: arXiv
Year: 2021
Subjects: subject: Algebraic Geometry (math.AG)
subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: G.m
subject: 14A15, 14-04, 03B16, 03B35, 68V20

description: Church's simple type theory is often deemed too simple for elaborate mathematical constructions. In particular, doubts were raised whether schemes could be formalized in this setting and a challenge was issued. Schemes are sophisticated mathematical objects in algebraic geometry introduced by Alexander Grothendieck in 1960. In this article we report on a successful formalization of schemes in the simple type theory of the proof assistant Isabelle/HOL, and we discuss the design choices which make this work possible. We show in the particular case of schemes how the powerful dependent types of Coq or Lean can be traded for a minimalist apparatus called locales.
description: Final version accepted for publication in the journal Experimental Mathematics. Our code can be found in the Archive of Formal Proofs, see https://www.isa-afp.org/entries/Grothendieck_Schemes.html
title: Геодезия
Creators: name: ELS IPR BOOKS
Publisher: name: Профобразование
Year: 2022

description: В учебном пособии приведена классификация плановых государственных геодезических сетей, сетей сгущения, показаны способы их создания. Рассмотрена классификация высотных геодезических сетей, создаваемых методами геометрического и тригонометрического нивелирования. Описаны способы закрепления пунктов, технология нивелирования, методы уравнивания нивелирных ходов и сетей. Особое внимание уделено технологии создания, расчету точности, уравниванию и способам привязки полигонометрии сгущения, которая широко применяется в застроенной и залесенной местности. Учебное пособие предназначено для студентов всех профессий и специальностей среднего профессионального образования, учебными планами которых предусмотрено изучение дисциплин «Геодезия», «Основы геодезии».
A Novel Blind Adaptive Beamformer with Robustness against Mutual Coupling and Miscalibration Effects
Creators: name: Yağan, M. Yaser
name: Coşkun, Ahmet F.
name: Pusane, Ali E.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Signal Processing (eess.SP)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Beamforming techniques utilized either at the transmitter or the receiver terminals have achieved superior quality-of-service performances from both the multi-antenna wireless communications systems, communications intelligence and radar target detection perspectives. Despite the overwhelming advantages in ideal operating conditions, beamforming approaches have been shown to face substantial performance degradations due to unknown mutual coupling effects and miscalibrated array elements. As a promising solution, blind beamformers have been proposed as a class of receiver beamformers that do not require a reference signal to operate. In this paper, a novel gradient-based blind beamformer is introduced with the aim of mitigating the deteriorating effects of unknown mutual coupling or miscalibration effects. The proposed approach is shown to find the optimal weights in different antenna array configurations in the presence of several unknown imperfections (e.g., mutual coupling effects, miscalibration effects due to gain and phase variations, inaccurate antenna positions). By providing numerical results related to the proposed algorithm for different array configurations, and bench-marking with the other existing approaches, the proposed scheme has been shown to achieve superior performance in many aspects. Additionally, a measurement-based analysis has been included with validation purposes.
description: Presented in EuCAP 2023, Copyright IEEE
Ackermann's Function in Iterative Form: A Proof Assistant Experiment
Creators: name: Paulson, Lawrence C
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4
subject: 03D99, 03B35, 68V20

description: Ackermann's function can be expressed using an iterative algorithm, which essentially takes the form of a term rewriting system. Although the termination of this algorithm is far from obvious, its equivalence to the traditional recursive formulation--and therefore its totality--has a simple proof in Isabelle/HOL. This is a small example of formalising mathematics using a proof assistant, with a focus on the treatment of difficult recursions.
description: Accepted to Bulletin of Symbolic Logic
Cervical ectopic pregnancy – the first case of live birth and uterus-conserving management
Creators: name: Köninger, Angela
name: Nguyen, Buu-Phuc
name: Schwenk, Udo
name: Vural, Mehmet
name: Iannaccone, Antonella
name: Theysohn, Jens
name: Kimmig, Rainer
Publisher: name: Universität Regensburg
Year: 2023
Subjects: subject: Cervical ectopic pregnancy, Live birth, Uterus-conservation, Uterine artery embolization, Cervical internal os plasty
subject: 610 Medizin

description: A 37-old III gravida II para with two previous cesarean sections (CS) presented in 7 + 3 weeks of pregnancy with cervical ectopic pregnancy (CEP). At 12th week of pregnancy, a cerclage was performed to avoid cervical distention by the expanding placenta. Due to missing experience in CEP management and to avoid emergency operation, we recommended CS in 30th week of pregnancy due to unspecific pain of the patient. Vaginal bleeding never occured. After transverse laparotomy, the urinary bladder was sharply dissected from the anterior uterine and cervical wall. The baby was delivered by transverse cervicotomy caudally of the placenta. The placenta was left in situ. The patient then got prophylactic embolization of the uterine arteries to prevent further severe hemorrhage. 48 h later, ultrasound showed a floating, avascular placenta within a poor echogenic fluid-filled cervical space as well as macrohematuria. After re-laparotomy and cervicotomy at the same day, the placenta was completely and easily evacuated. A bladder injury was recognized and closed. We performed a cervical internal os plasty by inverting the cervical lips and suturing their distal ends on the proximal cervical tissue, resulting in complete bleeding cessation. Although, the patient got 8 erythrocyte concentrates at all, she was always in a stable condition without hemorrhagic shock. This case demonstrates for the first time a live-birth with uterus-conserving management in CEP.
Ray tracing in FLRW flat space-times
Creators: name: Acquaviva, Giovanni
name: Bonetti, Luca
name: Cognola, Guido
name: Zerbini, Sergio
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: In this work we take moves from the debate triggered by Melia et al [9]. and followed by opposite comments by Lewis and Oirschot [10,11]. The point in question regards the role of the Hubble horizon as a limit for observability in a cosmological setting. We propose to take the issue in a broader way by relating it to the causal character of the Hubble surface and to the tracing of null trajectories, focusing on both three-fluids and generalized Chaplygin gas models. The results should make clear that light rays reaching a comoving observer at R(t_0)=0 have never travelled a distance greater than the areal radius of the horizon until t_0.
description: 14 pages, no figures, added references and a new paragraph in Sec.4. Final version accepted in PRD
Rational W-shaped Optical Soliton on Continuous Wave in Presence of Kerr Dispersion and Stimulated Raman Scattering
Creators: name: Zhao, Li-Chen
name: Li, Sheng-Chang
name: Ling, Liming
Publisher: name: arXiv
Year: 2013
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We study localized wave on continuous wave background analytically in a nonlinear fiber with higher order effects such as higher order dispersion, Kerr dispersion, and stimulated inelastic scattering. We present an exact rational W-shaped soliton solutions, whose structural properties depend on the frequency of the background field. The hump value increase with the decrease of the background frequency in the certain regime. The highest value of the W-shaped soliton can be nine times the background's, and the distribution shape is identical with the one of well-known eyes-shaped rogue wave with its maximum peak. The numerical stimulations indicate that the W-shaped soliton is stable with small perturbations.
description: 5 pages, 4 figures
A note on solutions of the matrix equation AXB=C
Creators: name: Jovovic, Ivana V.
name: Malesevic, Branko J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics

description: This paper deals with necessary and sufficient condition for consistency of the matrix equation $AXB = C$. We will be concerned with the minimal number of free parameters in Penrose's formula $X = A^(1)CB^(1) + Y - A^(1)AYBB^(1)$ for obtaining the general solution of the matrix equation and we will establish the relation between the minimal number of free parameters and the ranks of the matrices A and B. The solution is described in the terms of Rohde's general form of the {1}-inverse of the matrices A and B. We will also use Kronecker product to transform the matrix equation $AXB = C$ into the linear system $(B^T \otimes A)vecX = vec C$.
description: Accepted in Scientific Publications of the State University of Novi Pazar, Ser A: Appl. Math. Inform. And Mech
title: Инженерная геодезия
Creators: name: ELS IPR BOOKS
Publisher: name: Профобразование
Year: 2022

description: В учебном пособии приведены общие сведения по инженерной геодезии, методам геодезических измерений, вычислений и оценки точности их результатов, инженерно-геодезическим изысканиям, проектированию, геодезическим разбивочным работам. Особое внимание уделено современным технологиям и приборам при изысканиях, проектировании, строительстве и эксплуатации зданий и сооружений с использованием оптических и электронных тахеометров, нивелиров, лазерных сканеров и трекеров. Изложены способы создания плановых геодезических сетей традиционными методами, а также с применением современных спутниковых радионавигационных систем NAVSTAR и ГЛОНАСС. Представлены характеристики модернизированных государственных геодезических сетей, сетей сгущения и съемочных сетей. Рассмотрена технология выполнения топографических съемок, как традиционными методами, так и с применением электронных тахеометров и GPS-приборов. Учебное пособие предназначено для студентов, обучающихся по укрупненным группам профессий и специальностей среднего профессионального образования 08.00.00 «Техника и технологии строительства», 21.00.00 «Прикладная геология, горное дело, нефтегазовое дело и геодезия», изучающих дисциплины «Инженерная геодезия», «Геодезия», «Основы геодезии».
Student use of a quantum simulation and visualization tool
Creators: name: Ahmed, Shaeema Zaman
name: Weidner, Carrie A.
name: Jensen, Jesper H. M.
name: Sherson, Jacob F.
name: Lewandowski, H. J.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Physics Education (physics.ed-ph)
subject: FOS: Physical sciences

description: Knowledge of quantum mechanical systems is becoming more important for many science and engineering students who are looking to join the emerging quantum workforce. To better prepare a wide range of students for these careers, we must seek to develop new tools to enhance our education in quantum topics. We present initial studies on the use of one of these such tools, Quantum Composer, a 1D quantum simulation and visualization tool developed for education and research purposes. In particular, we conducted five think-aloud interviews with students who worked through an exercise using Quantum Composer that focused on the statics and dynamics of quantum states in a single harmonic well system. Our results show that Quantum Composer helps students to obtain the correct answers to the questions posed, but additional support is needed to facilitate the development of student reasoning behind these answers. We also show that students are able to focus only on the relevant features of Quantum Composer to achieve the task.
title: Инновационный менеджмент
Creators: name: ELS IPR BOOKS
Publisher: name: Профобразование
Year: 2022

description: В учебном пособии изложены основные понятия, организация и структуризация инновационного процесса, описано информационное и инвестиционное обеспечение инновационной деятельности. Рассмотрены управление инновациями и стратегия развития компании, этапы подготовки и реализации инвестиционного проекта. Отдельная глава посвящена методам снижения риска инвестора инновационного проекта. Учебное пособие предназначено для студентов, обучающихся по специальности среднего профессионального образования 43.02.06 «Сервис на транспорте (по видам транспорта)», изучающих дисциплину «Инновационный менеджмент».
title: Кондиционирование воздуха и холодоснабжение
Creators: name: ELS IPR BOOKS
Publisher: name: Профобразование
Year: 2022

description: Учебно-методическое пособие содержит общие положения по кондиционированию воздуха и холодоснабжению, а также лабораторные работы для закрепления теоретических знаний и развития практических навыков определения режимов работы систем кондиционирования воздуха и расчета потребляемых при этом теплоты, «холода» воздуха и воды. Учебно-методическое пособие будет полезно при изучении дисциплин «Реализация технологических процессов монтажа систем водоснабжения и водоотведения, отопления, вентиляции и кондиционирования воздуха», «Организация и контроль работ по эксплуатации систем водоснабжения и водоотведения, отопления, вентиляции и кондиционирования воздуха», «Особенности проектирования систем водоснабжения и водоотведения, отопления, вентиляции и кондиционирования воздуха» по специальности среднего профессионального образования 08.02.07 «Монтаж и эксплуатация внутренних сантехнических устройств, кондиционирования воздуха и вентиляции», а также дисциплин «Реализация технологических процессов технической эксплуатации и сервиса систем вентиляции и кондиционирования воздуха», «Реализация технологических процессов проведения ремонтных работ и испытаний систем вентиляции и кондиционирования воздуха» по специальности 15.02.13 «Техническое обслуживание и ремонт систем вентиляции и кондиционирования».
The Real K-Theory of Compact Lie Groups
Creators: name: Fok, Chi-Kwong
Publisher: name: arXiv
Year: 2013
Subjects: subject: K-Theory and Homology (math.KT)
subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics
subject: 19L47, 57T10

description: Let $G$ be a compact, connected, and simply-connected Lie group, equipped with a Lie group involution $σ_G$ and viewed as a $G$-space with the conjugation action. In this paper, we present a description of the ring structure of the (equivariant) $KR$-theory of $(G, σ_G)$ by drawing on previous results on the module structure of the $KR$-theory and the ring structure of the equivariant $K$-theory.
title: Контроль качества воды
Creators: name: ELS IPR BOOKS
Publisher: name: Профобразование
Year: 2022

description: В практикуме приведены лабораторные работы по анализу воды на содержание нитритов, растворенных ортофосфатов, гидролизующихся полифосфатов, ионов аммония и аммиака, фенолов, а также по анализу воды на бихроматную окисляемость. Кроме того, издание содержит тесты для самоподготовки, примеры решения задач, задачи ля самостоятельного решения и справочные материалы. Практикум предназначен для студентов, обучающихся по специальности среднего профессионального образования 20.02.03 «Природоохранное обустройство территорий», изучающих дисциплину «Контроль качества воды».
Quantum-dot single-photon sources for the quantum internet
Creators: name: Lu, Chao-Yang
name: Pan, Jian-Wei
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: High-performance quantum light sources based on semiconductor quantum dots coupled to microcavities are showing their promise in long-distance solid-state quantum networks.
description: Invited commentary for Nature Nanotechnology 2021
Explicit minimal embedded resolutions of divisors on models of the projective line
Creators: name: Obus, Andrew
name: Srinivasan, Padmavathi
Publisher: name: arXiv
Year: 2021
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: Primary: 14B05, 14J17, Secondary: 13F30, 14H25

description: Let $K$ be a discretely valued field with ring of integers $\mathcal{O}_K$ with perfect residue field. Let $K(x)$ be the rational function field in one variable. Let $\mathbb{P}^1_{\mathcal{O}_K}$ be the standard smooth model of $\mathbb{P}^1_K$ with coordinate $x$ on irreducible special fiber. Let $f(x) \in \mathcal{O}_K[x]$ be a monic irreducible polynomial with corresponding divisor of zeroes $\text{div}_0(f)$ on $\mathbb{P}^1_{\mathcal{O}_K}$. We give an explicit description of the minimal embedded resolution $\mathcal{Y}$ of the pair $(\mathbb{P}^1_{\mathcal{O}_K}, \text{div}_0(f))$ by using Mac Lane's theory to write down the discrete valuations on $K(x)$ corresponding to the irreducible components of the special fiber of $\mathcal{Y}$.
description: Revised to incorporate comments of the referees. Exposition improved. Now 27 pages. arXiv admin note: text overlap with arXiv:1910.02589
Malayepipona assamensis subsp. manipurensis GIORDANI SOIKA 1995
Creators: name: Gusenleitner, J.
Publisher: name: Zenodo
Year: 2012
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Eumenidae
Malayepipona
Malayepipona assamensis
Malayepipona assamensis manipurensis giordani soika 1995

description: Malayepipona assamensis manipurensis GIORDANI SOIKA 1995 Indodynerus malickyi GUSENLEITNER 2010 syn. nov. M a t e r i a l: Laos: Phongsaly Prov., Phongsaly env., 21°41-3’ N 102°06 -8’E, - 1500m, 28.5.- 20.6.2003, 1; leg. Vit. Kubáň; Hua Phan Prov., Ban Saleui: Phou Pan-Mt., 1350-1900m, 20°13’30’’N 103°59’26’’, 13.5.2011, 1; 28.5.2011, 1, 1, 30.5.2011, 1, leg. C. Holzschuh and locals; Hua Phan Prov., Mt.Phu Pane, - 1500m, 20°12’N 103°59’E, 1, leg. S. Jakl, alle coll. OLM. In GUSENLEITNER 2011 wurde bereits über diese Art berichtet.
description: Published as part of Gusenleitner, J., 2012, Bemerkenswerte Faltenwespen-Funde aus der orientalischen Region Teil 6 (Hymenoptera: Vespidae, Eumeninae), pp. 1045-1052 in Linzer biologische Beiträge 44 (2) on page 1047, DOI: 10.5281/zenodo.5328769
description: {"references": ["GUSENLEITNER J. (2011): Eine Aufsammlung von Faltenwespen aus Laos im Biologiezentrum Linz (Hymenoptera: Vespidae: Vespinae, Stenogastrinae, Polistinae, Eumeniae). - Linzer biol. Beitr. 43 (2): 1351 - 1368."]}
Enfermedades de plantas causadas por bacterias
Creators: name: López, María Milagros
name: Murillo, Jesús
name: Montesinos, Emilio
name: Palacio-Bielsa, Ana
Publisher: name: Zenodo
Year: 2019
Subjects: Plant Diseases
Bacteria
Phytopathology
Plant Pathology

description: La importancia de las enfermedades causadas por bacterias fitopatógenas en España se ha ido incrementando exponencialmente desde la detección, a finales de la década de 1990, de diversas bacteriosis emergentes y reemergentes que han tenido serias repercusiones económicas hasta la detección, desde 2016, de distintos focos de Xylella fastidiosa en varias Comunidades Autónomas. Por ello, la Junta Directiva de la Sociedad Española de Fitopatología (SEF) consideró que existía una gran demanda de un libro español de texto o de consulta que recopilara información actualizada sobre estas enfermedades. Este tratado, actualmente único internacionalmente, pretende cubrir ese hueco y ofrecer información proporcionada por 52 expertos bacteriólogos. El libro incluye 48 capítulos que pretenden ofrecer una revisión científica actualizada, pero también realista y práctica, sobre las bacterias fitopatógenas y las enfermedades que ocasionan. Consta de seis capítulos generales introductorios, 13 sobre los géneros de las bacterias seleccionadas y 29 sobre las enfermedades de mayor importancia actual para la agricultura española y también de las que representan una amenaza potencial. La lectura de los distintos capítulos nos lleva a profundizar en el complejo patosistema que constituye cada bacteriosis, su etiología, diagnóstico, epidemiología y control. Cada problema bacteriano se trata con rigor académico, por lo que este texto sirve como fuente básica de conocimiento tanto para profesores como para estudiantes, pero también para técnicos y profesionales de la Sanidad Vegetal, así como para todos los actores que intervienen en la cadena de valor agrícola, desde la producción hasta la comercialización.