cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Commercialization of micro-fabrication of antenna-coupled Transition Edge Sensor bolometer detectors for studies of the Cosmic Microwave Background
Creators: name: Suzuki, Aritoki
name: Bebek, Chris
name: Garcia-Sciveres, Maurice
name: Holland, Stephen
name: Kusaka, Akito
name: Lee, Adrian T.
name: Palaio, Nicholas
name: Roe, Natalie
name: Steinmetz, Leo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: We report on the development of commercially fabricated multi-chroic antenna coupled Transition Edge Sensor (TES) bolometer arrays for Cosmic Microwave Background (CMB) polarimetry experiments. CMB polarimetry experiments have deployed instruments in stages. Stage-II experiments deployed with O(1,000) detectors and reported successful detection of B-mode (divergent free) polarization pattern in the CMB. Stage-III experiments have recently started observing with O(10,000) detectors with wider frequency coverage. A concept for a Stage-IV experiment, CMB-S4, is emerging to make a definitive measurement of CMB polarization from the ground with O(400,000) detectors. The orders of magnitude increase in detector count for CMB-S4 requires a new approach in detector fabrication to increase fabrication throughput.and reduce cost. We report on collaborative efforts with two commercial micro-fabrication foundries to fabricate antenna coupled TES bolometer detectors. The detector design is based on the sinuous antenna coupled dichroic detector from the POLARBEAR-2 experiment. The TES bolometers showed the expected I-V response and the RF performance agrees with simulation. We will discuss the motivation, design consideration, fabrication processes, test results, and how industrial detector fabrication could be a path to fabricate hundreds of detector wafers for future CMB polarimetry experiments.
description: 5 pages 2 figures Journal of Low Temperature Physics - Special Edition - LTD17 Proceedings
title: Διερεύνηση της συνεισφοράς των νέων δορυφορικών αποστολών παρακολούθησης του γήινου πεδίου βαρύτητας στην υψομετρία
title: Investigation of the contribution of the new satellite missions of the εarth's gravitational field to altitude
titleType: AlternativeTitle
Creators: name: Tουρτόγλου, Κωνσταντίνος
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2021
Subjects: Δορυφορικές αποστολές
Πεδίο βαρύτητας
Γήινο πεδίο βαρύτητας

description: Την τελευταία δεκαετία, έντονο υπήρξε το ενδιαφέρον την παγκόσμιας γεωδαιτικής κοινότητας σχετικά με τη μελέτη και διαχρονική παρακολούθηση του γήινου πεδίου βαρύτητας και την επίδρασή του στη μελέτη του φυσικού συστήματος της Γης. Για πρώτη φορά το γήινο πεδίο παρατηρείται με τόσο υψηλή ακρίβεια και διακριτική ικανότητα, ιδιαίτερα στις χαμηλές και μέσες συχνότητες του φάσματός του. Στην εργασία αυτή παρουσιάζονται οι σύγχρονες εξελίξεις στην υψομετρία και η συνεισφορά των νέων δορυφορικών αποστολών του γήινου πεδίου βαρύτητας στις υψομετρικές μεθόδους προσδιορισμού. Ο έλεγχος της ακρίβειας και της αξιοπιστίας των νέων δορυφορικών δεδομένων βασίζεται στη χρήση κατάλληλων παραμετρικών μοντέλων και στη στατιστική τους αξιολόγηση. Ιδιαίτερη αναφορά πραγματοποιείται στη βελτίωση των παγκόσμιων μοντέλων γεωειδούς, τόσο στις χαμηλές, όσο και στις μέσες συχνότητες του φάσματός του.
Mars Express/ASPERA-3/NPI and IMAGE/LENA observations of energetic neutral atoms in Earth and Mars orbit
Creators: name: Holmstrom, M.
name: Collier, M. R.
name: Barabash, S.
name: Brinkfeldt, K.
name: Moore, T. E.
name: Simpson, D.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The low energy neutral atom imagers on Mars Express and IMAGE have revealed that the neutral atom populations in interplanetary space come from a variety of sources and challenge our current understanding of heliospheric physics. For example, both in cruise phase and at Mars, the neutral particle instrument NPD on Mars Express observed "unexplained neutral beams" unrelated to Mars which appear to be either of heliospheric or solar wind origin. Likewise, the NPI instrument on Mars Express has revealed streams of neutral atoms with different properties than those observed by NPD. Independently, IMAGE/LENA has reported neutral atom observations that may be interpreted as a "secondary stream" having different characteristics and flowing from a higher ecliptic longitude than the nominal upstream direction. Both sets of observations do not appear to fit in easily with the neutral atom environment from 1.0-1.57 AU as it is currently understood. In this paper we examine some highly suggestive similarities in the IMAGE/LENA and Mars Express/ASPERA-3/NPI data to try to determine potential origins for the observed signal.
description: in press Adv. Sp. Res., 15 pages, 9 figures
Dynamics of Tunneling Ionization using Bohmian Mechanics
Creators: name: Douguet, Nicolas
name: Bartschat, Klaus
Publisher: name: arXiv
Year: 2017
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Recent attoclock experiments and theoretical studies regarding the strong-field ionization of atoms by few-cycle infrared pulses revealed new features that have attracted much attention. Here we investigate tunneling ionization and the dynamics of the electron probability using Bohmian Mechanics. We consider a one-dimensional problem to illustrate the underlying mechanisms of the ionization process. It is revealed that in the major part of the below-the-barrier ionization regime, in an intense and short infrared pulse, the electron does not tunnel \through" the entire barrier, but rather already starts from the classically forbidden region. Moreover, we highlight the correspondence between the probability of locating the electron at a particular initial position and its asymptotic momentum. Bohmian Mechanics also provides a natural definition of mean tunneling time and exit position, taking account of the time dependence of the barrier. Finally, we find that the electron can exit the barrier with significant kinetic energy, thereby corroborating the results of a recent study [Camus et al., Phys. Rev. Lett. 119 (2017) 023201].
Structure and Performance of a Dependency Language Model
Creators: name: Rosenfeld, Roni
name: Chelba, Ciprian
Publisher: name: Carnegie Mellon University
Year: 1993
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We present a maximum entropy language model that incorporates both syntax and semantics via a dependency grammar. Such a grammar expresses the relations between words by a directed graph. Because the edges of this graph may connect words that are arbitrarily far apart in a sentence, this technique can incorporate the predictive power of words that lie outside of bigram or trigram range. We have built several simple dependency models, as we call them, and tested them in a speech recognition experiment. We report experimental results for these models here, including one that has a small but statistically significant advantage (p ! :02) over a bigram language model.
Leptons in Composite MFV
Creators: name: Redi, Michele
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the lepton sector of composite Higgs models with partial compositeness. The standard anarchic scenario is in conflict with the absence of observable charged lepton flavor violation. This tension can be completely solved in MFV scenarios that require either left-handed or right-handed SM leptons to be equally composite. Constraints on this scenario are weak and the composite lepton partners could be as light as few hundreds GeVs with interesting LHC signatures. The contribution to the muon (g-2) in theories where the Higgs is a pseudo Nambu-Goldstone boson is also discussed.
description: 16 pages; v2 Refs. added, version published on JHEP; v3 appendix on muon g-2 superseded by 1407.2471
Investigation of complete and incomplete fusion in $^{7}$Li+$^{124}$Sn reaction around Coulomb barrier energies
Creators: name: Parkar, V. V.
name: Sharma, Sushil K.
name: Palit, R.
name: Upadhyaya, S.
name: Shrivastava, A.
name: Pandit, S. K.
name: Mahata, K.
name: Jha, V.
name: Santra, S.
name: Ramachandran, K.
name: Nag, T. N.
name: Rath, P. K.
name: Kanagalekar, Bhushan
name: Trivedi, T.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The complete and incomplete fusion cross sections for $^{7}$Li+$^{124}$Sn reaction were measured using online and offline characteristic $γ$-ray detection techniques. The complete fusion (CF) cross sections at energies above the Coulomb barrier were found to be suppressed by $\sim$ 26 \% compared to the coupled channel calculations. This suppression observed in complete fusion cross sections is found to be commensurate with the measured total incomplete fusion (ICF) cross sections. There is a distinct feature observed in the ICF cross sections, i.e., $\textit{t}$-capture is found to be dominant than $α$-capture at all the measured energies. A simultaneous explanation of complete, incomplete and total fusion (TF) data was also obtained from the calculations based on Continuum Discretized Coupled Channel method with short range imaginary potentials. The cross section ratios of CF/TF and ICF/TF obtained from the data as well as the calculations showed the dominance of ICF at below barrier energies and CF at above barrier energies.
description: 9 pages, 8 figures
title: HCO+ imaging of comet Hale-Bopp (C/1995 O1)
Creators: name: Lovell, AJ
name: Schloerb, FP
name: Dickens, JE
name: DeVries, CH
name: Senay, MC
name: Irvine, William M.
Publisher: name: University of Massachusetts Amherst
Year: 1998
Subjects: subject: comets
subject: individual (Hale-Bopp 1995 0l)
subject: molecular processes
subject: plasmas
subject: radio lines
subject: solar system
subject: Astrophysics and Astronomy

description: The published version is located at http://iopscience.iop.org/1538-4357/497/2/L117
description: The HCO+ J=1-0 rotational transition at 89.189 GHz has been mapped in comet Hale-Bopp (C/1995 O1) over a total of 38 individual days spanning the period 1997 March 10-June 20 with the Five College Radio Astronomy Observatory 14 m antenna. HCO+ is detectable over an extended region of the comet, with the peak emission commonly located 50,000-100,000 km in the antisolar direction. Maps made throughout the apparition show significant variability in the structure of the HCO+ coma, sometimes on timescales of several hours. The HCO+ brightness is usually depressed at the nucleus position, and on some occasions, the emission is spread into a ring around the position of the nucleus. Individual spectra within the maps display broad (approximately 4 km s−1) lines redshifted by 1-2 km s−1 or more from the nominal velocity of the nucleus, with the redshift typically increasing in the antisolar direction. The spectra and maps may be generally explained by models in which the ions are accelerated tailward at a rate on the order of 10 cm s−2, provided that HCO+ is destroyed within 50,000-100,000 km of the nucleus.
Punta de Muros y su excepcionalidad en el contexto del Hierro I en el Noroeste peninsular
Creators: name: Nión-Álvarez, Samuel
Publisher: name: Zenodo
Year: 2018
Subjects: Castros costeros, Edad del Hierro, Cultura castreña, Noroeste peninsular, Punta de Muros

description: La excavación en 2005 del castro de Punta de Muros (Arteixo, A Coruña), también conocido como Castro do Cociñadoiro, supuso un gran impacto a todos los niveles de la arqueología gallega, no solo por las circunstancias que trajo consigo la intervención, sino por los resultados ofrecidos por la misma. Este asentamiento, situado en pleno litoral atlántico, presentaba unas características inusuales para un castro del Hierro I del Noroeste, como pueden ser la organización de su entramado urbanístico, las características de algunas estructuras o su intensa producción metalúrgica. Ante un asentamiento aparentemente novedoso en su contexto, resulta necesario plantearse ciertas cuestiones: ¿hasta qué punto podemos considerarlo un asentamiento excepcional? ¿Sus particularidades se limitan a meras diferenciaciones tipológicas y materiales, o podemos rastrear distintas intencionalidades sociales respecto a otros asentamientos? ¿De qué forma se integra en los procesos históricos sincrónicos de su entorno? Este tipo de interrogantes resultan esenciales para poder valorar la excepcionalidad de este asentamiento dentro de su contexto histórico y arqueológico. Con estos planteamientos, nuestra intención es componer un análisis individualizado del castro costero de Punta de Muros, y elaborar un estudio comparativo de diversas características (entre otros: estructuración urbanística, arquitectura doméstica, obtención y procesa-miento de materias primas) en confrontación con el resto de asentamientos conocidos del Hierro I en el Noroeste peninsular. Nuestro objetivo será ponderar las posibles diferencias entre los distintos poblados para valorar la excepcionalidad del castro de Cociñadoiro y considerar si presenta diferencias tangibles respecto al resto de comunidades coetáneas, con la intención de sentar las bases de estudios posteriores que diluciden la organización social y las estrategias de las comunidades prehistóricas que ocuparon Punta de Muros.
Measurements of K+/-, Ks, Lambda and Lambda-bar and Bose-Einstein Correlations between Kaons at ZEUS
Creators: name: Levchenko, B. B.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Measurements of production of the neutral and charged strange hadrons in ep collisions with the ZEUS detector are presented. The data on differential cross sections, baryon-to-meson ratios, baryon-antibaryon asymmetry and Bose-Einstein correlations in deep inelastic scattering and photoproduction are summarized.
description: The talk presented at XV Workshop on Deep-Inelastic Scattering and Related Subjects (DIS07), Munich, Germany, April 16-20, 2007 and 7-th Workshop on Very High Multiplicity Physics (VHMP), Dubna, Russia, September 17-19, 2007. 8 pages, 4 figures
Scaling Properties of Rainfall-Induced Landslides Predicted by a Physically Based Model
Creators: name: Alvioli, M.
name: Guzzetti, F.
name: Rossi, M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Geophysics (physics.geo-ph)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences

description: Natural landslides exhibit scaling properties revealed by power law relationships. These relationships include the frequency of the size (e.g., area, volume) of the landslides, and the rainfall conditions responsible for slope failures in a region. Reasons for the scaling behavior of landslides are poorly known. We investigate the possibility of using the Transient Rainfall Infiltration and Grid-Based Regional Slope-Stability analysis code (TRIGRS), a consolidated, physically-based, numerical model that describes the stability/instability conditions of natural slopes forced by rainfall, to determine the frequency statistics of the area of the unstable slopes and the rainfall intensity (I) - duration (D) conditions that result in landslides in a region. We apply TRIGRS in a portion of the Upper Tiber River Basin, Central Italy. The spatially distributed model predicts the stability/instability conditions of individual grid cells, given the local terrain and rainfall conditions. We run TRIGRS using multiple, synthetic rainfall histories, and we compare the modeling results with empirical evidences of the area of landslides and of the rainfall conditions that have caused landslides in the study area. Our findings revealed that TRIGRS is capable of reproducing the frequency of the size of the patches of terrain predicted as unstable by the model, which match the frequency size statistics of landslides in the study area, and the mean rainfall D, I conditions that result in unstable slopes in the study area, which match rainfall I-D thresholds for possible landslide occurrence. Our results are a step towards understanding the mechanisms that give rise to landslide scaling properties.
description: 15 pages, 9 figures, 1 table. Revised version, accepted for publication on Geomorphology on January 10, 2014
title: ADCO, Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0283
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2009
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0283, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0283, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Saint-Seine
description: Provenance: http://www.wikidata.org/entity/Q2820709
El medio acuático en la propaganda de Augusto
Creators: name: López Gómez, Helena
name: Nión-Álvarez, Samuel
Publisher: name: Zenodo
Year: 2018

description: La temática propagandística de época de Augusto es sobradamente conocida. La monumental obra de Paul Zanker (1992) es probablemente uno de los mejores exponentes. Sin embargo, hasta donde conocemos, no hay una propuesta que haya estudiado el medio acuático como elemento conductor de algunas interesantes obras de la iconografía y la arqueología de la época. A continuación intentaremos dar una imagen aproximada del uso de esta temática; para ello nos disponemos a presentar un breve resumen, centrándonos esencialmente en la propaganda de época triunviral y los momentos inmediatamente posteriores.
Structure and Efficiency of Computer Programs
Creators: name: Harper, Robert
Publisher: name: Carnegie Mellon University
Year: 2006
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Much fundamental research in computer science is driven by two complementary notions of beauty in programming, that arising from the structure of a program and that arising from the efficiency of an algorithm. As Lewin famously said, “there’s nothing so practical as good theory” [Marrow, 1984]. Decades of experience has borne out the remarkable efficacy of theory in improving the practice of programming. Programming language theory is the study of the structural aspects of programming. The central notion is that of compositionality, the construction of a program by composition of separable parts. Results are formulated in terms of programming languages defined by type systems, which mediate composition of components, and semantics, which determines the execution behavior of those programs. Notable theorems include the parametricity theorem, which provides the mathematical foundation for the informal concept of data abstraction. Algorithm theory is the study of the efficiency aspects of programming. The central notion is of asymptotic analysis of the time and space usage of a program, expressed in terms of a size measure or a probability distribution on the inputs. Results are formulated in terms of machine models of computation, such as TM’s or RAM’s, which define the basic steps of an algorithm and their exceution cost, perhaps relative to parameters such as the number of processors on a PRAM. Algorithms are expressed in “high-level assembler”, a simple imperative programming language, for which the translation to the “official” machine model is readily understood. Often algorithms are expressed in terms of explicit representations of data structures using “pointers” and “words” to manage storage. By and large the algorithms and programming languages communities operate in isolation from one another. Programming languages researchers focus on the practicalities of building large software systems, and are seldom concerned about efficiency. Algorithms researchers focus on the efficiency of core programming techniques, and are seldom concerned about composition. (These are, of course, caricatures of reality, but it seems to me that they contain an element of truth.)
title: A New Approach to High-Resolution Urban Land Use Classification Using Open Access Software and True Color Satellite Images
Creators: name: Chapa, Fernando
name: Hariharan, Srividya
name: Hack, Jochen
Publisher: name: MDPI
Year: 2019

description: Urbanization nowadays results in the most dynamic and drastic changes in land use/land cover, with a significant impact on the environment. A detailed analysis and assessment of this process is necessary to take informed actions to reduce its impact on the environment and human well-being. In most parts of the world, detailed information on the composition, structure, extent, and temporal changes of urban areas is lacking. The purpose of this study is to present a methodology to produce high-resolution land use/land cover maps by the use of free software and satellite imagery. These maps can help to understand dynamic urbanizations processes to plan, design, and coordinate sustainable urban development plans, especially in areas with limited resources and advancing environmental degradation. A series of high-resolution true color images provided by Google Earth Pro were used to do initial classifications with the Semi-Automatic Classification Plug-in in QGIS. Afterwards, a new methodology to improve the classification by the elimination of shadows and clouds, and a reduction of misclassifications through superimposition was applied. The classification was carried out for three urban areas in León, Nicaragua, with different degrees of urbanization for the years 2009, 2015, and 2018. Finally, the accuracy of the classification was analyzed using randomly defined validation polygons. The results are three sets of high-resolution land use/land cover maps of the initial and the improved classification, showing the detailed structures and temporal dynamics of urbanization. The average accuracy of classification reaches 74%, but up to 85% for the best classification. The results clearly identify advancing urbanization, the loss of vegetation and riparian zones, and threats to urban ecosystems. In general, the level of detail and simplicity of our methodology is a valuable tool to support sustainable urban management, although its application is not limited to these areas and can also be employed to track changes over time, providing therefore, relevant information to a wide range of decision-makers.
Solar-driven variation in the atmosphere of Uranus
Creators: name: Aplin, K. L.
name: Harrison, R. G.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: Long-term measurements (1972-2015) of the reflectivity of Uranus at 472 and 551 nm display variability that is incompletely explained by seasonal effects. Spectral analysis shows this non-seasonal variability tracks the 11-year solar cycle. Two mechanisms could cause solar modulation, (a) nucleation onto ions or electrons created by galactic cosmic rays (GCR), or (b) UV-induced aerosol colour changes. Ion-aerosol theory is used to identify expected relationships between reflectivity fluctuations and GCR flux, tested with multiple regression and compared to the linear response predicted between reflectivity and solar UV flux. The statistics show that 24%of the variance in reflectivity fluctuations at 472 nm is explained by GCR ion-induced nucleation, compared to 22% for a UV-only mechanism. Similar GCR-related variability exists in Neptune's atmosphere, hence the effects found at Uranus provide the first example of common variability in two planetary atmospheres driven through energetic particle modulation by their host star.
Zeon Algebra, Fock Space, and Markov Chains
Creators: name: Feinsilver, Philip
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: 81S05, 81.60, 60J10

description: Fock spaces over zeons are introduced. Trace identities and a noncommutative "integration-by-parts" formula are developed. As an application, we find a new criterion, without involving powers of the transition matrix, for a Markov chain to be ergodic.
A fermionic code related to the exceptional group $E_8$
Creators: name: Lévay, Péter
name: Holweck, Frédéric
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: In this paper we study the Hamming-like fermionic code encoding three-qubits into sixteen Majorana modes recently introduced by Hastings. We show that although this fermionic code cannot be obtained from a single qubit stabilizer code via the usual procedure however, it can be obtained from two, qubit stabilizer ones via a glueing procedure combining both single and double occupancy embeddings of qubits into fermionic Fock space. This technique identifies the code subspace as a Cartan subspace of the largest exceptional group $E_8$. In arriving at these results we develop a general formalism for implementing this glueing procedure via the use of intertwiners between different subsectors of the Fock space realizing embedded qubits.
description: 14 pages
Structural focalization
Creators: name: Simmons, Robert J.
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic [Andreoli 1992], defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and grouping sequences of non-invertible rules. A focused sequent calculus is defined relative to some non-focused sequent calculus; focalization is the property that every non-focused derivation can be transformed into a focused derivation. In this paper, we present a focused sequent calculus for propositional intuitionistic logic and prove the focalization property relative to a standard presentation of propositional intuitionistic logic. Compared to existing approaches, the proof is quite concise, depending only on the internal soundness and completeness of the focused logic. In turn, both of these properties can be established (and mechanically verified) by structural induction in the style of Pfenning’s structural cut elimination without the need for any tedious and repetitious invertibility lemmas. The proof of cut admissibility for the focused system, which establishes internal soundness, is not particularly novel. The proof of identity expansion, which establishes internal completeness, is a major contribution of this work.
LyMAS: Predicting Large-Scale Lyman-alpha Forest Statistics from the Dark Matter Density Field
Creators: name: Peirani, Sébastien
name: Weinberg, David H.
name: Colombi, Stéphane
name: Blaizot, Jérémy
name: Dubois, Yohan
name: Pichon, Christophe
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: [abridged] We describe LyMAS (Ly-alpha Mass Association Scheme), a method of predicting clustering statistics in the Ly-alpha forest on large scales from moderate resolution simulations of the dark matter distribution, with calibration from high-resolution hydrodynamic simulations of smaller volumes. We use the "Horizon MareNostrum" simulation, a 50 Mpc/h comoving volume evolved with the adaptive mesh hydrodynamic code RAMSES, to compute the conditional probability distribution P(F_s|delta_s) of the transmitted flux F_s, smoothed (1-dimensionally) over the spectral resolution scale, on the dark matter density contrast delta_s, smoothed (3-dimensionally) over a similar scale. In this study we adopt the spectral resolution of the SDSS-III BOSS at z=2.5, and we find optimal results for a dark matter smoothing length sigma=0.3 Mpc/h (comoving). In extended form, LyMAS exactly reproduces both the 1-dimensional power spectrum and 1-point flux distribution of the hydro simulation spectra. Applied to the MareNostrum dark matter field, LyMAS accurately predicts the 2-point conditional flux distribution and flux correlation function of the full hydro simulation for transverse sightline separations as small as 1 Mpc/h, including redshift-space distortion effects. It is substantially more accurate than a deterministic density-flux mapping ("Fluctuating Gunn-Peterson Approximation"), often used for large volume simulations of the forest. With the MareNostrum calibration, we apply LyMAS to 1024^3 N-body simulations of a 300 Mpc/h and 1.0 Gpc/h cube to produce large, publicly available catalogs of mock BOSS spectra that probe a large comoving volume. LyMAS will be a powerful tool for interpreting 3-d Ly-alpha forest data, thereby transforming measurements from BOSS and other massive quasar absorption surveys into constraints on dark energy, dark matter, space geometry, and IGM physics.
description: Accepted for publication in ApJ (minor corrections from the previous version). Catalogs of mock BOSS spectra and relevant data can be found at: http://www2.iap.fr/users/peirani/lymas/lymas.htm
New spectro-photometric characterization of the substellar object HR 2562 B using SPHERE
Creators: name: Mesa, D.
name: Baudino, J. -L.
name: Charnay, B.
name: D'Orazi, V.
name: Desidera, S.
name: Boccaletti, A.
name: Gratton, R.
name: Bonnefoy, M.
name: Delorme, P.
name: Langlois, M.
name: Vigan, A.
name: Zurlo, A.
name: Maire, A. -L.
name: Janson, M.
name: Antichi, J.
name: Baruffolo, A.
name: Bruno, P.
name: Cascone, E.
name: Chauvin, G.
name: Claudi, R. U.
name: De Caprio, V.
name: Fantinel, D.
name: Farisato, G.
name: Feldt, M.
name: Giro, E.
name: Hagelberg, J.
name: Incorvaia, S.
name: Lagadec, E.
name: Lagrange, A. -M.
name: Lazzoni, C.
name: Lessio, L.
name: Salasnich, B.
name: Scuderi, S.
name: Sissa, E.
name: Turatto, M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: HR2562 is an F5V star located at ~33 pc from the Sun hosting a substellar companion that was discovered using the GPI instrument. The main objective of the present paper is to provide an extensive characterisation of the substellar companion, by deriving its fundamental properties. We observed HR 2562 with the near-infrared branch (IFS and IRDIS) of SPHERE at the VLT. During our observations IFS was operating in the YJ band, while IRDIS was observing with the $H$ broad-band filter. The data were reduced with the dedicated SPHERE GTO pipeline, which is custom-designed for this instrument. On the reduced images, we then applied the post-processing procedures that are specifically prepared to subtract the speckle noise. The companion is clearly detected in both IRDIS and IFS datasets. We obtained photometry in three different spectral bands. The comparison with template spectra allowed us to derive a spectral type of T2-T3 for the companion. Using both evolutionary and atmospheric models we inferred the main physical parameters of the companion obtaining a mass of 32+/-14$~MJup, T_{eff}=1100+/-200 K and log(g)=4.75+/-0.41.
description: 12 pages, 11 figures, Accepted by A&A
Clifford algebras as twisted group algebras and the Arf invariant
Creators: name: Elduque, Alberto
name: Rodrigo-Escudero, Adrián
Publisher: name: arXiv
Year: 2018
Subjects: subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 15A66 (Primary), 16S35, 16W50, 11E04 (Secondary)

description: Some connections between quadratic forms over the field of two elements, Clifford algebras of quadratic forms over the real numbers, real graded division algebras, and twisted group algebras will be highlighted. This allows to revisit real Clifford algebras in terms of the Arf invariant of the associated quadratic forms over the field of two elements, and give new proofs of some classical results.
description: 12 pages
Strongly History-Independent Hashing with Applications
Creators: name: Blelloch, Guy E.
name: Golovin, Daniel
Publisher: name: Carnegie Mellon University
Year: 1983
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We present a strongly history independent (SHI) hash table that supports search in O(l) worst-case time, and insert and delete in O(l) expected time using O(n) data space. This matches the bounds for dynamic perfect hashing, and improves on the best previous results by Naor and league on history independent hashing, which were either weakly history independent, or only supported insertion and search (no delete) each in O(l) expected time. The results can be used to construct many other SHI data structures. We show straightforward constructions for SHI ordered dictionaries: for n keys from {l,..., nk} searches take O(log log n) worst-case time and updates (insertions and deletions) O(log log n) expected time, and for keys in the comparison model searches take O(log n) worst-case time and updates O(log n) expected time. We also describe a SHI data structure for the order-maintenance problem. It supports comparisons in O(l) worst-case time, and updates in 0(1) expected time. All structures use O(n) data space.
title: Stability Assessment of the New Cubipod® Armoured Breakwater in Hanstholm
Creators: name: Lykke Andersen, Thomas
name: Eldrup, Mads Røge
name: Lauridsen, Henning
name: Gierlevsen, Thomas
Publisher: name: Bundesanstalt für Wasserbau
Year: 2019

description: Presented at: Coastal Structures Conference 2019, Hannover, Germany, September 30th – October 2nd, 2019
Quasiisometries between negatively curved Hadamard manifolds
Creators: name: Xie, Xiangdong
Publisher: name: arXiv
Year: 2007
Subjects: subject: Group Theory (math.GR)
subject: Geometric Topology (math.GT)
subject: FOS: Mathematics
subject: 53C20, 20F65, 30C65

description: Let X, Y be the universal covers of two compact Riemannian manifolds (with dimension not equal to 4) with negative sectional curvature. Then every quasiisometry between them lies at a finite distance from a bilipschitz homeomorphism.
title: ADCO, Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Cart. 31 (G 135), 549 folios, f. 1033
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi

description: Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Archives départementales de la Côte-d'Or, Cart. 31 (G 135), 549 folios, f. 1033, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Archives départementales de la Côte-d'Or, Cart. 31 (G 135), 549 folios, f. 1033, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Multiple Disease Prediction System
Creators: name: Vardhan Uppala, Tapasvi Panchagnula, Kammari Vishal, Latchubhukta Bhargav
Publisher: name: Zenodo
Year: 2025

description: This article is an innovative approach designed to predict the likelihood of multiple diseases,Diabetes, Heart Disease, and Parkinson’s disease simultaneously. This article employs advanced machinelearning techniques, including Support Vector Machines (SVM) and Logistic Regression, to analyze patientdata and deliver accurate predictions. By integrating these models into a unified platform built, the systemprovides a user-friendly interface for healthcare professionals and individuals alike. The methodologyencompasses collecting diverse medical datasets, preprocessing them for consistency, and trainingpredictive models to achieve high accuracy. This system enhances diagnostic efficiency, supports earlyintervention, and contributes to preventive healthcare by predicting multiple diseases concurrently. It offersa practical, scalable solution with potential applications in improving patient outcomes and healthcareaccessibility.
Detection and classification of masses in mammographic images in a multi-kernel approach
Creators: name: de Lima, Sidney Marlon Lopes
name: Filho, Abel Guilhermino da Silva
name: Santos, Wellington Pinheiro dos
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Neural and Evolutionary Computing (cs.NE)
subject: Image and Video Processing (eess.IV)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: According to the World Health Organization, breast cancer is the main cause of cancer death among adult women in the world. Although breast cancer occurs indiscriminately in countries with several degrees of social and economic development, among developing and underdevelopment countries mortality rates are still high, due to low availability of early detection technologies. From the clinical point of view, mammography is still the most effective diagnostic technology, given the wide diffusion of the use and interpretation of these images. Herein this work we propose a method to detect and classify mammographic lesions using the regions of interest of images. Our proposal consists in decomposing each image using multi-resolution wavelets. Zernike moments are extracted from each wavelet component. Using this approach we can combine both texture and shape features, which can be applied both to the detection and classification of mammary lesions. We used 355 images of fatty breast tissue of IRMA database, with 233 normal instances (no lesion), 72 benign, and 83 malignant cases. Classification was performed by using SVM and ELM networks with modified kernels, in order to optimize accuracy rates, reaching 94.11%. Considering both accuracy rates and training times, we defined the ration between average percentage accuracy and average training time in a reverse order. Our proposal was 50 times higher than the ratio obtained using the best method of the state-of-the-art. As our proposed model can combine high accuracy rate with low learning time, whenever a new data is received, our work will be able to save a lot of time, hours, in learning process in relation to the best method of the state-of-the-art.
Is Natural SUSY Natural?
Creators: name: Hardy, Edward
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study the fine tuning associated to a `Natural Supersymmetry' spectrum with stops, after RG running, significantly lighter than the first two generation sfermions and the gluino. In particular, we emphasise that this tuning should be measured with respect to the parameters taken to be independent at the assumed UV boundary of the renormalisation group flow, and improve the accuracy of previous approximate expressions. It is found that, if running begins at $10^{16}~\rm{GeV}$ $\left(10^5~\rm{GeV}\right)$, decreasing the UV stop mass below $0.75$ $\left(0.4\right)$ of the weak scale Majorana gluino mass does not improve the overall fine tuning of the theory. In contrast, it is possible to raise the first two generation sfermion masses out of LHC reach without introducing additional tuning. After running, regions of parameter space favoured by naturalness and consistent with LHC bounds typically have IR stop masses of order 1.5 TeV (0.75 TeV), and fine tuning of at least 400 (50) for high (low) scale mediation. We also study the fine tuning of theories with Dirac gluinos. These allow for substantial separation of the gluino and sfermion masses and, regardless of the scale of mediation, lead to relatively low fine tuning of order 50. Hence viable models can still favour light stops, but this requires extra structure beyond the MSSM field content.
description: 26 pages, 8 figures, V3: JHEP version
Limits on Neutrino-Neutrino Scattering in the Early Universe
Creators: name: Cyr-Racine, Francis-Yan
name: Sigurdson, Kris
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the standard model neutrinos are assumed to have streamed across the Universe since they last scattered at the weak decoupling epoch when the temperature of the standard-model plasma was ~MeV. The shear stress of free-streaming neutrinos imprints itself gravitationally on the Cosmic Microwave Background (CMB) and makes the CMB a sensitive probe of neutrino scattering. Yet, the presence of nonstandard physics in the neutrino sector may alter this standard chronology and delay neutrino free-streaming until a much later epoch. We use observations of the CMB to constrain the strength of neutrino self-interactions G_eff and put limits on new physics in the neutrino sector from the early Universe. Recent measurements of the CMB at large multipoles made by the Planck satellite and high-l experiments are critical for probing this physics. Within the context of conventional LambdaCDM parameters cosmological data are compatible with G_eff < 1/(56 MeV)^2 and neutrino free-streaming might be delayed until their temperature has cooled to as low as ~25 eV. Intriguingly, we also find an alternative cosmology compatible with cosmological data in which neutrinos scatter off each other until z~10^4 with a preferred interaction strength in a narrow region around $G_{\rm eff} \simeq 1/({\rm 10 \, MeV})^{2} \simeq 8.6\times10^8 G_{\rm F}$, where $G_{\rm F}$ is the Fermi constant. This distinct self-interacting neutrino cosmology is characterized by somewhat lower values of both the scalar spectral index and the amplitude of primordial fluctuations. While we phrase our discussion here in terms of a specific scenario in which a late onset of neutrino free-streaming could occur, our constraints on the neutrino visibility function are very general.
description: 9 Pages, 4 figures, 1 table. v2: Version accepted for publication, enhanced discussion on neutrino interaction beyond the SM, enhanced figures, references added
A New Numerical Scheme for Cosmic Ray Transport
Creators: name: Jiang, Yan-Fei
name: Oh, Peng
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Numerical solutions of the cosmic-ray (CR) magneto-hydrodynamic equations are dogged by a powerful numerical instability, which arises from the constraint that CRs can only stream down their gradient. The standard cure is to regularize by adding artificial diffusion. Besides introducing ad-hoc smoothing, this has a significant negative impact on either computational cost or complexity and parallel scalings. We describe a new numerical algorithm for CR transport, with close parallels to two moment methods for radiative transfer under the reduced speed of light approximation. It stably and robustly handles CR streaming without any artificial diffusion. It allows for both isotropic and field-aligned CR streaming and diffusion, with arbitrary streaming and diffusion coefficients. CR transport is handled explicitly, while source terms are handled implicitly. The overall time-step scales linearly with resolution (even when computing CR diffusion), and has a perfect parallel scaling. It is given by the standard Courant condition with respect to a constant maximum velocity over the entire simulation domain. The computational cost is comparable to that of solving the ideal MHD equation. We demonstrate the accuracy and stability of this new scheme with a wide variety of tests, including anisotropic streaming and diffusion tests, CR modified shocks, CR driven blast waves, and CR transport in multi-phase media. The new algorithm opens doors to much more ambitious and hitherto intractable calculations of CR physics in galaxies and galaxy clusters. It can also be applied to other physical processes with similar mathematical structure, such as saturated, anisotropic heat conduction.
description: 23 pages, 15 figures, submitted to ApJS
ENSO Impacts on Food Crop Production and the Role of CGPRT Crops in Asia and the Pacific
Creators: name: Yokoyama, Shigeki
name: Yokoyama, Shigeki
Publisher: name: Unknown
Year: 2002
Subjects: Crop Production/Industries
Food Security and Poverty
Research Methods/ Statistical Methods

description: To clarify the impacts of El Nino events on production of major food crops in Asia and the Pacific, log linear regression, incorporating a El Nino year dummy variable was conducted. Production variability was measured by percentage deviation from a five-year moving average as trend. ENSO (El Nino Southern Oscillation) sensitivity was measured by correlation coefficient between percentage deviation from the five-year moving average and monthly average of SOI (June to September in the year concerned). Estimated period was 1961 to 2000. Six crops (rice, maize, soybean, groundnut, sweet potato and cassava) and eleven countries (Myanmar, Thailand, Laos, Cambodia, Viet Nam, Malaysia, Indonesia, the Philippines, Australia, New Zealand, and Fiji) were covered. The El Nino event is becoming more frequent as it occurred once in the 1960s, twice in the 1970-1980s and three times in the 1990s. Compared with production loss in non-El Nino years, that in El Nino years was characterized as: 1. Absolute magnitude (7 per cent loss during El Nino vs. 3 per cent loss during non-El Nino); 2. Simultaneity of both yield and area decline (production loss during non-El Nino was mostly caused by yield decline); 3. Single year phenomenon with recovery of production in the following year. Maize was most variable and sensitive to ENSO for both the area harvested and yield, followed by soybean which was significantly sensitive to ENSO in terms of area but not yield. A unique feature of maize is its positive correlation between area harvested and yield. Rice is most stable, while its area harvested is moderately affected by ENSO. Cassava, sweet potato and groundnut were not significantly affected by ENSO, although their production variability was larger than that of rice. Enhancement of the production stability of maize and soybean and diversification of farming systems through incorporating root crops are expected to improve the stability of food crop production in the region.