Public Talks
Choose Type
All
Colloquium
Career Mentorship Colloquium
Directed Research Project
Area Exam
Dissertation Defense
Unless otherwise specified, all talks will take place in 220 Deschutes Hall (the CIS department colloquium room) at 3:30, with refreshments following the presentation. Send comments, ideas, and requests to Michel Kinsy.
Choose Year
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 | 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 | |
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 |