We propose a new formal semantics of active databases based on a transaction rewriting technique in the context of the relational model. A user deened transaction, which is viewed here as a sequence of atomic database updates forming a semantic unit, is translated by means of active rules into induced one(s). Those transactions embody active rule semantics which can be either immediate or defer...

One of the central problems in modern biology is to identify the complete set of interactions among the proteins in a cell. The structural interaction of proteins and their domains in networks is one of the most basic molecular mechanisms for biological cells. Structural evidence indicates that, interacting pairs of close homologs usually interact in the same way. In this article, we make use o...

DomCut is a program to predict inter-domain linker regions solely by amino acid sequence information. The prediction is made by using linker index deduced from a data set of domain/linker segments. The linker preference profile, which is the averaged linker index along a sequence, can be visualized in the graphical interface.

Today, we witness a merger between Web services and grid technology towards an open grid service infrastructure that especially satisfies the demands of complex computations on huge volumes of data. Such applications are specified as combinations of services and are executed as workflow processes. While transactional support was neglected for (business) workflows, in the grid domain we observe ...

Existing parallel algorithms for association rule mining have a large inter-site communication cost or require a large amount of space to maintain the local support counts of a large number of candidate sets. This study proposes a de-clustering approach for distributed architectures, which eliminates the inter-site communication cost, for most of the influential association rule mining algorith...

In this study we investigated the contribution of inter-response interference to the sequencing deficit in frontal lobe lesions. We examined inter-response interference in choice sequences through the reduction in inter-response interval produced by stimulus preview when compared with sequences performed without preview. If frontal lobe lesions result in a stronger inter-response interference, ...

Transaction processing is a mission critical enterprise application that runs on high-end servers. Traditionally, transaction processing systems have been designed for uniform coreto-core communication latencies. In the past decade, with the emergence of multisocket multicores, for the first timewe have Islands, i.e., groups of cores that communicate fast among themselves and slower with other ...

Introduction: Indian Railways at present does not use any automated system for real-time online monitoring of the performance of bogies and wheel-sets. Bogies are checked only during TXR examination for loose or broken parts. Wheel sets are changed when they reach the condemning limit. Problems like skew ness in bogie or asymmetric wheel-wear are attended to during preventive maintenance schedu...

This paper investigates optimal communication mechanisms with a two-dimensional policy space and no monetary transfers. Contrary to the one-dimensional setting, when a single principal controls two activities undertaken by his agent (cooperative design), the optimal communication mechanism never exhibits any pooling and the agent’s ideal policies are never chosen. However, when the conflicts of...

This work presents STR, a geo-distributed, partially replicated transactional data store, which leverages on novel speculative techniques to mask the inter-replica synchronization latency. The theoretical foundations on top of which we built STR is a novel consistency criterion, which we call SPeculative Snapshot Isolation (SPSI). SPSI extends the well-known Snapshot Isolation semantics in an i...