cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Deuterium and $^{15}$N fractionation in N$_2$H$^+$ during the formation of a Sun-like star
Creators: name: De Simone, M.
name: Fontani, F.
name: Codella, C.
name: Ceccarelli, C.
name: Lefloch, B.
name: Bachiller, R.
name: López-Sepulcre, A.
name: Caux, E.
name: Vastel, C.
name: Soldateschi, J.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Although chemical models predict that the deuterium fractionation in N$_2$H$^+$ is a good evolutionary tracer in the star formation process, the fractionation of nitrogen is still a poorly understood process. Recent models have questioned the similar evolutionary trend expected for the two fractionation mechanisms in N$_2$H$^+$, based on a classical scenario in which ion-neutral reactions occurring in cold gas should have caused an enhancement of the abundance of N$_2$D$^+$, $^{15}$NNH$^+$, and N$^{15}$NH$^+$. In the framework of the ASAI IRAM-30m large program, we have investigated the fractionation of deuterium and $^{15}$N in N$_2$H$^+$ in the best known representatives of the different evolutionary stages of the Sun-like star formation process. The goal is to ultimately confirm (or deny) the classical "ion-neutral reactions" scenario that predicts a similar trend for D and $^{15}$N fractionation. We do not find any evolutionary trend of the $^{14}$N/$^{15}$N ratio from both the $^{15}$NNH$^+$ and N$^{15}$NH$^+$ isotopologues. Therefore, our findings confirm that, during the formation of a Sun-like star, the core evolution is irrelevant in the fractionation of $^{15}$N. The independence of the $^{14}$N/$^{15}$N ratio with time, found also in high-mass star-forming cores, indicates that the enrichment in $^{15}$N revealed in comets and protoplanetary disks is unlikely to happen at core scales. Nevertheless, we have firmly confirmed the evolutionary trend expected for the H/D ratio, with the N$_2$H$^+$/N$_2$D$^+$ ratio decreasing before the pre-stellar core phase, and increasing monotonically during the protostellar phase. We have also confirmed clearly that the two fractionation mechanisms are not related.
description: 9 pages, 2 figures, accepted for publication in MNRAS
A Quantitative Model for Optical Coherence Tomography
Creators: name: Veselka, Leopold
name: Krainz, Lisa
name: Mindrinos, Leonidas
name: Drexler, Wolfgang
name: Elbau, Peter
Publisher: name: arXiv
Year: 2021
Subjects: subject: Medical Physics (physics.med-ph)
subject: Analysis of PDEs (math.AP)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Optical coherence tomography (OCT) is a widely used imaging technique in the micrometer regime, which gained accelerating interest in medical imaging in the last twenty years. In up-to-date OCT literature [5,6] certain simplifying assumptions are made for the reconstructions, but for many applications a more realistic description of the OCT imaging process is of interest. In mathematical models, for example, the incident angle of light onto the sample is usually neglected or a plane wave description for the light-sample interaction in OCT is used, which ignores almost completely the occurring effects within an OCT measurement process. In this article, we make a first step to a quantitative model by considering the measured intensity as a combination of back-scattered Gaussian beams affected by the system. In contrast to the standard plane wave simplification, the presented model includes system relevant parameters such as the position of the focus and the spot size of the incident laser beam, which allow a precise prediction of the OCT data and therefore ultimately serves as a forward model. The accuracy of the proposed model - after calibration of all necessary system parameters - is illustrated by simulations and validated by a comparison with experimental data obtained from a 1300 nm swept-source OCT system.
description: 21 pages, 9 figues
Reflections on the Pentium Division Bug
Creators: name: Wasserman, Hal
name: Blum, Manuel
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 review the field of result-checking and suggest that it be extended to a methodology for enforcing hardware/software reliability. We thereby formulate a vision for "self-monitoring" hardware/software whose reliability is augmented through embedded suites of run-time correctness checkers. In particular, we suggest that embedded checkers and correctors may be employed to safeguard against arithmetic errors such as that which has bedeviled the Intel Pentium Microprocessor. We specify checkers and correctors suitable for monitoring the multiplication and division functionalities of an arbitrary arithmetic processor and seamlessly correcting erroneous output which may occur for any reason during the lifetime of the chip.
S-wave meson scattering up to sqrt{s} < 2 GeV from chiral Lagrangians
Creators: name: Albaladejo, Miguel
name: Oller, Jose A.
name: Piqueras, Cándido
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The problem of scalar mesons still remains a challenging puzzle, for which we do not even know which are the right pieces to set up. The proliferation of resonances (some of them are very broad and appear on top of hadronic thresholds) and of coupled channels that interact strongly among each other makes the study of this sector a hard task. Our objective is the study of the strongly interacting mesons in coupled channels with quantum numbers J^{PC} = 0^{++} and I=0 and I=1/2, up to a center of mass energy sqrt{s} < 2 GeV. Our framework is based on Unitary Chiral Perturbation Theory. We include for I=0 the channels: ππ, K\bar{K}, ηη, σσ, ηη', ρρ, ωω, η'η', ωϕ, ϕϕ, K^\ast \bar{K}^\ast, a_1(1260)πand π^{\star}(1300)π. In addition, and in order to constrain our fits, we also study the I=1/2, 3/2 channels given by Kπ, Kηand Kη'. We finally present the resonant content of our fits with the $σ$, $f_0(980)$, $f_0(1310)$, $f_(1500)$, $f_0(1710)$ and $f_0(1790)$.
description: 4 pages. Talk given at 11th International Conference on Meson-Nucleon Physics and the Structure of the Nucleon (MENU 2007), Julich, Germany, 10-14 Sep 2007
On the quantifier-free dynamic complexity of Reachability
Creators: name: Zeume, Thomas
name: Schwentick, Thomas
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The dynamic complexity of the reachability query is studied in the dynamic complexity framework of Patnaik and Immerman, restricted to quantifier-free update formulas. It is shown that, with this restriction, the reachability query cannot be dynamically maintained, neither with binary auxiliary relations nor with unary auxiliary functions, and that ternary auxiliary relations are more powerful with respect to graph queries than binary auxiliary relations. Further inexpressibility results are given for the reachability query in a different setting as well as for a syntactical restriction of quantifier-free update formulas. Moreover inexpressibility results for some other queries are presented.
Magnetic nanowires as permanent magnet materials
Creators: name: Maurer, T.
name: Ott, F.
name: Chaboussant, G.
name: Soumare, Y.
name: Piquemal, J. -Y.
name: Viau, G.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We present the fabrication of metallic magnetic nanowires using a low temperature chemical process. We show that pressed powders and magnetically oriented samples exhibit a very high coercivity (6.5 kOe at 140 K and 4.8 kOe at 300 K). We discuss the magnetic properties of these metamaterials and show that they have the suitable properties to realize "high temperature magnets" competitive with AlNiCo or SmCo permanent magnets. They could also be used as recording media for high density magnetic recording.
description: 5 pages, 5 figures
First- and Second-Order Analysis for Optimization Problems with Manifold-Valued Constraints
Creators: name: Bergmann, Ronny
name: Herzog, Roland
name: López, Julián Ortiz
name: Schiela, Anton
Publisher: name: arXiv
Year: 2021
Subjects: subject: Optimization and Control (math.OC)
subject: FOS: Mathematics

description: We consider optimization problems with manifold-valued constraints. These generalize classical equality and inequality constraints to a setting in which both the domain and the codomain of the constraint mapping are smooth manifolds. We model the feasible set as the preimage of a submanifold with corners of the codomain. The latter is a subset which corresponds to a convex cone locally in suitable charts. We study first- and second-order optimality conditions for this class of problems. We also show the invariance of the relevant quantities with respect to local representations of the problem.
Reflections in a pool of processors : an experience report on C.mmp-Hydra
Creators: name: Wulf, William Allan.
name: Harbison, Samuel P.
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "This paper is a frankly subjective reflection on the successes and failures of the C.mmp project by those most intimately connected with its design, implementation, and use. It attempts to catalog and characterize the things we feel we did right and the things we did wrong. We sincerely hope that this sort of evaluation will help others who undertake similar projects."
title: ADCO, Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Cart. 31 (G 135), 549 folios, f. 0563
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: Corpus Burgundiae Medii Aevi
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP

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. 0563, 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. 0563, 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
title: Determination of Nutrient Levels and Proposed Predictive Models for Phosphate in the Lafayette River, Norfolk, Virginia
Creators: name: Montgomery, John R.
Publisher: name: Old Dominion University
publisherIdentifier: https://ror.org/04zjtrb98
publisherIdentifierScheme: ROR
Year: 1972

description: The Lafayette River, an Urban, well-mixed estuarine embayment, was sampled from October, 1970 to January, 1972 for phosphate, nitrate, nitrite, oxygen, water temperature and salinity. The mean values found for these samples were: oxygen saturation from 69% to 106% nitrate from 0 to 4 microgram-atoms per liter, and salinity from 13 ‰ to 24 ‰. The mouth of the Elizabeth River to Hampton Roads as also sampled from May, 1971 to August, 1971. The Lafayette and Elizabeth Rivers were also sampled over a 24 hour period in the summer of 1971 and the Lafayette River again in the winter of 1972. The mean concentration of phosphate in the summer varied from 3 to 16 microgram-atoms per liter for the Lafayette River and from 2 to 12 microgram-atoms per liter for the Elizabeth River. The highest values of phosphate occurred in the summer months and the lowest in the winter. The mean concentration of phosphate for the Elizabeth River ranged from 3 to 5.7 microgram-atoms per liter with the highest value in June, 1971. The mean concentration of phosphate for the Lafayette River ranged from 1.9 to 8.6 microgram-atoms per liter with the highest value in August, 1971.

Multiple linear regression models revealed that the daily concentration of phosphate is related to the stage of the tide, and rate of flow of phosphate from the Lamberts Point sewage outfall as follows:

The concentration of phosphate increases on the ebb tide and decreases on the flood tide because of the diluting effect of the Hamptons Roads water.
The concentration of phosphate is also directly related to the rate of flow of phosphate from the Lamberts Point sewage outfall on the flood tide but quantitively is not as important as the diluting effects of the Hampton Roads water. Seasonal multiple linear regression models show a direct relation of temperature to the concentration of phosphate and an indirect relation with the amount of rainfall. The effect or temperature was ascribed to increased biological activity and tbs effect of rainfall to the dilution of the water ln the Lafayette River.
Spin-dependent distribution functions for relativistic hydrodynamics of spin-1/2 particles
Creators: name: Florkowski, Wojciech
name: Friman, Bengt
name: Jaiswal, Amaresh
name: Ryblewski, Radoslaw
name: Speranza, Enrico
Publisher: name: arXiv
Year: 2017
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Recently advocated expressions for the phase-space dependent spin-1/2 density matrices of particles and antiparticles are analyzed in detail and reduced to the forms linear in the Dirac spin operator. This allows for a natural determination of the spin polarization vectors of particles and antiparticles by the trace of products of the spin density matrices and the Pauli matrices. We demonstrate that the total spin polarization vector obtained in this way agrees with the Pauli-Lubanski four-vector, constructed from an appropriately chosen spin tensor and boosted to the particle rest frame. We further show that several forms of the spin tensor used in the literature give the same Pauli-Lubanski four-vector.
Adversarial Machine Learning: Bayesian Perspectives
Creators: name: Insua, David Rios
name: Naveiro, Roi
name: Gallego, Victor
name: Poulos, Jason
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: Computation (stat.CO)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences

description: Adversarial Machine Learning (AML) is emerging as a major field aimed at protecting machine learning (ML) systems against security threats: in certain scenarios there may be adversaries that actively manipulate input data to fool learning systems. This creates a new class of security vulnerabilities that ML systems may face, and a new desirable property called adversarial robustness essential to trust operations based on ML outputs. Most work in AML is built upon a game-theoretic modelling of the conflict between a learning system and an adversary, ready to manipulate input data. This assumes that each agent knows their opponent's interests and uncertainty judgments, facilitating inferences based on Nash equilibria. However, such common knowledge assumption is not realistic in the security scenarios typical of AML. After reviewing such game-theoretic approaches, we discuss the benefits that Bayesian perspectives provide when defending ML-based systems. We demonstrate how the Bayesian approach allows us to explicitly model our uncertainty about the opponent's beliefs and interests, relaxing unrealistic assumptions, and providing more robust inferences. We illustrate this approach in supervised learning settings, and identify relevant future research problems.
Bulk contribution to magnetotransport properties of low defect-density Bi$_2$Te$_3$ topological insulator thin films
Creators: name: Ngabonziza, Prosper
name: Wang, Yi
name: Brinkman, Alexander
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: An important challenge in the field of topological materials is to carefully disentangle the electronic transport contribution of the topological surface states from that of the bulk. For Bi$_2$Te$_3$ topological insulator samples, bulk single crystals and thin films exposed to air during fabrication processes are known to be bulk conducting, with the chemical potential in the bulk conduction band. For Bi$_2$Te$_3$ thin films grown by molecular beam epitaxy, we combine structural characterization (transmission electron microscopy), chemical surface analysis as function of time (x-ray photoelectron spectroscopy) and magnetotransport analysis to understand the low defect density and record high bulk electron mobility once charge is doped into the bulk by surface degradation. Carrier densities and electronic mobilities extracted from the Hall effect and the quantum oscillations are consistent and reveal a large bulk carrier mobility. Because of the cylindrical shape of the bulk Fermi surface, the angle dependence of the bulk magnetoresistance oscillations is two-dimensional in nature.
description: 12 pages, 5 figures
Direct Imaging of Dynamic Glassy Behavior in a Strained Manganite Film
Creators: name: Kundhikanjana, Worasom
name: Sheng, Zhigao
name: Yang, Yongliang
name: Lai, Keji
name: Ma, Yue
name: Kelly, Yong-Tao Cui Michael A.
name: Nakamura, Masao
name: Kawasaki, Masashi
name: Tokura, Yoshinori
name: Tang, Qiaochu
name: Zhang, Kun
name: Li, Xinxin
name: Shen, Zhi-Xun
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Complex many-body interaction in perovskite manganites gives rise to a strong competition between ferromagnetic metallic and charge ordered phases with nanoscale electronic inhomogeneity and glassy behaviors. Investigating this glassy state requires high resolution imaging techniques with sufficient sensitivity and stability. Here, we present the results of a near-field microwave microscope imaging on the strain driven glassy state in a manganite film. The high contrast between the two electrically distinct phases allows direct visualization of the phase separation. The low temperature microscopic configurations differ upon cooling with different thermal histories. At sufficiently high temperatures, we observe switching between the two phases in either direction. The dynamic switching, however, stops below the glass transition temperature. Compared with the magnetization data, the phase separation was microscopically frozen, while spin relaxation was found in a short period of time.
description: 11 pages with supplementary information
A COMPREHENSIVE METHOD FOR DIAGNOSING PLANNING IN PRIMARY SCHOOL
Creators: name: Zak, A.Z.
Publisher: name: Международный журнал гуманитарных и естественных наук
Year: 2021
Subjects: THE ABILITY TO PLAN
SECOND GRADERS
A SET OF TWO TASKS
THE "LETTERS
NUMBERS" TECHNIQUE
THE "POSTMAN" TECHNIQUE

description: The study developed a complex of two tasks designed to determine the formation of cognitive metasubject competence associated with the ability to plan in primary schoolchildren, in particular, in second-graders. The problems of the first task create more complex conditions for planning the solution than the problems of the second task. This approach makes it possible to distinguish in the classroom not two, as usual, but three groups of children according to the formation of cognitive actions. The first group consists of children who solved the problems of both tasks, the second group - children who solved the problems of only the second task, the third group - children who did not solve the problems of both tasks. The testing of the complex showed its effectiveness for a more complete than usual diagnosis of the ability to plan the solution of problems in primary grades.
Refining Objects
Creators: name: Harper, Robert
name: Davies, Rowan
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the resulting type systems tend to be rather complex in order to accommodate the methodology of object-oriented programming. We consider another approach based on a simple structural type theory enriched with a system of type refinements with which we may express behavioral requirements such as the absence of “message not understood” errors. Ensuring this property is viewed as a verification condition on programs that use dynamic dispatch, which we construe as an abstract type of objects supporting instantiation and messaging operations. At the structural level dynamic dispatch may fail, but at the behavioral level this possibility is precluded. To validate this approach we give an interpretation of Featherweight Java (FJ), a widely-used model of object-oriented programming, that comprises a compilation into dynamic dispatch, and an interpretation of the class table as a system of type refinements. We show that welltyped FJ programs translate to well-typed and well-refined programs, from which we deduce the same safety guarantees as are provided by FJ. More importantly, the behavioral formulation may be scaled to verify the absence of other behaviors, such as down-cast errors, that are not easily handled using only structural types.
title: ADCO, Cart. 186 (11 H 71), f. 0159r
Creators: name: de la Côte d'Or, Archives départementales
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2012
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédéric
name: Petot, Frédérique
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la Côte-d'Or, C
art. 186 (11 H 71). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, t. II (XVe siècle), tome II, Archives départementales de la
 Côte-d'Or, Cart. 186 (11 H 71), f. 0159r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-
project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Unavoidable vertex-minors in large prime graphs
Creators: name: Kwon, O-joung
name: Oum, Sang-il
Publisher: name: arXiv
Year: 2013
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C55, 05C75, 05C83, 05C40, 05C38

description: A graph is prime (with respect to the split decomposition) if its vertex set does not admit a partition (A,B) (called a split) with |A|, |B| >= 2 such that the set of edges joining A and B induces a complete bipartite graph. We prove that for each n, there exists N such that every prime graph on at least N vertices contains a vertex-minor isomorphic to either a cycle of length n or a graph consisting of two disjoint cliques of size n joined by a matching.
description: 43 pages, 12 figures
Growing trees from compact subgroups
Creators: name: Caprace, Pierre-Emmanuel
name: Marquis, Timothée
name: Reid, Colin D.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: 22D05, 20E08

description: We establish a new connection between local and large-scale structure in compactly generated totally disconnected locally compact (t.d.l.c.) groups $G$, finding a sufficient condition for $G$ to have more than one end in terms of its compact subgroups. The condition actually results in an action of a quotient group $G/N$ on a tree with faithful micro-supported action on the boundary, where $N$ is compact, and is closely related to the Boolean algebra formed by the centralisers of the subgroups of $G/N$ with open normaliser. As an application, we find a sufficient condition, given a one-ended t.d.l.c. group $G$, for all direct factors of open subgroups of $G$ to be trivial or open.
description: 24 pages; journal accepted version. To appear in Groups, Geometry and Dynamics
Refinement types for logical frameworks and their interpretation as proof irrelevance
Creators: name: Lovas, William
name: Pfenning, Frank
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refinements are bidirectional, leading to a straightforward proof of decidability of typechecking even in the presence of intersection types. Because we insist on canonical forms, structural rules for subtyping can now be derived rather than being assumed as primitive. We illustrate the expressive power of our system with examples and validate its design by demonstrating a precise correspondence with traditional presentations of subtyping. Proof irrelevance provides a mechanism for selectively hiding the identities of terms in type theories. We show that LF refinement types can be interpreted as predicates using proof irrelevance, establishing a uniform relationship between two previously studied concepts in type theory. The interpretation and its correctness proof are surprisingly complex, lending support to the claim that refinement types are a fundamental construct rather than just a convenient surface syntax for certain uses of proof irrelevance.
The Belgian repository of fundamental atomic data and stellar spectra (BRASS). I. Cross-matching atomic databases of astrophysical interest
Creators: name: Laverick, Mike
name: Lobel, Alex
name: Merle, Thibault
name: Royer, Pierre
name: Martayan, Christophe
name: David, Marc
name: Hensberge, Herman
name: Thienpont, Emmanuel
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Fundamental atomic parameters, such as oscillator strengths, play a key role in modelling and understanding the chemical composition of stars in the universe. Despite the significant work underway to produce these parameters for many astrophysically important ions, uncertainties in these parameters remain large and can propagate throughout the entire field of astronomy. The Belgian repository of fundamental atomic data and stellar spectra (BRASS) aims to provide the largest systematic and homogeneous quality assessment of atomic data to date in terms of wavelength, atomic and stellar parameter coverage. To prepare for it, we first compiled multiple literature occurrences of many individual atomic transitions, from several atomic databases of astrophysical interest, and assessed their agreement. Several atomic repositories were searched and their data retrieved and formatted in a consistent manner. Data entries from all repositories were cross-matched against our initial BRASS atomic line list to find multiple occurrences of the same transition. Where possible we used a non-parametric cross-match depending only on electronic configurations and total angular momentum values. We also checked for duplicate entries of the same physical transition, within each retrieved repository, using the non-parametric cross-match. We report the cross-matched transitions for each repository and compare their fundamental atomic parameters. We find differences in log(gf) values of up to 2 dex or more. We also find and report that ~2% of our line list and Vienna Atomic Line Database retrievals are composed of duplicate transitions. Finally we provide a number of examples of atomic spectral lines with different log(gf) values, and discuss the impact of these uncertain log(gf) values on quantitative spectroscopy. All cross-matched atomic data and duplicate transitions are available to download at brass.sdf.org.
description: 18 pages, 12 figures, 9 tables. Accepted for publication in A&A
title: "Attestation" pour René Pérotin établi par Pierre Tanant, état-major des FFI, Vercors,11 octobre 1944
Creators: name: Chef De Bataillon Pierre Tanant
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2019
Subjects: subject: Deuxième guerre mondiale, commune française des Alpes, décès d'un maquisard du Vercors et famille bordelaise

description: "Attestation" pour faciliter le retour à Bordeaux de René Pérotin, père du maquisard mort en service Michel P. (Fressinat) établi par le chef de bataillon Pierre Tanant, état-major des FFI, Vercors, 11 octobre 1944
description: Source: GED Campus Condorcet Fonds Yves Pérotin CNRS-IHTP ARC 143 ; 2MAQ_63
$p$-adic Berglund-Hübsch Duality
Creators: name: Aldi, Marco
name: Peruničić, Andrija
Publisher: name: arXiv
Year: 2014
Subjects: subject: Mathematical Physics (math-ph)
subject: Algebraic Geometry (math.AG)
subject: Number Theory (math.NT)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: Berglund-Hübsch duality is an example of mirror symmetry between orbifold Landau-Ginzburg models. In this paper we study a D-module-theoretic variant of Borisov's proof of Berglund-Hübsch duality. In the $p$-adic case, the D-module approach makes it possible to endow the orbifold chiral rings with the action of a non-trivial Frobenius endomorphism. Our main result is that the Frobenius endomorphism commutes with Berglund-Hübsch duality up to an explicit diagonal operator.
Refinement Types for Incremental Computational Complexity
Creators: name: Cicek, Ezgi
name: Garg, Deepak
name: Acar, Umut A.
Publisher: name: Carnegie Mellon University
Year: 1986
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: With recent advances, programs can be compiled to efficiently respond to incremental input changes. However, there is no language-level support for reasoning about the time complexity of incremental updates. Motivated by this gap, we present CostIt, a higher-order functional language with a lightweight refinement type system for proving asymptotic bounds on incremental computation time. Type refinements specify which parts of inputs and outputs may change, as well as dynamic stability, a measure of time required to propagate changes to a program’s execution trace, given modified inputs. We prove our type system sound using a new step-indexed cost semantics for change propagation and demonstrate the precision and generality of our technique through examples.
On the existence of a reverse shock in magnetized GRB ejecta
Creators: name: Giannios, D.
name: Mimica, P.
name: Aloy, M. A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The role of magnetic fields in gamma-ray burst (GRB) flows remains controversial. The study of the early afterglow phases and, in particular, of the reverse shock dynamics and associated emission offers a promising probe of the magnetization of the ejecta. In this paper, we derive the conditions for the existence of a reverse shock in arbitrarily magnetized ejecta that decelerate and interact with the circumburst medium. Both constant and wind-like density profiles are considered. We show, in contrast to previous estimates, that ejecta with magnetization larger than unity are not crossed by a reverse shock for a large fraction of the parameter space relevant to GRB flows. Allowing for shell spreading, there is always a relativistic or mildly relativistic reverse shock forming in sigma_o < 0.3 ejecta. From this, we conclude that the paucity of optical flashes, believed to be a distinctive signature of a reverse shock, may be explained by the existence of dynamically important magnetic fields in the ejecta.
description: 8 pages, 1 figure, A&A in press, small changes to match the accepted version
Actions on positively curved manifolds and boundary in the orbit space
Creators: name: Gorodski, Claudio
name: Kollross, Andreas
name: Wilking, Burkhard
Publisher: name: arXiv
Year: 2021
Subjects: subject: Differential Geometry (math.DG)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 57S15 53C21 53C35

description: We study isometric actions of compact Lie groups on complete orientable positively curved $n$-manifolds whose orbit spaces have non-empty boundary in the sense of Alexandrov geometry. In particular, we classify quotients of the unit sphere by actions of compact simple Lie groups with non-empty boundary. We deduce from this the list of representations of compact simple Lie groups that admit non-trivial reductions. As a tool of special interest, we introduce a new geometric invariant of a compact symmetric space, namely, the minimal number of points in a "spanning set" of the space.
description: Added explanations to proof of Theorem 1.6 and filled gap in proof of Corollary 1.5. Added proof of Theorem 1.1. Rewrote proof of Lemma 3.1. Corrected statement and proof of Corollary 7.3. Other minor changes
On extra-special Enriques surfaces
Creators: name: Martin, Gebhard
name: Mezzedimi, Giacomo
name: Veniani, Davide Cesare
Publisher: name: arXiv
Year: 2022
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We refine Cossec and Dolgachev's classification of extra-special Enriques surfaces, providing a complete and concise proof.
description: 9 pages
CRISIS COMMUNICATION DURING THE CORONAVIRUS PERIOD: THE CASE OF THE RUSSIAN ORTHODOX CHURCH
Creators: name: Doroshko, A.S.
name: Aliaskarova, J.A.
Publisher: name: Международный журнал гуманитарных и естественных наук
Year: 2021
Subjects: DISCOURSE
INFORMATION POLICY
COVID-19
CRISIS COMMUNICATION
RUSSIAN ORTHODOX CHURCH
POSITIONING

description: The article considers approaches to the definition of crisis communication and practical case of its implementation in the context of communicative strategy of the ROC in time period from March 25 to June 23, 2020 (period of the most stringent quarantine measures in connection with the Covid-19 pandemic). As a result of the analysis, three communication tendencies were identified: supporting state during a pandemic, the missionary tone of information policy and supporting people. These tendencies show that in the conditions of the changing external conjuncture, the church not only did not contribute to the aggravation of a possible social conflict, but also demonstrated its readiness to introduce new methods of interaction with the target audience.
Fine Structures of Solar Radio Type III Bursts and their Possible Relationship with Coronal Density Turbulence
Creators: name: Chen, Xingyao
name: Kontar, Eduard P.
name: Yu, Sijie
name: Yan, Yihua
name: Huang, Jing
name: Tan, Baolin
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Solar radio type III bursts are believed to be the most sensitive signature of near-relativistic electron beam propagation in the corona. A solar radio type IIIb-III pair burst with fine frequency structures, observed by the Low Frequency Array (LOFAR) with high temporal ($\sim10$ ms) and spectral (12.5 kHz) resolutions at 30 - 80 MHz, is presented. The observations show that the type III burst consists of many striae, which have a frequency scale of about 0.1 MHz in both the fundamental (plasma) and the harmonic (double plasma) emission. We investigate the effects of background density fluctuations based on the observation of striae structure to estimate the density perturbation in solar corona. It is found that the spectral index of the density fluctuation spectrum is about $-1.7$, and the characteristic spatial scale of the density perturbation is around $700$ km. This spectral index is very close to a Kolmogorov turbulence spectral index of $-5/3$, consistent with a turbulent cascade. This fact indicates that the coronal turbulence may play the important role of modulating the time structures of solar radio type III bursts, and the fine structure of radio type III bursts could provide a useful and unique tool to diagnose the turbulence in the solar corona.
description: 7 pages (text), 5 figures, Submitted to ApJ
On the infinitesimal rigidity of polyhedra with vertices in convex position
Creators: name: Izmestiev, Ivan
name: Schlenker, Jean-Marc
Publisher: name: arXiv
Year: 2007
Subjects: subject: Differential Geometry (math.DG)
subject: Metric Geometry (math.MG)
subject: FOS: Mathematics

description: Let $P \subset \R^3$ be a polyhedron. It was conjectured that if $P$ is weakly convex (i. e. its vertices lie on the boundary of a strictly convex domain) and decomposable (i. e. $P$ can be triangulated without adding new vertices), then it is infinitesimally rigid. We prove this conjecture under a weak additional assumption of codecomposability. The proof relies on a result of independent interest concerning the Hilbert-Einstein function of a triangulated convex polyhedron. We determine the signature of the Hessian of that function with respect to deformations of the interior edges. In particular, if there are no interior vertices, then the Hessian is negative definite.
description: 12 pages
Refinement Types as Proof Irrelevance
Creators: name: Lovas, William
name: Pfenning, Frank
Publisher: name: Carnegie Mellon University
Year: 2011
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. Proof irrelevance provides a mechanism for selectively hiding the identities of terms in type theories. In this paper, we show that refinement types can be interpreted as predicates using proof irrelevance in the context of the logical framework LF, establishing a uniform relationship between two previously studied concepts in type theory. The interpretation and its correctness proof are surprisingly complex, lending credence to the idea that refinement types are a fundamental construct rather than just a convenient surface syntax for certain uses of proof irrelevance.
Reducing Mechanism Design to Algorithm Design via Machine Learning
Creators: name: Maria-Florina  Belcan
name: Avrim  Blum
name: Hartline, Jason D.
name: Mansour, Yishay
Publisher: name: Carnegie Mellon University
Year: 1973
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We use techniques from sample-complexity in machine learning to reduce problems of incentive-compatible mechanism design to standard algorithmic questions, for a broad class of revenue-maximizing pricing problems. Our reductions imply that for these problems, given an optimal (or -approximation) algorithm for an algorithmic pricing problem, we can convert it into a (1+ε)-approximation (or β(1+ε) approximation) for the incentive-compatible mechanism design problem, so long as the number of bidders is sufficiently large as a function of an appropriate measure of complexity of the class of allowable pricings. We apply these results to the problem of auctioning a digital good, to the attribute auction problem which includes a wide variety of discriminatory pricing problems, and to the problem of item-pricing in unlimited-supply combinatorial auctions. From a machine learning perspective, these settings present several challenges: in particular, the “loss function” is discontinuous, is asymmetric, and has a large range. We address these issues in part by introducing a new form of covering-number bound that is especially well-suited to these problems and may be of independent interest.
On the Normalization and Density of 1D Scattering States
Creators: name: Lin, Chris L.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The normalization of scattering states is more than a rote step necessary to calculate expectation values. This normalization actually contains important information regarding the density of the scattering spectrum (along with useful details on the bound states). For many applications, this information is more useful than the wavefunctions themselves. In this paper we show that this correspondence between scattering state normalization and the density of states is a consequence of the completeness relation, and we present formulas for calculating the density of states which are applicable to certain potentials. We then apply these formulas to the delta function potential and the square well. We then illustrate how the density of states can be used to calculate the partition function for a system of two particles with a point-like (delta potential) interaction.
description: 13 pages, 3 figures
Spectral properties of excitons in the bilayer graphene
Creators: name: Apinyan, V.
name: Kopeć, T. K.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: In this paper, we consider the spectral properties of the bilayer graphene with the local excitonic pairing interaction between the electrons and holes. We consider the generalized Hubbard model, which includes both intralayer and interlayer Coulomb interaction parameters. The solution of the excitonic gap parameter is used to calculate the electronic band structure, single-particle spectral functions, the hybridization gap, and the excitonic coherence length in the bilayer graphene. We show that the local interlayer Coulomb interaction is responsible for the semimetal-semiconductor transition in the double layer system, and we calculate the hybridization gap in the band structure above the critical interaction value. The formation of the excitonic band gap is reported as the threshold process and the momentum distribution functions have been calculated numerically. We show that in the weak coupling limit the system is governed by the Bardeen-Cooper-Schrieffer (BCS)-like pairing state. Contrary, in the strong coupling limit the excitonic condensate states appear in the semiconducting phase, by forming the Dirac's pockets in the reciprocal space.
description: 17 pages, 22 figures
POLITICAL CORRUPTION IN JAPAN: SPECIFICITY AND EXPERIENCE OF COUNTERACTION
Creators: name: Lapshakov, G.S.
Publisher: name: Международный журнал гуманитарных и естественных наук
Year: 2021
Subjects: POLITICAL CORRUPTION
POLITICAL CULTURE
POST-WAR JAPAN
CORRUPTION SCANDALS
JAPANESE POLITICS

description: Japan is a significant example of a state with a low level of everyday corruption but constantly facing major corruption scandals. In other words, Japan has a high level of political corruption, despite the low level of corruption in society as a whole. This article describes the main reasons for this situation and the experience of fight against the critical mechanisms of political corruption in Japan.
Resource Optimisation of Coherently Controlled Quantum Computations with the PBS-calculus
Creators: name: Clément, Alexandre
name: Perdrix, Simon
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Coherent control of quantum computations can be used to improve some quantum protocols and algorithms. For instance, the complexity of implementing the permutation of some given unitary transformations can be strictly decreased by allowing coherent control, rather than using the standard quantum circuit model. In this paper, we address the problem of optimising the resources of coherently controlled quantum computations. We refine the PBS-calculus, a graphical language for coherent control which is inspired by quantum optics. In order to obtain a more resource-sensitive language, it manipulates abstract gates -- that can be interpreted as queries to an oracle -- and more importantly, it avoids the representation of useless wires by allowing unsaturated polarising beam splitters. Technically the language forms a coloured prop. The language is equipped with an equational theory that we show to be sound, complete, and minimal.
 Regarding resource optimisation, we introduce an efficient procedure to minimise the number of oracle queries of a given diagram. We also consider the problem of minimising both the number of oracle queries and the number of polarising beam splitters. We show that this optimisation problem is NP-hard in general, but introduce an efficient heuristic that produces optimal diagrams when at most one query to each oracle is required.
description: 44 pages
Baryon number of the Universe as a result of extra space dynamics
Creators: name: Grobov, A. V.
name: Rubin, S. G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Origin of baryon asymmetry is studied in the framework of extra dimensional approach. Baryon excess production and the symmetrization of extra-space are performed simultaneously. Baryon number is conserved long after the inflationary stage when the U(1) symmetry is achieved.
description: 9 pages
Reducing Boundary Friction Using Translation-Fragment Overlap
Creators: name: Brown, Ralf D
name: Hutchinson, Rebecca
name: Bennett, Paul N
name: Carbonell, Jaime G.
name: Jansen, Peter J
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Many corpus-based Machine Translation (MT) systems generate a number of partial translations which are then pieced together rather than immediately producing one overall translation. While this makes them more robust to ill-formed input, they are subject to disfluencies at phrasal translation boundaries even for well-formed input. We address this “boundary friction” problem by introducing a method that exploits overlapping phrasal translations and the increased confidence in translation accuracy they imply. We specify an efficient algorithm for producing translations using overlap. Finally, our empirical analysis indicates that this approach produces higher quality translations than the standard method of combining non-overlapping fragments generated by our Example-Based MT (EBMT) system in a peak-to-peak comparison.