Robert H. Sloan

Richard Warner

IEEE Secur. Priv., 2018

A Biology-themed Introductory CS Course at a Large, Diverse Public University.

[BibT_eX]

[DOI]

Tanya Y. Berger-Wolf

Boris Igic

Cynthia Bagier Taylor

Rachel Poretsky

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017

Hydras: Directed hypergraphs and Horn formulas.

[BibT_eX]

[DOI]

Despina Stasi

Theor. Comput. Sci., 2017

Measuring an artificial intelligence system's performance on a Verbal IQ test for young children.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2017

Initial Experiences with a CS + Law Introduction to Computer Science (CS 1).

[BibT_eX]

[DOI]

Cynthia Bagier Taylor

Richard Warner

Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

2015

Who is watching you eat?: a noir preferences thriller.

[BibT_eX]

[DOI]

Nicholas Mattei

AI Matters, 2015

2014

Preface to the special issue.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

Who is Watching You Eat?

[BibT_eX]

[DOI]

Nicholas Mattei

Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, 2014

2013

Verbal IQ of a Four-Year Old Achieved by an AI System.

[BibT_eX]

[DOI]

Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

Unauthorized Access - The Crisis in Online Privacy and Security.

[BibT_eX]

[DOI]

Richard Warner

CRC Press, ISBN: 978-1-43-983013-0, 2013

2012

On multiple-instance learning of halfspaces.

[BibT_eX]

[DOI]

Dimitrios I. Diochnos

Inf. Process. Lett., 2012

Random Horn Formulas and Propagation Connectivity for Directed Hypergraphs.

[BibT_eX]

[DOI]

Despina Stasi

Discret. Math. Theor. Comput. Sci., 2012

Hydra formulas and directed hypergraphs: A preliminary report.

[BibT_eX]

[DOI]

Despina Stasi

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2012

An Approach to Evaluate AI Commonsense Reasoning Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

2011

Horn Belief Contraction: Remainders, Envelopes and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Horn Upper Bounds and Renaming.

[BibT_eX]

[DOI]

Marina Langlois

J. Satisf. Boolean Model. Comput., 2010

Reinforcement learning via approximation of the Q-function.

[BibT_eX]

[DOI]

Marina Langlois

J. Exp. Theor. Artif. Intell., 2010

Learning Boolean Functions with Queries.

[BibT_eX]

[DOI]

Proceedings of the Boolean Models and Methods in Mathematics, 2010

2009

Combinatorial Problems for Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Graph Theory, 2009

2008

On k-Term DNF with the Largest Number of Prime Implicants.

[BibT_eX]

[DOI]

Balázs Szörényi

SIAM J. Discret. Math., 2008

Projective DNF formulae and their revision.

[BibT_eX]

[DOI]

Balázs Szörényi

Discret. Appl. Math., 2008

CS 0.5: a better approach to introductory computer science for majors.

[BibT_eX]

[DOI]

Patrick Troy

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Curriculum update from the ACM education board: CS2008 and a report on masters degrees.

[BibT_eX]

[DOI]

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Horn Complements: Towards Horn-to-Horn Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Revising threshold functions.

[BibT_eX]

[DOI]

Balázs Szörényi

Theor. Comput. Sci., 2007

The joys of being an NSF program director.

[BibT_eX]

[DOI]

SIGACT News, 2007

The inverse protein folding problem on 2D and 3D lattices.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2007

The computing ontology project: the computing education application.

[BibT_eX]

[DOI]

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

An initiative to attract students to computing.

[BibT_eX]

[DOI]

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006

On set systems with a threshold property.

[BibT_eX]

[DOI]

Discret. Math., 2006

Computing Curricula 2005: The Overview Report.

[BibT_eX]

[DOI]

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

A comprehensive representation of the computing and information disciplines.

[BibT_eX]

[DOI]

Lillian N. Cassel

Andrew D. McGettrick

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

The Complexity of Discretionary Access Control.

[BibT_eX]

[DOI]

Stephen Dranger

Jon A. Solworth

Proceedings of the Advances in Information and Computer Security, 2006

Horn Upper Bounds of Random 3-CNF: A Computational Study.

[BibT_eX]

[DOI]

Marina Langlois

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

2005

A synthesis of computing concepts.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2005

New Horn Revision Algorithms.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2005

Special issue on computational learning theory.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2005

A synthesis and ontology of all of computing.

[BibT_eX]

[DOI]

Lillian N. Cassel

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Reinforcement Learning and Function Approximation.

[BibT_eX]

[DOI]

Marina Irodova

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

2004

Theory revision with queries: Horn, read-once, and parity formulas.

[BibT_eX]

[DOI]

Artif. Intell., 2004

A Layered Design of Discretionary Access Controls with Decidable Safety Properties.

[BibT_eX]

[DOI]

Jon A. Solworth

Proceedings of the 2004 IEEE Symposium on Security and Privacy (S&P 2004), 2004

Computing curricula 2004: the overview project.

[BibT_eX]

[DOI]

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Security Property Based Administrative Controls.

[BibT_eX]

[DOI]

Jon A. Solworth

Proceedings of the Computer Security, 2004

The Protein Sequence Design Problem in Canonical Model on 2D and 3D Lattices.

[BibT_eX]

[DOI]

Proceedings of the Combinatorial Pattern Matching, 15th Annual Symposium, 2004

New Revision Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 15th International Conference, 2004

2003

Computer engineering computing curricula.

[BibT_eX]

[DOI]

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

2002

Examining Smart-Card Security under the Threat of Power Analysis Attacks.

[BibT_eX]

[DOI]

Thomas S. Messerges

Ezzy A. Dabbish

IEEE Trans. Computers, 2002

NSF report: theory of computing program.

[BibT_eX]

[DOI]

SIGACT News, 2002

Theory Revision with Queries: DNF Formulas.

[BibT_eX]

[DOI]

Mach. Learn., 2002

Computing Curricula 2001 implementing the recommendations.

[BibT_eX]

[DOI]

Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002

2001

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2001

2000

More theory revision with queries (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000

Improved Algorithms for Theory Revision with Queries.

[BibT_eX]

Proceedings of the Thirteenth Annual Conference on Computational Learning Theory (COLT 2000), June 28, 2000

The Complexity of Model Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

Curriculum 2001: bringing the future to the classroom.

[BibT_eX]

[DOI]

Pradip K. Srimani

Proceedings of the Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, 1999

On Theory Revision with Queries.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Annual Conference on Computational Learning Theory, 1999

Power Analysis Attacks of Modular Exponentiation in Smartcards.

[BibT_eX]

[DOI]

Thomas S. Messerges

Ezzy A. Dabbish

Proceedings of the Cryptographic Hardware and Embedded Systems, 1999

1998

Towards a Theory of Cost Management for Digital Libraries and Electronic Commerce.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1998

On Frequent Sets of Boolean Matrices.

[BibT_eX]

[DOI]

Ken Takata

Ann. Math. Artif. Intell., 1998

1997

Malicious Omissions and Errors in Answers to Membership Queries.

[BibT_eX]

[DOI]

Mach. Learn., 1997

Stubborn Sets for Real-Time Petri Nets.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1997

Learning from Incomplete Boundary Queries Using Split Graphs and Hypergraphs.

[BibT_eX]

[DOI]

Proceedings of the Computational Learning Theory, Third European Conference, 1997

Learning Logic Programs by Using the Product Homomorphism Method.

[BibT_eX]

[DOI]

Tamás Horváth

Proceedings of the Tenth Annual Conference on Computational Learning Theory, 1997

1996

Reduction Rules for Time Petri Nets.

[BibT_eX]

[DOI]

Acta Informatica, 1996

Learning Logic Programs with Random Classification Noise.

[BibT_eX]

[DOI]

Tamás Horváth

Proceedings of the Inductive Logic Programming, 6th International Workshop, 1996

1995

Four Types of Noise in Data for PAC Learning.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Can PAC Learning Algorithms Tolerate Random Attribute Noise?

[BibT_eX]

[DOI]

Sally A. Goldman

Algorithmica, 1995

1994

A Formal Model of Hierarchical Concept Learning

[BibT_eX]

[DOI]

Inf. Comput., October, 1994

The Power of Self-Directed Learning.

[BibT_eX]

[DOI]

Sally A. Goldman

Mach. Learn., 1994

Divergence Caching in Client Server Architectures.

[BibT_eX]

[DOI]

Yixiu Huang

Ouri Wolfson

Proceedings of the Third International Conference on Parallel and Distributed Information Systems (PDIS 94), 1994

Analysis of Real-Time Programs with Simple Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Learning with Queries but Incomplete Information (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual ACM Conference on Computational Learning Theory, 1994

1993

On Choosing between Experimenting and Thinking when Learning

[BibT_eX]

[DOI]

Inf. Comput., September, 1993

A Petri-Net -Based Approach to Real-Time Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

1992

Learning Integer Lattices.

[BibT_eX]

[DOI]

David P. Helmbold

Manfred K. Warmuth

SIAM J. Comput., 1992

Corrigendum to Types of Noise in Data for Concept Learning.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, 1992

1990

Learning Nested Differences of Intersection-Closed Concept Classes.

[BibT_eX]

[DOI]

David P. Helmbold

Manfred K. Warmuth

Mach. Learn., 1990

1989

Computational learning theory: new models and algorithms.

[BibT_eX]

[DOI]

PhD thesis, 1989

1988

A New Model for Inductive Inference.

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Types of Noise in Data for Concept Learning.

[BibT_eX]

[DOI]

Proceedings of the First Annual Workshop on Computational Learning Theory, 1988

Learning Complicated Concepts Reliably and Usefully.

[BibT_eX]

[DOI]