Results 11 to 20 of about 849,966 (288)

Polarization of Intrabinary Shock Emission in Spider Pulsars

open access: yesThe Astrophysical Journal, 2023
In so-called spider pulsars, the X-ray band is dominated by intrabinary shock (IBS) synchrotron emission. While the double-peaked X-ray light curves from these shocks have been well characterized in several spider systems (both black widows and redbacks),
Andrew G. Sullivan, Roger W. Romani
doaj   +1 more source

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]

open access: yesLogical Methods in Computer Science, 2012
This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj   +1 more source

Melting of spin ice state and development of fifth order susceptibility with magnetic field in pyrochlore Tb2Sn2O7

open access: yesNew Journal of Physics, 2022
Pyrochlores offer an ideal playground to investigate the magnetic ground state of frustrated magnetic systems. In this class of materials, competition between various magnetic interactions remains frustrated and prevents an ordered magnetic state at low ...
Karan Singh   +3 more
doaj   +1 more source

Measuring interstellar magnetic fields by radio synchrotron emission [PDF]

open access: yes, 2008
Radio synchrotron emission, its polarization and its Faraday rotation are powerful tools to study the strength and structure of interstellar magnetic fields. The total intensity traces the strength and distribution of total magnetic fields.
Battaner   +37 more
core   +1 more source

Histogram Ordering

open access: yesIEEE Access, 2021
Frequency histograms are ubiquitous, being practically used in any field of science. In this paper, we present a partial order for frequency histograms and, to our knowledge, no order of this kind has been yet defined.
Mateu Sbert   +5 more
doaj   +1 more source

Abelization of join spaces of affine transformations of ordered field with proximity

open access: yesApplied General Topology, 2005
Using groups of affine transformations of linearly ordered fields a certain construction of non-commutative join hypergroups is presented based on the criterion of reproducibility of semi-hypergroups which are determined by ordered semigroups. The aim of
Sárka Hosková
doaj   +1 more source

Random Ising chain in transverse and longitudinal fields: Strong disorder RG study

open access: yesCondensed Matter Physics, 2023
Motivated by the compound LiHo_xY_(1-x)F_4, we consider the Ising chain with random couplings and in the presence of simultaneous random transverse and longitudinal fields, and study its low-energy properties at zero temperature by the strong disorder ...
T. Pető, F. Iglói, I. A. Kovács
doaj   +1 more source

Numerical simulations of nonlinear and chaotic order parameter responses in bulk antiferroelectrics using ammonium dihydrogen phosphate parameter

open access: yesPhysics of Complex Systems, 2022
In this paper, the nonlinear and chaotic responses of bulk antiferroelectrics are elaborated phenomenologically and numerically. The first ordered phase of bulk antiferroelectrics is formulated by applying calculus of variations to Landau free energy ...
Сью-Чу Лим
doaj   +3 more sources

Witt rings of quadratically presentable fields [PDF]

open access: yesCategories and General Algebraic Structures with Applications, 2020
This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability.
Pawel Gladki, Krzysztof Worytkiewicz
doaj  

Computable Fields and Arithmetically Definable Ordered Fields [PDF]

open access: yesProceedings of the American Mathematical Society, 1970
Introduction. A computable field is one whose elements may be placed in one-one correspondence with the natural numbers in such a way that the number theoretic functions corresponding to the field operations are recursive. In the same vein a field is called arithmetically definable (AD for short) if its elements may be placed in one-one correspondence ...
Lachlan, A. H., Madison, E. W.
openaire   +1 more source

Home - About - Disclaimer - Privacy