Three complete deterministic polynomial algorithms for 3SAT [PDF]
arXiv, 2002 Three algorithms are presented that determine the existence of satisfying assignments for 3SAT Boolean satisfiability expressions. One algorithm is presented for determining an instance of a satisfying assignment, where such exists. The algorithms are each deterministic and of polynomial complexity.
arxiv
Cold Dark Matter I: The Formation of Dark Halos
, 1994 We use numerical simulations of critically-closed cold dark matter (CDM) models to study the effects of numerical resolution on observable quantities. We study simulations with up to $256^3$ particles using the particle-mesh (PM) method and with up to ...
Bertschinger, Edmund, Gelb, James M.
core +2 more sources
From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata [PDF]
Logical Methods in Computer Science, 2007 In this paper we revisit Safra's determinization constructions for automata on infinite words. We show how to construct deterministic automata with fewer states and, most importantly, parity acceptance conditions.
Nir Piterman
doaj +1 more source
Model Checking One-clock Priced Timed Automata [PDF]
Logical Methods in Computer Science, 2008 We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model-checking problems for that model based on extensions of classical ...
Patricia Bouyer +2 more
doaj +1 more source
A Computational Study of Rotating Spiral Waves and Spatio-Temporal Transient Chaos in a Deterministic Three-Level Active System [PDF]
arXiv, 2004 Spatio-temporal dynamics of a deterministic three-level cellular automaton (TLCA) of Zykov-Mikhailov type (Sov. Phys. - Dokl., 1986, Vol.31, No.1, P.51) is studied numerically. Evolution of spatial structures is investigated both for the original Zykov-Mikhailov model (which is applicable to, for example, Belousov-Zhabotinskii chemical reactions) and ...
arxiv
Numerical Modeling of Coexistence, Competition and Collapse of Rotating Spiral Waves in Three-Level Excitable Media with Discrete Active Centers and Absorbing Boundaries [PDF]
arXiv, 2006 Spatio-temporal dynamics of excitable media with discrete three-level active centers (ACs) and absorbing boundaries is studied numerically by means of a deterministic three-level model (see S. D. Makovetskiy and D. N. Makovetskii, on-line preprint cond-mat/0410460 ), which is a generalization of Zykov- Mikhailov model (see Sov. Phys.
arxiv
Focal Plane Alignment and Detector Characterization for the Subaru Prime Focus Spectrograph
, 2014 We describe the infrastructure being developed to align and characterize the detectors for the Subaru Measurement of Images and Redshifts (SuMIRe) Prime Focus Spectrograph (PFS).
Blank +8 more
core +1 more source
Synthesis of Reduced Asymmetric Choice Petri Nets [PDF]
arXiv, 2019 A Petri net is choice-free if any place has at most one transition in its postset (consuming its tokens) and it is (extended) free-choice (EFC) if the postsets of any two places are either equal or disjoint. Asymmetric choice (AC) extends EFC such that two places may also have postsets where one is contained in the other.
arxiv
A review of artificial intelligence in brachytherapy
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Artificial intelligence (AI) has the potential to revolutionize brachytherapy's clinical workflow. This review comprehensively examines the application of AI, focusing on machine learning and deep learning, in various aspects of brachytherapy.
Jingchu Chen +4 more
wiley +1 more source