Search

Your search keyword '"Nerode, Anil"' showing total 824 results
Start Over Author "Nerode, Anil"

Refine your results

more »

more »

more »

more »
824 results on '"Nerode, Anil"'

1. Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)

Author

Nerode, Anil and Liu, Yanhong A.

Subjects
Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Abstract

This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in conjunction with the 40th International Conference on Logic Programming (ICLP). The focus of this workshop is integrating reasoning systems for trustworthy AI, especially including integrating diverse models of programming with rules and constraints.

Published
2024

14. Tangents

Author

Nerode, Anil, Greenberg, Noam, Nerode, Anil, and Greenberg, Noam

Published
2022
Full Text
View/download PDF

17. Algebra

Author

Nerode, Anil, Greenberg, Noam, Nerode, Anil, and Greenberg, Noam

Published
2022
Full Text
View/download PDF

19. Effective dimension of points visited by Brownian motion

Author

Kjos-Hanssen, Bjørn and Nerode, Anil

Subjects
Mathematics - Logic, 03D
Abstract

We consider the individual points on a Martin-L\"of random path of Brownian motion. We show (1) that Khintchine's law of the iterated logarithm holds at almost all points; and (2) there exist points (besides the trivial example of the origin) having effective dimension $<1$. The proof of (1) shows that for almost all times $t$, the path $f$ is Martin-L\"of random relative to $t$ and so the effective dimension of $(t,f(t))$ is 2., Comment: The conference version was published as: The law of the iterated logarithm for algorithmically random paths of Brownian motion, Logical Foundations of Computer Science, Lecture Notes in Computer Science 4514 (2007), 310--317

Published
2014
Full Text
View/download PDF

20. Prequel to the Cornell Computer Science Department

Author

Nerode, Anil, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Day, Adam, editor, Fellows, Michael, editor, Greenberg, Noam, editor, Khoussainov, Bakhadyr, editor, Melnikov, Alexander, editor, and Rosamond, Frances, editor

Published
2017
Full Text
View/download PDF

23. The Law of the Iterated Logarithm for Algorithmically Random Brownian Motion

Author

Kjos-Hanssen, Bjørn, Nerode, Anil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Artemov, Sergei N., editor, and Nerode, Anil, editor

Published
2007
Full Text
View/download PDF

24. A Synthesis Algorithm for Hybrid Systems

Author

Gottipati, Srikanth, Nerode, Anil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Artemov, Sergei N., editor, and Nerode, Anil, editor

Published
2007
Full Text
View/download PDF

25. Büchi Automata

Author

Khoussainov, Bakhadyr, Nerode, Anil, Cherniavsky, John C., editor, Constable, Robert, editor, Gallier, Jean, editor, Platek, Richard, editor, Statman, Richard, editor, Khoussainov, Bakhadyr, and Nerode, Anil

Published
2001
Full Text
View/download PDF

26. Applications of Rabin Automata

Author

Khoussainov, Bakhadyr, Nerode, Anil, Cherniavsky, John C., editor, Constable, Robert, editor, Gallier, Jean, editor, Platek, Richard, editor, Statman, Richard, editor, Khoussainov, Bakhadyr, and Nerode, Anil

Published
2001
Full Text
View/download PDF

27. Rabin Automata

Author

Khoussainov, Bakhadyr, Nerode, Anil, Cherniavsky, John C., editor, Constable, Robert, editor, Gallier, Jean, editor, Platek, Richard, editor, Statman, Richard, editor, Khoussainov, Bakhadyr, and Nerode, Anil

Published
2001
Full Text
View/download PDF

28. Games Played on Finite Graphs

Author

Khoussainov, Bakhadyr, Nerode, Anil, Cherniavsky, John C., editor, Constable, Robert, editor, Gallier, Jean, editor, Platek, Richard, editor, Statman, Richard, editor, Khoussainov, Bakhadyr, and Nerode, Anil

Published
2001
Full Text
View/download PDF

29. Finite Automata

Author

Khoussainov, Bakhadyr, Nerode, Anil, Cherniavsky, John C., editor, Constable, Robert, editor, Gallier, Jean, editor, Platek, Richard, editor, Statman, Richard, editor, Khoussainov, Bakhadyr, and Nerode, Anil

Published
2001
Full Text
View/download PDF

30. Basic Notions

Author

Khoussainov, Bakhadyr, Nerode, Anil, Cherniavsky, John C., editor, Constable, Robert, editor, Gallier, Jean, editor, Platek, Richard, editor, Statman, Richard, editor, Khoussainov, Bakhadyr, and Nerode, Anil

Published
2001
Full Text
View/download PDF

33. Elements of Set Theory

Author

Nerode, Anil, Shore, Richard A., Gries, David, editor, Schneider, Fred B., editor, Nerode, Anil, and Shore, Richard A.

Published
1997
Full Text
View/download PDF

34. Intuitionistic Logic

Author

Nerode, Anil, Shore, Richard A., Gries, David, editor, Schneider, Fred B., editor, Nerode, Anil, and Shore, Richard A.

Published
1997
Full Text
View/download PDF

35. Modal Logic

Author

Nerode, Anil, Shore, Richard A., Gries, David, editor, Schneider, Fred B., editor, Nerode, Anil, and Shore, Richard A.

Published
1997
Full Text
View/download PDF

36. Prolog

Author

Nerode, Anil, Shore, Richard A., Gries, David, editor, Schneider, Fred B., editor, Nerode, Anil, and Shore, Richard A.

Published
1997
Full Text
View/download PDF

37. Predicate Logic

Author

Nerode, Anil, Shore, Richard A., Gries, David, editor, Schneider, Fred B., editor, Nerode, Anil, and Shore, Richard A.

Published
1997
Full Text
View/download PDF

38. Introduction

Author

Nerode, Anil, Shore, Richard A., Gries, David, editor, Schneider, Fred B., editor, Nerode, Anil, and Shore, Richard A.

Published
1997
Full Text
View/download PDF

40. Agent based velocity control of highway systems

Author

Kohn, Wolf, Nerode, Anil, Remmel, B. Jeffrey, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Antsaklis, Panos, editor, Kohn, Wolf, editor, Nerode, Anil, editor, and Sastry, Shankar, editor

Published
1997
Full Text
View/download PDF

42. Beyond Hybrid Systems

Author

Nerode, Anil, Rozhkovskaya, Tamara, editor, Gabbay, Dov M., editor, Zakharyaschev, Michael, editor, and Goncharov, Sergei S., editor

Published
2007
Full Text
View/download PDF

43. Logic and Control

Author

Nerode, Anil, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Cooper, S. Barry, editor, Löwe, Benedikt, editor, and Sorbi, Andrea, editor

Published
2007
Full Text
View/download PDF

44. On logical constraints in logic programming

Author

Marek, V. Wiktor, Nerode, Anil, Remmel, Jeffrey B., Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Marek, V. Wiktor, editor, Nerode, Anil, editor, and Truszczyński, M., editor

Published
1995
Full Text
View/download PDF

47. The notion of rank and games

Author

Khoussainov, Bakhadyr, Nerode, Anil, Goos, Gerhard, editor, Hartmanis, Juris, editor, Nerode, Anil, editor, and Matiyasevich, Yu. V., editor

Published
1994
Full Text
View/download PDF

49. On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies

Author

Davoren, Jennifer M., Moor, Thomas, Goré, R. P., Coulthard, Vaughan, Nerode, Anil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lakhnech, Yassine, editor, and Yovine, Sergio, editor

Published
2004
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results