A structured organization of information is typically required by symbolic processing. On the other hand, most connectionist models assume that data are organized according to relatively poor structures, like arrays or sequences. The framework described in this paper is an attempt to unify adaptive models like artificial neural nets and belief nets for the problem of processing structured infor...

In living systems, the control of biological function occurs at the systematic, cellular and molecular levels. Such control mechanisms are often coupled with signal transductions that detect environmental changes and trigger the relevant components of the regulatory machinery, resulting in specific cellular responses. We considered that the diversity and evolution of signal transduction systems...

This paper is a contribution to the mathematical foundations of the theory of automata. We give a topological characterization of the transductions τ from a monoid M into a monoid N , such that if R is a recognizable subset of N , τ(R) is a recognizable subset of M . We impose two conditions on the monoids, which are fullfilled in all cases of practical interest: the monoids must be residually ...

We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quantifiers. These logics are refered to as the idempotent transduction logics and are defined using the programs of propositional dynamic logic including converse and tests. This is a nontrivial extension of the decidability of the pos...

In this paper, we investigate the problem of synthesizing computable functions infinite words over an alphabet (data $\omega$-words). The notion computability is defined through Turing machines with inputs which can produce corresponding outputs in limit. We use non-deterministic transducers equipped registers, extension register automata outputs, to describe specifications. Being non-determini...

Receptors on T and NK cells systematically propagate highly complex signaling cascades that direct immune effector functions, leading to protective immunity. While extensive studies have delineated hundreds of signaling events that take place upon receptor engagement, the precise molecular mechanism that differentially regulates the induction or repression of a unique effector function is yet t...

Information about taste signaling molecules is still insufficient to understand the mechanisms of taste signal transductions, while novel taste receptors have been found recently. There are two strategies to discover novel taste signaling related genes; one strategy is homology based cloning and another strategy is global gene screening. Homology based cloning has been mainly used to find out t...

MOTIVATION Biological processes in cells are properly performed by gene regulations, signal transductions and interactions between proteins. To understand such molecular networks, we propose a statistical method to estimate gene regulatory networks and protein-protein interaction networks simultaneously from DNA microarray data, protein-protein interaction data and other genome-wide data. RES...