Search Results - deterministic and nondeterministic algorithms*

Refine Results
  1. 1

    Global Transformer Design Optimization Using Deterministic and Nondeterministic Algorithms by Amoiralis, Eleftherios I., Tsili, Marina A., Paparigas, Dimitrios G., Kladas, Antonios G.

    ISSN: 0093-9994, 1939-9367
    Published: New York IEEE 01.01.2014
    Published 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. 2

    Holistic Review of UAV-Centric Situational Awareness: Applications, Limitations, and Algorithmic Challenges by MahmoudZadeh, Somaiyeh, Yazdani, Amirmehdi, Kalantari, Yashar, Ciftler, Bekir, Aidarus, Fathi, Al Kadri, Mhd Omar

    ISSN: 2218-6581, 2218-6581
    Published: Basel MDPI AG 01.08.2024
    Published 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
  3. 3

    Deterministic Versus Nondeterministic Optimization Algorithms for the Restricted Boltzmann Machine by Zeng, Gengsheng L.

    ISSN: 2810-9570, 2810-9503, 2810-9503
    Published: Singapore 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
  4. 4

    mlf-core: a framework for deterministic machine learning by Heumos, Lukas, Ehmele, Philipp, Kuhn Cuellar, Luis, Menden, Kevin, Miller, Edmund, Lemke, Steffen, Gabernet, Gisela, Nahnsen, Sven

    ISSN: 1367-4811, 1367-4803, 1367-4811
    Published: England Oxford University Press 03.04.2023
    Published 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. 5

    Incremental NFA minimization by Bianchini, Christian, Policriti, Alberto, Riccardi, Brian, Romanello, Riccardo

    ISSN: 0304-3975, 1879-2294
    Published: Elsevier B.V 12.07.2024
    Published 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. 6

    Emergence in Interactive Embedded Art by Kuznetsov, Andrew V

    ISSN: 2155-4196, 2155-420X
    Published: Hershey IGI Global 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
  7. 7

    Efficient determinization of visibly and height-deterministic pushdown automata by Polách, Radomír, Trávníček, Jan, Janoušek, Jan, Melichar, Bořivoj

    ISSN: 1477-8424, 1873-6866
    Published: Elsevier Ltd 01.11.2016
    Published 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
  8. 8

    The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy by Kufleitner, Manfred, Wächter, Jan Philipp

    ISSN: 1432-4350, 1433-0490
    Published: New York Springer US 01.04.2018
    Published 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
  9. 9

    Computational complexity of the problem of tree generation under fine-grained access control policies by Moore, Neil

    ISSN: 0890-5401, 1090-2651
    Published: Amsterdam Elsevier Inc 01.03.2011
    Published 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
  10. 10

    ComVIS—Interactive simulation environment for compiler learning by Jovanović, Nenad, Stamenković, Srećko, Miljković, Dragiša, Chakraborty, Pinaki

    ISSN: 1061-3773, 1099-0542
    Published: Hoboken Wiley Subscription Services, Inc 01.01.2022
    “…) or nondeterministic finite automata, and simulate Thompson's construction algorithm. The process of constructing…”
    Get full text
    Journal Article
  11. 11

    True random and adjustable memory management evaluation framework with Markov chain by Shahab, Alvin Syarifudin, Pramadihanto, Dadet, Sukaridhoto, Sritrustra, Widianjaya, Adhe

    Published: IEEE 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
  12. 12

    Nearly Optimal Pseudorandomness From Hardness by Doron, Dean, Moshkovitz, Dana, Oh, Justin, Zuckerman, David

    ISSN: 2575-8454
    Published: IEEE 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
  13. 13

    A Compositional Cost Model for the λ-calculus by Laird, James

    Published: IEEE 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
  14. 14

    Winning Concurrent Reachability Games Requires Doubly-Exponential Patience by Hansen, K.A., Koucky, M., Miltersen, P.B.

    ISBN: 0769537464, 9780769537467
    ISSN: 1043-6871
    Published: IEEE 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
  15. 15

    On efficient relabeling of symmetric discrete‐event systems by Jiao, Ting, Bai, Yu

    ISSN: 1561-8625, 1934-6093
    Published: Hoboken Wiley Subscription Services, Inc 01.11.2022
    Published 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
  16. 16
  17. 17

    Efficient general AGH-unification by Liu, Zhiqiang, Lynch, Christopher

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier Inc 01.11.2014
    Published 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
  18. 18

    From regular expressions to finite automata by Champarnaud, J.-M., Ponty, J.-L., Ziadi, D.

    ISSN: 0020-7160, 1029-0265
    Published: Abingdon Gordon and Breach Science Publishers 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
  19. 19

    Discrete-event control of nondeterministic systems by Heymann, M., Lin, F.

    ISSN: 0018-9286
    Published: New York, NY IEEE 01.01.1998
    Published in IEEE transactions on automatic control (01.01.1998)
    “… We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications…”
    Get full text
    Journal Article
  20. 20

    On feasible cases of checking multi-agent systems behavior by Dekhtyar, Michael, Dikovsky, Alexander, Valiev, Mars

    ISSN: 0304-3975, 1879-2294
    Published: Elsevier B.V 28.06.2003
    Published 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