„finite automaton“

Suchergebnisse

1.000+ Treffer

• Cover Picture: Biologically Relevant Molecular Finite Automata (Isr. J. Chem. 1/2011)
  Shoshani, Sivan ; Ratner, Tamar ; Piran , Ron ; Keinan , Ehud
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• An Analysis of Solidification Experiments With a Ti-46Al-8Nb Alloy Under Centrifugal Conditions: Modelling of Flow–Solidification Interaction and Grain Structure Evolution Using a Cellular Automaton With Finite Volume Method
  Huang, Can ; Hecht, Ulrike
• Numerical Simulation of Grain Structure and Macrosegregation of Electroslag Remelting Process Based on Cellular Automaton-Finite Element Method
  Shi, Hao ; Chen, Qipeng ; Li, Kaiyu ; Shen, Houfa
• Computational Fun with Sturdy and Flimsy Numbers
  Clokie, Trevor ; Lidbetter, Thomas F. ; Molina Lovett, Antonio J. ; Shallit, Jeffrey O. ; Witzman, Leon 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lagrange's Theorem for Binary Squares
  Madhusudan, P. ; Nowotka, Dirk ; Rajasekaran, Aayush ; Shallit, Jeffrey O. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Implementation and Application of Automata – 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
  Moreira, Nelma ; Reis, Rogério 2012 Springer Berlin Heidelberg
• Das Problem der universellen Realisierbarkeit bei Putnam und Searle
  Goldstraß, Thomas ; Krois, John Michael ; Scheffler, Uwe 2002 Humboldt-Universität zu Berlin
• Shortest characteristic factors of a deterministic finite automaton and computing its positive position run by pattern set matching
  Janoušek, Jan ; Plachý, Štěpán
• Erratum to “Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness”
  D’Angeli, Daniele ; Rodaro, Emanuele ; Wächter, Jan Philipp
• Insights into microstructural variations in GH4169 thin-walled parts by laser powder bed fusion: a coupling finite-element/cellular-automaton study
  Ling, Peng-Hang ; Jiang, Wu-Gui ; Zhan, Zhan-Cai ; Chen, Tao ; Qin, Qing-Hua ; Mao, Long-Hui
• Finite-size scaling and power law relations for dipole-quadrupole interaction on Blume-Emery-Griffiths model
  Özkan, Aycan ; Kutlu, Bülent
• Formal verification in automated manufacturing
  Tang, Yiheng 2024 FAU University Press
• Implementation and Application of Automata – 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
  Drewes, Frank 2015 Springer International Publishing
• Probabilistic Finite Automaton Emptiness Is Undecidable for a Fixed Automaton
  Rote, Günter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Periodic harmonic functions on lattices and points count in positive characteristic
  Zaidenberg, Mikhail
• Shape Recognition by a Finite Automaton Robot
  Gmyr, Robert ; Hinnenthal, Kristian ; Kostitsyna, Irina ; Kuhn, Fabian ; Rudolph, Dorian ; Scheideler, Christian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Quadratic Upper Bound on the Reset Thresholds of Synchronizing Automata Containing a Transitive Permutation Group
  Zhu, Yinfeng 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures
  Hinnenthal, Kristian ; Liedtke, David ; Scheideler, Christian 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Ackermann Award 2024
  Fernández, Maribel ; Panangaden, Prakash 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik