Takashi Nakayama

20 papers B 1C 1Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Borrowable Fractional Ownership Types for Verification.
VMCAI (2)
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2023 J jnl
Borrowable Fractional Ownership Types for Verification.
CoRR
Takashi Nakayama, Yusuke Matsushita, Ken Sakayori, Ryosuke Sato, Naoki Kobayashi
2018 — conf
Mobility Optimization on Cyber Physical System via Multiple Object Tracking and Mathematical Programming.
IEEE BigData
Nozomi Hata, Takashi Nakayama, Akira Tanaka, Takashi Wakamatsu, Akihiro Yoshida, Nariaki Tateiwa, Yuri Nishikawa, Jun Ozawa, Katsuki Fujisawa
2015 — conf
Towards Serving "Delicious" Information within Its Freshness Date.
WWW (Companion Volume)
Hao Han, Takashi Nakayama, Junxia Guo, Keizo Oyama
2011 — conf
Automated Personal Course Scheduling Adaptive Spreading Activation Model.
ISNN (3)
Yukio Hori, Takashi Nakayama, Yoshiro Imai
2009 C conf
Design and Implementation of a Course Scheduling System Using Activation Spreading.
SNPD
Yukio Hori, Takashi Nakayama, Yoshiro Imai
2009 J jnl
First-principles study of band-gap reduction in GaN/GaSb superlattices.
Microelectron. J.
Masato Ishikawa, Takashi Nakayama
2006 J jnl
Alignment-Free Classification of G-Protein-Coupled Receptors Using Self-Organizing Maps.
J. Chem. Inf. Model.
Joji M. Otaki, Akihito Mori, Yoshimasa Itoh, Takashi Nakayama, Haruhiko Yamamoto
1999 J jnl
Computer-Assisted Thermal Analysis System Founded on Case-Based Reasoning.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama, Koichi Tanaka, Yuko Nishimoto
1995 J jnl
Building and structuring a large knowledge base for computer-assisted synthesis planning.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama
1995 J jnl
Low-power multimedia RISC.
IEEE Micro
Kouhei Nadehara, Ichiro Kuroda, Masayuki Daito, Takashi Nakayama
1994 J jnl
A 500 MHz, 32 bit, 0.4 μm CMOS RISC processor.
IEEE J. Solid State Circuits
Kazumasa Suzuki, Masakazu Yamashina, Takashi Nakayama, Masanori Izumikawa, Masahiro Nomura, Hiroyuki Igura, Hideki Heiuchi, Junichi Goto, Toshiaki Inoue, Youichi Koseki, Hitoshi Abiko, Kazuhiro Okabe, Atsuki Ono, Youich Yano, Hachiro Yamada
1994 J jnl
Semantic dictionary for substructure matching of chemical structures with general descriptors.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama
1991 J jnl
Computer-assisted knowledge acquisition system for synthesis planning.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama
1989 J jnl
A 6.7-MFLOPS floating-point coprocessor with vector/matrix instructions.
IEEE J. Solid State Circuits
Takashi Nakayama, Hisao Harigai, Shingo Kojima, Hiroaki Kaneko, Hatsuhide Igarashi, Tsuneo Toba, Yutaka Yamagami, Yoichi Yano
1989 B conf
REAM: An SQL Based and Extensible Relational Database Management System.
DASFAA
Suguru Kawakami, Takashi Nakayama, Koichi Kashiwabara, Sadayuki Hikita
1983 J jnl
Computer representation of generic chemical structures by an extended block-cutpoint tree.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama, Yuzuru Fujiwara
1981 J jnl
Learning system for automatic structural analysis of mass spectra.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama, Yuzuru Fujiwara
1981 J jnl
Structure generation on the basis of BCT representation of chemical structures.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama, Yuzuru Fujiwara
1980 J jnl
BCT Representation of Chemical Structures.
J. Chem. Inf. Comput. Sci.
Takashi Nakayama, Yuzuru Fujiwara