We describe Razor, a planning-based information-gathering agent that assists users by automatically determining which Internet information sites are relevant to their query, accessing those sites in parallel, and integrating the results. Razor uses a disjunctive graphbased plan representation. It then uses a novel and powerful form of local completeness reasoning in order to transform those pla...

Sequential control flow forms the backbone of any procedural program. Just as common function, data, and structure in a C++ program can be factored out using functions, classes, and templates, common control flow schemas can also be named and abstracted. One such recurring schema, or programming cliché, is the embracing or bracketing of a sequence by a pair of actions, such as resource acquisit...

The digital economy poses existential threats to—and game-changing opportunities for—companies that were successful in the pre-digital economy. What will distinguish those companies that successfully transform from those that become historical footnotes? This is the question a group of six researchers and consultants from Boston Consulting Group set out to examine. The team conducted in-depth i...

BACKGROUND In recent years Galaxy has become a popular workflow management system in bioinformatics, due to its ease of installation, use and extension. The availability of Semantic Web-oriented tools in Galaxy, however, is limited. This is also the case for Semantic Web Services such as those provided by the SADI project, i.e. services that consume and produce RDF. Here we present SADI-Galaxy,...

The most costly aspect of gathering information over the Internet is that of transferring data over the network to answer the user's query. We make two contributions in this paper that alleviate this problem. First, we present an algorithm for reducing the number of information sources in an information gathering (IG) plan by reasoning with localized closed world (LCW) statements. In contrast t...

Senescence is a permanent form of cell cycle arrest that limits the proliferation of damaged cells and may contribute to tumor suppression and aging. We recently demonstrated that some senescent cell types undergo a dramatic changes in chromatin organization that are dependent on the retinoblastoma protein and are associated with the stable repression of some E2F target genes. Here we how these...

Inductive logic programming systems usually send large numbers of queries to a database. The lattice structure from which these queries are typically selected causes many of these queries to be highly similar. As a consequence, independent execution of all queries may involve a lot of redundant computation. We propose a mechanism for executing a hierarchically structured set of queries (a \quer...