Tomoyuki Yamada

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 2

Top Topics

Decision Procedures

Classical Logic

Regularization Term

Top Venues

Publications

Katsuhiko Sano, Tomoyuki Yamada
Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic. TLLM (2022)
Takahiro Sawasaki, Katsuhiko Sano, Tomoyuki Yamada
Term-Sequence-Modal Logics. LORI (2019)
Tomoyuki Yamada
Logical dynamics of some speech acts that affect obligations and preferences. Synth. 165 (2) (2008)
Budrul Ahsan, Daisuke Kobayashi, Tomoyuki Yamada, Masahiro Kasahara, Shin Sasaki, Taro L. Saito, Yukinobu Nagayasu, Koichiro Doi, Yoichiro Nakatani, Wei Qu, Tomoko Jindo, Atsuko Shimada, Kiyoshi Naruse, Atsushi Toyoda, Yoko Kuroki, Asao Fujiyama, Takashi Sasaki, Atsushi Shimizu, Shuichi Asakawa, Nobuyoshi Shimizu, Shin-ichi Hashimoto, Jun Yang, Yongjun Lee, Kouji Matsushima, Sumio Sugano, Mitsuru Sakaizumi, Takanori Narita, Kazuko Ohishi, Shinobu Haga, Fumiko Ohta, Hisayo Nomoto, Keiko Nogata, Tomomi Morishita, Tomoko Endo, Tadasu Shin-I, Hiroyuki Takeda, Yuji Kohara, Shinichi Morishita
UTGB/medaka: genomic resource database for medaka biology. Nucleic Acids Res. 36 (Database-Issue) (2008)
Tomoyuki Yamada
Acts of Promising in Dynamified Deontic Logic. JSAI (2007)
Tomoyuki Yamada
Logical Dynamics of Commands and Obligations. JSAI (2006)
Tomoyuki Yamada, Haruhiko Soma, Shinichi Morishita
PrimerStation: a highly specific multiplex genomic PCR primer design server for the human genome. Nucleic Acids Res. 34 (Web-Server-Issue) (2006)
Tomoyuki Yamada
Acts of Commanding and Changing Obligations. CLIMA (2006)
Yuki Naito, Tomoyuki Yamada, Takahiro Matsumiya, Kumiko Ui-Tei, Kaoru Saigo, Shinichi Morishita
dsCheck: highly sensitive off-target search software for double-stranded RNA-mediated RNA interference. Nucleic Acids Res. 33 (Web-Server-Issue) (2005)
Yasuhiro Kasai, Shin-ichi Hashimoto, Tomoyuki Yamada, Jun Sese, Sumio Sugano, Kouji Matsushima, Shinichi Morishita
5'SAGE: 5'-end Serial Analysis of Gene Expression database. Nucleic Acids Res. 33 (Database-Issue) (2005)
Tomoyuki Yamada, Shinichi Morishita
Accelerated off-target search algorithm for siRNA. Bioinform. 21 (8) (2005)
Yuki Naito, Tomoyuki Yamada, Kumiko Ui-Tei, Shinichi Morishita, Kaoru Saigo
siDirect: highly effective, target-specific siRNA design software for mammalian RNA interference. Nucleic Acids Res. 32 (Web-Server-Issue) (2004)
Tomoyuki Yamada, Shinichi Morishita
Computing Highly Specific and Noise-tolerant Oligomers Efficiently. J. Bioinform. Comput. Biol. 2 (1) (2004)
Tomoyuki Yamada, Shinichi Morishita
Computing Highly Specific and Mismatch Tolerant Oligomers Efficiently. CSB (2003)
Toshihiko Honkura, Jun Ogasawara, Tomoyuki Yamada, Shinichi Morishita
The Gene Resource Locator: gene locus maps for transcriptome analysis. Nucleic Acids Res. 30 (1) (2002)
Tomoyuki Yamada, Toyohide Watanabe
Identification of Person Objects in Four-Scenes Comics of Japanese Newspapers. GREC (1999)