Search Results - deterministic AND nondeterministic algorithms*
-
1
Global Transformer Design Optimization Using Deterministic and Nondeterministic Algorithms
ISSN: 0093-9994, 1939-9367Published: New York IEEE 01.01.2014Published in IEEE transactions on industry applications (01.01.2014)“…This paper compares the application of two deterministic and three nondeterministic optimization algorithms to global transformer design optimization (TDO…”
Get full text
Journal Article -
2
Deterministic Versus Nondeterministic Optimization Algorithms for the Restricted Boltzmann Machine
ISSN: 2810-9570, 2810-9503, 2810-9503Published: Singapore 22.11.2024Published in Journal of Computational and Cognitive Engineering (22.11.2024)“… The Boltzmann machines are usually considered probability models. Probability models normally use nondeterministic algorithms to solve their parameters…”
Get full text
Journal Article -
3
Holistic Review of UAV-Centric Situational Awareness: Applications, Limitations, and Algorithmic Challenges
ISSN: 2218-6581, 2218-6581Published: Basel MDPI AG 01.08.2024Published in Robotics (Basel) (01.08.2024)“…This paper presents a comprehensive survey of UAV-centric situational awareness (SA), delineating its applications, limitations, and underlying algorithmic…”
Get full text
Journal Article -
4
mlf-core: a framework for deterministic machine learning
ISSN: 1367-4811, 1367-4803, 1367-4811Published: England Oxford University Press 03.04.2023Published in Bioinformatics (Oxford, England) (03.04.2023)“… Solely fixing all random seeds is not sufficient for deterministic machine learning, as major machine learning libraries default to the usage of nondeterministic algorithms based on atomic operations…”
Get full text
Journal Article -
5
Incremental NFA minimization
ISSN: 0304-3975, 1879-2294Published: Elsevier B.V 12.07.2024Published in Theoretical computer science (12.07.2024)“… After dealing with the deterministic case, we extend this idea to the bisimulation-minimization of nondeterministic automata…”
Get full text
Journal Article -
6
Efficient determinization of visibly and height-deterministic pushdown automata
ISSN: 1477-8424, 1873-6866Published: Elsevier Ltd 01.11.2016Published in Computer languages, systems & structures (01.11.2016)“…New algorithms for the determinization of nondeterministic visibly and nondeterministic real-time height-deterministic pushdown automata are presented…”
Get full text
Journal Article -
7
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
ISSN: 1432-4350, 1433-0490Published: New York Springer US 01.04.2018Published in Theory of computing systems (01.04.2018)“… More precisely, for every fixed variety in the Trotter-Weil Hierarchy, our approach yields an algorithm in nondeterministic logarithmic space (NL…”
Get full text
Journal Article -
8
Computational complexity of the problem of tree generation under fine-grained access control policies
ISSN: 0890-5401, 1090-2651Published: Amsterdam Elsevier Inc 01.03.2011Published in Information and computation (01.03.2011)“…We consider the problem of deciding whether a fine-grained access control policy for tree updates allows a particular document to be constructed. This problem…”
Get full text
Journal Article Conference Proceeding -
9
True random and adjustable memory management evaluation framework with Markov chain
Published: IEEE 01.09.2017Published in 2017 International Electronics Symposium on Knowledge Creation and Intelligent Computing (IES-KCIC) (01.09.2017)“… Nowadays there is a lot of memory management algorithm, and each algorithm has its own characteristics like the deterministic or nondeterministic algorithm…”
Get full text
Conference Proceeding -
10
Nearly Optimal Pseudorandomness From Hardness
ISSN: 2575-8454Published: IEEE 01.11.2020Published in Proceedings / annual Symposium on Foundations of Computer Science (01.11.2020)“… We convert randomized algorithms into deterministic ones with little slowdown. Specifically, assuming exponential lower bounds against randomized single-valued nondeterministic (SVN…”
Get full text
Conference Proceeding -
11
A Compositional Cost Model for the λ-calculus
Published: IEEE 29.06.2021Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“…[a].Although the natural semantics on which it is based is nondeterministic, our cost model is reasonable…”
Get full text
Conference Proceeding -
12
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience
ISBN: 0769537464, 9780769537467ISSN: 1043-6871Published: IEEE 01.08.2009Published in 2009 24th Annual IEEE Symposium on Logic In Computer Science (01.08.2009)“…We exhibit a deterministic concurrent reachability game PURGATORY n with n non-terminal positions and a binary choice for both players in every position so that any positional strategy for Player 1…”
Get full text
Conference Proceeding -
13
On efficient relabeling of symmetric discrete‐event systems
ISSN: 1561-8625, 1934-6093Published: Hoboken Wiley Subscription Services, Inc 01.11.2022Published in Asian journal of control (01.11.2022)“… Then by employing the subset construction algorithm (SCA), the resultant nondeterministic automaton is converted to its deterministic counterpart…”
Get full text
Journal Article -
14
Concurrent Kleene algebra with tests and branching automata
ISSN: 2352-2208Published: 01.06.2016Published in Journal of logical and algebraic methods in programming (01.06.2016)Get full text
Journal Article -
15
Efficient general AGH-unification
ISSN: 0890-5401, 1090-2651Published: Elsevier Inc 01.11.2014Published in Information and computation (01.11.2014)“… The general E-unification problem in this theory is NP-complete, and existing algorithms are highly nondeterministic…”
Get full text
Journal Article -
16
From regular expressions to finite automata
ISSN: 0020-7160, 1029-0265Published: Abingdon Gordon and Breach Science Publishers 01.01.1999Published in International journal of computer mathematics (01.01.1999)“… The Brzozowski algorithm yields a deterministic automaton, the Glushkov algorithm a nondeterministic one, and the general step by step method generally yields a NFA with ϵ-transitions…”
Get full text
Journal Article -
17
On feasible cases of checking multi-agent systems behavior
ISSN: 0304-3975, 1879-2294Published: Elsevier B.V 28.06.2003Published in Theoretical computer science (28.06.2003)“… and are checked relative to the transition system induced by the multi-agent system definition. We show that there are deterministic or nondeterministic polynomial time check…”
Get full text
Journal Article -
18
Time and space complexity of deterministic and nondeterministic decision trees
ISSN: 1012-2443, 1573-7470Published: Cham Springer International Publishing 01.02.2023Published in Annals of mathematics and artificial intelligence (01.02.2023)“… As algorithms for problem solving, we use deterministic and nondeterministic decision trees. As time and space complexity, we study the depth and the number of nodes in the decision trees…”
Get full text
Journal Article -
19
Emergence in Interactive Embedded Art
ISSN: 2155-4196, 2155-420XPublished: Hershey IGI Global 01.07.2019Published in International journal of art, culture and design technologies (01.07.2019)“… Computational artwork is being considered in a new unconventional context. An aesthetic difference between the deterministic and nondeterministic algorithms was shown…”
Get full text
Journal Article -
20
Editorial: P versus NP problem from Formal Languages Theory View
ISSN: 2007-1558Published: Jiutepec International Journal of Combinatorial Optimization Problems & Informatics 01.01.2021Published in International Journal of Combinatorial Optimization Problems and Informatics (01.01.2021)“… P versus NP problem is to determine whether some deterministic algorithm also accepts every language accepted by some nondeterministic algorithm in polynomial time in polynomial time…”
Get full text
Journal Article

