Pascal and Francis Bibliographic Databases

Help

Search results

Your search

ct.\*:(%22Automata. Abstract machines. Turing machines%22)

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Origin

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 36833

  • Page / 1474
Export

Selection :

  • and

On Delaunay triangulation automata with memoryALONSO-SANZ, Ramón; ADAMATZKY, Andrew.Nano communication networks (Print). 2013, Vol 4, Num 4, pp 216-228, issn 1878-7789, 13 p.Article

Turing's Titanic Machine?BARRY COOPER, S.Communications of the ACM. 2012, Vol 55, Num 3, pp 74-83, issn 0001-0782, 10 p.Article

Min-Max Timed Moore MachinesGIAMBIASI, Norbert.Modeling, simulation & visualization methods. International conferenceWorldComp'2010. 2010, pp 218-222, isbn 1-60132-155-4, 5 p.Conference Paper

Le produit synchrone des automates (max,+)KOMENDA, Jan; LAHAYE, Sébastien; BOIMOND, Jean-Louis et al.Journal européen des systèmes automatisés. 2009, Vol 43, Num 7-9, pp 1033-1047, issn 1269-6935, 15 p.Conference Paper

Automata, languages and programming (Part I-II : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings)Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-35904-4, 2 vol.(729, 603 p.), isbn 3-540-35904-4Conference Proceedings

Implementation and application of automata (10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005)Ferré, Jacques; Litovsky, Igor; Schmitz, Sylvain et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31023-1, 1Vol, XIII-360 p, isbn 3-540-31023-1Conference Proceedings

A parallel implementation of the cellular potts model for simulation of cell-based morphogenesisNAN CHEN; GLAZIER, James A; ALBER, Mark S et al.Lecture notes in computer science. 2006, pp 58-67, issn 0302-9743, isbn 3-540-40929-7, 1Vol, 10 p.Conference Paper

Acyclic Automata with Easy-to-Find Short Regular ExpressionsMORAIS, José Joao; MOREIRA, Nelina; REIS, Rogério et al.Lecture notes in computer science. 2006, pp 349-350, issn 0302-9743, isbn 3-540-31023-1, 1Vol, 2 p.Conference Paper

Atomic Congestion Games Among CoalitionsFOTAKIS, Dimitris; KONTOGIANNIS, Spyros; SPIRAKIS, Paul et al.Lecture notes in computer science. 2006, pp 572-583, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Comparing Reductions to NP-Complete SetsHITCHCOCK, John M; PAVAN, A.Lecture notes in computer science. 2006, pp 465-476, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Compiling linguistic constraints into finite state automataCONSTANT, Matthieu; MAUREL, Denis.Lecture notes in computer science. 2006, pp 242-252, issn 0302-9743, isbn 3-540-37213-X, 1Vol, 11 p.Conference Paper

Constructing Exponential-Size Deterministic Zielonka AutomataGENEST, Blaise; MUSCHOLL, Anca.Lecture notes in computer science. 2006, pp 565-576, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Constructing Single-and Multi-output Boolean Functions with Maximal Algebraic ImmunityARMKNECHT, Frederik; KRAUSE, Matthias.Lecture notes in computer science. 2006, pp 180-191, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Descriptive and Relative Completeness of Logics for Higher-Order FunctionsHONDA, Kohei; BERGER, Martin; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2006, pp 360-371, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Discrete baker transformation for binary valued cylindrical cellular automataVOORHEES, Burton.Lecture notes in computer science. 2006, pp 182-191, issn 0302-9743, isbn 3-540-40929-7, 1Vol, 10 p.Conference Paper

Dynamic Interpolation Search RevisitedKAPORIS, Alexis; MAKRIS, Christos; SIOUTAS, Spyros et al.Lecture notes in computer science. 2006, pp 382-394, issn 0302-9743, isbn 3-540-35904-4, 13 p.Conference Paper

Fault-Tolerance Threshold for a Distance-Three Quantum CodeREICHARDT, Ben W.Lecture notes in computer science. 2006, pp 50-61, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Generalized automata networksTOMASSINI, Marco.Lecture notes in computer science. 2006, pp 14-28, issn 0302-9743, isbn 3-540-40929-7, 1Vol, 15 p.Conference Paper

How to Trim an MST : A 2-Approximation Algorithm for Minimum Cost Tree CoverFUJITO, Toshihiro.Lecture notes in computer science. 2006, pp 431-442, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Hybrid extended finite automataBORDIHN, Henning; HOLZER, Markus; KUTRIB, Martin et al.Lecture notes in computer science. 2006, pp 34-45, issn 0302-9743, isbn 3-540-37213-X, 1Vol, 12 p.Conference Paper

Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric PolymorphismEJLERS MOGELBERG, Rasmus.Lecture notes in computer science. 2006, pp 372-383, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

Lexical disambiguation with polarities and automataBONFANTE, Guillaume; LE ROUX, Joseph; PERRIER, Guy et al.Lecture notes in computer science. 2006, pp 283-284, issn 0302-9743, isbn 3-540-37213-X, 1Vol, 2 p.Conference Paper

Measures for transient configurations of the sandpile-modelSCHULZ, Matthias.Lecture notes in computer science. 2006, pp 238-247, issn 0302-9743, isbn 3-540-40929-7, 1Vol, 10 p.Conference Paper

Modeling crowd behavior based on social comparison theory : Extended-abstractFRIDMAN, Natalie; KAMINKA, Gal.Lecture notes in computer science. 2006, pp 694-698, issn 0302-9743, isbn 3-540-40929-7, 1Vol, 5 p.Conference Paper

Multipartite Secret Sharing by Bivariate InterpolationTASSA, Tamir; DYN, Nira.Lecture notes in computer science. 2006, pp 288-299, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

  • Page / 1474