Követés
Anil Nerode
Anil Nerode
Professor of Mathematics, Cornell University
E-mail megerősítve itt: twcny.rr.com - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Linear automaton transformations
A Nerode
Proceedings of the American Mathematical Society 9 (4), 541-544, 1958
7981958
Hybrid systems
RL Grossman, A Nerode, AP Ravn, H Rischel
Springer 736, 474, 1993
6591993
Models for hybrid systems: Automata, topologies, controllability, observability
A Nerode, W Kohn
International Hybrid Systems Workshop, 317-356, 1991
5461991
Automatic presentations of structures
B Khoussainov, A Nerode
International Workshop on Logic and Computational Complexity, 367-392, 1994
4041994
Hybrid systems IV
P Antsaklis, W Kohn, A Nerode, S Sastry
International Hybrid Systems Workshop 4, 1996
3811996
Logic for applications
A Nerode, RA Shore
Springer Science & Business Media, 2012
3762012
Hybrid control systems: An introductory discussion to the special issue
PJ Antsaklis, A Nerode
IEEE Transactions on Automatic Control 43 (4), 457-460, 1998
2741998
Automata theory and its applications
B Khoussainov, A Nerode
Springer Science & Business Media, 2012
2542012
Logics for hybrid systems
JM Davoren, A Nerode
Proceedings of the IEEE 88 (7), 985-1010, 2000
2072000
Effective content of field theory
G Metakides, A Nerode
Annals of Mathematical Logic 17 (3), 289-320, 1979
1751979
Recursively enumerable vector spaces
G Metakides, A Nerode
Annals of Mathematical Logic 11 (2), 147-171, 1977
1621977
Multiple-agent hybrid control architecture for intelligent real-time control of distributed nonlinear processes
W Kohn, A Nerode, J James
US Patent 6,088,689, 2000
1412000
Intrinsically recursive relations
CJ Ash, A Nerode
Aspects of effective algebra, 26-41, 1981
1351981
Multiple-agent hybrid control architecture for intelligent real-time control of distributed nonlinear processes
W Kohn, A Nerode
US Patent 5,963,447, 1999
1311999
Extensions to isols
A Nerode
Annals of mathematics 73 (2), 362-403, 1961
1291961
A theory of nonmonotonic rule systems I
W Marek, A Nerode, J Remmel
Annals of Mathematics and Artificial Intelligence 1 (1), 241-273, 1990
128*1990
Hybrid knowledge bases
JJ Lu, A Nerode, VS Subrahmanian
IEEE Transactions on Knowledge and Data Engineering 8 (5), 773-785, 1996
1171996
Mixed integer programming methods for computing nonmonotonic deductive databases
C Bell, A Nerode, RT Ng, VS Subrahmanian
Journal of the ACM (JACM) 41 (6), 1178-1215, 1994
1131994
Experimental evaluation of loss perception in continuous media
D Wijesekera, J Srivastava, A Nerode, M Foresti
Multimedia systems 7, 486-499, 1999
1111999
A survey of lattices of re substructures
A Nerode, J Remmel
Recursion theory 42, 323-375, 1985
921985
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20