Publications
-
Theoretical and experimental investigations of a poly-alkylated-thieno[3,2-b]thiophene semiconductor
Theoretical and experimental investigations were performed for the organic semiconductor poly(3,6-dialkylthieno[3,2-b]thiophene-co-thieno[3,2-b]thiophene); PATT.
-
Efficient flow-shop scheduling for large print shops with heavy-tail job size distributions
In this talk, we focus on the flexible flow-shop scheduling problem that arises in large print shops.
-
Indium incorporation on c-plane and m-plane InGaN surfaces
Investigations of the energetics of indium incorporation on m-plane c-plane InGaN surfaces were therefore performed.
-
Model-based diagnosis
Over the last 25 years, the Computer Science community and particularly the Artificial Intelligence community have developed a framework for system diagnosis, called Model-Based Diagnosis.
-
A unified information criterion for evaluating probe and test selection
In this paper, we formalize this intuition and propose an information criterion for evaluating and comparing measurement/action choices based on their information contribution.
-
Standardizing research methods for prognostics
In this paper, we provide a critical review of current research methods in PHM and contrast these methods with standard research approaches in a more established discipline (medicine).
-
A unified information criterion for evaluating probe and test selection
In the paper, we formalize this intuition and propose an information criterion for evaluating and comparing measurement/action choices based on their information contribution.
-
Scalable multicast routing in MANETs using sender-initiated multicast meshes
We present Hydra, the rst multicast routing protocol for MANETs that establishes a multicast routing structure approximating the set of source-rooted shortest-path trees from multicast sources to receivers, without requiring…
-
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.