GRB Polarimetry with POET [PDF]
, 2009 POET (Polarimeters for Energetic Transients) represents a concept for a Small Explorer (SMEX) satellite mission, whose principal scientific goal is to understand the structure of GRB sources through sensitive X‐ray and γ‐ray polarization measurements ...
Angelini, L. +30 more
core +2 more sources
Logspace self-reducibility [PDF]
, 1988 A definition of self-reducibility is proposed to deal with logarithmic space complexity classes. A general property derived from the definition is used to prove known results comparing uniform and nonuniform complexity classes below polynomial time, and ...
Balcázar Navarro, José Luis
core +1 more source
On the Complexity of the Word Problem for Automaton Semigroups and Automaton Groups
, 2017 In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are ...
D'Angeli, Daniele +2 more
core +1 more source
Limits of Baumslag-Solitar groups and dimension estimates in the space of marked groups [PDF]
, 2010 We prove that the limits of Baumslag-Solitar groups which we previously studied are non-linear hopfian C*-simple groups with infinitely many twisted conjugacy classes.
Guyot, Luc, Stalder, Yves
core
Decision Problems For Convex Languages [PDF]
, 2008 In this paper we examine decision problems associated with various classes of convex languages, studied by Ang and Brzozowski (under the name "continuous languages").
A. Aho +8 more
core +2 more sources
Applications of Finite Model Theory: Optimisation Problems, Hybrid Modal Logics and Games. [PDF]
, 2013 There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification ...
GATE, JAMES,SIMON
core
State-by-state calculations for all channels of the exotic $(\mu^-,e^-)$ conversion process [PDF]
, 1997 The coherent and incoherent channels of the neutrinoless muon to electron conversion in nuclei, $\mu^- (A,Z) \to e^- (A,Z)^*$, are studied throughout the periodic table.
Faessler, Amand +3 more
core +2 more sources
Complexity Theory and the Operational Structure of Algebraic Programming Systems [PDF]
, 1982 An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an
Asveld, P.R.J., Tucker, J.V.
core +3 more sources
Linear Bounded Composition of Tree-Walking Tree Transducers: Linear Size Increase and Complexity [PDF]
, 2019 Compositions of tree-walking tree transducers form a hierarchy with respect to the number of transducers in the composition. As main technical result it is proved that any such composition can be realized as a linear bounded composition, which means that
Engelfriet, Joost +2 more
core +2 more sources
Identification of vortexes obstructing the dynamo mechanism in laboratory experiments
, 2013 The magnetohydrodynamic dynamo effect explains the generation of self-sustained magnetic fields in electrically conducting flows, especially in geo- and astrophysical environments.
Forest, Cary B +3 more
core +1 more source