All Seminars

Max-stable Random Sketches: Estimation of Distances, Norms and Dominance Norms

Interactive Hatching and Stippling by Example

Sublinear Algorithms for Compressed Sensing

Rethinking State, Action, and Reward in Reinforcement Learning

Reasoning about Rationality and Beliefs

Reflections on Virtual Acoustics – Pun Intended

ARTS: Available, Robust and Trustworthy Software

Quartermaster: A Resource Utility System

Seaweed: Distributed Scalable Query Optimization

Games, Planning, Categorial Grammars, and Control of Discrete Event Systems

Large-scale phylogenetic reconstruction and the Tree of Life

Agent-Based Systems for Coordinating Activities

Dual Photography

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance, by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus.

Kernel-Based Tracking of Geometric Templates

Patents, and Their Importance to Computer Engineers

Gowers Uniformity, influence of variables, and PCPs

Designing NICs in CMT Environment

Crossbow – Network stack virtualization & Resource control

An Agent-Based Model of Language Acquisition and Evolution

A Routing Control Platform for IP Networks

Computational and Empirical Explorations of Fast, Complex Cognition: Interactive Skill, Language Processing, and Humor Perception

On the Complexity of Numerical Analysis

Bots and Botnets – The Automation of Computer Network Attack

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance by Jonathan L. Bredin, Erik D. Demaine, MohammadTaghi Hajiaghayi and Daniela Rus

Fast Multilevel Logic Optimization using Local Transformations

The Cognitive Architecture Approach to AI Research

Shilling Recommender Systems for Fun and Profit

The search for a quantum algorithm for Graph Isomorphism

Reading group: Synthesis, Verification and Test

Empirical Game-Theoretic Analysis for Practical Strategic Reasoning

FRAIG: A new datastructure for formal verification and circuit synthesis

AI Seminar

Malleable Network Processors

Transitional Pervasive Computing – Identifying the opportunities and challenges for seamless mobility

Physical modeling, inverse scattering, & applications of Optical Coherence Tomography, Nonlinear Raman Microscopy, and Near-Field Microscopy

Liberating Threads from Sequential Programs

The Information Theory of Sleeping Sensors and Idle Servers

Quadratic Lower Bounds on Matrix Rigidity

A Geometric Perspective on Machine Learning

Diamond: A System for Brute-force Interactive Search

Adding Preferences to Temporal Constraint Satisfaction Problems

Probabilistic Techniques for Mobile Robot Mapping and Exploration

Query Processing for Large-Scale Brokering

Program Analysis with Binary Decision Diagrams

New Notions of Security

Secure content distribution using untrusted servers

Managing Confidentiality for Exchanged Data

Checkpointed Processor Architecture

Preserving privacy of digital information

New Algorithms and Insights for Routing Problems

Hardware and Software Design for 10 Gigabit Network Servers

Linear Programming and Arrangements

Automatically Checking the Correctness of Program Analyses and

Embedded Streaming Multimedia Computation with the RSVP(TM) Architecture

Learning to Walk by Actuating a Passive Dynamic Walker

Incentive Mechanisms for Anonymous Communication

Context Awareness without Privacy Destruction

Random Interpretation

Hardware Acceleration and associated Algorithms for Packet searches

Robots that Cover, Climb, and SLAM!

Where Microprocessor Technology is Taking Us Next