cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Sonnenfleckenzeichnung Nr. 111.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 17.05.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)
The Cold War and Beyond, Chronology of the United States Air Force, 1947-1997
Creators: name: Shaw, Frederick J.
name: Warnock, Timothy
Publisher: name: Air University Press
Year: 1997
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: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station

description: A special chronology of the United States Air Force, recording significant events from September 18th, 1947 to April 8th, 1997.
Sonnenfleckenzeichnung Nr. 103.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 09.05.2011, 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: 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)
Data Definitions in the ACL2 Sedan
Creators: name: Chamarthi, Harsh Raju
name: Dillinger, Peter C.
name: Manolios, Panagiotis
Publisher: name: arXiv
Year: 2014
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our primary motivation for developing the data definition framework was pedagogical. We were teaching undergraduate students how to reason about programs using ACL2s and wanted to provide them with an effective method for defining, testing, and reasoning about data types in the context of an untyped theorem prover. Our framework is now routinely used not only for pedagogical purposes, but also by advanced users. Our framework concisely supports common data definition patterns, e.g. list types, map types, and record types. It also provides support for polymorphic functions. A distinguishing feature of our approach is that we maintain both a predicative and an enumerative characterization of data definitions. In this paper we present our data definition framework via a sequence of examples. We give a complete characterization in terms of tau rules of the inclusion/exclusion relations a data definition induces, under suitable restrictions. The data definition framework is a key component of counterexample generation support in ACL2s, but can be independently used in ACL2, and is available as a community book.
description: In Proceedings ACL2 2014, arXiv:1406.1238
Sonnenfleckenzeichnung Nr. 252.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 02.11.2011, 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: 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)
Sonnenfleckenzeichnung Nr. 106.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 12.05.2011, 09: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)
L’istituzionalizzazione dell’AISNA Graduate Forum e le sue pratiche prefigurative
Creators: name: Costaguta, Lorenzo
name: Morello, Stefano
name: Pignagnoli, Virginia
Publisher: name: RSAJournal
Year: 2024

description: Settimo contributo al Forum Aisna at 50.
description: RSAJournal, Vol. 35 (2024): Books Erased: Printed Word Censorship and US National Identity
Simplified approach to the magnetic blue shift of Mott gaps
Creators: name: Hafez-Torbati, Mohsen
name: Anders, Frithjof B.
name: Uhrig, Götz S.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The antiferromagnetic ordering in Mott insulators upon lowering the temperature is accompanied by a transfer of the single-particle spectral weight to lower energies and a shift of the Mott gap to higher energies (magnetic blue shift, MBS). The MBS is governed by the double exchange and the exchange mechanisms. Both mechanisms enhance the MBS upon increasing the number of orbitals. By performing a polynomial fit to numerical dynamical mean-field theory data we provide an expansion for the MBS in terms of hopping and exchange coupling of a prototype Hubbard-Kondo-Heisenberg model and discuss how the results can be generalized for application to realistic Mott or charge-transfer insulator materials. This allows estimating the MBS of the charge gap in real materials in an extremely simple way avoiding extensive theoretical calculations. The approach is exemplarily applied to $α$-MnTe, NiO, and BiFeO$_3$ and an MBS of about $130$ meV, $360$ meV, and $157$ meV is found, respectively. The values are compared with the previous theoretical calculations and the available experimental data. Our ready-to-use formula for the MBS simplifies the future studies searching for materials with a strong coupling between the antiferromagnetic ordering and the charge excitations, which is paramount to realize a coupled spin-charge coherent dynamics at a femtosecond time scale.
description: 17 pages, 13 figures
Unprovability of First Maxwell's Equation in Light of EPR's Completeness Condition -- A Computational Approach from Logico-linguistic Perspective
Creators: name: Majhi, Abhishek
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: Maxwell's verbal statement of Coulomb's experimental verification of his hypothesis, concerning force between two electrified bodies, is suggestive of a modification of the respective computable expression on logical grounds. This modification is in tandem with the completeness condition for a physical theory, that was stated by Einstein, Podolsky and Rosen in their seminal work. Working with such a modification, I show that the first Maxwell's equation, symbolically identifiable as ``$\vec{\nabla}\cdot\vec{E}=ρ/ε_0$'' from the standard literature, is {\it unprovable}. This renders Poynting's theorem to be {\it unprovable} as well. Therefore, the explanation of `light' as `propagation of electromagnetic energy' comes into question on theoretical grounds.
description: 17 pages, 1 figure
Historic American Building Survey of Launch Complex 1 & 2 Northern terminus, Cape Canaveral Air Station, Cape Canaveral, Florida
Creators: name: Kimber Hinder
Year: 2003
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: Launch Complex 1
valueUri: https://core.tdar.org/browse/site-name/127986/launch-complex-1
subject: Launch Complex 2
valueUri: https://core.tdar.org/browse/site-name/127987/launch-complex-2
subject: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station
subject: Mercury
valueUri: https://core.tdar.org/browse/other-keyword/131/mercury
subject: Missile Research
valueUri: https://core.tdar.org/browse/other-keyword/164459/missile-research
subject: Aerostat Radar System
valueUri: https://core.tdar.org/browse/other-keyword/164457/aerostat-radar-system
subject: Parsons Aerojet Company
valueUri: https://core.tdar.org/browse/other-keyword/164458/parsons-aerojet-company
subject: Architectural Survey
valueUri: https://core.tdar.org/browse/investigation-type/2/architectural-survey
subject: Historic Background Research
valueUri: https://core.tdar.org/browse/investigation-type/18/historic-background-research

description: HAER documentation of the Launch Complexes 1 and 2 and Florida Master Site File forms for all structures located within the complex located on Cape Canaveral Air Force Station, Florida.
Sonnenfleckenzeichnung Nr. 247.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 28.10.2011, 08:45, 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)
Sonnenfleckenzeichnung Nr. 127.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 07.06.2011, 09: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): 1.
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)
Targeted search for the kinematic dipole of the gravitational-wave background
Creators: name: Chung, Adrian Ka-Wai
name: Jenkins, Alexander C.
name: Romano, Joseph D.
name: Sakellariadou, Mairi
Publisher: name: arXiv
Year: 2022
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: There is growing interest in using current and future gravitational-wave interferometers to search for anisotropies in the gravitational-wave background. One guaranteed anisotropic signal is the kinematic dipole induced by our peculiar motion with respect to the cosmic rest frame, as measured in other full-sky observables such as the cosmic microwave background. Our prior knowledge of the amplitude and direction of this dipole is not explicitly accounted for in existing searches by LIGO/Virgo/KAGRA, but could provide crucial information to help disentangle the sources which contribute to the gravitational-wave background. Here we develop a targeted search pipeline which uses this prior knowledge to enable unbiased and minimum-variance inference of the dipole magnitude. Our search generalises existing methods to allow for a time-dependent signal model, which captures the annual modulation of the dipole due to the Earth's orbit. We validate our pipeline on mock data, demonstrating that neglecting this time dependence can bias the inferred dipole by as much as $\sim10\%$. We then run our analysis on the full LIGO/Virgo O1+O2+O3 dataset, obtaining upper limits on the dipole amplitude that are consistent with existing anisotropic search results.
description: 12 pages, 3 figures, matches version published in PRD
Sonnenfleckenzeichnung Nr. 261.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 18.11.2011, 08: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)
A Concise History of the United States Air Force
Creators: name: McFarland, Stephen L.
Year: 1997
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: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station

description: This document provides a short history of military air power in the United States from the Civil War to the Gulf War.
The effectiveness of using Google Maps Location History data to detect joint activities in social networks
Creators: name: Parady, Giancarlos
name: Suzuki, Keita
name: Oyama, Yuki
name: Chikaraishi, Makoto
Publisher: name: arXiv
Year: 2022
Subjects: subject: Applications (stat.AP)
subject: FOS: Computer and information sciences

description: This study evaluates the effectiveness of using Google Maps Location History data to identify joint activities in social networks. To do so, an experiment was conducted where participants were asked to execute daily schedules designed to simulate daily travel incorporating joint activities. For Android devices, detection rates for 4-person group activities ranged from 22% under the strictest spatiotemporal accuracy criteria to 60% under less strict yet still operational criteria. The performance of iPhones was markedly worse than Android devices, irrespective of accuracy criteria. In addition, logit models were estimated to evaluate factors affecting activity detection given different spatiotemporal accuracy thresholds. In terms of effect magnitudes, non-trivial effects on joint activity detection probability were found for floor area ratio (FAR) at location, activity duration, Android device ratio, device model ratio, whether the destination was an open space or not, and group size. Although current activity detection rates are not ideal, these levels must be weighed against the potential of observing travel behavior over long periods of time, and that Google Maps Location History data could potentially be used in conjunction with other data-gathering methodologies to compensate for some of its limitations.
description: 26 pages, 8 tables, 7 figures
Sonnenfleckenzeichnung Nr. 27.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 07.02.2011, 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: 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)
Modelling asymmetric volatility dynamics by multivariate bl-garch models
Creators: name: Storti, Giuseppe
Publisher: name: Universita' degli Studi di Salerno
Year: 2006
Subjects: Multivariate GARCH
Asymmetry
Conditional correlation
EM algorithm
Robust conditional moment tests
Futures hedging

description: The class of Multivariate BiLinear GARCH (MBL-GARCH) models is proposed and its statistical properties are investigated. The model can be regarded as a generalization to a multivariate setting of the univariate BLGARCH model proposed by Storti and Vitale (2003a; 2003b). It is shown how MBL-GARCH models allow to account for asymmetric effects in both conditional variances and correlations. An EM algorithm for the maximum likelihood estimation of the model parameters is provided. Furthermore, in order to test for the appropriateness of the conditional variance and covariance specifications, a set of robust conditional moments test statistics are defined. Finally, the effectiveness of MBL-GARCH models in a risk management setting is assessed by means of an application to the estimation of the optimal hedge ratio in futures hedging.
Cape Canaveral Air Force Station, Engineering & Operations Building (8BR02975) HABS Level III Documentation Package (FL-8-B), Cape Canaveral, Brevard County, Florida
Creators: name: Slovinac, Patricia
Publisher: name: Archaeological Consultants, Inc.
Year: 2014
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: 8BR02975
valueUri: https://core.tdar.org/browse/site-name/116405/8br02975
subject: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station
subject: Architectural Documentation
valueUri: https://core.tdar.org/browse/investigation-type/16/architectural-documentation
subject: Historic Background Research
valueUri: https://core.tdar.org/browse/investigation-type/18/historic-background-research
subject: Records Search / Inventory Checking
valueUri: https://core.tdar.org/browse/investigation-type/8/records-search-inventory-checking

description: HAER documentation of the Engineering & Operations Building (8BR02975) located on Cape Canaveral Air Force Station, Florida. This record contains written, graphic, and photographic material as required for mitigation when a significant historic resource is altered or demolished.This record series contains written, graphic, and photographic material as required for mitigation when a significant historic resource is altered or demolished.
Automatic Security Assessment of GitHub Actions Workflows
Creators: name: Benedetti, Giacomo
name: Verderame, Luca
name: Merlo, Alessio
Publisher: name: arXiv
Year: 2022
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: The demand for quick and reliable DevOps operations pushed distributors of repository platforms to implement workflows. Workflows allow automating code management operations directly on the repository hosting the software. However, this feature also introduces security issues that directly affect the repository, its content, and all the software supply chains in which the hosted code is involved in. Hence, an attack exploiting vulnerable workflows can affect disruptively large software ecosystems. To empirically assess the importance of this problem, in this paper, we focus on the de-facto main distributor (i.e., GitHub), and we developed a security assessment methodology for GitHub Actions workflows, which are widely adopted in software supply chains. We implemented the methodology in a tool (GHAST) and applied it on 50 open-source projects. The experimental results are worrisome as they allowed identifying a total of 24,905 security issues (all reported to the corresponding stakeholders), thereby indicating that the problem is open and demands further research and investigation.
From Theater Missile Defense to Antimissile Offensive Actions, a Near-Term Strategic Approach for the USAF
Creators: name: Merrick E. Krause
Publisher: name: Air University Press
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: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station

description: This study examines the question: What strategic approach should the United States Air Force (USAF) take toward theater missile defense (TMD) and antimissile offensive actions in the near term? Overall, the study recommends a philosophical shift to one in which USAF near-term attack operations (AO) and battle management command, control, communications, computers, and intelligence integration are considered as part of an air and space power antimissile offensive counterair effort, not simply an adjunct to a ground-force driven TMD paradigm.
Sonnenfleckenzeichnung Nr. 280.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 10.12.2011, 10: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: 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)
Sonnenfleckenzeichnung Nr. 37.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 22.02.2011, 10: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: 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)
Polymorphic Types in ACL2
Creators: name: Selfridge, Benjamin
name: Smith, Eric
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: This paper describes a tool suite for the ACL2 programming language which incorporates certain ideas from the Hindley-Milner paradigm of functional programming (as exemplified in popular languages like ML and Haskell), including a "typed" style of programming with the ability to define polymorphic types. These ideas are introduced via macros into the language of ACL2, taking advantage of ACL2's guard-checking mechanism to perform type checking on both function definitions and theorems. Finally, we discuss how these macros were used to implement features of Specware, a software specification and implementation system.
description: In Proceedings ACL2 2014, arXiv:1406.1238
Predictive Maintenance Model Based on Anomaly Detection in Induction Motors: A Machine Learning Approach Using Real-Time IoT Data
Creators: name: Chevtchenko, Sergio F.
name: Santos, Monalisa C. M. dos
name: Vieira, Diego M.
name: Mota, Ricardo L.
name: Rocha, Elisson
name: Cruz, Bruna V.
name: Araújo, Danilo
name: Andrade, Ermeson
Publisher: name: arXiv
Year: 2023
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: With the support of Internet of Things (IoT) devices, it is possible to acquire data from degradation phenomena and design data-driven models to perform anomaly detection in industrial equipment. This approach not only identifies potential anomalies but can also serve as a first step toward building predictive maintenance policies. In this work, we demonstrate a novel anomaly detection system on induction motors used in pumps, compressors, fans, and other industrial machines. This work evaluates a combination of pre-processing techniques and machine learning (ML) models with a low computational cost. We use a combination of pre-processing techniques such as Fast Fourier Transform (FFT), Wavelet Transform (WT), and binning, which are well-known approaches for extracting features from raw data. We also aim to guarantee an optimal balance between multiple conflicting parameters, such as anomaly detection rate, false positive rate, and inference speed of the solution. To this end, multiobjective optimization and analysis are performed on the evaluated models. Pareto-optimal solutions are presented to select which models have the best results regarding classification metrics and computational effort. Differently from most works in this field that use publicly available datasets to validate their models, we propose an end-to-end solution combining low-cost and readily available IoT sensors. The approach is validated by acquiring a custom dataset from induction motors. Also, we fuse vibration, temperature, and noise data from these sensors as the input to the proposed ML model. Therefore, we aim to propose a methodology general enough to be applied in different industrial contexts in the future.
Latency-associated expression of human cytomegalovirus US28 attenuates cell attenuates cell signalling pathways to maintain latent infection
Creators: name: Sinclair, John
name: Krishna, B
name: Poole, Emma
name: Jackson, Sarah
name: Smit, M
name: Wills, Mark
Publisher: name: Apollo - University of Cambridge Repository
Year: 2017
Subjects: cytomegalovirus
immunotherapy
latent infection
virology

description: Reactivation of human cytomegalovirus (HCMV) latent infection from early myeloid lineage cells constitutes a threat to immunocompromised or immune-suppressed individuals. Consequently, understanding the control of latency and reactivation to allow targeting and killing of latently infected cells could have far-reaching clinical benefits. US28 is one of the few viral genes that is expressed during latency and encodes a cell surface G protein-coupled receptor (GPCR), which, during lytic infection, is a constitutive cell-signaling activator. Here we now show that in monocytes, which are recognized sites of HCMV latency in vivo, US28 attenuates multiple cell signaling pathways, including mitogen-activated protein (MAP) kinase and NF-κB, and that this is required to establish a latent infection; viruses deleted for US28 initiate a lytic infection in infected monocytes. We also show that these monocytes then become potent targets for the HCMV-specific host immune response and that latently infected cells treated with an inverse agonist of US28 also reactivate lytic infection and similarly become immune targets. Consequently, we suggest that the use of inhibitors of US28 could be a novel immunotherapeutic strategy to reactivate the latent viral reservoir, allowing it to be targeted by preexisting HCMV-specific T cells.
description: This work was funded by the British Medical Research Programme (grant G0701279; J.H.S.), a Wellcome Research Studentship Grant (B.A.K.), and the Cambridge NIHR BRC Cell Phenotyping Hub.
Sonnenfleckenzeichnung Nr. 256.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 13.11.2011, 11: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): 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. 181.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 10.08.2011, 07: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)
Sonnenfleckenzeichnung Nr. 19.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 27.01.2011, 10: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: 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)
A Genealogy of Genius in Gertrude Stein's “Four in America”
Creators: name: Balestrino, Alice
Publisher: name: RSAJournal
Year: 2024

description: This article investigates the contentious nature of Gertrude Stein's Four in America (1947) as an epitome of the fundamental tension at the core of her biography and oeuvre: caught between resistance to the totalizing power of Fascist politics which threatened her as a gendered and racialized subject living in Nazi occupied France and her conservative sympathies, Stein flipped her delicate position into an instrumental one, controversially navigating a grey zone of power and vulnerability and, ultimately, supporting the Vichy regime of Marshal Philippe Pétain. I contend that in Four in America Stein appropriates and counters patriarchal history by writing the counter-biographies of four American high-profile figures – a creative act which places a Jewish, female, and lesbian author in charge of the nation’s master narrative – but she critiques and reconfigures the canon only to reestablish it through the same male characters; in this sense, she traces a new genealogy of American society while also reproducing the status quo. This condition of powerful vulnerability grants the author the intellectual independence of a genius.
description: RSAJournal, Vol. 35 (2024): Books Erased: Printed Word Censorship and US National Identity
Investigation of Partition Cells as a Structural Basis Suitable for Assessments of Individual Scientists
Creators: name: Rons, Nadine
Publisher: name: arXiv
Year: 2014
Subjects: subject: Digital Libraries (cs.DL)
subject: FOS: Computer and information sciences

description: Individual, excellent scientists have become increasingly important in the research funding landscape. Accurate bibliometric measures of an individual's performance could help identify excellent scientists, but still present a challenge. One crucial aspect in this respect is an adequate delineation of the sets of publications that determine the reference values to which a scientist's publication record and its citation impact should be compared. The structure of partition cells formed by intersecting fixed subject categories in a database has been proposed to approximate a scientist's specialty more closely than can be done with the broader subject categories. This paper investigates this cell structure's suitability as an underlying basis for methodologies to assess individual scientists, from two perspectives: (1) Proximity to the actual structure of publication records of individual scientists: The distribution and concentration of publications over the highly fragmented structure of partition cells are examined for a sample of ERC grantees; (2) Proximity to customary levels of accuracy: Differences in commonly used reference values (mean expected number of citations per publication, and threshold number of citations for highly cited publications) between adjacent partition cells are compared to differences in two other dimensions: successive publication years and successive citation window lengths. Findings from both perspectives are in support of partition cells rather than the larger subject categories as a journal based structure on which to construct and apply methodologies for the assessment of highly specialized publication records such as those of individual scientists.
description: 9 pages, 3 figures
Aerial Photo of Weather Rocket Launch Area
Creators: name: Fernandez, Rachel
Year: 1969
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: Cape Canaveral Air Force Station
valueUri: https://core.tdar.org/browse/other-keyword/96049/cape-canaveral-air-force-station
subject: Weather Rocket
valueUri: https://core.tdar.org/browse/other-keyword/164645/weather-rocket
subject: Remote Sensing
valueUri: https://core.tdar.org/browse/investigation-type/22/remote-sensing

description: Aerial photos of the weather rocket launch.
Sonnenfleckenzeichnung Nr. 94.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 30.04.2011, 09: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): 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)
O'ZBEKISTONDA ISLOM MOLIYASINI JORIY ETISH ZARURIYATI HAMDA UNI RIVOJLANTIRISH YO'LLARI.
Creators: name: Kaxarova, Zuxra
Publisher: name: Zenodo
Year: 2025

description: Tezisda O'zbekistonda Islom moliyasini joriy etish zaruriyati, iqtisodiyotni diversifikatsiya qilish, xalqaro moliya bozorlarida mustahkam raqobatbardoshlikni oshirish va jamiyatda adolatli iqtisodiy aloqalarni o'rnatish kabi masalalar ochib berilgan. Islom moliyasining rivojlantirilishi, yurtimizdagi moliyaviy tizimning yanada zamonaviylashishiga, shuningdek, xalqaro sarmoyalarni jalb qilishga yordam berishi mumkin.
La trasformazione dell’Ufficio europeo di sostegno per l’asilo in un’Agenzia per l’asilo: una lettura in prospettiva della proposta di riforma nel contesto del Nuovo Patto europeo su migrazione e asilo
Creators: name: Cometti, Marcella
Publisher: name: Universita' degli Studi di Salerno
Year: 2021
Subjects: New European Pact on Migration and Asylum
European Asylum Support Office
European Union Agency for Asylum
Principle of solidarity
Accountability

description: As part of the New European Pact on Migration and Asylum, Agencies clearly feature as the EU operational arms in aspects concerning both the internal dimension and the so-called ‘external dimension’ of the migratory phenomenon. The article aims to illustrate the main critical aspects relating to the EASO’s reform proposal as reformulated by the Commission in the context of the New Pact. According to this pending proposal, the Agency replacing EASO – the European Union Agency for Asylum (EUAA) – would play a decisive role, particularly with regard to its remit for the implementation of the new measures and for a more systematic monitoring of the norms regulating the European common asylum system. The paper will focus on specific issues that the setup of the EUAA institution raises – namely, the principles of subsidiarity and solidarity, the (supposed) erosion of the principle of conferral, and profiles of responsibility, control, and safeguarding of the actions of EUAA’s officials.
A Review on Reducing Complexity of Binary Search Algorithm (Extended Abstract)
Creators: name: Rashedul Arefin Ifty
name: Irfan, Afif Hossain
name: MD Ismail
Publisher: name: Zenodo
Year: 2022

description: Extender abstract about reducing complexity of binary search algorithm. Successfully presented at IEEE CS BDC Summer Symposium 2022 held on 10-11 June 2022.
 Recognition: https://drive.google.com/file/d/1peWDwyhfEDapJdX6G0joTWjwBvwPILIH/view
The Ghost Dollhouse of Dixie
Creators: name: Petrelli, Marco
Publisher: name: RSAJournal
Year: 2024

description: This essay focuses on Gillian Flynn’s Sharp Objects (2006) and its 2018 TV adaptation created by Marti Noxon and directed by Jean-Marc Vallée. These works cover the dark parable of Camille Preaker, a Southern émigré who is forced to go back south to face the demons of her story—and of the vaster Southern history. The homecoming turns out to be characterized by a disturbing overlap of time gone and time present—or better, of a past corroding the present—which the series present in a more distinctively Southern gothic style when compared to the novel. Coherent relations between time and space are disjointed by Camille’s past traumas and memories, resulting in a painful existential dislocation and a dialectics of constraint that questions and dismantles the traditional white Southern sense of place, bringing to light the complex conflict between a Southern and a postsouthern reality that results in a renewed ensnarement. To map Camille’s hallucinating and painfully concrete descent into the South, the essay analyzes the interconnected roles of time, space, and how they reflect and are reflected by Southern society as portrayed in the novel and series, showing how they project a dead—and deathly—chronotope that encompasses the protagonist’s story, the region’s history, and its faux-historical resurgences.
description: RSAJournal, Vol. 35 (2024): Books Erased: Printed Word Censorship and US National Identity
Collapse Models: a theoretical, experimental and philosophical review
Creators: name: Bassi, Angelo
name: Dorato, Mauro
name: Ulbricht, Hendrik
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: n this paper, we review and connect the three essential conditions needed by the collapse model to achieve a complete and exact formulation, namely the theoretical, the experimental, and the ontological ones. These features correspond to the three parts of the paper. In any empirical science, the first two features are obviously connected but, as is well known, among the different formulations and interpretations of non-relativistic quantum mechanics, only collapse models, as the paper well illustrates with a richness of details, have experimental consequences. Finally, we show that a clarification of the ontological intimations of collapse models is needed for at least three reasons: (1) to respond to the indispensable task of answering the question `what are collapse models (and in general any physical theory) about?'; (2) to achieve a deeper understanding of their different formulations; (3) to enlarge the panorama of possible readings of a theory, which historically has often played a fundamental heuristic role.
description: 21 pages, LaTeX
Fate of the first-order chiral phase transition in QCD: Implications for dark QCD studied via a Nambu-Jona-Lasinio model
Creators: name: Wang, Yuanyuan
name: Kawaguchi, Mamiya
name: Matsuzaki, Shinya
name: Tomiya, Akio
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The first-order nature of the chiral phase transition in QCD-like theories can play crucial roles to address a dark side of the Universe, where the created out-of equilibrium is essential to serve as cosmological and astrophysical probes such as gravitational wave productions, which have extensively been explored. This interdisciplinary physics is built based on a widely-accepted conjecture that the thermal chiral phase transition in QCD-like theories with massless (light) three flavors is of first order. We find that such a first order feature may not hold, when ordinary or dark quarks are externally coupled to a weak enough background field of photon or dark photon (which we collectively call a ``magnetic" field). We assume that a weak ``magnetic" background field could be originated from some ``magnetogenesis" in the early Universe. We work on a Nambu-Jona-Lasinio model which can describe the chiral phase transition in a wide class of QCD-like theories. We show that in the case with massless (light) three flavors, the first-order feature goes away when $2 f_π^2 \lesssim eB ( \ll (4 πf_π)^2)$, where $eB$ is the ``magnetic" field strength and $f_π$ the pion decay constant at the vacuum. This disappearance is the generic consequence of the presence of the ``magnetically" induced scale anomaly and the ``magnetic" catalysis for the chiral symmetry breaking, and would impact or constrain modeling dark QCD coupled to an external ``magnetic" field.
description: 23 pages, 6 figures; references added; version published in Phys.Rev.D
Sonnenfleckenzeichnung Nr. 90.
Zeichnung von Flecken und Fackelflächen zur Ermittlung der Sonnenaktivität am 26.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): 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)