Mikio Yoshida

Learn More
We have developed genetic methods in zebrafish by using the Tol2 transposable element; namely, transgenesis, gene trapping, enhancer trapping and the Gal4FF-UAS system. Gene trap constructs contain a splice acceptor and the GFP or Gal4FF (a modified version of the yeast Gal4 transcription activator) gene, and enhancer trap constructs contain the zebrafish(More)
An ideal format to describe transcriptome would be its composition measured on the scale of absolute numbers of individual mRNAs per cell. It would help not only to precisely grasp the structure of the transcriptome but also to accelerate data exchange and integration. We conceived an idea of competitive PCR between genomic DNA and cDNA. Since the former(More)
Comprehensive analysis of protein-protein interactions is a challenging endeavor of functional proteomics and has been best explored in the budding yeast. The yeast protein interactome analysis was achieved first by using the yeast two-hybrid system in a proteome-wide scale and next by large-scale mass spectrometric analysis of affinity-purified protein(More)
MOTIVATION Since their initial development, integration and construction of databases for molecular-level data have progressed. Though biological molecules are related to each other and form a complex system, the information is stored in the vast archives of the literature or in diverse databases. There is no unified naming convention for biological object,(More)
Since their advent, interaction with computers has been a very fascinating field of research. Though, we have come a long way from turning knobs and punching cards to using keyboards and pointing devices, natural language interaction has not seen widespread use as a general means of interaction. The thesis of this paper is that some application fields,(More)
A method to represent first-order predicate logic (Horn clause logic) by a data-flow network is presented. Like a data-flow computer for a von Neumann program, the proposed network explicitly represents the logical structure of a declarative program by unlabeled edges and operation nodes. In the deduction, the network first propagates symbolic tokens to(More)
In this paper, a novel design and implementation of a geographical observation system based on P2P agents is described. We propose sensor agent architecture to realize efficient and real-time notifications of sensor information. In this architecture, sensors act as agents and send updated notification messages to the observer agents which satisfy specified(More)
A method to represent first-order predicate logic (Horn clause logic) by a data-flow network is presented. Like a data-flow computer for a von Neumann program, the proposed network explicitly represents the logical structure of a declarative program by unlabeled edges and operation nodes. In the deduction, the network first propagates symbolic tokens to(More)
We consider an SLA (Service Level Agreement) committed between two parties to use the guarantee of QoS provided by a QoS Enabled Network (QEN). QEN can provide guarantee of QoS because a Bandwidth Broker (BB) manages its resources based on a policy. The IETF and the DMTF have done extensive work in this field and have proposed a policy framework in order to(More)
The formal semantics of a given Horn sentence is usually defined as a set of ground atoms, which is really the minimal Herbrand interpretation of the Horn sentence, by both model-theoretic and fixpoint approaches. In the present paper, we propose another denotational semantics of a Horn sentence, denoting the set of substitutions with which atoms are(More)