Spatio-temporal correlations can drastically change the response of a MAPK pathway (2009)
Takahashi, Koichi, Tanase-Nicola, Sorin, Wolde, Pieter Rein Ten
Multisite covalent modification of proteins is omnipresent in eukaryotic cells. A well-known example is the mitogen-activated protein kinase (MAPK) cascade, where in each layer of the cascade a...
Takahashi, Koichi, Mima, Tatsuo
Abstract Background Radioisotope (RI) cisternography is considered to be the most important examination for the final diagnosis of intracranial hypotension, typically indicating cerebrospinal fluid...
The E-Cell Project and Challenges in Computational Systems Biology (2008)
K. Takahashi, Jan Meinke, Ipan Mohanty, Olav Zimmermann (editors, Koichi Takahashi
Permission to make digital or hard copies of portions of this work for personal or classroom use is granted provided that the copies are not made or distributed for profit or commercial advantage and...
Primary Succession Following Deglaciation at Koryto Glacier Valley, Kamchatka (2008)
Jiri Dolezal, Kosuke Homma, Koichi Takahashi, Marina P. Vyatkina, Valentine Yakubov, Valentina P. Vetrova, ...
We studied the course of primary succession following deglaciation and the convergence/divergence of plant community development with respect to topographic factors at Koryto Glacier Valley on...
MEMBERSHIPS AND EXPERIENCES Founding Steering Committee Member, The E-Cell Project. (2008)
technological areas relevant to cell modeling and simulation, and include effects of non-idealistic nature of intracellular media on signaling pathways,single cell measurement techniques such as...
The University of Tokyo. MLAT: Modal Logic Abstraction Tool (2008)
Toshifusa Sekizawa, Yoshinori Tanabe, Yoshifumi Yuasa, Koichi Takahashi, Toshifusa Sekizawa, Yoshinori Tanabe, ...
Verification tools based on abstraction technique have been developed, e.g., SLAM [1] and BLAST [2]. However, it is still difficult to analyze properties relating to heap manipulation. We present the...
Ishii, Hiroaki T., Kobayashi, Tsuyoshi, Uemura, Shigeru, Takahashi, Koichi, Hanba, Yuko T., Sumida, Akihiro, ...
We investigated how removal of understory dwarf bamboo (Sasa kurilensis Makino et Shibata) affected growth and water-use of young Betula ermanii Cham. trees in a secondary forest in northern Japan....
Takahashi, Koichi, Lechowicz, Martin J.
Background and Aims Acer saccharum and Fagus grandifolia are among the most dominant late-successional tree species in North America. The influence of sapling growth responses to canopy gaps on the...
Groupoid of Equational Proofs (2007)
Yoshiki Kinoshita, Koichi Takahashi
h\Omega; V; E i induces a graph GP of terms and equations, while proof figures in P induces an\Omega1712 AP on groupoids. Although the construction of AP is quite syntactic, it is not free over G P....
Discovery and Deduction (2007)
Masami Hagiya, Koichi Takahashi
Abstract. Deduction is usually considered to be the opposite of induction. However, deduction and induction can be related in many ways. In this paper, two endeavors that try to relate discovery...
Koichi Takahashi, Masami Hagiya
Model checking, which is a framework for automatically verifying a system by enumerating its entire state space, always faces the problem of state space explosion. Although abstract model checking is...
Verification of Parallel Garbage Collection by Abstract Model Checking (Extended Abstract) (2007)
Masami Hagiya, Masami Hagiya (corresponding, Koichi Takahashi
By abstract model checking, we verified several algorithms for parallel garbage collection with a single abstraction mapping. An abstract heap was defined as a set of abstract cells. In order to...
Notes on the Bisimulation Relation of Process Graphs (2007)
Koichi Takahashi, Satoru Tomura, Kokichi Futatsugi
JBNs%7%9%F%`$N>uBVA+0\$rI=$9%i%Y%kIU$-%0%i%U$r%W%m %;%9%0%i%U$H8F$V!#%W%m%;%9%0%i%U$N%N!<%I$O!"%7%9%F%` $N>uBV$rI=$9!#%i%Y%kIU$-%(%C%8$,>uBV$NA+0\$rI=$9!#%i...
Yoshiki Kinoshita, Koichi Takahashi
We introduce a proof method for safety properties in the setting of refinement of imperative programs `a la Hoare-He-Sanders and Kinoshita-Power. In order to show that the safety property of the...
%H%i%s%I6u4V%b%G%k$H$NHf3S!&8!F$$r9T$&!# 1 Framework (2007)
Koichi Takahashi, Yozo Toda, Masami Hagiya
A state of the system (entire network) is characterized by the set M of messages that have been sent over the network and the set S of principal states. An element of S is a principal-state pair...
Performance Evaluation of Next Generation Free-Space Optical Communication System (2007)
KAZAURA, Kamugisha, OMAE, Kazunori, SUZUKI, Toshiji, MATSUMOTO, Mitsuji, MUTAFUNGWA, Edward, MURAKAMI, Tadaaki, ...
Free-space optical communication systems can provide high-speed, improved capacity, cost effective and easy to deploy wireless networks. Experimental investigation on the next generation free-space...
TAKAHASHI, KOICHI, RUSTANDI, AGUS
• Background and Aims Growth in trunk height in canopy openings is important for saplings. How saplings increase height growth in canopy openings may relate to crown architectural constraints....
TAKAHASHI, KOICHI, RUSTANDI, AGUS
• Background and Aims Growth in trunk height in canopy openings is important for saplings. How saplings increase height growth in canopy openings may relate to crown architectural constraints....
TAKAHASHI, Koichi, UEMURA, Shigeru, HARA, Toshihiko
Article
TAKAHASHI, Koichi, UEMURA, Shigeru, HARA, Toshihiko
Article
Formal Proof of Abstract Model Checking of Concurrent Garbage Collection (2002)
Koichi Takahashi, Masami Hagiya
Abstract model checking is a method to verify properties of a state transition system by system. If the employed abstraction relation satisfies certain conditions that guarantee the correctness of...
Climatic Factors Affecting the Growth of Larix cajanderi in the Kamchatka Peninsula, Russia (2001)
TAKAHASHI, Koichi, HOMMA, Kosuke, SHIRAIWA, Takayuki, VETROVA, P Valentina, HARA, Toshihiko
Article
Climatic Factors Affecting the Growth of Larix cajanderi in the Kamchatka Peninsula, Russia (2001)
TAKAHASHI, Koichi, HOMMA, Kosuke, SHIRAIWA, Takayuki, VETROVA, P Valentina, HARA, Toshihiko
Article
Proving as Editing HOL Tactics (1999)
Koichi Takahashi, Masami Hagiya
We introduce an Emacs interface for writing HOL proof scripts in SML based on the Computing-as-Editing paradigm. Tactics in a proof script are considered as constraints, and the process of...
Proving as Editing HOL Tactics (1999)
Koichi Takahashi, Masami Hagiya
We introduce an Emacs interface for writing HOL proof scripts in SML based on the Computing-asEditing paradigm. Tactics in a proof script are considered as constraints, and the process of interactive...
Formalization of Graph Search Algorithms and Its Applications (1998)
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
This paper describes a formalization of a class of fixed-point problems on graphs and its applications. This class captures several wellknown graph theoretical problems such as those of shortest path...
Crown architecture and growth rate of trunk height, trunk diameter and lateral branches of understorey trees (5–10m tall) were compared between two co-dominating conifers,Abies...
Rapid prototyping of LOTOS's behavioral expressions in OBJ (1990)
Koichi Takahashi, Kazuhito Ohmaki, Kokichi Futatsugi
We have written an operational semantics of the behavioral expressions of LOTOS using the algebraic specification language OBJ. LOTOS is an internationally standardized specification language for...
O GROUPS AND ANTIBIOTIC SENSITIVITY OF ESCHERICHIA COLI ISOLATED FROM DISEASED CHICKENS (1968)
TAKAHASHI, Koichi, MIURA, Shiro
By using Escherichia coli antisera from 45 different O groups, 157 (58.6%) of the 251 strains isolated, from diseased chickens, were classified into 17 O groups. The prevalent O groups found were O2...
Muratani, Tetsuro, Akasaka, Soichiro, Kobayashi, Tomoko, Yamada, Yoji, Inatomi, Hisato, Takahashi, Koichi, ...
We have previously reported that the Neisseria gonorrhoeae isolates from clinical failure cases treated with cefdinir and aztreonam, β-lactams exhibited high MICs. These resistant isolates were...
Tanaka, Masatoshi, Matsumoto, Tetsuro, Sakumoto, Misao, Takahashi, Koichi, Saika, Takeshi, Kabayashi, Intetsu, ...
Forty-two men with gonococcal urethritis were treated with an oral dosage of 200 mg of pazufloxacin, a new fluoroquinolone, three times daily for 3 days. Only 28 of the 42 men (66.7%) had negative...
Tsukamoto, Tatsuya, Ando, Toshio, Takahashi, Koichi, Omori, Takahiro, Watanabe, Hitoshi, Kokubun, Hisashi, ...
Although Petunia axillaris subsp. axillaris is described as a self-incompatible taxon, some of the natural populations we have identified in Uruguay are composed of both self-incompatible and...
Muratani, Tetsuro, Akasaka, Soichiro, Kobayashi, Tomoko, Yamada, Yoji, Inatomi, Hisato, Takahashi, Koichi, ...
We have previously reported that the Neisseria gonorrhoeae isolates from clinical failure cases treated with cefdinir and aztreonam, β-lactams exhibited high MICs. These resistant isolates were...
Tanaka, Masatoshi, Matsumoto, Tetsuro, Sakumoto, Misao, Takahashi, Koichi, Saika, Takeshi, Kabayashi, Intetsu, ...
Forty-two men with gonococcal urethritis were treated with an oral dosage of 200 mg of pazufloxacin, a new fluoroquinolone, three times daily for 3 days. Only 28 of the 42 men (66.7%) had negative...
Tsukamoto, Tatsuya, Ando, Toshio, Takahashi, Koichi, Omori, Takahiro, Watanabe, Hitoshi, Kokubun, Hisashi, ...
Although Petunia axillaris subsp. axillaris is described as a self-incompatible taxon, some of the natural populations we have identified in Uruguay are composed of both self-incompatible and...