In this paper we present a synthesis method that utilizes timing constraints to generate timed asynchronous circuits. By unfolding the cyclic graph specification of an asynchronous circuit into an infinite acyclic graph, we are able to use efficient algorithms to analyze the given timing constraints. We derive a sufficient condition for the removal of redundancy in the specification. Based on t...

Phosphoribosylpyrophosphate synthases (PRS; EC 2.7.6.1) are enzymes that are of central importance in several metabolic pathways in all cells. The sugar cane PRS enzyme contains 328 amino acids with a molecular weight of 36.6 kDa and represents the first plant PRS to be crystallized, as well as the first phosphate-independent PRS to be studied in molecular detail. Sugar cane PRS was overexpress...

This paper describes research concerned with automating the monitoring and control of spacecraft systems In particular the pa per examines the application of SRI s Proce dural Reasoning System PRS to the han dling of malfunctions in the Reaction Con trol System RCS of NASA s space shut tle Unlike traditional monitoring and con trol systems PRS is able to reason about and perform complex tasks i...

This paper describes research concerned with automating the monitoring and control of spacecraft systems. In particular, the paper examines the application of SRI's Procedural Reasoning System (PRS) to the handling of malfunctions in the Reaction Control System (RCS) of NASA's space shuttle. Unlike traditional monitoring and control systems, PRS is able to reason about and perform complex tasks...

Recommender systems for e-learning demand specific pedagogy-oriented and hybrid recommendation strategies. Current systems are often based on time-consuming, top down information provisioning combined with intensive data-mining collaborative filtering approaches. However, such systems do not seem appropriate for Learning Networks where distributed information can often not be identified beforeh...

Scale-out datacenter applications are of enormous commercial interest, yet they are frustratingly hard to build. A common design pattern is to locate most of the application logic in a middle tier of soft-state servers and to provide storage using a separate backend system. The Partitioning and Recovery Service (PRS) is an infrastructure service that makes it easier to build these middle tier a...

Lepidopteran insects mainly rely on sex pheromones to complete sexual communications. Pheromone receptors (PRs) are expressed the olfactory receptor neurons (ORNs) of sensilla trichodea and play an essential role in communication. Despite extensive investigations into mechanisms peripheral recognition Lepidoptera, knowledge about these L. sticticalis remains limited. In this study, five candida...