cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Haematopietic stem cells -- entropic landscapes of differentiation
Creators: name: Wiesner, K.
name: Teles, J.
name: Hartnor, M.
name: Peterson, C.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cell Behavior (q-bio.CB)
subject: FOS: Biological sciences

description: The metaphor of a potential epigenetic differentiation landscape broadly suggests that during differentiation a stem cell follows the steepest descending gradient toward a stable equilibrium state which represents the final cell type. It has been conjectured that there is an analogy to the concept of entropy in statistical mechanics. In this context, in the undifferentiated state the entropy would be large since fewer constraints exist on the gene expression programs of the cell. As differentiation progresses, gene expression programs become more and more constrained and thus the entropy would be expected to decrease. Such an entropy decrease would, in analogy to statistical mechanics, require some form of free energy to decrease accordingly. In order to assess these predictions, we compute the Shannon entropy for time-resolved single-cell gene expression data in two different experimental setups of haematopoietic differentiation. We find that the behaviour of this entropy measure is in contrast to these predictions. In particular, we find that the Shannon entropy is not a decreasing function of developmental pseudo-time but instead it increases toward the point of commitment before decreasing again. This behaviour is consistent with an increase in gene expression disorder observed in populations sampled at the point of commitment. Single cells in these populations exhibit different combinations of regulator activity that suggest the presence of multiple configurations of a potential differentiation network as a result of multiple entry points into the committed state.
description: 11 pages, 3 figures + 1 supplementary figure
Lettre de Johann Caspar Hagenbuch à Scipione Maffei, 1748-02
Creators: name: Hagenbuch, Johann Caspar
name: Hagenbuch, Johann Caspar
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2022

description: [lettre en latin]
description: Source: [établissement de conservation] Nîmes, Bibliothèque Carré d'Art [cote] ms. 143, fol. 333-352
description: created: 1748-02-00
Cascading DGP
Creators: name: de Rham, Claudia
name: Dvali, Gia
name: Hofmann, Stefan
name: Khoury, Justin
name: Pujolas, Oriol
name: Redi, Michele
name: Tolley, Andrew J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We present a higher codimension generalization of the DGP scenario which, unlike previous attempts, is free of ghost instabilities. The 4D propagator is made regular by embedding our visible 3-brane within a 4-brane, each with their own induced gravity terms, in a flat 6D bulk. The model is ghost-free if the tension on the 3-brane is larger than a certain critical value, while the induced metric remains flat. The gravitational force law `cascades' from a 6D behavior at the largest distances followed by a 5D and finally a 4D regime at the shortest scales.
description: 4 pages; one reference added and a typo corrected
Thermal and magnetic field stability of holmium single atom magnets
Creators: name: Natterer, Fabian Donat
name: Donati, Fabio
name: Patthey, François
name: Brune, Harald
Publisher: name: arXiv
Year: 2017
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We use spin-polarized scanning tunneling microscopy to demonstrate that Ho atoms on magnesium oxide exhibit a coercive field of more than 8 T and magnetic bistability for many minutes, both at 35 K. The first spontaneous magnetization reversal events are recorded at 45 K for which the metastable state relaxes in an external field of 8 T. The transverse magnetic anisotropy energy is estimated from magnetic field and bias voltage dependent switching rates at 4.3 K. Our measurements constrain the possible ground state of Ho single atom magnets to either Jz = 7 or 8, both compatible with magnetic bistability at fields larger than 10 mT.
description: 4 pages and supplemental information
Can the gravitational wave background feel wiggles in spacetime?
Creators: name: Ye, Gen
name: Silvestri, Alessandra
Publisher: name: arXiv
Year: 2023
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Recently the international pulsar timing array collaboration has announced the first strong evidence for an isotropic gravitational wave background (GWB). We propose that rapid small oscillations (wiggles) in the Hubble parameter would trigger a resonance with the propagating gravitational waves, leaving novel signature in the GWB spectrum in the form of sharp resonance peaks. The proposed signal can appear at all frequency ranges and is common to continuous spectrum GWBs with arbitrary origin. Due to its resonant nature, the signal strength differs by a perturbation order depending on whether the GWB is primordial or not, which makes it a smoking gun for the primordial origin of the observed GWB. We show that a large part of the parameter space of such signal can be constrained by near future PTA observations, while fitting the signal template to the current NanoGrav 15yr data already hints an interesting feature near 15 nHz.
description: 7 pages plus appendix, 5 figures; References added; matched published version in ApJL
Predicting Protein Folds with Structural Repeats Using a Chain Graph Model
Creators: name: Liu, Yan
name: Xing, Eric P
name: Carbonell, Jaime G.
Publisher: name: Carnegie Mellon University
Year: 1985
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Protein fold recognition is a key step towards inferring the tertiary structures from amino-acid sequences. Complex folds such as those consisting of interacting structural repeats are prevalent in proteins involved in a wide spectrum of biological functions. However, extant approaches often perform inadequately due to their inability to capture long-range interactions between structural units and to handle low sequence similarities across proteins (under 25% identity). In this paper, we propose a chain graph model built on a causally connected series of segmentation conditional random fields (SCRFs) to address these issues. Specifically, the SCRF model captures long-range interactions within recurring structural units and the Bayesian network backbone decomposes cross-repeat interactions into locally computable modules consisting of repeat-specific SCRFs and a model for sequence motifs. We applied this model to predict β-helices and leucine-rich repeats, and found it significantly outperforms extant methods in predictive accuracy and/or computational efficiency.
Graphocraerus Thomson 1869
Creators: name: Huang, Yihong
name: Tang, Liuhong
name: Huang, Yingying
name: Webb, Michael D.
name: Duan, Yani
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadellidae
Graphocraerus

description: Graphocraerus Thomson, 1869
Graphocraerus Thomson, 1869: 57
(Type species: Cicada ventralis Fallén, 1806).
Included species:
ventralis (Fallén, 1806: 18); Anufriev & Emeljanov, 1988: 199.
description: Published as part of Huang, Yihong, Tang, Liuhong, Huang, Yingying, Webb, Michael D. & Duan, Yani, 2025, Two new bamboo feeding leafhopper species of the subfamily Deltocephalinae (Hemiptera: Cicadellidae) from China, pp. 287-304 in Zootaxa 5588 (2) on page 299, DOI: 10.11646/zootaxa.5588.2.5, http://zenodo.org/record/14896497
Vfs-Bio - Jean-Marc Dupont
Creators: name: Leibowitch, Jacques (1942-2020)
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020

description: 1 fichier (2 pages).
Protensus Zhang & Dai 2001
Creators: name: Huang, Yihong
name: Tang, Liuhong
name: Huang, Yingying
name: Webb, Michael D.
name: Duan, Yani
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadellidae
Protensus

description: Protensus Zhang & Dai, 2001
Protensus Zhang & Dai, 2001: 93
(Type species: Protensus choui Zhang & Dai, 2001).
Included species:
choui Zhang & Dai, 2001: 95.
dentatus Zhang & Dai, 2001: 97.
kiushiuensis (Vilbaste, 1967: 44); Zhang & Dai, 2001: 94.
lii Zhang, Webb & Xing, 2021: 183.
nigrifrons Li & Xing, 2024: 272.
yanheensis Li & Xing, 2024: 272.
description: Published as part of Huang, Yihong, Tang, Liuhong, Huang, Yingying, Webb, Michael D. & Duan, Yani, 2025, Two new bamboo feeding leafhopper species of the subfamily Deltocephalinae (Hemiptera: Cicadellidae) from China, pp. 287-304 in Zootaxa 5588 (2) on page 301, DOI: 10.11646/zootaxa.5588.2.5, http://zenodo.org/record/14896497
Survivability of a metapopulation under local extinctions
Creators: name: Kundu, Srilena
name: Majhi, Soumen
name: Sasmal, Sourav Kumar
name: Ghosh, Dibakar
name: Rakshit, Biswambhar
Publisher: name: arXiv
Year: 2017
Subjects: subject: Populations and Evolution (q-bio.PE)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: A metapopulation structure in landscape ecology comprises a group of interacting spatially separated subpopulations or patches of the same species that may experience several local extinctions. This makes the investigation of survivability (in the form of global oscillation) of a metapopulation on top of diverse dispersal topologies extremely crucial. However, among various dispersal topologies in ecological networks, which one can provide higher metapopulation survivability under local extinction is still not well explored. In this article, we scrutinize the robustness of an ecological network consisting of prey-predator patches having Holling type I functional response, against progressively extinct population patches. We present a comprehensive study on this while considering global, small-world and scale-free dispersal of the subpopulations. Furthermore, we extend our work in enhancing survivability in the form of sustained global oscillation by introducing asymmetries in the dispersal rates of the considered species. Our findings affirm that the asynchrony among the patches plays an important role in the survivability of a metapopulation. In order to demonstrate the model independence of the observed phenomenon, we perform a similar analysis for patches exhibiting Holling type II functional response. On the grounds of the obtained results, our work is expected to provide a better perception of the influence of dispersal arrangements on the global survivability of ecological networks.
description: 14 pages, 16 figures
AMUSE-Virgo I. Super-massive black holes in low-mass spheroids
Creators: name: Gallo, Elena
name: Treu, Tommaso
name: Jacob, Jeremy
name: Woo, Jong-Hak
name: Marshall, Phil
name: Antonucci, Robert
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present the first results from the AGN Multiwavelength Survey of Early-type galaxies in the Virgo cluster (AMUSE-Virgo). This large program targets 100 early-type galaxies with the Advanced CCD Imaging Spectrometer on board the Chandra X-ray Observatory and the Multi-band Imaging Photometer on board the Spitzer Space Telescope, with the aim of providing an unbiased census of low-level super-massive black hole (SMBH) activity in the local universe. Here we report on the Chandra observations of the first 16 targets, and combine them with results from archival data of another, typically more massive, 16 targets. Point-like X-ray emission from a position coincident with the optical nucleus is detected in 50% of the galaxies (down to our completeness limit of ~4E+38 erg/sec). Two of the X-ray nuclei are hosted by galaxies (VCC1178=N4464 and VCC1297=N4486B) with absolute B magnitudes fainter than -18, where nuclear star clusters are known to become increasingly common. After carefully accounting for possible contamination from low mass X-ray binaries, we argue that the detected nuclear X-ray sources are most likely powered by low-level accretion on to a SMBH, with a <11% chance contamination in VCC1178, where a star cluster is barely resolvable in archival Hubble Space Telescope images. Based on black hole mass estimates from the global properties of the host galaxies, all the detected nuclei are highly sub-Eddington, with luminosities in the range -8.4
description: Revised version, accepted by ApJ
Testing the nature of gravitational wave propagation using dark sirens and galaxy catalogues
Creators: name: Chen, Anson
name: Gray, Rachel
name: Baker, Tessa
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The dark sirens method enables us to use gravitational wave events without electromagnetic counterparts as tools for cosmology and tests of gravity. Furthermore, the dark sirens analysis code gwcosmo can now robustly account for information coming from both galaxy catalogues and the compact object mass distribution. We present here an extension of the gwcosmo code and methodology to constrain parameterized deviations from General Relativity that affect the propagation of gravitational waves. We show results of our analysis using data from the GWTC-3 gravitational wave catalogues, in preparation for application to the O4 observing run. After testing our pipelines using the First Two Years mock data set, we reanalyse 46 events from GWTC-3, and combine the posterior for BBH and NSBH sampling results for the first time. We obtain joint constraints on H0 and parameterized deviations from General Relativity in the Power Law + Peak BBH population model. With increased galaxy catalogue support in the future, our work sets the stage for dark sirens to become a powerful tool for testing gravity.
Predicting Protein Folding Kinetics via Temporal Logic Model Checking: Extended Abstract
Creators: name: Langmead, Christopher J.
name: Jha, Sumit Kumar
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We present a novel approach for predicting protein folding kinetics using techniques from the field of model checking. This represents the first time model checking has been applied to a problem in the field of structural biology. The protein’s energy landscape is encoded symbolically using Binary Decision Diagrams and related data structures. Questions regarding the kinetics of folding are encoded as formulas in the temporal logic CTL. Model checking algorithms are then used to make quantitative predictions about the kinetics of folding. We show that our approach scales to state spaces as large as 1023 when using exact algorithms for model checking. This is at least 14 orders of magnitude larger than the number of configurations considered by comparable techniques. Furthermore, our approach scales to state spaces at least as large as 1032 unique configurations when using approximation algorithms for model checking. We tested our method on 19 test proteins. The quantitative predictions regarding folding rates for these test proteins are in good agreement with experimentally measured values, achieving a correlation coefficient of 0.87.
Streptanus Ribaut 1942
Creators: name: Huang, Yihong
name: Tang, Liuhong
name: Huang, Yingying
name: Webb, Michael D.
name: Duan, Yani
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadellidae
Streptanus

description: Streptanus Ribaut, 1942
Streptanus Ribaut, 1942: 261
(Type species: Cicada sordidus Zetterstedt, 1828).
Included species:
debilis (Melichar, 1900: 40); Metcalf, 1967: 359.
dubitans (Melichar, 1900: 39); Metcalf, 1967: 360.
description: Published as part of Huang, Yihong, Tang, Liuhong, Huang, Yingying, Webb, Michael D. & Duan, Yani, 2025, Two new bamboo feeding leafhopper species of the subfamily Deltocephalinae (Hemiptera: Cicadellidae) from China, pp. 287-304 in Zootaxa 5588 (2) on page 301, DOI: 10.11646/zootaxa.5588.2.5, http://zenodo.org/record/14896497
Perspective: Quantum Hamiltonians for Optical Interactions
Creators: name: Andrews, David L.
name: Jones, Garth A.
name: Salam, A
name: Woolley, R. Guy
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The multipolar Hamiltonian of quantum electrodynamics (QED) is extensively employed in chemical and optical physics to treat rigorously the interaction of electromagnetic fields with matter. It is also widely used to evaluate intermolecular interactions. The multipolar version of the Hamiltonian is commonly obtained by carrying out a unitary transformation of the Coulomb gauge Hamiltonian that goes by the name of Power-Zienau-Woolley (PZW). Not only does the formulation provide excellent agreement with experiment, and versatility in its predictive ability, but also superior physical insight. Recently, the foundations and validity of the PZW Hamiltonian have been questioned, raising a concern over issues of gauge transformation and invariance, and whether observable quantities obtained from unitarily equivalent Hamiltonians are identical. Here, an in-depth analysis of theoretical foundations clarifies the issues and enables misconceptions to be identified. Claims of non-physicality are refuted: the PZW transformation and ensuing Hamiltonian are shown to rest on solid physical principles and secure theoretical ground.
description: 10 pages, 123 references. (in press)
Predicting Protein Folding Kinetics via Temporal Logic Model Checking
Creators: name: Langmead, Christopher J.
name: Jha, Sumit Kumar
Publisher: name: Carnegie Mellon University
Year: 2000
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We present a novel approach for predicting protein folding kinetics using techniques from the field of model checking. This represents the first time model checking has been applied to a problem in the field of structural biology. The protein’s energy landscape is encoded symbolically using Binary decision diagrams and related data structures. Questions regarding the kinetics of folding are encoded as formulas in the temporal logic CTL. Model checking algorithms are then used to make quantitative predictions about the kinetics of folding. We show that our approach scales to state spaces as large as 1023 when using exact algorithms for model checking. This is at least 14 orders of magnitude larger than the number of configurations considered by comparable techniques. Furthermore, our approach scales to state spaces at least as large as 1032 unique configurations when using approximation algorithms for model checking. We tested our method on 19 test proteins. The quantitative predictions regarding folding rates for these test proteins are in good agreement with experimentally measured values, achieving a correlation coefficient of 0.87.
Mean Field study of the heavy fermion metamagnetic transition
Creators: name: Kusminskiy, S. Viola
name: Beach, K. S. D.
name: Neto, A. H. Castro
name: Campbell, David K.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We investigate the evolution of the heavy fermion ground state under application of a strong external magnetic field. We present a richer version of the usual hybridization mean field theory that allows for hybridization in both the singlet and triplet channels and incorporates a self-consistent Weiss field. We show that for a magnetic field strength B*, a filling-dependent fraction of the zero-field hybridization gap, the spin up quasiparticle band becomes fully polarized--an event marked by a sudden jump in the magnetic susceptibility. The system exhibits a kind of quantum rigidity in which the susceptibility (and several other physical observables) are insensitive to further increases in field strength. This behavior ends abruptly with the collapse of the hybridization order parameter in a first-order transition to the normal metallic state. We argue that the feature at B* corresponds to the "metamagnetic transition" in YbRh2Si2. Our results are in good agreement with recent experimental measurements.
description: 9+ pages, 5 figures. Final version
A Framework for Migrating to Post-Quantum Cryptography: Security Dependency Analysis and Case Studies
Creators: name: Hasan, Khondokar Fida
name: Simpson, Leonie
name: Baee, Mir Ali Rezazadeh
name: Islam, Chadni
name: Rahman, Ziaur
name: Armstrong, Warren
name: Gauravaram, Praveen
name: McKague, Matthew
Publisher: name: arXiv
Year: 2023
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Quantum computing is emerging as a significant threat to information protected by widely used cryptographic systems. Cryptographic methods, once deemed secure for decades, are now at risk of being compromised, posing a massive threat to the security of sensitive data and communications across enterprises worldwide. As a result, there is an urgent need to migrate to quantum-resistant cryptographic systems. This is no simple task. Migrating to a quantum-safe state is a complex process, and many organisations lack the in-house expertise to navigate this transition without guidance. In this paper, we present a comprehensive framework designed to assist enterprises with this migration. Our framework outlines essential steps involved in the cryptographic migration process, and leverages existing organisational inventories. The framework facilitates the efficient identification of cryptographic assets and can be integrated with other enterprise frameworks smoothly. To underscore its practicality and effectiveness, we have incorporated case studies that utilise graph-theoretic techniques to pinpoint and assess cryptographic dependencies. This is useful in prioritising crypto-systems for replacement.
description: 24 Pages
Coutume de Normandie. Recueil sans titre commençant par le chapitre des contrats de constitution. ADSM 28F51, XVIIIe s.
Creators: name: N.R.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2017

description: Source: Archives départementales de Seine-Maritime. 28F51
description: Relation: vignette : https://www.nakala.fr/data/11280/ce15b92f
description: created: XVIIIe s.
Symplectic spreads, planar functions and mutually unbiased bases
Creators: name: Abdukhalikov, Kanat
Publisher: name: arXiv
Year: 2013
Subjects: subject: Combinatorics (math.CO)
subject: Information Theory (cs.IT)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 05B25, 51A40, 51E15, 12K10, 20B25, 17B20, 05B20

description: In this paper we give explicit descriptions of complete sets of mutually unbiased bases (MUBs) and orthogonal decompositions of special Lie algebras $sl_n(\mathbb{C})$ obtained from commutative and symplectic semifields, and from some other non-semifield symplectic spreads. Relations between various constructions are also studied. We show that the automorphism group of a complete set of MUBs is isomorphic to the automorphism group of the corresponding orthogonal decomposition of the Lie algebra $sl_n(\mathbb{C})$. In the case of symplectic spreads this automorphism group is determined by the automorphism group of the spread. By using the new notion of pseudo-planar functions over fields of characteristic two we give new explicit constructions of complete sets of MUBs.
description: 20 pages
Predicate Abstraction with Minimum Predicates.
Creators: name: Chaki, Sagar
name: Clarke, Edmund M
name: Groce, Alex
name: Strichman, Ofer
Publisher: name: Carnegie Mellon University
Year: 1978
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Predicate abstraction is a popular abstraction technique employed in formal software verification. A crucial requirement to make predicate abstraction effective is to use as few predicates as possible, since the abstraction process is in the worst case exponential (in both time and memory requirements) in the number of predicates involved. If a property can be proven to hold or not hold based on a given finite set of predicates , the procedure we propose in this paper finds automatically a minimal subset of that is sufficient for the proof. We explain how our technique can be used for more efficient verification of C programs. Our experiments show that predicate minimization can result in a significant reduction of both verification time and memory usage compared to earlier methods.
Predicate Abstraction with Indexed Predicates
Creators: name: Shuvendu K. Lahiri
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1989
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Predicate abstraction provides a powerful tool for verifying properties of infinite-state systems using a combination of a decision procedure for a subset of first-order logic and symbolic methods originally developed for finite-state model checking.We consider models containing first-order state variables, where the system state includes mutable functions and predicates. Such a model can describe systems containing arbitrarily large memories, buffers, and arrays of identical processes. We describe a form of predicate abstraction that constructs a formula over a set of universally quantified variables to describe invariant properties of the first-order state variables. We provide a formal justification of the soundness of our approach and describe how it has been used to verify several hardware and software designs, including a directory-based cache coherence protocol.
Ruin probability of a discrete-time risk process with proportional reinsurance and investment for exponential and Pareto distributions
Creators: name: Jasiulewicz, Helena
name: Kordecki, Wojciech
Publisher: name: arXiv
Year: 2013
Subjects: subject: Risk Management (q-fin.RM)
subject: FOS: Economics and business

description: In this paper a quantitative analysis of the ruin probability in finite time of discrete risk process with proportional reinsurance and investment of finance surplus is focused on. It is assumed that the total loss on a unit interval has a light-tailed distribution -- exponential distribution and a heavy-tailed distribution -- Pareto distribution. The ruin probability for finite-horizon 5 and 10 was determined from recurrence equations. Moreover for exponential distribution the upper bound of ruin probability by Lundberg adjustment coefficient is given. For Pareto distribution the adjustment coefficient does not exist, hence an asymptotic approximation of the ruin probability if an initial capital tends to infinity is given. Obtained numerical results are given as tables and they are illustrated as graphs.
Circuit QED with a Giant Atom Coupling to Left-handed Superlattice Metamaterials
Creators: name: Gao, Zhao-Min
name: Li, Jia-Qi
name: Li, Zi-Wen
name: Liu, Wen-Xiao
name: Wang, Xin
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Giant atoms, where the dipole approximation ceases to be valid, allow us to observe unconventional quantum optical phenomena arising from interference and time-delay effects. Most previous studies consider giant atoms coupling to conventional materials with right-handed dispersion. In this study, we first investigate the quantum dynamics of a giant atom interacting with left-handed superlattice metamaterials. Different from those right-handed counterparts, the left-handed superlattices exhibit an asymmetric band gap generated by anomalous dispersive bands and Bragg scattering bands. First, by assuming that the giant atom is in resonance with the continuous dispersive energy band, spontaneous emission will undergo periodic enhancement or suppression due to the interference effect. At the resonant position, there is a significant discrepancy in the spontaneous decay rates between the upper and lower bands, which arises from the differences in group velocity. Second, we explore the non-Markovian dynamics of the giant atom by considering the frequency of the emitter outside the energy band, where bound states will be induced by the interference between two coupling points. By employing both analytical and numerical methods, we demonstrate that the steady atomic population will be periodically modulated, driven by variations in the size of the giant atom. The presence of asymmetric band edges leads to diverse interference dynamics. Finally, we consider the case of two identical emitters coupling to the waveguide and find that the energy within the two emitters undergoes exchange through the mechanism Rabi oscillations.
description: 11 pages, 7 figures
NV-centers in Nanodiamonds: How good they are
Creators: name: Plakhotnik, Taras
name: Aman, Haroon
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: This paper presents a method for determination of the size distribution for diamond nanocrystals containing luminescent nitrogen-vacancy (NV) centers using the luminescence intensity only. We also revise the basic photo physical properties of NV centers and conclude that the luminescence quantum yield of such centers is significantly smaller than the frequently stated 100\%. The yield can be as low as 5\% for centers embedded in nanocrystals and depends on their shape and the refractive index of the surrounding medium. The paper also addresses the value of the absorption cross-section of NV centers.
{\it f}-mode interactions with thin flux tubes: the scattering matrix
Creators: name: Hanasoge, S. M.
name: Birch, A. C.
name: Bogdan, T. J.
name: Gizon, L.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We calculate the scattering effects associated with the interaction of a surface gravity or {\it f} mode with a thin magnetic flux tube embedded in a realistically stratified medium. We find that the dominant scattered wave is an $f$ mode with amplitude and phase of 1.17% and around $49^\circ$ relative to the incident wave, compared to the values of 0.13% and $40^\circ$ estimated from observations. The extent of scattering into high-order acoustic $p$ modes is too weak to be accurately characterized. We recover the result that the degree of scattering is enhanced as (a) the frequency of the incident wave increases and (b) the flux tube becomes magnetically dominated.
description: Accepted, ApJ; 15 pages, 4 figures
Masses of the Bottom-Charm Hybrid $\bar bGc$ States
Creators: name: Chen, Wei
name: Steele, T. G.
name: Zhu, Shi-Lin
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: QCD sum rules are used to study the mass spectrum of bottom-charm hybrid $\bar bGc$ systems. The correlation functions and the spectral densities are calculated up to dimension six condensates at leading order of $α_s$ for several $J^P$ quantum numbers. After performing the QCD sum rule analysis, we predict the masses of the $J^P=0^{-}, 0^{+}, 1^{-}, 1^{+}, 2^{-}, 2^{+}$ bottom-charm hybrids. These mass predictions show a similar supermultiplet structure as the bottomonium and charmonium hybrids. Using the QCD sum-rule mass predictions we analyze the possible hadronic decay patterns of the $\bar cGc$, $\bar bGc$ and $\bar bGb$ hybrids including the open-flavour and hidden-flavour mechanisms.
description: 14 pages, 8 figures, 6 tables. Version to appear in Journal of Physics G
Predicate Abstraction of ANSI–C Programs using SAT
Creators: name: Clarke, Edmund M
name: Kroening, Daniel
name: Sharygina, Natalia
name: Yorav, Karen
Publisher: name: Carnegie Mellon University
Year: 1988
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Predicate abstraction is a major method for verification of software. However, the generation of the abstract Boolean program from the set of predicates and the original program suffers from an exponential number of theorem prover calls as well as from soundness issues. This paper presents a novel technique that uses an efficient SAT solver for generating the abstract transition relations of ANSI-C programs. The SAT-based approach computes a more precise and safe abstraction compared to existing predicate abstraction techniques.
title: ADCO, Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Cart. 184 (11 H 987), 105 folios, f. 0115
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/2015
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire

description: Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Archives départementales de la Côte-d'Or, Cart. 184 (11 H 987), 105 folios, f. 0115, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Archives départementales de la Côte-d'Or, Cart. 184 (11 H 987), 105 folios, f. 0115, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Generalizing odd elasticity theory to odd thermoelasticity for planar materials
Creators: name: Ostoja-Starzewski, Martin
name: Surówka, Piotr
Publisher: name: arXiv
Year: 2023
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We generalize the odd elasticity of planar materials to thermoelasticity, admitting spatially inhomogeneous properties. First, we show that for active systems breaking Onsager relations thermal evolution is given by an odd generalization of the Maxwell-Cattaneo relation. Next three different heat conduction models of odd solids are considered leading, respectively, to a classical coupled thermoelasticity with Fourier law, thermoelasticity with relaxation times of the Maxwell-Cattaneo type, and thermoelasticity with two relaxation times. Governing equations are established in terms of either displacement-temperature pair, stress-heat flux pair, or stress-temperature pair. Next, we establish a form of the stiffness tensor, ensuring its inversion to a compatibility tensor, and write equations of elasticity in the presence of eigenstrains, such as thermal strains, where we find that the stress field remains unchanged for a specific additive change of the compliance tensor field. This so-called stress invariance gives an equivalence class of a wide range of odd materials with different values of material properties. Effectively, within each class, the elastic compliances may be modified by a field linear in the plane without affecting the stress field. Finally, we study hydrodynamic modes in an odd thermoelastic solid with Fourier heat conduction and argue that contrary to even elastic solids, the temperature can affect both dilatational and shear waves. We present odd corrections to sound attenuation and diffusion coefficients.
description: 7 pages
Lithium plating induced degradation during fast charging of batteries subjected to compressive loading
Creators: name: Gargh, Prashant P.
name: Sarkar, Abhishek
name: Nlebedim, Ikenna C.
name: Shrotriya, Pranav
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: We report the lithium plating associated capacity loss during fast charging of compressively loaded lithium-ion batteries (LIBs). The charging and discharging of LIB under compressive loading during service may affect the cell performance or initiate localized defects in the electrodes. Pouch cells of capacity 20mAh were compressively loaded to nominal pressures of 0-440 kPa and subjected to 10 cycles of fast charging at 1C and 4C. Experimental results show that cells charged at 4C-rate experienced significant capacity fade, and applying compressive loads exacerbated the capacity loss. The coulombic efficiency study shows that active lithium loss was higher for the initial cycles before gradually reducing to a minimal capacity loss for the tenth charging cycle. The cell voltage relaxation immediately after charging was monitored to identify the stripping of plated lithium after fast charging cycles and showed that the duration of lithium stripping was higher for cells under mechanical compressive loading. Scanning electron microscopy (SEM) and Electron paramagnetic resonance spectroscopy (EPR) characterization of the anode showed significantly higher lithium deposits on the anodes charged at a 4C rate under compressive loads. These results indicate that applied mechanical compression causes increased lithium plating during fast charging of batteries.
description: Prepint of article submitted to Journal of Power Sources,
Entanglement and absorbing state transitions in $(d+1)$-dimensional stabilizer circuits
Creators: name: Sierant, Piotr
name: Turkeshi, Xhek
Publisher: name: arXiv
Year: 2023
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study the influence of feedback operations on the dynamics of $(d+1)$-dimensional monitored random quantum circuit. Competition between unitary dynamics and measurements leads to an entanglement phase transition, while the feedback steers the dynamics towards an absorbing state, yielding an absorbing state phase transition. Building on previous results in one spatial dimension [Phys. Rev. Lett. 130, 120402 (2023)], we discuss the interplay between the two types of transitions for $d \ge 2$ in the presence of (i) short-range feedback operations or (ii) additional global control operations. In both cases, the absorbing state transition belongs to the $d$-dimensional directed percolation universality class. In contrast, the entanglement transition depends on the feedback operation type and reveals the dynamics' inequivalent features. The entanglement and absorbing state phase transition remain separated for short-range feedback operations. When global control operations are applied, we find the two critical points coinciding; nevertheless, the universality class may still differ, depending on the choice of the control operation.
description: 10 pages, Comments are welcome! "11th Workshop on Quantum Chaos and Localisation Phenomena" Warsaw, May 2023
Predicate abstraction of ANSI-C programs using SAT
Creators: name: E. M. Clarke
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Predicate abstraction is a major method for verification of software. However, the generation of the abstract Boolean program from the set of predicates and the original program suffers from an exponential number of theorem prover calls as well as from soundness issues. This paper presents a novel technique that uses an efficient SAT solver for generating the abstract transition relation of ANSI-C programs. The SAT-based approach computes a more precise and safe abstraction compared to existing predicate abstraction techniques."
Lie Groupoids as generalized atlases
Creators: name: Pradines, Jean
Publisher: name: arXiv
Year: 2007
Subjects: subject: Differential Geometry (math.DG)
subject: Category Theory (math.CT)
subject: FOS: Mathematics
subject: 58H05

description: Starting with some motivating examples (classical atlases for a manifold, space of leaves of a foliation, group orbits), we propose to view a Lie groupoid as a generalized atlas for the "virtual structure" of its orbit space, the equivalence between atlases being here the smooth Morita equivalence. This "structure" keeps memory of the isotropy groups and of the smoothness as well. To take the smoothness into account, we claim that we can go very far by retaining just a few formal properties of embeddings and surmersions, yielding a very polymorphous unifying theory. We suggest further developments.
description: 34 pages, lecture delivered at the 5th Conference on Geometry ans Topology of Manifolds, Krynica (Poland), April 2003
Idiodonus Ball 1936
Creators: name: Huang, Yihong
name: Tang, Liuhong
name: Huang, Yingying
name: Webb, Michael D.
name: Duan, Yani
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Cicadellidae
Idiodonus

description: Idiodonus Ball, 1936
Idiodonus Ball, 1936: 57
(Type species: Jassus kennicotti Uhler, 1864).
Included species:
cruentatus (Panzer, 1799: 15); Zhang, 2014: 48.
description: Published as part of Huang, Yihong, Tang, Liuhong, Huang, Yingying, Webb, Michael D. & Duan, Yani, 2025, Two new bamboo feeding leafhopper species of the subfamily Deltocephalinae (Hemiptera: Cicadellidae) from China, pp. 287-304 in Zootaxa 5588 (2) on pages 299-300, DOI: 10.11646/zootaxa.5588.2.5, http://zenodo.org/record/14896497
Measurement of the production cross-section of $J/ψ$ and $ψ(2$S$)$ mesons in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector
Creators: name: ATLAS Collaboration
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: Measurements of the differential production cross-sections of prompt and non-prompt $J/ψ$ and $ψ(2$S$)$ mesons with transverse momenta between 8 and 360 GeV and rapidity in the range $|y|<2$ are reported. Furthermore, measurements of the non-prompt fractions of $J/ψ$ and $ψ(2$S$)$, and the prompt and non-prompt $ψ(2$S$)$-to-$J/ψ$ production ratios, are presented. The analysis is performed using 140 fb$^{-1}$ of $\sqrt{s}=13$ TeV $pp$ collision data recorded by the ATLAS detector at the LHC during the years 2015-2018.
description: 43 pages in total, author list starting page 26, 9 figures, 2 tables, published as Eur. Phys. J. C 84 (2024) 169. All figures including auxiliary material are available at: https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/BPHY-2019-08/
High Capacity Quantum Key Distribution via Hyper-Entangled Degrees of Freedom
Creators: name: Simon, David S.
name: Sergienko, Alexander V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum key distribution (QKD) has long been a promising area for application of quantum effects toward solving real-world problems. But two major obstacles have stood in the way of widespread applications: low secure key generation rates and short achievable operating distances. In this paper, a new physical mechanism for dealing with the first of these problems is proposed: interplay between different degrees of freedom in a hyperentangled system (parametric down conversion) is used to increase the Hilbert space dimension available for key generation while maintaining security. Polarization-based Bell tests provide security checking, while orbital angular momentum (OAM) and total angular momentum (TAM) provide higher key generation rate. Whether to measure TAM or OAM is decided randomly on each trial. The concurrent non-commutativity of TAM with OAM and polarization provides the physical basis for quantum security. TAM measurements link polarization to OAM, so that if the legitimate participants measure OAM while the eavesdropper measures TAM (or vice-versa), then polarization entanglement is lost, revealing the eavesdropper. In contrast to other OAM-based QKD methods, complex active switching between OAM bases is not required; instead, passive switching by beam splitters combined with much simpler active switching between polarization bases makes implementation at high OAM more practical.
Figure-Figure Interaction Between Bodies Having Arbitrary Shapes and Mass Distributions: A Power Series Expansion Approach
Creators: name: Tricarico, Pasquale
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We derive an expression for the mutual gravitational force and torque of two bodies having arbitrary shapes and mass distributions, as an expansion in power series of their products of inertia and of the relative coordinates of their centres of mass. The absolute convergence of all the power series developed is rigorously demonstrated. The absence of transcendental functions makes this formalism suitable for fast numerical applications. The products of inertia used here are directly related to the spherical harmonics coefficients, and we provide a detailed analysis of this relationship.
description: 13 pages, accepted by Celestial Mechanics and Dynamical Astronomy
Predicate abstraction and refinement techniques for verifying Verilog
Creators: name: Clarke, Edmund
name: Himanshu  Jain
name: Kroening, Daniel
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Model checking techniques applied to large industrial circuits suffer from the state explosion problem. A major technique to address this problem is abstraction. Predicate abstraction has been applied successfully to large software programs. Applying this technique to hardware designs poses additional challenges. This paper evaluates three techniques to improve the performance of SAT-based predicate abstraction of circuits: 1) We partition the abstraction problem by forming subsets of the predicates. The resulting abstractions are more coarse, but the computation of the abstract transition relation becomes easier. 2) We evaluate the performance effect of lazy abstraction, i.e., the abstraction is only performed if required by a spurious counterexample. 3) We use weakest preconditions of circuit transitions in order to obtain new predicates during refinement. We provide experimental results on publicly available benchmarks from the Texas97 benchmark suite."