cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Creators: name: Paulus, Joseph W. N.
name: Nantes-Sobrinho, Daniele
name: Pérez, Jorge A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider lambdafail, a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side, we consider spi, a pi-calculus in which non-determinism and failure rest upon a Curry-Howard correspondence between linear logic and session types. We present a typed encoding of lambdafail into spi and establish its correctness. Our encoding precisely explains the interplay of non-deterministic and fail-prone evaluation in lambdafail via typed processes in spi. In particular, it shows how failures in sequential evaluation (absence/excess of resources) can be neatly codified as interaction protocols.
title: Einführung in das Themenfeld „Gesetzmäßigkeiten der Natur und Quellen des positiven Rechts“
Creators: name: Kühne, Gunther
Publisher: name: Cramer
Year: 2019
Subjects: subject: Jahrbuch der BWG
subject: Brunsvicensien der Universitätsbibliothek Braunschweig
subject: 343

description: Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018Jahrbuch 2018 der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018, p. 149
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 3 (235)]
Creators: name: Henricus
name: Henricus
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1299
Subjects: subject: Sonstige geistliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Der Praepositus Henricus de Gambarana und der Canonicus Henricus de Nacano, beide Collectores der Civitas von Pavia, bestätigen, von Guillelmus Panicia für das Kloster Montisoliveti den der Civitas und Diözese Pavia vom apostolischen Stuhl kürzlich auferlegten Zehnt erhalten zu haben.
HIPPARCOS age-metallicity relation of the solar neighbourhood disc stars
Creators: name: Ibukiyama, A.
name: Arimoto, N.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We derive age-metallicity relations (AMRs) and orbital parameters for the 1658 solar neighbourhood stars to which accurate distances are measured by the HIPPARCOS satellite. The sample stars comprise 1382 thin disc stars, 229 thick disc stars, and 47 halo stars according to their orbital parameters. We find a considerable scatter for thin disc AMR along the one-zone Galactic chemical evolution (GCE) model. Orbits and metallicities of thin disc stars show now clear relation each other. The scatter along the AMR exists even if the stars with the same orbits are selected. We examine simple extension of one-zone GCE models which account for inhomogeneity in the effective yield and inhomogeneous star formation rate in the Galaxy. Both extensions of one-zone GCE model cannot account for the scatter in age - [Fe/H] - [Ca/Fe] relation simultaneously. We conclude, therefore, that the scatter along the thin disc AMR is an essential feature in the formation and evolution of the Galaxy. The AMR for thick disc stars shows that the star formation terminated 8 Gyr ago in thick disc. As already reported by Gratton et.al. (2000) and Prochaska et.al. (2000), thick disc stars are more Ca-rich than thin disc stars with the same [Fe/H]. We find that thick disc stars show a vertical abundance gradient. These three facts, the AMR, vertical gradient, and [Ca/Fe]-[Fe/H] relation, support monolithic collapse and/or accretion of satellite dwarf galaxy as thick disc formation scenario.
description: 45 pages, 21 figures, and 5 tables. Accepted to Astronomy & Astrophysics
Comparative docking analysis of cholesterol analogs to ion channels to discriminate between stereospecific binding vs. stereospecific response
Creators: name: Barbera, Nicolas A.
name: Minke, Baruch
name: Levitan, Irena
Publisher: name: Taylor & Francis
Year: 2019
Subjects: subject: Biophysics
subject: Biochemistry
subject: Cell Biology
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences

description: Cholesterol is a major component of the membrane and a key regulator of many ion channels. Multiple studies showed that cholesterol regulates ion channels in a stereospecific manner, with cholesterol but not its chiral isomers having a functional effect. This stereospecificity has been universally attributed to the specificity of cholesterol binding, with the assumption that only native cholesterol binds to the channels whereas its isomers do not. In this study, we challenge this paradigm by docking analyses of cholesterol and its chiral isomers to five ion channels whose response to cholesterol was shown to be stereospecific, Kir2.2, KirBac1.1, TRPV1, GABAA and BK. The analysis is performed using AutoDock Vina to predict the binding poses and energies of the sterols to the channels and identify amino acids interacting with the sterol molecules. We found that for every ion channel tested herein all three sterols showed similar binding poses and significant overlap in the set of the amino acids that comprise the predicted binding sites, along with similar energetic favorability to these overlapping sites. We also found, however, that specific orientations of the three sterols within the binding sites of the channels are distinct, so that a subset of the interacting amino acids is unique to each sterol. We propose therefore, that contrary to previous thought, stereospecific effects of cholesterol should be attributed not to the lack of binding of the stereoisomers but to specific, unique interactions between the cholesterol molecule and the residues within the binding sites of the channels.
title: Gesetzmäßigkeiten der Natur und Quellen des positiven Rechts
Creators: name: Starck, Christian
Publisher: name: Cramer
Year: 2019
Subjects: subject: Jahrbuch der BWG
subject: Brunsvicensien der Universitätsbibliothek Braunschweig
subject: 340

description: Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018Jahrbuch 2018 der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018, p. 154
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Creators: name: Cesco, Arnaldo
name: Gorrieri, Roberto
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We prove that the well-known (strong) fully-concurrent bisimilarity and the novel i-causal-net bisimilarity, which is a sligtlhy coarser variant of causal-net bisimilarity, are decidable for finite bounded Petri nets. The proofs are based on a generalization of the ordered marking proof technique that Vogler used to demonstrate that (strong) fully-concurrent bisimilarity (or, equivalently, history-preserving bisimilarity) is decidable on finite safe nets.
Lasioglossum (Lasioglossum) coriaceum F
Creators: name: Zarrillo, Tracy A.
name: Stoner, Kimberly A.
name: Ascher, John S.
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Halictidae
Lasioglossum
Lasioglossum coriaceum

description: Lasioglossum (Lasioglossum) coriaceum (Smith 1853)
Leathery Sweat Bee
Notes: This common species has been found throughout Connecticut in many diverse habitats, including powerline ROW, sandplain remnants, and agricultural land.
description: Published as part of Zarrillo, Tracy A., Stoner, Kimberly A. & Ascher, John S., 2025, Biodiversity of Bees (Hymenoptera: Apoidea: Anthophila) in Connecticut (USA), pp. 1-138 in Zootaxa 5586 (1) on pages 115-116, DOI: 10.11646/zootaxa.5586.1.1, http://zenodo.org/record/14895883
Simulation by Rounds of Letter-to-Letter Transducers
Creators: name: Nassar, Antonio Abu
name: Almagor, Shaull
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Letter-to-letter transducers are a standard formalism for modeling reactive systems. Often, two transducers that model similar systems differ locally from one another, by behaving similarly, up to permutations of the input and output letters within "rounds". In this work, we introduce and study notions of simulation by rounds and equivalence by rounds of transducers. In our setting, words are partitioned to consecutive subwords of a fixed length $k$, called rounds. Then, a transducer $\mathcal{T}_1$ is $k$-round simulated by transducer $\mathcal{T}_2$ if, intuitively, for every input word $x$, we can permute the letters within each round in $x$, such that the output of $\mathcal{T}_2$ on the permuted word is itself a permutation of the output of $\mathcal{T}_1$ on $x$. Finally, two transducers are $k$-round equivalent if they simulate each other.
 We solve two main decision problems, namely whether $\mathcal{T}_2$ $k$-round simulates $\mathcal{T}_1$ (1) when $k$ is given as input, and (2) for an existentially quantified $k$.
 We demonstrate the usefulness of the definitions by applying them to process symmetry: a setting in which a permutation in the identities of processes in a multi-process system naturally gives rise to two transducers, whose $k$-round equivalence corresponds to stability against such permutations.
Onset of criticality and transport in a driven diffusive system
Creators: name: Markosova, M.
name: Jensen, M. H.
name: Lauritsen, K. B.
name: Sneppen, K.
Publisher: name: arXiv
Year: 1997
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We study transport properties in a slowly driven diffusive system where the transport is externally controlled by a parameter $p$. Three types of behavior are found: For $pp_c$ the system becomes completely conducting. For all $p>p'$ the system exhibits self-organized critical behavior. In the middle of this regime, at $p_c$, the system undergoes a continuous phase transition described by critical exponents.
description: 4 latex/revtex pages; 4 figures
Untitled Item
Creators: name: Harding, John
Publisher: name: figshare
Year: 2019
Subjects: subject: 120101 Architectural Design
subject: FOS: Arts (arts, history of arts, performing arts, music)
subject: 120506 Transport Planning
subject: FOS: Social and economic geography
subject: 120401 Engineering Design Empirical Studies
subject: FOS: Other engineering and technologies

description: This is a conference paper submitted and presented at University of Bath , the International Conference on Integrated Design, Building our Future in 2013
Statistics of Wave Functions in Coupled Chaotic Systems
Creators: name: Tschersich, A.
name: Efetov, K. B.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: Using the supersymmetry technique, we calculate the joint distribution of local densities of electron wavefunctions in two coupled disordered or chaotic quantum billiards. We find novel spatial correlations that are absent in a single chaotic system. Our exact result can be interpreted for small coupling in terms of the hybridization of eigenstates of the isolated billiards. We show that the presented picture is universal, independent of microscopic details of the coupling.
description: 4 pages, 2 figures; acknowledgements and references added
Effects of dark matter in star formation
Creators: name: Kenath, Arun
name: Gudennavar, S B
name: Prasad, A
name: Sivaram, C
Publisher: name: arXiv
Year: 2019
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The standard model for the formation of structure assumes that there existed small fluctuations in the early universe that grew due to gravitational instability. The origins of these fluctuations are as yet unclear. In this work we propose the role of dark matter in providing the seed for star formation in the early universe. Very recent observations also support the role of dark matter in the formation of these first stars. With this we set observable constraints on luminosities, temperatures, and lifetimes of these early stars with an admixture of dark matter.
description: 16 pages, 5 figures, To appear as Astrophysics and Space Science (2019) 364:24
title: Menschenwürde im Internationalen Menschenrechtsschutz
Creators: name: Seibert-Fohr, Anja
Publisher: name: Cramer
Year: 2019
Subjects: subject: Jahrbuch der BWG
subject: Brunsvicensien der Universitätsbibliothek Braunschweig
subject: 341

description: Die Achtung der Menschenwürde nimmt nicht zuletzt aus historischen Gründen eine zentrale
Rolle in der bundesdeutschen Verfassungsstaatlichkeit ein. Angesichts der nationalsozialistischen
Gräueltaten fand der Würdebegriff darüber hinaus auch Eingang in die internationalen
Menschenrechtsabkommen. Dies entspricht dem der Menschenwürdeidee immanenten universellen
Geltungsanspruch. Während sich der Würdebegriff in der Bundesrepublik indes auf
einen gemeinsamen Wertekanon stützen kann, stellt dessen Deutung in einer weltanschaulich
und religiös diversen Welt die zuständigen internationalen Spruchkörper vor besondere Herausforderungen.
Der Vortrag der ehemaligen Vizepräsidentin des UN-Menschenrechtsausschusses
beschäftig sich daher mit Bedeutung und Funktion der Menschenwürdegarantie im Rahmen
der internationalen Menschenrechtsabkommen und erläutert, wie der Spagat zwischen Universalitätsanspruch
und Pluralität der Wertordnungen gelingen kann.
description: Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018Jahrbuch 2018 der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018, p. 165
On the inversion number of oriented graphs
Creators: name: Bang-Jensen, Jørgen
name: da Silva, Jonas Costa Ferreira
name: Havet, Frédéric
Publisher: name: arXiv
Year: 2021
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Let $D$ be an oriented graph. The inversion of a set $X$ of vertices in $D$ consists in reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by ${\rm inv}(D)$, is the minimum number of inversions needed to make $D$ acyclic. Denoting by $τ(D)$, $τ' (D)$, and $ν(D)$ the cycle transversal number, the cycle arc-transversal number and the cycle packing number of $D$ respectively, one shows that ${\rm inv}(D) \leq τ' (D)$, ${\rm inv}(D) \leq 2τ(D)$ and there exists a function $g$ such that ${\rm inv}(D)\leq g(ν(D))$. We conjecture that for any two oriented graphs $L$ and $R$, ${\rm inv}(L\rightarrow R) ={\rm inv}(L) +{\rm inv}(R)$ where $L\rightarrow R$ is the dijoin of $L$ and $R$. This would imply that the first two inequalities are tight. We prove this conjecture when ${\rm inv}(L)\leq 1$ and ${\rm inv}(R)\leq 2$ and when ${\rm inv}(L) ={\rm inv}(R)=2$ and $L$ and $R$ are strongly connected. We also show that the function $g$ of the third inequality satisfies $g(1)\leq 4$.
 We then consider the complexity of deciding whether ${\rm inv}(D)\leq k$ for a given oriented graph $D$. We show that it is NP-complete for $k=1$, which together with the above conjecture would imply that it is NP-complete for every $k$. This contrasts with a result of Belkhechine et al. which states that deciding whether ${\rm inv}(T)\leq k$ for a given tournament $T$ is polynomial-time solvable.
Dimensional reduction and gauge group reduction in Bianchi-Type cosmology
Creators: name: Pons, J. M.
name: Shepley, L. C.
Publisher: name: arXiv
Year: 1998
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this paper we examine in detail the implementation, with its associated difficulties, of the Killing conditions and gauge fixing into the variational principle formulation of Bianchi-Type cosmologies. We address problems raised in the literature concerning the Lagrangian and the Hamiltonian formulations: We prove their equivalence, make clear the role of the Homogeneity Preserving Diffeomorphisms in the phase space approach, and show that the number of physical degrees of freedom is the same in the Hamiltonian and Lagrangian formulations. Residual gauge transformations play an important role in our approach, and we suggest that Poincaré transformations for special relativistic systems can be understood as residual gauge transformations. In Appendices, we give the general computation of the equations of motion and the Lagrangian for any Bianchi-Type vacuum metric and for spatially homogeneous Maxwell fields in a nondynamical background (with zero currents). We also illustrate our counting of degrees of freedom in an Appendix.
description: 2-column format; 19 pages; to appear in Phys. Rev. D15-3
A Spatial Logic for Simplicial Models
Creators: name: Loreti, Michele
name: Quadrini, Michela
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the distribution of these entities determines a space that can be either physical or logical. The former is defined in terms of a physical relation among components. The latter depends on logical relations, such as being part of the same group. In this context, specification and verification of spatial properties play a fundamental role in supporting the design of systems and predicting their behaviour. For this reason, different tools and techniques have been proposed to specify and verify the properties of space, mainly described as graphs. Therefore, the approaches generally use model spatial relations to describe a form of proximity among pairs of entities. Unfortunately, these graph-based models do not permit considering relations among more than two entities that may arise when one is interested in describing aspects of space by involving interactions among groups of entities. In this work, we propose a spatial logic interpreted on simplicial complexes. These are topological objects, able to represent surfaces and volumes efficiently that generalise graphs with higher-order edges. We discuss how the satisfaction of logical formulas can be verified by a correct and complete model checking algorithm, which is linear to the dimension of the simplicial complex and logical formula. The expressiveness of the proposed logic is studied in terms of the spatial variants of classical bisimulation and branching bisimulation relations defined over simplicial complexes.
Spatially varying electronic dephasing in three dimensional topological insulators
Creators: name: Banerjee, Abhishek
name: Sundaresh, Ananthesh
name: Ganesan, R.
name: Kumar, P. S. Anil
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Information processing devices operating in the quantum mechanical regime strongly rely on the quantum coherence of charge carriers. Studies of electronic dephasing in conventional metallic and semiconductor systems have not only paved the way towards high coherence quantum electronics, but also led to fundamental new insights in condensed matter physics. In this work, we perform a spatially resolved study of electronic dephasing in three dimensional topological insulators by exploiting an edge versus surface contacted measurement scheme. Unlike conventional two dimensional systems that are characterized by a single dephasing mechanism, we find that dephasing in our samples evolves from a variable-range-hopping type mechanism on the sample surface to a Nyquist type electron-electron interaction mechanism in the sub-surface layers. This is confirmed independently by the temperature and chemical potential dependence of the dephasing length, and gate dependent suppression/enhancement of the weak anti-localization effect. Our devices are fabricated using bulk insulating topological insulator BiSbTe$_{1.25}$Se$_{1.75}$ capped with hexagonal-Boron Nitride in an inert environment, ruling out any extrinsic effects and confirming the topological surface state origin of our results. Our work introduces the idea of spatially resolved electronic dephasing and reveals a new regime of coherent transport in perhaps the most important topological insulator discovered so far. Our edge-vs-surface scheme may be applied to dephasing studies in a wide class of 2D materials.
description: 18 pages, 4 figures, supplementary material available upon email request
Separating Sessions Smoothly
Creators: name: Fowler, Simon
name: Kokke, Wen
name: Dardha, Ornela
name: Lindley, Sam
name: Morris, J. Garrett
Publisher: name: arXiv
Year: 2021
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-environments, which are collections of type environments, to ensure that structural congruence is type preserving. As a consequence we obtain an operational correspondence between HGV and HCP -- a process calculus based on hypersequents and in a propositions-as-types correspondence with classical linear logic (CLL). Our translations from HGV to HCP and vice-versa both preserve and reflect reduction. HGV scales smoothly to support Girard's Mix rule, a crucial ingredient for channel forwarding and exceptions.
title: Eine Historische Stadtführung durch die Braunschweiger Innenstadt
Creators: name: Steinführer, Henning
Publisher: name: Cramer
Year: 2019
Subjects: subject: Jahrbuch der BWG
subject: Brunsvicensien der Universitätsbibliothek Braunschweig
subject: 943

description: Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018Jahrbuch 2018 der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018, p. 187
Clusters as a tool for improving the efficiency of the dairy industry
Creators: name: Aisautov, Dinmukhamed
name: Akimbekova, Galiya
Publisher: name: International Journal on Food System Dynamics
Year: 2024
Subjects: Dairy cluster; productivity; benchmarking analysis; competitiveness factors; cow-keeping

description: Unbalanced relations between all participants of the food chain in the dairy business hinder the development of the livestock sector. Implementation of cluster policy in dairy cattle breeding enables the development of a competitive reference standard using benchmarking analysis. For the full and comprehensive development of the dairy cluster, it is necessary to observe organisational independence to meet the economic interests of all participants. The developed mechanism acts as the basis of a new area of economic analysis that measures synergetic results possible only within the framework of cluster system economic interaction in dairy cattle breeding.
description: International Journal on Food System Dynamics, Vol 15, No 3 (2024): Country Issue: Kazakhstan
Outflow from and asymmetries in the nebula around the LBV candidate Sk-69 279
Creators: name: Weis, Kerstin
name: Duschl, Wolfgang J.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present and discuss new long-slit Echelle spectra of the LMC LBV candidate Sk-69 279 and put them in context with previous images and spectra. While at first glance a simple spherically expanding symmetric shell, we find a considerably more complex morphology and kinematics. The spectra indicate that morphologically identified deviations from sphericity are outflows of faster material out of the main body of Sk-69 279. The morphological as well as the kinematic similarity with other LBV nebulae makes it likely that Sk-69 279 is an LBV candidate, indeed, and poses the question in how far outflows out of expanding LBV nebulae are a general property of such nebulae--at least during some phases of their evolutions.
description: 8 pages, 5 figures, accepted in A&A ; paper inculding images in higher resolution at http://www.mpifr-bonn.mpg.de/staff/kweis/publications.html
Decision Questions for Probabilistic Automata on Small Alphabets
Creators: name: Bell, Paul C.
name: Semukhin, Pavel
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study the emptiness and $λ$-reachability problems for unary and binary Probabilistic Finite Automata (PFA) and characterise the complexity of these problems in terms of the degree of ambiguity of the automaton and the size of its alphabet. Our main result is that emptiness and $λ$-reachability are solvable in EXPTIME for polynomially ambiguous unary PFA and if, in addition, the transition matrix is binary, we show they are in NP. In contrast to the Skolem-hardness of the $λ$-reachability and emptiness problems for exponentially ambiguous unary PFA, we show that these problems are NP-hard even for finitely ambiguous unary PFA. For binary polynomially ambiguous PFA with fixed and commuting transition matrices, we prove NP-hardness of the $λ$-reachability (dimension 9), nonstrict emptiness (dimension 37) and strict emptiness (dimension 40) problems.
Observation of the logarithmic dispersion of high frequency edge excitations
Creators: name: Balaban, N. Q.
name: Meirav, U.
name: Shtrikman, Hadas
name: Umansky, V.
Publisher: name: arXiv
Year: 1997
Subjects: subject: Condensed Matter (cond-mat)
subject: FOS: Physical sciences

description: We report phase sensitive measurements of microwave propagation through a high mobility two dimensional electron gas subjected to a perpendicular magnetic field. Two types of configurations were used, one that allows all wave vectors q, and one that selects only specific q values. The spectrum of edge excitations was studied over a broad frequency span, which allowed us to observe the logarithmic dispersion of edge magneto-plasmons.
description: 12 pages, Postscript only, 4 Postscript figures
Stein's method, smoothing and functional approximation
Creators: name: Barbour, A. D.
name: Ross, Nathan
name: Zheng, Guangqu
Publisher: name: arXiv
Year: 2021
Subjects: subject: Probability (math.PR)
subject: Statistics Theory (math.ST)
subject: FOS: Mathematics

description: Stein's method for Gaussian process approximation can be used to bound the differences between the expectations of smooth functionals $h$ of a càdlàg random process $X$ of interest and the expectations of the same functionals of a well understood target random process $Z$ with continuous paths. Unfortunately, the class of smooth functionals for which this is easily possible is very restricted. Here, we prove an infinite dimensional Gaussian smoothing inequality, which enables the class of functionals to be greatly expanded -- examples are Lipschitz functionals with respect to the uniform metric, and indicators of arbitrary events -- in exchange for a loss of precision in the bounds. Our inequalities are expressed in terms of the smooth test function bound, an expectation of a functional of $X$ that is closely related to classical tightness criteria, a similar expectation for $Z$, and, for the indicator of a set $K$, the probability $\mathbb{P}(Z \in K^θ\setminus K^{-θ})$ that the target process is close to the boundary of $K$.
description: Ver 4: 33 pages, added Example 1.10, improved some details and discussion, and streamlined some notation; Ver3: 28 pages, corrected a mistake in Lemma 1.10 and added discussion and details, only superficial changes to the main result; Ver2: 21 pages, additional discussion and details; Ver1: 17 pages
Altered emotion regulation in obsessive–compulsive disorder as evidenced by the late positive potential
Creators: name: Paul, S.
name: Simon, D.
name: Endrass, T.
name: Kathmann, N.
Publisher: name: Humboldt-Universität zu Berlin
Year: 2015
Subjects: subject: Distraction
subject: Event-related potentials
subject: Late positive potential
subject: Obsessive–compulsive disorder
subject: Reappraisal
subject: Psychiatrie
subject: Medizinische Psychologie
subject: 610 Medizin und Gesundheit
subject: 150 Psychologie

description: Background. Obsessive–compulsive disorder (OCD) is associated with marked anxiety, which triggers repetitive behaviours or mental rituals. The persistence of pathological anxiety and maladaptive strategies to reduce anxiety point to altered emotion regulation. The late positive potential (LPP) is an event-related brain potential (ERP) that reflects sustained attention to emotional stimuli and is sensitive to emotion-regulation instructions. We hypothesized that patients with OCD show altered electrocortical responses during reappraisal of stimuli triggering their symptoms. Method. To test our hypothesis, ERPs to disorder-relevant, generally aversive and neutral pictures were recorded while participants were instructed to either maintain or reduce emotional responding using cognitive distraction or cognitive reappraisal. Results. Relative to healthy controls, patients with OCD showed enhanced LPPs in response to disorder-relevant pictures, indicating their prioritized processing. While both distraction and reappraisal successfully reduced the LPP in healthy controls, patients with OCD failed to show corresponding LPP modulation during cognitive reappraisal despite successfully reduced subjective arousal ratings. Conclusions. The results point to sustained attention towards emotional stimuli during cognitive reappraisal in OCD and suggest that abnormal emotion regulation should be integrated in models of OCD.
title: Grußwort der Bürgermeisterin der Stadt Braunschweig, Annegret Ihbe, anlässlich der Jahresversammlung der Braunschweigischen Wissenschaftlichen Gesellschaft mit Verleihung der Carl-Friedrich-Gauß-Medaille 2018 im Braunschweiger Altstadtrathaus
Creators: name: Ihbe, Annegret
Publisher: name: Cramer
Year: 2019
Subjects: subject: Jahrbuch der BWG
subject: Brunsvicensien der Universitätsbibliothek Braunschweig
subject: 902

description: Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018Jahrbuch 2018 der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018, p. 194
The Futility of Utility: how market dynamics marginalize Adam Smith
Creators: name: McCauley, Joseph L.
Publisher: name: arXiv
Year: 1999
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Chaotic Dynamics (nlin.CD)
subject: General Finance (q-fin.GN)
subject: FOS: Physical sciences
subject: FOS: Economics and business

description: Econometrics is based on the nonempiric notion of utility. Prices, dynamics, and market equilibria are supposed to be derived from utility. Utility is usually treated by economists as a price potential, other times utility rates are treated as Lagrangians. Assumptions of integrability of Lagrangians and dynamics are implicitly and uncritically made. In particular, economists assume that price is the gradient of utility in equilibrium, but I show that price as the gradient of utility is an integrability condition for the Hamiltonian dynamics of an optimization problem in econometric control theory. One consequence is that, in a nonintegrable dynamical system, price cannot be expressed as a function of demand or supply variables. Another consequence is that utility maximization does not describe equiulibrium. I point out that the maximization of Gibbs entropy would describe equilibrium, if equilibrium could be achieved, but equilibrium does not describe real markets. To emphasize the inconsistency of the economists' notion of 'equilibrium', I discuss both deterministic and stochastic dynamics of excess demand and observe that Adam Smith's stabilizing hand is not to be found either in deterministic or stochastic dynamical models of markets, nor in the observed motions of asset prices. Evidence for stability of prices of assets in free markets simply has not been found.
description: 46 pages. accepted
New dual gravitational charges
Creators: name: Godazgar, Hadi
name: Godazgar, Mahdi
name: Pope, C. N.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We show that there are a further infinite number of, previously unknown, supertranslation charges. These can be viewed as duals of the known BMS charges corresponding to supertranslations. In Newman-Penrose language, these new supertranslation charges roughly correspond to the imaginary part of the leading term in $ψ_2$. We find these charges by dualising the Barnich-Brandt asymptotic charges and argue that this prescription gives rise to new bona fide charges at null infinity.
description: 17 pages
Supplementary document for Synthetic aperture holographic third harmonic generation microscopy - 6970439.pdf
Creators: name: Farah, Yusef
name: Murray, Gabe
name: Field, Jeffrey
name: Xiu, Maxine
name: Wang, Lang
name: Pinaud, Olivier
name: Bartels, Randy
Publisher: name: Optica Publishing Group
Year: 2024
Subjects: Uncategorized

description: Supplemental document
Eudalaca ammon
Creators: name: Mbata, Keith J.
name: Prins, Jurate De
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Hepialidae
Eudalaca
Eudalaca ammon

description: Eudalaca ammon (Wallengren, 1860)
COMMON NAME(S): Crooked Swift.
SYNONYM(S): Dalaca fuscescens Hampson, 1910f; Dalaca rhodesiensis Hampson, 1910f; Eudalaca goniophora (Hampson, 1910f).
IUCN STATUS: Not Evaluated (NE).
DISTRIBUTION: Democratic Republic of Congo, Eswatini, Malawi, Mozambique, South Africa, Tanzania, Zambia, Zimbabwe.
LOCALITY IN ZAMBIA: Lusaka in Lusaka Province; Mumbwa in Central Province.
LARVAL HOSTPLANT(S): Unknown.
SOURCES: African Moths 2019; De Prins & De Prins 2022; Pinhey 1975.
description: Published as part of Mbata, Keith J. & Prins, Jurate De, 2023, Annotated checklist of moths of Zambia (Insecta: Lepidoptera), pp. 1-503 in Zootaxa 5354 (1) on page 20, DOI: 10.11646/zootaxa.5354.1.1, http://zenodo.org/record/10130434
On maximal green sequence for quivers arising from weighted projective lines
Creators: name: Fu, Changjian
name: Geng, Shengfei
Publisher: name: arXiv
Year: 2021
Subjects: subject: Representation Theory (math.RT)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: We investigate the existence and non-existence of maximal green sequences for quivers arising from weighted projective lines. Let $Q$ be the Gabreil quiver of the endomorphism algebra of a basic cluster-tilting object in the cluster category $\mathcal{C}_\mathbb{X}$ of a weighted projective line $\mathbb{X}$. It is proved that there exists a quiver $Q'$ in the mutation equivalence class $\operatorname{Mut}(Q)$ such that $Q'$ admits a maximal green sequence. On the other hand, there is a quiver in $\operatorname{Mut}(Q)$ which does not admit a maximal green sequence if and only if $\mathbb{X}$ is of wild type.
description: Minor changes
title: Channel Models for the Simulation of Different RATs Applied to Platoon Emergency Braking
Creators: name: Nan, Tianxiang
name: Jornod, Guillaume
name: Schweins, Michael
name: El Assaad, Ahmad
name: Kwoczek, Andreas
name: Kürner, Thomas
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2019
Subjects: subject: 620

description: We analyze the performance of different channel
models and Radio Access Technologies (RATs) for platoon emergency
braking in a highway scenario. We present a ray tracing
channel model and analyze its differences with the WINNER+
stochastic channel model in terms of the pathloss calculation.
Thanks to the consideration of obstacles and their reflections, the
ray tracing channel model has been shown to be more realistic
in near Tx-Rx distance. This corroborates the results of our
performance comparison which highlights larger differences in
close Tx-Rx pairs. Considering the simulation time consumption
and the more realistic ray tracing predictions, we propose a new
models usage for our simulations: a combination of WINNER+
and ray tracing channel models. Moreover, we implement one new
5G numerology on the basis of Long Term Evolution-Vehicles
(LTE-V) for Vehicle-to-everything (V2X) communications. We
include this new feature in our benchmarking setup and provide
performance analysis results. It provides a basis for our future
research of further 5G components.
How to reduce the suspension thermal noise in LIGO without improving the Q's of the pendulum and violin modes
Creators: name: Braginsky, Vladimir B.
name: Levin, Yuri
name: Vyatchanin, Sergey
Publisher: name: arXiv
Year: 1998
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The suspension noise in interferometric gravitational wave detectors is caused by losses at the top and the bottom attachments of each suspension fiber. We use the Fluctuation-Dissipation theorem to argue that by careful positioning of the laser beam spot on the mirror face it is possible to reduce the contribution of the bottom attachment point to the suspension noise by several orders of magnitude. For example, for the initial and enhanced LIGO design parameters (i.e. mirror masses and sizes, and suspension fibers' lengths and diameters) we predict a reduction of $\sim 100$ in the "bottom" spectral density throughout the band $35-100\hbox{Hz}$ of serious thermal noise. We then propose a readout scheme which suppresses the suspension noise contribution of the top attachment point. The idea is to monitor an averaged horizontal displacement of the fiber of length $ l$; this allows one to record the contribution of the top attachment point to the suspension noise, and later subtract it it from the interferometer readout. For enhanced LIGO this would allow a suppression factor about 100 in spectral density of suspension thermal noise.
description: a few misprints corrected; submitted to Classical and Quantum Gravity
Large-scale regularity for the stationary Navier-Stokes equations over non-Lipschitz boundaries
Creators: name: Higaki, Mitsuo
name: Prange, Christophe
name: Zhuge, Jinping
Publisher: name: arXiv
Year: 2021
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35Q30, 76D03, 76D10, 76M50

description: In this paper we address the large-scale regularity theory for the stationary Navier-Stokes equations in highly oscillating bumpy John domains. These domains are very rough, possibly with fractals or cusps, at the microscopic scale, but are amenable to the mathematical analysis of the Navier-Stokes equations. We prove: (i) a large-scale Calderón-Zygmund estimate, (ii) a large-scale Lipschitz estimate, (iii) large-scale higher-order regularity estimates, namely, $C^{1,γ}$ and $C^{2,γ}$ estimates. These nice regularity results are inherited only at mesoscopic scales, and clearly fail in general at the microscopic scales. We emphasize that the large-scale $C^{1,γ}$ regularity is obtained by using first-order boundary layers constructed via a new argument. The large-scale $C^{2,γ}$ regularity relies on the construction of second-order boundary layers, which allows for certain boundary data with linear growth at spatial infinity. To the best of our knowledge, our work is the first to carry out such an analysis. In the wake of many works in quantitative homogenization, our results strongly advocate in favor of considering the boundary regularity of the solutions to fluid equations as a multiscale problem, with improved regularity at or above a certain scale.
description: 71 pages, minor revision
Our New ORCID Infographic
Creators: name: Haak Laurel
Publisher: name: ORCID
Year: 2019
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences

description: Looking for a quick and easy way to explain the what and why of ORCID? Check out our new infographic, now available in English, Chinese, French, Spanish, and Portuguese.
A Common Tracking Software Project
Creators: name: Ai, Xiaocong
name: Allaire, Corentin
name: Calace, Noemi
name: Czirkos, Angéla
name: Ene, Irina
name: Elsing, Markus
name: Farkas, Ralf
name: Gagnon, Louis-Guillaume
name: Garg, Rocky
name: Gessinger, Paul
name: Grasland, Hadrien
name: Gray, Heather M.
name: Gumpert, Christian
name: Hrdinka, Julia
name: Huth, Benjamin
name: Kiehn, Moritz
name: Klimpel, Fabian
name: Krasznahorkay, Attila
name: Langenberg, Robert
name: Leggett, Charles
name: Niermann, Joana
name: Osborn, Joseph D.
name: Salzburger, Andreas
name: Schlag, Bastian
name: Tompkins, Lauren
name: Yamazaki, Tomohiro
name: Yeo, Beomki
name: Zhang, Jin
name: Mania, Georgiana
name: Kolbinger, Bernadette
name: Moyse, Edward
name: Rousseau, David
Publisher: name: arXiv
Year: 2021
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The reconstruction of the trajectories of charged particles, or track reconstruction, is a key computational challenge for particle and nuclear physics experiments. While the tuning of track reconstruction algorithms can depend strongly on details of the detector geometry, the algorithms currently in use by experiments share many common features. At the same time, the intense environment of the High-Luminosity LHC accelerator and other future experiments is expected to put even greater computational stress on track reconstruction software, motivating the development of more performant algorithms. We present here A Common Tracking Software (ACTS) toolkit, which draws on the experience with track reconstruction algorithms in the ATLAS experiment and presents them in an experiment-independent and framework-independent toolkit. It provides a set of high-level track reconstruction tools which are agnostic to the details of the detection technologies and magnetic field configuration and tested for strict thread-safety to support multi-threaded event processing. We discuss the conceptual design and technical implementation of ACTS, selected applications and performance of ACTS, and the lessons learned.
description: 27 pages
Vorhersage der Mecoprop-Dynamik im urbanen Regenwasserabfluss mit einem gekoppelten Schmutzfrachtmodell
Creators: name: Rieckermann, Jörg
name: Ort, Christoph
name: Devasia-Metzger, Jonas
name: Burkhardt, Michael
Publisher: name: Zenodo
Year: 2019

description: Sind in Risikoabschätzungen lineare regenabhängige Auswaschfunktion für Mikroschad-stoffe aus Gebäudehüllen ausreichend? Mit COMLEAM wurde ein dynamisches Aus-waschmodell für beregnete Bauteile entwickelt. Am Beispiel einer Fallstudie wurde die Koppelung von COMLEAM an ein hydrodynamisches Modell im Vergleich zur linearen regenabhängigen Auswaschfunktion untersucht. Für die Anpassung des COMLEAM Mo-dells wurden Vermessungsdaten und Mikroschadstoffmessdaten verwendet. Dabei konnte aufgezeigt werden, dass die Dynamik für Langzeitprognosen mit COMLEAM signi-fikant unterschiedliche Ergebnisse liefert.
Robust and accurate electric field sensing with solid state spin ensembles
Creators: name: Michl, Julia
name: Steiner, Jakob
name: Denisenko, Andrej
name: Buelau, Andre
name: Zimmermann, Andre
name: Nakamura, Kazuo
name: Sumiya, Hitoshi
name: Onoda, Shinobu
name: Neumann, Philipp
name: Isoya, Junichi
name: Wrachtrup, Joerg
Publisher: name: arXiv
Year: 2019
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: Electron spins in solids constitute remarkable quantum sensors. Individual defect centers in diamond were used to detect individual nuclear spins with nanometer scale resolution, and ensemble magnetometers rival SQUID and vapor cell magnetometers when taking into account room temperature operation and size. NV center spins can also detect electric field vectors, despite their weak coupling to electric fields. %even that of an isolated fundamental charge, despite their weak coupling to electric fields. Here, we employ ensembles of NV center spins to measure macroscopic AC electric vector fields with high precision. We utilize low strain, $^{12}$C enriched diamond to achieve maximum sensitivity and tailor the spin Hamiltonian via proper magnetic field adjustment to map out the AC electric field strength and polarization and arrive at refined electric field coupling constants. For high precision measurements we combine classical lock-in detection with aspects from quantum phase estimation for effective suppression of technical noise. Eventually, this enables $t^{-1/2}$ uncertainty scaling of the electric field strength over extended averaging periods, enabling us to reach a sensitivity down to $10^{-7}$ V/$μ$m.
Simulations of dual morphology in spiral galaxies
Creators: name: Berman, S. L.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Gas and stars in spiral galaxies are modelled with the DUAL code, using hydrodynamic and N-body techniques. The simulations reveal morphological differences mirroring the dual morphologies seen in B and K' band observations of many spiral galaxies. In particular, the gaseous images are more flocculent with lower pitch angles than the stellar images, and the stellar arm-interarm contrast correlates with the degree of morphological decoupling.
description: 4 pages, 4 figures, to appear in Disk of Galaxies: Kinematics, Dynamics and Perturbations, ASP Conf. Series, 2002
title: Bericht des Präsidenten für den Berichtszeitraum Mai 2017 bis Mai 2018
Creators: name: Richter, Otto
Publisher: name: Cramer
Year: 2019
Subjects: subject: Jahrbuch der BWG
subject: Brunsvicensien der Universitätsbibliothek Braunschweig
subject: 902

description: Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018Jahrbuch 2018 der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. 2018, p. 197
LNL polycategories and doctrines of linear logic
Creators: name: Shulman, Michael
Publisher: name: arXiv
Year: 2021
Subjects: subject: Category Theory (math.CT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential comonads, LNL multicategories, IL-indexed categories, linearly distributive categories with storage, commutative and strong monads, CBPV-structures, models of polarized calculi, Freyd-categories, and skew multicategories, as well as ordinary cartesian, symmetric, and planar multicategories and monoidal categories, symmetric polycategories, and linearly distributive and *-autonomous categories. To study such classes of structures uniformly, we define a notion of LNL doctrine, such that each of these classes of structures can be identified with the algebras for some such doctrine. We show that free algebras for LNL doctrines can be presented by a sequent calculus, and that every morphism of doctrines induces an adjunction between their 2-categories of algebras.