Karsten Wolf @ Carl Adam Petri Memorial Symposium
Academic Course: 07 Introduction to the Formal Engineering of Autonomic Systems
Towards Systematically Engineering Ensembles - Martin Wirsing
Learning and Remapping in the Sensory Motor System F.A. Mussa-Ivaldi Northwestern University.
Verified Systems by Composition from Verified Components Fei Xie and James C. Browne.
Presentation Slides - Theory Generation for Security Protocols
Is DITA Simple, Complex or Too Complex
Design for Social Change
1 CSC 550: Introduction to Artificial Intelligence Fall 2004 Knowledge representation associationist knowledge semantic nets, conceptual dependencies.
Distributed Planning in Hierarchical Factored MDPs Carlos Guestrin Stanford University Geoffrey Gordon Carnegie Mellon University.
Software Security David Wagner University of California at Berkeley.
1 Anna Yershova Dept. of Computer Science, Duke University October 20, 2009 Anna Yershova NIFP Workshop, Rice University Sampling and Searching Methods.