Search Results - "Sequential machine theory"

Effect size comparison for populations with an application in psychology.

Authors: Chattopadhyay, Bhargab Bapat, Sudeep R.

Source: British Journal of Mathematical & Statistical Psychology. Feb2026, Vol. 79 Issue 1, p146-172. 27p.

Subjects: Effect sizes (Statistics), Statistical power analysis, Simulation methods & models, Resource allocation, Sequential machine theory, Standard deviations, Statistics

WHEN BI-INTERPRETABILITY IMPLIES SYNONYMY.

Authors: FRIEDMAN, HARVEY VISSER, ALBERT

Source: Review of Symbolic Logic. Dec2025, Vol. 18 Issue 4, p971-990. 20p.

ON THE COMPLEXITY OF COORDINATION.

Authors: Gossner, Olivier Hernández, Penélope

Source: Mathematics of Operations Research (INFORMS). Feb2003, Vol. 28 Issue 1, p127. 14p.

Single-Server, Two-Machine Sequencing with Switching Time.

Authors: Sahney, Vinod K.¹

Source: Operations Research. Jan/Feb1972, Vol. 20 Issue 1, p24-36. 13p.

Corrective control of parallel interconnected asynchronous sequential machines with output feedback.

Authors: Jung-Min Yang Seong Woo Kwak

Source: IET Control Theory & Applications (Wiley-Blackwell). 2019, Vol. 13 Issue 5, p693-701. 9p.

Cellular automata labeling of connected components in n-dimensional binary lattices.

Authors: Stamatovic, Biljana Trobec, Roman

Source: Journal of Supercomputing. Nov2016, Vol. 72 Issue 11, p4221-4232. 12p.

Subjects: Sequential machine theory, Parallel processing, Lattice networks, Cellular automata, Data flow computing, Mathematical models

Counting Regular Expressions in Degenerated Sequences through Lazy Markov Chain Embedding.

Authors: Nuel, G. Delos, V.

Source: Annual International Conference on Computational Mathematics, Computational Geometry & Statistics. 2014, p100-108. 9p.

Subjects: Sequential machine theory, Cellular automata, Markov processes, Algorithm research, Embeddings (Mathematics)

Searching All Seeds of Strings with Hamming Distance using Finite Automata.

Authors: Guth, Ondřej Melichar, Bořivoj

Source: International MultiConference of Engineers & Computer Scientists 2009. 2009, p622-629. 8p. 5 Diagrams, 1 Chart, 3 Graphs.

Subjects: Sequential machine theory, Spacetime, Approximation theory, Machine theory, Algorithms

Advances in the study of elementary cellular automata regular language complexity.

Authors: De Oliveira, Pedro P. B. Ruivo, Eurico L. P. Costa, Wander L. et al.

Source: Complexity. Jul/Aug2016, Vol. 21 Issue 6, p267-279. 13p.

A Linearizability-based Hierarchy for Concurrent Specifications: Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.

Authors: CASTAÑEDA, ARMANDO RAJSBAUM, SERGIO RAYNAL, MICHEL

Source: Communications of the ACM; Jan2023, Vol. 66 Issue 1, p86-97, 12p, 1 Color Photograph, 7 Diagrams, 5 Charts, 1 Graph

Rigorous Results on Spontaneous Symmetry Breaking in a One-Dimensional Driven Particle System.

Authors: Großkinsky, Stefan Schütz, Gunter Willmann, Richard

Source: Journal of Statistical Physics. Aug2007, Vol. 128 Issue 3, p587-606. 20p. 1 Diagram, 6 Graphs.

Subjects: Cellular automata, Sequential machine theory, Martingales (Mathematics), Stochastic processes, Symmetry breaking, Machine theory

Finite-State Registered Automata for Non-Concatenative Morphology.

Authors: Cohen-Sygal, Yael Wintner, Shuly

Source: Computational Linguistics. Mar2006, Vol. 32 Issue 1, p49-82. 34p. 16 Diagrams, 4 Charts.

Subjects: Sequential machine theory, Morphology (Grammar), Phonology, Computational linguistics, Machine theory

Methods of constructing universal tests for finite-state automata.

Authors: Tverdokhlebov, V.¹

Source: Automation & Remote Control. Jan2005, Vol. 66 Issue 1, p139-147. 9p.

Subjects: Sequential machine theory, Machine theory, Proof theory, Algorithms, Mathematical models

Potentialities of Physical Realization of Cellular Automata with Remote Connections and Group Operations.

Authors: Stetsyura, G. G.¹

Source: Automation & Remote Control. Aug2004, Vol. 65 Issue 8, p1328-1337. 10p.

Subjects: Cellular automata, Sequential machine theory, Parallel processing, Pattern recognition systems, Multiprocessors, Electronic data processing, Information storage & retrieval systems

Decreasing Computational Time of Urban Cellular Automata Through Model Portability.

Authors: Dietzel, Charles Clarke, Keith

Source: GeoInformatica. Jun2006, Vol. 10 Issue 2, p197-211. 15p. 5 Charts, 2 Graphs.

Subjects: Cellular automata, Sequential machine theory, Software compatibility, Computer operating systems, Electronic data processing, Economic geography, Mathematical models, Structural optimization

New finite automata corresponding to semiextended regular expressions.

Authors: Yamamoto, Hiroaki¹

Source: Systems & Computers in Japan. 9/1/2005, Vol. 36 Issue 10, p54-61. 8p.

Subjects: Sequential machine theory, Automation, Machine theory, Computers, Synchronization, Time measurements

A polynomial time algorithm to infer sequential machines.

Authors: Takahashi, Katsuhiko Fujiyoshi, Akio Kasai, Takumi

Source: Systems & Computers in Japan. 1/1/2003, Vol. 34 Issue 1, p59-67. 9p.

Subjects: Algorithms, Sequential machine theory, Input-output analysis, Polynomials, Computer systems, Machinery

A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.

Authors: GUELEV, DIMITAR P.¹ gelevdp@math.bas.bg

Source: Journal of Logic & Computation. Aug2008, Vol. 18 Issue 4, p615-623. 9p.

Subjects: Machine theory, Sequential machine theory, Cellular automata, Mathematical logic, Logic design, Nonclassical mathematical logic

Derivatives of Approximate Regular Expressions.

Authors: Champarnaud, J.-M. Jeanne, H. Mignot, L.

Source: Discrete Mathematics & Theoretical Computer Science (DMTCS). 2013, Vol. 15 Issue 2, p95-120. 26p. 4 Diagrams.

Subjects: Sequential machine theory, Bounded arithmetics, Operator theory, Derivatives (Mathematics), Algorithms

On the asymptotic enumeration of accessible automata.

Authors: Lebensztayn, Elcio¹

Source: Discrete Mathematics & Theoretical Computer Science (DMTCS). Jun2010, Vol. 12 Issue 3, p75-79. 5p. 1 Diagram, 1 Chart.

Subjects: Sequential machine theory, Machine theory, Binomial theorem, Lagrange problem, Calculus of variations