Public Talks
Choose Type
All of these talks are open to the public, and will provide some insight into various research activities here and at other institutions.
Choose Year
| August 2000 | ||
|---|---|---|
 | 10 | Force Plus Graphics Is Not Equal to Vision Plus Haptics: Towards Usable Haptic Environments Arthur Kirkpatrick, University of Oregon |
| June 2000 | ||
 | 29 | Network Traffic Characterization of TCP in Distributed Computational Grids Wu Feng, Los Alamos National Labs |
| 08 | Esoteric Graph Problems Andrzej Proskurowski, University of Oregon |
| 05 | Better than Brute Force Eugene Luks, University of Oregon |
| 01 | Types for Compiling Java and Running HOT Programs Valery Trifonov, Yale University |
| May 2000 | ||
| 25 | Supporting Multicast on the Internet Daniel Zappala, University of Oregon |
| 11 | Building Adaptable Programs in HOT Languages: A Comparison of Polymorphism, Modules, and Objects David McQueen, Bell Labs Research |
| 04 | Group Communication in Networks Art Farley, University of Oregon |
| April 2000 | ||
| 20 | 20:20 Foresight or the vexed problem of Scenario-based Requirements Validation Alistiar Sutcliffe, Centre for HCI Design, Department of Computation, University of Manchester Institute of Science and Technology, Manchester, UK |
| 14 | Theorem proving strategies: a search-oriented taxonomy Maria Paola Bonacina, Department of Computer Science, University of Iowa |
| March 2000 | ||
| 30 | Type Theory and the TILT Compiler Christopher Stone, Department of Computer Science, Carnegie Mellon University |
| 28 | Towards Automated Verification of Safety Architectures Carsten Schuermann, Department of Computer Science, Carnegie Mellon University |
| 09 | Unexpected and Complex Behavior of Hierarchical, Multiresolution Cellular Automata Ross Kiester, USDA Forest Service, Corvallis, OR |
| 02 | A Preliminary Comparison of Proposed Topologies for Geodesic Discrete
Global Grid Systems Kevin Sahr, University of Oregon |
| February 2000 | ||
| 03 | Partial differential equations in interpretation of a class of
ophthalmological images Andrew P. Paplinski, Computer Science & Software Eng, Monash University, Melbourne, Australia |
| January 2000 | ||
| 27 | Resource Allocation Using Controls: A Feedback-Driven Proportion Allocator for Real-Rate Scheduling David Steere, Dept. of Computer Science and Engineering, Oregon Graduate Institute Molly Shor, Dept. of Electrical and Computer Engineering, Oregon State University |
 | 13 | A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software Kathleen Lindlan, University of Oregon |
| 13 | Yes/No Satisfiability: Close to the Edge of NP-Completeness Jan Kratochvil, Charles University, Prague |
| December 1999 | ||
| 02 | Animation for Arts and Design Ying Tan, Department of Fine and Applied Arts, University of Oregon |
| November 1999 | ||
| 18 | Current Research in Networks at the University of Oregon Virginia Lo, University of Oregon Andrzej Proskurowski, University of Oregon |
| 04 | Putting Operational Techniques to the Test: A Syntactic Theory for
Behavioral Verilog John Fiskio-Lasseter, University of Oregon |
| October 1999 | ||
| 28 | Formalization of the Notion of Algorithm Yuri Gurevich, Microsoft Research and University of Michigan |
| 14 | Divide-and-Conquer Bidirectional Search Richard Korf, University of California, Los Angeles |