Publications
-
Entity-based collaboration tools for intelligence analysis
We are interested to know if software tools can be designed that support collaboration even as they allow analysts to find documents and organize information (including evidence, schemas, and hypotheses).
-
An interest-driven approach to integrated unicast and multicast routing in MANETs
This paper introduces an integrated framework for multicast and unicast routing in mobile ad hoc networks (MANET) based on interest-defined mesh enclaves.
-
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.
-
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.