cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Generalized Finiteness of Developments in Typed Lambda Calculi
Creators: name: Ghilezan, Silvia
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 1996

description: The strong normalization property of the intersection type assignment system is used in
order to prove the finiteness of developments property of the untyped lambda calculus
in [6]. Similarly, the strong normalization property of the simply typed lambda calculus
can be used for the same reason. We extend both of these methods in order to prove
the generalized finiteness of developments.
description: Journal of Automata, Languages and Combinatorics, Volume 1, Number 4, 1996, 247-257
ros2_tracing: Multipurpose Low-Overhead Framework for Real-Time Tracing of ROS 2
Creators: name: Bédard, Christophe
name: Lütkebohle, Ingo
name: Dagenais, Michel
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: Testing and debugging have become major obstacles for robot software development, because of high system complexity and dynamic environments. Standard, middleware-based data recording does not provide sufficient information on internal computation and performance bottlenecks. Other existing methods also target very specific problems and thus cannot be used for multipurpose analysis. Moreover, they are not suitable for real-time applications. In this paper, we present ros2_tracing, a collection of flexible tracing tools and multipurpose instrumentation for ROS 2. It allows collecting runtime execution information on real-time distributed systems, using the low-overhead LTTng tracer. Tools also integrate tracing into the invaluable ROS 2 orchestration system and other usability tools. A message latency experiment shows that the end-to-end message latency overhead, when enabling all ROS 2 instrumentation, is on average 0.0033 ms, which we believe is suitable for production real-time systems. ROS 2 execution information obtained using ros2_tracing can be combined with trace data from the operating system, enabling a wider range of precise analyses, that help understand an application execution, to find the cause of performance bottlenecks and other issues. The source code is available at: https://github.com/ros2/ros2_tracing.
description: 8 pages, 8 figures, 3 tables
title: On Prefixes of Formal Languages and Their Relation to the Average-Case Complexity of the Membership Problem
Creators: name: Kemp, Rainer
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 1996

description: Given a formal language $L$ over an alphabet furnished with a probability distribution,
we shall present a simple general approach to the computation of the average length of
the shortest prefix which has to be read in order to decide whether or not a given word
of length $n$ belongs to $L$. This approach covers a complete average-case analysis of that
parameter, including higher moments about the origin and the cumulative distribution
function. We shall demonstrate our results by discussing various concrete languages,
such as regular sets, Dyck sets, permutations, well-known languages encoding trees,
etc.
description: Journal of Automata, Languages and Combinatorics, Volume 1, Number 4, 1996, 259-303
Marco Teórico: Activismo Social en Red
Creators: name: Jaramillo-Dent, Daniela
Publisher: name: figshare
Year: 2020
Subjects: subject: 200104 Media Studies
subject: FOS: Media and communications

description: Marco Teórico del webinar Activismo Social en Red: Desde la auto-representación hasta la movilización masiva en la era del hashtag.
Este webinar es parte del V Congreso Alfamed 2020.
Sonnenfleckenzeichnung Nr. 4523.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 11.03.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2601 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
title: Injectivity of the Quotient h\g of two Morphisms and Ambiguity of Linear Grammars
Creators: name: Turakainen, Paavo
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: From a linear context-free grammar simulating an arbitrary instance $(\varphi_1,\varphi_2)$ of the
Post correspondence problem PCP we easily construct two nonerasing morphisms $h$ and
$g$ with $h$ length-duplicating such that the instance $(h,g)$ of PCP has no solution but
$(\varphi_1,\varphi_2)$ possesses a solution if and only if the quotient operation $h\g$ is not injective
on its domain. Hence, the undecidability of the injectivity problem follows.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 1, 2001, 91-96
Weak charges in $SU(5)_{L} \times U(1)_{Y}$ gauge models
Creators: name: Palcu, Adrian
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Within the framework of a renormalizable $SU(5)_{L} \times U(1)_{Y}$ electro-weak gauge model with no exotic electric charges, we obtain all the neutral weak charge operators and their quantization, once the diagonalization of the neutral boson mass matrix is properly performed. Our results open up the path to a rich and promising phenomenological outcome. All the Standard Model phenomenology is recovered by simply decoupling the latter's scale ($v_{SM}=246$ GeV) from the higher scale ($V\sim$ 10 TeV) specific to our new electro-weak unification.
description: 11 pages, 2 tables, no figures
Sonnenfleckenzeichnung Nr. 4588.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 02.06.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2663 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
title: Function-Limited 0L Systems Revisited
Creators: name: Wätjen, Dietmar
name: Ostrovsky, David
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: Function-limited and uniformly function-limited 0L systems have been introduced by
Fernau and Stier, respectively. In this paper, these systems are revisited concentrating
on language families generated by such systems with fixed limitation functions. For
different limitation functions, the corresponding language families are compared with
each other as well as with other language families. Closure properties are investigated.
Moreover, the corresponding extended systems are considered. Some results also solve
problems left open by Fernau and Stier.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 1, 2001, 97-114
title: Palindromes and Two-Dimensional Sturmian Sequences
Creators: name: Berthé, Valérie
name: Vuillon, Laurent
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: This paper introduces a two-dimensional notion of palindrome for rectangular factors
of double sequences: these palindromes are defined as centrosymmetric factors. This
notion provides a characterization of two-dimensional Sturmian sequences in terms of
two-dimensional palindromes, generalizing to double sequences the results in [13].
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 2, 2001, 121-138
Sonnenfleckenzeichnung Nr. 4563.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 04.05.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2641 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
Propagation and attenuation of pulses driven by low velocity normal impacts in granular media
Creators: name: Quillen, A. C.
name: Neiderbach, Max
name: Suo, Bingcheng
name: South, Juliana
name: Wright, Esteban
name: Skerrett, Nathan
name: Sánchez, Paul
name: Cúñez, Fernando David
name: Miklavcic, Peter
name: Askari, Heesam
Publisher: name: arXiv
Year: 2022
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We carry out experiments of low velocity normal impacts into granular materials that fill an approximately cylindrical 42 litre tub. Motions in the granular medium are tracked with an array of 7 embedded accelerometers. Longitudinal pulses excited by the impact attenuate and their shapes broaden and become smoother as a function of travel distance from the site of impact. Pulse propagation is not spherically symmetric about the site of impact. Peak amplitudes are about twice as large for the pulse propagating downward than at 45 degrees from vertical. An advection-diffusion model is used to estimate the dependence of pulse properties as a function of travel distance from the site of impact. The power law forms for pulse peak pressure, velocity and seismic energy depend on distance from impact to a power of -2.5 and this rapid decay is approximately consistent with our experimental measurements. Our experiments support a seismic jolt model, giving rapid attenuation of impact generated seismic energy into rubble asteroids, rather than a reverberation model, where seismic energy slowly decays. We apply our diffusive model to estimate physical properties of the seismic pulse that will be excited by the forthcoming DART mission impact onto the secondary, Dimorphos, of the asteroid binary (65803) Didymos system. We estimate that the pulse peak acceleration will exceed the surface gravity as it travels through the asteroid.
Passalus coniferus Eschscholtz 1829
Creators: name: Fonseca, Cláudio Ruy Vasconcelos Da
name: Reyes-Castillo, Pedro
Publisher: name: Zenodo
Year: 2004
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Passallidae
Passalus
Passalus coniferus

description: coniferus Eschscholtz 1829 ­16
brevilabris Kuwert 1898 ­276
sulciscutellum Kuwert 1898 ­276
torpidus Erichson 1847 ­112
crinicicatrix Kuwert 1891 ­185
Amazonas
Rondônia
Roraima
Pará
Goiás
Rio de Janeiro
São Paulo
Paraná
Santa Catarina
Rio Grande do Sul
description: Published as part of Fonseca, Cláudio Ruy Vasconcelos Da & Reyes-Castillo, Pedro, 2004, Synopsis on Passalidae family (Coleoptera: Scarabaeoidea) of Brazil with description of a new species of Veturius Kaup, 1871, pp. 1-26 in Zootaxa 789 (1) on page 19, DOI: 10.11646/zootaxa.789.1.1, http://zenodo.org/record/5028960
title: Increasing, Nondecreasing, and Virtually Continuous Functions
Creators: name: Bridges, Douglas
name: Mahalanobis, Ayan
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: Increasing and nondecreasing functions, defined on dense subsets of an interval, are
examined constructively -- that is, using intuitionistic logic. It is shown how the domain
of an increasing function can be extended to include all points at which the function is
virtually continuous.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 2, 2001, 139-143
Swarmalators under competitive time-varying phase interactions
Creators: name: Sar, Gourab K.
name: Chowdhury, Sayantan Nag
name: Perc, Matjaz
name: Ghosh, Dibakar
Publisher: name: arXiv
Year: 2022
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: Mathematical Physics (math-ph)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: Swarmalators are entities with the simultaneous presence of swarming and synchronization that reveal emergent collective behavior due to the fascinating bidirectional interplay between phase and spatial dynamics. Although different coupling topologies have already been considered, here we introduce time-varying competitive phase interaction among swarmalators where the underlying connectivity for attractive and repulsive coupling varies depending on the vision (sensing) radius. Apart from investigating some fundamental properties like conservation of center of position and collision avoidance, we also scrutinize the cases of extreme limits of vision radius. The concurrence of attractive-repulsive competitive phase coupling allows the exploration of diverse asymptotic states, like static $π$, and mixed phase wave states, and we explore the feasible routes of those states through a detailed numerical analysis. In sole presence of attractive local coupling, we reveal the occurrence of static cluster synchronization where the number of clusters depends crucially on the initial distribution of positions and phases of each swarmalator. In addition, we analytically calculate the sufficient condition for the emergence of the static synchronization state. We further report the appearance of the static ring phase wave state and evaluate its radius theoretically. Finally, we validate our findings using Stuart-Landau oscillators to describe the phase dynamics of swarmalators subject to attractive local coupling.
description: 21 pages, 12 figures; accepted for publication in New Journal of Physics
Sonnenfleckenzeichnung Nr. 4525.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 14.03.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2603 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
Spatial modeling of day-within-year temperature time series: an examination of daily maximum temperatures in Aragón, Spain
Creators: name: Castillo-Mateo, Jorge
name: Lafuente, Miguel
name: Asín, Jesús
name: Cebrián, Ana C.
name: Gelfand, Alan E.
name: Abaurrea, Jesús
Publisher: name: arXiv
Year: 2022
Subjects: subject: Methodology (stat.ME)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences

description: Acknowledging a considerable literature on modeling daily temperature data, we propose a multi-level spatio-temporal model which introduces several innovations in order to explain the daily maximum temperature in the summer period over 60 years in a region containing Aragón, Spain. The model operates over continuous space but adopts two discrete temporal scales, year and day within year. It captures temporal dependence through autoregression on days within year and also on years. Spatial dependence is captured through spatial process modeling of intercepts, slope coefficients, variances, and autocorrelations. The model is expressed in a form which separates fixed effects from random effects and also separates space, years, and days for each type of effect. Motivated by exploratory data analysis, fixed effects to capture the influence of elevation, seasonality and a linear trend are employed. Pure errors are introduced for years, for locations within years, and for locations at days within years. The performance of the model is checked using a leave-one-out cross-validation. Applications of the model are presented including prediction of the daily temperature series at unobserved or partially observed sites and inference to investigate climate change comparison.
description: 21 pages (+20 pages supplement), 7 figures (+6 figures supplement), 2 tables (+4 tables supplement); minor revision
title: Distributed Pattern Matching Using Finite Automata
Creators: name: Holub, Jan
name: Iliopoulos, Costas S.
name: Melichar, Bořivoj
name: Mouchard, Laurent
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: Here we study a family of distributed pattern matching problems: we compute all the
occurrences of a pattern in a text, where the pattern and/or the text can be either
"singular" (ordinary) strings or "multiple" ones (strings distributed in several lines).
We examine several combinations of singular and multiple text/patterns. We construct
nondeterministic finite automata (NFA) for these problems and show their simulation
using the Shift-Or algorithm.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 2, 2001, 191-201
Probing of nonlinear hybrid optomechanical systems via partial accessibility
Creators: name: Montenegro, V.
name: Genoni, M. G.
name: Bayat, A.
name: Paris, M. G. A.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Hybrid optomechanical systems are emerging as a fruitful architecture for quantum technologies. Hence, determining the relevant atom-light and light-mechanics couplings is an essential task in such systems. The fingerprint of these couplings is left in the global state of the system during non-equilibrium dynamics. However, in practice, performing measurements on the entire system is not feasible, and thus, one has to rely on partial access to one of the subsystems, namely the atom, the light, or the mechanics. Here, we perform a comprehensive analysis to determine the optimal subsystem for probing the couplings. We find that if the light-mechanics coupling is known or irrelevant, depending on the range of the qubit-light coupling, then the optimal subsystem can be either light or the qubit. In other scenarios, e.g., simultaneous estimation of the couplings, the light is usually the optimal subsystem. This can be explained as light is the mediator between the other two subsystems. Finally, we show that the widely used homodyne detection can extract a fair fraction of the information about the couplings from the light degrees of freedom.
description: 10 pages, 2 appendices, 9 figures. Feedback is welcome
Sonnenfleckenzeichnung Nr. 4583.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 27.05.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2658 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
title: Piecewise Directable Automata
Creators: name: Petković, Tatjana
name: Steinby, Magnus
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: In this paper a new strong form of directability of automata is studied. A word $w$ is
piecewise directing if any input word containing $w$ as a piecewise subword takes the
automaton to the same state from every state. The piecewise directable automata form
a variety of automata situated between the varieties of definite automata and directable
automata. We describe the sets of piecewise directing words of automata in terms of
Haines' embedding order, study the structure of piecewise directable automata, and
present criteria for an automaton to be piecewise directable. We also consider the
congruences of an automaton which yield a piecewise directable quotient automaton
and show that any $n$-state piecewise directable automaton has a piecewise directing
word of length ${}\leq \binom{n}{k}$.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 2, 2001, 205-220
Torsion and torsion-free classes from objects of finite type in Grothendieck categories
Creators: name: Bravo, Daniel
name: Odabaşı, Sinem
name: Parra, Carlos E.
name: Pérez, Marco A.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Category Theory (math.CT)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 18E40, 18C35, 18G15

description: In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and study the class of $\text{FP}_n$-flat objects in Grothendieck categories with a generating set of small projective objects, and provide several equivalent conditions for this class to be torsion-free. In the end, we present several applications and examples of $n$-hereditary categories in the contexts modules over a ring, chain complexes of modules and categories of additive functors from an additive category to the category of abelian groups. Concerning the latter setting, we find a characterization of when these functor categories are $n$-hereditary in terms of the domain additive category.
description: 27 pages
Sonnenfleckenzeichnung Nr. 4584.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 28.05.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2659 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
title: State Complexity of Regular Languages
Creators: name: Yu, Sheng
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: State complexity is a descriptional complexity measure for regular languages based on
the deterministic finite automaton model. We investigate and review the problems
related to the state complexity of regular languages, as well as finite languages, and
their operations. In particular, we compare various state complexity results for general
regular languages to those for finite languages.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 2, 2001, 221-234
title: Some Results on Codes for Generalized Factorizations
Creators: name: Ahmad, Mouhamed Kadrie
name: Augros, Xavier
Publisher: name: Institut für Informatik, Justus-Liebig-Universität Giessen
Year: 2001

description: This paper is about unique decipherability, according to a control language, for the
concatenation of words chosen in different languages. This control language and this
set of languages generate an other language. We give a generalization of the notions of
code and stability, and, in the rational case, we also give a polynomial time algorithm
to decide if a such generator is a code.
description: Journal of Automata, Languages and Combinatorics, Volume 6, Number 3, 2001, 239-251
A Uniqueness Theorem for Incompressible Fluid Flows with Straight Streamlines
Creators: name: Guilfoyle, Brendan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: It is proven that the only incompressible Euler fluid flows with fixed straight streamlines are those generated by the normal lines to a round sphere, a circular cylinder or a flat plane, the fluid flow being that of a point source, a line source or a plane source at infinity, respectively. The proof uses the local differential geometry of oriented line congruences to integrate the Euler equations explicitly.
description: 11 pages LATEX, Separate Appendix document contains REDUCE computer algebra code for the calculations
Sonnenfleckenzeichnung Nr. 4556.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 24.04.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2634 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
THE ROLE OF LANGUAGE PRODUCTION AND TEACHER EPISTEMOLOGY IN DISPROPORTIONALITY
Creators: name: Torres, Rudolph Gary
Publisher: name: Zenodo
Year: 2022
Subjects: disproportionality
epistemology
social justice
learning disability

description: Research continues to demonstrate that students from minoritized backgrounds are disproportionality represented in special education. This study investigated the issue of minoritized disproportionality of Latinx students receiving special education services for specific learning disability in a local school district. This issue was explored through the context of teachers’ epistemology and their perspectives of developmentally appropriate practices for student learning. A teacher’s epistemology directly influences their instructional design, expectations, and outcomes for student learning. Drawing on the theory of social disability, this study examined teachers’ epistemology as it relates to the ideological and institutional norms that create access or lack thereof for student learning. The method for this study was a qualitative grounded theory design oriented to understand organizational phenomena and perceptions that inform belief systems. To understand the belief system across the preschool through Grade 3 continuum, this research utilized two settings: a Head Start preschool and an elementary school. General findings suggest a relationship between beliefs regarding how students learn, notions of student performance, and cultural contributions to perceptions of disabilities. This study concludes with implications and suggestions for school leaders to advance social justice for minoritized students.
Sonnenfleckenzeichnung Nr. 4539.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 01.04.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2617 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
Spinors and mass on weighted manifolds
Creators: name: Baldauf, Julius
name: Ozuch, Tristan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Differential Geometry (math.DG)
subject: Mathematical Physics (math-ph)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: This paper generalizes classical spin geometry to the setting of weighted manifolds (manifolds with density) and provides applications to the Ricci flow. Spectral properties of the naturally associated weighted Dirac operator, introduced by Perelman, and its relationship with the weighted scalar curvature are investigated. Further, a generalization of the ADM mass for weighted asymptotically Euclidean (AE) manifolds is defined; on manifolds with nonnegative weighted scalar curvature, it satisfies a weighted Witten formula and thereby a positive weighted mass theorem. Finally, on such manifolds, Ricci flow is the gradient flow of said weighted ADM mass, for a natural choice of weight function. This yields a monotonicity formula for the weighted spinorial Dirichlet energy of a weighted Witten spinor along Ricci flow.
description: 19 pages; final version published in Comm. Math. Phys
Sonnenfleckenzeichnung Nr. 4605.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 19.06.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2675 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
Transmission Scheme, Detection and Power Allocation for Uplink User Cooperation with NOMA and RSMA
Creators: name: Abbasi, Omid
name: Yanikomeroglu, Halim
Publisher: name: arXiv
Year: 2022
Subjects: subject: Information Theory (cs.IT)
subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: In this paper, we propose two novel cooperative-non-orthogonal-multiple-access (C-NOMA) and cooperative-rate-splitting-multiple-access (C-RSMA) schemes for uplink user cooperation. At the first mini-slot of these schemes, each user transmits its signal and receives the transmitted signal of the other user in full-duplex mode, and at the second mini-slot, each user relays the other user's message with amplify-and-forward (AF) protocol. At both schemes, to achieve better spectral efficiency, users transmit signals in the non-orthogonal mode in both mini-slots. In C-RSMA, we also apply the rate-splitting method in which the message of each user is divided into two streams. In the proposed detection schemes for C-NOMA and C-RSMA, we apply a combination of maximum-ratio-combining (MRC) and successive-interference-cancellation (SIC). Then, we derive the achievable rates for C-NOMA and C-RSMA, and formulate two optimization problems to maximize the minimum rate of two users by considering the proportional fairness coefficient. We propose two power allocation algorithms based on successive-convex-approximation (SCA) and geometric-programming (GP) to solve these non-convex problems. Next, we derive the asymptotic outage probability of the proposed C-NOMA and C-RSMA schemes, and prove that they achieve diversity order of two. Finally, the above-mentioned performance is confirmed by simulations.
description: 32 pages, 13 figures
Ochrochernes galatheae
Creators: name: Lin, Hsiang-Yun
name: Huang, Jun-Xuan
name: Liu, Hsi-Hsuan
name: Chang, Chih-Han
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Pseudoscorpiones
Chernetidae
Ochrochernes
Ochrochernes galatheae

description: Ochrochernes galatheae (With, 1906)
 Chelifer galatheae With 1906: Ellingsen 1912: 122.
 Ochrochernes galatheae (With 1906): Beier 1932: 127–128.
 Remarks: The first record of the species in Taiwan was in Taichung (Karoton) with 1 specimen (Ellingsen 1912), after being first recorded from India.
description: Published as part of Lin, Hsiang-Yun, Huang, Jun-Xuan, Liu, Hsi-Hsuan & Chang, Chih-Han, 2022, Tubuca paradussumieri, pp. 1-13 in Zoological Studies 61 (24) on page 9, DOI: 10.6620/ZS.2022.61-24, http://zenodo.org/record/12827680
Evaporation of microwave-shielded polar molecules to quantum degeneracy
Creators: name: Schindewolf, Andreas
name: Bause, Roman
name: Chen, Xing-Yan
name: Duda, Marcel
name: Karman, Tijs
name: Bloch, Immanuel
name: Luo, Xin-Yu
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Atomic Physics (physics.atom-ph)
subject: Chemical Physics (physics.chem-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Ultracold polar molecules offer strong electric dipole moments and rich internal structure, which makes them ideal building blocks to explore exotic quantum matter, implement novel quantum information schemes, or test fundamental symmetries of nature. Realizing their full potential requires cooling interacting molecular gases deeply into the quantum degenerate regime. However, the complexity of molecules which makes their collisions intrinsically unstable at the short range, even for nonreactive molecules, has so far prevented the cooling to quantum degeneracy in three dimensions. Here, we demonstrate evaporative cooling of a three-dimensional gas of fermionic sodium-potassium molecules to well below the Fermi temperature using microwave shielding. The molecules are protected from reaching short range with a repulsive barrier engineered by coupling rotational states with a blue-detuned circularly polarized microwave. The microwave dressing induces strong tunable dipolar interactions between the molecules, leading to high elastic collision rates that can exceed the inelastic ones by at least a factor of 460. This large elastic-to-inelastic collision ratio allows us to cool the molecular gas down to 21 nanokelvin, corresponding to 0.36 times the Fermi temperature. Such unprecedentedly cold and dense samples of polar molecules open the path to the exploration of novel many-body phenomena, such as the long-sought topological p-wave superfluid states of ultracold matter.
description: 11 pages, 7 figures
Sonnenfleckenzeichnung Nr. 4594.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 08.06.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2668 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
[SMARTWEST D2 - Smart Devices-A Toolset of Environmental Sensors to Monitor the IEQ]
Creators: name: Polytechnic University of Turin
Publisher: name: Zenodo
Year: 2024
Subjects: Spoke 4 - Digital Innovation Toward Sustainable Mountain
SMARTWEST Project
Mountain and Smart Working
ECS00000036

description: Smart devices: A toolset of environmental sensors to monitor the IEQ.
Sonnenfleckenzeichnung Nr. 4552.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 18.04.1954, erstellt als Beobachtung im Projektionsverfahren Nr. 2630 von Karl Rapp in Locarno-Monti
Creators: name: [s.n.]
Publisher: name: [s.n.]
Year: 1954

description: Bleistiftzeichnung mit Tinte und Farbstift, erstellt für die Beobachtungen in Locarno-Monti auf dem Vordruck der Eidgenössischen Sternwarte Zürich. Instrument: Merz-Refraktor mit 13.5 cm Öffnung und 195 cm Brennweite, vereinzelt andere Instrumente wie Tel. 88x; Sonnenbild D = 25 cm. - Auf der Zeichnung wird zum Teil das Instrument vermerkt bzw. die Zählung der Beobachtungen im Projektionsverfahren fortgesetzt. Sporadisch sind Resultate mehrerer Aufnahmen pro Tag aufgelistet. Zuhanden der späteren statistischen Verarbeitung sind die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Zeichnung aus der Zeit der Beobachtertätigkeit von Ing. Karl Rapp als Privat-Astronom, die er seit den Neunzehnvierziger Jahren für die Eidgenössische Sternwarte Zürich ausführte. Aus den ersten zwei Jahren der freiwilligen Mitarbeit sind nur einzelne Stücke überliefert. Erst zwei Jahre später ist jeweils eine ergänzende Serie in Zürich aufbewahrt worden. Nochmals fünf Jahre später arbeitete Karl Rapp neu auf vertraglicher Basis weiter mit, bis schliesslich nach einem weiteren Jahrzehnt die permanente Beobachtungsstation in Locarno-Monti geschaffen wurde, welche an die langjährige Serie von Karl Rapp anknüpfte
Microcreagris formosana Ellingsen 1912
Creators: name: Lin, Hsiang-Yun
name: Huang, Jun-Xuan
name: Liu, Hsi-Hsuan
name: Chang, Chih-Han
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Pseudoscorpiones
Neobisiidae
Microcreagris
Microcreagris formosana

description: Microcreagris formosana Ellingsen, 1912
Microcreagris granulata formosana Ellingsen 1912: 127–128. Microcreagris formosana Kishida 1928: 411–412.
 Remarks: Common in the leaf litter. The type locality of the species was in Kaohsiung (Takao and Gyamma). Ćurčić (1983) and Harvey (1999) revised the Asian species of Microcreagris and transferred some species into Bisetocreagris Ćurčić, 1983. However, their revisions did not include the two Taiwanese species, M. pusilla and M. formosana. Whether these species belong to Microcreagris or Bisetocreagris still needs further research. M. formosana was first described as a variety of Microcreagris granulata. Kishida (1920, as cited in Kishida 1928) later erected the specimens from Taiwan to a full specific status, Microcreagris formosana.
description: Published as part of Lin, Hsiang-Yun, Huang, Jun-Xuan, Liu, Hsi-Hsuan & Chang, Chih-Han, 2022, Tubuca paradussumieri, pp. 1-13 in Zoological Studies 61 (24) on page 9, DOI: 10.6620/ZS.2022.61-24, http://zenodo.org/record/12827680
Dynamic density correlations in a baryon rich fluid using Mori-Zwanzig-Nakjima projection operator method
Creators: name: Kadam, Guruprasad
Publisher: name: arXiv
Year: 2022
Subjects: subject: Nuclear Theory (nucl-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this work, we calculate the dynamic density correlations using Mori-Zwanzig-Nakajima projection operator method. With a judicious choice of slow variables we derive the evolution equations for these slow variables starting from generalised Langevin equation. We get the hydrodynamic form of density correlations function which consist of two acoustic peaks: also called Brillouin peaks, and one thermal peak: also called Rayleigh peak. We then estimate the dynamic density correlations near the critical point using critical exponents extracted from the statistical bootstrap model of hadronic matter. We find that the bulk viscosity contributes to the sound attenuation at leading order $\sim|t|^{-\frac{5}{4}}$ while the thermal conductivity contribute at sub-leading order $\sim|t|^{-\frac{3}{4}}$. On the other hand, only the thermal conductivity contributes at leading order $\sim|t|^{\frac{1}{4}}$ to the thermal diffusivity. We discuss the implications of these results in a search for the QCD critical point in the heavy-ion collision experiments.
description: 19 pages, 1 Captioned figure, Matches the published version