Works matching DE "SEQUENTIAL machine theory"

Results: 410

Algorithmic Self-Assembly of DNA Sierpinski Triangles.

Published in:

PLoS Biology, 2004, v. 2, n. 12, p. 2041, doi. 10.1371/journal.pbio.0020424

By:

Rothemund, Paul W. K.;
Papadakis, Nick;
Winfree, Erik

Publication type:

Article

Towards intrinsically universal asynchronous CA.

Published in:

Natural Computing, 2013, v. 12, n. 4, p. 539, doi. 10.1007/s11047-013-9388-3

By:

Worsch, Thomas

Publication type:

Article

<i>m</i>-Asynchronous cellular automata: from fairness to quasi-fairness.

Published in:

Natural Computing, 2013, v. 12, n. 4, p. 561, doi. 10.1007/s11047-013-9386-5

By:

Dennunzio, Alberto;
Formenti, Enrico;
Manzoni, Luca;
Mauri, Giancarlo

Publication type:

Article

Computing maximal Kleene closures that are embeddable in a given subword-closed language.

Published in:

Natural Computing, 2013, v. 12, n. 2, p. 211, doi. 10.1007/s11047-013-9364-y

By:

Konstantinidis, Stavros;
Santean, Nicolae

Publication type:

Article

Networks of evolutionary processors: computationally complete normal forms.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 595, doi. 10.1007/s11047-012-9331-z

By:

Dassow, Jürgen;
Manea, Florin;
Truthe, Bianca

Publication type:

Article

Cellular automata-based systems with fault-tolerance.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 673, doi. 10.1007/s11047-012-9333-x

By:

Žaloudek, Luděk;
Sekanina, Lukáš

Publication type:

Article

Conserved quantities in discrete dynamics: what can be recovered from Noether's theorem, how, and why?

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 565, doi. 10.1007/s11047-012-9336-7

By:

Capobianco, Silvio;
Toffoli, Tommaso

Publication type:

Article

Probing robustness of cellular automata through variations of asynchronous updating.

Published in:

Natural Computing, 2012, v. 11, n. 4, p. 553, doi. 10.1007/s11047-012-9340-y

By:

Bouré, Olivier;
Fatès, Nazim;
Chevrier, Vincent

Publication type:

Article

A study on learning robustness using asynchronous 1D cellular automata rules.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 289, doi. 10.1007/s11047-012-9311-3

By:

Vanneschi, Leonardo;
Mauri, Giancarlo

Publication type:

Article

Asynchronous cellular automata and dynamical properties.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 269, doi. 10.1007/s11047-012-9308-y

By:

Manzoni, Luca

Publication type:

Article

An analysis of different types and effects of asynchronicity in cellular automata update schemes.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 277, doi. 10.1007/s11047-012-9310-4

By:

Bandini, Stefania;
Bonomi, Andrea;
Vizzari, Giuseppe

Publication type:

Article

Grids and universal computations on one-dimensional cellular automata.

Published in:

Natural Computing, 2012, v. 11, n. 2, p. 303, doi. 10.1007/s11047-012-9312-2

By:

Yunès, Jean-Baptiste

Publication type:

Article

Quantum computation with write-only memory.

Published in:

Natural Computing, 2012, v. 11, n. 1, p. 81, doi. 10.1007/s11047-011-9270-0

By:

Yakaryılmaz, Abuzer;
Freivalds, Rūsiņš;
Say, A.;
Agadzanyan, Ruben

Publication type:

Article

Partitioned quantum cellular automata are intrinsically universal.

Published in:

Natural Computing, 2012, v. 11, n. 1, p. 13, doi. 10.1007/s11047-011-9277-6

By:

Arrighi, Pablo;
Grattage, Jonathan

Publication type:

Article

Automata and processes on multisets of communicating objects.

Published in:

Natural Computing, 2010, v. 9, n. 4, p. 865, doi. 10.1007/s11047-010-9206-0

By:

Yang, Linmin;
Wang, Yong;
Dang, Zhe

Publication type:

Article

On the dynamics and recursive properties of multidimensional symbolic systems.

Published in:

Inventiones Mathematicae, 2009, v. 176, n. 1, p. 131, doi. 10.1007/s00222-008-0161-7

By:

Hochman, Michael

Publication type:

Article

RECONSTRUCTION OF EPSILON-MACHINES IN PREDICTIVE FRAMEWORKS AND DECISIONAL STATES.

Published in:

Advances in Complex Systems, 2011, v. 14, n. 5, p. 761, doi. 10.1142/S0219525911003347

By:

BRODU, NICOLAS

Publication type:

Article

A SPECTRAL METHOD FOR AGGREGATING VARIABLES IN LINEAR DYNAMICAL SYSTEMS WITH APPLICATION TO CELLULAR AUTOMATA RENORMALIZATION.

Published in:

Advances in Complex Systems, 2009, v. 12, n. 2, p. 131, doi. 10.1142/S0219525909002155

By:

JACOBI, MARTIN NILSSON;
GÖRNERUP, OLOF

Publication type:

Article

OPEN SYNCHRONOUS CELLULAR LEARNING AUTOMATA.

Published in:

Advances in Complex Systems, 2007, v. 10, n. 4, p. 527, doi. 10.1142/S0219525907001264

By:

Beigy, Hamid;
Meybodi, M. R.

Publication type:

Article

SUPPORTING URBAN PLANNING WITH CAGE:: A SOFTWARE ENVIRONMENT TO SIMULATE COMPLEX SYSTEMS.

Published in:

Advances in Complex Systems, 2007, v. 10, p. 309, doi. 10.1142/S0219525907001379

By:

Cecchini, Arnaldo;
Trunfio, Giuseppe A.

Publication type:

Article

HIGHER ORDER CELLULAR AUTOMATA.

Published in:

Advances in Complex Systems, 2005, v. 8, n. 2/3, p. 169, doi. 10.1142/S0219525905000403

By:

BAAS, NILS A.;
HELVIK, TORBJØRN

Publication type:

Article

A MATHEMATICAL FRAMEWORK FOR CELLULAR LEARNING AUTOMATA.

Published in:

Advances in Complex Systems, 2004, v. 7, n. 3/4, p. 295, doi. 10.1142/S0219525904000202

By:

Beigy, Hamid;
Meybodi, M. R.

Publication type:

Article

A CELLULAR AUTOMATA MODEL FOR A LEARNING PROCESS.

Published in:

Advances in Complex Systems, 2004, v. 7, n. 3/4, p. 433, doi. 10.1142/S0219525904000263

By:

He Ming-Feng;
Deng Cheng-Rui;
Feng Lin;
Tian Bo-Wen

Publication type:

Article

Technique of traces in solving the equivalence problem in algebraic program models.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 5, p. 692, doi. 10.1007/s10559-009-9139-8

By:

Podlovchenko, R. I.

Publication type:

Article

A method of specification of fractal sets.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 3, p. 365, doi. 10.1007/s10559-009-9117-1

By:

Lisovik, L.;
Karnaukh, T.

Publication type:

Article

Theory of general linear automata.

Published in:

Cybernetics & Systems Analysis, 2009, v. 45, n. 1, p. 8, doi. 10.1007/s10559-009-9082-8

By:

Rystsov, I. K.

Publication type:

Article

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

Published in:

IET Control Theory & Applications (Wiley-Blackwell), 2019, v. 13, n. 5, p. 693, doi. 10.1049/iet-cta.2018.5116

By:

Jung-Min Yang;
Seong Woo Kwak

Publication type:

Article

Corrective control for transient faults with application to configuration controllers.

Published in:

IET Control Theory & Applications (Wiley-Blackwell), 2015, v. 9, n. 8, p. 1213, doi. 10.1049/iet-cta.2014.0532

By:

Jung-Min Yang;
Seong Woo Kwak

Publication type:

Article

SD‐SHO: Security‐dominated finite state machine state assignment technique with a satisfactory level of hardware optimization.

Published in:

IET Computers & Digital Techniques (Wiley-Blackwell), 2021, v. 15, n. 5, p. 372, doi. 10.1049/cdt2.12029

By:

Das, Nitish;
Panchanathan, Aruna Priya

Publication type:

Article

A LAGRANGEAN BASED BRANCH AND BOUND ALGORITHM FOR SINGLE MACHINE SEQUENCING WITH PRECEDENCE CONSTRAINTS TO MINIMIZE TOTAL WEIGHTED COMPLETION TIME.

Published in:

Management Science, 1985, v. 31, n. 10, p. 1300, doi. 10.1287/mnsc.31.10.1300

By:

Potts, C.N.

Publication type:

Article

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.

Published in:

Acta Informatica, 2011, v. 48, n. 5/6, p. 271, doi. 10.1007/s00236-011-0139-6

By:

Qiu, Daowen;
Li, Lvzhou;
Zou, Xiangfu;
Mateus, Paulo;
Gruska, Jozef

Publication type:

Article

On α − ν-products of automata.

Published in:

Acta Informatica, 2011, v. 48, n. 7/8, p. 397, doi. 10.1007/s00236-011-0143-x

By:

Dömösi, Pál;
Maróti, György

Publication type:

Article

Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs.

Published in:

Acta Informatica, 2007, v. 44, n. 5, p. 345, doi. 10.1007/s00236-007-0051-2

By:

Iwamoto, Chuzo;
Hatayama, Naoki;
Nakashiba, Yoshiaki;
Morita, Kenichi;
Imai, Katsunobu

Publication type:

Article

Timed tree automata with an application to temporal logic.

Published in:

Acta Informatica, 2001, v. 38, n. 2, p. 89, doi. 10.1007/s002360100067

By:

La Torre, Salvatore;
Napoli, Margherita

Publication type:

Article

Group weighted finite transducers.

Published in:

Acta Informatica, 2001, v. 38, n. 2, p. 117, doi. 10.1007/s002360100069

By:

Ito, Masami;
Martín-Vide, Carlos;
Mitrana, Victor

Publication type:

Article

Self-modifying CA model using dual ensemble Kalman filter for simulating urban land-use changes.

Published in:

International Journal of Geographical Information Science, 2015, v. 29, n. 9, p. 1612, doi. 10.1080/13658816.2015.1037305

By:

Zhang, Yihan;
Li, Xia;
Liu, Xiaoping;
Qiao, Jigang

Publication type:

Article

Fuzzy inference guided cellular automata urban-growth modelling using multi-temporal satellite images.

Published in:

International Journal of Geographical Information Science, 2008, v. 22, n. 11/12, p. 1271, doi. 10.1080/13658810701617292

By:

Al‐kheder, S.;
Wang, J.;
Shan, J.

Publication type:

Article

Comparison of the structure and accuracy of two land change models.

Published in:

International Journal of Geographical Information Science, 2005, v. 19, n. 2, p. 243, doi. 10.1080/13658810410001713434

By:

Pontius, Gil R.;
Malanson, Jeffrey

Publication type:

Article

Data mining of cellular automata's transition rules.

Published in:

International Journal of Geographical Information Science, 2004, v. 18, n. 8, p. 723, doi. 10.1080/13658810410001705325

By:

Xia Li;
Yeh, Anthony Gar-On

Publication type:

Article

The Degree of Irreversibility in Deterministic Finite Automata.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 5, p. 503, doi. 10.1142/S0129054117400044

By:

Axelsen, Holger Bock;
Holzer, Markus;
Kutrib, Martin

Publication type:

Article

On a Conjecture by Christian Choffrut.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 5, p. 483, doi. 10.1142/S0129054117400032

By:

Belovs, Aleksandrs;
Montoya, J. Andres;
Yakaryılmaz, Abuzer

Publication type:

Article

Computing the Expected Edit Distance from a String to a Probabilistic Finite-State Automaton.

Published in:

International Journal of Foundations of Computer Science, 2017, v. 28, n. 5, p. 603, doi. 10.1142/S0129054117400093

By:

Calvo-Zaragoza, Jorge;
Oncina, Jose;
de la Higuera, Colin

Publication type:

Article

On Succinct Description of Certain Context-Free Languages by Ins-Del and Matrix Ins-Del Systems.

Published in:

International Journal of Foundations of Computer Science, 2016, v. 27, n. 7, p. 775, doi. 10.1142/S0129054116500295

By:

Kuppusamy, Lakshmanan;
Raman, Indhumathi;
Krithivasan, Kamala

Publication type:

Article

RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 5, p. 547, doi. 10.1142/S0129054113500202

By:

GHEORGHE, MARIAN;
PÄUN, GHEORGHE;
PÉREZ-JIMÉNE, MARIO J.;
ROZENBERG, GRZEGORZ

Publication type:

Article

FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 8, p. 1711, doi. 10.1142/S0129054112400710

By:

CRESPI REGHIZZI, STEFANO;
SAN PIETRO, PIERLUIGI

Publication type:

Article

JUMPING FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1555, doi. 10.1142/S0129054112500244

By:

MEDUNA, ALEXANDER;
ZEMEK, PETR

Publication type:

Article

STATE COMPLEXITY AND APPROXIMATION.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 5, p. 1085, doi. 10.1142/S0129054112400461

By:

GAO, YUAN;
YU, SHENG

Publication type:

Article

ON THE COMPUTATIONAL CAPACITY OF PARALLEL COMMUNICATING FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2012, v. 23, n. 3, p. 713, doi. 10.1142/S0129054112500062

By:

BORDIHN, HENNING;
KUTRIB, MARTIN;
MALCHER, ANDREAS;
Ito, Masami

Publication type:

Article

UNDECIDABILITY AND HIERARCHY RESULTS FOR PARALLEL COMMUNICATING FINITE AUTOMATA.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 7, p. 1577, doi. 10.1142/S0129054111008891

By:

BORDIHN, HENNING;
KUTRIB, MARTIN;
MALCHER, ANDREAS;
Yu, Sheng

Publication type:

Article

STATE COMPLEXITY OF TWO COMBINED OPERATIONS:: CATENATION-UNION AND CATENATION-INTERSECTION.

Published in:

International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1797, doi. 10.1142/S0129054111009045

By:

CUI, BO;
GAO, YUAN;
KARI, LILA;
YU, SHENG;
Domaratzki, Michael

Publication type:

Article