cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Formation and Eruption of an Active Region Sigmoid: I. Study by Nonlinear Force-Free Field Modeling
Creators: name: Jiang, Chaowei
name: Wu, S. T.
name: Feng, Xueshang
name: Hu, Qiang
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present a magnetic analysis of the formation and eruption of an active region (AR) sigmoid in AR 11283 from 2011 September 4 to 6. To follow the quasi-static evolution of the coronal magnetic field, we reconstruct a time sequence of static fields using a recently developed nonlinear force-free field model constrained by the SDO/HMI vector magnetograms. A detailed analysis of the fields compared with the SDO/AIA observations suggests the following scenario for the evolution of the region. Initially, a new bipole emerges into the negative polarity of a pre-existing bipolar AR, forming a null point topology between the two flux systems. A weakly twisted flux rope (FR) is then built up slowly in the embedded core region, largely through flux-cancellation photospheric reconnections, forming a bald patch separatrix surface (BPSS) separating the FR from its ambient field. The FR grows gradually until its axis runs into a torus instability (TI) domain near the end of the third day, and the BPSS also develops a fully S-shape. Unlike in the case of standard TI, the FR does not erupt instantly since it is still attached at the photosphere along the bald patch (BP) portion of the polarity inversion line. The combined effects of the TI-driven expansion of the FR and the line-tying at the BP tear the FR into two parts with the upper portion freely expelled and the lower portion remaining behind the post-flare arcades. This process dynamically perturbs the BPSS and results in the transient enhanced brightening of the sigmoid. The accelerated expansion of the upper portion of the FR strongly pushes its envelope flux near the null point and triggers breakout reconnection at the null, as evidenced by a remarkable circular flare ribbon, which further facilitates the eruption. We discuss the important implications of these results for the formation and disruption of sigmoid region with FR.
description: 20 Pages, 17 figures, accepted by ApJ
Journeys Through Antigravity?
Creators: name: Carrasco, John Joseph M.
name: Chemissany, Wissam
name: Kallosh, Renata
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: A possibility of journeys through antigravity has recently been proposed, with the suggestion that Weyl-invariant extension of scalars coupled to Einstein gravity allows for an unambiguous classical evolution through cosmological singularities in anisotropic spacetimes. We compute the Weyl invariant curvature squared and find that it blows up for the proposed anisotropic solution both at the Big Crunch as well as at the Big Bang. Therefore the cosmological singularities are not resolved by uplifting Einstein theory to a Weyl invariant model.
description: 13 pages, note, references and acknowledgements added to match JHEP journal version
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
Creators: name: Düdder, Boris
name: Garbe, Oliver
name: Martens, Moritz
name: Rehof, Jakob
name: Urzyczyn, Paweł
Publisher: name: arXiv
Year: 2013
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and an algorithm for inhabitation {\textemdash} is there a combinatory term e with type tau relative to an environment Gamma? {\textemdash} can be used to synthesize compositions. Here, Gamma represents the repository in the form of typed combinators, tau specifies the synthesis goal, and e is the synthesized program. We illustrate our approach by examples, including an application to synthesis from GUI-components.
description: In Proceedings ITRS 2012, arXiv:1307.7849
Strong converse for the classical capacity of the pure-loss bosonic channel
Creators: name: Wilde, Mark M.
name: Winter, Andreas
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Information Theory (cs.IT)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: This paper strengthens the interpretation and understanding of the classical capacity of the pure-loss bosonic channel, first established in [Giovannetti et al., Physical Review Letters 92, 027902 (2004), arXiv:quant-ph/0308012]. In particular, we first prove that there exists a trade-off between communication rate and error probability if one imposes only a mean-photon number constraint on the channel inputs. That is, if we demand that the mean number of photons at the channel input cannot be any larger than some positive number N_S, then it is possible to respect this constraint with a code that operates at a rate g(ηN_S / (1-p)) where p is the code's error probability, η is the channel transmissivity, and g(x) is the entropy of a bosonic thermal state with mean photon number x. We then prove that a strong converse theorem holds for the classical capacity of this channel (that such a rate-error trade-off cannot occur) if one instead demands for a maximum photon number constraint, in such a way that mostly all of the "shadow" of the average density operator for a given code is required to be on a subspace with photon number no larger than n N_S, so that the shadow outside this subspace vanishes as the number n of channel uses becomes large. Finally, we prove that a small modification of the well-known coherent-state coding scheme meets this more demanding constraint.
description: 18 pages, 1 figure; accepted for publication in Problems of Information Transmission
S-Duality for D3-Brane in NS-NS and R-R Backgrounds
Creators: name: Ho, Pei-Ming
name: Ma, Chen-Te
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We construct the low-energy effective field theory for a D3-brane in constant R-R 2-form potential background as the S-dual theory of a D3-brane in NS-NS B-field background. Despite the non-Abelian algebra of the noncommutative U(1) gauge symmetry, the electromagnetic duality transformation can be carried out to all orders, and the dual Lagrangian is given in a compact form. The gauge algebra is found to be a mixture of a deformed area-preserving diffeomorphism and the usual U(1) gauge symmetry.
description: 29 pages, minor changes
Two-dimensional colloidal mixtures in magnetic and gravitational fields
Creators: name: Löwen, Hartmut
name: Horn, Tobias
name: Neuhaus, Tim
name: Hagen, Borge ten
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: This mini-review is concerned with two-dimensional colloidal mixtures exposed to various kinds of external fields. By a magnetic field perpendicular to the plane, dipole moments are induced in paramagnetic particles which give rise to repulsive interactions leading to complex crystalline alloys in the composition-asymmetry diagram. A quench in the magnetic field induces complex crystal nucleation scenarios. If exposed to a gravitational field, these mixtures exhibit a brazil--nut effect and show a boundary layering which is explained in terms of a depletion bubble picture. The latter persists for time-dependent gravity ("colloidal shaking"). Finally, we summarize crystallization effects when the second species is frozen in a disordered matrix which provides obstacles for the crystallizing component.
description: 13 pages, 9 figures, Eur. Phys. J. Special Topics (accepted)
Aepeomys Thomas 1898
Creators: name: Musser, Guy G.
name: Carleton, Michael D.
Publisher: name: Zenodo
Year: 1993
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Muridae
Aepeomys

description: Aepeomys Thomas, 1898. Ann. Mag. Nat. Hist., ser. 7, 1:452. TYPE SPECIES: Oryzomys lugens Thomas, 1896. COMMENTS: Thomasomyine. Synonymized under Thomasomys by Osgood (1933c) and so followed by Ellerman (1941) and Cabrera (1961); generic status maintained by Gyldenstolpe (1932) and Gardner and Patton (1976). Level of recognition of Aepeomys requires phylogentic investigation involving other thomasomyines.
description: Published as part of Guy G. Musser & Michael D. Carleton, 1993, Order Rodentia - Family Muridae, pp. 501-755 in Mammal Species of the World (2 nd Edition), Washington and London :Smithsonian Institution Press on pages 687-688, DOI: 10.5281/zenodo.7353098
description: {"references": ["Thomas, O. 1896 [1897]. On the genera of rodents: An attempt to bring up to date the current arrangement of the order. Proceedings of the Zoological Society of London, 1896: 1012 - 1028.", "Osgood, W. H. 1933 c. The supposed genera Aepeomys and Inomys. Journal of Mammalogy, 14: 161.", "Ellerman, J. R. 1941. The families and genera of living rodents. Vol. II. Family Muridae. British Museum (Natural History), London, 690 pp.", "Gyldenstolpe, N. 1932. A manual of Neotropical sigmodont rodents. Kungliga Svenska Vetenskapsakademiens Handlingar, Tredje Serien, 11: 1 - 164.", "Gardner, A. L., and J. L. Patton. 1976. Karyotypic variation in oryzomyine rodents (Cricetinae) with comments on chromosomal evolution in the Neotropical cricetine complex. Occasional Papers of the Museum of Zoology, Louisiana State University, 49: 1 - 48."]}
Annotations for Intersection Typechecking
Creators: name: Dunfield, Jana
Publisher: name: arXiv
Year: 2013
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: In functional programming languages, the classic form of annotation is a single type constraint on a term. Intersection types add complications: a single term may have to be checked several times against different types, in different contexts, requiring annotation with several types. Moreover, it is useful (in some systems, necessary) to indicate the context in which each such type is to be used. This paper explores the technical design space of annotations in systems with intersection types. Earlier work (Dunfield and Pfenning 2004) introduced contextual typing annotations, which we now tease apart into more elementary mechanisms: a "right hand" annotation (the standard form), a "left hand" annotation (the context in which a right-hand annotation is to be used), a merge that allows for multiple annotations, and an existential binder for index variables. The most novel element is the left-hand annotation, which guards terms (and right-hand annotations) with a judgment that must follow from the current context.
description: In Proceedings ITRS 2012, arXiv:1307.7849
The resolved structure of the extragalactic supernova remnant SNR 4449-1
Creators: name: Mezcua, M.
name: Lobanov, A. P.
name: Martí-Vidal, I.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present very long baseline interferometry (VLBI) observations of the milliarcsecond-scale radio structure of the supernova remnant SNR 4449$-$1 in the galaxy NGC 4449. This young and superluminous remnant was observed at 1.6 GHz ($λ= 18$\,cm) with the European VLBI Network. The observations confirm earlier identifications of this object with a supernova remnant (SNR) while revealing a somewhat different morphology compared with the structure reported by Bietenholz et al. from VLBI observations at 1.4 GHz. This difference is discussed here in the context of structural sensitivity of both observations. The 1.6 GHz image yields accurate estimates of the size (0.0422 arcsec $\times$ 0.0285 arcsec and 0.8 $\times$ 0.5 pc) and age ($\sim$55 yr) of SNR 4449$-$1. With a total flux of 6.1 $\pm$ 0.6 mJy measured in the VLBI image, the historical lightcurve of the source can be well represented by a power-law decay with a power index of $-$1.19 $\pm$ 0.07. The SNR exhibits a decline rate of the radio emission of 2.2$%$ $\pm$ 0.1$%$ yr$^{-1}$ and a radio luminosity of 1.74 $\times$ 10$^{35}$ erg s$^{-1}$.
description: 7 pages, 6 figures, MNRAS preprint, arXiv:1309.4013
A holographic model of SQUID
Creators: name: Cai, Rong-Gen
name: Wang, Yong-Qiang
name: Zhang, Hai-Qing
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We construct a holographic model of superconducting quantum interference device (SQUID) in the Einstein-Maxwell-complex scalar theory with a negative cosmological constant. The SQUID ring consists of two Josephson junctions which sit on two sides of a compactified spatial direction of a Schwarzschild-AdS black brane. These two junctions interfere with each other and then result in a total current depending on the magnetic flux, which can be deduced from the phase differences of the two Josephson junctions. The relation between the total current and the magnetic flux is obtained numerically.
description: 9 pages; 3 figures; More comments added; Accepted by JHEP
Spinor derivation of quasilocal mean curvature mass in General Relativity
Creators: name: Anco, Stephen C.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A spinor derivation is presented for quasilocal mean-curvature mass of spacelike 2-surfaces in General Relativity. The derivation is based on the Sen-Witten spinor identity and involves the introduction of novel nonlinear boundary conditions related to the Dirac current of the spinor at the 2-surface and the tangential flux of a boundary Dirac operator, as well the use of a spin basis adapted to the mean curvature frame of the 2-surface normal space. This setting may provide an alternative approach to a positivity proof for mean-curvature mass based on showing that Witten's equation admits a spinor solution satisfying the proposed nonlinear boundary conditions.
The Maximum Matrix Contraction Problem
Creators: name: Watel, Dimitri
name: Poirion, Pierre-Louis
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computational Complexity (cs.CC)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: In this paper, we introduce the Maximum Matrix Contraction problem, where we aim to contract as much as possible a binary matrix in order to maximize its density. We study the complexity and the polynomial approximability of the problem. Especially, we prove this problem to be NP-Complete and that every algorithm solving this problem is at most a $2\sqrt{n}$-approximation algorithm where n is the number of ones in the matrix. We then focus on efficient algorithms to solve the problem: an integer linear program and three heuristics.
THE IMPORTANCE OF LEARNING HOW TO DRIVE TRACTORS AND VEHICLES
Creators: name: Salomova, Diyora
name: Masharipov, Mashkhurbek
name: Mirvaliyeva, Gavhar
Publisher: name: Zenodo
Year: 2023

description: This article discusses the process of learning to drive tractors and vehicles, challenges, achievements and opportunities in acquiring effective vehicle driving skills and their future importance.
XMM-Newton Publication Statistics
Creators: name: Ness, J. -U.
name: Parmar, A. N.
name: Valencic, L. A.
name: Smith, R.
name: Loiseau, N.
name: Salama, A.
name: Ehle, M.
name: Schartel, N.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: We assessed the scientific productivity and data usage statistics of XMM-Newton by examining 3272 refereed papers published until the end of 2012 that directly use XMM-Newton data. The SAO/NASA Astrophysics Data System (ADS) was accessed for information on each paper including the number of citations. For each paper, the XMM-Newton observation identifiers and instruments were determined and used extract detailed information from the XMM-Newton archive on the parameters of the observations. The information obtained from these sources was then combined to allow the scientific productivity of the mission to be assessed. Since three years after the launch, about 300 refereed papers per year were published that directly use XMM-Newton data. After more than 13 years in operation, this rate shows no decline. Since 2002, around 100 scientists per year have become lead authors for the first time. Each refereed XMM-Newton paper receives around four citations per year in the first few years with a long-term citation rate of three citations per year, more than five years after publication. About half of the articles citing XMM-Newton articles are not primarily X-ray observational papers. The distribution of elapsed time between observations taken under the Guest Observer programme and first article peaks at 2 years with a possible second peak at 3.25 years. Observations taken under the Target of Opportunity programme are published significantly faster, after one year on average. 90% of science time taken until the end of 2009 has been used in at least one article. Most observations were used more than once, yielding on average a factor of two in usage on available observing time per year. About 20% of all slew observations have been used in publications. The scientific productivity of XMM-Newton remains extremely high with no evidence that it is decreasing after more than 13 years of operations.
description: In press in Astronomische Nachrichten
Aepeomys fuscatus J. A. Allen 1912
Creators: name: Musser, Guy G.
name: Carleton, Michael D.
Publisher: name: Zenodo
Year: 1993
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Muridae
Aepeomys
Aepeomys fuscatus

description: Aepeomys fuscatus J. A. Allen, 1912. Bull. Am. Mus. Nat. Hist., 31:89. TYPE LOCALITY: Colombia, Valle del Cauca Dept., San Antonio, 2040 m. DISTRIBUTION: W and C Andes of Colombia. COMMENTS: Formerly ranked as a subspecies of A. lugens (Cabrera, 1961). Chromosomal morphology highly divergent among thomasomyines reported by Gardner and Patton (1976), who listed it as a species without explanation.
description: Published as part of Guy G. Musser & Michael D. Carleton, 1993, Order Rodentia - Family Muridae, pp. 501-755 in Mammal Species of the World (2 nd Edition), Washington and London :Smithsonian Institution Press on page 688, DOI: 10.5281/zenodo.7353098
description: {"references": ["Gardner, A. L., and J. L. Patton. 1976. Karyotypic variation in oryzomyine rodents (Cricetinae) with comments on chromosomal evolution in the Neotropical cricetine complex. Occasional Papers of the Museum of Zoology, Louisiana State University, 49: 1 - 48."]}
Modeling multisystem biological effects of multiroute exposures to air pollutants
Creators: name: Chao, Longfei
Publisher: name: No Publisher Supplied
Year: 2020

description: Nine out of ten people are breathing polluted air worldwide. Health concerns associated with human exposures to air pollutants, such as ozone and particulate matter (PM), have become a persisting and widespread problem around the globe. Interconnected, multiscale, mechanistic models were developed to study the exposure biology of air pollution in the respiratory, cardiovascular and integumentary systems, resulting from inhalation and dermal contact exposure routes. Lung function alterations were linked with ozone inhalation using a multiscale model that considers pulmonary surfactant depletion by ozone reactions, pulmonary inflammation after ozone exposure and the expansion / contraction of the alveolar units. A computational model for cardiovascular effects of air pollution was developed and implemented for human PM exposure using heart rate variability (HRV) as the health endpoint. Specific considerations were given to PM-initiated excessive oxidative stress and pro/ anti-inflammatory signaling at cellular level, neuroendocrine-immune system interactions and systemic inflammation propagation. The skin biology after air pollutant exposure was studied by mechanistic models that respectively addressed skin surface reactions, AhR activation and cell cycle regulation in keratinocytes. Inflammatory responses are often evoked when air pollutants exert their detrimental effects in any physiological system mentioned above. Macrophage is an essential type of immune cell that plays critical roles in the regulation of inflammation. An agent-based model that spans molecular, cellular and tissue levels was developed aiming at reproducing and elucidating the dynamics of macrophage polarization under various complex activation signals, while considering system stochasticity and heterogeneity. Key factors in signaling cascades were included in this model, and critical underlying regulatory controls influencing the polarization process were explored and quantified. All models were evaluated with data of in vitro and in vivo measurements from different sources. These models formed a platform that integrates physiological, biochemical and experimental information for various organ systems to mechanistically investigate biological effects initiated by air pollutants.
Digital Agriculture in Viet Nam: Conditions and Prospect of Development
Creators: name: Loi, Nguyen Thi Ngoc
name: Loi, Nguyen Thi Ngoc
Publisher: name: Unknown
Year: 2022
Subjects: subject: Agricultural and Food Policy
subject: Risk and Uncertainty
subject: digital agriculture
subject: conditions
subject: readiness
subject: transformation
subject: challenges
subject: Viet Nam

description: The real context of climate change and pandemic has emphasized the enormous significance of agriculture to society and paved a path to digitization. Each country's agricultural digitalization strategies must not only focus on the technological aspects of the production system but as well present an overview of how this field of study is establishing and developing. To address this issue, a research was carried out to identify priority research questions concerning digital agriculture in Viet Nam, but with a view to also informing international contexts. The study applied a combination of methods including descriptive statistics, review of related researches reflecting the application of digital technology in agriculture, as well as systematic and institutional approaches to create the conditions for the development of digital agriculture. Concurrently, taking into account the readiness limitation of economic actors' for digital transformation is also presented in this study. Viet Nam is in the early stages of digital transformation in agriculture. Digital readiness is critical to grasping and implementing existing technologies and transforming agriculture. In order for the digital transformation to come into play in a positive way, the institutional decisions of the authorities are crucial to the major challenges facing Viet Nam's agriculture, such as digital inequalities, human resources, financial, and infrastructure constraints and inadequate awareness of existing technologies.
Bounding normalization time through intersection types
Creators: name: De Benedetti, Erika
name: Della Rocca, Simona Ronchi
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.
description: In Proceedings ITRS 2012, arXiv:1307.7849
Chemical energy in an introductory physics course for the life sciences
Creators: name: Dreyfus, Benjamin W.
name: Gouvea, Julia
name: Geller, Benjamin D.
name: Sawtelle, Vashti
name: Turpen, Chandra
name: Redish, Edward F.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Physics Education (physics.ed-ph)
subject: Biological Physics (physics.bio-ph)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: Energy is a complex idea that cuts across scientific disciplines. For life science students, an approach to energy that incorporates chemical bonds and chemical reactions is better equipped to meet the needs of life sciences students than a traditional introductory physics approach that focuses primarily on mechanical energy. We present a curricular sequence, or thread, designed to build up students' understanding of chemical energy in an introductory physics course for the life sciences. This thread is designed to connect ideas about energy from physics, biology, and chemistry. We describe the kinds of connections among energetic concepts that we intended to develop to build interdisciplinary coherence, and present some examples of curriculum materials and student data that illustrate our approach.
description: 11 pages
On the Solutions of infinite systems of linear equations
Creators: name: Hernandez-Pastora, J. L.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: New theorems about the existence of solution for a system of infinite linear equations with a Vandermonde type matrix of coefficients are proved. Some examples and applications of these results are shown. In particular, a kind of these systems is solved and applied in the field of the General Relativity Theory of Gravitation. The solution of the system is used to construct a relevant physical representation of certain static and axisymmetric solution of the Einstein vacuum equations. In addition, a newtonian representation of these relativistic solutions is recovered. It is shown as well that there exists a relation between this application and the classical Haussdorff moment problem.
description: Accepted for publication in General Relativity and Gravitation
QED plasma in a background of static gravitational fields
Creators: name: Brandt, F. T.
name: Frenkel, J.
name: Siqueira, J. B.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We obtain the effective Lagrangian of static gravitational fields interacting with a QED plasma at high temperature. Using the equivalence between the static hard thermal loops and those with zero external energy-momentum, we compute the effective Lagrangian up to two-loop order. We also obtain a non-perturbative contribution which arises from the sum of all infrared divergent ring-diagrams. From the gauge and Weyl symmetries of the theory, we deduce to all orders that this effective Lagrangian is equivalent to the pressure of a QED plasma in Minkowski space-time, with the global temperature replaced by the Tolman local temperature.
description: Revised version to be published in Phys. Rev. D (9 pages, 4 figures)
Toward Isomorphism of Intersection and Union types
Creators: name: Coppo, Mario
name: Dezani-Ciancaglini, Mariangiola
name: Margaria, Ines
name: Zacchi, Maddalena
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1, Lambda calculus and related systems

description: This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably, invertible terms are linear terms of a particular shape, called finite hereditary permutators. Typing properties of finite hereditary permutators are then studied in a relevant type inference system with intersection and union types for linear terms. In particular, an isomorphism preserving reduction between types is defined. Type reduction is confluent and terminating, and induces a notion of normal form of types. The properties of normal types are a crucial step toward the complete characterisation of type isomorphism. The main results of this paper are, on one hand, the fact that two types with the same normal form are isomorphic, on the other hand, the characterisation of the isomorphism between types in normal form, modulo isomorphism of arrow types.
description: In Proceedings ITRS 2012, arXiv:1307.7849
Cauchy-Schwarz inequality and particle entanglement
Creators: name: Wasak, T.
name: Szankowski, P.
name: Zin, P.
name: Trippenbach, M.
name: Chwedenczuk, J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: The Glauber-Sudarshan $P$-representation is used in quantum optics to distinguish between semi-classical and genuinely quantum electromagnetic fields. We employ the analog of the $P$-representation to show that the violation of the Cauchy-Schwarz inequality for the second-order correlation function is a proof of entanglement between identical massive bosons. The presented derivation is valid both in systems with fixed and fluctuating number of particles. Thanks to the recent advances in techniques of detecting positions of separate particles, the violation of the Cauchy-Schwarz inequality can be used as a simple entanglement criterion in various many-body quantum systems.
description: 7 pages, 1 figure
title: Παραγωγή Μπύρας Χωρίς Αλκοόλ
title: Production of non-alcoholic beer
titleType: AlternativeTitle
Creators: name: Αλημπαμπούδη, Δήμητρα
name: Κοττάκης, Χριστόφορος
Publisher: name: Πανεπιστήμιο Δυτικής Αττικής
Year: 2021
Subjects: Μπύρα
Αλκοόλ
Beer
Afbs
Nabs
Non alcohol beer
Μπύρα χωρίς αλκοόλ

description: Η παρούσα εργασία αποτελεί μια μελέτη των φυσικών και βιοχημικών συνθήκων που μπορούν να επιδράσουν στον μεταβολικό μονοπάτι που ακολουθούν οι ζύμες του ζύθου ώστε να περιοριστεί η παραγωγή της αιθανόλης και να παραχθεί μια μπύρα χωρίς ή με ελάχιστο αλκοόλ .Ένα τέτοιο προϊόν εκφράζεται στον σύγχρονο πολιτισμό ως ανάγκη από πλευράς των καταναλωτών που επιδιώκουν έναν υγιεινό τρόπο ζωής οπου το αλκοόλ θα συμμετάσχει στο ελάχιστο χωρίς να στερούνται τις γευστικές απολαύσεις της μπύρας. Αλλά και από πλευράς της βιομηχανίας ζύθου η μπίρα χωρίς αλκοόλ προβάλει ως μια καινοτομία που έρχεται να απαντήσει στις σύγχρονες ανάγκες. Ξεκινώντας από απλές διαδικασίες όπως είναι ο βρασμός της μπύρας ώστε να απομακρυνθεί η αιθανόλη οι τεχνολογικές διαδικασίες εξελίχτηκαν με τα χρόνια. Μηχανικές διατάξεις που συνδυάζουν σύνθετες μεταβολές των φυσικών συνθηκών όπως πίεσης και θερμοκρασίας παρήγαγαν μπύρα χωρίς αλκοόλη αρκετά ποιοτική. Συγχρόνως όμως εξελίχθηκαν και βιοχημικές παρεμβάσεις στην ίδια την ανάπτυξη των ζυμών, των ζωντανών αυτών οργανισμών που ευθύνονται για της ζυθοποίηση. Από την πιο απλή επιλογή και απομόνωση εκείνων των στελεχών που παράγουν λιγότερη αλκοόλη έως τον γενετικό μετασχηματισμό των ζυμών που συμμετέχουν στην ζύμωση του ζυθογλεύκους, οι προσπάθειες της επιστήμης της βιοτεχνολογίας συνέβαλαν και συμβάλλουν σημαντικά στο ίδιο σκοπό δηλ. στη παραγωγή μπύρας χωρίς αλκοόλ. Η παρούσα εργασία επιχειρεί να συμβάλει με τη σειρά της , στην μελέτη και την ερευνά των συγχρόνων και περίπλοκων αλληλεπιδράσεων κατά τον μεταβολισμό των ζυμών, μελετώντας και επιβεβαιώνοντας πειραματικά πώς η αυξημένη θερμοκρασία κατά την διαδικασία πολτοποίησης , η μείωση του p H και η χρήση επιλεγμένων ζυμών μπορούν να αποτελέσουν ικανές συνθήκες για την παραγωγή μπύρας με μειωμένη έως ελάχιστη αλκοόλη .Τόσο η υψηλή θερμοκρασία πολτοποίησης όσο και η χρήση ειδικών ζυμών αποδεχθήκαν αποτελεσματικές μέθοδοι για την μείωση της παραγόμενης αλκοόλης ,ενώ βοηθητικό ρολό έπαιξε το αρχικά χαμηλό πλατό του ζυθογλεύκους. Η διαδικασία απεδείχθη αρκετά περιπλοκή και ευαίσθητη σε εξωγενείς παράγοντες πράγμα που οδήγησε στην μη επίτευξη του στόχου για λιγότερη από 0,5% αλκοόλη.
Aepeomys lugens
Creators: name: Musser, Guy G.
name: Carleton, Michael D.
Publisher: name: Zenodo
Year: 1993
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Muridae
Aepeomys
Aepeomys lugens

description: Aepeomys lugens (Thomas, 1896). Ann. Mag. Nat. Hist., ser. 6, 18:306. TYPE LOCALITY: Venezuela, Merida, La Loma del Morro, 3000 m. DISTRIBUTION: Merida Andes of Venezuela to Andean Ecuador. SYNONYMS: ottleyi, vulcani.
description: Published as part of Guy G. Musser & Michael D. Carleton, 1993, Order Rodentia - Family Muridae, pp. 501-755 in Mammal Species of the World (2 nd Edition), Washington and London :Smithsonian Institution Press on page 688, DOI: 10.5281/zenodo.7353098
Testing the Paradigm of Nuclear Many-Body Theory
Creators: name: Benhar, Omar
Publisher: name: arXiv
Year: 2023
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Nuclear many-body theory is based on the tenet that nuclear systems can be accurately described as collections of point-like particles. This picture, while providing a remarkably accurate explanation of a wealth of measured properties of atomic nuclei, is bound to break down in the high-density regime, in which degrees of freedom other than protons and neutrons are expected to come into play. Valuable information on the validity of the description of dense nuclear matter in terms of nucleons, needed to firmly establish its limit of applicability, can be obtained from electron-nucleus scattering data at large momentum transfer and low energy transfer. The emergence of y-scaling in this kinematic region, unambiguously showing that the beam particles couple to high-momentum nucleons belonging to strongly correlated pairs, indicates that at densities as large as five times nuclear density -- typical of the neutron star interior -- nuclear matter largely behaves as a collection of nucleons.
Educazione e pedagogia interculturale, Agostino Portera, Bologna, Il Mulino, 2022
Creators: name: Alba, Fabio
Publisher: name: Educazione interculturale
Year: 2022

description: Educazione interculturale, Vol. 20 No. 2 (2022): Migrant families. Intergenerational dynamics and inclusion in socio-educational contexts
E Têmis alçou o vôo de Ícaro: ensaio sobre a justiça e a realidade
Creators: name: Pontes, José Antonio
Publisher: name: figshare
Year: 2020
Subjects: subject: 180122 Legal Theory, Jurisprudence and Legal Interpretation
subject: FOS: Law

description: A course record of Methodology of Law, visiting great traditions of history of law and concepts of justice, since greeks until present times, with Themis, the Goddess, as character.
title: Основы проектирования дорог. Городские транспортные сооружения. Проектирование транспортных развязок
Creators: name: ELS IPR BOOKS
Publisher: name: Ростовский государственный строительный университет
Year: 2015

description: Приведена основная информация о городских транспортных сооружениях. Описаны современные подходы к их проектированию и направления развития схем транспортных развязок. Материал сопровождается иллюстрациями по каждому разделу. Приводятся общие положения по методике обучения живописи и ряда технологий. Изложена история различных жанров и видов искусства, в рамках которых раскрываются значения символов, широко использовавшихся в творчестве различных мастеров. Предназначено для обучающихся по направлению подготовки 08.03.01 «Строительство» профили «Автодорожные мосты и тоннели» и «Автомобильные дороги», по специальности 08.05.01 «Строительство уникальных зданий и сооружений», специализация «Строительство автомагистралей, аэродромов и специальных сооружений».
Coarsening dynamics in a simplified DNLS model
Creators: name: Iubini, Stefano
name: Politi, Antonio
name: Politi, Paolo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We investigate the coarsening evolution occurring in a simplified stochastic model of the Discrete NonLinear Schrödinger (DNLS) equation in the so-called negative-temperature region. We provide an explanation of the coarsening exponent $n=1/3$, by invoking an analogy with a suitable exclusion process. In spite of the equivalence with the exponent observed in other known universality classes, this model is certainly different, in that it refers to a dynamics with two conservation laws.
Genere, storia diversità e culture. Questioni che toccano l’educazione, Elisabetta Marino e Carla Roverselli, Napoli, Paolo Loffredo Editore, 2022
Creators: name: Macale, Carlo
Publisher: name: Educazione interculturale
Year: 2022

description: Educazione interculturale, Vol. 20 No. 2 (2022): Migrant families. Intergenerational dynamics and inclusion in socio-educational contexts
Generalized Cauchy Determinants
Creators: name: Thomas, Richardson
Publisher: name: Zenodo
Year: 2008

description: This paper classifies the sequences that satisfy a generalization of the Cauchy determinant formula. They are the generalized Fibonacci numbers, up to a scalar multiple. Following this, it is determined which of these sequences generate Hankel matrices of unit fractions with integer inverses. As a corollary we obtain another proof that the Filbert Matrix has an inverse with integer entries, complementing proofs using WZ theory and orthogonal polynomials.
Akodon Meyen 1833
Creators: name: Musser, Guy G.
name: Carleton, Michael D.
Publisher: name: Zenodo
Year: 1993
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Muridae
Akodon

description: Akodon Meyen, 1833. Verhandl. Kais. Leop.-Carol. Akad. Wiss., 16(2):599. TYPE SPECIES: Akodon boliviensis Meyen, 1833. SYNONYMS: Abrothrix, Chalcomys, Deltamys, Hypsimys, Microxus, Thaptomys. COMMENTS: The morphotypical akodontine genus stands at the nexus of a host of specific- and generic-level taxonomic problems. To review all classificatory variations here would be more confusing than enlightening; suffice it to say that the nomenclatural history of the following genus-group taxa has been variously intertwined with that of Akodon: Abrothrix, Bolomys, Chalcomys, Chroeomys, Deltamys, Hypsimys, Microxus, Thalpomys, and Thaptomys (especially see Cabrera, 1961; Ellerman, 1941; Gyldenstolpe, 1932; Reig, 1984, 1987; Tate, 1932#; Thomas, 1916c). Comprehension of akodont systematics has been hindered by lack of explicit specimen documentation, careful character analyses, and a phylogenetic context, which in turn erodes decisions about the ranking of genus-group taxa. Fortunately, renewed interest in basic revisionary study will render the alpha systematics of akodonts less imposing (see Apfelbaum and Reig, 1989; Hershkovitz, 1990«, c; Myers, 1989; Myers et al., 1990; Patton et al., 1989; Reig, 1987). See accounts of Bolomys, Chroeomys, and Thalpomys for history and arguments on their generic status.
description: Published as part of Guy G. Musser & Michael D. Carleton, 1993, Order Rodentia - Family Muridae, pp. 501-755 in Mammal Species of the World (2 nd Edition), Washington and London :Smithsonian Institution Press on page 688, DOI: 10.5281/zenodo.7353098
description: {"references": ["Ellerman, J. R. 1941. The families and genera of living rodents. Vol. II. Family Muridae. British Museum (Natural History), London, 690 pp.", "Gyldenstolpe, N. 1932. A manual of Neotropical sigmodont rodents. Kungliga Svenska Vetenskapsakademiens Handlingar, Tredje Serien, 11: 1 - 164.", "Reig, O. A. 1984. Distribucao geografica e historia evolutiva dos roedores muroideos sulamericanos (Cricetidae: Sigmodontinae). Revista Brasileira de Genetica, 7: 333 - 365.", "Thomas, O. 1916 c. The grouping of the South American Muridae commonly referred to Akodon. Annals and Magazine of Natural History, ser. 8, 18: 336 - 340.", "Apfelbaum, L. I., and O. A. Reig. 1989. Allozyme genetic distances and evolutionary relationships in species of akodontine rodents (Cricetidae: Sigmodontinae). Biological Journal of the Linnean Society, 38: 257 - 280.", "Myers, P., J. L. Patton, and M. F. Smith. 1990. A review of the boliviensis group of Akodon (Muridae: Sigmodontinae), with emphasis on Peru and Bolivia. Miscellaneous Publications, Museum of Zoology, University of Michigan, 177: 1 - 104."]}
Log-normal distribution from a process that is not multiplicative but is additive
Creators: name: Mouri, H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences

description: The central limit theorem ensures that a sum of random variables tends to a Gaussian distribution as their total number tends to infinity. However, for a class of positive random variables, we find that the sum tends faster to a log-normal distribution. Although the sum tends eventually to a Gaussian distribution, the distribution of the sum is always close to a log-normal distribution rather than to any Gaussian distribution if the summands are numerous enough. This is in contrast to the current consensus that any log-normal distribution is due to a product of random variables, i.e., a multiplicative process, or equivalently to nonlinearity of the system. In fact, the log-normal distribution is also observable for a sum, i.e., an additive process that is typical of linear systems. We show conditions for such a sum, an analytical example, and an application to random scalar fields such as of turbulence.
description: 8 pages, to appear in Physical Review E
The soft X-ray spectrum of the luminous narrow line Seyfert galaxy PG1211+143 - evidence for a second high velocity outflow component
Creators: name: Pounds, K. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: An XMM-Newton observation of the luminous Seyfert galaxy PG1211+143 in 2001 revealed the first clear evidence for a highly ionised high speed wind (in a non-BAL AGN), with a velocity of v~0.09c based on the identification of blue-shifted absorption lines in both EPIC and RGS spectra. A subsequent analysis of EPIC spectra, including additional absorption lines, led to an upward revision of the wind speed to ~0.14c, while broad band modelling indicated the need for a second, partial covering absorber to account for continuum curvature and spectral variability. We show here, in a new analysis of the XMM-Newton RGS data, that this additional absorber is detected in the soft X-ray spectra, with the higher spectral resolution providing a much improved velocity constraint, with v~0.07c. Similar variability of the 0.07c and 0.14c outflow components suggest they are physically linked, and we speculate that occurs by the fast (primary) wind impacting on small clumps of higher density, slow moving matter close to the disc. We show that strong, velocity broadened soft X-ray emission features, located at the redshift of PG1211+143, indicate the extended scale of the ionised outflow.
description: 7 pages, 4 figures, submitted to MNRAS
Pedagogia postcoloniale. Prospettive radicali per l’intercultura, Giuseppe Burgio, Milano, FrancoAngeli, 2022
Creators: name: Emmanuele, Stella Rita
Publisher: name: Educazione interculturale
Year: 2022

description: Educazione interculturale, Vol. 20 No. 2 (2022): Migrant families. Intergenerational dynamics and inclusion in socio-educational contexts
Reconciling positional and nominal binding
Creators: name: Ancona, Davide
name: Giannini, Paola
name: Zucca, Elena
Publisher: name: arXiv
Year: 2013
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist. In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positional basis, hence alpha-equivalence holds, whereas in the latter it is done on a nominal basis. The two mechanisms also respectively correspond to static binding, where the existence and type compatibility of the argument are checked at compile-time, and dynamic binding, where they are checked at run-time.
description: In Proceedings ITRS 2012, arXiv:1307.7849
AiM Festival: Community Market Slides
Creators: name: van 't Veer, Anna
name: Zanolie, Kiki
name: Plak, Rachel
name: Jolles, Dietsje
name: Rudmann, Dan
name: Grant, Friedel
name: Gold, Margaret
name: Cramer, Julia
Publisher: name: Zenodo
Year: 2023

description: Slides from the Community Market, held as part of the Academia in Motion Festival on 2 November 2023.
Electric dipole polarizability of alkaline-Earth-metal atoms from perturbed relativistic coupled-cluster theory with triples
Creators: name: Chattopadhyay, S.
name: Mani, B. K.
name: Angom, D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: The perturbed relativistic coupled-cluster (PRCC) theory is applied to calculate the electric dipole polarizabilities of alkaline Earth metal atoms. The Dirac-Coulomb-Breit atomic Hamiltonian is used and we include the triple excitations in the relativistic coupled-cluster (RCC) theory. The theoretical issues related to the triple excitation cluster operators are described in detail and we also provide details on the computational implementation. The PRCC theory results are in good agreement with the experimental and previous theoretical results. We, then, highlight the importance of considering the Breit interaction for alkaline Earth metal atoms.
description: 13 pages, 11 figures, 9 tables, Minor changes, References updated
Intercultura e infanzia nei servizi educativi 0-6. Prospettive in dialogo, Isabella Pescarmona (a cura di), Torino, Teoria e ricerca in educazione, 2021
Creators: name: Mussi, Alessandra
Publisher: name: Educazione interculturale
Year: 2022

description: Educazione interculturale, Vol. 20 No. 2 (2022): Migrant families. Intergenerational dynamics and inclusion in socio-educational contexts
Field-theoretical study of the Bose polaron
Creators: name: Rath, Steffen Patrick
name: Schmidt, Richard
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study the properties of the Bose polaron, an impurity strongly interacting with a Bose-Einstein condensate, using a field-theoretic approach and make predictions for the spectral function and various quasiparticle properties that can be tested in experiment. We find that most of the spectral weight is contained in a coherent attractive and a metastable repulsive polaron branch. We show that the qualitative behavior of the Bose polaron is well described by a non-selfconsistent T-matrix approximation by comparing analytical results to numerical data obtained from a fully selfconsistent T-matrix approach. The latter takes into account an infinite number of bosons excited from the condensate.
description: 11+7 pages, 10 figures. Published Version. Title changed accordingly