cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Sonnenfleckenzeichnung Nr. 104.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 30.04.1999, 09:00, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 3.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
title: Transient Nonlinear Heat Conduction in Concrete Structures: A Semi-Analytical Approach
Creators: name: Wang, Hui
name: Chen, Xi
name: Koenders, Eduardus
name: Dai, Ying
name: Huang, Xingchun
name: Ai, Qing
name: Yuan, Yong
Publisher: name: MDPI
Year: 2023

description: Thermal loading, especially in fire scenarios, challenges the safety and long-term durability of concrete structures. The resulting heat propagation within the structure is governed by the heat conduction equation, which can be difficult to solve analytically because of the nonlinearity related to the thermophysical properties of concrete. A semi-analytical approach for the transient nonlinear heat conduction problem in concrete structures was established in the present work. The nonlinearity related to the temperature-dependent thermal conductivity, mass density, and specific heat capacity of heated concrete was taken into consideration. A Taylor series approximate solution was first established within a small neighborhood, employing the Boltzmann transformation in combination with the mean value theorem. Thereafter, it was extended to the whole domain by utilizing the Bernstein polynomial. The semi-analytical approach was validated by comparing it with the numerical results of two independent Finite Element simulations of nonlinear heat conduction along concrete plates, subjected to either moderate or fierce thermal loading. Absolute values of the relative errors are smaller than 5%. The validated semi-analytical approach was further applied to prediction of the temporal evolution of the temperature field of a scaled model of a subway station, subjected to fire disaster. The nonlinearities, related to the time-dependent surface temperature and the temperature-dependent thermophysical properties of concrete, were taken into consideration. The predictions agree well with the experimental measurements. The established semi-analytical approach exhibits good accuracy and stability, providing insight into the interaction between the thermophysical properties of concrete in the heat conduction process.
Big polygon spaces
Creators: name: Franz, Matthias
Publisher: name: arXiv
Year: 2014
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics
subject: 55N91 (Primary), 13D02, 55R80, 57P10 (Secondary)

description: We study a new class of compact orientable manifolds, called big polygon spaces. They are intersections of real quadrics and related to polygon spaces, which appear as their fixed point set under a canonical torus action. What makes big polygon spaces interesting is that they exhibit remarkable new features in equivariant cohomology: The Chang-Skjelbred sequence can be exact for them and the equivariant Poincare pairing perfect although their equivariant cohomology is never free as a module over the cohomology ring of BT. More generally, big polygon spaces show that a certain bound on the syzygy order of the equivariant cohomology of compact orientable T-manifolds obtained by Allday, Puppe and the author is sharp.
description: 20 pages; incorrect degree shift in Proposition 5.1 corrected, some typos fixed
Searching For Stochastic Gravitational Waves Below a Nanohertz
Creators: name: DeRocco, William
name: Dror, Jeff A.
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The stochastic gravitational-wave background is imprinted on the times of arrival of radio pulses from millisecond pulsars. Traditional pulsar timing analyses fit a timing model to each pulsar and search the residuals of the fit for a stationary time correlation. This method breaks down at gravitational-wave frequencies below the inverse observation time of the array; therefore, existing analyses restrict their searches to frequencies above 1 nHz. An effective method to overcome this challenge is to study the correlation of secular drifts of parameters in the pulsar timing model itself. In this paper, we show that timing model correlations are sensitive to sub-nanohertz stochastic gravitational waves and perform a search using existing measurements of pulsar spin-decelerations and pulsar binary orbital decay rates. We do not observe a signal at our present sensitivity, constraining the stochastic gravitational-wave relic energy density to $Ω_\text{GW} ( f ) < 3.8 \times 10 ^{ - 9} $ at 450~pHz with sensitivity which scales as the frequency squared until approximately 10 pHz. We place additional limits on the amplitude of a power-law spectrum of $A_\star \lesssim 1.8\times10^{-14}$ for a reference frequency of $f_* = 1~{\rm year} ^{-1} $ and the spectral index expected from supermassive black hole binaries, $γ= 13/3$. If detection of a supermassive black hole binary signal above 1 nHz is confirmed, this search method will serve as a critical complementary probe of the dynamics of galaxy evolution.
description: 14 pages, 2 figures; v2: updated to match Phys. Rev. D version
Sonnenfleckenzeichnung Nr. 180.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 26.07.1999, 07:30, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Centimeter-deep tissue fluorescence microscopic imaging with high signal-to-noise ratio and picomole sensitivity
Creators: name: Cheng, Bingbing
name: Bandi, Venugopal
name: Wei, Ming-Yuan
name: Pei, Yanbo
name: DSouza, Francis
name: Nguyen, Kytai T.
name: Hong, Yi
name: Tang, Liping
name: Yuan, Baohong
Publisher: name: arXiv
Year: 2015
Subjects: subject: Optics (physics.optics)
subject: Medical Physics (physics.med-ph)
subject: FOS: Physical sciences

description: Fluorescence microscopic imaging in centimeter-deep tissue has been highly sought-after for many years because much interesting in vivo micro-information, such as microcirculation, tumor angiogenesis, and metastasis, may deeply locate in tissue. In this study, for the first time this goal has been achieved in 3-centimeter deep tissue with high signal-to-noise ratio (SNR) and picomole sensitivity under radiation safety thresholds. These results are demonstrated not only in tissue-mimic phantoms but also in actual tissues, such as porcine muscle, ex vivo mouse liver, ex vivo spleen, and in vivo mouse tissue. These results are achieved based on three unique technologies: excellent near infrared ultrasound-switchable fluorescence (USF) contrast agents, a sensitive USF imaging system, and an effective correlation method. Multiplex USF fluorescence imaging is also achieved. It is useful to simultaneously image multiple targets and observe their interactions. This work opens the door for future studies of centimeter-deep tissue fluorescence microscopic imaging.
Singular Value Decomposition of Images from Scanned Photographic Plates
Creators: name: Kolev, Vasil
name: Tsvetkova, Katya
name: Tsvetkov, Milcho
Publisher: name: arXiv
Year: 2013
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Computational Engineering, Finance, and Science (cs.CE)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences
subject: C.3; C.5; E.4; G.1; I.4; I.5; J.3; J.6; J.7
subject: 15Axx, 68Uxx, 94Axx, 47Axx, 65Fxx, 68Pxx, 85-XX, 97Mxx, 70-XX, 97Pxx,

description: We want to approximate the mxn image A from scanned astronomical photographic plates (from the Sofia Sky Archive Data Center) by using far fewer entries than in the original matrix. By using rank of a matrix, k we remove the redundant information or noise and use as Wiener filter, when rank k
description: pages 15, Proceedings of the VII Bulgarian-Serbian Astronomical Conference,Bulgaria,2010
Baer and Baer *-ring characterizations of Leavitt path algebras
Creators: name: Hazrat, Roozbeh
name: Vas, Lia
Publisher: name: arXiv
Year: 2016
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 16S10, 16W10, 16W50, 16D70

description: We characterize Leavitt path algebras which are Rickart, Baer, and Baer $*$-rings in terms of the properties of the underlying graph. In order to treat non-unital Leavitt path algebras as well, we generalize these annihilator-related properties to locally unital rings and provide a more general characterizations of Leavitt path algebras which are locally Rickart, locally Baer, and locally Baer $*$-rings. Leavitt path algebras are also graded rings and we formulate the graded versions of these annihilator-related properties and characterize Leavitt path algebras having those properties as well. Our characterizations provide a quick way to generate a wide variety of examples of rings. For example, creating a Baer and not a Baer $*$-ring, a Rickart $*$-ring which is not Baer, or a Baer and not a Rickart $*$-ring, is straightforward using the graph-theoretic properties from our results. In addition, our characterizations showcase more properties which distinguish behavior of Leavitt path algebras from their $C^*$-algebra counterparts. For example, while a graph $C^*$-algebra is Baer (and a Baer $*$-ring) if and only if the underlying graph is finite and acyclic, a Leavitt path algebra is Baer if and only if the graph is finite and no cycle has an exit, and it is a Baer $*$-ring if and only if the graph is a finite disjoint union of graphs which are finite and acyclic or loops.
GenASiS Basics: Object-oriented utilitarian functionality for large-scale physics simulations (Version 4)
Creators: name: Budiardja, Reuben D.
name: Cardall, Christian Y.
Publisher: name: arXiv
Year: 2015
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Mathematical Software (cs.MS)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: GenASiS Basics provides modern Fortran classes furnishing extensible object-oriented utilitarian functionality for large-scale physics simulations on distributed memory supercomputers. This functionality includes physical units and constants; display to the screen or standard output device; message passing; I/O to disk; and runtime parameter management and usage statistics. This revision -- Version 4 of GenASiS Basics -- includes a name change and additions to functionality, including the facilitation of direct communication between GPUs.
description: The first Journal Reference and DOI are for the original publication (v1 on this archive). The second and subsequent Journal References and DOIs are for a New Version Announcements (successive versions on this archive)
Sonnenfleckenzeichnung Nr. 164.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 10.07.1999, 07:00, erstellt von Michele Bianda
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 3.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Sonnenfleckenzeichnung Nr. 166.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 12.07.1999, 12:00, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 3.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Sonnenfleckenzeichnung Nr. 200.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 17.08.1999, 07:30, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Elliptic equations with critical exponent on a torus invariant region of $S^3$
Creators: name: Rey, Carolina A.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics

description: We study the multiplicity of positive solutions of the critical elliptic equation: $ Δ_{\mathbb{S}^3} U = -(U^5 +λU) \hspace{0.3cm}\hbox{ on } Ω$ that vanish on the boundary of $Ω$, where $Ω$ is a region of $\mathbb{S}^3$ which is invariant by the natural $\mathbb{T}^2$-action. H. Brezis and L. A. Peletier consider the case in which $Ω$ is invariant by the $SO(3)$-action, namely, when $Ω$ is a spherical cap. We show that the number of solutions increases as $λ\to -\infty$, giving an answer of a particular case of an open problem proposed by H. Brezis and L. A. Peletier.
CUP: Critic-Guided Policy Reuse
Creators: name: Zhang, Jin
name: Li, Siyuan
name: Zhang, Chongjie
Publisher: name: arXiv
Year: 2022
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: The ability to reuse previous policies is an important aspect of human intelligence. To achieve efficient policy reuse, a Deep Reinforcement Learning (DRL) agent needs to decide when to reuse and which source policies to reuse. Previous methods solve this problem by introducing extra components to the underlying algorithm, such as hierarchical high-level policies over source policies, or estimations of source policies' value functions on the target task. However, training these components induces either optimization non-stationarity or heavy sampling cost, significantly impairing the effectiveness of transfer. To tackle this problem, we propose a novel policy reuse algorithm called Critic-gUided Policy reuse (CUP), which avoids training any extra components and efficiently reuses source policies. CUP utilizes the critic, a common component in actor-critic methods, to evaluate and choose source policies. At each state, CUP chooses the source policy that has the largest one-step improvement over the current target policy, and forms a guidance policy. The guidance policy is theoretically guaranteed to be a monotonic improvement over the current target policy. Then the target policy is regularized to imitate the guidance policy to perform efficient policy search. Empirical results demonstrate that CUP achieves efficient transfer and significantly outperforms baseline algorithms.
Structure of locally conformally symplectic Lie algebras and solvmanifolds
Creators: name: Angella, Daniele
name: Bazzoni, Giovanni
name: Parton, Maurizio
Publisher: name: arXiv
Year: 2017
Subjects: subject: Differential Geometry (math.DG)
subject: Symplectic Geometry (math.SG)
subject: FOS: Mathematics
subject: 53D05, 22E60, 22E25, 53C55, 53D10, 53A30

description: We obtain structure results for locally conformally symplectic Lie algebras. We classify locally conformally symplectic structures on four-dimensional Lie algebras and construct locally conformally symplectic structures on compact quotients of all four-dimensional connected and simply connected solvable Lie groups.
description: 68 pages, around 40 of computations; no figures. Comments welcome!
Hidden Complexities in the Computational Modeling of Proportionality for Robotic Norm Violation Response
Creators: name: Wen, Ruchen
name: Williams, Tom
Publisher: name: arXiv
Year: 2022
Subjects: subject: Robotics (cs.RO)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences

description: Language-capable robots hold unique persuasive power over humans, and thus can help regulate people's behavior and preserve a better moral ecosystem, by rejecting unethical commands and calling out norm violations. However, miscalibrated norm violation responses (when the harshness of a response does not match the actual norm violation severity) may not only decrease the effectiveness of human-robot communication, but may also damage the rapport between humans and robots. Therefore, when robots respond to norm violations, it is crucial that they consider both the moral value of their response (by considering how much positive moral influence their response could exert) and the social value (by considering how much face threat might be imposed by their utterance). In this paper, we present a simple (naive) mathematical model of proportionality which could explain how moral and social considerations should be balanced in multi-agent norm violation response generation. But even more importantly, we use this model to start a discussion about the hidden complexity of modeling proportionality, and use this discussion to identify key research directions that must be explored in order to develop socially and morally competent language-capable robots.
description: 5 pages, the AI-HRI Symposium at AAAI Fall Symposium Series (FSS) 2022
Modeling and design of singly-resonant optical parametric oscillator with an intracavity idler absorber for enhanced conversion efficiency for the signal
Creators: name: Singh, Tajinder
name: Shenoy, M. R.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We present modeling and design of singly-resonant optical parametric oscillator (SR-OPO) with an intracavity idler absorber to enhance the conversion efficiency for the signal, by suppressing the back conversion of the signal and idler to the pump. Following plane wave analysis, we arrive at the optimum parameters of the OPO to achieve high conversion efficiency for the signal. For a given pump intensity, we have analyzed the effect of position and number of absorbers required for optimum performance of the device. The model is also extended to the case in which the signal is absorbed, yielding higher conversion efficiency for the idler (in mid-IR region). The magnitude of absorption and the effect of inter-crystal phase shift on the conversion efficiency are also discussed. We also present an analytical solution for twin-crystal SR-OPO with an absorber in between; taking into account the variation of signal amplitude inside the cavity, we re-affirm that the often used 'constant signal-wave approximation' is valid if the reflectivity of the output coupler is high for the signal.
Sonnenfleckenzeichnung Nr. 12.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 16.01.1999, 09:15, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 3.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Lorentzian Coxeter systems and Boyd-Maxwell ball packings
Creators: name: Chen, Hao
name: Labbé, Jean-Philippe
Publisher: name: arXiv
Year: 2013
Subjects: subject: Group Theory (math.GR)
subject: Combinatorics (math.CO)
subject: Metric Geometry (math.MG)
subject: FOS: Mathematics
subject: Primary 52C17, 20F55, Secondary 05C30

description: In the recent study of infinite root systems, fractal patterns of ball packings were observed while visualizing roots in affine space. In this paper, we show that the observed fractals are exactly the ball packings described by Boyd and Maxwell. This correspondence is a corollary of a more fundamental result: Given a geometric representation of a Coxeter group in a Lorentz space, the set of limit directions of weights equals the set of limit roots. Additionally, we use Coxeter complexes to describe tangency graphs of the corresponding Boyd--Maxwell ball packings. Finally, we enumerate all the Coxeter systems that generate Boyd-Maxwell ball packings.
description: Correct a minor mistake in the list. The last diagram in the list of 7-vertex trees should be a 6-star. It appeared as a 5-star in previous versions due to a mistake when drawing the graphs: two vertices were put at the same place
Does metacognitive awareness of errors in self-produced speech predict speech feedback control?
Creators: name: Railo, Henry
name: Kanerva, Viivi
Publisher: name: Open Science Framework
Year: 2023
Subjects: subject: Life Sciences
subject: Communication Sciences and Disorders
subject: Social and Behavioral Sciences
subject: Neuroscience and Neurobiology
subject: Speech and Hearing Science
subject: Cognition and Perception
subject: Medicine and Health Sciences
subject: Psychology
subject: FOS: Psychology

description: Fluent speech production is enabled by neural control systems that monitor expected and perceived speech sounds and, upon mismatch detection, modify speech to compensate for the discrepancy. These control systems often function automatically, but for example, when one is learning to pronounce foreign phonemes or trying to compensate for a speech impairment, auditory feedback needs to be consciously evaluated. However, how individuals differ in their ability to consciously notice errors in auditory feedback remains largely unstudied. The purpose of this study is to develop and pilot a psychophysical experimental paradigm that measures a participant’s ability to metacognitively assess errors in self-produced speech. Our paradigm is based on the widely used method where speech motor control is studied by perturbing auditory feedback with artificial errors. We will examine individual differences in participants’ ability to notice fundamental frequency (F0) perturbations in auditory feedback in a two-interval forced-choice (2IFC) task. We will use signal detection theory to estimate participants’ discrimination (type 1) and metacognitive (type 2) ability. Furthermore, we will examine whether the ability to notice and assess errors in auditory feedback predicts how vocalization is adjusted in response to these perturbations. Finally, we will assess the test-retest reliability of the paradigm.
Two-Level Type Theory and Applications
Creators: name: Annenkov, Danil
name: Capriotti, Paolo
name: Kraus, Nicolai
name: Sattler, Christian
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We define and develop two-level type theory (2LTT), a version of Martin-Löf type theory which combines two different type theories. We refer to them as the inner and the outer type theory. In our case of interest, the inner theory is homotopy type theory (HoTT) which may include univalent universes and higher inductive types. The outer theory is a traditional form of type theory validating uniqueness of identity proofs (UIP). One point of view on it is as internalised meta-theory of the inner type theory. There are two motivations for 2LTT. Firstly, there are certain results about HoTT which are of meta-theoretic nature, such as the statement that semisimplicial types up to level $n$ can be constructed in HoTT for any externally fixed natural number $n$. Such results cannot be expressed in HoTT itself, but they can be formalised and proved in 2LTT, where $n$ will be a variable in the outer theory. This point of view is inspired by observations about conservativity of presheaf models. Secondly, 2LTT is a framework which is suitable for formulating additional axioms that one might want to add to HoTT. This idea is heavily inspired by Voevodsky's Homotopy Type System (HTS), which constitutes one specific instance of a 2LTT. HTS has an axiom ensuring that the type of natural numbers behaves like the external natural numbers, which allows the construction of a universe of semisimplicial types. In 2LTT, this axiom can be stated simply be asking the inner and outer natural numbers to be isomorphic. After defining 2LTT, we set up a collection of tools with the goal of making 2LTT a convenient language for future developments. As a first such application, we develop the theory of Reedy fibrant diagrams in the style of Shulman. Continuing this line of thought, we suggest a definition of (infinity,1)-category and give some examples.
description: 58 pages
Sonnenfleckenzeichnung Nr. 105.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 01.05.1999, 07:00, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
title: Uncertainties in ab initio nuclear structure calculations with chiral interactions
Creators: name: Maris, P.
name: Le, H.
name: Nogga, A.
name: Roth, R.
name: Vary, J. P.
Publisher: name: Frontiers Media S.A.
Year: 2023

description: We present theoretical ground state energies and their uncertainties for p-shell nuclei obtained from chiral effective field theory internucleon interactions as a function of chiral order, fitted to two- and three-body data only. We apply a Similary Renormalization Group transformation to improve the numerical convergence of the many-body calculations, and discuss both the numerical uncertainties arising from basis truncations and those from omitted induced many-body forces, as well as chiral truncation uncertainties. With complete Next-to-Next-to-Leading (N²LO) order two- and three-body interactions, we find significant overbinding for the ground states in the upper p-shell, but using higher-order two-body potentials, in combination with N²LO three-body forces, our predictions agree with experiment throughout the p-shell to within our combined estimated uncertainties. The uncertainties due to chiral order truncation are noticeably larger than the numerical uncertainties, but they are expected to become comparable to the numerical uncertainties at complete N³LO.
Sonnenfleckenzeichnung Nr. 195.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 11.08.1999, 07:00, erstellt von Edy Alge
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Sonnenfleckenzeichnung Nr. 87.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 10.04.1999, 07:30, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Two-dimensional pulse dynamics and the formation of bound states on electrified falling films
Creators: name: Blyth, M. G.
name: Tseluiko, D.
name: Lin, T. -S.
name: Kalliadasis, S.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: The flow of an electrified liquid film down an inclined plane wall is investigated with the focus on coherent structures in the form of travelling waves on the film surface, in particular, single-hump solitary pulses and their interactions. The flow structures are analysed first using a long-wave model, which is valid in the presence of weak inertia, and second using the Stokes equations. For obtuse angles, gravity is destablising and solitary pulses exist even in the absence of an electric field. For acute angles, spatially non-uniform solutions exist only beyond a critical value of the electric field strength; moreover, solitary-pulse solutions are present only at sufficiently high supercritical elec- tric field strengths. The electric field increases the amplitude of the pulses, can generate recirculation zones in the humps, and alters the far-field decay of the pulse tails from ex- ponential to algebraic with a significant impact on pulse interactions. A weak-interaction theory predicts an infinite sequence of bound-state solutions for non-electrified flow, and a finite set for electrified flow. The existence of single-hump pulse solutions and two-pulse bound states is confirmed for the Stokes equations via boundary-element computations. In addition, the electric field is shown to trigger a switch from absolute instability to convective instability, thereby regularising the dynamics, and this is confirmed by time- dependent simulations of the long-wave model.
Sonnenfleckenzeichnung Nr. 230.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 16.09.1999, 08:30, erstellt von Sergio Cortesi
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 3.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Spectroscopic signature of spin triplet odd-valley superconductivity in two-dimensional materials
Creators: name: Kokkeler, T. H.
name: Huang, Chunli
name: Bergeret, F. S.
name: Tokatly, I. V.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Motivated by recent discoveries of superconductivity in lightly-doped multilayer graphene systems, we present a low-energy model to study superconductivity in 2D materials whose Fermi surface consists of two valleys at $\pm \vec{K}$-points. We assume a triplet odd-valley superconducting order with a pair potential that is isotropic in each valley but has a different sign in the two different valleys. Our theory predicts the emergence of an almost flat band of edge states centered at zero energy for certain edge orientations. As a result, a prominent experimental signature of this type of superconductivity is the presence of a large zero-energy peak in the local density of states near specific edges. The results of the effective low-energy theory are confirmed by numerically analyzing a specific microscopic tight-binding realization of odd-valley superconductivity, f-wave superconductivity on a honeycomb lattice in a ribbon geometry. Our work provides a test for odd-valley superconductivity through edge spectroscopy.
description: 4 pages, 3 figures
Sonnenfleckenzeichnung Nr. 19.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 24.01.1999, 10:15, erstellt von Andrea Manna
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Nonlinear Isocapacitary Concepts of Mass in 3-Manifolds with Nonnegative Scalar Curvature
Creators: name: Benatti, Luca
name: Fogagnolo, Mattia
name: Mazzieri, Lorenzo
Publisher: name: arXiv
Year: 2023
Subjects: subject: Differential Geometry (math.DG)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 83C99, 35B40, 35A16, 31C15, 53C21

description: We deal with suitable nonlinear versions of Jauregui's isocapacitary mass in 3-manifolds with nonnegative scalar curvature and compact outermost minimal boundary. These masses, which depend on a parameter $1
Noether gauge symmetry approach applying for the non-minimally coupled gravity to the Maxwell field
Creators: name: Mahmoudi, S.
name: Hajkhalili, S.
name: Hendi, S. H.
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Taking the Noether gauge symmetry approach into account, we find spherically symmetric static black hole solutions of the non-minimal gauge-gravity Lagrangian of the $\mathcal{R}^βF^2$ model. At first, we consider a system of differential equations for the general non-minimal couplings of $Y(\mathcal{R})F^2$ type, and then, we regard a particular $\mathcal{R}^βF^2$ non-minimal model to find the exact black hole solution and analyze its symmetries. As the next step, we calculate the thermodynamical quantities of the black hole and study its interesting behavior. Besides, we address thermal stability and examine the possibility of the van der Waals-like phase transition.
description: 17 pages, 20 figures
Fractal derivatives, fractional derivatives and $q$-deformed calculus
Creators: name: Deppman, Airton
name: Megias, Eugenio
name: Pasechnik, Roman
Publisher: name: arXiv
Year: 2023
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Applied Physics (physics.app-ph)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: This work presents an analysis of fractional derivatives and fractal derivatives, discussing their differences and similarities. The fractal derivative is closely connected to Haussdorff's concepts of fractional dimension geometry. The paper distinguishes between the derivative of a function on a fractal domain and the derivative of a fractal function, where the image is a fractal space. Different continuous approximations for the fractal derivative are discussed, and it is shown that the $q$-calculus derivative is a continuous approximation of the fractal derivative of a fractal function. A similar version can be obtained for the derivative of a function on a fractal space. Caputo's derivative is also proportional to a continuous approximation of the fractal derivative, and the corresponding approximation of the derivative of a fractional function leads to a Caputo-like derivative. This work has implications for studies of fractional differential equations, anomalous diffusion, information and epidemic spread in fractal systems, and fractal geometry.
description: 7 pages, 1 figure; v2 extended Discussion and Conclusions section, added Fig. 1 and references. Typos corrected. It matches the version published in MDPI Entropy
Sonnenfleckenzeichnung Nr. 152.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 26.06.1999, 06:30, erstellt von Michele Bianda
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 1999

description: Bleistiftzeichnung mit schwarzer Farbe und Bleistift, erstellt als Projektionsbildzeichnung für die Beobachtungen in Locarno-Monti auf einem eigenen Vordruck. Instrument: Zeiss-Coudé-Refraktor mit 15 cm Öffnung und 225 cm Brennweite. Bildqualität (SIDC): 4.
Die Beobachtungen zu Einzelflecken und zu Sonnenfleckengruppen wurden auf dem Vordruck eingetragen. Zusätzlich sind zuhanden der späteren statistischen Verarbeitung die Angaben für die Bestimmung der Fleckenrelativzahl notiert.
Beobachtungstätigkeit unter eigenständiger Leitung (Associazione Specola Solare Ticinese ASST)
Minimax Game-Theoretic Approach to Multiscale H-infinity Optimal Filtering
Creators: name: Anwar, Hamza
name: Zhu, Quanyan
Publisher: name: arXiv
Year: 2017
Subjects: subject: Systems and Control (eess.SY)
subject: Multiagent Systems (cs.MA)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Sensing in complex systems requires large-scale information exchange and on-the-go communications over heterogeneous networks and integrated processing platforms. Many networked cyber-physical systems exhibit hierarchical infrastructures of information flows, which naturally leads to a multi-level tree-like information structure in which each level corresponds to a particular scale of representation. This work focuses on the multiscale fusion of data collected at multiple levels of the system. We propose a multiscale state-space model to represent multi-resolution data over the hierarchical information system and formulate a multi-stage dynamic zero-sum game to design a multi-scale $H_{\infty}$ robust filter. We present numerical experiments for one and two-dimensional signals and provide a comparative analysis of the minimax filter with the standard Kalman filter to show the improvement in signal-to-noise ratio (SNR).
description: IEEE GlobalSIP 2017
Quartet Superfluid in Two-dimensional Mass-imbalanced Fermi Mixtures
Creators: name: Liu, Ruijin
name: Wang, Wei
name: Cui, Xiaoling
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Quartet superfluid (QSF) is a distinct type of fermion superfluidity that exhibits high-order correlation beyond the conventional BCS pairing paradigm. In this Letter, we report the emergent QSF in 2D mass-imbalanced Fermi mixtures with two-body contact interactions. This is facilitated by the formation of quartet bound state in vacuum that consists of a light atom and three heavy fermions. For an optimized heavy-light number ratio $3:1$, we identify QSF as the ground state in a considerable parameter regime of mass imbalance and 2D coupling strength. Its unique high-order correlation can be manifested in the momentum-space crystallization of pairing field and density distribution of heavy fermions. Our results can be readily detected in Fermi-Fermi mixtures nowadays realized in cold atoms laboratories, and meanwhile shed light on exotic superfluidity in a broad context of mass-imbalanced fermion mixtures.
description: 7+8 pages, 3+5 figures
Homogeneous Subspaces of Products of Extremally Disconnected Spaces
Creators: name: Reznichenko, Evgenii
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Topology (math.GN)
subject: FOS: Mathematics

description: Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are finite. Moreover, under CH, all compact subsets of homogeneous subspaces of any finite power of an extremally disconnected space are finite and all compact subsets of homogeneous subspaces of the countable power of an extremally disconnected space are metrizable. It is also proved that all compact homogeneous subspaces of finite powers of an extremally disconnected space are finite, which strengthens Frol\'ık's theorem.
Machine learning plasma-surface interface for coupling sputtering and gas-phase transport simulations
Creators: name: Krüger, Florian
name: Gergs, Tobias
name: Trieschmann, Jan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: Machine Learning (cs.LG)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Thin film processing by means of sputter deposition inherently depends on the interaction of energetic particles with a target surface and the subsequent particle transport. The length and time scales of the underlying physical phenomena span orders of magnitudes. A theoretical description which bridges all time and length scales is not practically possible. Advantage can be taken particularly from the well-separated time scales of the fundamental surface and plasma processes. Initially, surface properties may be calculated from a surface model and stored for a number of representative cases. Subsequently, the surface data may be provided to gas-phase transport simulations via appropriate model interfaces (e.g., analytic expressions or look-up tables) and utilized to define insertion boundary conditions. During run-time evaluation, however, the maintained surface data may prove to be not sufficient. In this case, missing data may be obtained by interpolation (common), extrapolation (inaccurate), or be supplied on-demand by the surface model (computationally inefficient). In this work, a potential alternative is established based on machine learning techniques using artificial neural networks. As a proof of concept, a multilayer perceptron network is trained and verified with sputtered particle distributions obtained from transport of ions in matter based simulations for Ar projectiles bombarding a Ti-Al composite. It is demonstrated that the trained network is able to predict the sputtered particle distributions for unknown, arbitrarily shaped incident ion energy distributions. It is consequently argued that the trained network may be readily used as a machine learning based model interface (e.g., by quasi-continuously sampling the desired sputtered particle distributions from the network), which is sufficiently accurate also in scenarios which have not been previously trained.
Microscopic theory for hyperuniformity in two-dimensional chiral active fluid
Creators: name: Kuroda, Yuta
name: Miyazaki, Kunimasa
Publisher: name: arXiv
Year: 2023
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Some nonequilibrium systems exhibit anomalous suppression of the large-scale density fluctuations, so-called hyperuniformity. Recently, hyperuniformity was found numerically in a simple model of chiral active fluids [Q.-L. Lei et al., Sci. Adv. 5, eaau7423 (2019)]. We revisit this phenomenon and put forward a microscopic theory to explain it. An effective fluctuating hydrodynamic equation is derived for a simple particle model of chiral active matter. We show that the linear analysis of the obtained hydrodynamic equation captures hyperuniformity. Our theory yields hyperuniformity characterized by the same exponents as the numerical observation, but the agreement with the numerical data is qualitative. We also argue that the hydrodynamic equation for the effective particle representation, in which each rotating trajectory is regarded as an effective particle, has the same form as the macroscopic description of the random organization model with the center of mass conservation.
description: 26 pages, 4 figures