1383149
An Artificial Chemistry for Networking
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distributed case of network protocol execution for which we developed an online artificial chemistry. In this chemistry, data packets become molecules which can interact with each other, yielding computation networks comparable to biological metabolisms. Using this execution support, we show how to compute an average over arbitrary networking topologies and relate it to traditional forms of implementing load balancing. Our long-term interest lies in the robust implementation, operation and evolution of network protocols, for which artificial chemistries provide a promising basis.
2586073
Robustness to Code and Data Deletion in Autocatalytic Quines
Software systems nowadays are becoming increasingly complex and vulnerable to all sorts of failures and attacks. There is a rising need for robust self-repairing systems able to restore full functionality in the face of internal and external perturbations, including those that affect their own code base. However, it is difficult to achieve code self-repair with conventional programming models. 
 
We propose and demonstrate a solution to this problem based on self-replicating programs in an artificial chemistry. In this model, execution proceeds by chemical reactions that modify virtual molecules carrying code and data. Self-repair is achieved by what we call autocatalytic quines : programs that permanently reproduce their own code base. The concentration of instructions reflects the health of the system, and is kept stable by the instructions themselves. We show how the chemistry of such programs enables them to withstand arbitrary amounts of random code and data deletion, without affecting the results of their computations.
9042273
Tactic-Based Optimized Compilation of Functional Programs
Within a framework of correct code-generation from HOL-specifications, we present a particular instance concerned with the optimized compilation of a lazy language (called MiniHaskell) to a strict language (called MiniML). 
 
Both languages are defined as shallow embeddings into denotational semantics based on Scott's cpo's, leading to a derivation of the corresponding operational semantics in order to cross-check the basic definitions. 
 
On this basis, translation rules from one language to the other were formally derived in Isabelle/HOL. Particular emphasis is put on the optimized compilation of function applications leading to the side-calculi inferring e.g. strictness of functions. 
 
The derived rules were grouped and set-up as an instance of our generic, tactic-based translator for specifications to code.
15047002
Knowledge Integration for Description Logics
Description logic reasoners are able to detect incoherences (such as logical inconsistency and concept unsatisfiability) in knowledge bases, but provide little support for resolving them. We propose to recast techniques for propositional inconsistency management into the description logic setting. We show that the additional structure afforded by description logic statements can be used to refine these techniques. Our focus in this paper is on the formal semantics for such techniques, although we do provide high-level decision procedures for the knowledge integration strategies discussed.
747572
Multimedia synchronization techniques: experiences based on different system structures
Introduction "Multimedia synchronization" is needed to ensure a temporal ordering of events in multimedi a systems . There are two parts to this problem : the definition of temporal relationships among audio , video, and other data ; and the delivery of the data in accordance with these relationships . It i s important to distinguish between liveand synthetic-synchronization . Live-synch, deals with th e presentation of information in the same order as it was originally collected . For synthetic-synch . various pieces of information must be properly ordered and synchronized in time . Based on th e experiences in DiME and HeiTS, we document the implications of using a hybrid or a unified syste m structures on the required techniques for implementing synchronization .
1613464
Merging Epistemic States
Intelligent agents are often faced with the problem of trying to merge possibly conflicting pieces of information obtained from different sources into a consistent view of the world. We propose a framework for the modelling of such merging operations with roots in the work of Spohn [14]. Unlike most approaches we focus on the merging of epistemic states, not knowledge bases. We construct a number of plausible merging operations and measure them against various properties that merging operations ought to satisfy. Finally, we discuss the connection between merging and the use of infobases [9], [10].
3125532
Structure-based design of potent CDK1 inhibitors derived from olomoucine
Cyclin-dependent kinase 1 (CDK1), an enzyme participating in the regulation of the cell cycle, constitutes a possible target in the search for new antitumor agents. Starting from the purine derivative olomoucine and following a structure-based approach, potent inhibitors of this enzyme were rapidly identified. The molecular modeling aspects of this work are described.