cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Verifying raytracing/Fokker-Planck lower-hybrid current drive predictions with self-consistent full-wave/Fokker-Planck simulations
Creators: name: Frank, S. J.
name: Lee, J. P.
name: Wright, J. C.
name: Hutchinson, I. H.
name: Bonoli, P. T.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Raytracing/Fokker-Planck (FP) simulations used to model lower-hybrid current drive (LHCD) often fail to reproduce experimental results, particularly when LHCD is weakly damped. A proposed reason for this discrepancy is the lack of "full-wave" effects, such as diffraction and interference, in raytracing simulations and the breakdown of raytracing approximation. Previous studies of LHCD using non-Maxwellian full-wave/FP simulations have been performed, but these simulations were not self-consistent and enforced power conservation between the FP and full-wave code using a numerical rescaling factor. Here we have created a fully-self consistent full-wave/FP model for LHCD that is automatically power conserving. This was accomplished by coupling an overhauled version of the non-Maxwellian TORLH full-wave solver and the CQL3D FP code using the Integrated Plasma Simulator. We performed converged full-wave/FP simulations of Alcator C-Mod discharges and compared them to raytracing. We found that excellent agreement in the power deposition profiles from raytracing and TORLH could be obtained, however, TORLH had somewhat lower current drive efficiency and broader power deposition profiles in some cases. This discrepancy appears to be a result of numerical limitations present in the TORLH model and a small amount of diffractional broadening of the TORLH wave spectrum. Our results suggest full-wave simulation of LHCD is likely not necessary as diffraction and interference represented only a small correction that could not account for the differences between simulations and experiment.
Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
Creators: name: Joosten, Sebastiaan
name: Kaliszyk, Cezary
name: Urban, Josef
Publisher: name: arXiv
Year: 2014
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper reports our initial experiments with using external ATP on some corpora built with the ACL2 system. This is intended to provide the first estimate about the usefulness of such external reasoning and AI systems for solving ACL2 problems.
description: In Proceedings ACL2 2014, arXiv:1406.1238
Canaveral Harbor Sand Bypass Submerged Cultural Resources Survey and Archaeological Reconnaissance Survey, Brevard County, Florida
Creators: name: Gifford, Erica K.
name: James, Stephen R.
name: William, Wilson
Publisher: name: PANAMERICAN CONSULTANTS, INC.
Year: 2018
Subjects: subject: Florida (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/2273/florida-state-territory
subject: Cape Canaveral
valueUri: https://core.tdar.org/browse/geographic-keyword/23155/cape-canaveral
subject: Brevard (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/14443/brevard-county
subject: Archaic
valueUri: https://core.tdar.org/browse/temporal-keyword/5629/archaic
subject: Historic
valueUri: https://core.tdar.org/browse/temporal-keyword/5728/historic
subject: PaleoIndian
valueUri: https://core.tdar.org/browse/temporal-keyword/181/paleoindian
subject: 8BR01845
valueUri: https://core.tdar.org/browse/site-name/116660/8br01845
subject: 8BR00199
valueUri: https://core.tdar.org/browse/site-name/116662/8br00199
subject: 8BR02318
valueUri: https://core.tdar.org/browse/site-name/116661/8br02318
subject: 8BR00168
valueUri: https://core.tdar.org/browse/site-name/116664/8br00168
subject: 8BR00198
valueUri: https://core.tdar.org/browse/site-name/116663/8br00198
subject: 8BR00200
valueUri: https://core.tdar.org/browse/site-name/116665/8br00200
subject: Water-Related
valueUri: https://core.tdar.org/browse/site-type/365/water-related
subject: Shipwreck
valueUri: https://core.tdar.org/browse/site-type/367/shipwreck
subject: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station
subject: Historic Background Research
valueUri: https://core.tdar.org/browse/investigation-type/18/historic-background-research
subject: Methodology, Theory, or Synthesis
valueUri: https://core.tdar.org/browse/investigation-type/6/methodology-theory-or-synthesis
subject: Remote Sensing
valueUri: https://core.tdar.org/browse/investigation-type/22/remote-sensing
subject: Site Evaluation / Testing
valueUri: https://core.tdar.org/browse/investigation-type/10/site-evaluation-testing
subject: Systematic Survey
valueUri: https://core.tdar.org/browse/investigation-type/12/systematic-survey

description: This report presents the results of a remote sensing survey in support of a The U.S. Army Corps of Engineers–Jacksonville District project to dredge the nearshore north of Port Canaveral and place dredged material at the nearshore south of Port Canaveral. Fieldwork was comprised of a magnetometer, side scan sonar, and a sub bottom profiler survey. A total of 212 magnetic anomalies, four sidescan sonar targets, and nosub bottom paleofeature were recorded during the survey. Comprehensive analysis of data indicated two targets consisting of anomaly clusters are considered to have the potential to represent significant historic cultural resources. They were recommended for avoidance.
Time-space analysis of the cluster-formation in interacting diffusions
Creators: name: Fleischmann, Klaus
name: Greven, Andreas
Publisher: name: Weierstrass Institute
Year: 1994
Subjects: subject: interacting diffusion
subject: clustering
subject: infinite particle system
subject: delayed coalescing random walk with immigration
subject: transformed Fisher-Wright tree
subject: low dimensional systems
subject: ensemble of log-coalescents
subject: 60K35
subject: 60J60
subject: 60J15

description: A countable system of linearly interacting diffusions on the interval [0, 1], indexed by a hierarchical group is investigated. A particular choice of the interactions guarantees that we are in the diffusive clustering regime, that is spatial clusters of components with values all close to 0 or all close to 1 grow in various different scales. We studied this phenomenon in [FG94]. In the present paper we analyze the evolution of single components and of clusters over time. First we focus on the time picture of a single component and find that components close to 0 or close to 1 at a late time have had this property for a large time of random order of magnitude, which nevertheless is small compared with the age of the system. The asymptotic distribution of the suitably scaled duration a component was close to a boundary point is calculated. Second we study the history of spatial 0- or 1-clusters by means of time scaled block averages and time-space-thinning procedures. The scaled age of a cluster is again of a random order of magnitude. Third, we construct a transformed Fisher-Wright tree, which (in the long-time limit) describes the structure of the space-time process associated with our system. All described phenomena are independent of the diffusion coeffcient and occur for a large class of initial configurations (universality).
Subcritical regime of hybrid inflation with modular $A_4$ symmetry
Creators: name: Gunji, Yoshihiro
name: Ishiwata, Koji
name: Yoshida, Takahiro
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We consider a supergravity model that has the modular $A_4$ symmetry and discuss the interplay between the neutrino mixing and inflation. The model contains right-handed neutrinos that have the Majorana masses and additional Yukawa couplings to the waterfall field. In the model an active neutrino is massless and we find that only the inverted hierarchy is allowed and the Majorana phase is predicted to be around $\pm (120\text{--}180)^\circ$ from the observed neutrino mixing data. In the early universe, one of right-handed sneutrinos plays the role of the inflaton field. Focusing on the subcritical regime of the hybrid inflation that is consistent with the cosmic microwave background data, we analyze the dynamics of the scalar sector and derive an upper bound $\mathcal{O}(10^{10})~{\rm GeV}$ on the scale of the Majorana mass.
description: 30 pages, 6 figures, published version
Joint measurability of generalized measurements implies classicality
Creators: name: Uola, Roope
name: Moroder, Tobias
name: Gühne, Otfried
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The fact that not all measurements can be carried out simultaneously is a peculiar feature of quantum mechanics and responsible for many key phenomena in the theory, such as complementarity or uncertainty relations. For the special case of projective measurements quantum behavior can be characterized by the commutator but for generalized measurements it is not easy to decide whether two measurements can still be understood in classical terms or whether they show already quantum features. We prove that generalized measurements which do not fulfill the notion of joint measurability are nonclassical, as they can be used for the task of quantum steering. This shows that the notion of joint measurability is, among several definitions, the proper one to characterize quantum behavior. Moreover, the equivalence allows to derive novel steering inequalities from known results on joint measurability and new criteria for joint measurability from known results on the steerability of states.
description: 5 pages, 1 figure
Sonnenfleckenzeichnung Nr. 21.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 01.02.2011, 09:00, erstellt von Anna Cairati
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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)
Power-law Inflation Satisfies Penrose's Weyl Curvature Hypothesis
Creators: name: D'Amico, Guido
name: Kaloper, Nemanja
Publisher: name: arXiv
Year: 2022
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Based on entropy considerations and the arrow of time Penrose argued that the universe must have started in a special initial singularity with vanishing Weyl curvature. This is often interpreted to be at odds with inflation. Here we argue just the opposite, that Penrose's persuasions are in fact consistent with inflation. Using the example of power law inflation, we show that inflation begins with a past null singularity, where Weyl tensor vanishes when the metric is initially exactly conformally flat. This initial state precisely obeys Penrose's conditions. The initial null singularity breaks $T$-reversal spontaneously and picks the arrow of time. It can be regulated and interpreted as a creation of a universe from nothing, initially fitting in a bubble of Planckian size when it materializes. Penrose's initial conditions are favored by the initial $O(4)$ symmetry of the bubble, selected by extremality of the regulated Euclidean action. The predicted observables are marginally in tension with the data, but they can fit if small corrections to power law inflation kick in during the last 60 efolds.
description: 19 pages LaTeX, 5 figures png format; v2: added comments, discussion and references; published version
A Dimensionally-Reduced Nonlinear Elasticity Model for Liquid Crystal Elastomer Strips with Transverse Curvature
Creators: name: LoGrande, Kevin
name: Shankar, M. Ravi
name: Dayal, Kaushik
Publisher: name: arXiv
Year: 2023
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Analysis of PDEs (math.AP)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Liquid Crystalline Elastomers (LCEs) are active materials that are of interest due to their programmable response to various external stimuli such as light and heat. When exposed to these stimuli, the anisotropy in the response of the material is governed by the nematic director, which is a continuum parameter that is defined as the average local orientation of the mesogens in the liquid crystal phase. This nematic director can be programmed to be heterogeneous in space, creating a vast design space that is useful for applications ranging from artificial ligaments to deployable structures to self-assembling mechanisms. Even when specialized to long and thin strips of LCEs -- the focus of this work -- the vast design space has required the use of numerical simulations to aid in experimental discovery. To mitigate the computational expense of full 3-d numerical simulations, several dimensionally-reduced rod and ribbon models have been developed for LCE strips, but these have not accounted for the possibility of initial transverse curvature, like carpenter's tape spring. Motivated by recent experiments showing that transversely-curved LCE strips display a rich variety of configurations, this work derives a dimensionally-reduced 1-d model for pre-curved LCE strips. The 1-d model is validated against full 3-d finite element calculations, and it is also shown to capture experimental observations, including tape-spring-like localizations, in activated LCE strips.
Sonnenfleckenzeichnung Nr. 13.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 21.01.2011, 08:15, erstellt von Marco Cagnotti
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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)
Combined Site Forms (8BR00061-8BR00206) for Cape Canaveral
Creators: name: Deming, Joan
Year: 1999
Subjects: subject: Florida (State / Territory)
valueUri: https://core.tdar.org/browse/geographic-keyword/2273/florida-state-territory
subject: Cape Canaveral
valueUri: https://core.tdar.org/browse/geographic-keyword/23155/cape-canaveral
subject: Brevard (County)
valueUri: https://core.tdar.org/browse/geographic-keyword/14443/brevard-county
subject: St. Johns
valueUri: https://core.tdar.org/browse/culture-keyword/1053/st-johns
subject: 8BR00061
valueUri: https://core.tdar.org/browse/site-name/116452/8br00061
subject: 8BR00081
valueUri: https://core.tdar.org/browse/site-name/117044/8br00081
subject: 8BR00206
valueUri: https://core.tdar.org/browse/site-name/117046/8br00206
subject: 8BR00080
valueUri: https://core.tdar.org/browse/site-name/117045/8br00080
subject: Ceramic
valueUri: https://core.tdar.org/browse/material-type/1/ceramic
subject: Chipped Stone
valueUri: https://core.tdar.org/browse/material-type/2/chipped-stone
subject: Fauna
valueUri: https://core.tdar.org/browse/material-type/4/fauna
subject: Glass
valueUri: https://core.tdar.org/browse/material-type/6/glass
subject: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station
subject: Records Search / Inventory Checking
valueUri: https://core.tdar.org/browse/investigation-type/8/records-search-inventory-checking
subject: Site Evaluation / Testing
valueUri: https://core.tdar.org/browse/investigation-type/10/site-evaluation-testing
subject: Systematic Survey
valueUri: https://core.tdar.org/browse/investigation-type/12/systematic-survey

description: Site Forms for CCAFS sites (8BR00061, 8BR00080, 8BR00081, 8BR00206).
A Ptolemaic Partitioning Mechanism
Creators: name: Connor, Richard
Publisher: name: arXiv
Year: 2022
Subjects: subject: Data Structures and Algorithms (cs.DS)
subject: Information Retrieval (cs.IR)
subject: FOS: Computer and information sciences

description: For many years, exact metric search relied upon the property of triangle inequality to give a lower bound on uncalculated distances. Two exclusion mechanisms derive from this property, generally known as pivot exclusion and hyperplane exclusion. These mechanisms work in any proper metric space and are the basis of many metric indexing mechanisms. More recently, the Ptolemaic and four-point lower bound properties have been shown to give tighter bounds in some subclasses of metric space. Both triangle inequality and the four-point lower bound directly imply straightforward partitioning mechanisms: that is, a method of dividing a finite space according to a fixed partition, in order that one or more classes of the partition can be eliminated from a search at query time. However, up to now, no partitioning principle has been identified for the Ptolemaic inequality, which has been used only as a filtering mechanism. Here, a novel partitioning mechanism for the Ptolemaic lower bound is presented. It is always better than either pivot or hyperplane partitioning. While the exclusion condition itself is weaker than Hilbert (four-point) exclusion, its calculation is cheaper. Furthermore, it can be combined with Hilbert exclusion to give a new maximum for exclusion power with respect to the number of distances measured per query.
description: submitted to SISAP 2022
Kolmogorov complexity and strong approximation of Brownian motion
Creators: name: Kjos-Hanssen, Bjørn
name: Szabados, Tamás
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03D

description: Brownian motion and scaled and interpolated simple random walk can be jointly embedded in a probability space in such a way that almost surely the $n$-step walk is within a uniform distance $O(n^{-1/2}\log n)$ of the Brownian path for all but finitely many positive integers $n$. Almost surely this $n$-step walk will be incompressible in the sense of Kolmogorov complexity, and all {Martin-Löf random} paths of Brownian motion have such an incompressible close approximant. This strengthens a result of Asarin, who obtained the bound $O(n^{-1/6} \log n)$. The result cannot be improved to $o(n^{-1/2}{\sqrt{\log n}})$.
Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis
Creators: name: Cowles, John
name: Gamboa, Ruben
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: ACL2(r) is a variant of ACL2 that supports the irrational real and complex numbers. Its logical foundation is based on internal set theory (IST), an axiomatic formalization of non-standard analysis (NSA). Familiar ideas from analysis, such as continuity, differentiability, and integrability, are defined quite differently in NSA-some would argue the NSA definitions are more intuitive. In previous work, we have adopted the NSA definitions in ACL2(r), and simply taken as granted that these are equivalent to the traditional analysis notions, e.g., to the familiar epsilon-delta definitions. However, we argue in this paper that there are circumstances when the more traditional definitions are advantageous in the setting of ACL2(r), precisely because the traditional notions are classical, so they are unencumbered by IST limitations on inference rules such as induction or the use of pseudo-lambda terms in functional instantiation. To address this concern, we describe a formal proof in ACL2(r) of the equivalence of the traditional and non-standards definitions of these notions.
description: In Proceedings ACL2 2014, arXiv:1406.1238
Sonnenfleckenzeichnung Nr. 165.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 22.07.2011, 08:00, erstellt von Marco Cagnotti
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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. 60.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 25.03.2011, 09:15, erstellt von Renzo Ramelli
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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. 243.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 20.10.2011, 08:45, erstellt von Marco Cagnotti
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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): 2.
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)
Optical forces from evanescent Bessel beams, multiple reflections and Kerker conditions in magnetodielectric spheres and cylinders
Creators: name: Auñon, J. M.
name: Nieto-Vesperinas, M.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: In this work we address, first, the optical force on a magnetodielectric particle on a flat dielectric surface due to an evanescent Bessel beam and, second, the effects on the force of multiple scattering with the substrate. For the first question we find analytical solutions showing that due to the interference of the excited electric and magnetic particle dipoles, the vertical force unusually pushes the object out from the plane. The incident wavelength rules whether the illumination constitutes, or not, an optical trap. As for the second problem, we make a 2D study with a single evanescent plane wave, and we present the Kerker conditions, (so far established for spheres), for magnetodielectric cylinders; showing that in $p$-polarization those are practically reproduced and are associated to minima of the horizontal and vertical forces.
Sonnenfleckenzeichnung Nr. 17.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 25.01.2011, 09:30, erstellt von Marco Cagnotti
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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. 201.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 31.08.2011, 07:15, erstellt von Marco Cagnotti
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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)
Ultratunable quantum frequency conversion in photonic crystal fiber
Creators: name: Bonsma-Fisher, K. A. G.
name: Bustard, P. J.
name: Parry, C.
name: Wright, T. A.
name: England, D. G.
name: Sussman, B. J.
name: Mosley, P. J.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Quantum frequency conversion of single photons between wavelength bands is a key enabler to realizing widespread quantum networks. We demonstrate the quantum frequency conversion of a heralded 1551 nm photon to any wavelength within an ultrabroad (1226 - 1408 nm) range in a group-velocity-symmetric photonic crystal fiber (PCF), covering over 150 independent frequency bins. The target wavelength is controlled by tuning only a single pump laser wavelength. We find internal, and total, conversion efficiencies of 12(1)% and 1.4(2)%, respectively. For the case of converting 1551 nm to 1300 nm we measure a heralded $g^{(2)}(0) = 0.25(6)$ for converted light from an input with $g^{(2)}(0) = 0.034(8)$. We expect that this PCF can be used for a myriad of quantum networking tasks.
description: 5 pages, 4 figures
Sonnenfleckenzeichnung Nr. 57.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 22.03.2011, 10: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: 2011

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)
A Wavelet Based Algorithm for the Identification of Oscillatory Event-Related Potential Components
Creators: name: A, Arun Kumar
name: Philip, Ninan Sajeeth
name: Samar, Vincent J
name: Desjardins, James A
name: Segalowitz, Sidney J
Publisher: name: arXiv
Year: 2014
Subjects: subject: Other Computer Science (cs.OH)
subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Computer and information sciences
subject: FOS: Biological sciences

description: Event Related Potentials (ERPs) are very feeble alterations in the ongoing Electroencephalogram (EEG) and their detection is a challenging problem. Based on the unique time-based parameters derived from wavelet coefficients and the asymmetry property of wavelets a novel algorithm to separate ERP components in single-trial EEG data is described. Though illustrated as a specific application to N170 ERP detection, the algorithm is a generalized approach that can be easily adapted to isolate different kinds of ERP components. The algorithm detected the N170 ERP component with a high level of accuracy. We demonstrate that the asymmetry method is more accurate than the matching wavelet algorithm and t-CWT method by 48.67 and 8.03 percent respectively. This paper provides an off-line demonstration of the algorithm and considers issues related to the extension of the algorithm to real-time applications.
description: Journal of neuroscience methods 06/2014
Error estimates and extrapolation for the numerical solution of Mellin convolution equations
Creators: name: Rathsfeld, Andreas
Publisher: name: Weierstrass Institute
Year: 1994
Subjects: subject: Mellin convolution
subject: potential equation
subject: quadrature method
subject: extrapolation
subject: 45L10
subject: 65R20

description: In this paper we consider a quadrature method for the numerical solution of a second kind integral equation over the interval, where the integral operator is a compact perturbation of a Mellin convolution operator. This quadrature method relies upon singularity subtraction and transformation technique. Stability and convergence order of the approximate solution are well known. We shall derive the first term in the asymptotics of the error which shows that, in the interior of the interval, the approximate solution converges with higher order than over the whole interval. This implies higher orders of convergence for the numerical calculation of smooth functionals to the exact solution. Moreover, the asymptotics allows us to define a new approximate solution extrapolated from the dilated solutions of the quadrature method over meshes with different mesh sizes. This extrapolated solution is designed to improve the low convergence order caused by the non-smoothness of the exact solution even when the transformation technique corresponds to slightly graded meshes. Finally, we discuss the application to the double layer integral equation over the boundary of polygonal domains and report numerical results.
Sonnenfleckenzeichnung Nr. 69.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 04.04.2011, 08:00, erstellt von Marco Cagnotti
Creators: name: Observatorium Specola Solare Ticinese Locarno (1957 bis 1980 Teil der Eidgenössischen Sternwarte der ETH Zürich)
Publisher: name: [s.n.]
Year: 2011

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)
Dispensador automático de alimentos para peces en sistemas acuapónicos (Parcela de CECI)
Creators: name: ANDRES FELIPE, RODRIGUEZ CUENCA
Publisher: name: Zenodo
Year: 2023
Subjects: subject: Aquaponic
subject: Control systems
subject: Engineering and technology
subject: FOS: Engineering and technology
subject: Real-time control and monitoring systems
subject: IoT (Internet of Things) devices
subject: Hydroponic System
subject: Automatic Feeder

description: The problem in the Ceci plot’s aquaponic system was identified through direct visits and detailed analysis. Using scientific and experimental methods, guidelines were established for an automatic device tailored to the plot’s needs. Applying “design thinking” in stages—empathizing, planning, ideation, and design—allowed us to address these needs effectively. Prototypes, both sketches and real, guided the project direction. The final device, featuring an intuitive user interface and an ATmega microcontroller, communicates via Bluetooth to activate a servomotor, dosing fish food as scheduled by the user.
Sonnenfleckenzeichnung Nr. 147.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 29.06.2011, 09:45, 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: 2011

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)
On lower bounds of the moderate and cramer type large deviation probabilities in statistical inference
Creators: name: Ermakov, Mikhail S.
Publisher: name: Weierstrass Institute
Year: 1994
Subjects: subject: Moderate large deviations
subject: Cramer type large deviations
subject: asymptotic efficiency
subject: asymptotically minimax estimation
subject: asymptotically minimax hypothesis testing
subject: Bahadur efficiency
subject: Chernoff efficiency
subject: 62F05
subject: 62F12
subject: 62G20

description: We indicate new simple assignments of the lower bounds for the probabilities of the moderate and Cramer type large deviations of type I and type II errors of statistical tests. These assignments are based on a one natural property of the normal distribution. Using these results we deduce easily the lower bounds for the probabilities of the moderate and Cramer type large deviations of estimators. The lower bounds were obtained under the more weak assumptions then in the previous papers. The lower bound for the probabilities of the Cramer type large deviations of estimators has not been proved earlier. The results are also extended on the problems of asymptotically minimax statistical inference about a value of functional.
On the use of total state decompositions for the study of reduced dynamics
Creators: name: Smirne, Andrea
name: Megier, Nina
name: Vacchini, Bassano
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a time-dependent completely positive trace preserving (CPTP) map. Here, we take into account an approach that is based on a decomposition of any possibly correlated bipartite state as a conical combination involving statistical operators on the environment and general linear operators on the system, which allows one to fix the reduced-system evolution via a finite set of time-dependent CPTP maps. In particular, we show that such a decomposition always exists, also for infinite dimensional Hilbert spaces, and that the number of resulting CPTP maps is bounded by the Schmidt rank of the initial global state. We further investigate the case where the CPTP maps are semigroups with generators in the Gorini-Kossakowski-Lindblad-Sudarshan form; for two simple qubit models, we identify the positivity domain defined by the initial states that are mapped into proper states at any time of the evolution fixed by the CPTP semigroups.
description: 21 pages, 2 figures, submitted to a special issue of "Open Systems and Information Dynamics" devoted to the memory of Prof. Andrzej Kossakowski
Living with Cognitive Difficulties: Experiences of Individuals with Long COVID and Couples Navigating Their Relationship After Traumatic Brain Injury
Creators: name: Haque, Ammara
Publisher: name: Lancaster University
Year: 2024

description: The primary focus of the research is the experience of cognitive and
 emotional difficulties and how these are navigated both individually and
 as a couple. The literature review collated evidence in relation to how
 couples navigate romantic relationships after one partner experiences a
 traumatic brain injury (TBI). The empirical paper focusses on the
 experience of persistent cognitive difficulties

 in individuals following a COVID-19 infection.

 Section one details the systematic literature review. This summarised and
 synthesised qualitative research exploring how injured persons and their
 partners navigate their romantic relationships following a TBI, using
 thematic synthesis. Five databases were searched: AMED, CINAHL, MEDLINE,
 PsycINFO, and Web of Science. Thirteen papers met the inclusion criteria.
 Descriptive themes and then analytical themes were constructed from the
 data. Findings showed that the rupture of identity and meaning was a key
 theme amongst couples as well as difficulties with communication and
 connectedness. Despite these challenges, couples were able to find new
 meaning and experience shared growth.

 Section two details the empirical paper, exploring people’s experiences of
 persistent cognitive difficulties following an infection of COVID-19.
 Thirteen individuals aged 18-65 who were experiencing cognitive
 difficulties following an infection of COVID-19 were interviewed.
 Transcribed data was analysed using reflexive thematic analysis. Four
 themes were constructed: (1) Dealing with

 loss: stolen identity and a sense of injustice, (2) Internal turmoil:
 unpredictability and emotional distress (3) Isolation and misunderstanding
 vs empowerment by social connection, (4) Navigating healthcare: the good,
 the bad and the uncertain. These findings have implications for support
 offered by healthcare professionals to this population. Future research
 exploring the experience of

 specific groups and the impact of cognitive rehabilitation and
 psychological therapy would be beneficial.

 Section three appraises sections one and two critically, including further
 limitations, clinical implications, and some of the author’s reflections
 through the process.
MontiCore: a Framework for Compositional Development of Domain Specific Languages
Creators: name: Krahn, Holger
name: Rumpe, Bernhard
name: Völkel, Stefan
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Domain specific languages (DSLs) are increasingly used today. Coping with complex language definitions, evolving them in a structured way, and ensuring their error freeness are the main challenges of DSL design and implementation. The use of modular language definitions and composition operators are therefore inevitable in the independent development of language components. In this article, we discuss these arising issues by describing a framework for the compositional development of textual DSLs and their supporting tools. We use a redundance-free definition of a readable concrete syntax and a comprehensible abstract syntax as both representations significantly overlap in their structure. For enhancing the usability of the abstract syntax, we added concepts like associations and inheritance to a grammar- based definition in order to build up arbitrary graphs (as known from metamodeling). Two modularity concepts, grammar inheritance and embedding, are discussed. They permit compositional language definition and thus simplify the extension of languages based on already existing ones. We demonstrate that compositional engineering of new languages is a useful concept when project-individual DSLs with appropriate tool support are defined.
description: 20 pages, 6 figures
Sonnenfleckenzeichnung Nr. 75.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 10.04.2011, 09: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: 2011

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)
Quark-model relations among TMDs in the parton model
Creators: name: Aslan, F.
name: Bastami, S.
name: Mahabir, A.
name: Tandogan, A.
name: Schweitzer, P.
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The covariant parton model (CPM) is a consequent application of the parton model concept to the nucleon structure. In this model, there is a choice to put quarks either in a pure-spin state or in a mixed-spin state. We show that the mixed-spin version of the CPM does not support the quark-model relations among transverse momentum dependent parton distributions (TMDs) which were shown to hold in a large class of quark models. One can enforce the quark-model relations to be valid in the CPM by imposing a condition which is equivalent to putting the quarks in a pure-spin state. This gives a complementary perspective on the connection of the pure- and mixed-spin state CPM versions, and provides a fresh view on the question whether the quark-model relations could be realized in QCD as "approximate relations" with some useful numerical accuracy.
description: v1: 10 pages. v2: reformatted, 11 pages
Irreversible phase transitions in steel
Creators: name: Hömberg, Dietmar
Publisher: name: Weierstrass Institute
Year: 1994
Subjects: subject: mathematical model
subject: phase changes in carbon steel
subject: existence
subject: numerical simulations
subject: 35Q72
subject: 35R35
subject: 35K55
subject: 80A22

description: We present a mathematical model for the austenite-pearlite and austenite- martensite phase transitions in eutectoid carbon steel. The austenite-pearlite phase change is described by the Additivity Rule. For the austenite-martensite phase change we propose a new rate law, which takes into account its irreversibility. We investigate questions of existence and uniqueness for the three-dimensional model and finally present numerical calculations of a continous cooling transformation diagram for the eutectoid carbon steel C1080.
Coulombic efficiency and capacity retention are not universal descriptors of cell aging
Creators: name: Rodrigues, Marco-Tulio Fonseca
Publisher: name: arXiv
Year: 2022
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Capacity and coulombic efficiency are often used to assess the performance of Li-ion batteries, under the assumption that these quantities can provide direct insights about the rate of electron consumption due to growth of the solid electrolyte interphase (SEI). Here, we show that electrode properties can actually change the amount of information about aging that can be directly retrieved from capacity measurements. During cycling of full-cells, only portions of the voltage profiles of the cathode and anode are accessible, leaving a reservoir of cyclable Li+ stored at both electrodes. The size and availability of this reservoir depends on the shape of the voltage profiles, and accessing this extra Li+ can offset some of the capacity that is consumed by the SEI. Consequently, capacity and efficiency measurements can, at times, severely underestimate the rate of side reactions experienced by the cell. We show, for example, that a same rate of SEI growth would cause faster capacity fade in LiFePO4 than in NMC cells, and that the perceived effects of aging depend on testing variables such as depth of discharge. Simply measuring capacity may be insufficient to gauge the true extent of aging endured by Li-ion batteries.
Sonnenfleckenzeichnung Nr. 68.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 03.04.2011, 09:00, 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: 2011

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)
Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent
Creators: name: Gamboa, Ruben
name: Cowles, John
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Mathematical Software (cs.MS)
subject: FOS: Computer and information sciences

description: The verification of many algorithms for calculating transcendental functions is based on polynomial approximations to these functions, often Taylor series approximations. However, computing and verifying approximations to the arctangent function are very challenging problems, in large part because the Taylor series converges very slowly to arctangent-a 57th-degree polynomial is needed to get three decimal places for arctan(0.95). Medina proposed a series of polynomials that approximate arctangent with far faster convergence-a 7th-degree polynomial is all that is needed to get three decimal places for arctan(0.95). We present in this paper a proof in ACL2(r) of the correctness and convergence rate of this sequence of polynomials. The proof is particularly beautiful, in that it uses many results from real analysis. Some of these necessary results were proven in prior work, but some were proven as part of this effort.
description: In Proceedings ACL2 2014, arXiv:1406.1238