- Apr 10, Katrina Ray
- Title: Representing Oracle Turing Machines as Satisfiability Instances
[Abstract]
- May 1, Nazanin Maghaeri
- Title: Mesh or Multiple-Tree: A Comparative Study of Live P2P Streaming Approaches
[Abstract]
- May 15, Shad Stafford
- Title: Classifying Hosts Based on the Destination Address Distribution of their Outgoing Network Connections
[Abstract]
- May 22, Toby Ehrenkranz
- Title: On the State of Spoofing Prevention
[Abstract]
- Jun 12, Meeting cancelled due to conflict with Colloquim
- Jan 9, No forum meeting
- Jan 23, Tim Halverson
- Title: Towards a Flexible, Reusable Model for Predicting Eye Movements During Visual Search of Computer Screens: Investigating the Effects of Semantic and Perceptual Grouping
[Abstract] [Slides]
- Feb 13, Zebin Chen
- Title: Leverage Commonality at Model Level: Model Checking Smart Home Applications
[Abstract] [Slides]
- Feb 27, Xiangkui
- Title: Personalized Pedestrian Navigation: User Profile Assessment under PC-RE Framework
[Abstract] [Slides]
- March 06, Shan Shan Huang (Additional GRF Event)
- Title: cJ: Enhancing Java with Safe Type Conditions
[Abstract] [Slides]
- Mar 13, Adnan Salman
- Title: Computational Environment for the computational modeling of human head
[Abstract]
- Oct 24
- Nov 14, Paea LePendu
- Title: Toward Reference Reconciliation and Inconsistency in Ontology-based Data Integration
[Abstract] [Slides]
- Nov 28, Meeting cancelled due to conflict with a DRP
- May 9, Nathan Dunn
- Title: Extracting Neural Network Motifs for C. elegans chemotaxis
[Abstract]
- May 23, Amir Rasti
- Jan. 24, Li Li
- Title: Model-based automatic parallel performance diagnosis [Abstract]
- Feb. 14, Chris GauthierDickey
- Title: Using N-Trees for Scalable Event Ordering in Peer-to-Peer Games [Abstract]
- Feb. 28, Meeting cancelled due to conflict with CS colloquium
- March 14, Julian Catchen
- Title: ACOS: Automated Co-Ortholog Search [Abstract]
- Special time and place: Deschutes room 200 at 3pm.
- Oct. 11, Daniel Stutzbach
- Title: Characterizing Unstructured Overlay Topologies in Modern P2P File-Sharing Systems [Abstract]
- Oct. 25, Tom Bulatewicz
- Title: Support for Model Coupling: An Interface-based Approach [Abstract] [Slides]
- Nov. 8, Kevin Huck
- Title: PerfExplorer: A Performance Data Mining Framework For
Large-Scale Parallel Computing [Abstract]
- Nov. 22, Dayi Zhou
- Wave Scheduler: Scheduling for Faster Turnaround Time in Peer-based Desktop Grid Systems [Abstract]
- May. 24, Kevin Huck
- Title: Design and Implementation of a Parallel Performance Data Management Framework
[Abstract]
- May. 10, Xiaofang Zhang
- Title: Refine Code-Design Mapping with Flow Analysis
[Abstract]
- Apr. 26, Eric D. Wills
- Title: Evolutionary Locomotion Syntheses
[Abstract]
- Apr. 12, It was cancelled due to the conflict with another talk in
Colloquium
- March 8, Xun Kang
- Title: mSSL: Securely Sharing Data from a Server among Clients
[Abstract]
- Feb. 22, John Lassester
- Title: Specification and Solution of Multi-Source Data Flow Problems
[Abstract]
- Feb. 8, Peter Boothe
- Title: The Dynamics of Large Sparse Graphs
[Abstract]
- Jan. 25, Bryan Kolaczkowski
- Title: Finite mixture models for phylogenetic reconstruction
[Abstract]
- Jan. 11, Yuhong Liu
- Title: PopCorn: Placement of Point-of-Presence Applicationsin Open Peer-to-Peer
Environment
[Abstract]
- Nov. 23, Kai Li
- Title: Network flow based algorithm for topology simplification of
binary image volumes
[Abstract]
- Nov. 9, Aroon Nataraj
- Title: Charecterization of Congestion-Controlled Bandwidth
[Abstract]
- Oct. 26, Ishwinder Kaur
- Title: A comparison of LSA, WordNet and PMI-IR for
predicting user click behavior
[Abstract]
- May. 25, Zebin Chen
- Title: Building Frameworks with Formal Methods
[Abstract]
- May. 11, Meeting canceled due to conflict with CS
Colloquium
- Apr. 20, Shanyu Zhao and Yuhong Liu
- Title: Cheating in Peer-to-Peer Cycle Sharing Systems
[Abstract]
- Apr. 6, Max Skorodinsky
- Title: Adaptive Authentication in a Wired MANET:
Investigating the Environment of Hybrid Networks
[Abstract]
- Mar. 9, Meeting canceled due to conflict with CS
Colloquium
- Feb. 24, Tim Halverson
- Title: Experimentation and Modeling of Human-Computer Interaction
[Abstract]
- Feb. 10, Prof. Ginnie Lo
- Jan. 27, Daniel Stutzbach
- Title: Verifying Swarmed Data
[Abstract]
- Jan. 13, Eric Anderson
- Title: Policy Control for Peer-to-Peer Data Distribution
[Abstract]