cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A cautionary case of casual causality
Creators: name: Chen, Calvin Y. -R.
name: de Rham, Claudia
name: Margalit, Aoibheann
name: Tolley, Andrew J.
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We distinguish between the notions of asymptotic causality and infrared causality for gravitational effective field theories, and show that the latter gives constraints consistent with gravitational positivity bounds. We re-explore the scattering of gravitational waves in a spherically symmetric background in the EFT of gravity in $D\ge 5$, for which the leading-order correction to Einstein gravity is determined by the Gauss-Bonnet operator. We reproduce the known result that the truncated effective theory exhibits apparent time advances relative to the background geometry for specific polarisations, which naively signal a violation of causality. We show that by properly identifying the regime of validity of the effective theory, the apparent time advance can be shown to be unresolvable. To illustrate this, we identify specific higher-dimension operators in the EFT expansion which become large for potentially resolvable time advances, rendering the EFT expansion invalid. Our results demonstrate how staying within the confines of the EFT, neither infrared nor asymptotic causality are ever violated for Einstein-Gauss-Bonnet gravity, no matter how low the scale, and furthermore its causality can be understood without appealing to a precise UV completion such as string theory.
description: 28 pages + appendices; v2: typos corrected
The Discovery of a Gravitationally Lensed Supernova Ia at Redshift 2.22
Creators: name: Rubin, David
name: Hayden, Brian
name: Huang, Xiaosheng
name: Aldering, Greg
name: Amanullah, Rahman
name: Barbary, Kyle
name: Boone, Kyle
name: Brodwin, Mark
name: Deustua, Susana E.
name: Dixon, Sam
name: Eisenhardt, Peter
name: Fruchter, Andrew S.
name: Gonzalez, Anthony H.
name: Goobar, Ariel
name: Gupta, Ravi R.
name: Hook, Isobel
name: Jee, M. James
name: Kim, Alex G.
name: Kowalski, Marek
name: Lidman, Chris E.
name: Linder, Eric
name: Luther, Kyle
name: Nordin, Jakob
name: Pain, Reynald
name: Perlmutter, Saul
name: Raha, Zachary
name: Rigault, Mickael
name: Ruiz-Lapuente, Pilar
name: Saunders, Clare M.
name: Sofiatti, Caroline
name: Spadafora, Anthony L.
name: Stanford, S. Adam
name: Stern, Daniel
name: Suzuki, Nao
name: Williams, Steven C.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present the discovery and measurements of a gravitationally lensed supernova (SN) behind the galaxy cluster MOO J1014+0038. Based on multi-band Hubble Space Telescope and Very Large Telescope (VLT) photometry of the supernova, and VLT spectroscopy of the host galaxy, we find a 97.5% probability that this SN is a SN Ia, and a 2.5% chance of a CC SN. Our typing algorithm combines the shape and color of the light curve with the expected rates of each SN type in the host galaxy. With a redshift of 2.2216, this is the highest redshift SN Ia discovered with a spectroscopic host-galaxy redshift. A further distinguishing feature is that the lensing cluster, at redshift 1.23, is the most distant to date to have an amplified SN. The SN lies in the middle of the color and light-curve shape distributions found at lower redshift, disfavoring strong evolution to z = 2.22. We estimate an amplification due to gravitational lensing of 2.8+0.6-0.5 (1.10 +- 0.23 mag)---compatible with the value estimated from the weak-lensing-derived mass and the mass-concentration relation from LambdaCDM simulations---making it the most amplified SN Ia discovered behind a galaxy cluster.
description: Accepted for publication in ApJ
Boundary time crystals
Creators: name: Iemini, F.
name: Russomanno, A.
name: Keeling, J.
name: Schirò, M.
name: Dalmonte, M.
name: Fazio, R.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: Other Condensed Matter (cond-mat.other)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: In this work we introduce {\it boundary time-crystals}. Here {\it continuous} time-translation symmetry breaking occurs only in a macroscopic fraction of a many-body quantum system. After introducing their definition and properties, we analyse in detail a solvable model where an accurate scaling analysis can be performed. The existence of the boundary time crystals is intimately connected to the emergence of a time-periodic steady state in the thermodynamic limit of a many-body open quantum system. We also discuss connections to quantum synchronisation.
description: 6 + 9 pages, 4 + 7 figures
Mapping higher-order network flows in memory and multilayer networks with Infomap
Creators: name: Edler, Daniel
name: Bohlin, Ludvig
name: Rosvall, Martin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Social and Information Networks (cs.SI)
subject: Physics and Society (physics.soc-ph)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: Comprehending complex systems by simplifying and highlighting important dynamical patterns requires modeling and mapping higher-order network flows. However, complex systems come in many forms and demand a range of representations, including memory and multilayer networks, which in turn call for versatile community-detection algorithms to reveal important modular regularities in the flows. Here we show that various forms of higher-order network flows can be represented in a unified way with networks that distinguish physical nodes for representing a~complex system's objects from state nodes for describing flows between the objects. Moreover, these so-called sparse memory networks allow the information-theoretic community detection method known as the map equation to identify overlapping and nested flow modules in data from a range of~different higher-order interactions such as multistep, multi-source, and temporal data. We derive the map equation applied to sparse memory networks and describe its search algorithm Infomap, which can exploit the flexibility of sparse memory networks. Together they provide a general solution to reveal overlapping modular patterns in higher-order flows through complex systems.
description: 23 pages, 4 figures
Optimal explicit stabilized integrator of weak order one for stiff and ergodic stochastic differential equations
Creators: name: Abdulle, Assyr
name: Almuslimani, Ibrahim
name: Vilmart, Gilles
Publisher: name: arXiv
Year: 2017
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 65C30, 60H35, 65L20, 37M25

description: A new explicit stabilized scheme of weak order one for stiff and ergodic stochastic differential equations (SDEs) is introduced. In the absence of noise, the new method coincides with the classical deterministic stabilized scheme (or Chebyshev method) for diffusion dominated advection-diffusion problems and it inherits its optimal stability domain size that grows quadratically with the number of internal stages of the method. For mean-square stable stiff stochastic problems, the scheme has an optimal extended mean-square stability domain that grows at the same quadratic rate as the deterministic stability domain size in contrast to known existing methods for stiff SDEs [A. Abdulle and T. Li. Commun. Math. Sci., 6(4), 2008, A. Abdulle, G. Vilmart, and K. C. Zygalakis, SIAM J. Sci. Comput., 35(4), 2013]. Combined with postprocessing techniques, the new methods achieve a convergence rate of order two for sampling the invariant measure of a class of ergodic SDEs, achieving a stabilized version of the non-Markovian scheme introduced in [B. Leimkuhler, C. Matthews, and M. V. Tretyakov, Proc. R. Soc. A, 470, 2014].
Calibration of snow parameters in SWAT: Comparison of three approaches in the Upper Adige River basin (Italy)
Creators: name: Tuo, Ye
name: Marcolini, Giorgia
name: Disse, Markus
name: Chiogna, Gabriele
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Biophysics
subject: Space Science
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Plant Biology

description: The Soil and Water Assessment Tool (SWAT) model is generally applied in alpine catchments using a unique set of snow parameters for the entire basin, and calibration was based on discharge records only. This technical note presents three calibration procedures for snow parameters of SWAT considering snow water equivalent (SWE) values computed using a dense network of snow depth measurement stations available in the Upper Adige River basin, Italy. The first two procedures calibrate snow parameters according to the average sub-basin SWE: the first one defines a unique set of parameters for the entire basin, while the second allows for sub-basin variability. The last approach includes the elevation band SWE output in the calibration for each sub-basin and qualitatively compares it to the SWE computed from the available snow depth monitoring stations. This last method provides the best agreement between SWAT model results and SWE data.
Dark Matter and Neutrino Mass from the Smallest Non-Abelian Chiral Dark Sector
Creators: name: Berryman, Jeffrey M.
name: de Gouvêa, André
name: Kelly, Kevin J.
name: Zhang, Yue
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: All pieces of concrete evidence for phenomena outside the standard model (SM) - neutrino masses and dark matter - are consistent with the existence of new degrees of freedom that interact very weakly, if at all, with those in the SM. We propose that these new degrees of freedom organize themselves into a simple dark sector, a chiral SU(3) x SU(2) gauge theory with the smallest nontrivial fermion content. Similar to the SM, the dark SU(2) is spontaneously broken while the dark SU(3) confines at low energies. At the renormalizable level, the dark sector contains massless fermions - dark leptons - and stable massive particles - dark protons. We find that dark protons with masses between 10-100 TeV satisfy all current cosmological and astrophysical observations concerning dark matter even if dark protons are a symmetric thermal relic. The dark leptons play the role of right-handed neutrinos and allow simple realizations of the seesaw mechanism or the possibility that neutrinos are Dirac fermions. In the latter case, neutrino masses are also parametrically different from charged-fermion masses and the lightest neutrino is predicted to be massless. Since the new "neutrino" and "dark matter" degrees of freedom interact with one another, these two new-physics phenomena are intertwined. Dark leptons play a nontrivial role in early universe cosmology while indirect searches for dark matter involve, decisively, dark matter annihilations into dark leptons. These, in turn, may lead to observable signatures at high-energy neutrino and gamma-ray observatories, especially once one accounts for the potential Sommerfeld enhancement of the annihilation cross-section, derived from the low-energy dark-sector effective theory, a possibility we explore quantitatively in some detail.
description: 35 pages, 7 figures. Matches published version
Movable vs Monodromy Nilpotent Cones of Calabi-Yau Manifolds
Creators: name: Hosono, Shinobu
name: Takagi, Hiromichi
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We study mirror symmetry of complete intersection Calabi-Yau manifolds which have birational automorphisms of infinite order. We observe that movable cones in birational geometry are transformed, under mirror symmetry, to the monodromy nilpotent cones which are naturally glued together.
title: ADCO, Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Cart. 29 (G 134), 996 folios, f. 0735
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP

description: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0735, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0735, 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
Zirconia and hafnia polymorphs -- ground state structural properties from diffusion Monte Carlo
Creators: name: Shin, Hyeondeok
name: Benali, Anouar
name: Luo, Ye
name: Crabb, Emily
name: Lopez-Bezanilla, Alejandro
name: Ratcliff, Laura E.
name: Jokisaari, Andrea M.
name: Heinonen, Olle
Publisher: name: arXiv
Year: 2017
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Zirconia (zirconium dioxide) and hafnia (hafnium dioxide) are binary oxides used in a range of applications. Because zirconium and hafnium are chemically equivalent, they have three similar polymorphs, and it is important to understand the properties and energetics of these polymorphs. However, while density functional theory calculations can get the correct energetic ordering, the energy differences between polymorphs depend very much on the specific density functional theory approach, as do other quantities such as lattice constants and bulk modulus. We have used highly accurate quantum Monte Carlo simulations to model the three zirconia and hafnia polymorphs. We compare our results for structural parameters, bulk modulus, and cohesive energy with results obtained from density functional theory calculations. We also discuss comparisons of our results with existing experimental data, in particular for structural parameters where extrapolation to zero temperature can be attempted. We hope our results of structural parameters as well as for cohesive energy and bulk modulus can serve as benchmarks for density-functional theory based calculations and as a guidance for future experiments.
On the Relation between Prediction and Imputation Accuracy under Missing Covariates
Creators: name: Ramosaj, Burim
name: Tulowietzki, Justus
name: Pauly, Markus
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (stat.ML)
subject: Machine Learning (cs.LG)
subject: Applications (stat.AP)
subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: Missing covariates in regression or classification problems can prohibit the direct use of advanced tools for further analysis. Recent research has realized an increasing trend towards the usage of modern Machine Learning algorithms for imputation. It originates from their capability of showing favourable prediction accuracy in different learning problems. In this work, we analyze through simulation the interaction between imputation accuracy and prediction accuracy in regression learning problems with missing covariates when Machine Learning based methods for both, imputation and prediction are used. In addition, we explore imputation performance when using statistical inference procedures in prediction settings, such as coverage rates of (valid) prediction intervals. Our analysis is based on empirical datasets provided by the UCI Machine Learning repository and an extensive simulation study.
description: Includes supplementary material
Construction of exact constants of motion and effective models for many-body localized systems
Creators: name: Goihl, M.
name: Gluza, M.
name: Krumnow, C.
name: Eisert, J.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: One of the defining features of many-body localization is the presence of extensively many quasi-local conserved quantities. These constants of motion constitute a corner-stone to an intuitive understanding of much of the phenomenology of many-body localized systems arising from effective Hamiltonians. They may be seen as local magnetization operators smeared out by a quasi-local unitary. However, accurately identifying such constants of motion remains a challenging problem. Current numerical constructions often capture the conserved operators only approximately restricting a conclusive understanding of many-body localization. In this work, we use methods from the theory of quantum many-body systems out of equilibrium to establish a new approach for finding a complete set of exact constants of motion which are in addition guaranteed to represent Pauli-$z$ operators. By this we are able to construct and investigate the proposed effective Hamiltonian using exact diagonalization. Hence, our work provides an important tool expected to further boost inquiries into the breakdown of transport due to quenched disorder.
description: 8 pages, 8 figures, replaced with published version
title: ADCO, Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0000-004
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/2009
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0000-004, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de l'abbaye de Saint-Seine (XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 165 (10 H 6, ms. 139), 354 pages, f. 0000-004, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Saint-Seine
description: Provenance: http://www.wikidata.org/entity/Q2820709
Supplementary Information from Using activity and sociability to characterize collective motion
Creators: name: Sumpter, David J. T.
name: Szorkovszky, Alex
name: Kotrschal, Alexander
name: Kolm, Niclas
name: Herbert-Read, James E.
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: Ecology
subject: 60801 Animal Behaviour

description: A wide range of measurements can be made on the collective motion of groups, and the movement of individuals within them. These include, but are not limited to: group size, polarization, speed, turning speed, speed or directional correlations, and distances to near neighbours. From an ecological and evolutionary perspective, we would like to know which of these measurements capture biologically meaningful aspects of an animal's behaviour and contribute to its survival chances. Previous simulation studies have emphasized two main factors shaping individuals' behaviour in groups; attraction and alignment. Alignment responses appear important in transferring information between group members and providing synergistic benefits to group members. Likewise, attraction to conspecifics is thought to provide benefits through, for example, selfish herding. Here, we use a factor analysis on a wide range of simple measurements to identify two main axes of collective motion in guppies (Poecilia reticulata): (i) sociability, which corresponds to attraction and (to a lesser degree alignment) to neighbours and (ii) activity, which combines alignment with directed movement. We show that, for guppies, predation in a natural environment produces higher degrees of sociability and (in females) lower degrees of activity, while female guppies sorted for higher degrees of collective alignment have higher degrees of both sociability and activity. We suggest that the activity and sociability axes provide a useful framework for measuring the behaviour of animals in groups, allowing the comparison of individual and collective behaviours within and between species. This article is part of the themed issue ‘Collective movement in ecology: from emerging technologies to conservation and management’.
HST imaging of the brightest z~8-9 galaxies from UltraVISTA: the extreme bright end of the UV luminosity function
Creators: name: Stefanon, Mauro
name: Labbé, Ivo
name: Bouwens, Rychard J.
name: Brammer, Gabriel B.
name: Oesch, Pascal
name: Franx, Marijn
name: Fynbo, Johan P. U.
name: Milvang-Jensen, Bo
name: Muzzin, Adam
name: Illingworth, Garth D.
name: Fèvre, Olivier Le
name: Caputi, Karina I.
name: Holwerda, Benne W.
name: McCracken, Henry J.
name: Smit, Renske
name: Magee, Dan
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We report on the discovery of three especially bright candidate $z_{phot} \gtrsim 8$ galaxies. Five sources were targeted for follow-up with HST/WFC3, selected from a larger sample of 16 bright ($24.8 \lesssim H\lesssim25.5$~mag) candidate $z\gtrsim 8$ LBGs identified over the 1.6 degrees$^2$ of the COSMOS/UltraVISTA field. These were identified as Y and J dropouts by leveraging the deep (Y-to-$K_{S} \sim 25.3-24.8$~mag, $5σ$) NIR data from the UltraVISTA DR3 release, deep ground based optical imaging from the CFHTLS and Subaru Suprime Cam programs and Spitzer/IRAC mosaics combining observations from the SMUVS and SPLASH programs. Through the refined spectral energy distributions, which now also include new HyperSuprime Cam g, r, i, z and Y band data, we confirm that 3/5 galaxies have robust $z_{phot}\sim8.0-8.7$, consistent with the initial selection. The remaining 2/5 galaxies have a nominal $z_{phot}\sim2$. However, if we use the HST data alone, these objects have increased probability of being at $z\sim9$. Furthermore, we measure mean UV continuum slopes $β=-1.91\pm0.26$ for the three $z\sim8-9$ galaxies, marginally bluer than similarly luminous $z\sim4-6$ in CANDELS but consistent with previous measurements of similarly luminous galaxies at $z\sim7$. The circularized effective radius for our brightest source is $0.9\pm0.2$ kpc, similar to previous measurements for a bright $z\sim11$ galaxy and bright $z\sim7$ galaxies. Finally, enlarging our sample to include the six brightest $z\sim8$ LBGs identified over UltraVISTA (i.e., including three other sources from Labbe et al. 2017, in prep.) we estimate for the first time the volume density of galaxies at the extreme bright ($M_{UV}\sim-22$~mag) end of the $z\sim8$ UV LF. Despite this exceptional result, the still large statistical uncertainties do not allow us to discriminate between a Schechter and a double power-law form.
description: Resubmitting after addressing the referee's comments. Appendix B includes the additional 3 sources from Labbe+2017, used for the LF estimate
Acceleration of amyloid fibril formation by multichannel sonochemical reactor
Creators: name: Noi, Kentaro
name: Nakajima, Kichitaro
name: Yamaguchi, Keiichi
name: So, Masatomo
name: Ikenaka, Kensuke
name: Mochizuki, Hideki
name: Goto, Yuji
name: Ogi, Hirotsugu
Publisher: name: arXiv
Year: 2021
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: Formation of amyloid fibrils of various amyloidogenic proteins is dramatically enhanced by ultrasound irradiation. For applying this phenomenon to the study of protein aggregation science and diagnosis of neurodegenerative diseases, a multichannel ultrasound irradiation system with individually adjustable ultrasound-irradiation conditions is necessary. Here, we develop a sonochemical reaction system, where an ultrasonic transducer is placed in each well of a 96-well microplate to perform ultrasonic irradiation of sample solutions under various conditions with high reproducibility, and applied it for studying amyloid-fibril formation of amyloid $β$, $α$-synuclein, $β$2-microglobulin, and lysozyme. The results clearly show that our instrument is superior to conventional shaking method in terms of degree of acceleration and reproducibility of fibril formation reaction. The acceleration degree is controllable by controlling the driving voltage applied to each transducer. We have thus succeeded in developing a useful tool for the study of amyloid fibril formation in various proteins.
Genome file for Sichuan taimen
Creators: name: Zhang, Xinmiao
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 310204
subject: Genomics and transcriptomics

description: Hucho_bleekeri.zip: genome file for Sichuan taimenHucho_bleekeri.annotate.gff: Gene annotation information for Sichuan taimen genome
Legal Struggles: A Social Theory Perspective on Strategic Litigation and Legal Mobilisation
Creators: name: Buckel, Sonja
name: Pichl, Maximilian
name: Alves Vestena, Carolina
Publisher: name: Universität Kassel
Year: 2023
Subjects: subject: legal mobilisation
subject: strategic litigation
subject: social theory
subject: social movements
subject: lawyers
subject: hegemony
subject: 300
subject: Hegemonie
subject: Soziologie
subject: Soziale Bewegung

description: Gefördert im Rahmen des Projekts DEAL
Predicate Pairing for Program Verification
Creators: name: De Angelis, Emanuele
name: Fioravanti, Fabio
name: Pettorossi, Alberto
name: Proietti, Maurizio
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: F.3.1; D.2.4
subject: 68Q60, 68N17

description: It is well-known that the verification of partial correctness properties of imperative programs can be reduced to the satisfiability problem for constrained Horn clauses (CHCs). However, state-of-the-art solvers for CHCs (CHC solvers) based on predicate abstraction are sometimes unable to verify satisfiability because they look for models that are definable in a given class A of constraints, called A-definable models. We introduce a transformation technique, called Predicate Pairing (PP), which is able, in many interesting cases, to transform a set of clauses into an equisatisfiable set whose satisfiability can be proved by finding an A-definable model, and hence can be effectively verified by CHC solvers. We prove that, under very general conditions on A, the unfold/fold transformation rules preserve the existence of an A-definable model, i.e., if the original clauses have an A-definable model, then the transformed clauses have an A-definable model. The converse does not hold in general, and we provide suitable conditions under which the transformed clauses have an A-definable model iff the original ones have an A-definable model. Then, we present the PP strategy which guides the application of the transformation rules with the objective of deriving a set of clauses whose satisfiability can be proved by looking for A-definable models. PP introduces a new predicate defined by the conjunction of two predicates together with some constraints. We show through some examples that an A-definable model may exist for the new predicate even if it does not exist for its defining atomic conjuncts. We also present some case studies showing that PP plays a crucial role in the verification of relational properties of programs (e.g., program equivalence and non-interference). Finally, we perform an experimental evaluation to assess the effectiveness of PP in increasing the power of CHC solving.
description: Published in Theory and Practice of Logic Programming (TPLP)
Appendix S1 from Pattern and process in hominin brain size evolution are scale-dependent
Creators: name: Du, Andrew
name: Zipkin, Andrew M.
name: Hatala, Kevin G.
name: Renner, Elizabeth
name: Baker, Jennifer L.
name: Bianchi, Serena
name: Kallista H. Bernal
name: Wood, Bernard A.
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 40308 Palaeontology (incl. Palynology)
subject: FOS: Earth and related environmental sciences

description: Supplementary methods, results, figures, and tables.
Folding Amplitudes into Form Factors: An Antipodal Duality
Creators: name: Dixon, Lance J.
name: Gurdogan, Omer
name: McLeod, Andrew J.
name: Wilhelm, Matthias
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We observe that the three-gluon form factor of the chiral part of the stress-tensor multiplet in planar $\mathcal{N}=4$ super-Yang-Mills theory is dual to the six-gluon MHV amplitude on its parity-preserving surface. Up to a simple variable substitution, the map between these two quantities is given by the antipode operation defined on polylogarithms (as part of their Hopf algebra structure), which acts at symbol level by reversing the order of letters in each term. We provide evidence for this duality through seven loops.
description: 5+2 pages, 2 figures, 2 tables. v2: added further checks at kinematic points, some clarifications and references; version to appear in PRL
Machine Learning Calabi-Yau Hypersurfaces
Creators: name: Berman, David S.
name: He, Yang-Hui
name: Hirst, Edward
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Algebraic Geometry (math.AG)
subject: Machine Learning (stat.ML)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We revisit the classic database of weighted-P4s which admit Calabi-Yau 3-fold hypersurfaces equipped with a diverse set of tools from the machine-learning toolbox. Unsupervised techniques identify an unanticipated almost linear dependence of the topological data on the weights. This then allows us to identify a previously unnoticed clustering in the Calabi-Yau data. Supervised techniques are successful in predicting the topological parameters of the hypersurface from its weights with an accuracy of R^2 > 95%. Supervised learning also allows us to identify weighted-P4s which admit Calabi-Yau hypersurfaces to 100% accuracy by making use of partitioning supported by the clustering behaviour.
description: 32 pages, 43 figures
Plane Gravitational Waves, the Kinetic Energy of Free Particles and the Memory Effect
Creators: name: Maluf, J. W.
name: da Rocha-Neto, J. F.
name: Ulhoa, S. C.
name: Carneiro, F. L.
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: It is shown that in the passage of a short burst of non-linear plane gravitational wave, the kinetic energy of free particles may either decrease or increase. The decreasing or increasing of the kinetic energy depends crucially on the initial conditions (position and velocity) of the free particle. Therefore a plane gravitational wave may extract energy from a physical system.
description: 14 pages, 12 figures; References added
Unraveling the multivalent Aluminium-ion redox mechanism in 3,4,9,10-Perylenetetracarboxylic dianhydride (PTCDA)
Creators: name: Canever, Nicolò
name: Nann, Thomas
Publisher: name: arXiv
Year: 2021
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Rechargeable Aluminium-organic batteries are an exciting emerging energy storage technology owing to their low cost and promising high performance, thanks to the ability to allow multiple-electron redox chemistry and multivalent Al-ion intercalation. In this work, we use a combination of Density Functional Theory (DFT) calculations and experimental methods to examine the mechanism behind the charge-discharge reaction of the organic dye 3,4,9,10-Perylenetetracarboxylic dianhydride (PTCDA) in the 1,3-ethylmethylimidazolium (EMIm$^+$) chloroaluminate electrolyte. We conclude that, contrary to previous reports claiming the intercalation of trivalent Al$^{3+}$, the actual ionic species involved in the redox reaction is the divalent AlCl$^{2+}$. While a less-than-ideal scenario, this mechanism still allows a theoretical transfer of four electrons per formula unit, corresponding to a remarkable specific capacity of 273 mAh g$^{-1}$. However, the poor reversibility of the reaction and low cycle life of the PTCDA-based cathode, due to its solubility in the electrolyte, make it an unlikely candidate for a commercial application.
Integration and Resilience of Cross-national Families in Singapore
Creators: name: Bernice Loh,
Publisher: name: Asia Research Institute
Year: 2022
Subjects: Cross-National Families
Integration
Migration
Resilience
Singapore

description: Cross-national marriages in Singapore now account for almost a third of all marriages registered but integration in the country is not always easy. Understanding everyday interactions and practical ways of being and belonging of cross-national families might help shed light on migrant experience and building resilience.
[Distinguido amigo, Me complace ponerme en contacto con usted a propósito de la exposición]
Creators: name: Jordi, Balló
name: Balló, Jordi
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2021
Subjects: Exposición "Julio Cortázar, Viajes, imágenes y otros territorios"

description: Pedido de una ampliación de préstamo de los documentos de la exposición "Julio Cortázar, Viajes, imágenes y otros territorios" hasta mayo de 2005 para otras entidades culturales, la Fundación Municipal de Cultura del Ayuntamiento de Valladolid y el Museu Comarcal de la Garrotxa de Olot, porque también están interesadas para presentar una exposición.
description: Destinatario: Yurkievich, Saúl
description: Notas: Papel con membrete "CCCB".
description: Source: Num.Ref. : JC-DY-CAR-04.019
description: Source: Localización del archivo: Centre de Recherches Latino-Américaines (CRLA–Archivos, ITEM UMR8132). MSHS - Bât. A5, 1er étage 5 rue Théodore Lefebvre - TSA21103. 86073 Poitiers cedex 9.
Skyrmion crystal in the RKKY system on the two-dimensional triangular lattice
Creators: name: Mitsumoto, Kota
name: Kawamura, Hikaru
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We study the ordering properties of the isotropic RKKY Heisenberg model on the two-dimensional (2D) triangular lattice by extensive Monte Carlo simulations to get insights into the chiral-degenerate skyrmion crystal (SkX) of metallic magnets. Our Hamiltonian contains only the spin-quadratic RKKY interaction derived from the spherical Fermi surface, containing neither the nesting nor the many-body interaction. The SkX phase is stabilized under applied fields where the frustration associated with the oscillating nature of the RKKY interaction and the emergent many-body interactions generated by thermal fluctuations play important roles. Replica symmetry breaking, reported in our recent study on the 3D RKKY model [Phys. Rev. B 104, 184432 (2021)], turns out to be absent in the present 2D model. Implications to the SkX formation mechanism are discussed.
description: 14 pages, 12 figures
title: ADCO, Comptes du Petit-Cîteaux (1477-1491) (11 H 1179), f. 00172
Creators: name: de la Côte d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
name: Archives Départementales De La Côte D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2019
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
subject: comptes

description: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Comptes du Petit-Cîteaux (1477-1491), Archives départementales de la Côte-d'Or, (11 H 1179), f. 00172, 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
ESM 2 - GuindreParker&Rubenstein - Estimating the number of alloparents by correcting for observation length from Multiple benefits of alloparental care in a fluctuating environment
Creators: name: Guindre-Parker, Sarah
name: Rubenstein, Dustin R.
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Ecology
subject: FOS: Biological sciences
subject: 60801 Animal Behaviour

description: Estimating the number of alloparents by correcting for observation length
Making Fanaroff-Riley I radio sources III. The effects of the magnetic field on relativistic jets' propagation and source morphologies
Creators: name: Massaglia, S.
name: Bodo, G.
name: Rossi, P.
name: Capetti, A.
name: Mignone, A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Extragalactic radio sources appear under different morphologies, the most frequent ones are classified as Fanaroff-Riley type I (FR I), typically with lower luminosities, and Fanaroff-Riley type II, (FR II), typically more luminous. This simple classification, however, has many exceptions that we intend to investigate. Following previous analyses in the three-dimensional Hydrodynamic and Magneto-Hydrodynamic limits, we extend the numerical investigation to the Relativistic Magneto-Hydrodynamic regime, to include sources whose jet kinetic power sets in the range that separates FR Is from FR IIs. We consider weakly and mildly relativistic, underdense, supersonic jets that propagate in a stratified medium. In the model, the ambient temperature increases with distance from the jet origin maintaining constant pressure. We present three cases with low, high and intermediate kinetic luminosity that evolve into different morphologies. We find that the resulting morphology can be highly time dependent and that, apart from the jet power, the jet-to-ambient density ratio and the magnetization parameter play a crucial role in the jet evolution as well.
description: Accepted for publication on Astronomy & Astrophysics
Effect of ora-pro-nobis and tamarillo on diseases prevention and treatment: a systematic review.
Creators: name: de Souza Ferreira, Renata
name: da Silva Bomfim, Natália
name: de Morais, Violeta
name: Ramos, Neuza
name: de Cássia Gonçalves Alfenas, Rita
Publisher: name: Open Science Framework
Year: 2022
Subjects: subject: Dietetics and Clinical Nutrition
subject: Medicine and Health Sciences
subject: Pereskia aculeata
subject: Solanum betaceum
subject: systematic review
subject: unconventional food plants

description: In Brazil, more than 3000 species of unconventional food plants (UFP) are unknown and rarely consumed by the majority of the population (KINUPP & LORENZI, 2014). Among them, Pereskia aculeata (Pereskia aculeata plum., Cactus pereskia L.) and Solanum betaceum (Cyphomandra betacea (cav.) sendtn, Cyphomandra crassifolia (Ortega) kuntze) stand out for being rich in nutrients and bioactive compounds (ANVISA, 2011; BOTREL et al., 2020; DIEP et al., 2020; DIEP et al., et al., 2020; al., 2020; MOURA et al., 2020; PEISINO et al., 2019; SILVERA et al., 2020), which can control and prevent diseases. Pereskia aculeata is popularly known as ora-pro-nóbis, lobrobô, among others. Its leaves, flowers and fruits are edible. It contains protein, dietary fiber, vitamins A, C and B complex, besides minerals such as calcium, zinc and iron (KINUPP & LORENZI, 2014). It has compounds with antioxidant activity (such as polyphenols) and some antinutritional factors, such as trypsin inhibitors, oxalates, tannins (SILVERA et al., 2020). Solanum betaceum is popularly known as tree tomato, Indian tomato, French tomato or tamarillo. The fruit of that plant is edible, which contains fiber, vitamin A, B 6, C and E, phosphorus, potassium and calcium (KINUPP & LORENZI, 2014). It is rich in carotenoids, lycopene, anthocyanin, with antioxidant potential (DIEP et al., 2020). Few clinical studies have evaluated the effects of UFP on diseases prevention and control. To date no systematic review on the effects of Pereskia aculeata and Solanum betaceum on that subject have been identified. Thus, in the systematic review, we intend to critically analyze the studies on that subject in order to identify the minimum amount of these plants that should be consumed to exert such beneficial effects and to describe the mechanisms involved.
Exploring Computation-Communication Tradeoffs in Camera Systems
Creators: name: Mazumdar, Amrita
name: Moreau, Thierry
name: Kim, Sung
name: Cowan, Meghan
name: Alaghi, Armin
name: Ceze, Luis
name: Oskin, Mark
name: Sathe, Visvesh
Publisher: name: arXiv
Year: 2017
Subjects: subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: Cameras are the defacto sensor. The growing demand for real-time and low-power computer vision, coupled with trends towards high-efficiency heterogeneous systems, has given rise to a wide range of image processing acceleration techniques at the camera node and in the cloud. In this paper, we characterize two novel camera systems that use acceleration techniques to push the extremes of energy and performance scaling, and explore the computation-communication tradeoffs in their design. The first case study targets a camera system designed to detect and authenticate individual faces, running solely on energy harvested from RFID readers. We design a multi-accelerator SoC design operating in the sub-mW range, and evaluate it with real-world workloads to show performance and energy efficiency improvements over a general purpose microprocessor. The second camera system supports a 16-camera rig processing over 32 Gb/s of data to produce real-time 3D-360 degree virtual reality video. We design a multi-FPGA processing pipeline that outperforms CPU and GPU configurations by up to 10x in computation time, producing panoramic stereo video directly from the camera rig at 30 frames per second. We find that an early data reduction step, either before complex processing or offloading, is the most critical optimization for in-camera systems.
title: Materials-driven approaches to understand extrinsic drug resistance in cancer
Creators: name: Justin, Pritchard
name: Lee, Michael
name: Peyton, Shelly
Publisher: name: University of Massachusetts Amherst
Year: 2022

description: Metastatic cancer has a poor prognosis, because it is broadly disseminated and associated with both intrinsic and acquired drug resistance. Critical unmet needs in effectively killing drug resistant cancer cells include overcoming the drug desensitization characteristics of some metastatic cancers/lesions, and tailoring therapeutic regimens to both the tumor microenvironment and the genetic profiles of the resident cancer cells. Bioengineers and materials scientists are developing technologies to determine how metastatic sites exclude therapies, and how extracellular factors (including cells, proteins, metabolites, extracellular matrix, and abiotic factors) at metastatic sites significantly affect drug pharmacodynamics. Two looming challenges are determining which feature, or combination of features, from the tumor microenvironment drive drug resistance, and what the relative impact is of extracellular signals vs. intrinsic cell genetics in determining drug response. Sophisticated systems biology tools that can de-convolve a crowded network of signals and responses, as well as controllable microenvironments capable of providing discrete and tunable extracellular cues can help us begin to interrogate the high dimensional interactions governing drug resistance in patients.
Lattice thermal conductivity in isotope diamond asymmetric superlattices
Creators: name: Weng, Hsu Kai
name: Nagakubo, Akira
name: Watanabe, Hideyuki
name: Ogi, Hirotsugu
Publisher: name: arXiv
Year: 2021
Subjects: subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: We study lattice thermal conductivity of isotope diamond superlattices consisting of 12C and 13C diamond layers at various superlattice periods. It is found that the thermal conductivity of a superlattice is significantly deduced from that of pure diamond because of the reduction of the phonon group velocity near the folded Brillouin zone. The results show that asymmetric superlattices with different number of layers of 12C and 13C diamonds exhibit higher thermal conductivity than symmetric superlattices even with the same superlattice period, and we find that this can be explained by the trade-off between the effects of phonon specific heat and phonon group velocity. Furthermore, impurities and imperfect superlattice structures are also found to significantly reduce the thermal conductivity, suggesting that these effects can be exploited to control the thermal conductivity over a wide range.
ESM 1 - GuindreParker&Rubenstein - The number of alloparents at a nest is independent of group size from Multiple benefits of alloparental care in a fluctuating environment
Creators: name: Guindre-Parker, Sarah
name: Rubenstein, Dustin R.
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Ecology
subject: FOS: Biological sciences
subject: 60801 Animal Behaviour

description: The number of alloparents at a nest is independent of group size