Author: SRI International
-
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 the dissemination of control packets from each source of a multicast group.
-
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.
-
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.
-
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
-
Levers For Improving Mathematics Learning In High-Poverty High Schools
-
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 checker.