Showing 1 - 20 results of 886 for search '"automaton"', query time: 0.09s Refine Results
  1. 1
  2. 2

    Project: automaton by Lau, Shan Yu

    Published 2022
    Get full text
    Final Year Project (FYP)
  3. 3

    Linguistic Automaton Today by M. Ignatieva, V. Chizhakovsky, A. Popescu, R. Piotrowski

    Published 1994-06-01
    “…This model, named the linguistic automaton /LA/, is a complex of hardware, software lingware /linguistic means of support/ and CALL-ware. …”
    Get full text
    Article
  4. 4
  5. 5

    LTL Verification of Automaton Programs by K. A. Vasileva, E. V. Kuzmin

    Published 2007-03-01
    “…In the paper one of approaches to modelling, specification and verification of automaton programs are considered. The automata programming technology is effective enough in design and verification (the analysis of correctness) software for reactive and controlling systems. …”
    Get full text
    Article
  6. 6

    Verification of Synchronous-automaton Programs by S. V. Kubasov

    Published 2007-12-01
    “…This article presents a synchronous model of the automaton program. A technique of verification of synchronous-automaton programs has been developed. …”
    Get full text
    Article
  7. 7

    Synchronous model of automaton program by S. V. Kubasov, V. A. Sokolov

    Published 2007-03-01
    “…This article presents a model of automaton program that satisfies synchronous model requirements. …”
    Get full text
    Article
  8. 8

    Efficient Construction of the Equation Automaton by Faissal Ouardi, Zineb Lotfi, Bilal Elghadyry

    Published 2021-08-01
    “…This paper describes a fast algorithm for constructing directly the equation automaton from the well-known Thompson automaton associated with a regular expression. …”
    Get full text
    Article
  9. 9

    On languages of automaton counter machines by E. V. Kuzmin, D. Ju. Chalyy

    Published 2010-06-01
    “…We prove that an empty language problem and a word recognition problem are decidable for automaton counter machines, but inclusion and equivalence problems are not decidable. …”
    Get full text
    Article
  10. 10

    Vector Model Cyclogram Machine-Automaton by A.A. Dzhomartov

    Published 2010-03-01
    “…Vector model cyclogram machine-automaton reveals the most loaded mechanisms characteristics are entered into a dynamic model for the accurate solution of the specific task.…”
    Get full text
    Article
  11. 11

    An Enhanced Photonic Quantum Finite Automaton by Alessandro Candeloro, Carlo Mereghetti, Beatrice Palano, Simone Cialdi, Matteo G. A. Paris, Stefano Olivares

    Published 2021-09-01
    “…In our analysis, we also take into account how detector dark counts may affect the performance of the automaton.…”
    Get full text
    Article
  12. 12

    Synthesis of a combined automaton with ASIC by A.A. Barkalov, L.A. Titarenko, Y.E. Vizor, A.V. Matvienko

    Published 2020-07-01
    Subjects: “…combined automaton…”
    Get full text
    Article
  13. 13

    A Particular Universal Cellular Automaton by Gaétan Richard, Nicolas Ollinger

    Published 2009-06-01
    “…We obtain a high-level construction for a new smallest intrinsically universal cellular automaton with 4 states.…”
    Get full text
    Article
  14. 14
  15. 15
  16. 16
  17. 17

    Modelling of the Dendritic Crystallization by the Cellular Automaton Method by Zyska A., Konopka Z., Łągiewka M., Nadolski M.

    Published 2016-03-01
    “…A numerical model of binary alloy crystallization, based on the cellular automaton technique, is presented. The model allows to follow the crystallization front movement and to generate the images of evolution of the dendritic structures during the solidification of a binary alloy. …”
    Get full text
    Article
  18. 18

    Lattice–Gas–Automaton Modeling of Income Distribution by Lijie Cui, Chuandong Lin

    Published 2020-07-01
    Subjects: “…lattice gas automaton…”
    Get full text
    Article
  19. 19

    On a reachability set of automaton counter machines by E. V. Kuzmin, D. J. Chalyy

    Published 2010-03-01
    “…Properties of automaton counter machines are investigated. We prove that reachability sets of automaton one-counter machines are semilinear. …”
    Get full text
    Article
  20. 20

    Intuitionistic Fuzzy Automaton for Approximate String Matching by K.M. Ravi, A. Choubey, K.K. Tripati

    Published 2014-03-01
    Subjects: “…Intuitionistic fuzzy automaton…”
    Get full text
    Article