cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Automated Theorem Proving in the Classroom
Creators: name: Windsteiger, Wolfgang
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logic-course for students in computer science or artificial intelligence. The purpose of using logic-software in our teaching is not to teach students the proper use of a particular piece of software. In contrast, we try to employ certain software in order to spark students' motivation and to support their understanding of logic principles they are supposed to understand after having passed the course. In a sense, we try to let the software act as a logic-tutor, the software is not an additional subject we teach.
description: In Proceedings ADG 2021, arXiv:2112.14770
Lie Algebroids as Gauge Symmetries in Topological Field Theories
Creators: name: Olshanetsky, M. A.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Differential Geometry (math.DG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The Lie algebroids are generalization of the Lie algebras. They arise, in particular, as a mathematical tool in investigations of dynamical systems with the first class constraints. Here we consider canonical symmetries of Hamiltonian systems generated by a special class of Lie algebroids. The ``coordinate part'' of the Hamiltonian phase space is the Poisson manifold $M$ and the Lie algebroid brackets are defined by means of the Poisson bivector. The Lie algebroid action defined on $M$ can be lifted to the phase space. The main observation is that the classical BRST operator has the same form as in the case of the Lie groups action. Two examples are analyzed. In the first, $M$ is the space of $SL(3,C)$-opers on Riemann curves with the Adler-Gelfand-Dikii brackets. The corresponding Hamiltonian system is the $W_3$-gravity. Its phase space is the base of the algebroid bundle. The sections of the bundle are the second order differential operators on Riemann curves. They are the gauge symmetries of the theory. The moduli space of $W_3$ geometry of Riemann curves is the symplectic quotient with respect to their action. It is demonstrated that the nonlinear brackets and the second order differential operators arise from the canonical brackets and the standard gauge transformations in the Chern-Simons field theory, as a result of the partial gauge fixing. The second example is $M=C^4$ endowed with the Sklyanin brackets. The symplectic reduction with respect to the algebroid action leads to a generalization of the rational Calogero-Moser model. As in the previous example the Sklyanin brackets can be derived from a ``free theory.'' In this case it is a ``relativistic deformation'' of the $SL(2,C)$ Higgs bundle over an elliptic curve.
description: Contribution in the Marinov Memorial Volume, Latex, 28 pages
The tangential cone condition for some coefficient identification model problems in parabolic PDEs
Creators: name: Kaltenbacher, Barbara
name: Nguyen, Tram Thi Ngoc
name: Scherzer, Otmar
Publisher: name: arXiv
Year: 2019
Subjects: subject: Analysis of PDEs (math.AP)
subject: Numerical Analysis (math.NA)
subject: Dynamical Systems (math.DS)
subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: The tangential condition was introduced in [Hanke et al., 95] as a sufficient condition for convergence of the Landweber iteration for solving ill-posed problems. In this paper we present a series of time dependent benchmark inverse problems for which we can verify this condition.
A multi-wavelength study of the oxygen-rich AGB star CIT 3: Bispectrum speckle interferometry and dust-shell modelling
Creators: name: Hofmann, K. -H.
name: Balega, Y.
name: Bloecker, T.
name: Weigelt, G.
Publisher: name: arXiv
Year: 2001
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: (abridged) CIT 3 is an oxygen-rich long-period variable evolving along the AGB and one of the most extreme infrared AGB objects. We present the first bispectrum speckle-interferometry observations of CIT 3 in the J-, H-, and K'-band (resolution: 48mas, 56mas, and 73mas). The interferograms were obtained with the Russian SAO 6m telescope. While CIT 3 appears almost spherically symmetric in the H- and K'-band, it is clearly elongated in the J-band along a symmetry axis of position angle -28 degr. Two structures can be identified: a compact elliptical core (eccentricity ~0.8) and a fainter north-western fan-like structure (full opening angle ~40 degr). Extensive radiative transfer calculations have been carried out and confronted with the spectral energy distribution, our 1.24, 1.65 and 2.12 micron visibility functions, and 11micron ISI interferometry. The best model refers to a cool central star (Teff=2250K) surrounded by an optically thick dust shell (tau_V = 30). The central-star diameter is 10.9mas and the inner dust shell diameter 71.9mas. The inner dust-shell rim is located at r_1=6.6 Rstar and has a temperature of T_1=900K. A two-component model existing of an inner uniform-outflow shell region (rho~1/r^2; r < 20.5 r_1) and an outer region with rho ~ 1/r^1.5 proved to give the best overall match of the observations. Provided the outflow velocity kept constant, the more shallow density distribution in the outer shell indicates that mass-loss has decreased with time in the past of CIT 3. Adopting vexp=20km/s, the termination of that mass-loss decrease and the begin of the uniform-outflow phase took place 87yr ago. The present-day mass-loss rate can be determined to be Mdot = (1.3-2.1) x 10^-5 Msol/yr for d=500-800pc.
description: 10 pages including 5 PostScript figures, also available from http://www.mpifr-bonn.mpg.de/div/ir-interferometry/publications.html; accepted for publication in Astronomy & Astrophysics
Classical and quantum polyhedra: A fusion graph algebra point of view
Creators: name: Coquereaux, Robert
Publisher: name: arXiv
Year: 2001
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Quantum Algebra (math.QA)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Representation theory, for the classical binary polyhedral groups is encoded by the affine Dynkin diagrams E6^{(1)}, E7^{(1)} and E8^{(1)} (McKay correspondance). The quantum versions of these classical geometries are associated with representation theories described by the usual Dynkin diagrams E6, E7 and E8. The purpose of these notes is to compare several chosen aspects of the classical and quantum geometries by using the study of spaces of paths and spaces of essential paths (Ocneanu theory) on these diagrams. To keep the size of this contribution small enough, most of our discussion will be limited to the cases of diagrams E6 and E6^{(1)}, i.e. to the quantum and classical tetrahedra. We shall in particular interpret the A11 labelling of the vertices of E6 diagram as a quantum analogue of the usual decomposition of spaces of sections for vector bundles above homogeneous spaces. We also show how to recover Klein invariants of polyhedra by paths algebra techniques and discuss their quantum generalizations.
description: 24 pages, LaTeX. Lectures given at Karpacz winter school (February 2001). Minor misprints corrected. One appendix added
CA-SBA-934: Archaeological site record for CA-SBA-934
Creators: name: Kekich, Jessica
Year: 2020
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory

description: This document is the archaeological site record for CA-SBA-934.
Leptomenoides placidior Giordani Soika 1962
Creators: name: Carpenter, James M.
name: Brown, Graham R.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Vespidae
Leptomenoides
Leptomenoides placidior

description: placidior Giordani Soika
Leptomenoides placidior Giordani Soika 1962 [1961]: 172 (key), 180, female—“ Queensland: Mackay” (London); also from Somerset.— Cardale 1985: 180 (cat.).— Borsato & Ratti 1999: 92 (list).
description: Published as part of Carpenter, James M. & Brown, Graham R., 2021, Catalogue of the Australian Eumeninae (Hymenoptera: Vespidae), pp. 1-68 in Zootaxa 4919 (1) on page 37, DOI: 10.11646/zootaxa.4919.1.1, http://zenodo.org/record/4473370
High temperature QCD with three flavors of improved staggered quarks
Creators: name: The MILC Collaboration
name: Bernard, C.
name: Burch, T.
name: DeTar, C. E.
name: Gottlieb, Steven
name: Gregory, Eric
name: Heller, U. M.
name: Osborn, J.
name: Sugar, R. L.
name: Toussaint, D.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We present an update of our study of high temperature QCD with three flavors of quarks, using a Symanzik improved gauge action and the Asqtad staggered quark action. Simulations are being carried out on lattices with Nt=4, 6 and 8 for the case of three degenerate quarks with masses less than or equal to the strange quark mass, $m_s$, and on lattices with Nt=6 and 8 for degenerate up and down quarks with masses in the range 0.2 m_s \leq m_{u,d} \leq 0.6 m_s, and the strange quark fixed near its physical value. We also report on first computations of quark number susceptibilities with the Asqtad action. These susceptibilities are of interest because they can be related to event-by-event fluctuations in heavy ion collision experiments. Use of the improved quark action leads to a substantial reduction in lattice artifacts. This can be seen already for free fermions and carries over into our results for QCD.
description: Lattice2002(Non-zero temperature and density)
Constitutions and Social Networks
Creators: name: Mauleon, Ana
name: Roehl, Nils
name: Vannetelbosch, Vincent
name: Mauleon, Ana
name: Roehl, Nils
name: Vannetelbosch, Vincent
Publisher: name: Unknown
Year: 2015
Subjects: subject: Political Economy
subject: Social Networks
subject: Constitutions
subject: Stability
subject: Many-to-Many Matchings

description: The objective of the paper is to analyze the formation of social networks where individuals are allowed to engage in several groups at the same time. These group structures are interpreted here as social networks. Each group is supposed to have specific rules or constitutions governing which members may join or leave it. Given these constitutions, we consider a social network to be stable if no group is modified any more. We provide requirements on constitutions and players’ preferences under which stable social networks are induced for sure. Furthermore, by embedding many-to-many matchings into our setting, we apply our model to job markets with labor unions. To some extent the unions may provide job guarantees and, therefore, have influence on the stability of the job market.
Ladder Operators in Repulsive Harmonic Oscillator with Application to the Schwinger Effect
Creators: name: Aouda, Kenichi
name: Kanda, Naohiro
name: Naka, Shigefumi
name: Toyoda, Haruki
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The ladder operators in harmonic oscillator are a well-known strong tool for various problems in physics. In the same sense, it is sometimes expected to handle the problems of repulsive harmonic oscillator in a similar way to the ladder operators in harmonic oscillators, though their analytic solutions are well known. In this paper, we discuss a simple algebraic way to introduce the ladder operators of the repulsive harmonic oscillators, which can reproduce well-known analytic solutions. Applying this formalism, we discuss the charged particles in a constant electric field in relation to the Schwinger effect; the discussion is also made on a supersymmetric extension of this formalism.
description: 18pages, 3figures
CA-SBA-3293: Archaeological Site Record for CA-SBA-3293
Creators: name: Zalud, Arianna
Year: 1995
Subjects: subject: Santa Barbara (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/3486/santa-barbara-county
subject: Vandenberg Air Force Base (VAFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85469/vandenberg-air-force-base-vafb
subject: Vandenberg Space Force Base (VSFB)
valueUri: https://core.tdar.org/browse/geographic-keyword/85584/vandenberg-space-force-base-vsfb
subject: United States of America (Country)
valueUri: https://core.tdar.org/browse/geographic-keyword/384/united-states-of-america-country
subject: North America (Continent)
valueUri: https://core.tdar.org/browse/geographic-keyword/2890/north-america-continent
subject: California (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/1484/california-state-territory
subject: CA-SBA-3293
valueUri: https://core.tdar.org/browse/site-name/137451/ca-sba-3293
subject: SA-164
valueUri: https://core.tdar.org/browse/site-name/137452/sa-164
subject: lithic and shell scatter
valueUri: https://core.tdar.org/browse/site-type/5121/lithic-and-shell-scatter
subject: Shell
valueUri: https://core.tdar.org/browse/material-type/14/shell
subject: Monterey Chert
valueUri: https://core.tdar.org/browse/material-type/334/monterey-chert
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Abalone (Haliotis sp.)
valueUri: https://core.tdar.org/browse/material-type/340/abalone-haliotis-sp
subject: Mytilus sp.
valueUri: https://core.tdar.org/browse/material-type/3236/mytilus-sp
subject: Ground Stone
valueUri: https://core.tdar.org/browse/material-type/7/ground-stone
subject: Black Abalone (Haliotis cracherodii)
valueUri: https://core.tdar.org/browse/material-type/360/black-abalone-haliotis-cracherodii
subject: Secondary Flakes
valueUri: https://core.tdar.org/browse/other-keyword/138861/secondary-flakes
subject: Tested Cobble
valueUri: https://core.tdar.org/browse/other-keyword/658/tested-cobble
subject: Tertiary Flakes
valueUri: https://core.tdar.org/browse/other-keyword/50156/tertiary-flakes
subject: Archaeological Overview
valueUri: https://core.tdar.org/browse/investigation-type/1/archaeological-overview

description: This document is the archaeological site record for CA-SBA-3293. The record consists of a single recordation event.
Proportional Ranking in Primary Elections: A Case Study
Creators: name: Rosenfeld, Ariel
name: Shapiro, Ehud
name: Talmon, Nimrod
Publisher: name: arXiv
Year: 2022
Subjects: subject: Multiagent Systems (cs.MA)
subject: FOS: Computer and information sciences

description: Many democratic political parties hold primary elections, which nicely reflects their democratic nature and promote, among other things, the democratic value of inclusiveness. However, the methods currently used for holding such primary elections may not be the most suitable, especially if some form of proportional ranking is desired. In this paper, we compare different algorithmic methods for holding primaries (i.e., different aggregation methods for voters' ballots), by evaluating the degree of proportional ranking that is achieved by each of them using real-world data. In particular, we compare six different algorithms by analyzing real-world data from a recent primary election conducted by the Israeli Democratit party. Technically, we analyze unique voter data and evaluate the proportionality achieved by means of cluster analysis, aiming at pinpointing the representation that is granted to different voter groups under each of the algorithmic methods considered. Our finding suggest that, contrary to the most-prominent primaries algorithm used (i.e., Approval), other methods such as Sequential Proportional Approval or Phragmen can bring about better proportional ranking and thus may be better suited for primary elections in practice.
description: Preprint of https://doi.org/10.1177/13540688211066711 (published in Party Politics, January 2022)
title: Wuwiśe kultury Serbow a serbskeje kultury: wobstawnosć a pśemĕnjenje
Creators: name: Marti, Roland
Publisher: name: Fachinformationsdienst Slavistik
Year: 2003
Subjects: subject: Sorbische Literatur
subject: Kulturelle Identität
subject: Kulturkontakt
subject: Volkskunde
subject: 491.8

description: Der Beitrag unterscheidet zwischen sorbischer Kultur (das, was von Sorben und Nichtsorben als typisch sorbisch angesehen wird) und Kultur der Sorben (umfasst neben der sorbischen Kultur auch Einflüsse anderer Kulturen, insbesondere der deutschen). Die Entwicklung der sorbischen Kultur und der Kultur der Sorben wird auf dem Gebiet der Trachten/Bräuche, der Musik, der Kunst, des Theaters, der Literatur und der Sprache verfolgt. Es ergeben sich drei Entwicklungsmöglichkeiten: Verdrängung einer spezifisch sorbischen Tradition durch die deutsche (z. B. Musik), Übernahme der deutschen Tradition bei fehlender sorbischer (z. B. Theater), Koexistenz des Sorbischen und Nichtsorbischen (z. B. Trachten/Bräuche). Insgesamt zeigt die Entwicklung eine zunehmende Vermischung der sorbischen Kultur mit anderen, vor allem deutschen Einflüssen. Problematisch ist daran die Instabilität des Verhältnisses, weil das Sorbische in der Mischung den schwächeren Partner darstellt. Es besteht deshalb die große Gefahr, dass das spezifisch Sorbische im Laufe der Zeit im Deutschen aufgehen wird, ohne nennenswerte Spuren zu hinterlassen. Insofern ist die positive Einschätzung, die das „Gemischte“ heute vonseiten der Kulturwissenschaften erfährt, im Falle des Sorbischen kaum gerechtfertigt.
description: Im Wettstreit der Werte: Sorbische Sprache, Kultur und Identität auf dem Weg ins 21. Jahrhundert, p. 233
The Super-Stuckelberg procedure and dS in Pure Supergravity
Creators: name: Nagy, Silvia
name: Padilla, Antonio
name: Zavala, Ivonne
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Understanding de Sitter space in supergravity - and string theory - has lead to an intense amount of work for more than two decades, largely motivated by the discovery of the accelerated expansion of the universe in 1998. In this paper, we consider a non-trivial generalisation of unimodular gravity to minimal N = 1 supergravity, which allows for de Sitter solutions without the need of introducing any matter. We formulate a superspace version of the Stuckelberg procedure, which restores diffeomorphism and local supersymmetry invariance. This introduces the goldstino associated to spontaneous breaking of supersymmetry in a natural way. The cosmological constant and gravitino mass are related to the vacuum expectation value of the components of a Lagrange multiplier imposing a super-unimodularity condition.
description: 11 pages, version published in PRSA
Leptomenoides pronotalis Giordani Soika 1961
Creators: name: Carpenter, James M.
name: Brown, Graham R.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Vespidae
Leptomenoides
Leptomenoides pronotalis

description: pronotalis Giordani Soika
Leptomenoides pronotalis Giordani Soika 1962 [1961], Boll. Soc. Mus. Civ. Stor. Nat. Venezia 14: 172 (key), 173, fig. 23, female, male—“ Queensland: Mackay” (holotype female London); also from Kuranda, Brisbane, “Cairns distr.”— Cardale 1985: 180 (cat.).— Borsato & Ratti 1999: 90 (list).— Borsato 1996: 224 (Qld.: Stadbroke I.); 2003: 558 (N. S. W.: Dorrigo).
description: Published as part of Carpenter, James M. & Brown, Graham R., 2021, Catalogue of the Australian Eumeninae (Hymenoptera: Vespidae), pp. 1-68 in Zootaxa 4919 (1) on page 37, DOI: 10.11646/zootaxa.4919.1.1, http://zenodo.org/record/4473370
Filifascigera d'Orbigny 1853
Creators: name: Gordon, Dennis P.
name: Taylor, Paul D.
Publisher: name: Zenodo
Year: 2010
Subjects: Biodiversity
Taxonomy
Animalia
Bryozoa
Stenolaemata
Cyclostomatida
Frondiporidae
Filifascigera

description: Filifascigera d’Orbigny, 1853
 Type species. Tubulipora megaera Lonsdale, 1845, by subsequent designation (Bassler 1935, p. 112) of the first of three species included by d'Orbigny (1853) in this genus.
description: Published as part of Gordon, Dennis P. & Taylor, Paul D., 2010, New seamount- and ridge-associated cyclostome Bryozoa from New Zealand, pp. 43-68 in Zootaxa 2533 (1) on page 53, DOI: 10.11646/zootaxa.2533.1.3, http://zenodo.org/record/5303533
Spots, strips, and spiral waves in models for static and motile cells
Creators: name: Liu, Yue
name: Rens, Elisabeth G.
name: Edelstein-Keshet, Leah
Publisher: name: arXiv
Year: 2019
Subjects: subject: Cell Behavior (q-bio.CB)
subject: FOS: Biological sciences

description: The polarization and motility of eukaryotic cells depends on assembly and contraction of the actin cytoskeleton and its regulation by proteins called GTPases. The activity of GTPases causes assembly of filamentous actin (by GTPases Cdc42, Rac), resulting in protrusion of the cell edge. Mathematical models for GTPase dynamics address the spontaneous formation of patterns and nonuniform spatial distributions of such proteins in the cell. Here we revisit the wave-pinning model for GTPase-induced cell polarization, together with a number of extensions proposed in the literature. These include introduction of sources and sinks of active and inactive GTPase (by the group of A. Champneys), and negative feedback from F-actin to GTPase activity. We discuss these extensions singly and in combination, in 1D, and 2D static domains. We then show how the patterns that form (spots, waves, and spirals) interact with cell boundaries to create a variety of interesting and dynamic cell shapes and motion.
description: 32 pages, preprint under review for J Math Bio
New Multicritical Random Matrix Ensembles
Creators: name: Janik, Romuald A.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Condensed Matter (cond-mat)
subject: Mathematical Physics (math-ph)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: In this paper we construct a class of random matrix ensembles labelled by a real parameter $α\in (0,1)$, whose eigenvalue density near zero behaves like $|x|^α$. The eigenvalue spacing near zero scales like $1/N^{1/(1+α)}$ and thus these ensembles are representatives of a {\em continous} series of new universality classes. We study these ensembles both in the bulk and on the scale of eigenvalue spacing. In the former case we obtain formulas for the eigenvalue density, while in the latter case we obtain approximate expressions for the scaling functions in the microscopic limit using a very simple approximate method based on the location of zeroes of orthogonal polynomials.
description: 15 pages, 3 figures; v2: version to appear in Nucl. Phys. B
Paralastor de Saussure 1856
Creators: name: Carpenter, James M.
name: Brown, Graham R.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Vespidae
Paralastor

description: Genus Paralastor de Saussure
Paralastor de Saussure 1856: 328, division of subgenus Alastor of genus Alastor Lepeletier; declared available from date of publication by Opinion 893.
Type species: Alastor tuberculatus de Saussure 1853, by subsequent designation of van der Vecht 1967: 31; confirmed by Opinion 893.
Alastoroides de Saussure 1856: 327, subgenus of Alastor Lepeletier.
Type species: Alastor clotho Lepeletier 1841, by subsequent designation of Ashmead 1902: 210.
Paralastoroides de Saussure 1856: 328, division of subgenus Alastoroides de Saussure of genus Alastor Lepeletier; declared available from date of publication by Opinion 893.
Type species: Alastor clotho Lepeletier 1841, by monotypy.
Taxonomy: Zavattari 1912: 255 (Alasteroides [!]).— Perkins 1914a: 563–621 (genus; revision).—van der Vecht 1967: 28, 31, 32 (proposal to place on Official Lists).— ICZN 1970, Opinion 893: 187, 188, 189 (placed on Official Lists).— Cardale 1985: 182–197 (cat.).—van der Vecht & Carpenter 1990: 8 (syns.: Alastoroides de Saussure, Paralastoroides de Saussure).
Distribution: Primarily Australia, with a few species in New Guinea, the Moluccas, and Oceania.
Ethology: Nests are constructed in burrows dug by the wasp, in pre-existing cavities or clusters of mud cells on the substrate, with a mud entrance funnel. Prey: usually caterpillars, with one species reported to provision with weevil larvae. Mating occurs at water sources.
description: Published as part of Carpenter, James M. & Brown, Graham R., 2021, Catalogue of the Australian Eumeninae (Hymenoptera: Vespidae), pp. 1-68 in Zootaxa 4919 (1) on page 37, DOI: 10.11646/zootaxa.4919.1.1, http://zenodo.org/record/4473370
Plagioecia Canu 1918
Creators: name: Gordon, Dennis P.
name: Taylor, Paul D.
Publisher: name: Zenodo
Year: 2010
Subjects: Biodiversity
Taxonomy
Animalia
Bryozoa
Stenolaemata
Cyclostomatida
Plagioeciidae
Plagioecia

description: Plagioecia Canu, 1918
 Type species. Tubulipora patina Lamarck, 1816, by original designation.
description: Published as part of Gordon, Dennis P. & Taylor, Paul D., 2010, New seamount- and ridge-associated cyclostome Bryozoa from New Zealand, pp. 43-68 in Zootaxa 2533 (1) on page 53, DOI: 10.11646/zootaxa.2533.1.3, http://zenodo.org/record/5303533
Effects of Charge Exchange on the Evaporative Wind of HD 209458b
Creators: name: Debrecht, Alex
name: Carroll-Nellenback, Jonathan
name: Frank, Adam
name: Blackman, Eric G.
name: Fossati, Luca
name: Murray-Clay, Ruth
name: McCann, John
Publisher: name: arXiv
Year: 2022
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The role of charge exchange in shaping exoplanet photoevaporation remains a topic of contention. Exchange of electrons between stellar wind protons from the exoplanet's host star and neutral hydrogen from the planet's wind has been proposed as a mechanism to create "energetic neutral atoms" (ENAs), which could explain the high absorption line velocities observed in systems where mass loss is occurring. In this paper we present results from 3D hydrodynamic simulations of the mass loss of a planet similar to HD 209458b. We self-consistently launch a planetary wind by calculating the ionization and heating resulting from incident high-energy radiation, inject a stellar wind into the simulation, and allow electron exchange between the stellar and planetary winds. We predict the potential production of ENAs by the wind-wind interaction analytically, then present the results of our simulations, which confirm the analytic limits. Within the limits of our hydrodynamic simulation, we find that charge exchange with the stellar wind properties examined here is unable to explain the absorption observed at high Doppler velocities.
description: arXiv admin note: text overlap with arXiv:1906.00075
Additional file 1 of A multicenter evaluation of viral bloodstream detections in children presenting to the Emergency Department with suspected systemic infection
Creators: name: Rostad, Christina A.
name: Kanwar, Neena
name: Jumi Yi
name: Morris, Claudia R.
name: Bard, Jennifer Dien
name: Leber, Amy
name: Dunn, James
name: Kimberle C. Chapin
name: Blaschke, Anne J.
name: Daly, Judy A.
name: Hueschen, Leslie A.
name: Jones, Matthew
name: Ott, Elizabeth
name: Bastar, Jeffrey
name: Bourzac, Kevin M.
name: Rangaraj Selvarangan
Publisher: name: figshare
Year: 2021
Subjects: subject: Space Science
subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: Additional file 1: Supplemental Table S1. Demographic and laboratory characteristics of subjects with respiratory viral infections alone (by SOC PCR testing of upper or lower respiratory tract specimen); any systemic bacterial infection (SBI); or no respiratory virus or bacterial infection. SOC: Standard of Care. WBC: white blood cell count. LE: leukocyte esterase. CSF: cerebrospinal fluid. UTI: urinary tract infection. Supplemental Table S2. Standard-of-care (SOC) bacterial culture results with respect to respiratory viral pathogen detections by SOC PCR analysis of upper or lower respiratory tract specimens.
SEEF-ALDR: A Speaker Embedding Enhancement Framework via Adversarial Learning based Disentangled Representation
Creators: name: Tai, Jianwei
name: Jia, Xiaoqi
name: Huang, Qingjia
name: Zhang, Weijuan
name: Du, Haichao
name: Zhang, Shengzhi
Publisher: name: arXiv
Year: 2019
Subjects: subject: Audio and Speech Processing (eess.AS)
subject: Sound (cs.SD)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Speaker verification, as a biometric authentication mechanism, has been widely used due to the pervasiveness of voice control on smart devices. However, the task of "in-the-wild" speaker verification is still challenging, considering the speech samples may contain lots of identity-unrelated information, e.g., background noise, reverberation, emotion, etc. Previous works focus on optimizing the model to improve verification accuracy, without taking into account the elimination of the impact from the identity-unrelated information. To solve the above problem, we propose SEEF-ALDR, a novel Speaker Embedding Enhancement Framework via Adversarial Learning based Disentangled Representation, to reinforce the performance of existing models on speaker verification. The key idea is to retrieve as much speaker identity information as possible from the original speech, thus minimizing the impact of identity-unrelated information on the speaker verification task by using adversarial learning. Experimental results demonstrate that the proposed framework can significantly improve the performance of speaker verification by 20.3% and 23.8% on average over 13 tested baselines on dataset Voxceleb1 and 8 tested baselines on dataset Voxceleb2 respectively, without adjusting the structure or hyper-parameters of them. Furthermore, the ablation study was conducted to evaluate the contribution of each module in SEEF-ALDR. Finally, porting an existing model into the proposed framework is straightforward and cost-efficient, with very little effort from the model owners due to the modular design of the framework.
description: 12 pages, 4 figures, Accepted by ACSAC 2020
Integrable models for confined fermions: applications to metallic grains
Creators: name: Amico, Luigi
name: Di Lorenzo, Antonio
name: Osterloh, Andreas
Publisher: name: arXiv
Year: 2001
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We study integrable models for electrons in metals when the single particle spectrum is discrete. The electron-electron interactions are BCS-like pairing, Coulomb repulsion, and spin exchange coupling. These couplings are, in general, nonuniform in the sense that they depend on the levels occupied by the interacting electrons. By using the realization of spin 1/2-operators in terms of electrons the models describe spin 1/2 models with nonuniform long range interactions and external magnetic field. The integrability and the exact solution arise since the model Hamiltonians can be constructed in terms of Gaudin models. Uniform pairing and the resulting orthodox model correspond to an isotropic limit of the Gaudin Hamiltonians. We discuss possible applications of this model to a single grain and to a system of few interacting grains.
description: elsart, 21 pages, 4 eps figures. Version emended from few misprints
Spatial Transferability: Analysis of the Regional Automobile-Specific Household-Level Carbon Dioxide (CO2) Emissions Models
Creators: name: Siuhi, Saidi
name: Mwakalonge, Judith L.
name: Perkins, Judy
name: Siuhi, Saidi
name: Mwakalonge, Judith L.
name: Perkins, Judy
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: This paper compared performance of methods for combining model information estimated in one region and applied to another region to improve estimation results. The application is for models developed to estimate household-level automobile-specific CO2 emissions. The results indicated that automobile-specific CO2 emissions models can be transferred from one geographical region to another. The estimates of CO2 emissions can assist agencies such as policy makers, businesses, and transportation planners to track trends and identify opportunities to reduce CO2 emissions and increase efficiency of transportation systems to lessen their impact on global warming, climate change, and air quality standards.
Color confinement and dual superconductivity in unquenched QCD
Creators: name: Carmona, J. M.
name: D'Elia, M.
name: Del Debbio, L.
name: Di Giacomo, A.
name: Lucini, B.
name: Paffuti, G.
name: Pica, C.
Publisher: name: arXiv
Year: 2002
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We report on evidence from lattice simulations that confinement is produced by dual superconductivity of the vacuum in full QCD as in quenched QCD. Preliminary information is obtained on the order of the deconfining phase transition.
description: 4 pages, to appear in the Proceedings of Quark Matter 02 - The XVI International Conference on Ultrarelativistic Nucleus-Nucleus Collisions
Paralastor abnormis
Creators: name: Carpenter, James M.
name: Brown, Graham R.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Vespidae
Paralastor
Paralastor abnormis

description: abnormis (Bingham)
Alastor abnormis Bingham 1912: 380, male—“W. Australia: Towranna Plains” (Oxford).
Paralastor abnormis; Perkins 1914a: 622 and footnote.— Giordani Soika 1962 [1961]: 60; 1973b: 98 (“allotipo” female;W.A.: “Carranya, Kimberley,” “Balgo, 57 km.S of Belliluna, Kimberley,” Pardoo, “Nita, Kimberley”).— Cardale 1985: 182 (cat.).
description: Published as part of Carpenter, James M. & Brown, Graham R., 2021, Catalogue of the Australian Eumeninae (Hymenoptera: Vespidae), pp. 1-68 in Zootaxa 4919 (1) on page 37, DOI: 10.11646/zootaxa.4919.1.1, http://zenodo.org/record/4473370
A Framework for Determining Highway Truck-Freight Benefits and Economic Impacts
Creators: name: Wang, Zun
name: Sage, Jeremy
name: Goodchild, Anne
name: Jessup, Eric
name: Casavant, Kenneth
name: Knutson, Rachel L.
name: Wang, Zun
name: Sage, Jeremy
name: Goodchild, Anne
name: Jessup, Eric
name: Casavant, Kenneth
name: Knutson, Rachel L.
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: This paper proposes a method for calculating both the direct freight benefits and the larger economic impacts of transportation projects. The identified direct freight benefits included in the methodology are travel time savings, operating cost savings, and environmental impacts. These are estimated using regional travel demand models (TDM) and additional factors. Economic impacts are estimated using a regional Computable General Equilibrium (CGE) model. The total project impacts are estimated combining the outputs of the transportation model and an economic model. A Washington State highway widening project is used as a case study to demonstrate the method. The proposed method is transparent and can be used to identify freight specific benefits and generated impacts.
Future Substitutes for Diesel Fuel in U.S. Truck and Railroad Freight Transportation
Creators: name: Baumel, C. Phillip
name: Baumel, C. Phillip
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: This paper explains why diesel fuel is the preferred fuel in freight transportation. It identifies possible substitute fuels for motor carriers and railroads that are currently available and under development. It identifies which of these substitutes are likely to be used in the near and medium term years and the circumstances under which they will be used. The paper discusses which fuel efficiency measures have been successfully adopted by railroads and motor carriers. Finally, it suggests opportunities for transportation researchers to evaluate investment options to improve fuel efficiencies in freight transportation.
A new CLT for additive functionals of Markov chains
Creators: name: Peligrad, Magda
Publisher: name: arXiv
Year: 2019
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: In this paper we study the central limit theorem for additive functionals of stationary Markov chains with general state space by using a new idea involving conditioning with respect to both the past and future of the chain. Practically, we show that any additive functionals of a stationary and totally ergodic Markov chain with the variance of S_n divided by n uniformly bounded, satisfies a square root central limit theorem with a random centering. We do not assume that the Markov chain is irreducible and aperiodic. However, the random centering is not needed if the Markov chain satisfies stronger forms of ergodicity. In absence an ergodicity the convergence in distribution still holds, but the limiting distribution might not be normal.
description: 18 pages
U.S. and European Freight Railways: The Differences That Matter
Creators: name: Andrade Furtado, Francisco Manuel Bastos
name: Andrade Furtado, Francisco Manuel Bastos
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: This paper examines the differences between the United States (U.S.) and European (EU27) freight railways. The inherent or structural factors influencing the railways modal share will be evaluated. It was found that nearly all of the disparity in modal share can be explained by structural or inherent differences, like the competitiveness of non-surface modes, shipment distances (both influenced by geography), and commodity mix (namely, coal). More striking are the differences in productivity, to move the same number of tons seven times, more trains are required in Europe compared with the U.S.. Operational revenues per ton-mile are around two times higher in Europe, while the operational expenses in the U.S. are four times lower than in Europe. It is argued that setting a goal for modal share similar to the U.S. is not realistic for the EU27. A key concern for European freight railways should be the reduction of operational costs, by increasing the trains’ sizes. Distinct policy answers were given to the railroads’ crisis in the post WWII years. Soon after 1980 when reforms were introduced in the U.S. there was a revival of the sector. The same has not happened in Europe, where questions regarding infrastructure financing or the coordination of network investments and operational needs remain.
Spectroscopic and Molecular Dynamics Study of Solvation and Translational Dynamics in Ionic Liquids
Creators: name: Wu, Eric
Publisher: name: Carnegie Mellon University
Year: 2019
Subjects: subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences

description: Room temperature ionic liquids (RTILs or ILs) are a class of chemical salts that have low melting points and are liquids at room temperature. The cations are either nitrogen-based (ammonium, imidazolium, pyrazolium, pyridinium, and pyrrolidinium), sulfur-based (sulfonium), or phosphate-based (phosphonium), and the anions are either organic (e.g. acetate) or inorganic (e.g. PF6 –). For each class of cations and anions, many modifications are possible, such as changing alkyl chain length or adding additional
functional groups. The number of ILs that can be synthesized is, therefore, nearly infinite.1 In addition to pure ILs, mixtures of ILs have also been used in many applications.2–11 By creating mixtures of ILs, the number of possible ILs increases exponentially and these mixtures of ILs have enabled additional methods for fine-tuning the physical and chemical properties of these materials. With such a large number of available ILs, a better
understanding of the structure and dynamic of ILs is needed to facilitate the development of task-specific ILs.
DAP Servers and Services
Creators: name: Gallagher, James
Publisher: name: Zenodo
Year: 2007

description: Presentation from the Australian Partnership for Advanced Computing (APAC) OPeNDAP Workshop (held Friday 12 Oct 2007). Summary: 

The document outlines various Data Access Protocol (DAP) servers and focuses on the Hyrax architecture and its customization, along with an example configuration of Hyrax. Different DAP servers discussed include Hyrax, developed by OPeNDAP, TDS by Unidata, GDS by COLA, PyDAP by Roberto De Almeida, and others. Each server supports DAP and THREDDS protocols with unique features. The Hyrax architecture is described, supporting multiple protocols and data formats, with both front-end and back-end customization options. The document details the installation and configuration process of Hyrax, including security considerations and testing. Summary emphasizes the versatility and customization options available with Hyrax installation.
Modeling User Equilibrium in Microscopic Transportation Simulation
Creators: name: Cheng, Liang-Chieh
name: Wang, Heng
name: Cheng, Liang-Chieh
name: Wang, Heng
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: User equilibrium refers to the network-wide state where individual travelers cannot gain improvement by unilaterally changing their behaviors. The Wardropian Equilibrium has been the focus of a transportation equilibrium study. This paper modifies the dynamic traffic assignment method through utilizing the TRANSIMS system to reach the dynamic user equilibrium state in a microscopic model. The focus of research is developing three heuristics in a Routing-Microsimulation-Equilibrating order for reaching system-wide equilibrium while simultaneously minimizing the computing burden and execution. The heuristics are implemented to a TRANSIMS model to simulate a subarea of Houston, TX.
Introduction of Heavy Axle Loads by the North American Rail Industry
Creators: name: Martland, Carl D.
name: Martland, Carl D.
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: The Association of American Railroads (AAR) initiated the Heavy Axle Load (HAL) Research Program in 1988 in order to “provide guidance to the North American railroad industry about whether to increase axle loads and to determine the most economic payload consistent with safety” (Kalay and Martland 2001). The research demonstrated the technical feasibility and economic desirability of increasing axle loads and the ability of technology to mitigate the adverse effects of heavier loads. In 1991, the industry decided to accept cars with 286,000 lb. gross vehicle weight (286k GVW) in interchange service. Since then, more than 90% of all bulk equipment acquired has been rated for 286k GVW. By 2010, nearly 100% of coal traffic and 30% of general freight moved in 286k loads. Technological improvements resulting from the HAL research program have been critical in enabling the industry to reduce costs of 286k operations. Stronger materials, better designs, and improved maintenance techniques reduced life cycle costs for rail and other track components. Bridge costs did not increase as much as expected, because of technological developments and better understanding of their ability to withstand HAL loads. Net benefits of HAL operations to railroads, suppliers, and their customers were approximately $6 billion between 1994 and 2010. Annual net benefits exceeded $600 million in 2010. Benefits included reductions in equipment expense, more efficient operations, and increases in line capacity. Given the technological advances in railroad engineering over the past 20 years, further increases in GVW or loading density should now be considered.
Favosipora MacGillivray 1885
Creators: name: Gordon, Dennis P.
name: Taylor, Paul D.
Publisher: name: Zenodo
Year: 2010
Subjects: Biodiversity
Taxonomy
Animalia
Bryozoa
Stenolaemata
Cyclostomatida
Densiporidae
Favosipora

description: Favosipora MacGillivray, 1885
 Type species. Favosipora rugosa MacGillivray, 1885, by monotypy.
description: Published as part of Gordon, Dennis P. & Taylor, Paul D., 2010, New seamount- and ridge-associated cyclostome Bryozoa from New Zealand, pp. 43-68 in Zootaxa 2533 (1) on page 55, DOI: 10.11646/zootaxa.2533.1.3, http://zenodo.org/record/5303533
Rail Market Share of Grain and Oilseed Transportation
Creators: name: Prater, Marvin E.
name: Sparger, Adam
name: Bahizi, Pierre
name: O’Neil, Daniel
name: Prater, Marvin E.
name: Sparger, Adam
name: Bahizi, Pierre
name: O’Neil, Daniel
Publisher: name: Unknown
Year: 2013
Subjects: Public Economics

description: The share of the grain and oilseed harvest moved by rail has been declining since 1980, when the Federal Motor Carrier Act and the Staggers Rail Act were passed. Large structural changes associated with these acts affected the decline over the following two decades. Yet, even though the large structural changes had already taken place by 2000, the rail market share of grain and oilseed transportation has continued to decline. This paper develops a state-level statistical model for 21 of the top grain-producing states (which produce 86.6% of all grain and oilseeds) to investigate which major factors have been responsible for the decrease in the rail market share of grain and oilseed transportation since 2001. Twenty variables are tested in the model, and 10 are found to have a statistically significant impact on rail market share. Of these, three are most important in the decrease of rail market share: ethanol production, biodiesel production, and the concentration of animal feeding.
Paralastor aequifasciatus Perkins 1914
Creators: name: Carpenter, James M.
name: Brown, Graham R.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Vespidae
Paralastor
Paralastor aequifasciatus

description: aequifasciatus Perkins
Paralastor aequifasciatus Perkins 1914b: 236 (key), 239, female—“Yallingup, S. W. Australia ” (London).— Cardale 1985: 182 (cat.).
description: Published as part of Carpenter, James M. & Brown, Graham R., 2021, Catalogue of the Australian Eumeninae (Hymenoptera: Vespidae), pp. 1-68 in Zootaxa 4919 (1) on page 38, DOI: 10.11646/zootaxa.4919.1.1, http://zenodo.org/record/4473370