cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Asymptotics of quantum weighted Hurwitz numbers
Creators: name: Harnad, J.
name: Ortmann, Janosch
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: Probability (math.PR)
subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: This work concerns both the semiclassical and zero temperature asymptotics of quantum weighted double Hurwitz numbers. The partition function for quantum weighted double Hurwitz numbers can be interpreted in terms of the energy distri- bution of a quantum Bose gas with vanishing fugacity. We compute the leading semi- classical term of the partition function for three versions of the quantum weighted Hurwitz numbers, as well as lower order semiclassical corrections. The classical limit $\hbar \ra 0$ is shown to reproduce the simple single and double Hurwitz numbers studied by Pandharipande and Okounkov [20,22]. The KP-Toda $τ$-function that serves as generating function for the quantum Hurwitz numbers is shown to have the $τ$-function of [20,22] as its leading term in the classical limit, and, with suitable scaling, the same holds for the partition function, the weights and expectations of Hurwitz numbers. We also compute the zero temperature limit $T \ra 0$ of the partition function and quantum weighted Hurwitz numbers. The KP or Toda $τ$-function serving as generating function for the quantum Hurwitz numbers are shown to give the one for Belyi curves in the zero temperature limit and, with suitable scaling, the same holds true for the partition function, the weights and the expectations of Hurwitz numbers.
description: This paper combines the content of two previously posted papers: "Zero-temperature limit of quantum weighted Hurwitz numbers" (arXiv:1707.06259) and "Semiclassical asymptotics of quantum weighted Hurwitz numbers" (arXiv:1610.06280), and should be viewed as replacing them
From Alternating Sign Matrices to the Gaussian Unitary Ensemble
Creators: name: Gorin, Vadim
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: The aim of this note is to prove that fluctuations of uniformly random alternating sign matrices (equivalently, configurations of the six-vertex model with domain wall boundary conditions) near the boundary are described by the Gaussian Unitary Ensemble and the GUE-corners process.
description: 15 pages, 2 figures. v2: minor updates, to appear in Communications in Mathematical Physics
Global exploration of the energy landscape of solids on the ab initio level
Creators: name: Doll, K.
name: Schön, J. C.
name: Jansen, M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Predicting which crystalline modifications can be present in a chemical system requires the global exploration of its energy landscape. Due to the large computational effort involved, in the past this search for sufficiently stable minima has been performed employing a variety of empirical potentials and cost functions followed by a local optimization on the ab initio level. However, this entails the risk of overlooking important modifications that are not modeled accurately using empirical potentials. In order to overcome this critical limitation, we develop an approach to employ ab initio energy functions during the global optimization phase of the structure prediction. As an example, we perform a global exploration of the landscape of LiF on the ab initio level and show that the relevant crystalline modifications are found during the search.
description: to appear in Phys. Chem. Chem. Phys
Long-distance thermal temporal ghost imaging over optical fibers
Creators: name: Yao, Xin
name: Zhang, Wei
name: Li, Hao
name: You, Lixing
name: Wang, Zhen
name: Huang, Yidong
Publisher: name: arXiv
Year: 2017
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: A thermal ghost imaging scheme between two distant parties is proposed and experimentally demonstrated over long-distance optical fibers. In the scheme, the weak thermal light is split into two paths. Photons in one path are spatially diffused according to their frequencies by a spatial dispersion component, then illuminate the object and record its spatial transmission information. Photons in the other path are temporally diffused by a temporal dispersion component. By the coincidence measurement between photons of two paths, the object can be imaged in a way of ghost imaging, based on the frequency correlation between photons in the two paths. In the experiment, the weak thermal light source is prepared by the spontaneous four-wave mixing in a silicon waveguide. The temporal dispersion is introduced by single mode fibers of 50 km, which also could be looked as a fiber link. Experimental results show that this scheme can be realized over long-distance optical fibers.
Testing Quantum Devices: Practical Entanglement Verification in Bipartite Optical Systems
Creators: name: Häseler, Hauke
name: Moroder, Tobias
name: Lütkenhaus, Norbert
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a method to test quantum behavior of quantum information processing devices, such as quantum memories, teleportation devices, channels and quantum key distribution protocols. The test of quantum behavior can be phrased as the verification of effective entanglement. Necessary separability criteria are formulated in terms of a matrix of expectation values in conjunction with the partial transposition map. Our method is designed to reduce the resources for entanglement verification. A particular protocol based on coherent states and homodyne detection is used to illustrate the method. A possible test for the quantum nature of memories using two non-orthogonal signal states arises naturally. Furthermore, closer inspection of the measurement process in terms of the Stokes operators reveals a security threat for quantum key distribution involving phase reference beams.
description: 12 Pages
Inductive definitions over finite structures
Creators: name: Leivant, Daniel
Publisher: name: Carnegie Mellon University
Year: 1990
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "We give a simple proof of a theorem of Gurevich and Shelah, that the inductive closure of an inflationary operator is equivalent, over the class of finite structures, to the inductive closure (i.e. minimal fixpoint) of a positive operator. A variant of the same proof establishes a theorem of Immerman, that the class of inductive closures of positive first order operators is closed under complementation."
General soliton solution to a nonlocal nonlinear Schrödinger equation with zero and nonzero boundary conditions
Creators: name: Feng, Bao-Feng
name: Luo, Xu-Dan
name: Ablowitz, Mark J.
name: Musslimani, Ziad H.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: 39A10, 35Q58

description: General soliton solutions to a nonlocal nonlinear Schrödinger (NLS) equation with PT-symmetry for both zero and nonzero boundary conditions {are considered} via the combination of Hirota's bilinear method and the Kadomtsev-Petviashvili (KP) hierarchy reduction method. First, general $N$-soliton solutions with zero boundary conditions are constructed. Starting from the tau functions of the two-component KP hierarchy, it is shown that they can be expressed in terms of either Gramian or double Wronskian determinants. On the contrary, from the tau functions of single component KP hierarchy, general soliton solutions to the nonlocal NLS equation with nonzero boundary conditions are obtained. All possible soliton solutions to nonlocal NLS with Parity (PT)-symmetry for both zero and nonzero boundary conditions are found in the present paper.
description: 26 pages, 3 figures
Zeros of L-functions outside the critical strip
Creators: name: Booker, Andrew R.
name: Thorne, Frank
Publisher: name: arXiv
Year: 2013
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics

description: For a wide class of Dirichlet series associated to automorphic forms, we show that those without Euler products must have zeros within the region of absolute convergence. For instance, we prove that if f is a classical holomorphic modular form whose L-function does not vanish for Re(s) > (k+1)/2, then f is a Hecke eigenform. Our proof adapts and extends work of Saias and Weingartner, who proved a similar result for degree 1 L-functions.
description: Includes a footnote, not appearing in the published paper, summarizing a (minor) correction to appear in the same journal
Linearizing neutrino evolution equations including neutrino-antineutrino pairing correlations
Creators: name: Väänänen, D.
name: Volpe, C.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We linearize the neutrino mean-field evolution equations describing the neutrino propagation in a background of matter and of neutrinos, using techniques from many-body microscopic approaches. The procedure leads to an eigenvalue equation that allows to identify instabilities in the evolution, associated with a change of the curvature of the neutrino energy-density surface. Our result includes all contributions from the neutrino Hamiltonian and is generalizable to linearize the equations of motion at an arbitrary point of the evolution. We then consider the extended equations that comprise the normal mean field as well as the abnormal mean field that is associated with neutrino-antineutrino pairing correlations. We first re-derive the extended neutrino Hamiltonian and show that such a Hamiltonian can be diagonalized by introducing a generalized Bogoliubov-Valatin transformation with quasi-particle operators that mix neutrinos and antineutrinos. We give the eigenvalue equations that determine the energies of the quasi-particles eigenstates. Finally we derive the eigenvalue equation of the extended equations of motion, valid in the small amplitude approximation. Our results apply to an arbitrary number of neutrino families.
description: 16 pages, 1 figure, minor corrections
Effect of Si on Fe-rich intermetallic formation and mechanical properties of heattreated Al-Cu-Mn-Fe alloys
Creators: name: Zhao, Yuliang
name: Zhang, Weiwen
name: Yang, Chao
name: Zhang, Datong
name: Wang, Zhi
Publisher: name: arXiv
Year: 2017
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences
subject: F.2.2; I.2.7
subject: 14J60 (Primary) 14F05, 14J26 (Secondary)

description: The effect of Si on Fe-rich intermetallics formation and mechanical properties of heat-treated squeeze cast Al-5.0Cu-0.6Mn-0.7Fe alloy was investigated. Our results show that increasing Si content promotes the formation of Al15(FeMn)3(SiCu)2 ($α$-Fe), and varying the morphology of T (Al20Cu3Mn2) where the size decreases and the amount increases. The major reason is that Si promotes heterogeneous nucleation of the intermetallics leading to finer precipitates. Si addition significantly enhances ultimate tensile strength and yield strength of the alloys. The strengthening effect is mainly owing to the dispersoid strengthening by increasing volume fraction of T phase and less harmful $α$-Fe with a compact structure, which make the cracks more difficult to initiate and propagation during tensile test. The squeeze cast Al-5.0Cu-0.6Mn-0.7Fe alloy with 1.1% Si shows significantly improved mechanical properties than the alloy without Si addition, which has tensile strength of 386 MPa, yield strength of 280 MPa and elongation of 8.6%.
description: 8 figures
Indexing of Time Series by Major Minima and Maxima
Creators: name: Fink, Eugene
name: Pratt, Kevin B
name: Harith Suman Gandhi
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 describe a technique for fast compression of time series and indexing of compressed series. We have tested it on three data sets: stock prices, air and sea temperatures, and wind speeds.
Universal computation with limited resources: Belousov-Zhabotinsky and Physarum computers
Creators: name: Adamatzky, Andrew
name: Costello, Ben De Lacy
name: Shirakawa, Tomohiro
Publisher: name: arXiv
Year: 2007
Subjects: subject: Pattern Formation and Solitons (nlin.PS)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: FOS: Physical sciences

description: Using the examples of an excitable chemical system (Belousov-Zhabotinsky medium) and plasmodium of Physarum polycephalum we show that universal computation in a geometrically unconstrained medium is only possible when resources (excitability or concentration of nutrients) are limited. In situations of limited resources the systems studied develop travelling localizations. The localizations are elementary units of dynamical logical circuits in collision-based computing architectures.
description: Int. J. Bifurcation and Chaos (2008), accepted
Two-dimensional Mott variable-range hopping transport in a disordered MoS$_2$ nanoflake
Creators: name: Xue, Jianhong
name: Huang, Shaoyun
name: Wang, Ji-Yin
name: Xu, H. Q.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: The transport characteristics of a disordered MoS$_2$ nanoflake in the insulator regime are studied by electrical and magnetotransport measurements. The layered MoS$_2$ nanoflake is exfoliated from a bulk MoS$_2$ crystal and the conductance $G$ and magnetoresistance are measured in a four-probe setup over a wide range of temperatures. At high temperatures, we observe that $\log_{10}G$ exhibits a $-T^{-1}$ temperature dependence and the transport in the nanoflake dominantly arises from thermal activation. At low temperatures, where the transport in the nanoflake dominantly takes place via variable-range hopping (VRH) processes, we observe that $\log_{10}G$ exhibits a $-T^{-1/3}$ temperature dependence, an evidence for the two-dimensional (2D) Mott VRH transport. The measured low-field magnetoresistance of the nanoflake in the insulator regime exhibits a quadratic magnetic field dependence $\sim αB^2$ with $α\sim T^{-1}$, fully consistent with the 2D Mott VRH transport in the nanoflake.
description: 14 pages, 4 figures, and Supplemental Materials
Indexing of Compressed Time Series
Creators: name: Fink, Eugene
name: Pratt, Kevin B
Publisher: name: Carnegie Mellon University
Year: 1998
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: We describe a procedure for identifying major minima and maxima of a time series, and present two applications of this procedure. The first application is fast compression of a series, by selecting major extrema and discarding the other points. The compression algorithm runs in linear time and takes constant memory. The second application is indexing of compressed series by their major extrema, and retrieval of series similar to a given pattern. The retrieval procedure searches for the series whose compressed representation is similar to the compressed pat-tern. It allows the user to control the trade-off between the speed and ac-curacy of retrieval. We show the effectiveness of the compression and retrieval for stock charts, meteorological data, and electroencephalograms.
Strong noise sensitivity and random graphs
Creators: name: Lubetzky, Eyal
name: Steif, Jeffrey E.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: The noise sensitivity of a Boolean function describes its likelihood to flip under small perturbations of its input. Introduced in the seminal work of Benjamini, Kalai and Schramm [Inst. Hautes Études Sci. Publ. Math. 90 (1999) 5-43], it was there shown to be governed by the first level of Fourier coefficients in the central case of monotone functions at a constant critical probability $p_c$. Here we study noise sensitivity and a natural stronger version of it, addressing the effect of noise given a specific witness in the original input. Our main context is the Erdős-Rényi random graph, where already the property of containing a given graph is sufficiently rich to separate these notions. In particular, our analysis implies (strong) noise sensitivity in settings where the BKS criterion involving the first Fourier level does not apply, for example, when $p_c\to0$ polynomially fast in the number of variables.
description: Published at http://dx.doi.org/10.1214/14-AOP959 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)
title: ADCO, Boursier de Cîteaux : comptes (1489-1493) (11 H 1166), f. 00325
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: CBMA/CG21/F.PETOT/2019
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: comptes
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: Boursier de Cîteaux : comptes (1489-1493), Archives départementales de la Côte-d'Or, (11 H 1166). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Boursier de Cîteaux : comptes (1489-1493), Archives départementales de la Côte-d'Or, (11 H 1166), f. 00325, in Projet CBMA - Corpus Burgundiae Medii Aevi \[Ressource en ligne\], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Search for CPT and Lorentz Violation in B0-B0bar Oscillations with Dilepton Events
Creators: name: The BABAR Collaboration
name: Aubert, B.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We report results of a search for CPT and Lorentz violation in B0-B0bar oscillations using inclusive dilepton events from 232 million Y(4S) --> BBbar decays recorded by the BABAR detector at the PEP-II B Factory at SLAC. We find 2.8sigma significance, compatible with no signal, for variations in the complex CPT violation parameter z at the Earth's sidereal frequency and extract values for the quantities Δ(a_μ) in the general Lorentz-violating standard-model extension. The spectral powers for variations in z over the frequency range 0.26/year to 2.1/day are also compatible with no signal.
description: 7 pages, 3 postscript figures, submitted to Physical Review Letters
Relativistic, single-cycle tunable-infrared pulses generated by a tailored plasma density structure
Creators: name: Nie, Zan
name: Pai, Chih-Hao
name: Hua, Jianfei
name: Zhang, Chaojie
name: Wu, Yipeng
name: Wan, Yang
name: Li, Fei
name: Zhang, Jie
name: Cheng, Zhi
name: Su, Qianqian
name: Liu, Shuang
name: Ma, Yue
name: Ning, Xiaonan
name: He, Yunxiao
name: Lu, Wei
name: Chu, Hsu-Hsin
name: Wang, Jyhpyng
name: Mori, Warren B.
name: Joshi, Chan
Publisher: name: arXiv
Year: 2017
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The availability of intense, ultrashort coherent radiation sources in the infrared region of the spectrum is enabling the generation of attosecond X-ray pulses via high harmonic generation, pump-probe experiments in the "molecular fingerprint" region and opening up the area of relativistic-infrared nonlinear optics of plasmas. These applications would benefit from multi-millijoule single-cycle pulses in the mid to long wavelength infrared (LW-IR) region. Here we present a new scheme capable of producing tunable relativistically intense, single-cycle infrared pulses from 5-14$μ$m with a 1.7% conversion efficiency based on a photon frequency downshifting scheme that uses a tailored plasma density structure. The carrier-envelope phase (CEP) of the LW-IR pulse is locked to that of the drive laser to within a few percent. Such a versatile tunable IR source may meet the demands of many cutting-edge applications in strong-field physics and greatly promote their development.
description: 6 figures
Calderón's reproducing formulas for the Weinstein $L^2$- multiplier operators
Creators: name: Saoudi, Ahmed
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: The aim of this work is the study of the Weinstein $L^2$- multiplier operators on $\mathbb{R}^{d+1}_+$ and we give for them Calderón's reproducing formulas and best approximation using the theory of Weinstein transform and reproducing kernels.
description: arXiv admin note: text overlap with arXiv:1609.03931 by other authors
In Orbit Timing Calibration of the Hard X-Ray Detector on Board Suzaku
Creators: name: Terada, Yukikatsu
name: Enoto, Teruaki
name: Miyawaki, Ryouhei
name: Ishisaki, Yoshitaka
name: Dotani, Tadayasu
name: Ebisawa, Ken
name: Ozaki, Masanobu
name: Ueda, Yoshihiro
name: Kuiper, Lucien
name: Endo, Manabu
name: Fukazawa, Yasushi
name: Kamae, Tsuneyoshi
name: Kawaharada, Madoka
name: Kokubun, Motohide
name: Kuroda, Yoshikatsu
name: Makishima, Kazuo
name: Masukawa, Kazunori
name: Mizuno, Tsunefumi
name: Murakami, Toshio
name: Nakazawa, Kazuhiro
name: Nakajima, Atsushi
name: Nomach, Masaharu
name: Shibayama, Naoki
name: Takahashi, Tadayuki
name: Takahashi, Hiromitsu
name: Tashiro, Makoto S.
name: Tamagawa, Toru
name: Watanabe, Shin
name: Yamaguchi, Makio
name: Yamaoka, Kazutaka
name: Yonetoku, Daisuke
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The hard X-ray detector (HXD) on board the X-ray satellite Suzaku is designed to have a good timing capability with a 61 $μ$s time resolution. In addition to detailed descriptions of the HXD timing system, results of in-orbit timing calibration and performance of the HXD are summarized. The relative accuracy of time measurements of the HXD event was confirmed to have an accuracy of $1.9\times 10^{-9}$ s s$^{-1}$ per day, and the absolute timing was confirmed to be accurate to 360 $μ$s or better. The results were achieved mainly through observations of the Crab pulsar, including simultaneous ones with RXTE, INTEGRAL, and Swift.
description: Accepted for publication on PASJ Vol.60, SP-1, 2008
Enhanced moments of Eu in single crystals of the metallic helical antiferromagnet EuCo{2-y}As2
Creators: name: Sangeetha, N. S.
name: Anand, V. K.
name: Cuervo-Reyes, Eduardo
name: Smetana, V.
name: Mudring, A. -V.
name: Johnston, D. C.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The compound EuCo{2-y}As2 with the tetragonal ThCr2Si2 structure is known to contain Eu{+2} ions with spin S = 7/2 that order below a temperature TN = 47 K into an antiferromagnetic (AFM) proper helical structure with the ordered moments aligned in the tetragonal ab plane, perpendicular to the helix axis along the c axis, with no contribution from the Co atoms. Here we carry out a detailed investigation of the properties of single crystals. Enhanced ordered and effective moments of the Eu spins are found in most of our crystals. Electronic structure calculations indicate that the enhanced moments arise from polarization of the d bands, as occurs in ferromagnetic Gd metal. Electrical resistivity measurements indicate metallic behavior. The low-field in-plane magnetic susceptibilities chi{ab}(T < TN) for several crystals are reported that are fitted well by unified molecular field theory (MFT), and the Eu-Eu exchange interactions Jij are extracted from the fits. High-field magnetization M data for magnetic fields H||ab reveal what appears to be a first-order spin-flop transition followed at higher field by a second-order metamagnetic transition of unknown origin, and then by another second-order transition to the paramagnetic (PM) state. For H||c, the magnetization shows only a second-order transition from the canted AFM to the PM state, as expected. The critical fields for the AFM to PM transition are in approximate agreement with the predictions of MFT. Heat capacity Cp measurements in zero and high H are reported. Phase diagrams for H||c and H||ab versus T are constructed from the high-field M(H,T) and Cp(H,T) measurements. The magnetic part Cmag(T, H = 0) of Cp(T, H = 0) is extracted and is fitted rather well below TN by MFT, although dynamic short-range AFM order is apparent in Cmag(T) up to about 70 K, where the molar entropy attains its high-T limit of R ln8.
description: 29 pages, 30 figures including 62 subfigures, 8 tables, 84 references
Indexed Predicate Discovery for Unbounded System Verification
Creators: name: Shuvendu K. Lahiri
name: Bryant, Randal E.
Publisher: name: Carnegie Mellon University
Year: 1972
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatically constructed given a set of predicates. Predicate abstraction coupled with automatic predicate discovery provides for a completely automatic verification scheme. For systems with unbounded integer state variables (e.g. software), counterexample guided predicate discovery has been successful in identifying the necessary predicates. For verifying systems with function state variables, which include systems with unbounded memories (microprocessors), arrays in programs, and parameterized systems, an extension to predicate abstraction has been suggested which uses predicates with free (index) variables. Unfortunately, counterexample guided predicate discovery is not applicable to this method. In this paper, we propose a simple heuristic for discovering indexed predicates. We illustrate the effectiveness of the approach for verifying safety properties of two systems: (i) a version of the Bakery mutual exclusion protocol, and (ii) a directory-based cache coherence protocol with unbounded FIFO channels per client.
Zur symbolischen Verankerung veränderlicher Objekte in Sensordaten
Creators: name: Stolzmann, Tobias
Publisher: name: Zenodo
Year: 2021

description: Moderne Roboter nehmen die Objekte in ihrer Umgebung über Sensoren war, aber sie planen ihre nächsten Schritte auf abstrakte Weise. Um solche Roboter zu bauen, ist es daher unerlässlich, einen Zusammenhang zwischen den Sensordaten und einer abstrakten Repräsentation herzustellen und zu pflegen. Genau darum geht es bei der symbolischen Verankerung von physikalischen Objekten in Sensordaten. Alle bisher publizierten Lösungsansätze gehen davon aus, dass sich das äußere Erscheinungsbild der Objekte nicht verändert. Diese Annahme ist jedoch häufig unzutreffend, wie man leicht feststellt, wenn man an den Füllstand einer Tasse oder die Entwicklungsstadien eines Schmetterlings denkt. Diese Masterarbeit stellt einen neuen Lösungsansatz vor, der auf Answer Set Programming basiert und das Wissen über die Entwicklung der Objekte verwendet, um die Zuordnung von Perzepten zu Symbolen zu verbessern.
Suzaku Discovery of Hard X-ray Pulsations from the Rotating Magnetized White Dwarf, AE Aquarii
Creators: name: Terada, Yukikatsu
name: Hayashi, Takayuki
name: Ishida, Manabu
name: Mukai, Koji
name: Dotani, Tadayas u
name: Okada, Shunsaku
name: Nakamura, Ryoko
name: Naik, Sachindra
name: Bamba, Aya
name: Makishima, Kazuo
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The fast rotating magnetized white dwarf, AE Aquarii, was observed with Suzaku, in October 2005 and October 2006 with exposures of 53.1 and 42.4 ks, respectively. In addition to clear spin modulation in the 0.5--10 keV band of the XIS data at the barycentric period of 33.0769 \pm 0.0001 s, the 10--30 keV HXD data in the second half of the 2005 observation also showed statistically significant periodic signals at a consistent period. On that occasion, the spin-folded HXD light curve exhibited two sharp spikes separated by about 0.2 cycles in phase, in contrast to approximately sinusoidal profiles observed in energies below about 4 keV. The folded 4--10 keV XIS light curves are understood as a superposition of those two types of pulse profiles. The phase averaged 1.5--10 keV spectra can be reproduced by two thermal components with temperatures of $2.90_{-0.16}^{+0.20}$ keV and $0.53_{-0.13}^{+0.14}$ keV, but the 12-25 keV HXD data show a significant excess above the extrapolated model. This excess can be explained by either a power-law model with photon index of $1.12_{-0.62}^{+0.63}$ or a third thermal component with a temperature of $54_{-47}^{+26}$ keV. At a distance of 102 pc, the 4--30 keV luminosities of the thermal and the additional components become $1.7_{-0.6}^{+1.3}$ and $5.3_{-0.3}^{+15.3} \times 10^{29}$ erg s$^{-1}$, respectively. The latter corresponds to 0.09% of the spin down energy of the object. Possible emission mechanisms of the hard pulsations are discussed, including in particular non-thermal ones.
description: Accepted for publication on PASJ Vol.60, No.2, 2008 see Press Release page(http://www.heal.phy.saitama-u.ac.jp/~terada/01work/press_release2008/index_e.html)
On the Appearance of Thresholds in the Dynamical Model of Star Formation
Creators: name: Elmegreen, Bruce G.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The Kennicutt-Schmidt (KS) relationship between the surface density of the star formation rate (SFR) and the gas surface density has three distinct power laws that may result from one model in which gas collapses at a fixed fraction of the dynamical rate. The power law slope is 1 when the observed gas has a characteristic density for detection, 1.5 for total gas when the thickness is about constant as in the main disks of galaxies, and 2 for total gas when the thickness is regulated by self-gravity and the velocity dispersion is about constant, as in the outer parts of spirals, dwarf irregulars, and giant molecular clouds. The observed scaling of the star formation efficiency (SFR per unit CO) with the dense gas fraction (HCN/CO) is derived from the KS relationship when one tracer (HCN) is on the linear part and the other (CO) is on the 1.5 part. Observations of a threshold density or column density with a constant SFR per unit gas mass above the threshold are proposed to be selection effects, as are observations of star formation in only the dense parts of clouds. The model allows a derivation of all three KS relations using the probability distribution function of density with no thresholds for star formation. Failed galaxies and systems with sub-KS SFRs are predicted to have gas that is dominated by an equilibrium warm phase where the thermal Jeans length exceeds the Toomre length. A squared relation is predicted for molecular gas-dominated young galaxies.
description: 36 pages, 7 figures, accepted for ApJ, slightly revised version
A deeper look at the GD1 stream: density variations and wiggles
Creators: name: de Boer, T. J. L.
name: Belokurov, V.
name: Koposov, S. E.
name: Ferrarese, L.
name: Erkal, D.
name: Cote, P.
name: Navarro, J. F.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Using deep photometric data from CFHT/Megacam, we study the morphology and density of the GD-1 stream, one of the longest and coldest stellar streams in the Milky Way. Our deep data recovers the lower main sequence of the stream with unprecedented quality, clearly separating it from Milky Way foreground and background stars. An analysis of the distance to different parts of the stream shows that GD-1 lies at a heliocentric distance between 8 and 10 kpc, with only a shallow gradient across 45 deg on the sky. Matched filter maps of the stream density show clear density variations, such as deviations from a single orbital track and tentative evidence for stream fanning. We also detect a clear under-density in the middle of the stream track at $φ_{1}$=-45 deg surrounded by overdense stream segments on either side. This location is a promising candidate for the elusive missing progenitor of the GD-1 stream. We conclude that the GD-1 stream has clearly been disturbed by interactions with the Milky Way disk or other sub-halos.
description: submitted to MNRAS, comments welcome
title: Région de Rabat. Zone d'influence des SMP
title: Région de Rabat. Zone d'influence des SMP
Creators: name: :Unkn
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023
Subjects: subject: Equipement

description: Cartographie
description: BESM-carto_1956-69-p018_069-02
description: 18
description: 69
description: Bulletin économique et social du Maroc
description: Source: Maison méditerranéenne des sciences de l'homme, Cité numérique de la Méditerranée (Cinumed), Bibliothèque nationale du Royaume du Maroc (BNRM)
description: Source: Bulletin économique et social du Maroc
description: Source: Bulletin économique et social du Maroc (BESM) > BESM (Cartographie)
description: Relation: https://cinumed.mmsh.univ-aix.fr/idurl/1/81638
description: Coverage: Maroc
description: Coverage: Rabat
description: Coverage: XXe siècle
description: Temporal: XXe siècle
description: Bibliographic citation: « Région de Rabat. Zone d'influence des SMP », In Bulletin économique et social du Maroc (BESM), n° 69, 1956
description: Provenance: Maison méditerranéenne des sciences de l'homme, Cité numérique de la Méditerranée (Cinumed), Bibliothèque nationale du Royaume du Maroc (BNRM)
description: Provenance: https://cinumed.mmsh.univ-aix.fr/
Out-of-time-ordered measurements as a probe of quantum dynamics
Creators: name: Bordia, Pranjal
name: Alet, Fabien
name: Hosur, Pavan
Publisher: name: arXiv
Year: 2018
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Probing the out-of-equilibrium dynamics of quantum matter has gained renewed interest owing to immense experimental progress in artifcial quantum systems. Dynamical quantum measures such as the growth of entanglement entropy (EE) and out-of-time ordered correlators (OTOCs) have been shown, theoretically, to provide great insight by exposing subtle quantum features invisible to traditional measures such as mass transport. However, measuring them in experiments requires either identical copies of the system, an ancilla qubit coupled to the whole system, or many measurements on a single copy, thereby making scalability extremely complex and hence, severely limiting their potential. Here, we introduce an alternate quantity $-$ the out-of-time-ordered measurement (OTOM) $-$ which involves measuring a single observable on a single copy of the system, while retaining the distinctive features of the OTOCs. We show, theoretically, that OTOMs are closely related to OTOCs in a doubled system with the same quantum statistical properties as the original system. Using exact diagonalization, we numerically simulate classical mass transport, as well as quantum dynamics through computations of the OTOC, the OTOM, and the EE in quantum spin chain models in various interesting regimes (including chaotic and many-body localized systems). Our results demonstrate that an OTOM can successfully reveal subtle aspects of quantum dynamics hidden to classical measures, and crucially, provide experimental access to them.
description: 7 pages, 4 figures
Layered compounds AFBiS2: superior birefringent crystals
Creators: name: Wang, Hai
Publisher: name: arXiv
Year: 2013
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Stimulated by the discovery of the giant birefringence (GBF) in LaOBiS2 (H. Wang, arxiv: 1304.5032), we check SrFBiS2 and find a superior birefringence up to 1.28. Naturally, AF layer (i.e., SrF) is considered to be of important and is demonstrated by the further study on AFBiS2 (A=Mg, Ca, Ba). Interestingly, MgFBiS2 shows the largest birefringence of 1.65. Furthermore, the origin of GBF is discussed in detail.
description: 9 pages, 5 figures
Exploring Zeptosecond Quantum Equilibration Dynamics: From Deep-Inelastic to Fusion-Fission Outcomes in $^{58}$Ni+$^{60}$Ni Reactions
Creators: name: Williams, E.
name: Sekizawa, K.
name: Hinde, D. J.
name: Simenel, C.
name: Dasgupta, M.
name: Carter, I. P.
name: Cook, K. J.
name: Jeung, D. Y.
name: McNeil, S. D.
name: Palshetkar, C. S.
name: Rafferty, D. C.
name: Ramachandran, K.
name: Wakhle, A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Energy dissipative processes play a key role in how quantum many-body systems dynamically evolve towards equilibrium. In closed quantum systems, such processes are attributed to the transfer of energy from collective motion to single-particle degrees of freedom; however, the quantum many-body dynamics of this evolutionary process are poorly understood. To explore energy dissipative phenomena and equilibration dynamics in one such system, an experimental investigation of deep-inelastic and fusion-fission outcomes in the $^{58}$Ni+$^{60}$Ni reaction has been carried out. Experimental outcomes have been compared to theoretical predictions using Time Dependent Hartree Fock and Time Dependent Random Phase Approximation approaches, which respectively incorporate one-body energy dissipation and fluctuations. Excellent quantitative agreement has been found between experiment and calculations, indicating that microscopic models incorporating one-body dissipation and fluctuations provide a potential tool for exploring dissipation in low-energy heavy ion collisions.
description: 11 pages, 9 figures, 1 table, including Supplemental Material - Version accepted for publication in Physical Review Letters
Periodic energy switching of bright solitons in mixed coupled nonlinear Schr{ö}dinger equations with linear self and cross coupling terms
Creators: name: Kanna, T.
name: Vijayajayanthi, M.
name: Lakshmanan, M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences

description: The bright soliton solutions of the mixed 2-coupled nonlinear Schr{ö}dinger (CNLS) equations with linear self and cross coupling terms have been obtained by identifying a transformation that transforms the corresponding equation to the integrable mixed 2-CNLS equations. The study on the collision dynamics of bright solitons shows that there exists periodic energy switching, due to the coupling terms. This periodic energy switching can be controlled by the new type of shape changing collisions of bright solitons arising in mixed 2-CNLS system, characterized by intensity redistribution, amplitude dependent phase shift and relative separation distance. We also point out that this system exhibits large periodic intensity switching even with very small linear self coupling strengths.
description: Appeared in Physical Review A
A re-visit of the phase-resolved X-ray and γ-ray spectra of the Crab pulsar
Creators: name: Tang, Anisia P. S.
name: Takata, J.
name: Jia, J. J.
name: Cheng, K. S.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We use a modified outer gap model to study the multi-frequency phase-resolved spectra of the Crab pulsar. The emissions from both poles contribute to the light curve and the phase-resolved spectra. Using the synchrotron self-Compton mechanism and by considering the incomplete conversion of curvature photons into secondary pairs, the observed phase-averaged spectrum from 100 eV - 10 GeV can be explained very well. The predicted phase-resolved spectra can match the observed data reasonably well, too. We find that the emission from the north pole mainly contributes to Leading Wing 1. The emissions in the remaining phases are mainly dominated by the south pole. The widening of the azimuthal extension of the outer gap explains Trailing Wing 2. The complicated phase-resolved spectra for the phases between the two peaks, namely Trailing Wing 1, Bridge and Leading Wing 2, strongly suggest that there are at least two well-separated emission regions with multiple emission mechanisms, i.e. synchrotron radiation, inverse Compton scattering and curvature radiation. Our best fit results indicate that there may exist some asymmetry between the south and the north poles. Our model predictions can be examined by GLAST.
description: 35 pages, 13 figures, accepted to publish in ApJ
Exact Hydrodynamic Description of Active Lattice Gases
Creators: name: Kourbane-Houssene, Mourtaza
name: Erignoux, Clément
name: Bodineau, Thierry
name: Tailleur, Julien
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We introduce a class of lattice gas models of active matter systems whose hydrodynamic description can be derived exactly. We illustrate our approach by considering two systems exhibiting two of the most studied collective behaviours in active matter: the motility-induced phase separation and the transition to collective motion. In both cases, we derive coupled partial differential equation describing the dynamics of the local density and polarization fields and show how they quantitatively predict the emerging properties of the macroscopic lattice gases.
Additional file 1 of Association of stress hyperglycemia ratio and in-hospital mortality in patients with coronary artery disease: insights from a large cohort study
Creators: name: Xu, Wei
name: Song, Qirui
name: Wang, Xiang
name: Zhao, Zinan
name: Meng, Xuyang
name: Xia, Chenxi
name: Xie, Yibo
name: Yang, Chenguang
name: Guo, Ying
name: Zhang, Yatong
name: Wang, Fang
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Chemical Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Mathematical Sciences not elsewhere classified
subject: Developmental Biology
subject: Science Policy

description: Supplementary Material 1: Association of stress hyperglycemiaratioandin-hospital mortality in patients withcoronaryartery disease: Insights froma large cohortstudy
Magnification Probability Distribution Functions of Standard Candles in a Clumpy Universe
Creators: name: Yoo, Chul-Moon
name: Ishihara, Hideki
name: Nakao, Ken-ichi
name: Tagoshi, Hideyuki
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: Lensing effects on light rays from point light sources, such like Type Ia supernovae, are simulated in a clumpy universe model. In our universe model, it is assumed that all matter in the universe takes the form of randomly distributed objects each of which has finite size and is transparent for light rays. Monte-Carlo simulations are performed for several lens models, and we compute probability distribution functions of magnification. In the case of the lens models that have a smooth density profile or the same degree of density concentration as the spherical NFW (Navarro-Frenk-White) lens model at the center, the so-called gamma distributions fit well the magnification probability distribution functions if the size of lenses is sufficiently larger than the Einstein radius. In contrast, the gamma distributions do not fit the magnification probability distribution functions in the case of the SIS (Singular Isothermal Sphere) lens model. We find, by using the power law cusp model, that the magnification probability distribution function is fitted well using the gamma distribution only when the slope of the central density profile is not very steep. These results suggest that we may obtain information about the slope of the central density profiles of dark matter halo from the lensing effect of Type Ia supernovae.
description: 25 pages, 12 figures, PTP accepted version
Odessa Scientific School of Researchers Of Variable Stars: From V.P.Tsesevich (1907-1983) to Our Days
Creators: name: Andronov, Ivan L.
Publisher: name: arXiv
Year: 2017
Subjects: subject: History and Philosophy of Physics (physics.hist-ph)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: The biography of Vladimir Platonovich Tsesevich (11.11.1907 - 28.10.1983), a leader of the astronomy in Odessa from 1944 to 1983, is briefly reviewed, as well as the directions of study, mainly the highlights of the research of variable stars carried out by the members of the scientific school founded by him. The directions of these studies cover a very wide range of variability types - "magnetic" and "non-magnetic" cataclysmic variables, symbiotic, X-Ray and other interacting binaries, classical eclipsers and "extreme direct impactors", pulsating variables from DSct and RR through C and RV to SR and M. Improved algorithms and programs have been elaborated for statistically optimal phenomenological and physical modeling. Initially these studies in Odessa were inspired by ("with a capital letter") Vladimir Platonovich Tsesevich. who was a meticulous Scientist and brilliant Educator, thorough Author and the intelligibly explaining Popularizer, persevering Organizer and cheerful Joker - a true Professor and Teacher. He was "the Poet of the Starry Heavens".
description: Odessa Astronomical Publications, 2017, 30, 252-255