cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Free Commutative Monoids in Homotopy Type Theory
Creators: name: Choudhury, Vikraman
name: Fiore, Marcelo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Combinatorics (math.CO)
subject: Category Theory (math.CT)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1
subject: 03G30

description: We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free commutative monoids. After recalling basic structural properties of the free commutative-monoid construction, we formalise and establish the categorical universal property of two, necessarily equivalent, algebraic presentations of free commutative monoids using 1-HITs. These presentations correspond to two different equational theories invariably including commutation axioms. In this setting, we prove important structural combinatorial properties of finite multisets. These properties are established in full generality without assuming decidable equality on the carrier set. As an application, we present a constructive formalisation of the relational model of classical linear logic and its differential structure. This leads to constructively establishing that free commutative monoids are conical refinement monoids. Thereon we obtain a characterisation of the equality type of finite multisets and a new presentation of the free commutative-monoid construction as a set-quotient of the list construction. These developments crucially rely on the commutation relation of creation/annihilation operators associated with the free commutative-monoid construction seen as a combinatorial Fock space.
description: Appeared in MFPS'22
A Functional Abstraction of Typed Invocation Contexts
Creators: name: Cong, Youyou
name: Ishio, Chiaki
name: Honda, Kaho
name: Asai, Kenichi
Publisher: name: arXiv
Year: 2021
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics. In this paper, we show how this method scales to Felleisen's control and prompt operators. Compared to shift and reset, control and prompt exhibit a more dynamic behavior, in that they can manipulate a trail of contexts surrounding the invocation of previously captured continuations. Our key observation is that, by adopting a functional representation of trails in the CPS semantics, we can derive a type system that encodes all and only constraints imposed by the CPS semantics.
Investigating Reversibility of Steps in Petri Nets
Creators: name: Escrig, David de Frutos
name: Koutny, Maciej
name: Mikulski, Łukasz
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.2
subject: 68N30 (Primary) 68Q85 (Secondary)

description: In reversible computations one is interested in the development of mechanisms allowing to undo the effects of executed actions. The past research has been concerned mainly with reversing single actions. In this paper, we consider the problem of reversing the effect of the execution of groups of actions (steps). Using Petri nets as a system model, we introduce concepts related to this new scenario, generalising notions used in the single action case. We then present properties arising when reverse actions are allowed in place/transition nets (pt-nets). We obtain both positive and negative results, showing that allowing steps makes reversibility more problematic than in the interleaving/sequential case. In particular, we demonstrate that there is a crucial difference between reversing steps which are sets and those which are true multisets. Moreover, in contrast to sequential semantics, splitting reverses does not lead to a general method for reversing bounded pt-nets. We then show that a suitable solution can be obtained by combining split reverses with weighted read arcs.
description: special issue of PN 2019, after editor changes (Fundamenta Informaticae)
title: Dynamic wetting properties of PDMS pseudo-brushes: Four-phase contact point dynamics case
Creators: name: Rostami, Peyman
name: Hormozi, Mohammad Ali
name: Soltwedel, Olaf
name: Azizmalayeri, Reza
name: von Klitzing, Regine
name: Auernhammer, Günter K.
Publisher: name: AIP Publishing
Year: 2024

description: We investigate the wetting properties of PDMS (Polydimethylsiloxane) pseudo-brush anchored on glass substrates. These PDMS pseudobrushes exhibit a significantly lower contact angle hysteresis compared to hydrophobic silanized substrates. The effect of different molar masses of the used PDMS on the wetting properties seems negligible. The surface roughness and thickness of the PDMS pseudo-brush are measured by atomic force microscopy and x-ray reflectivity. The outcome shows that these surfaces are extremely smooth (topologically and chemically), which explains the reduction in contact angle hysteresis. These special features make this kind of surfaces very useful for wetting experiments. Here, the dynamics of the four-phase contact point are studied on these surfaces. The four-phase contact point dynamics on PDMS pseudo-brushes deviate substantially from its dynamics on other substrates. These changes depend only a little on the molar mass of the used PDMS. In general, PDMS pseudo-brushes increase the traveling speed of four-phase contact point on the surface and change the associated power law of position vs time.
Euler characteristic and signature of real semi-stable degenerations
Creators: name: Brugallé, Erwan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We give a motivic proof of the fact that for non-singular real tropical complete intersections, the Euler characteristic of the real part is equal to the signature of the complex part. This has originally been proved by Itenberg in the case of surfaces in $\mathbb CP^3$, and has been successively generalized by Bertrand, and by Bihan and ertrand. Our proof, different from the previous approaches, is an application of the motivic nearby fiber of semi-stable degenerations. In particular it extends the original result by Itenberg-Bertrand-Bihan to real analytic families admitting a $\mathbb Q$-non-singular tropical limit.
description: 6 pages
Samkørsel i Danmark – fremtidens mobilitetsform?
Creators: name: Kristensen, Maria Hornbæk
name: Nielsen, Michella Sofie Bigom
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2021

description: Har samkørsel et potentiale som fremtidens mobilitetsform, og hvordan kan brugen af samkørsel øges i Dan-mark er spørgsmål, der besvares i denne artikel. Dette undersøges gennem et litteraturstudie, en klyngeana-lyse med baggrund i en spørgeskemaundersøgelse, fokusgruppeinterviews, samt en analyse af samkørsels-data fra samkørselstjenesten nabogo. Det er fundet, at samkørsel har et potentiale for fremtidens mobilitet, da danskerne er åbne overfor mobilitetsformen, og ser flere fordele ved samkørsel særligt med hensyn til klimaet og miljøet. Samkørsel bruges primært i fritiden, hvorved potentialet for samkørsel kan blive større ifm. pendling til og fra uddannelse eller arbejde. Samkørsel kræver en kritisk masse, hvilket kan opnås på flere arbejdspladser, da disse skaber en fælles destination for mange medarbejdere, og det har vist sig at skabe en høj gennemførelsesprocent i et projekt med nabogo sammenlignet med tidligere danske projekter. Samkørsel bruges primært af den unge generation, hvilket kan betyde, at behovet for egen bil udskydes, eller at den kollektive transport fravælges til fordel for samkørsel. Brugerne af samkørsel bor oftest i en storby, og samkørsel opfattes ligeledes blandt danskere som et storbyfænomen, hvilket betyder, at der kan være et uudnyttet potentiale for samkørsel uden for storbyerne. Undersøgelsen fandt at for at øge brugen af sam-kørsel, er det vigtigt at belønne brugerne af samkørsel og udbrede kendskabet til samkørsel gennem målret-tet promovering og oplysning til danskerne.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 28 No. 1 (2021): Proceedings from the Annual Transport Conference at Aalborg University
Griechische und lateinische Inschrift von der Untermosel
Creators: name: Weissbrodt, Wilhelm
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 77 (1884): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Strontiumisotopenanalysen und anthropologische Untersuchungen an der Mehrfachbestattung der Michelsberger Kultur in Heidelberg-Handschuhsheim
Creators: name: Turck, Rouven
name: Kober, Bernd
name: Kontny, Johanna
name: Wahl, Joachim
name: Ludwig, Renate
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 1 (2014): Fundberichte aus Baden-Württemberg
Enumeration of non-oriented maps via integrability
Creators: name: Bonzom, Valentin
name: Chapuy, Guillaume
name: Dołęga, Maciej
Publisher: name: arXiv
Year: 2021
Subjects: subject: Combinatorics (math.CO)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: In this note, we examine how the BKP structure of the generating series of several models of maps on non-oriented surfaces can be used to obtain explicit and/or efficient recurrence formulas for their enumeration according to the genus and size parameters. Using techniques already known in the orientable case (elimination of variables via Virasoro constraints or Tutte equations), we naturally obtain recurrence formulas with non-polynomial coefficients. This non-polynomiality reflects the presence of shifts of the charge parameter in the BKP equation. Nevertheless, we show that it is possible to obtain non-shifted versions, meaning pure ODEs for the associated generating functions, from which recurrence relations with polynomial coefficients can be extracted. We treat the cases of triangulations, general maps, and bipartite maps. These recurrences with polynomial coefficients are conceptually interesting but bigger to write than those with non-polynomial coefficients. However they are relatively nice-looking in the case of one-face maps. In particular we show that Ledoux's recurrence for non-oriented one-face maps can be recovered in this way, and we obtain the analogous statement for the (bivariate) bipartite case.
description: 31 pages
Der Friedhof von Bärenthal: Anhang 1. Archäologisch-anthropologischer Katalog der Gräber und Befunde
Creators: name: Düring, Andreas
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: -
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 2 (2014): Fundberichte aus Baden-Württemberg
Dynamic heterogeneity of glass-forming liquids in the density scaling regime
Creators: name: Grzybowski, Andrzej
name: Koperwas, Kajetan
name: Kolodziejczyk, Karolina
name: Grzybowska, Katarzyna
name: Paluch, Marian
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Recent analyses of high pressure measurement data suggest that the degree of the dynamic heterogeneity (χ_4)^max cannot be in general a single variable function of the structural relaxation time τ. For a wide class of real and model supercooled liquids, the molecular dynamics of which obeys a density scaling law at least to a good approximation, we argue that the important relation between the length and time scales that characterize molecular motions near the glass transition is controlled by a density factor. If a power law density scaling is valid for both the structural relaxation times and the degrees of the dynamic heterogeneity we find that the factor is a density power, the exponent of which is a measure of the observed decoupling between τ and (χ_4)^max. Then, the measure can be quantified by a difference between the power law density scaling exponents, which are usually different for τ and (χ_4)^max.
The first case of monkeypox in Hong Kong presenting as infectious mononucleosis-like syndrome
Creators: name: Chiu, Kelvin Hei-Yeung
name: Wong, Shuk-Ching
name: Tam, Anthony Raymond
name: Sridhar, Siddharth
name: Yip, Cyril Chik-Yan
name: Chan, Kwok-Hung
name: Chew, Nicholas Foo-Siong
name: Man, Kenyon Ka-Yun
name: Chan, Wan-Mui
name: Ip, Jonathan Daniel
name: Chu, Allen Wing-Ho
name: Lo, Janice Yee-Chi
name: Hung, Ivan Fan-Ngai
name: Yuen, Kwok-Yung
name: To, Kelvin Kai-Wang
name: Cheng, Vincent Chi-Chung
Publisher: name: Taylor & Francis
Year: 2022
Subjects: subject: Medicine
subject: Immunology
subject: FOS: Clinical medicine
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: Computational Biology

description: The first case of monkeypox in Hong Kong presenting as infectious mononucleosis-like syndrome
String theory at the tip of the cigar
Creators: name: Giveon, Amit
name: Itzhaki, Nissan
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In arXiv:1208.3930 we argued that string theory at the tip of the cigar geometry, obtained by a Wick rotation of the Schwarzschild background, exhibits unexpected features that include degrees of freedom that are confined to the tip. Using the exact worldsheet description of near extremal NS5-branes we further study string theory at the tip of the cigar and find more evidence to its surprising properties.
description: 25 pages, 2 figures, v2: Added reference, v3: Added reference
Nonstoichiometric doping and Bi antisite defect in single crystal Bi2Se3
Creators: name: Huang, F. -T.
name: Chu, M. -W.
name: Kung, H. H.
name: Lee, W. L.
name: Sankar, R.
name: Liou, S. -C.
name: Wu, K. K.
name: Kuo, Y. K.
name: Chou, F. C.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We studied the defects of Bi2Se3 generated from Bridgman growth of stoichiometric and nonstoichiometric self-fluxes. Growth habit, lattice size, and transport properties are strongly affected by the types of defect generated. Major defect types of Bi_Se antisite and partial Bi_2-layer intercalation are identified through combined studies of direct atomic-scale imaging with scanning transmission electron microscopy (STEM) in conjunction with energy-dispersive X-ray spectroscopy (STEM-EDX), X-ray diffraction, and Hall effect measurements. We propose a consistent explanation to the origin of defect type, growth morphology, and transport property.
description: 5 pages, 5 figures
title: DNA repair synthesis and histone deposition partner during homologous recombination
Creators: name: Elbakry, Amira
name: Juhász, Szilvia
name: Mathes, Arthur
name: Löbrich, Markus
Publisher: name: Taylor & Francis
Year: 2021

description: Chromatin remodeling is critical for the regulation of the DNA damage response. We highlight findings from our recent study showing that the deposition of the histone variant H3.3 by the alpha-thalassemia mental retardation X-linked protein (ATRX) and the death domain associated protein (DAXX) chromatin remodeling complex regulates DNA repair synthesis during homologous recombination.
Anisotropic motion of an electric dipole in a photon gas near a flat conducting boundary
Creators: name: Camargo, G. H. S.
name: De Lorenci, V. A.
name: Junior, A. L. Ferreira
name: Ribeiro, C. C. H.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The quantum Brownian motion of a single neutral particle with nonzero electric dipole moment placed in a photon gas at fixed temperature and close to a conducting wall is here examined. The interaction of the particle with the photon field leads to quantum dispersions of its linear and angular momenta, whose magnitudes depend on the temperature, distance to the wall, and also on the dipole moment characteristics. It is shown that for typical experimental parameters the amount of energy held by the dipole rotation is expressively larger than the one related to the center of mass translation. Furthermore, the particle kinetic energy in presence of a thermal bath can decrease if the wall is added to the system, representing a novel quantum cooling effect where the work done by the quantum vacuum extracts energy from the particle. Finally, possible observable consequences are discussed.
description: Title has changed, 15 pages, 10 figures, a reflecting wall was included in the system
Ground-state Energies of Spinless Free Fermions and Hard-core Bosons
Creators: name: Nie, Wenxing
name: Katsura, Hosho
name: Oshikawa, Masaki
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We compare the groundstate energies of bosons and fermions with the same form of the Hamiltonian. If both are noninteracting, the groundstate energy of bosons is always lower, owing to Bose-Einstein Condensation. However, the comparison is nontrivial when bosons do interact. We first prove that, when the hopping is unfrustrated (all the hopping amplitudes are non-negative), hard-core bosons still must have a lower groundstate energy than the fermions. When the hopping is frustrated, bosons can have higher groundstate energy than fermions. We prove rigorously that this inversion indeed occurs in several examples, using various techniques.
description: 5 pages, 3 figures
General-Versammlung des Vereins von Alterthumsfreunden im Rheinlande am 11. Juli 1886
Creators: name: Redaktion, Die
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 82 (1886): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
E. v. Cohausen, der römische Grenzwall / E. Hübner, Neue Studien über den römischen Grenzwall in Deutschland / F. Ohlenschlager, Die römische Grenzmark in Bayern / Samwer, Die Grenzpolizei des römischen Reichs
Creators: name: Asbach, Julius
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: E. v. Cohausen, der römische Grenzwall (1882). E. Hübner, Neue Studien über den römischen Grenzwall in Deutschland, Bonner Jahrbuch LXXX (1885). F. Ohlenschlager, Die römische Grenzmark in Bayern (1887). Samwer, Die Grenzpolizei des römischen Reichs, Westdeutsche Zeitschrift V, S. 311 ff. H. Schiller, römische Kaisergeschichte I.
description: Bonner Jahrbücher, Bd. 86 (1888): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
title: Design Issues for Therapeutic Ultrasound Angioplasty Waveguides
Creators: name: Gavin, Graham
name: Noone, Declan
name: McGuinness, Garrett
Publisher: name: Technological University Dublin
Year: 2008

description: Therapeutic ultrasound angioplasty is a new minimally invasive cardiovascular procedure for disrupting atherosclerotic lesions. Mechanical energy is transmitted in the form of ultrasound waves via long, flexible wire waveguides navigated to the lesion site through the vascular system. The underpinning principle of this technology is that plaque may be disrupted through a combination of direct contact ablation, pressure waves, cavitation and acoustic streaming, which all depend on the amplitude and frequency of displacements at the distal tip of the wire waveguide. This study identifies a number of key design issues for clinical devices of this type, and describes testing procedures to measure selected performance characteristics. A commercially available generator (100 W) and acoustic horn are used in combination with Nickel-Titanium (NiTi) wire waveguides. A laser sensor system was constructed to measure the frequency and amplitude output at the distal tip of the wire waveguide, and this was compared to amplitude estimations obtained using an optical microscope. Power was observed to affect both output amplitude and frequency. A finite element model has been previously developed to simulate the transmission of ultrasound waves in short wire waveguides. In this study, this methodology has been extended to the design of long, tapered wires for realistic clinical applications. Trials were conducted using these wire waveguides, demonstrating the ablation of model calcified materials accessed via long wire waveguides.
Die Laminae litteratae des Trierer Amphitheaters
Creators: name: Wünsch, R.
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 119 (1910): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Römische Töpfereien in Remagen
Creators: name: Funck, E.
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 119 (1910): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Exploring the non-linear density field in the Millennium simulations with tessellations - I. The probability distribution function
Creators: name: Pandey, Biswajit
name: White, Simon D. M.
name: Springel, Volker
name: Angulo, Raul
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We use the Delaunay Tessellation Field Estimator (DTFE) to study the one-point density distribution functions of the Millennium (MS) and Millennium-II (MS-II) simulations. The DTFE technique is based directly on the particle positions, without requiring any type of smoothing or analysis grid, thereby providing high sensitivity to all non-linear structures resolved by the simulations. In order to identify the detailed origin of the shape of the one-point density probability distribution function (PDF), we decompose the simulation particles according to the mass of their host FoF halos, and examine the contributions of different halo mass ranges to the global density PDF. We model the one-point distribution of the FoF halos in each halo mass bin with a set of Monte Carlo realizations of idealized NFW dark matter halos, finding that this reproduces the measurements from the N-body simulations reasonably well, except for a small excess present in simulation results. This excess increases with increasing halo mass. We show that its origin lies in substructure, which becomes progressively more abundant and better resolved in more massive dark matter halos. We demonstrate that the high density tail of the one-point distribution function in less massive halos is severely affected by the gravitational softening length and the mass resolution. In particular, we find these two parameters to be more important for an accurate measurement of the density PDF than the simulated volume. Combining our results from individual halo mass bins we find that the part of the one-point density PDF originating from collapsed halos can nevertheless be quite well described by a simple superposition of a set of NFW halos with the expected cosmological abundance over the resolved mass range. The transition region to the low-density unbound material is however not well captured by such an analytic halo model.
description: 14 pages, 13 figures, minor revision, added 1 figure, Accepted in MNRAS
Zoroastrians on the Internet, a quiet social movement: Ethnography of a virtual community
Creators: name: Gerth, Helen
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: Zoroastrians today are a small but vibrant ethno-religious diaspora estimated at 130,000-258,000. They are members of the oldest monotheistic world religion originating in the Inner Asian steppes in approximately 1500 B.C. living as a religious minority in widely dispersed communities across the world. Increasingly they have turned to the Internet to discuss challenges of declining population, maintaining an ethno-religious identity, conversion, and intermarriage. The question grounding this research is how does this small ethno-religious minority maintain its boundaries and cohesion in the modern world? This study found that Zoroastrians maintain group boundaries and cohesion in the modern world, in part, through utilizing the Internet to provide resource sites, communities of affirmation, social networking resources, and through its function as a transmovement space facilitating face to face contact. It also explores the effectiveness of traditional ethnographic techniques applied to the Internet, or 'virtual' ethnography, as a primary data source for yielding an understanding of Zoroastrian inter- and intra-group dynamics within the continuing anthropological trend of multi-sited fieldwork. The following will summarize how some Zoroastrians have created and use over 100 websites, numerous email lists, YouTube videos, and the social networking site Z-book to shape contemporary Zoroastrian identity. It will examine how they translate Zoroastrian identity into a third diasporic wave into the virtual world and how the Internet has given greater visibility and 'voice' to minority opinions which, for the first time in over 3500 years, threaten to fragment the global Zoroastrian community.
Tangent-based manifold approximation with locally linear models
Creators: name: Karygianni, Sofia
name: Frossard, Pascal
Publisher: name: arXiv
Year: 2012
Subjects: subject: Machine Learning (cs.LG)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: In this paper, we consider the problem of manifold approximation with affine subspaces. Our objective is to discover a set of low dimensional affine subspaces that represents manifold data accurately while preserving the manifold's structure. For this purpose, we employ a greedy technique that partitions manifold samples into groups that can be each approximated by a low dimensional subspace. We start by considering each manifold sample as a different group and we use the difference of tangents to determine appropriate group mergings. We repeat this procedure until we reach the desired number of sample groups. The best low dimensional affine subspaces corresponding to the final groups constitute our approximate manifold representation. Our experiments verify the effectiveness of the proposed scheme and show its superior performance compared to state-of-the-art methods for manifold approximation.
Distributed Asynchronous Games With Causal Memory are Undecidable
Creators: name: Gimbert, Hugo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Systems and Control (eess.SY)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: We show the undecidability of the distributed control problem when the plant is an asynchronous automaton, the controllers use causal memory and the goal of the controllers is to put each process in a local accepting state.
On the Nature of Unconfirmed Supernovae
Creators: name: Aramyan, L. S.
name: Petrosian, A. R.
name: Hakobyan, A. A.
name: Mamon, G. A.
name: Kunth, D.
name: Turatto, M.
name: Adibekyan, V. Zh.
name: Nazaryan, T. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We study the nature of 39 unconfirmed supernovae (SNe) from the sky area covered by the Sloan Digital Sky Survey (SDSS) Data Release 8 (DR8), using available photometric and imaging data and intensive literature search. We confirm that 21 objects are real SNe, 2 are Galactic stars, 4 are probable SNe, and 12 remain unconfirmed events. The probable types for 4 objects are suggested: 3 SNe are of probable type Ia, and SN 1953H is probable type II SN. In addition, we identify the host galaxy of SN 1976N and correct the offsets/coordinates of SNe 1958E, 1972F, and 1976N.
description: 9 pages, 4 figures, 5 tables, published in Astrophysics (English translation of Astrofizika)
Fractional Noether's Theorem with Classical and Riemann-Liouville Derivatives
Creators: name: Frederico, Gastao S. F.
name: Torres, Delfim F. M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics
subject: 49K05, 26A33

description: We prove a Noether type symmetry theorem to fractional problems of the calculus of variations with classical and Riemann-Liouville derivatives. As result, we obtain constants of motion (in the classical sense) that are valid along the mixed classical/fractional Euler-Lagrange extremals. Both Lagrangian and Hamiltonian versions of the Noether theorem are obtained. Finally, we extend our Noether's theorem to more general problems of optimal control with classical and Riemann-Liouville derivatives.
description: This is a preprint of a paper whose final and definite form will be published in: 51st IEEE Conference on Decision and Control, December 10-13, 2012, Maui, Hawaii, USA. Article Source/Identifier: PLZ-CDC12.1832.45c07804. Submitted 08-March-2012; accepted 17-July-2012. arXiv admin note: text overlap with arXiv:1001.4507
Die römische Villa bei Blankenheim in der Eifel
Creators: name: Oelmann, Franz
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 123 (1916): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Ein neolithischer Grabhügel mit Kollektivbestattung im Gewann ‚Auf den Heidengräbern‘ bei Schopfheim-Wiechs, Lkrs. Lörrach
Creators: name: Löhlein, Wolfgang
name: Wahl, Joachim
name: Kaiser, Michael J.
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 1 (2014): Fundberichte aus Baden-Württemberg
Exact sampling and counting for fixed-margin matrices
Creators: name: Miller, Jeffrey W.
name: Harrison, Matthew T.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Computation (stat.CO)
subject: Statistics Theory (math.ST)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: The uniform distribution on matrices with specified row and column sums is often a natural choice of null model when testing for structure in two-way tables (binary or nonnegative integer). Due to the difficulty of sampling from this distribution, many approximate methods have been developed. We will show that by exploiting certain symmetries, exact sampling and counting is in fact possible in many nontrivial real-world cases. We illustrate with real datasets including ecological co-occurrence matrices and contingency tables.
description: Published in at http://dx.doi.org/10.1214/13-AOS1131 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org). arXiv admin note: text overlap with arXiv:1104.0323
Die vor- und frühgeschichtlichen Siedlungen von Heidenheim-Grosskuchen
Creators: name: Spors-Gröger, Silvia
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 1 (2014): Fundberichte aus Baden-Württemberg
Thermoelectric Transport Coefficients for Massless Dirac Electrons in Quantum Limit
Creators: name: Proskurin, Igor
name: Ogata, Masao
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We perform an analytic calculation of thermoelectric transport coefficients for massless Dirac electrons using the approach based on the Kubo--Středa formula and generalized Mott's relation. The main focus of the letter is made on the properties of the Nernst coefficient in the vicinity of the Dirac point in quantum limit. We calculate magnetic field and temperature dependencies of the Nernst coefficient and compare our results with recent experiments in $α$-(BEDT-TTF)$_{2}$I$_{3}$ organic conductor. We argue that the Zeeman splitting is important to understand the experimental data at high magnetic fields.
description: 11 pages, 4 figures, published version with minor misprints corrections
Ein hallstattzeitlicher Grabhügel aus Wyhl ‚Untere Muhrmatten‘, Lkrs. Emmendingen
Creators: name: Ebrecht, Daniel
name: Lehnert, Christoph J.
name: Grünberg, Christina
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 2 (2014): Fundberichte aus Baden-Württemberg
Neue Erkenntnisse zur frühmittelalterlichen Separatgrablege von Niederstotzingen, Kreis Heidenheim
Creators: name: Wahl, Joachim
name: Cipollini, Giovanna
name: Coia, Valentina
name: Francken, Michael
name: Harvati-Papatheodorou, Katerina
name: Kim, Mi-Ra
name: Maixner, Frank
name: O’Sullivan, Niall
name: Price, T. Douglas
name: Quast, Dieter
name: Speith, Nivien
name: Zink, Albert
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 34, Nr. 2 (2014): Fundberichte aus Baden-Württemberg
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
Creators: name: Devillers, Raymond
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: 68W15

description: In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems, such that each component is synthesisable iff so is the original system. Then corresponding Petri Net composition operators are searched to combine the solutions of the various components into a solution of the original system. The paper presents two such techniques, which may be combined: products and articulations. They may also be used to structure transition systems, and to analyse the performance of synthesis techniques when applied to such structures.
A Non-Deterministic Multiset Query Language
Creators: name: Zielinski, Bartosz
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.1; D.2.4; D.2.5; F.3.1; F.4.2

description: We develop a multiset query and update language executable in a term rewriting system. Its most remarkable feature, besides non-standard approach to quantification and introduction of fresh values, is non-determinism - a query result is not uniquely determined by the database. We argue that this feature is very useful, e.g., in modelling user choices during simulation or reachability analysis of a data-centric business process - the intended application of our work. Query evaluation is implemented by converting the query into a terminating term rewriting system and normalizing the initial term which encapsulates the current database. A normal form encapsulates a query result. We prove that our language can express any relational algebra query. Finally, we present a simple business process specification framework (and an example specification). Both syntax and semantics of our query language is implemented in Maude.
description: 40 pages, version edited by Fundamenta Informaticae
Gain assisted harmonic generation in near-zero permittivity metamaterials made of plasmonic nanoshells
Creators: name: Vincenti, Maria Antonietta
name: Campione, Salvatore
name: de Ceglia, Domenico
name: Capolino, Filippo
name: Scalora, Michael
Publisher: name: arXiv
Year: 2012
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We investigate enhanced harmonic generation processes in gain-assisted, near-zero permittivity metamaterials composed of spherical plasmonic nanoshells. We report the presence of narrow-band features in transmission, reflection and absorption induced by the presence of an active material inside the core of the nanoshells. The damping-compensation mechanism used to achieve the near-zero effective permittivity condition also induces a significant increase in field localization and strength and, consequently, enhancement of linear absorption. When only metal nonlinearities are considered, second and third harmonic generation efficiencies obtained by probing the structure in the vicinity of the near-zero permittivity condition approach values as high as for irradiance value as low as . These results clearly demonstrate that a relatively straightforward path now exists to the development of exotic and extreme nonlinear optical phenomena in the KW/cm2 range
Schriftenverzeichnis von Helmut Schlichtherle
Creators: name: Matuschik, Irenäus
name: Probst, A.
name: Hagmann, S.
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 35 (2015): Fundberichte aus Baden-Württemberg
Göttertanz und Unheil-Schlangen. Die Bilder der Trossinger Leier
Creators: name: Speidel, Michael
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 35 (2015): Fundberichte aus Baden-Württemberg
Hamiltonian minimal Lagrangian submanifolds in toric varieties
Creators: name: Mironov, Andrey
name: Panov, Taras
Publisher: name: arXiv
Year: 2013
Subjects: subject: Differential Geometry (math.DG)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics

description: Hamiltonian minimality (H-minimality) for Lagrangian submanifolds is a symplectic analogue of Riemannian minimality. A Lagrangian submanifold is called H-minimal if the variations of its volume along all Hamiltonian vector fields are zero. This notion was introduced in the work of Y.-G. Oh in connection with the celebrated Arnold conjecture on the number of fixed points of a Hamiltonian symplectomorphism. In the previous works the authors defined and studied a family of H-minimal Lagrangian submanifolds in complex space arising from intersections of Hermitian quadrics. Here we extend this construction to define H-minimal submanifolds in toric varieties.
description: 2 pages, minor changes in version 2
Introduction to probabilistic concurrent systems
Creators: name: Abbes, Samy
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: G.2.1; F.1.1

description: The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustrated on examples. The second part includes contributions. We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative'" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterize these systems by means of their combinatorial properties.
description: Extended version of the Petri Net 2021 conference paper arXiv:2008.07233 "Deterministic concurrent systems" by the same author. 32 pages, 9 figures, 17 references
title: What Causes Cost Overruns on Building Projects? - An Overview.
Creators: name: Cunningham, Tony
Publisher: name: Technological University Dublin
Year: 2017

description: ost overruns are commonplace during the construction phase of building projects. This study investigates common reasons why cost overruns happen on building projects. It examines how the client’s priorities and decisions regarding the project duration and quality expectations can undermine cost certainty. The actions of the client’s consultants, particularly those of the architect / employer’s representative, are identified as key factors in causing or preventing cost overruns. The building process, itself, is uncertain, particularly in relation to ground conditions. Large, complex and innovative construction projects containing a substantial element of specialist work are identified as ones which are particularly prone to cost overruns. The study outlines the impact of procurement decisions on cost certainty, noting in particular the likely response of contractors where under-priced work has been tendered and accepted.

Incomplete or poor design and poor tender documentation were identified as weaknesses which bring about the need to introduce an excessive number of variations. Similarly, failure to provide cover for excusable and compensable risks and market factors may also lead to overruns. Poor performance of management tasks, administrative duties, and slow decision making were also discussed in the context of creating difficulties in controlling costs.

Avoiding cost overruns requires an effective plan which recognises these problems and exploits the ability of the quantity surveyor to effectively manage them. This study is addressed to Irish students undertaking studies on undergraduate and conversion masters courses in quantity surveying and construction management related discipline
A modular construction of type theories
Creators: name: Blanqui, Frédéric
name: Dowek, Gilles
name: Grienenberger, Emilie
name: Hondet, Gabriel
name: Thiré, François
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a sub-theory of U corresponding to each of these systems, and prove that, when a proof in U uses only symbols of a sub-theory, then it is a proof in that sub-theory.
A classification of $\mathbb Q$-valued linear functionals on $\overline{\mathbb Q}^\times$ modulo units
Creators: name: Samuels, Charles L.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11R04, 46E10, 11A25, 11G50, 11R32, 46E15

description: Let $\overline{\mathbb Q}$ be an algebraic closure of $\mathbb Q$ and let $A$ denote the ring of algebraic integers in $\overline{\mathbb Q}$. If $\mathcal S = \overline{\mathbb Q}^\times/A^\times$ then $\mathcal S$ is a vector space over $\mathbb Q$. We provide a complete classification all elements in the algebraic dual $\mathcal S^*$ of $\mathcal S$ in terms of another $\mathbb Q$-vector space called the space of consistent maps. With an appropriate norm on $\mathcal S$, we further classify the continuous elements of $\mathcal S^*$. As applications of our results, we classify extensions of the prime Omega function to $\mathcal S$ and discuss a natural action of the absolute Galois group $\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q)$ on $\mathcal S$.
description: 21 pages
Some Questions of Uniformity in Algorithmic Randomness
Creators: name: Bienvenu, Laurent
name: Csima, Barbara
name: Harrison-Trainor, Matthew
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: The $Ω$ numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{ö}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{ö}f random left-c.e. real $α$, a universal prefix-free machine U whose halting probability is $α$. We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real $α$, one cannot uniformly produce a left-c.e. real $β$ such that $α$ -- $β$ is neither left-c.e. nor right-c.e.
Nordic measures to promote sustainable aviation fuels
Creators: name: Kristensen, Niels Buus
name: Ydersbond, Inga Margrete
name: Thune-Larsen, Harald
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2021

description: Decarbonising transportation is necessary to reach long-termed climate goals and Nordic countries have committed themselves to be ambitious and lead the way. Finding technically feasible and economically viable solutions for aviation is among the most difficult challenges. This paper examines opportunities for increased Nordic cooperation to promote use of sustainable aviation fuels. Pros and cons of implementing each of five policy instruments in a Nordic context are analyzed and their impacts in terms of impact on air travel, CO2-emissions and Government budget are estimated. The paper concludes that the most suitable common Nordic policy for significant CO2 reductions from air travel is to announce a gradually increasing blend-in share of sustainable fuels toward 2030 backed by establishing a Nordic fund that will compensate the price premium compared to fossil fuels. The fund should be financed by common earmarked passenger taxes for all departing flights from the Nordics.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 28 No. 1 (2021): Proceedings from the Annual Transport Conference at Aalborg University
Holographic Measurements of Anisotropic Three-Dimensional Diffusion of Colloidal Clusters
Creators: name: Fung, Jerome
name: Manoharan, Vinothan N.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We measure all nonzero elements of the three-dimensional (3D) diffusion tensor D for clusters of colloidal spheres to a precision of 1% or better using digital holographic microscopy. We study both dimers and triangular trimers of spheres, for which no analytical calculations of the diffusion tensor exist. We observe anisotropic rotational and translational diffusion arising from the asymmetries of the clusters. In the case of the three-particle triangular cluster, we also detect a small but statistically significant difference in the rotational diffusion about the two in-plane axes. We attribute this difference to weak breaking of threefold rotational symmetry due to a small amount of particle polydispersity. Our experimental measurements agree well with numerical calculations and show how diffusion constants can be measured under conditions relevant to colloidal self-assembly, where theoretical and even numerical prediction is difficult.
description: 9 pages, 6 figures, 2 tables. Paper and Supplementary Information revised
Additional file 1 of Multi-round recycling of green waste for the production of iron nanoparticles: synthesis, characterization, and prospects in remediation
Creators: name: Rónavári, Andrea
name: Balázs, Margit
name: Szilágyi, Árpád
name: Molnár, Csaba
name: Kotormán, Márta
name: Ilisz, István
name: Kiricsi, Mónika
name: Kónya, Zoltán
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Biotechnology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: FOS: Biological sciences
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences

description: Supplementary file1 (DOCX 15 KB)