Logic programming provides a high-level view of programming, giving implementors a vast latitude in what techniques to research towards obtaining the best performance for logic programs. One of the holy grails of logic programming has been to design computational models that could be executed eeciently and would allow for both a reduction of the search space and for exploiting all the available...

In this issue of the Journal, Spellberg et al. [1] report that immunization with a recombinant protein (rAls3p-N) mixed with aluminum hydroxide gel (Alhydrogel) can protect mice from a lethal candidal infection. This is an extension of their original finding of protection resulting from this and related Als recombinant proteins when used with Freund’s adjuvant. From a purely immunologic perspec...

Logic programming provides a very high-level view of programming, which comes at the cost of some execution efficiency. Improving performance of logic programs is thus one of the holy grails of Prolog system implementations and a wide range of approaches have historically been taken towards this goal. Designing computational models that both exploit the available parallelism in a given applicat...

The search for natural NP-intermediate problems is one of the holy grails within computational complexity. Ladner’s original diagonalization technique for generating NP-intermediate problems, blowing holes, has a serious shortcoming: it creates problems with a highly artificial structure by arbitrarily removing certain problem instances. In this article we limit this problem by generalizing Lad...

Many of the objections to implementing Risk Management and acting upon risk results hinge on the subjectivity of the risk assessment system. This subjectivity makes it difficult to make risk assessments justifiable, repeatable, and comparable over an entire project, program, or organization. One cannot easily justify assigning a 30% likelihood to a risk occurring when others with more, the same...

Logic programming provides a high-level view of programming, giving implementors a vast latitude in what techniques to research towards obtaining the best performance for logic programs. One of the holy grails of logic programming has been to design computational models that could be executed eeciently and would allow for both a reduction of the search space and for exploiting all the available...

Automatic assessment of group processes in collaborative groups is one of the holy grails of the computer supported collaborative learning community. The conversation in collaborative work provides an important window into the inner workings of a group. In this paper we present work towards detecting where students are displaying “reasoning” in conversational speech and how others are building ...

Bayesian optimization techniques have been successfully applied to robotics, planning, sensor placement, recommendation, advertising, intelligent user interfaces and automatic algorithm configuration. Despite these successes, the approach is restricted to problems of moderate dimension, and several workshops on Bayesian optimization have identified its scaling to high-dimensions as one of the h...

Throughout the history of science, explaining the origins of breathing has been one of the holy grails of animal physiology. During the antiquity, Galen of Pergamon noted that gladiators and animals injured below the neck continued to breathe whereas those injured in the neck stopped. With time, more precise transection experiments narrowed down the brain areas necessary for breathing and in 18...

SUMMARY Metabolomic publications and databases use different database identifiers or even trivial names which disable queries across databases or between studies. The best way to annotate metabolites is by chemical structures, encoded by the International Chemical Identifier code (InChI) or InChIKey. We have implemented a web-based Chemical Translation Service that performs batch conversions of...