cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IV, Cart. 188 (11 H 73), f. 0230v
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IV, Archives départementales de la Côte-d'Or, Cart. 188 (11 H 73), f. 0230v, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IV, Archives départementales de la Côte-d'Or, Cart. 188 (11 H 73), f. 0230v, 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
Microcanonical Analyses of Peptide Aggregation Processes
Creators: name: Junghans, Christoph
name: Bachmann, Michael
name: Janke, Wolfhard
Publisher: name: arXiv
Year: 2007
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We propose the use of microcanonical analyses for numerical studies of peptide aggregation transitions. Performing multicanonical Monte Carlo simulations of a simple hydrophobic-polar continuum model for interacting heteropolymers of finite length, we find that the microcanonical entropy behaves convex in the transition region, leading to a negative microcanonical specific heat. As this effect is also seen in first-order-like transitions of other finite systems, our results provide clear evidence for recent hints that the characterisation of phase separation in first-order-like transitions of finite systems profits from this microcanonical view.
description: 5 pages, 2 figures
Levy analysis of Bose-Einstein correlation in pp collisions at s 7 TeV measured with the ATLAS
Creators: name: Schegelsky, V. A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Bose-Einstein correlations in proton-proton collisions is an effective tool to study the space structure of the production amplitude. Usually rather simple parametrization of particle-emission distribution function has been used - exponential or gaussian form. However if one consider a particle source as an expanding media the symmetric Levy distribution as the generalization exponential can be used.Then additional parameter - the index of stability - will appear. All parameters dependencies on the charged particle density and on the mean transverse momentum of the pion/hadron in the correlated pair are investigated.
description: ATLAS management did ask me to withdraw this article to be publish later on as Collaboration paper
Variability of Disk Emission in Pre-Main Sequence and Related Stars. I. HD 31648 and HD 163296 - Isolated Herbig Ae Stars Driving Herbig-Haro Flows
Creators: name: Sitko, M. L.
name: Carpenter, W. J.
name: Kimes, R. L.
name: Wilde, J. L.
name: Lynch, D. K.
name: Russell, R. W.
name: Rudy, R. J.
name: Mazuk, S. M.
name: Venturini, C. C.
name: Puetter, R. C.
name: Grady, C. A.
name: Polomski, E. F.
name: Wisniewski, J. P.
name: Brafford, S. M.
name: Hammel, H. B.
name: Perry, R. B.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Infrared photometry and spectroscopy covering a time span of a quarter century are presented for HD 31648 (MWC 480) and HD 163296 (MWC 275). Both are isolated Herbig Ae stars that exhibit signs of active accretion, including driving bipolar flows with embedded Herbig-Haro (HH) objects. HD 163296 was found to be relatively quiescent photometrically in its inner disk region, with the exception of a major increase in emitted flux in a broad wavelength region centered near 3 microns in 2002. In contrast, HD 31648 has exhibited sporadic changes in the entire 3-13 micron region throughout this span of time. In both stars the changes in the 1-5 micron flux indicate structural changes in the region of the disk near the dust sublimation zone, possibly causing its distance from the star to vary with time. Repeated thermal cycling through this region will result in the preferential survival of large grains, and an increase in the degree of crystallinity. The variability observed in these objects has important consequences for the interpretation of other types of observations. For example, source variability will compromise models based on interferometry measurements unless the interferometry observations are accompanied by nearly-simultaneous photometric data.
description: 55 pages, 18 figures, 2 tables, Accepted by ApJ
Flavor Dynamics
Creators: name: Murray, Michael
Publisher: name: arXiv
Year: 2007
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: The purpose of BRAHMS is to survey the dynamics of relativistic heavy ion (as well as pp and d-A) collisions over a very wide range of rapidity and transverse momentum. The sum of these data may give us a glimpse of the initial state of the system, its transverse and longitudinal evolution and how the nature of the system changes with time. Here I will concentrate on the origin and dynamics of the light flavors, i.e. the creation and transport of the up, down and strange quarks. The results presented here are certainly not the end of the story. It is my hope that in a few years new detectors will reveal the rapidity dependence of the charm and bottom quarks.
description: 8 pages, 5 figures, proceeding of "Strange Quark Matter 2007" 24 - 29 June 2007. Levoca, Slovakia, submitted to J. Phys. G
Quantum Calculations on the Kv1.2 Channel Voltage Sensing Domain Show H+ Transfer Provides the Gating Current
Creators: name: Kariev, Alisher M.
name: Green, Michael E.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Biomolecules (q-bio.BM)
subject: FOS: Biological sciences

description: Quantum calculations on the voltage sensing domain (VSD) of the Kv1.2 potassium channel (pdb: 3Lut)have been carried out on a 904 atoms subset of the VSD, plus 24 water molecules. Side chains pointing away from the center of the VSD were truncated; S1,S2,S3 end atoms were were fixed (all calculations); S4 end atoms could be fixed or free. Open conformations (membrane potentials >= 0) closely match the known X-ray structure of the open state with salt bridges in the in the VSD not ionized (H+ on the acid) whether S4 end atoms were fixed or free (slightly closer fixed than free).The S4 segment backbone, free or not, moves less than 2.5 A for positive to negative membrane potential switches, not entirely in the expected direction, leaving H+ motion as the principal component of the gating current. Groups of 3 - 5 side chains are important for proton transport, based on the calculations. A proton transfers from tyrosine (Y266), through arginine (R300), to glutamate (E183), accounting for approximately 20 - 25% of the gating charge. Clusters of amino acids that can transfer protons (acids, bases, tyrosine, histidine) are the main paths for proton transport. A group of five amino acids, bounded by the conserved aromatic F233, appears to exchange a proton. Dipole rotations may also contribute. A proton path (calculations still in progress) is proposed for the remainder of the VSD, suggesting a hypothesis for a complete gating mechanism.
description: At the end of the paper, there is an extended supplement with the calculated coordinates for 14 out of 30 cases that were calculated (all those that turned out to make a significant contribution). The paper has 6 figures. Also, an earlier preprint, with a fraction of what is in the present submission, was posted on BioarXiv on 6/23/2017
A three-player coherent state embezzlement game
Creators: name: Ji, Zhengfeng
name: Leung, Debbie
name: Vidick, Thomas
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We introduce a three-player nonlocal game, with a finite number of classical questions and answers, such that the optimal success probability of $1$ in the game can only be achieved in the limit of strategies using arbitrarily high-dimensional entangled states. Precisely, there exists a constant $0
description: Version published in Quantum
No-scale supersymmetry breaking vacua and soft terms with torsion
Creators: name: Cámara, Pablo G.
name: Graña, Mariana
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We analyze the conditions to have no-scale supersymmetry breaking solutions of type IIA and IIB supergravity compactified on manifolds of SU(3)-structure. The supersymmetry is spontaneously broken by the intrinsic torsion of the internal space. For type IIB orientifolds with O9 and O5-planes the mass of the gravitino is governed by the torsion class W_1, and the breaking is mediated through F-terms associated to descendants of the original N=2 hypermultiplets. For type IIA orientifolds with O6-planes we find two families of solutions, depending on whether the breaking is mediated exclusively by hypermultiplets or by a mixture of hypermultiplets and vector multiplets, the latter case corresponding to a class of Scherk-Schwarz compactifications not dual to any geometric IIB setup. We compute the geometrically induced mu-terms for D5, D6 and D9-branes on twisted tori, and discuss the patterns of soft-terms which arise for pure moduli mediation in each type of breaking. As for D3 and D7-branes in presence of 3-form fluxes, the effective scalar potential turns out to possess interesting phenomenological properties.
description: 44 pages; several minor corrections and added references
Foundations and Tools for End-User Architecting
Creators: name: Garlan, David
name: Vishal  Dwivedi
name: Ruchkin, Ivan
name: Schmerl, Bradley
Publisher: name: Carnegie Mellon University
Year: 2012
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Within an increasing number of domains an important emerging need is the ability for technically naïve users to compose computational elements into novel configurations. Examples include astronomers who create new analysis pipelines to process telescopic data, intelligence analysts who must process diverse sources of unstructured text to discover socio-technical trends, and medical researchers who have to process brain image data in new ways to understand disease pathways. Creating such compositions today typically requires low-level technical expertise, limiting the use of computational methods and increasing the cost of using them. In this paper we describe an approach — which we term end-user architecting — that exploits the similarity between such compositional activities and those of software architects. Drawing on the rich heritage of software architecture languages, methods, and tools, we show how those techniques can be adapted to support end users in composing rich computational systems through domain-specific compositional paradigms and component repositories, without requiring that they have knowledge of the low-level implementation details of the components or the compositional infrastructure. Further, we outline a set of open research challenges that the area of end-user architecting raises.
Theta-functions on the Kodaira-Thurston manifold
Creators: name: Kirwin, William D.
name: Uribe, Alejandro
Publisher: name: arXiv
Year: 2007
Subjects: subject: Differential Geometry (math.DG)
subject: Symplectic Geometry (math.SG)
subject: FOS: Mathematics
subject: 14K25, 53DXX

description: The Kodaira--Thurston M manifold is a compact, 4-dimensional nilmanifold which is symplectic and complex but not Kaehler. We describe a construction of theta-functions associated to M which parallels the classical theory of theta-functions associated to the torus (from the point of view of representation theory and geometry), and yields pseudoperiodic complex-valued functions on R^4. There exists a three-step nilpotent Lie group G which acts transitively on the Kodaira--Thurston manifold M in a Hamiltonian fashion. The theta-functions discussed in this paper are intimately related to the representation theory of G in much the same way the classical theta-functions are related to the Heisenberg group. One aspect of our results which has not appeared in the classical theory is a connection between the representation theory of G and the existence of Lagrangian and special Lagrangian foliations and torus fibrations in M.
description: 29 pages, 1 figure
Two-State Folding, Folding through Intermediates, and Metastability in a Minimalistic Hydrophobic-Polar Model for Proteins
Creators: name: Schnabel, Stefan
name: Bachmann, Michael
name: Janke, Wolfhard
Publisher: name: arXiv
Year: 2007
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Biomolecules (q-bio.BM)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: Within the frame of an effective, coarse-grained hydrophobic-polar protein model, we employ multicanonical Monte Carlo simulations to investigate free-energy landscapes and folding channels of exemplified heteropolymer sequences, which are permutations of each other. Despite the simplicity of the model, the knowledge of the free-energy landscape in dependence of a suitable system order parameter enables us to reveal complex folding characteristics known from real bioproteins and synthetic peptides, such as two-state folding, folding through weakly stable intermediates, and glassy metastability.
description: 10 pages, 1 figure
Class of viable modified $f(R)$ gravities describing inflation and the onset of accelerated expansion
Creators: name: Cognola, G.
name: Elizalde, E.
name: Nojiri, S.
name: Odintsov, S. D.
name: Sebastiani, L.
name: Zerbini, S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: A general approach to viable modified $f(R)$ gravity is developed in both the Jordan and the Einstein frames. A class of exponential, realistic modified gravities is introduced and investigated with care. Special focus is made on step-class models, most promising from the phenomenological viewpoint and which provide a natural way to classify all viable modified gravities. One- and two-steps models are explicitly considered, but the analysis is extensible to $N$-step models. Both inflation in the early universe and the onset of recent accelerated expansion arise in these models in a natural, unified way. Moreover, it is demonstrated that models in this category easily pass all local tests, including stability of spherical body solution, non-violation of Newton's law, and generation of a very heavy positive mass for the additional scalar degree of freedom.
description: 15 pages, 2 figures, version to appear in Physical Review D
A Quantization-Friendly Separable Convolution for MobileNets
Creators: name: Sheng, Tao
name: Feng, Chen
name: Zhuo, Shaojie
name: Zhang, Xiaopeng
name: Shen, Liang
name: Aleksic, Mickey
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: As deep learning (DL) is being rapidly pushed to edge computing, researchers invented various ways to make inference computation more efficient on mobile/IoT devices, such as network pruning, parameter compression, and etc. Quantization, as one of the key approaches, can effectively offload GPU, and make it possible to deploy DL on fixed-point pipeline. Unfortunately, not all existing networks design are friendly to quantization. For example, the popular lightweight MobileNetV1, while it successfully reduces parameter size and computation latency with separable convolution, our experiment shows its quantized models have large accuracy gap against its float point models. To resolve this, we analyzed the root cause of quantization loss and proposed a quantization-friendly separable convolution architecture. By evaluating the image classification task on ImageNet2012 dataset, our modified MobileNetV1 model can archive 8-bit inference top-1 accuracy in 68.03%, almost closed the gap to the float pipeline.
description: Accepted At THE 1ST WORKSHOP ON ENERGY EFFICIENT MACHINE LEARNING AND COGNITIVE COMPUTING FOR EMBEDDED APPLICATIONS (EMC^2 2018)
Limits of Calabi-Yau metrics when the Kahler class degenerates
Creators: name: Tosatti, Valentino
Publisher: name: arXiv
Year: 2007
Subjects: subject: Differential Geometry (math.DG)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 32Q25; 14J32; 14J28; 32Q20

description: We study the behaviour of families of Ricci-flat Kahler metrics on a projective Calabi-Yau manifold when the Kahler classes degenerate to the boundary of the ample cone. We prove that if the limit class is big and nef the Ricci-flat metrics converge smoothly on compact sets outside a subvariety to a limit incomplete Ricci-flat metric. The limit can also be understood from algebraic geometry.
description: 22 pages; a new L^infty estimate in section 4; to appear in J.Eur.Math.Soc. 2009
A General Formula for the Stationary Distribution of the Age of Information and Its Application to Single-Server Queues
Creators: name: Inoue, Yoshiaki
name: Masuyama, Hiroyuki
name: Takine, Tetsuya
name: Tanaka, Toshiyuki
Publisher: name: arXiv
Year: 2018
Subjects: subject: Performance (cs.PF)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: This paper considers the stationary distribution of the age of information (AoI) in information update systems. We first derive a general formula for the stationary distribution of the AoI, which holds for a wide class of information update systems. The formula indicates that the stationary distribution of the AoI is given in terms of the stationary distributions of the system delay and the peak AoI. To demonstrate its applicability and usefulness, we analyze the AoI in single-server queues with four different service disciplines: first-come first-served (FCFS), preemptive last-come first-served (LCFS), and two variants of non-preemptive LCFS service disciplines. For the FCFS and the preemptive LCFS service disciplines, the GI/GI/1, M/GI/1, and GI/M/1 queues are considered, and for the non-preemptive LCFS service disciplines, the M/GI/1 and GI/M/1 queues are considered. With these results, we further show comparison results for the mean AoI's in the M/GI/1 and GI/M/1 queues under those service disciplines.
description: Submitted to IEEE Transactions on Information Theory
Formulations and Formalisms in Software Architecture
Creators: name: Shaw, Mary
name: Garlan, David
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Software architecture is the level of software design that addresses the overall structure and properties of software systems. It provides a focus for certain aspects of design and development that are not appropriately addressed within the constituent modules. Architectural design depends heavily on accurate specifications of subsystems and their interactions. These specifications must cover a wide variety of properties, so the specification notations and associated methods must be selected or developed to match the properties of interest. Unfortunately, the available formal methods are only a partial match for architectural needs, which entail description of structure, packaging, environmental assumptions, representation, and performance as well as functionality. A prerequisite for devising or selecting a formal method is sound understanding of what needs to be formalized. For software architecture, much of this understanding is arising through progressive codification, which begins with real-world examples and creates progressively more precise models that eventually support formalization. This paper explores the progressive codification of software architecture: the relation between emerging models and the selection, development, and use of formal systems.
State determination: an iterative algorithm
Creators: name: Goyeneche, Dardo M.
name: de la Torre, Alberto C.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: An iterative algorithm for state determination is presented that uses as physical input the probability distributions for the eigenvalues of two or more observables in an unknown state $Φ$. Starting form an arbitrary state $Ψ_{0}$, a succession of states $Ψ_{n}$ is obtained that converges to $Φ$ or to a Pauli partner. This algorithm for state reconstruction is efficient and robust as is seen in the numerical tests presented and is a useful tool not only for state determination but also for the study of Pauli partners. Its main ingredient is the Physical Imposition Operator that changes any state to have the same physical properties, with respect to an observable, of another state.
description: 11 pages 3 figures
Ultracold molecules for measuring the electron's electric dipole moment
Creators: name: Lim, J.
name: Almond, J. R.
name: Trigatzis, M. A.
name: Devlin, J. A.
name: Fitch, N. J.
name: Sauer, B. E.
name: Tarbutt, M. R.
name: Hinds, E. A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We demonstrate one-dimensional sub-Doppler laser cooling of a beam of YbF molecules to 100 $μ$K. This is a key step towards a measurement of the electron's electric dipole moment using ultracold molecules. We compare the effectiveness of magnetically-assisted and polarization-gradient sub-Doppler cooling mechanisms. We model the experiment and find good agreement with our data.
An enhanced Multipath Strategy in Mobile Ad hoc Routing Protocols
Creators: name: Alfawaer, Zeyad M.
name: Belgaum, Mohammad Riyaz
Publisher: name: arXiv
Year: 2018
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: The various routing protocols in Mobile Ad hoc Networks follow different strategies to send the information from one node to another. The nodes in the network are non static and they move randomly and are prone to link failure which makes always to find new routes to the destination. This research mainly focused on the study of the characteristics of multipath routing protocols in MANETS. Two of the multipath routing protocols were investigated and a comparative study along with simulation using NS2 was done between DSR and AODV to propose an enhanced approach to reach the destination maintaining the QoS. A possible optimization to the DSR and AODV routing protocols was proposed to make no node to be overburdened by distributing the load after finding the alternate multipath routes which were discovered in the Route discovery process. The simulation shows that the differences in the protocol highlighted major differences with the protocol performance. These differences have been analyzed with various network size, mobility, and network load. A new search table named Search of Next Node Enquiry Table (SONNET) was proposed to find the best neighbor node. Using SONNET the node selects the neighbor which can be reached in less number of hops and with less time delay and maintaining the QoS.
Additional file 2 of Lrpap1 deficiency leads to myopia through TGF-β-induced apoptosis in zebrafish
Creators: name: Liu, Shanshan
name: Chen, Ting
name: Chen, Binghao
name: Liu, Yijun
name: Lu, Xiaohe
name: Li, Jiali
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Cancer

description: Additional file 1. Figure S1. Immunohistochemical (IHC) results of LRPAP1 in 3-month-old zebrafish. (A) Negative control. (B) IHC targeting LRPAP1 for wild-type zebrafish. Figure S2. Western blot analysis of LRPAP1 in the eyes of lrpap1 mutants and wild-type zebrafish two months and three months post-fertilization. WT, wild-type; MU, lrpap1 homozygous mutant. Figure S3. Western blot analysis of TGF-β in the eyes of lrpap1 mutants and wild-type zebrafish two months and three months post-fertilization. WT, wild-type; MU, lrpap1 homozygous mutant.
Formal Verification of Superscalar Microprocessors with Multicycle Functional Units, Exceptions, and Branch Predication
Creators: name: Velev, Miroslav N.
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 2000
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description:  We extend the Burch and Dill flushing technique [6] for formal verification of microprocessors to be applicable to designs where the functional units and memories have multicycle and possibly arbitrary latency. We also show ways to incorporate exceptions and branch prediction by exploiting the properties of the logic of Positive Equality with Uninterpreted Functions [4][5]. We study the modeling of the above features in different versions of dualissue superscalar processors. 
A theory of consciousness: computation, algorithm, and neurobiological realization
Creators: name: van Hateren, J. H.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Neurons and Cognition (q-bio.NC)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Biological sciences
subject: FOS: Computer and information sciences

description: The most enigmatic aspect of consciousness is the fact that it is felt, as a subjective sensation. The theory proposed here aims to explain this particular aspect. The theory encompasses both the computation that is presumably involved and the way in which that computation may be realized in the brain's neurobiology. It is assumed that the brain makes an internal estimate of an individual's own evolutionary fitness, which can be shown to produce a special, distinct form of causation. Communicating components of the fitness estimate (either for external or internal use) requires inverting them. Such inversion can be performed by the thalamocortical feedback loop in the mammalian brain, if that loop is operating in a switched, dual-stage mode. A first (nonconscious) stage produces forward estimates, whereas the second (conscious) stage inverts those estimates. It is argued that inversion produces another special, distinct form of causation, which is spatially localized and is plausibly sensed as the feeling of consciousness.
description: minor revision, 21 pages, 10 figures, 1 table
Chemical order in Ge-Ga-Sb-Se glasses
Creators: name: Pethes, Ildikó
name: Chahal, Radwan
name: Nazabal, Virginie
name: Prestipino, Carmelo
name: Michalik, Stefan
name: Darpentigny, Jacques
name: Jóvári, Pál
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: The short range order in Ge$_{30}$Ga$_{5}$Sb$_{10}$Se$_{55}$ and Ge$_{21}$Ga$_{5}$Sb$_{10}$Se$_{64}$ glasses was investigated by X-ray (XRD) and neutron diffraction (ND) as well as extended X-ray absorption fine structure (EXAFS) measurements at the Ge, Ga, Sb and Se K-edges. Large scale structural models were obtained by fitting simultaneously the experimental data sets by reverse Monte Carlo (RMC) simulation technique. It was found that Ge, Sb and Se atoms follow the Mott-rule and have 4, 3 and 2 nearest neighbors, respectively. The average coordination number of the Ga atoms was around 4. The structure of these glasses can be described by the chemically ordered network model: the Ge-Se, Ga-Se and Sb-Se bonds are the most prominent while Ge-Ge and Ge-Sb bonds are formed only in Se-poor compositions. Models generated by RMC contained some long distances (0.3-0.4 Å higher than the usual covalent bond lengths) between Ge-Se and/or Ge-Ge pairs. Dedicated simulation runs confirm the existence of these bonds.
description: 20 pages, 5 figures, submitted to Journal of Non-Crystalline Solids
Time-reversal-symmetry breaking and unconventional pairing in the noncentrosymmetric superconductor La$_{7}$Rh$_{3}$
Creators: name: Singh, D.
name: Scheurer, M. S.
name: Hillier, A. D.
name: Adroja, D. T.
name: Singh, R. P.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: Noncentrosymmetric superconductors have sparked significant research interests due to their exciting properties, such as the admixture of spin-singlet and spin-triplet Cooper pairs. Here we report $μ$SR and thermodynamic measurements on the noncentrosymmetric superconductor La7Rh3 which indicate a fully established superconducting gap and spontaneous time-reversal-symmetry breaking at the onset of superconductivity. We show that our results pose severe constraints on any microscopic theory of superconductivity in the system. A symmetry analysis identifies ground states compatible with time-reversal-symmetry breaking and the resulting gap functions are discussed. Furthermore, general energetic considerations indicate the relevance of electron-electron interactions for the pairing mechanism, in accordance with hints of spin-fluctuations revealed in susceptibility measurements.
description: 10 Pages, 6 figures
Kinetics of HEX-BCC Transition in a Triblock Copolymer in a Selective Solvent: Time Resolved Small Angle X-ray Scattering Measurements and Model Calculations
Creators: name: Li, Minghai
name: Liu, Yongsheng
name: Nie, Huifen
name: Bansil, Rama
name: Steinhart, Milos
Publisher: name: arXiv
Year: 2007
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Time-resolved small angle x-ray scattering (SAXS) was used to examine the kinetics of the transition from HEX cylinders to BCC spheres at various temperatures in poly(styrene-b- ethylene-co-butylene-b-styrene) (SEBS) in mineral oil, a selective solvent for the middle EB block. Temperature-ramp SAXS and rheology measurements show the HEX to BCC order-order transition (OOT) at ~127 oC and order-disorder transition (ODT) at ~180 oC. We also observed the metastability limit of HEX in BCC with a spinodal temperature, Ts ~ 150 oC. The OOT exhibits 3 stages and occurs via a nucleation and growth mechanism when the final temperature Tf < Ts. Spinodal decomposition in a continuous ordering system was seen when Ts< Tf < TODT. We observed that HEX cylinders transform to disordered spheres via a transient BCC state. We develop a geometrical model of coupled anisotropic fluctuations and calculate the scattering which shows very good agreement with the SAXS data. The splitting of the primary peak into two peaks when the cylinder spacing and modulation wavelength are incommensurate predicted by the model is confirmed by analysis of the SAXS data.
Formal Verification of PowerPC(TM) Arrays using Symbolic Trajectory Evaluation
Creators: name: Pandey, Manish
name: Raimi, Richard
name: Beatty, Derek L.
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1996
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Verifying memory arrays such as on-chip caches and register files is a difficult part of designing a microprocessor. Current toolscannot verify the equivalence of the arrays to their behavioral or RTL models, nor their correct functioning at the transistor level. It is infeasible to run the number of simulation cycles required, and most formal verification tools breakdowndue to the enormous number of state-holding elements in the arrays. The formal method of symbolic trajectory evaluation (STE) appears to offer a solution, however. STE verifies that a circuit satisfies a formula in a carefully restricted temporal logic. For arrays, it requires only a number of variables approximately logarithmicin the numberof memory locations. The circuit is modeled at the switch level, so the verification is done on the actual design. We have used STE to verify two arrays from PowerPC microprocessors:a register file, and a data cache tag unit. The tag unit contains over 12,000 latches. We believe it is the largest circuit to have been formally verified, without abstracting away significant detail, in the industry. We also describe an automated technique for identifying state-holding elements in the arrays, a technique which should greatly assist the widespread application of STE.
Probing Majorana Phases and Neutrino Mass Spectrum in the Higgs Triplet Model at the LHC
Creators: name: Akeroyd, A. G.
name: Aoki, Mayumi
name: Sugiyama, Hiroaki
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Doubly charged Higgs bosons (H^++) are a distinctive signature of the Higgs Triplet Model of neutrino mass generation. If H^++ is relatively light (m_{H^++} < 400GeV) it will be produced copiously at the LHC, which could enable precise measurements of the branching ratios of the decay channels H^++ to l_i l_j. Such branching ratios are determined solely by the neutrino mass matrix which allows the model to be tested at the LHC. We quantify the dependence of the leptonic branching ratios on the absolute neutrino mass and Majorana phases, and present the permitted values for the channels ee, emu and mumu. It is shown that precise measurements of these three branching ratios are sufficient to extract information on the neutrino mass spectrum and probe the presence of CP violation from Majorana phases.
description: 1+19 pages, 22 figures, typos corrected, references added, version to appear in Phys. Rev. D
The effects of tea plant age on the color, taste, and chemical characteristics of Yunnan Congou black tea by multi-spectral omics insight
Creators: name: Long, Piaopiao
name: Su, Shengxiao
name: Han, Zisheng
name: Granato, Daniel
name: HU, WEI
name: Ke, Jiaping
name: Zhang, Liang
Publisher: name: University of Limerick
Year: 2024
Subjects: classificationCode: 31
subject: Biological sciences
subject: FOS: Biological sciences

description: The present study comprehensively used integrated multi-spectral omics combined with sensory evaluation analysis to investigate the quality of three types of Yunnan Congou black teas from different tree ages (decades, DB; hundreds, HB; a thousand years, TB). TB infusion presented the highest scores of sweetness and umami, higher brightness, and yellow hue. Eighty-four marker metabolites were identified, including Amadori rearrangement products, catechin oxidation products, flavonoid glycosides, and organic acids, which are simultaneously related to tea infusions’ color and taste. Moreover, the content of some characteristic flavonoid glycosides and organic acids was determined. Our finding implied trans-4-O-p-coumaroylquinic acid and quercetin 3-O-rutinoside contributed to bitterness and astringency, while dehydro theanine-glucose Amadori product and xylopyranosyl-glucopyranose resulted in umami and sweetness. These results provided quantitative and qualitative information for deciphering differences among black teas with different tea plant ages, conducing to the further utilization of ancient tea plants in Southwest China.
A posteriori error estimation and adaptivity in $hp$ virtual elements
Creators: name: da Veiga, L. Beirão
name: Manzini, G.
name: Mascotto, L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 65N12, 65N30

description: An explicit and computable error estimator for the $hp$ version of the virtual element method (VEM), together with lower and upper bounds with respect to the exact energy error, is presented. Such error estimator is employed to provide $hp$ adaptive mesh refinements for very general polygonal meshes. In addition, a novel VEM $hp$ Clément quasi-interpolant, instrumental for the a posteriori error analysis, is introduced. The performances of the adaptive method are validated by a number of numerical experiments.
description: 28 pages, 16 figures
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Cart. 189 (11 H 74), 316 folios, f. 0178r
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Archives départementales de la Côte-d'Or, Cart. 189 (11 H 74), 316 folios, f. 0178r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Archives départementales de la Côte-d'Or, Cart. 189 (11 H 74), 316 folios, f. 0178r, 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
title: Programme de l'ATED Construire l'autre
Creators: name: IEE, ULB
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2017

description: Programme de l'ATED Construir l'autre, du 19 au 21 juillet 2015
description: Relation: http://iremam.cnrs.fr/spip.php?article2918
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Creators: name: Bryant, Randal
name: Carl-Johan  Seger
Publisher: name: Carnegie Mellon University
Year: 1991
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: Ternary system modeling involves extending the traditional set of binary values {01} with a third value --X--indicating an unknown or indeterminate condition. By making this extension, we can model a wider range of circuit phenomena. We can also efficiently verify sequential circuits in which the effect of a given operation depends on only a subset of the total system state. This paper presents a formal methodology for verifying synchronous digital circuits using a ternary system model. The desired behavior of the circuit is expressed as assertions in a notation using a combination of Boolean expressions and temporal logic operators. An assertion is verified by translating it into a sequence of patterns and checks for a ternary symbolic simulator. This methodology has been used to verify a number of full scale circuit designs.
title: Perspectives on Generative AI in Software Engineering and Acquisition
Creators: name: Carleton, Anita
name: Ivers, James
name: Ozkaya, Ipek
name: Robert, John
name: Schmidt, Douglas
name: Zhang, Shen
Publisher: name: Software Engineering Institute
publisherIdentifier: https://ror.org/01xqjjn94
publisherIdentifierScheme: ROR
Year: 2025

description: In the realm of software engineering and software acquisition, generative AI promises to improve developer productivity and rate of production of related artifacts, and in some cases their quality. It is essential, however, that software and acquisition professionals learn how to apply AI-augmented methods and tools in their workflows effectively. SEI researchers addressed this topic in a webcast that focused on the future of software engineering and acquisition using generative AI technologies, such as ChatGPT, DALL·E, and Copilot. This blog post excerpts and lightly edits portions of that webcast to explore the expert perspectives of applying generative AI in software engineering and acquisition. It is the latest in a series of blog posts on these topics.
Preparation and properties of amorphous MgB$_2$/MgO superstructures: A new model disordered superconductor
Creators: name: Siemons, W.
name: Steiner, M. A.
name: Koster, G.
name: Blank, D. H. A.
name: Beasley, M. R.
name: Kapitulnik, A.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: In this paper we introduce a novel method for fabricating MgB$_2$/MgO multilayers and demonstrate the potential for using them as a new model for disordered superconductors. In this approach we control the annealing of the MgB$_2$ to yield an interesting new class of disordered (amorphous) superconductors with relatively high transition temperatures. The multilayers appear to exhibit quasi-two-dimensional superconductivity with controlled anisotropy. We discuss the properties of the multilayers as the thickness of the components of the bilayers vary.
description: 7 pages, 8 figures
Formal Verification of an ARM Processor
Creators: name: Vsihnu A. Patankar
name: Jain, Alok
name: Bryant, Randal
Publisher: name: Carnegie Mellon University
Year: 1999
Subjects: subject: 80399 Computer Software not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM processors, uses features such as a 5-stage instruction pipeline, predicated execution, forwarding logic and multi-cycle instructions. The instruction set of the processor was defined as a set of abstract assertions. An implementation mapping was used to relate the abstract states in these assertions to detailed circuit states in the gate-level implementation of the processor. Symbolic Trajectory Evaluation was used to verify that the circuit fulfills each abstract assertion under the implementation mapping. The verification was done concurrently with the design implementation of the processor. Our verification did uncover 4 bugs that were reported back to the designer in a timely manner.
Shear-banding and superdiffusivity in entangled polymer solutions
Creators: name: Shin, Seunghwan
name: Dorfman, Kevin D.
name: Cheng, Xiang
Publisher: name: arXiv
Year: 2017
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Using high-resolution confocal rheometry, we study the shear profiles of well-entangled DNA solutions under large amplitude oscillatory shear (LAOS) in a rectilinear planar shear cell. With increasing Weissenberg number (Wi), we observe successive transitions from normal Newtonian linear shear profiles to wall-slip dominant shear profiles and finally to shear-banding profiles at high Wi. To investigate the microscopic origin of the observed shear banding, we study the dynamics of micron-sized tracers embedded in DNA solutions. Surprisingly, tracer particles in the shear frame exhibit transient super-diffusivity and strong dynamic heterogeneity. The probability distribution functions of particle displacements follow a power-law scaling at large displacements, indicating a Levy-walk-type motion, reminiscent of tracer dynamics in entangled wormlike micelle solutions and sheared colloidal glasses. We further characterize the length and time scales associated with the abnormal dynamics of tracer particles. We hypothesize that the unusual particle dynamics arise from localized shear-induced chain disentanglement.
description: 9 pages, 8 figures, accepted in Phys. Rev. E
Exponential stability of solutions to perturbed superstable wave equations
Creators: name: Kmit, I.
name: Lyul'ko, N.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35B20, 35B35, 35B40, 35B45, 35B65, 35L50

description: The paper deals with initial-boundary value problems for the linear wave equation whose solutions stabilize to zero in a finite time. We prove that problems in this class remain exponentially stable in $L^2$ as well as in $C^2$ under small bounded perturbations of the wave operator. To show this for $C^2$, we prove a smoothing result implying that the solutions to the perturbed problems become eventually $C^2$-smooth for any $H^1\times L^2$-initial data.
D4.4 - ASTRAL IMTA systems' compliancy to ecovalue chain standards and recommendations
Creators: name: O'Donohoe, Pauline
name: Casserly, Joanne
name: Waters, Catherine
name: Sánchez Cantero, Inma
name: Checa Alias, Daniel
name: Macey, Brett
name: Poersch, Luis
name: Macleod, Adrian
name: Michalek, Kati
name: Chalde, Tomás
Publisher: name: Zenodo
Year: 2023

description: This report describes the requirements IMTA systems must comply with in order to meet current standards and contains recommendations on how to develop, in the longer term, new IMTA eco-value chains delivering organic standards.
How efficient is transport of quantum cargo through multiple highways?
Creators: name: Roy, Saptarshi
name: Das, Tamoghna
name: Das, Debmalya
name: De, Aditi Sen
name: Sen, Ujjwal
Publisher: name: arXiv
Year: 2018
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum states can be efficiently transferred over a long distance if the entire quantum channel can be divided into several small blocks. We consider a scenario in which each block consists of two copies of a multiparty state -- one is used for distributing an arbitrary quantum state to multiple parties while the other channel is required to concentrate it back to a single party. Both in noiseless and local noisy scenarios, we find one-shot quantum capacities of these channels in terms of fidelity, when the initial shared states in each block are the generalized Greenberger-Horne-Zeilinger and the generalized W states. We also consider a situation where optimal local measurements transform multipartite states to bipartite ones which can then be used as single-path channels for quantum state transmission in each segment. We show that in some parameter ranges, the former protocol provides strictly better fidelities than that of the latter, thereby establishing the importance of distributing and concentrating arbitrary quantum states via multipartite entangled states in long distance quantum communication, over the local measurement based protocol. Moreover, we show that in presence of bit flip or bit-phase flip noise, shared generalized Greenberger-Horne-Zeilinger states possess an inherent noise detection and correction mechanism, leading to the same fidelity as in the noiseless case. We consider further noise models also, which do not enjoy the same mechanism. In addition to the fidelity based advantages, the multipath scheme is shown to be useful when one considers a situation in which the completion of the teleportation needs to be delayed. We also find the efficiencies of a quantum channel when a quantum state is transferred over long distances and the entire channel is divided into several small blocks.
description: 22 pages, 7 figures