Computing Rational Radical Sums in Uniform TC0

Computing Rational Radical Sums in Uniform TC0

Show other versions (1)

Bibliographic Details
Main Authors:	Hunter, P, Bouyer, P, Markey, N, Ouaknine, J, Worrell, J
Format:	Conference item
Published:	2010

Similar Items

Computing Rational Radical Sums in Uniform TC0
by: Hunter, P, et al.
Published: (2010)

The cost of punctuality
by: Bouyer, P, et al.
Published: (2007)

On expressiveness and complexity in real-time model checking
by: Bouyer, P, et al.
Published: (2008)

On termination for faulty channel machines
by: Bouyer, P, et al.
Published: (2008)

On termination and invariance for faulty channel machines
by: Bouyer, P, et al.
Published: (2012)

On rational recursion for holonomic sequences
by: Teguia Tabuguia, B, et al.
Published: (2024)

Integral representation and the computation of combinatorial sums /
by: 289395 Egorychev, G. P.
Published: (1984)

The radical rationalization of management thought: Its causes and consequences
by: P. Human
Published: (1986-03-01)

Resynchronized Uniformization and Definability Problems for Rational Relations
by: Christof Löding, et al.
Published: (2023-09-01)

Towards a Theory of Time-Bounded Verification.
by: Ouaknine, J, et al.
Published: (2010)

Decision Problems for Linear Recurrence Sequences.
by: Ouaknine, J, et al.
Published: (2012)

Some Recent Results in Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2008)

On metric temporal logic and faulty turing machines
by: Ouaknine, J, et al.
Published: (2006)

ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
by: Ouaknine, J, et al.
Published: (2007)

Safety metric temporal logic is fully decidable
by: Ouaknine, J, et al.
Published: (2006)

Order estimates of the uniform approximations by Zygmund sums on the classes of convolutions of periodic functions
by: A.S. Serdyuk, et al.
Published: (2021-04-01)

Sequential Uniformly Reweighted Sum-Product Algorithm for Cooperative Localization in Wireless Networks
by: Wei Li, et al.
Published: (2014-08-01)

Identity testing for radical expressions
by: Balaji, N, et al.
Published: (2022)

On reachability problems for low-dimensional matrix semigroups
by: Colcombet, T, et al.
Published: (2019)

The polytope-collision problem
by: Almagor, S, et al.
Published: (2017)

Undecidability of Universality for Timed Automata with Minimal Resources
by: Adams, S, et al.
Published: (2007)

The Semialgebraic Orbit Problem
by: Almagor, S, et al.
Published: (2019)

Undecidability of universality for timed automata with minimal resources
by: Adams, S, et al.
Published: (2007)

On LTL model-checking for low-dimensional discrete linear dynamical systems
by: Karimov, T, et al.
Published: (2020)

First-order orbit queries
by: Almagor, S, et al.
Published: (2020)

Implication of 99mTc-sum IL-2 SPECT/CT in immunotherapy by imaging of tumor-infiltrating T cells
by: Fan Wang, et al.
Published: (2023-03-01)

On Rationality of Nonnegative Matrix Factorization
by: Chistikov, D, et al.
Published: (2017)

Decidability and complexity results for timed automata via channel machines
by: Abdulla, P, et al.
Published: (2005)

Topology of SU(N) gauge theories at T ≃ 0 and T ≃ Tc
by: Lucini, B, et al.
Published: (2005)

Theories for TC0 and Other Small Complexity Classes
by: Phuong Nguyen, et al.
Published: (2006-03-01)

Investigating the effects of sum-frequency conversions and surface impedance uniformity in traveling wave superconducting parametric amplifiers
by: Klimovich, N, et al.
Published: (2024)

Zone-based universality analysis for single-clock timed automata
by: Abdulla, P, et al.
Published: (2007)

The classification of atmospheric hydrometeors and aerosols from the EarthCARE radar and lidar: the A-TC, C-TC and AC-TC products
by: A. Irbah, et al.
Published: (2023-06-01)

Collapse of Metallicity and High-Tc Superconductivity in the High-Pressure phase of FeSe0.89S0.11
by: Reiss, P, et al.
Published: (2024)

On Process−algebraic Extensions of Metric Temporal Logic
by: Haase, C, et al.
Published: (2010)

On the complexity of the orbit problem
by: Chonev, V, et al.
Published: (2016)

On matrix powering in low dimensions
by: Galby, E, et al.
Published: (2015)

Universal skolem sets
by: Luca, F, et al.
Published: (2021)

On the relationship between reachability problems in timed and counter automata
by: Haase, C, et al.
Published: (2012)

On the decidability of Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2005)