cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
CCO Pulsars as Anti-Magnetars: Evidence of Neutron Stars Weakly Magnetized at Birth
Creators: name: Gotthelf, E. V.
name: Halpern, J. P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Our new study of the two central compact object pulsars, PSR J1210-5226 (P = 424 ms) and PSR J1852+0040 (P = 105 ms), leads us to conclude that a weak natal magnetic field shaped their unique observational properties. In the dipole spin-down formalism, the 2-sigma upper limits on their period derivatives, < 2E-16 for both pulsars, implies surface magnetic field strengths of B_s < 3E11 G and spin periods at birth equal to their present periods to three significant digits. Their X-ray luminosities exceed their respective spin-down luminosities, implying that their thermal spectra are derived from residual cooling and perhaps partly from accretion of supernova debris. For sufficiently weak magnetic fields an accretion disk can penetrate the light cylinder and interact with the magnetosphere while resulting torques on the neutron star remain within the observed limits. We propose the following as the origin of radio-quiet CCOs: the magnetic field, derived from a turbulent dynamo, is weaker if the NS is formed spinning slowly, which enables it to accrete SN debris. Accretion excludes neutron stars born with both B_s < 1E11 G and P > 0.1 s from radio pulsar surveys, where such weak fields are not encountered except among very old (> 40 Myr) or recycled pulsars. We predict that these birth properties are common, and may be attributes of the youngest detected neutron star, the CCO in Cassiopeia A, as well as an undetected infant neutron star in the SN 1987A remnant. In view of the far-infrared light echo discovered around Cas A and attributed to an SGR-like outburst, it is especially important to determine via timing whether Cas A hosts a magnetar or not. If not a magnetar, the Cas A NS may instead have undergone a one-time phase transition (corequake) that powered the light echo.
description: 5 pages, 4 figures, Latex, aipproc.cls. To appear in the conference proceedings "40 Years of Pulsars: Millisecond Pulsars, Magnetars, and More", held on August 12-17, 2007, at McGill University, Montreal, Canada; for further details see arXiv:0705.0978 and arXiv:0704.2255
Towards a Categorical Account of Conditional Probability
Creators: name: Furber, Robert
name: Jacobs, Bart
Publisher: name: arXiv
Year: 2013
Subjects: subject: Category Theory (math.CT)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: This paper presents a categorical account of conditional probability, covering both the classical and the quantum case. Classical conditional probabilities are expressed as a certain "triangle-fill-in" condition, connecting marginal and joint probabilities, in the Kleisli category of the distribution monad. The conditional probabilities are induced by a map together with a predicate (the condition). The latter is a predicate in the logic of effect modules on this Kleisli category. This same approach can be transferred to the category of C*-algebras (with positive unital maps), whose predicate logic is also expressed in terms of effect modules. Conditional probabilities can again be expressed via a triangle-fill-in property. In the literature, there are several proposals for what quantum conditional probability should be, and also there are extra difficulties not present in the classical case. At this stage, we only describe quantum systems with classical parametrization.
description: In Proceedings QPL 2015, arXiv:1511.01181
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 28 (53)]
Creators: name: Campeggi, Lorenzo
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1567
Subjects: subject: Sonstige geistliche Aussteller
subject: Urkunde
subject: 090

description: Laurentius Campegius, Archidiaconus der Kathedrale von Bologna, und weitere genannte Honoratioren der Universität von Bologna verleihen dem Anselmus Dandinus Cesenas, Abt des Klosters St. Bartholomaei, gelegen im Bistum Ferrara, den akademischen Grad eines Doktors beider Rechte.
Decoherence in quantum walks and quantum computers
Creators: name: Hines, Andrew P.
name: Stamp, P. C. E.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Decoherence is the major stumbling block in the realization of a large-scale quantum computer. Ingenious methods have been devised to overcome decoherence, but their success has been proven only for over-simplified models of system-environment interaction. Whether such methods will be reliable in the face of more realistic models is a fundamental open question. In this partly pedagogical article, we study two toy models of quantum information processing, using the language of \emph{quantum walks}. Decoherence is incorporated in 3 ways - by coupling to a noisy `projective measurement' system, and by coupling to oscillator and spin baths.
description: 8 pages, 3 figures; to appear in Theory Canada 3 special issue if the Canadian Journal of Physics
Dispersive Magnetic and Electronic Excitations in Iridate Perovskites Probed with Oxygen $K$-Edge Resonant Inelastic X-ray Scattering
Creators: name: Lu, Xingye
name: Olalde-Velasco, Paul
name: Huang, Yaobo
name: Bisogni, Valentina
name: Pelliciari, Jonathan
name: Fatale, Sarah
name: Dantz, Marcus
name: Vale, James. G.
name: Chang, Johan
name: Strocov, Vladimir N.
name: Grioni, Marco
name: McMorrow, Des. F.
name: Rønnow, Henrik. M.
name: Schmitt, Thorsten
Publisher: name: arXiv
Year: 2017
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Resonant inelastic X-ray scattering (RIXS) experiments performed at the oxygen-$K$ edge on the iridate perovskites {\SIOS} and {\SION} reveal a sequence of well-defined dispersive modes over the energy range up to $\sim 0.8$ eV. The momentum dependence of these modes and their variation with the experimental geometry allows us to assign each of them to specific collective magnetic and/or electronic excitation processes, including single and bi-magnons, and spin-orbit and electron-hole excitons. We thus demonstrated that dispersive magnetic and electronic excitations are observable at the O-$K$ edge in the presence of the strong spin-orbit coupling in the $5d$ shell of iridium and strong hybridization between Ir $5d$ and O $2p$ orbitals, which confirm and expand theoretical expectations. More generally, our results establish the utility of O-$K$ edge RIXS for studying the collective excitations in a range of $5d$ materials that are attracting increasing attention due to their novel magnetic and electronic properties. Especially, the strong RIXS response at O-$K$ edge opens up the opportunity for investigating collective excitations in thin films and heterostructures fabricated from these materials.
description: 6 pages, 4 figures with supplementary material. Accepted by PRB Rapid Communications
title: Acceptance of matchmaking tools in coworking spaces : an extended perspective
Creators: name: Kopplin, Cristopher Siegfried
name: Gantert, Till
name: Maier, Julia Verena
Publisher: name: University of Bayreuth
Year: 2021
Subjects: subject: Coworking spaces
subject: Matchmaking tools
subject: Sense of community
subject: Technology acceptance
subject: Partial least squares
subject: Structural equation modeling
subject: 330

description: An extended technology acceptance model for matchmaking tools in coworking spaces is presented and tested among 92 German coworkers. Advancing previous research, hedonic and community-related aspects are integrated into a framework based on the extended unified theory of acceptance and use of technology (UTAUT2). Coworkers emphasize a matchmaking tool’s productivity aspects, which are positively moderated by their sense of community. Hedonic motivation (HM) and personal innovativeness contribute to usage intention, while effort expectancy is not a driver. The influence of HM is negatively moderated by sense of community, suggesting that a favorable social atmosphere that is explorable in person acts as a partial substitute for the enjoyment of tool usage. Surprisingly, satisfaction with face-to-face activities does not affect their perception of a matchmaking tool.
Strongly-Correlated Thermoelectric Transport beyond Linear Response
Creators: name: Dutt, Prasenjit
name: Hur, Karyn Le
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We investigate nonlinear thermoelectric transport through quantum impurity systems with strong on-site interactions. We show that the steady-state transport through interacting quantum impurities in contact with electron reservoirs at significantly different temperatures can be captured by an effective-equilibrium density matrix, expressed compactly in terms of the Lippmann-Schwinger operators of the system. In addition, the reservoirs can be maintained at arbitrary chemical potentials. The interplay between the temperature gradient and bias voltage gives rise to a non-trivial breaking of particle-hole symmetry in the strongly correlated regime, manifest in the Abrikosov-Suhl localized electron resonance. This purely many-body effect, which is in agreement with experimental results, is beyond the purview of mean-field arguments.
description: 19 pages (7 pages main text and the rest Appendices. Additional references added and minor typos corrected)
A comparative code study for quantum fault-tolerance
Creators: name: Cross, Andrew W.
name: DiVincenzo, David P.
name: Terhal, Barbara M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We study a comprehensive list of quantum codes as candidates of codes to be used at the bottom, physical, level in a fault-tolerant code architecture. Using the Aliferis-Gottesman-Preskill (AGP) ex-Rec method we calculate the pseudo-threshold for these codes against depolarizing noise at various levels of overhead. We estimate the logical noise rate as a function of overhead at a physical error rate of $p_0=1\times 10^{-4}$. The Bacon-Shor codes and the Golay code are the best performers in our study.
description: v1: 33 pages, 16 figures. v2: 34 pages, several small corrections
Moving Frames and Noether's Conservation Laws - the General Case
Creators: name: Gonçalves, Tânia M. N.
name: Mansfield, Elizabeth L.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics

description: In recent works, the authors considered various Lagrangians, which are invariant under a Lie group action, in the case where the independent variables are themselves invariant. Using a moving frame for the Lie group action, they showed how to obtain the invariantized Euler-Lagrange equations and the space of conservation laws in terms of vectors of invariants and the adjoint representation of a moving frame. In this paper, we show how these calculations extend to the general case where the independent variables may participate in the action. We take for our main expository example the standard linear action of SL(2) on the two independent variables. This choice is motivated by applications to variational fluid problems which conserve potential vorticity. We also give the results for Lagrangians invariant under the standard linear action of SL(3) on the three independent variables.
Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation
Creators: name: Kyeongsoon  Cho
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: The COSMOS symbolic fault simulator generates test sets for combinational and sequential MOS circuits represented at the switch level. All aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (X) logic values are captured. To generate tests for a circuit, the program derives Boolean functions representing the behavior of the good and faulty circuits over a sequence of symbolic input patterns. It then determines a set of assignments to the input variables that will detect all faults. Symbolic simulation provides a natural framework for the user to supply an overall test strategy, letting the program determine the detailed conditions to detect a set of faults. Symbolic preprocessing of switch-level networks, combined with efficient Boolean manipulation makes this approach feasible.
Infrared Investigation of the Charge Ordering Pattern in the Organic Spin Ladder Candidate (DTTTF)2Cu(mnt)2
Creators: name: Musfeldt, J. L.
name: Brown, S.
name: Mazumdar, S.
name: Clay, R. T.
name: Mas-Torent, M.
name: Rovira, C.
name: Dias, J. C.
name: Henriques, R. T.
name: Almeida, M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: We measured the variable temperature infrared response of the spin ladder candidate (DTTTF)2Cu(mnt)2 in order to distinguish between two competing ladder models, rectangular versus zigzag, proposed for this family of materials. The distortion along the stack direction below 235 K is consistent with a doubling along b through the metal-insulator transition. While this would agree with either of the ladder models, the concomitant transverse distortion rules out the rectangular ladder model and supports the zigzag scenario. Intramolecular distortions within the DTTTF building block molecule also give rise to on-site charge asymmetry.
description: 4 pages, 4 figures, submitted to Solid State Sciences
Term-Level Verification of a Pipelined CISC Microprocessor
Creators: name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: By abstracting the details of the data representations and operations in a microprocessor, term-level verification can formally prove that a pipelined microprocessor faithfully implements its sequential, instruction-set architecture specification. Previous efforts in this area have focused on reduced instruction set computer (RISC) and very-large instruction word (VLIW) processors. This work reports on the verification of a complex instruction set computer (CISC) processor styled after the Intel IA32 instruction set using the UCLID term-level verifier. Unlike many case studies for term-level verification, this processor was not designed specifically for formal verification. In addition, most of the control logic was given in a simplified hardware description language. We developed a methodology in which the control logic is translated into UCLID format automatically, and the pipelined processor and the sequential reference version were described with as much modularity as possible. The latter feature was made especially difficult by UCLID’s limited support for modularity. A key objective of this case study was to understand the strengths and weaknesses of UCLID for describing hardware designs and for supporting the formal verification process. Although ultimately successful, we identified several ways in which UCLID could be improved.
Emergent universe in a Jordan-Brans-Dicke theory
Creators: name: del Campo, Sergio
name: Herrera, Ramon
name: Labrana, Pedro
Publisher: name: arXiv
Year: 2007
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Astrophysics (astro-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this paper we study emergent universe model in the context of a self interacting Jordan-Brans-Dicke theory. The model presents a stable past eternal static solution which eventually enters a phase where the stability of this solution is broken leading to an inflationary period. We also establish constraints for the different parameters appearing in our model.
description: 18 pages, 4 figures. Accepted for publication in JCAP
New Finsler Package
Creators: name: Youssef, Nabil L.
name: Elgendi, S. G.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53C60, 53B40, 58B20, 68U05, 83-04, 83-08

description: The book "Handbook of Finsler geometry" has been included with a CD containing an elegant Maple package, FINSLER, for calculations in Finsler geometry. Using this package, an example concerning a Finsler generalization of Einstein's vacuum field equations was treated. In this example, the calculation of the components of the hv-curvature of Cartan connection leads to wrong expressions. On the other hand, the FINSLER package works only in dimension four. We introduce a new Finsler package in which we fix the two problems and solve them. Moreover, we extend this package to compute not only the geometric objects associated with Cartan connection but also those associated with Berwald, Chern and Hashiguchi connections in any dimension. These improvements have been illustrated by a concrete example. Furthermore, the problem of simplifying tensor expressions is treated. This paper is intended to make calculations in Finsler geometry more easier and simpler.
description: 17 pages, LaTeX file, title changed to be more coherent with the paper content, typos corrected
title: ADCO, Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Cart. 31 (G 135), 549 folios, f. 0245
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: Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Archives départementales de la Côte-d'Or, Cart. 31 (G 135), 549 folios, f. 0245, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Huitième cartulaire de Saint-Étienne de Dijon (1661-1667), Archives départementales de la Côte-d'Or, Cart. 31 (G 135), 549 folios, f. 0245, 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
Saha Equation for the Photo-Ionization of Hydrogen Atoms in Partially Ionized Relativistic Hydrogen Plasma and the Effect of Gravity on the Binding of Hydrogen Atoms in Rindler Space
Creators: name: Das, Sanchita
name: Chakrabarty, Somenath
Publisher: name: arXiv
Year: 2018
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We have studied Saha equation for photo-ionization of hydrogen atoms in partially ionized relativistic hydrogen plasma in Rindler space. Following the principle of equivalence, we have obtained the abundances of neutral hydrogen atoms, hydrogen ions and the electrons in dynamic equilibrium of the photo-ionization reaction of neutral hydrogen atoms and electron capture process by hydrogen ions (de-ionization process) and also investigated their variations with temperature of the plasma and the uniform gravitational field in the Rindler space or equivalently the uniform acceleration of the observer. Hence obtained the Saha ionization formula for partially ionized hydrogen plasma in Rindler space. It has been observed that the abundance of neutral hydrogen atoms decreases with the increase in temperature of the plasma, which is the usual picture, whereas it increases with the increases in the strength of uniform gravitational field. The second part of this observation shows that the binding of the electrons inside hydrogen atoms increases with the increase in the strength of gravitational field or equivalently an observer with very high acceleration will see less amount of ionized hydrogen atoms compared to inertial observer.
description: 6 pages REVTEX file with one .eps figure (included)
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 24 (115)]
Creators: name: (:Unkn) Unknown
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1516
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Kaufvertrag
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 28 (59)]
Creators: name: Pius, V.
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1570
Subjects: subject: Papsturkunde
subject: Urkunde
subject: 090

description: Papst Pius V. betraut den Kleriker Guido Antonius aus Treviso bei Venedig mit der zeitweisen Leitung des Zisterzienserklosters St. Thomae Burgundiorum in der Diözese von Torcello nach dem Tod des bisherigen Abtes ein.
Compact Acoustic Retroreflector Based on A Mirrored Luneburg Lens
Creators: name: Fu, Yangyang
name: Li, Junfei
name: Xie, Yangbo
name: Shen, Chen
name: Xu, Yadong
name: Chen, Huanyang
name: Cummer, Steven A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We propose and demonstrate a compact acoustic retroreflector that reroutes probing signals back towards the source with minimal scattering. Gradient refractive index (GRIN) acoustic metamaterials, based on Archimedean spiral structures, are designed to fulfill the required refractive index profile. The experiments show that the compact acoustic retroreflector, whose radius is only approximately one wavelength, works in an incident angular range up to 120 degrees over a relatively broad bandwidth of about 27% of the central frequency. Such compact acoustic retroreflectors can be potentially applied in pulse-echo based acoustic detection and communication, such as unmanned aerial vehicle (UAV) sonar systems, robotic ranging detectors, ultrasonic imaging systems.
description: 10 pages, 5 figures, Journal paper
title:  Ice Transport in the Queen Elizabeth Islands, Canadian Arctic Using Detrital FE Oxide Grain Composition
Creators: name: Li, Duan
Publisher: name: Old Dominion University
publisherIdentifier: https://ror.org/04zjtrb98
publisherIdentifierScheme: ROR
Year: 1997

description: Nine Fe oxide mineral types (45pm-250pm) separated from 54 glacial and glaciomarine sediment samples from the Queen Elizabeth Islands (QEI) of Canada were analyzed for 12 elements by electron microprobe to determine the dispersal patterns of ice rafted debris in this area. Both cluster analysis and discriminant function analysis (DFA) on the chemical compositions were used to match each detrital Fe oxide grain to a source The entire QEI area can be subdivided into eight unique areas based on the elemental composition of the Fe oxide minerals. These subdivisions are similar to the source areas based on the assemblage of lithic grain types (>250 pm). The results of matching Fe oxide grains to potential source areas indicate that glacial sediments on the QEI shelf are mixtures from multiple sources. The Nard Hunt Ice Shelf of northern Ellesmere Island was the major source for the QEI shelf off Axel Heiberg Island, especially the outer shelf. Inter-island channels were probably important conduits of ice in the last 20 kyrs and grain compositions from these channels closely match those of the inner shelf. Only small percentages of Fe oxide grains from sources farther from the Arctic Ocean, Devon Island and the Grinnell Peninsula, could be matched to samples from the inter-island channels near the Arctic Ocean. If a large ice sheet covered the QEI (e.g., the Innuitian Ice Sheet), the ice that moved northwestward in these fjord-like channels either did not transport much debris or it melted from the glaciers before reaching the Arctic Ocean. It is possible that these glaciers were cold-based with little entrained debris until they neared the coast, where seasonal melting and refreezing increased their load. Alternatively, because the sediments in these channels closely match the compositions of Fe oxide grains and lithic grain types of nearby islands, the channel ice-rafted detritus (IRD) could be due to small local ice caps and/or the result of shore erosion by sea ice instead of a large ice sheet. In either case, the flowing ice or icebergs of the local glaciers moved northward toward the Arctic Ocean, opposite to modern circulation in these inter-island channels of the QEI. The northern limits of the any ice mass did not extend onto the modern shelf.
Improving the Calibration of Type Ia Supernovae Using Late-time Lightcurves
Creators: name: Wang, Yun
name: Hall, Nicholas
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The use of Type Ia supernovae (SNe Ia) as cosmological standard candles is a key to solving the mystery of dark energy. Improving the calibration of SNe Ia increases their power as cosmological standard candles. We find tentative evidence for a correlation between the late-time lightcurve slope and the peak luminosity of SNe Ia in the B band; brighter SNe Ia seem to have shallower lightcurve slopes between 100 and 150 days from maximum light. Using a Markov Chain Monte Carlo analysis in calibrating SNe Ia, we are able to simultaneously take into consideration the effect of dust extinction, the luminosity and lightcurve width correlation (parametrized by Δm_{15}), and the luminosity and late-time lightcurve slope correlation. For the available sample of 11 SNe Ia with well-measured late-time lightcurves, we find that correcting for the correlation between luminosity and late-time lightcurve slope of the SNe Ia leads to an intrinsic dispersion of 0.12 mag in the Hubble diagram. Our results have significant implications for future supernova surveys aimed to illuminate the nature of dark energy.
description: 14 pages, 6 figures. Version accepted by MNRAS
Termination and Reduction Checking in the Logical Framework
Creators: name: Pientka, Brigitte
name: Pfenning, Frank
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: The logical framework LF [HHP93] offers concise encodings of deductive systems and their meta-theory. Twelf [SP98] is a realization of LF. It provides a higher-order logic programming language for the implementation of deductive systems as well as a higher-order inductive theorem prover to automatically prove properties about these systems. The inductive theorem prover has been used successfully to prove several challenging theorems like cut-admissibility of intuitionistic logic and the Church-Rosser theorem. Under the proofs-as-programs paradigm the application of the induction hypothesis (IH) in a proof corresponds to the recursive call in a program. To check that the IH application is valid, we need to show that the induction hypothesis is smaller than the induction conclusion according to a well-founded order. This corresponds to proving that the arguments in the recursive call decrease according to a well-founded order, i.e., a program terminates. Twelf uses a termination checker based on structural ordering [RP96] to check termination of programs and to generate valid induction hypotheses according to a given order.
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 24 (145)]
Creators: name: (:Unkn) Unknown
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1522
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Kaufvertrag
Determining the duration of an intense laser pulse directly in focus
Creators: name: Mackenroth, Felix
name: Holkundkar, Amol R.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Optics (physics.optics)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: We propose a novel measurement technique capable of determining the temporal duration of an intense laser pulse directly in its focus at full intensity. We show that the electromagnetic radiation pattern emitted by an electron bunch with a temporal energy chirp colliding perpendicularly with the laser pulse exhibits a distinct dependence on the pulse's duration. As the electrons emit radiation into an angular region determined by the ratio of their instantaneous energy to the laser's local field strength, the temporal change of the electrons' energy imprints information about the laser's pulse duration onto the angular radiation distribution. We quantify the interaction by a simplified analytical model and confirm this model's predictions by numerical simulations of the electrons' dynamics inside a realistically focused laser field. Based on these findings the pulse's duration can be determined to an accuracy of several percent.
description: 5 pages, 4 figures
Temporal-logics as query languages for Dynamic Bayesian Networks: Application to D. melanogaster Embryo Development
Creators: name: Langmead, Christopher J.
name: Jha, Sumit Kumar
name: Clarke, Edmund M
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper introduces novel techniques for exact and approximate inference in Dynamic Bayesian Networks (DBNs) based on algorithms, data structures, and formalisms from the field of model checking. Model checking comprises a family of techniques from for formally verifying systems of concurrent reactive processes. We discuss: i) the use of temporal logics as a query language for inference over DBNs; ii) translation of DBNs into probabilistic reactive modules; and iii) the use of symbolic data structures and algorithms for deciding complex stochastic temporal logic formulas. We demonstrate the effectiveness of these new algorithms by examining the behavior of an enhanced expression model of embryogenesis in D. melanogaster. In particular, we converted an existing deterministic developmental model over a one-dimensional arrays of cells into a stochastic model over a two dimensional array of cells. Our results confirm that the rules which govern the one-dimensional model also display wild-type expression patterns in the two-dimensional case within certain parameter bounds.
Discovery potential of the NMSSM CP-odd Higgs at the LHC
Creators: name: Almarashi, M.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper we examine the LHC discovery potential of the lightest CP-odd Higgs boson, a1, of the NMSSM produced in gluon fusion channel gg->a1. We evaluate the inclusive signal rates of the a1 for a variety of decay channels and discuss its possible discovery. It is observed that the overall production and decay rates at inclusive level are quite sizable and should help extracting the a1 signal over some regions of the NMSSM parameter space.
description: 12 pages, 21 figures
Laser guided ionic wind
Creators: name: Du, Shengzhe
name: Wang, Tie-Jun
name: Zhu, Zhongbin
name: Liu, Yaoxiang
name: Chen, Na
name: Zhang, Jianhao
name: Guo, Hao
name: Sun, Haiyi
name: Ju, Jingjing
name: Wang, Cheng
name: Liu, Jiansheng
name: Chin, See Leang
name: Li, Ruxin
name: Xu, Zhizhan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: Applied Physics (physics.app-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We report on a method to experimentally generate ionic wind by coupling an external high voltage electric field with an intense femtosecond laser induced air plasma filament. The measured ionic wind velocity could be as strong as >4 m/s. It could be optimized by changing the applied electric field and the laser induced plasma channel. The experimental observation was qualitatively confirmed by a numerical simulation of spatial distribution of the electric field. This technique is robust and free from sharp metallic electrodes for coronas; it opens a way to optically generate ionic wind at a distance.
Temporal Verification of Real-Time Systems
Creators: name: Campos, Sergio V
name: Clarke, Edmund M
name: Marerro, Wilfredo
name: Minea, Marius
name: Haraishi, Hiromi
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: This paper presents a general method for computing quantitative information about finite-state real-time systems. We have developed algorithms that compute exact bounds on the delay between two specified events and on the number of occurrences of an event in a given interval. This technique allows us to determine performance measures such as schedulability, response time, and system load. Our algorithms produce more detailed information than traditional methods. This information leads to a better understanding of system behavior, in addition to determining its correctness. The algorithms presented in this paper are efficiently implemented using binary decision diagrams and have been incorporated into the SMV symbolic model checker. Using this method, we have verified a model of an aircraft control system with 1015 states. The results obtained demonstrate that our method can be successfully applied in the verification of real-time system designs.
Two families of astrophysical diverging lens models
Creators: name: Er, Xinzhong
name: Rogers, Adam
Publisher: name: arXiv
Year: 2017
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: In the standard gravitational lensing scenario, rays from a background source are bent in the direction of a foreground lensing mass distribution. Diverging lens behaviour produces deflections in the opposite sense to gravitational lensing, and is also of astrophysical interest. In fact, diverging lensing due to compact distributions of plasma has been proposed as an explanation for the extreme scattering events (ESEs) that produce frequency-dependent dimming of extra-galactic radio sources, and may also be related to the refractive radio-wave phenomena observed to affect the flux density of pulsars. In this work we study the behaviour of two families of astrophysical diverging lenses in the geometric optics limit, the power-law and the exponential plasma lenses. Generally, the members of these model families show distinct behaviour in terms of image formation and magnification, however the inclusion of a finite core for certain power-law lenses can produce a caustic and critical curve morphology that is similar to the well-studied Gaussian plasma lens. Both model families can produce dual radial critical curves, a novel distinction from the tangential distortion usually produced by gravitational (converging) lenses. The deflection angle and magnification of a plasma lens varies with the observational frequency, producing wavelength-dependent magnifications that alter the amplitudes and the shape of the light curves. Thus, multi-wavelength observations can be used to physically constrain the distribution of the electron density in such lenses.
description: 13 pages, 8 figures, accepted by MNRAS, comments still welcome
Active Region Photospheric Magnetic Properties Derived from Line-of-sight and Radial Fields
Creators: name: Guerra, Jordan A.
name: Park, Sung-H.
name: Kontogiannis, Ioannis
name: Gallagher, Peter T.
name: Georgoulis, Manolis
name: Bloomfield, D. Shaun
Publisher: name: arXiv
Year: 2017
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The effect of using two representations of the normal-to-surface magnetic field to calculate photospheric measures that are related to active region (AR) potential for flaring is presented. Several AR properties were computed using line-of-sight ($B_{\rm los}$) and spherical-radial ($B_{r}$) magnetograms from the Space-weather HMI Active Region Patch (SHARP) products of the \emph{Solar Dynamics Observatory}, characterizing the presence and features of magnetic polarity inversion lines, fractality, and magnetic connectivity of the AR photospheric field. The data analyzed corresponds to $\approx$ 4,000 AR observations, achieved by randomly selecting 25 % of days between September 2012 and May 2016 for analysis at 6-hr cadence. Results from this statistical study include: i) the $B_{r}$ component results in a slight upwards shift of property values in a manner consistent with a field-strength underestimation by the $B_{\rm los}$ component; ii) using the $B_{r}$ component results in significantly lower inter-property correlation in one-third of the cases, implying more independent information about the state of the AR photospheric magnetic field; iii) flaring rates for each property vary between the field components in a manner consistent with the differences in property-value ranges resulting from the components; iv) flaring rates generally increase for higher values of properties, except Fourier spectral power index that has flare rates peaking around a value of $5/3$. These findings indicate that there may be advantages in using $B_{r}$ rather than $B_{\rm los}$ in calculating flare-related AR magnetic properties, especially for regions located far from central meridian.
Long-range Order in One-dimensional Spinless Fermi Gas with Attractive Dipole-Dipole Interaction
Creators: name: Yan, Zhongbo
name: Chen, Liang
name: Wan, Shaolong
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: One-dimensional spinless Fermi gas with attractive dipole-dipole interaction is investigated. Results obtained show when the interaction is weak, the excitation spectrum is linear and the superconducting correlation function decays as power law, indicating the validity of the Tomonaga-Luttinger (TL) liquid picture. However, when the interaction reaches a critical value, the excitation spectrum is nonlinear and the superconducting correlation function keeps finite for infinity separation, indicating real long-range order established and the breakdown of the TL liquid picture. We prove that the existence of long-range order is not in contradiction with the Hohenberg theorem and show that this system is related to the Kitaev toy model, therefore, it has potential applications for the future topological quantum computation.
description: 5 pages, 0 figure
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 34 (2)]
Creators: name: (:Unkn) Unknown
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1527
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Dokumentation von 14 Einzelvorgängen aus den Jahren 1527, 1532 und 1534 (zwischen dem 16.12.1527 und dem 02.09.1534)
title: ADCO, Cartulaire de Cîteaux pour les possessions de Chaugey et Maison-Dieu (Fin XVe siècle), Cart. 180 (11 H 755), 83 folios, f. 0134
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/2017
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 de Cîteaux pour les possessions de Chaugey et Maison-Dieu (Fin XVe siècle), Archives départementales de la Côte-d'Or, Cart. 180 (11 H 755), 83 folios, f. 0134, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les possessions de Chaugey et Maison-Dieu (Fin XVe siècle), Archives départementales de la Côte-d'Or, Cart. 180 (11 H 755), 83 folios, f. 0134, 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
Nonabelian Dark Matter with Resonant Annihilation
Creators: name: Chiang, Cheng-Wei
name: Nomura, Takaaki
name: Tandean, Jusak
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We construct a model based on an extra gauge symmetry, SU(2)_X x U(1)_{B-L}, which can provide gauge bosons to serve as weakly-interacting massive particle dark matter. The stability of the dark matter is naturally guaranteed by a discrete Z_2 symmetry that is a subgroup of SU(2)_X. The dark matter interacts with standard model fermions by exchanging gauge bosons which are linear combinations of SU(2)_X x U(1)_{B-L} gauge bosons. With the appropriate choice of representation for the new scalar multiplet whose vacuum expectation value spontaneously breaks the SU(2)_X symmetry, the relation between the new gauge boson masses can naturally lead to resonant pair annihilation of the dark matter. After exploring the parameter space of the new gauge couplings subject to constraints from collider data and the observed relic density, we use the results to evaluate the cross section of the dark matter scattering off nucleons and compare it with data from the latest direct detection experiments. We find allowed parameter regions that can be probed by future direct searches for dark matter and LHC searches for new particles.
description: 17 pages, 3 figures, expanded with discussion on gauge kinetic mixing and references added, matches publication
Three-dimensional envelope instability model in periodic focusing channels
Creators: name: Qiang, Ji
Publisher: name: arXiv
Year: 2018
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: FOS: Physical sciences

description: The space-charge driven envelope instability can be of great danger in high intensity accelerators and was studied using a two-dimensional (2D) envelope model and three-dimensional (3D) macroparticle simulations before. In this paper, we propose a three-dimensional envelope instability model to study the instability for a bunched beam in a periodic solenoid and radio-frequency (RF) focusing channel and a periodic quadrupole and RF focusing channel. This study shows that when the transverse zero current phase advance is below $90$ degrees, the beam envelope can still become unstable if the longitudinal zero current phase advance is beyond $90$ degrees. For the transverse zero current phase advance beyond $90$ degrees, the instability stopband width becomes larger with the increase of the longitudinal focusing strength and even shows different structure from the 2D case when the longitudinal zero current phase advance is beyond $90$ degrees. Breaking the symmetry of two longitudinal focusing RF cavities and the symmetry between the horizontal focusing and the vertical focusing in the transverse plane in the periodic quadrupole and RF channel makes the instability stopband broader. This suggests that a more symmetric accelerator lattice design might help reduce the range of the envelope instability in parameter space.
Quasi-Cyclic Constructions of Quantum Codes
Creators: name: Galindo, Carlos
name: Hernando, Fernando
name: Matsumoto, Ryutaroh
Publisher: name: arXiv
Year: 2017
Subjects: subject: Information Theory (cs.IT)
subject: Quantum Physics (quant-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences
subject: 94B65, 94B15, 81P70

description: We give sufficient conditions for self-orthogonality with respect to symplectic, Euclidean and Hermitian inner products of a wide family of quasi-cyclic codes of index two. We provide lower bounds for the symplectic weight and the minimum distance of the involved codes. Supported in the previous results, we show algebraic constructions of good quantum codes and determine their parameters.
Universal Fermi Gas with Two- and Three-Body Resonances
Creators: name: Nishida, Yusuke
name: Son, Dam Thanh
name: Tan, Shina
Publisher: name: arXiv
Year: 2007
Subjects: subject: Other Condensed Matter (cond-mat.other)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We consider a Fermi gas with two components of different masses, with the s-wave two-body interaction tuned to unitarity. In the range of mass ratio 8.62
description: 4 pages, 1 figure. Possible experimental realization with cold atoms in optical lattices is discussed in the 2nd version
On integral points on biquadratic curves and near-multiples of squares in Lucas sequences
Creators: name: Alekseyev, Max A.
name: Tengely, Szabolcs
Publisher: name: arXiv
Year: 2013
Subjects: subject: Number Theory (math.NT)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 11Y50, 11D25, 11B39, 14G05

description: We describe an algorithmic reduction of the search for integral points on a curve y^2 = ax^4 + bx^2 + c with nonzero ac(b^2-4ac) to solving a finite number of Thue equations. While existence of such reduction is anticipated from arguments of algebraic number theory, our algorithm is elementary and to best of our knowledge is the first published algorithm of this kind. In combination with other methods and powered by existing software Thue equations solvers, it allows one to efficiently compute integral points on biquadratic curves. We illustrate this approach with a particular application of finding near-multiples of squares in Lucas sequences. As an example, we establish that among Fibonacci numbers only 2 and 34 are of the form 2m^2+2; only 1, 13, and 1597 are of the form m^2-3; and so on. As an auxiliary result, we also give an algorithm for solving a Diophantine equation k^2 = f(m,n)/g(m,n) in integers m,n,k, where f and g are homogeneous quadratic polynomials.
Bose Hubbard model in the presence of Ohmic dissipation
Creators: name: Dalidovich, Denis
name: Kennett, Malcolm P.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We study the zero temperature mean-field phase diagram of the Bose-Hubbard model in the presence of local coupling between the bosons and an external bath. We consider a coupling that conserves the on-site occupation number, preserving the robustness of the Mott and superfluid phases. We show that the coupling to the bath renormalizes the chemical potential and the interaction between the bosons and reduces the size of the superfluid regions between the insulating lobes. For strong enough coupling, a finite value of hopping is required to obtain superfluidity around the degeneracy points where Mott phases with different occupation numbers coexist. We discuss the role that such a bath coupling may play in experiments that probe the formation of the insulator-superfluid shell structure in systems of trapped atoms.
description: 5 pages, 2 figures. Error found in v1, now corrected, leads to qualitative changes in results