Publications
-
Optimal scaling of multicommodity flows in wireless ad hoc networks: beyond the Gupta-Kumar barrier
We establish a tight max-ow min-cut theorem for multi-commodity routing in random geometric graphs.
-
Action Video Retrieval Based on Atomic Action Vocabulary
We propose an efficient action retrieval system that is based on a novel action representation and an effective video matching method.
-
Single Aerosol Particle Selection and Capture Using Laser Scattering and Fluorescence
A dual wavelength UV-LIF fluorescence system has been shown to provide significant discrimination between biological and ambient as well as differentiation among classes of biological particles.
-
Verified Software: Theories, Tools, Experiments
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.
-
Self-Organized Silver Nanoparticles for Three-Dimensional Plasmonic Crystals
We demonstrate here the spontaneous self-assembly of shaped silver nanoparticles into three-dimensional plasmonic crystals that display a frequency-selective response in the visible wavelengths.
-
Vision-Based Perception for Autonomous Urban Navigation
We describe a low-cost vision-based sensing and positioning system that enables intelligent vehicles of the future to autonomously drive in an urban environment with traffic.
-
EcoCyc: a Comprehensive View of Escherichia Coli Biology
Recent EcoCyc developments include a new initiative to represent and curate all types of E. coli regulatory processes such as attenuation and regulation by small RNAs.
-
Special Issue on Video Surveillance Research in Industry and Academia
-
The MILS Component Integration Approach to Secure Information Sharing
-
Variants in Nicotinic Receptors and Risk for Nicotine Dependence
The purpose of this study was to replicate these findings in an independent data set and more thoroughly investigate the role of genetic variation in the cluster of physically linked…
-
Trust and Automation in Verification Tools
We argue that trust need not be achieved at the expense of automation, and outline a lightweight approach where the results of untrusted verifiers are checked by a trusted offline…
-
Interpro: the Integrative Protein Signature Database
The InterPro database integrates together predictive models or ‘signatures’ representing protein domains, families and functional sites from multiple, diverse source databases