cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Exact Solutions to Non-Linear Symmetron Theory: One and Two Mirror Systems
Creators: name: Brax, Philippe
name: Pitschmann, Mario
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We derive the exact analytical solutions to the symmetron field theory equations in the presence of a one or two mirror system. The one dimensional equations of motion are integrated exactly for both systems and their solutions can be expressed in terms of Jacobi elliptic functions. Surprisingly, in the case of two parallel mirrors the equations of motion generically provide not a unique solution but a discrete set of solutions with increasing number of nodes and energies. The solutions obtained herein can be applied to qBOUNCE experiments, neutron interferometry and for the calculation of the symmetron field induced "Casimir force" in the CANNEX experiment.
description: 14 pages, 6 figures
Ensemble-based Uncertainty Estimation with overlapping alternative Predictions
Creators: name: Eilers, Dirk
name: Schmoeller Da Roza, Felippe
name: Roscher, Karsten
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2021
Subjects: reinforcement learning
RL
safe reinforcement learning
safe RL
safety
distributional shift
uncertainty estimation
ensemble-based uncertainty estimation
out of distribution
OoD
out of distribution detection
model ensemble

description: A reinforcement learning model will predict an action in whatever state it is. Even if there is no distinct outcome due to unseen states the model may not indicate that. Methods for uncertainty estimation can be used to indicate this. Although a known approach in Machine Learning, most of the available uncertainty estimation methods are not able to deal with the choice overlap that happens in states where multiple actions can be taken by a reinforcement learning agent with a similar performance outcome. In this work, we investigate uncertainty estimation on simplified scenarios in a gridworld environment. Using ensemble-based uncertainty estimation we propose an algorithm based on action count variance (ACV) to deal with discrete action spaces and a calculation based on the in-distribution delta (IDD) of the action count variance to handle overlapping alternative predictions. To visualize the expressiveness of the model uncertainty we create heatmaps for different in-distribution (ID) and out-of-distribution (OOD) scenarios and propose an indicator for uncertainty. We can show that the method is able to indicate potentially unsafe states when the agent is facing novel elements in the OOD scenarios while capable to distinguish uncertainty resulting from OOD instances from uncertainty caused by the overlapping of alternative predictions.
Exploring the Trade-off Between Label Size and Stack Depth in MPLS Routing
Creators: name: Gupta, Anupam
name: Kumar, Amit
name: Rastogi, Rajeev
Publisher: name: Carnegie Mellon University
Year: 1973
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Multiprotocol label switching or MPLS technology is being increasingly deployed by several of the largest Internet service providers to solve problems such as traffic engineering and to offer IP services like virtual private networks (VPNs). In MPLS, the analysis of the packet (network layer) header is performed just once, and each packet is assigned a stack of labels, which is examined by subsequent routers when making forwarding decisions. Despite the fact that MPLS is becoming widespread on the Internet, we know essentially very little about the performance one can achieve with it, and about the intrinsic trade-offs in its use of resources. In this paper, we undertake a comprehensive study of the label size versus stack depth trade-off for MPLS routing protocols on lines and trees. We show that in addition to LSP tunneling, label stacks can also be used to dramatically reduce the number of labels required for setting up MPLS LSPs in a network. Based on this observation, we develop routing algorithms and prove lower bounds for two basic problems: (1) fixed label routing: given a fixed number of labels, we want to minimize the stack depth, and (2) fixed stack routing: given a bound on the stack depth, we want to minimize the number of labels used. Our simulation results validate our approach, demonstrating that our novel protocols enable MPLS routing on large trees with few labels and small stack sizes. Thus, our MPLS routing algorithms are applicable to a number of practical scenarios involving the provisioning of VPNs and multicast trees.
Origins of liquid-repellency on structured, flat, and lubricated surfaces
Creators: name: Daniel, Dan
name: Timonen, Jaakko V. I.
name: Li, Ruoping
name: Velling, Seneca J.
name: Kreder, Michael J.
name: Tetreault, Adam
name: Aizenberg, Joanna
Publisher: name: arXiv
Year: 2018
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: There are currently three main classes of high-performance liquid-repellent surfaces: micro-/nano-structured lotus-effect superhydrophobic surfaces, flat surfaces grafted with 'liquid-like' polymer brushes, and various lubricated surfaces. Despite recent progress, the mechanistic understanding of the differences in droplet behavior on such surfaces is still under debate. We measured the dissipative force acting on a droplet moving on representatives of these classes at different velocities U = 0.01-1 mm/s using a cantilever force sensor with sub-uN accuracy, and correlated it to the contact line dynamics observed using optical interferometry at high spatial (micron) and temporal (< 0.1s) resolutions. We find that the dissipative force, due to very different physical mechanisms at the contact line, is independent of velocity on superhydrophobic surfaces, but depends non-linearly on velocity for flat and lubricated surfaces. The techniques and insights presented here will inform future work on liquid-repellent surfaces and enable their rational design.
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. 03
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: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire 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. 03, 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. 03, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Exploring the Synergy of Humans and Machines in Extreme Video Retrieval
Creators: name: Hauptmann, Alexander
name: Wei-Hao  Lin
name: Yan, Rong
name: Yang, Jun
name: Baron, Robert V.
name: Chen, Ming-Yu
name: Gilroy, Sean
name: Gordon, Michael D.
Publisher: name: Carnegie Mellon University
Year: 2013
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We introduce an interface for efficient video search that exploits the human ability to quickly scan visual content, after automatic retrieval has arrange the images in expected order of relevance. While extreme video retrieval is taxing to the human, it is also extremely effective. Two variants of extreme retrieval are demonstrated, 1) RSVP which automatically pages through images with user-control of the paging speed, while the user marks relevant shots and 2) MBRP where the user manually controls paging and adjusts the number of images per page, depending on the density of relevant shots.
Strange nucleon electromagnetic form factors from lattice QCD
Creators: name: Alexandrou, C.
name: Constantinou, M.
name: Hadjiyiannakou, K.
name: Jansen, K.
name: Kallidonis, C.
name: Koutsou, G.
name: Aviles-Casco, A. Vaquero
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We evaluate the strange nucleon electromagnetic form factors using an ensemble of gauge configurations generated with two degenerate maximally twisted mass clover-improved fermions with mass tuned to approximately reproduce the physical pion mass. In addition, we present results for the disconnected light quark contributions to the nucleon electromagnetic form factors. Improved stochastic methods are employed leading to high-precision results. The momentum dependence of the disconnected contributions is fitted using the model-independent z-expansion. We extract the magnetic moment and the electric and magnetic radii of the proton and neutron by including both connected and disconnected contributions. We find that the disconnected light quark contributions to both electric and magnetic form factors are non-zero and at the few percent level as compared to the connected. The strange form factors are also at the percent level but more noisy yielding statistical errors that are typically within one standard deviation from a zero value.
description: 10 pages, 11 figures
CAM: Causal additive models, high-dimensional order search and penalized regression
Creators: name: Bühlmann, Peter
name: Peters, Jonas
name: Ernest, Jan
Publisher: name: arXiv
Year: 2013
Subjects: subject: Methodology (stat.ME)
subject: Machine Learning (cs.LG)
subject: Machine Learning (stat.ML)
subject: FOS: Computer and information sciences

description: We develop estimation for potentially high-dimensional additive structural equation models. A key component of our approach is to decouple order search among the variables from feature or edge selection in a directed acyclic graph encoding the causal structure. We show that the former can be done with nonregularized (restricted) maximum likelihood estimation while the latter can be efficiently addressed using sparse regression techniques. Thus, we substantially simplify the problem of structure search and estimation for an important class of causal models. We establish consistency of the (restricted) maximum likelihood estimator for low- and high-dimensional scenarios, and we also allow for misspecification of the error distribution. Furthermore, we develop an efficient computational algorithm which can deal with many variables, and the new method's accuracy and performance is illustrated on simulated and real data.
description: Published in at http://dx.doi.org/10.1214/14-AOS1260 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Exploring Massive Structured Data in Argus
Creators: name: Carbonell, Jaime G.
name: Fink, Eugene
name: Jin, Chun
name: Gazen, Cenk
name: Hayes, Phil
name: Mani, Ganesh
name: Dietrich, Dwight
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Project Argus is focused on helping an analyst explore massive, structured data. This exploration includes exact and partial match queries, monitoring hypotheses and discovery of new patterns in both static and streaming data. We provide these facilities within the context of a workbench interface, called Data Explorer. We support exploration of data that is a collection of records, each of which is structured as several distinct fields. For instance, financial transfers are typically represented as structured records, with such fields as sending bank, sending account number, currency, amount, date, receiving account, etc. Most fields are well-defined, like a date, a dollar amount, or the receiving bank. Other fields may be longer and of more free-form content, like the body of an email message. In Argus, we have focused exclusively on the well-defined, structured data. As previously reported, we have been working on methods to retrieve such data flexibly to accommodate the lack of integrity and consistency in real-world data, to monitor it for watch patterns, and to identify novel and emerging trends as it accumulates over time.
ENHANCING LABOR LEGISLATION FOR EFFECTIVE EDUCATIONAL MANAGEMENT: A CALL TO ACTION
Creators: name: Mutalov, Oybek
Publisher: name: Zenodo
Year: 2024

description: This article delves into the intricate relationship between labor legislation and educational management, elucidating the necessity for enhancements in the former to bolster the effectiveness of the latter. By delineating prevalent challenges confronting educational institutions in workforce management, it underscores the pivotal role of labor laws in shaping educators' working conditions and, consequently, influencing student outcomes. Furthermore, it provides actionable strategies for advocacy and change, empowering stakeholders to champion legislative reforms conducive to fostering a supportive environment for both educators and learners. In essence, this article serves as a clarion call for collaborative efforts aimed at advancing labor legislation to optimize educational management practices and promote equitable access to quality education.
Exploring Concept Selection Strategies for Interactive Video Search
Creators: name: Christel, Michael G
name: Hauptmann, Alexander
Publisher: name: Carnegie Mellon University
Year: 1964
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Ranked shot lists from 39 automated LSCOM-Lite concept classifiers are investigated with respect to 24 TRECVID 2006 topics. Selecting the best fitting concept or pair of concepts produces the shot set with greatest utility, rather than drawing fewer shots from a larger set of concepts. Mean average precision measures show concept-based shot sets have great utility for topics when perfectly traversed by a user. Using empirical data, however, shows that realistic ability to separate relevant shots from irrelevant ones and recall all the relevant ones is topic-dependent and far from perfect. Concept-based strategies including user-driven selection strategies not using idealized oracle prioritization are also discussed, with implications for query-by-concept in interactive video retrieval as concept spaces grow from tens to thousands.
Different progenitors of short hard gamma-ray bursts
Creators: name: Troja, Eleonora
name: King, Andrew R.
name: O'Brien, Paul T.
name: Lyons, Nicola
name: Cusumano, Giancarlo
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We consider the spatial offsets of short hard gamma-ray bursts (SHBs) from their host galaxies. We show that all SHBs with extended duration soft emission components lie very close to their hosts. We suggest that NS-BH binary mergers offer a natural explanation for the properties of this extended duration/low offset group. SHBs with large offsets have no observed extended emission components and are less likely to have an optically detected afterglow, properties consistent with NS-NS binary mergers occurring in low density environments.
description: 5 pages, 2 figures, accepted for publication in MNRAS
Cascades in real interbank markets
Creators: name: Karimi, Fariba
name: Raddant, Matthias
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Finance (q-fin.ST)
subject: Physics and Society (physics.soc-ph)
subject: General Finance (q-fin.GN)
subject: FOS: Economics and business
subject: FOS: Physical sciences

description: We analyze cascades of defaults in an interbank loan market. The novel feature of this study is that the network structure and the size distribution of banks are derived from empirical data. We find that the ability of a defaulted institution to start a cascade depends on an interplay of shock size and connectivity. Further results indicate that the ability to limit default risk by spreading the lending to many counterparts decreased with the financial crisis. To evaluate the influence of the network structure on market stability, we compare the simulated cascades from the empirical network with results from different randomized network models. The results show that the empirical network has non-random features, which cannot be captured by rewired networks. The analysis also reveals that simulations assuming homogeneity for size of banks and loan contracts dramatically overestimates the fragility of the interbank market.
Galaxy Evolution in the Cluster Abell 85: New Insights from the Dwarf Population
Creators: name: Habas, Rebecca
name: Fadda, Dario
name: Marleau, Francine R.
name: Biviano, Andrea
name: Durret, Florence
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We present the first results of a new spectroscopic survey of the cluster Abell 85 targeting 1466 candidate cluster members within the central $\sim$1 deg$^2$ of the cluster and having magnitudes $m_r < 20.5$ using VIMOS/VLT and HYDRA/WIYN. A total of 520 galaxies are confirmed as either relaxed cluster members or part of an infalling population. A significant fraction are low mass; the median stellar mass of the sample is $10^{9.6} M_{\odot} $, and 25% have stellar masses below $10^9 M_{\odot}$ (i.e. 133 dwarf galaxies). We also identify seven active galactic nuclei (AGN), four of which reside in dwarf host galaxies. We probe the evolution of star formation rates, based on H$α$ emission and continuum modeling, as a function of both mass and environment. We find that more star forming galaxies are observed at larger clustercentric distances, while infalling galaxies show evidence for recently enhanced star forming activity. Main sequence galaxies, defined by their continuum star formation rates, show different evolutionary behavior based on their mass. At the low mass end, the galaxies have had their star formation recently quenched, while more massive galaxies show no significant change. The timescales probed here favor fast quenching mechanisms, such as ram-pressure stripping. Galaxies within the green valley, defined similarly, do not show evidence of quenching. Instead, the low mass galaxies maintain their levels of star forming activity, while the more massive galaxies have experienced a recent burst.
description: 15 pages, 10 figures, accepted for publication in MNRAS
Adsorptions of C5F10O decomposed compounds on the Cu-decorated NiS2 monolayer: a first-principles theory
Creators: name: Wu, Hailong
name: Xia, Yalong
name: Zhang, Chenmeng
name: Xie, Shijun
name: Wu, Siqing
name: Cui, Hao
Publisher: name: Taylor & Francis
Year: 2023
Subjects: subject: Biophysics
subject: Space Science
subject: Physical Sciences not elsewhere classified
subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Environmental Sciences not elsewhere classified
subject: Chemical Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified

description: This study using the first-principles theory investigates the geometric and electronic properties of Cu-decorated NiS2 (Cu–NiS2) monolayer, and the adsorption and sensing performance of Cu–NiS2 monolayer upon five C5F10O decomposed species, in order to explore its potential to evaluate the operation status of C5F10O-based insulation devices. It is found that the Cu atom prefers to be trapped on the H1 site of the NiS2 monolayer with the formation energy of −3.09 eV without the cluster issue. The chemisorption is determined in the Cu–NiS2/C2F6O3 with an adsorption energy of −1.05 eV, while physisorption is identified in the C3F6, CF2O, C2F6 and CF4 systems. The analyses of electronic property and recovery property reveal the strong potential of Cu–NiS2 monolayer to be a reusable C3F6 or CF2O sensor at room temperature, to be a high-sensitive and one-shot C2F6O3 sensor instead and is not suitable for C2F6 and CF4 sensing due to the low sensitivity. This work is meaningful in terms of proposing novel sensing material for application in the power system to ensure the good operation of C5F10O-based insulation devices. Research HighlightsCu-decorating behaviours on a pristine NiS2 monolayer are studied.The sensing mechanisms of Cu–NiS2 monolayer upon five C5F10O decomposed species are expounded.The sensing potential of Cu–NiS2 monolayer as a resistance-type gas sensor is explored. Cu-decorating behaviours on a pristine NiS2 monolayer are studied. The sensing mechanisms of Cu–NiS2 monolayer upon five C5F10O decomposed species are expounded. The sensing potential of Cu–NiS2 monolayer as a resistance-type gas sensor is explored.
Calculation of bound states and resonances in perturbed Coulomb models
Creators: name: Fernandez, Francisco M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We calculate accurate bound states and resonances of two interesting perturbed Coulomb models by means of the Riccati-Padé method. This approach is based on a rational approximation to a modified logarithmic derivative of the eigenfunction and produces sequences of roots of Hankel determinants that converge towards the eigenvalues of the equation.
A Secure and Authenticated Key Management Protocol (SA-KMP) for Vehicular Networks
Creators: name: Tan, Hengchuan
name: Ma, Maode
name: Labiod, Houda
name: Boudguiga, Aymen
name: Zhang, Jun
name: Chong, Peter Han Joo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Public key infrastructure (PKI) is the most widely used security mechanism for securing communications over the network. However, there are known performance issues, making it unsuitable for use in vehicular networks. In this paper, we propose a secure and authenticated key management protocol (SA-KMP) to overcome the shortcomings of the PKI. The SA-KMP scheme distributes repository containing the bindings of the en-tity's identity and its corresponding public key to each vehicle and road side unit. By doing so, certificate exchanges and certificate revocation lists are eliminated. Furthermore, the SA-KMP scheme uses symmetric keys derived based on a 3-D-matrix-based key agreement scheme to reduce the high computational costs of using asymmetric cryptography. We demonstrate the efficiency of the SA-KMP through performance evaluations in terms of transmission and storage overhead, network latency, and key generation time. Analytical results show that the SA-KMP is more scalable and outperforms the certificate-based PKI. Simulation results indicate that the key generation time of the SA-KMP scheme is less than that of the existing Elliptic Curve Diffie--Hellman and Diffie--Hellman protocols. In addition, we use Proverif to prove that the SA-KMP scheme is secure against an active attacker under the Dolev and Yao model and further show that the SA-KMP scheme is secure against denial of service, collusion attacks, and a wide range of other malicious attacks.
Analytical coexistence of s, p, s + p phases of a holographic superconductor
Creators: name: Momeni, Davood
name: Raza, Muhammad
name: Myrzakulov, Ratbay
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We analytically study the critical phase of a mixed system of the U(2) gauge fields and global symmetry on the boundary using gauge/gravity. A variational minimization problem has been formulated. The numerical results pertinently show that there exists a minimum chemical potential in which both scalar (s-wave) and vector (p-wave) condensates exist in a mixture, as well as in the distinct s- and p-phases. This result is obtained by breaking the symmetry into U(1) symmetry and rotational symmetry. While the analytical solutions of condensates and charge densities are achieved in both cases: the balanced and unbalanced holographic superconductors. This is the first an- alytical study of the coexistence of two modes of the superconductivity with different order parameters. The realistic model consists of two different phases of the superfluidity in Helium.
description: version accepted in "International Journal of Geometric Methods in Modern Physics"; 19 pages
title: The equilibrium state of molecular regions in the outer Galaxy
Creators: name: Heyer, MH
name: Carpenter, JM
name: Snell, Ronald L.
Publisher: name: University of Massachusetts Amherst
Year: 2001
Subjects: subject: Galaxy : kinematics and dynamics
subject: Galaxy : structure
subject: ISM : clouds
subject: ISM : general
subject: ISM : kinematics and dynamics
subject: ISM : molecules
subject: Astrophysics and Astronomy

description: This is the pre-published version harvested from ArXiv. The published version is located at http://iopscience.iop.org/0004-637X/551/2/852/
description: A summary of global properties and an evaluation of the equilibrium state of molecular regions in the outer Galaxy are presented from the decomposition of the FCRAO Outer Galaxy Survey and targeted 12CO and 13CO observations of four giant molecular cloud complexes. The ensemble of identified objects includes both small, isolated clouds and clumps within larger cloud complexes. The 12CO luminosity function and size distribution of a subsample of objects with well-defined distances are determined such that ΔN/ΔLCO = L and ΔN/Δre = r. 12CO velocity dispersions show little variation with cloud sizes for radii less than 10 pc. It is demonstrated that the internal motions of regions with MCO = XCOLCO > 104 M are bound by self-gravity, yet the constituent clumps of cloud complexes and isolated molecular clouds with MCO < 103 M are not in self-gravitational equilibrium. The required external pressures to maintain the equilibrium of this population are (1-2) × 104 cm-3 K.
Wilson line correlator in the MV model: relating the glasma to deep inelastic scattering
Creators: name: Lappi, T.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: In the color glass condensate framework the saturation scale measured in deep inelastic scattering of high energy hadrons and nuclei can be determined from the correlator of Wilson lines in the hadron wavefunction. These same Wilson lines give the initial condition of the classical field computation of the initial gluon multiplicity and energy density in a heavy ion collision. In this paper the Wilson line correlator in both adjoint and fundamental representations is computed using exactly the same numerical procedure that has been used to calculate gluon production in a heavy ion collision. In particular the discretization of the longitudinal coordinate has a large numerical effect on the relation between the color charge density parameter g^2 mu and the saturation scale Qs. Our result for this relation is Qs = 0.6 g^2 mu, which results in the classical Yang-Mills value for the "gluon liberation coefficient" c = 1.1.
description: 8 pages, 10 figures, RevTEX4, V2: typo corrections, V3: small clarifications, to be published in EPJ C
Exploiting Symmetry when Verifying Transistor-Level Circuits by Symbolic Trajectory Evaluation
Creators: name: Pandey, Manish
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1984
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We describe the use of symmetry for verification of transistor-level circuits by symbolic trajectory evaluation (STE). We present a new formulation of STE which allows a succinct description of symmetry properties in circuits, Symmetries in circuits are classified as structural symmetries, arising from similarities in circuit structure, data symmetries, arising from similarities in the handling of data values, and mixed structural-data symmetries. We use graph isomorphism testing and symbolic simulation to verify the symmetries in the original circuit, Using conservative approximations, we partition a circuit to expose the symmetries in its components, and construct reduced system models which can be verified efficiently, Introducing X-drivers into switch-level circuits simplifies the task of creating conservative approximations of switch-level circuits, Our empirical results show that exploiting symmetry with conservative approximations can allow one to verify systems several orders of magnitude larger than otherwise possible. We present results of verifying static random access memory circuits with up to 1.5 Million transistors,
Restricting Higgs bundles to curves
Creators: name: Bruzzo, Ugo
name: Giudice, Alessio Lo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14H60, 14J60

description: We determine some classes of varieties X - that include the varieties with numerically effective tangent bundle - satisfying the following property: if E is a Higgs bundle such that f*E is semistable for any morphism f from a smooth projective curve to X, then E is slope semistable and the discriminant of E is zero in H4(X,R). We also characterize some classes of varieties such that the underlying vector bundle of a slope semistable Higgs bundle is always slope semistable.
description: 11 pages. v2: 12 pages, final version to appear in Asian J. Math
Exploiting Style in Architectural Design Environments
Creators: name: Garlan, David
name: Allen, Robert
name: Ockerbloom, John
Publisher: name: Carnegie Mellon University
Year: 1983
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysis with tools and environments. In this paper we describe a system for developing architectural design environments that exploit architectural styles to guide software architects in producing specific systems. The primary contributions of this research are: (a) a generic object model for representing architectural designs; (b) the characterization of architectural styles as specializations of this object model; and (c) a toolkit for creating an open architectural design environment from a description of a specific architectural style. We use our experience in implementing these concepts to illustrate how style-oriented architectural design raises new challenges for software support environments.
LIGO: The Laser Interferometer Gravitational-Wave Observatory
Creators: name: The LIGO Scientific Collaboration
name: Abbott, B.
Publisher: name: arXiv
Year: 2007
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The goal of the Laser Interferometric Gravitational-Wave Observatory (LIGO) is to detect and study gravitational waves of astrophysical origin. Direct detection of gravitational waves holds the promise of testing general relativity in the strong-field regime, of providing a new probe of exotic objects such as black hole and neutron stars, and of uncovering unanticipated new astrophysics. LIGO, a joint Caltech-MIT project supported by the National Science Foundation, operates three multi-kilometer interferometers at two widely separated sites in the United States. These detectors are the result of decades of worldwide technology development, design, construction, and commissioning. They are now operating at their design sensitivity, and are sensitive to gravitational wave strains smaller than 1 part in 1E21. With this unprecedented sensitivity, the data are being analyzed to detect or place limits on gravitational waves from a variety of potential astrophysical sources.
description: 50 pages, 14 figures
Exploiting Similarity for Multi-Source Downloads Using File Handprints
Creators: name: Himabindu  Pucha
name: Andersen, David G.
name: Kaminsky, Michael
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Many contemporary approaches for speeding up large file transfers attempt to download chunks of a data object from multiple sources. Systems such as BitTorrent quickly locate sources that have an exact copy of the desired object, but they are unable to use sources that serve similar but non-identical objects. Other systems automatically exploit cross-file similarity by identifying sources for each chunk of the object. These systems, however, require a number of lookups proportional to the number of chunks in the object and a mapping for each unique chunk in every identical and similar object to its corresponding sources. Thus, the lookups and mappings in such a system can be quite large, limiting its scalability. This paper presents a hybrid system that provides the best of both approaches, locating identical and similar sources for data objects using a constant number of lookups and inserting a constant number of mappings per object. We first demonstrate through extensive data analysis that similarity does exist among objects of popular file types, and that making use of it can sometimes substantially improve download times. Next, we describe handprinting, a technique that allows clients to locate similar sources using a constant number of lookups and mappings. Finally, we describe the design, implementation and evaluation of Similarity-Enhanced Transfer (SET), a system that uses this technique to download objects. Our experimental evaluation shows that by using sources of similar objects, SET is able to significantly out-perform an equivalently configured BitTorrent.
Lower Bounds for Quantum Parameter Estimation
Creators: name: Walter, Michael
name: Renes, Joseph M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Information Theory (cs.IT)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: The laws of quantum mechanics place fundamental limits on the accuracy of measurements and therefore on the estimation of unknown parameters of a quantum system. In this work, we prove lower bounds on the size of confidence regions reported by any region estimator for a given ensemble of probe states and probability of success. Our bounds are derived from a previously unnoticed connection between the size of confidence regions and the error probabilities of a corresponding binary hypothesis test. In group-covariant scenarios, we find that there is an ultimate bound for any estimation scheme which depends only on the representation-theoretic data of the probe system, and we evaluate its asymptotics in the limit of many systems, establishing a general "Heisenberg limit" for region estimation. We apply our results to several examples, in particular to phase estimation, where our bounds allow us to recover the well-known Heisenberg and shot-noise scaling.
description: 17 pages, 3 figures
Spin squeezing and entanglement for arbitrary spin
Creators: name: Vitagliano, Giuseppe
name: Apellaniz, Iagoba
name: Egusquiza, Inigo L.
name: Toth, Geza
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: A complete set of generalized spin-squeezing inequalities is derived for an ensemble of particles with an arbitrary spin. Our conditions are formulated with the first and second moments of the collective angular momentum coordinates. A method for mapping the spin-squeezing inequalities for spin-1/2 particles to entanglement conditions for spin-j particles is also presented. We apply our mapping to obtain a generalization of the original spin-squeezing inequality to higher spins. We show that, for large particle numbers, a spin-squeezing parameter for entanglement detection based on one of our inequalities is strictly stronger than the original spin-squeezing parameter defined in [A. Sorensen et al., Nature 409, 63 (2001)]. We present a coordinate system independent form of our inequalities that contains, besides the correlation and covariance tensors of the collective angular momentum operators, the nematic tensor appearing in the theory of spin nematics. Finally, we discuss how to measure the quantities appearing in our inequalities in experiments.
description: 18 pages including 3 figures, revtex4; v2: references added, typos corrected; v3: typos corrected, published version
Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions
Creators: name: Bryant, Randal E.
name: German, Steven
name: Velev, Miroslav N
Publisher: name: Carnegie Mellon University
Year: 1998
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition can be exploited when deciding its validity. We distinguish a class of terms we call “p-terms” for which equality comparisons can appear only in monotonically positive formulas. By applying suitable abstractions to the hardware model, we can express the functionality of data values and instruction addresses flowing through an instruction pipeline with p-terms. A decision procedure can exploit the restricted uses of p-terms by considering only “maximally diverse” interpretations of the associated function symbols, where every function application yields a different value except when constrained by functional consistency.We present a procedure that translates the original formula into one in propositional logic by interpreting the formula over a domain of fixed-length bit vectors and using vectors of propositional variables to encode domain variables. By exploiting maximal diversity, this procedure can greatly reduce the number of propositional variables that must be introduced. We present experimental results demonstrating the efficiency of this approach when verifying pipelined processors using the method proposed by Burch and Dill. Exploiting positive equality allows us to overcome the exponential blow-up experienced previously [VB98] when verifying microprocessors with load, store, and branch instructions.
Charm Physics Opportunities at a Super Flavor Factory
Creators: name: Asner, David
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The primary physics goals of a high luminosity e+e- flavor factory are discussed, including the possibilities to perform detailed studies of the CKM mechanism of quark mixing, and constrain virtual Higgs and non-standard model particle contributions to the dynamics of rare B_{u,d,s} decays. The large samples of D mesons and tau leptons produced at a flavor factory will result in improved sensitivities to rare D processes - mixing, CP violation and rare decays - and lepton flavor violation searches, respectively. Recent developments in accelerator physics have demonstrated the feasibility to build an accelerator that can achieve luminosities of ~10^36 cm-2 s^-1 at sqrt{s}=10 GeV. The capablity to run at sqrt{s}=3.770 GeV with luminosity of ~10^35 cm^-2 s^-1 is included in the initial design. This report emphasizes the charm physics that can be probed at a Super Flavor Factory.
description: To be published in the proceedings of CHARM07, Ithaca, NY, August 2007, eConf C070805
title: ADCO, Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Cart. 29 (G 134), 996 folios, f. 0114
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
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0114, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Septième cartulaire de Saint-Étienne de Dijon (1661-1665), Archives départementales de la Côte-d'Or, Cart. 29 (G 134), 996 folios, f. 0114, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Additional file 1: of A high-density BAC physical map covering the entire MHC region of addax antelope genome
Creators: name: Li, Chaokun
name: Chen, Longxin
name: Liu, Xuefeng
name: Shi, Xiaoqian
name: Guo, Yu
name: Huang, Rui
name: Nie, Fangyuan
name: Zheng, Changming
name: Zhang, Chenglin
name: Ma, Runlin
Publisher: name: figshare
Year: 2019
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Molecular Biology
subject: Evolutionary Biology
subject: Ecology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Marine Biology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences

description: Table S1. Sequence-specific PCR primers used for validation of the overlap between BAC clones covering the addax MHC region. A total of 45 pairs of primers are listed in this table. (DOCX 21 kb)
A non-biased trust model for wireless mesh networks
Creators: name: Tan, Heng Chuan
name: Ma, Maode
name: Labiod, Houda
name: Chong, Peter Han Joo
name: Zhang, Jun
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Trust models that rely on recommendation trusts are vulnerable to badmouthing and ballot-stuffing attacks. To cope with these attacks, existing trust models use different trust aggregation techniques to process the recommendation trusts and combine them with the direct trust values to form a combined trust value. However, these trust models are biased as recommendation trusts that deviate too much from one's own opinion are discarded. In this paper, we propose a non-biased trust model that considers every recommendation trusts available regardless they are good or bad. Our trust model is based on a combination of 2 techniques: the dissimilarity test and the Dempster-Shafer Theory. The dissimilarity test determines the amount of conflict between 2 trust records, whereas the Dempster-Shafer Theory assigns belief functions based on the results of the dissimilarity test. Numerical results show that our trust model is robust against reputation-based attacks when compared to trust aggregation techniques such as the linear opinion pooling, subjective logic model, entropy-based probability model, and regression analysis. In addition, our model has been extensively tested using network simulator NS-3 in an Infrastructure-based wireless mesh networks and a Hybrid-based wireless mesh networks to demonstrate that it can mitigate blackhole and grayhole attacks.
Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors
Creators: name: Velev, Miroslav N
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We study the applicability of the logic of Positive Equality with Uninterpreted Functions (PEUF) [2][3] to the verification of pipelined microprocessors with very large Instruction Set Architectures (ISAs). Abstraction of memory arrays and functional units is employed, while the control logic of the processors is kept intact from the original gate-level designs. PEUF is an extension of the logic of Equality with Uninterpreted Functions, introduced by Burch and Dill [4], that allows us to use distinct constants for the data operands and instruction addresses needed in the symbolic expression for the correctness criterion. We present several techniques that make PEUF scale very efficiently for the verification of pipelined microprocessors with large ISAs. These techniques are based on allowing a limited form of non-consistency in the uninterpreted functions, representing initial memory state and ALU behaviors. Our tool required less than 30 seconds of CPU time and 5 MB of memory to verify a 5-stage MIPS-like pipelined processor that implements 191 instructions of various classes. The verification was done by correspondence checking - a formal method, where a pipelined microprocessor is compared against a non-pipelined specification.
title: ADCO, Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Cart. 32 (G 136), 745 folios, f. 0566
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
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Archives départementales de la Côte-d'Or, Cart. 32 (G 136), 745 folios, f. 0566, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Archives départementales de la Côte-d'Or, Cart. 32 (G 136), 745 folios, f. 0566, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
Exploiting Ontology Structures and Unlabeled Data for Learning
Creators: name: Balcan, Nina
name: Avrim  Blum
name: Mansour, Yishay
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We present and analyze a theoretical model designed to understand and explain the effectiveness of ontologies for learning multiple related tasks from primarily unlabeled data. We present both information-theoretic results as well as efficient algorithms. We show in this model that an ontology, which specifies the relationships between multiple outputs, in some cases is sufficient to completely learn a classification using a large unlabeled data source