X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (5376) 5376
Conference Proceeding (1732) 1732
Publication (627) 627
Book Chapter (187) 187
Book / eBook (114) 114
Dissertation (82) 82
Newspaper Article (23) 23
Magazine Article (20) 20
Government Document (14) 14
Newsletter (8) 8
Paper (8) 8
Book Review (4) 4
Reference (4) 4
Technical Report (1) 1
Trade Publication Article (1) 1
Web Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
finite automata (1473) 1473
automata (1306) 1306
computer science (1072) 1072
computer science, theory & methods (1060) 1060
algorithms (750) 750
analysis (709) 709
robots (673) 673
mathematics (663) 663
mathematical models (633) 633
mathematical analysis (583) 583
engineering, electrical & electronic (562) 562
finite state automata (553) 553
computer simulation (511) 511
finite element method (502) 502
mathematics, applied (489) 489
cellular automata (407) 407
finite state machines (395) 395
simulation (391) 391
models (373) 373
complexity (349) 349
computer science, information systems (339) 339
finite state machine (318) 318
studies (304) 304
computer science, software engineering (300) 300
finite automaton (299) 299
computer science, hardware & architecture (288) 288
computer science, artificial intelligence (278) 278
automation (277) 277
materials science, multidisciplinary (271) 271
theoretical computer science (266) 266
endlicher automat (263) 263
artificial intelligence (262) 262
usage (259) 259
research (258) 258
finite-elemente-methode (234) 234
finite element analysis (227) 227
engineering (220) 220
automation & control systems (214) 214
mechanics (209) 209
regular languages (209) 209
model (206) 206
computation (205) 205
computer science, interdisciplinary applications (201) 201
optimization (195) 195
logic (192) 192
languages (191) 191
automata theory (184) 184
systems (179) 179
methods (173) 173
microstructure (169) 169
metallurgy & metallurgical engineering (168) 168
formal languages and automata theory (162) 162
finite-state automata (152) 152
algebra (151) 151
finite (151) 151
software (151) 151
regular expressions (150) 150
formal languages (147) 147
evolution (145) 145
supervisory control (145) 145
finite-state machines (144) 144
cellular automaton (142) 142
solidification (140) 140
deterministic finite automata (139) 139
equivalence (136) 136
state complexity (136) 136
control systems (134) 134
physics (130) 130
theory of computation (130) 130
discrete event systems (127) 127
computational modeling (126) 126
hardware (120) 120
minimization (120) 120
testing (119) 119
deformation (118) 118
algorithm (117) 117
pattern matching (117) 117
computational complexity (116) 116
discrete-event systems (116) 116
mikrostruktur (115) 115
deterministic finite automaton (114) 114
dynamics (114) 114
mathematics, interdisciplinary applications (114) 114
design (113) 113
prediction (112) 112
index medicus (110) 110
mechanical engineering (109) 109
software engineering (108) 108
verification (108) 108
descriptional complexity (106) 106
neural networks (106) 106
regular expression (106) 106
automatentheorie (105) 105
humans (103) 103
telecommunications (102) 102
growth (101) 101
model checking (101) 101
finite state automaton (99) 99
dynamical systems (96) 96
behavior (95) 95
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (46) 46
Engineering & Comp. Sci. - Stacks (26) 26
Mathematical Sciences - Stacks (26) 26
UTL at Downsview - May be requested (14) 14
Collection Dvlpm't (Acquisitions) - Vendor file (5) 5
UofT at Mississauga - Stacks (4) 4
UofT at Scarborough - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Closed Orders (3) 3
Online Resources - Online (2) 2
Gerstein Science - Periodical Stacks (1) 1
Mathematical Sciences - Processing (1) 1
Physics - Stacks (1) 1
Robarts - Stacks (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (6943) 6943
Japanese (83) 83
Chinese (42) 42
French (32) 32
Spanish (18) 18
Portuguese (17) 17
German (13) 13
Russian (12) 12
Korean (8) 8
Polish (3) 3
Slovenian (2) 2
Arabic (1) 1
Catalan (1) 1
Croatian (1) 1
Indonesian (1) 1
Romanian (1) 1
Swedish (1) 1
Turkish (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1976, Macmillan computer science series., ISBN 9780333153987, 170
Book
Theoretical Computer Science, ISSN 0304-3975, 01/2015, Volume 562, Issue C, pp. 590 - 605
•We proposed a compact method named postfix automata to construct smaller NFAs.•Our method is based on the coded syntax tree of the postfix regular... 
Thompson's automata | Finite automata | Regular expression | Follow automata | TIME | COMPUTER SCIENCE, THEORY & METHODS | REGULAR EXPRESSIONS | NFAS | Robots | Trees | Construction | Automation | Algorithms | Polishes | Mathematical analysis | Construction specifications | Syntax
Journal Article
Nuclear Inst. and Methods in Physics Research, A, ISSN 0168-9002, 10/2016, Volume 832, Issue C, pp. 219 - 230
We explore the Micron Automata Processor (AP) as a suitable commodity technology that can address the growing computational needs of pattern recognition in... 
Tracking | Trigger | Pattern recognition | Finite automata | INSTRUMENTS & INSTRUMENTATION | NUCLEAR SCIENCE & TECHNOLOGY | PHYSICS, NUCLEAR | PHYSICS, PARTICLES & FIELDS | Usage | Analysis | Robots | INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND TECHNOLOGY | PHYSICS OF ELEMENTARY PARTICLES AND FIELDS | finite automata | trigger | tracking | pattern recognition
Journal Article
Information and Computation, ISSN 0890-5401, 03/2011, Volume 209, Issue 3, pp. 456 - 470
Journal Article
Information and Computation, ISSN 0890-5401, 04/2019, Volume 265, pp. 94 - 111
We contribute new relations to the taxonomy of different conversions from regular expressions to equivalent finite automata. In particular, we are interested... 
Finite automata | Regular languages | Regular expressions | PARTIAL DERIVATIVES | GLUSHKOV | FOLLOW | MATHEMATICS, APPLIED | COMPUTER SCIENCE, THEORY & METHODS | Robots
Journal Article
Theory of Computing Systems, ISSN 1432-4350, 07/2018, Volume 62, Issue 5, pp. 1203 - 1222
In this paper, we propose a reduction of the minimization problem for a bottom-up deterministic tree automaton (DFTA), making the latter a minimization of a... 
Minimization | Tree automata | Finite automata | Tree languages | DETERMINISTIC AUTOMATA | BISIMULATION | MATHEMATICS | INCREMENTAL CONSTRUCTION | RANDOM GENERATION | COMPUTER SCIENCE, THEORY & METHODS | Information science | Robots | Construction standards | Transformations | Automata theory | Optimization
Journal Article
Information Sciences, ISSN 0020-0255, 05/2012, Volume 191, pp. 86 - 97
Journal Article
IEEE Transactions on Automatic Control, ISSN 0018-9286, 01/2020, Volume 65, Issue 1, pp. 341 - 346
Critical observability is a property of cyber-physical systems to detect whether the current state belongs to a set of critical states. In safety-critical... 
Computers | Adaptation models | discrete-event systems | finite automata | Computational modeling | Petri nets | Automata | networks of finite automata | Complexity theory | critical observability | Observability | Complexity | OPACITY | NOTIONS | DETECTABILITY | DIAGNOSABILITY | ENGINEERING, ELECTRICAL & ELECTRONIC | DECIDABILITY | AUTOMATION & CONTROL SYSTEMS
Journal Article
Current Science, ISSN 0011-3891, 2018, Volume 115, Issue 11, pp. 2042 - 2051
omega-automata is a variant of finite automata which accepts infinite strings. It represents the behaviour of the infinite systems (hardware, operating system... 
Co-Büchi automata and Muller automata | Streett automata | Büchi automata | Rabin automata | PARITY GAMES | co-Buchi automata and Muller automata | CONVERSION | MULTIDISCIPLINARY SCIENCES | FINITE AUTOMATA | LANGUAGES | SIMULATION RELATIONS | CONSTRUCTION | Buchi automata | CHECKING | DERIVATIVES | PARALLEL REGULAR EXPRESSIONS
Journal Article
Journal of Computer and System Sciences, ISSN 0022-0000, 12/2015, Volume 81, Issue 8, pp. 1592 - 1613
We prove that finite-state transducers with injective behavior, deterministic or not, real-time or not, with no extra memory or a single counter, cannot... 
Finite automata | Normal numbers | Non-deterministic automata | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | COMPUTER SCIENCE, THEORY & METHODS | Analysis | Robots
Journal Article
Information and Computation, ISSN 0890-5401, 12/2019, p. 104503
Journal Article
2004, ISBN 9781584882558, 321
Interest in finite automata theory continues to grow, not only because of its applications in computer science, but also because of more recent applications in... 
Machine theory
eBook
Fundamenta Informaticae, ISSN 0169-2968, 2017, Volume 155, Issue 1-2, pp. 31 - 58
A kappa-limited automaton is a linear bounded automaton that may rewrite each tape square only in the first kappa visits, where kappa >= 0 is a fixed constant.... 
SPACE | COMPUTER SCIENCE, SOFTWARE ENGINEERING | MATHEMATICS, APPLIED | CELLULAR-AUTOMATA | CHURCH-ROSSER LANGUAGES | CONTEXT-SENSITIVE LANGUAGES | FINITE AUTOMATA | COMPUTATIONS | Homomorphisms | Sweeping | Context free languages | Languages | Iterative methods | Automata theory
Journal Article
International Journal of Bifurcation and Chaos, ISSN 0218-1274, 01/2016, Volume 26, Issue 1, p. 1650019
Actin is a globular protein which forms long polar filaments in eukaryotic. The actin filaments play the roles of cytoskeleton, motility units, information... 
dynamics | memory | polymers | automata | Actin | CELLULAR-AUTOMATA | COMPLEX | CYTOSKELETON | MICROTUBULES | MULTIDISCIPLINARY SCIENCES | QUANTUM COMPUTATION | PATHOLOGY | MODEL | MATHEMATICS, INTERDISCIPLINARY APPLICATIONS | BREATHERS | Muscle proteins | Analysis | Robots
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.