Koichi Takahashi

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 11

Top Topics

Graphical User Interfaces

Systems Biology

Software Platform

Top Venues

PLoS Comput. Biol.

Publications

Shunsuke Doi, Shinichiroh Yokota, Yugo Nagae, Koichi Takahashi, Mitsuhiro Aoki, Kazuhiko Ohe
Mapping Injection Order Messages to Health Level 7 Fast Healthcare Interoperability Resources to Collate Infusion Pump Data. Appl. Clin. Inform. 15 (1) (2024)
Hector Zenil, Jesper Tegnér, Felipe S. Abrahão, Alexander Lavin, Vipin Kumar, Jeremy G. Frey, Adrian Weller, Larisa N. Soldatova, Alan R. Bundy, Nicholas R. Jennings, Koichi Takahashi, Lawrence Hunter, Saso Dzeroski, Andrew Briggs, Frederick D. Gregory, Carla P. Gomes, Christopher K. I. Williams, Jon Rowe, James A. Evans, Hiroaki Kitano, Joshua B. Tenenbaum, Ross D. King
The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence. CoRR (2023)
Masashi Usami, Koichi Takahashi, Akihiro Hayasaka
Imbalance-Aware Adaptive Margin Loss for Fair Multi-Label Face Attribute Recognition. ICIP (2023)
Takahiro Toizumi, Koichi Takahashi, Masato Tsukada
Segmentation-free Direct Iris Localization Networks. WACV (2023)
Koichi Takahashi
Scenarios and branch points to future machine intelligence. CoRR (2023)
Takahiro Toizumi, Koichi Takahashi, Masato Tsukada
Segmentation-free Direct Iris Localization Networks. CoRR (2022)
Jack Kuipers, Ariane L. Moore, Katharina Jahn, Peter Schraml, Feng Wang, Kiyomi Morita, P. Andrew Futreal, Koichi Takahashi, Christian Beisel, Holger Moch, Niko Beerenwinkel
Statistical tests for intra-tumour clonal co-occurrence and exclusivity. PLoS Comput. Biol. 17 (12) (2021)
Satya Nanda Vel Arjunan, Atsushi Miyauchi, Kazunari Iwamoto, Koichi Takahashi
pSpatiocyte: a high-performance simulator for intracellular reaction-diffusion systems. BMC Bioinform. 21 (1) (2020)
Nariyuki Kodani, Shigeto Ouchi, Koichi Takahashi
Transporting and rotating control of a jib crane by control moment gyro. IECON (2017)
Kotone Itaya, Koichi Takahashi, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa
BriCA: A Modular Software Platform for Whole Brain Architecture. ICONIP (1) (2016)
Kazunari Iwamoto, Yuki Shindo, Koichi Takahashi
Modeling Cellular Noise Underlying Heterogeneous Cell Responses in the Epidermal Growth Factor Signaling Pathway. PLoS Comput. Biol. 12 (11) (2016)
Hanae Shimo, Satya Nanda Vel Arjunan, Hiroaki Machiyama, Taiko Nishino, Makoto Suematsu, Hideaki Fujita, Masaru Tomita, Koichi Takahashi
Particle Simulation of Oxidation Induced Band 3 Clustering in Human Erythrocytes. PLoS Comput. Biol. 11 (6) (2015)
Koichi Takahashi, Kotone Itaya, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa
A Generic Software Platform for Brain-inspired Cognitive Computing. BICA (2015)
David R. Gilbert, Monika Heiner, Koichi Takahashi, Adelinde M. Uhrmacher
Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481). Dagstuhl Reports 4 (11) (2014)
Kozo Nishida, Keiichiro Ono, Shigehiko Kanaya, Koichi Takahashi
KEGGscape: a Cytoscape app for pathway data integration. F1000Research 3 (2014)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40 (5) (2014)
Koichi Takahashi, Yasue Mitsukura
Head pose tracking system using a mobile device. RO-MAN (2013)
Kiyonori Nagasaki, Toru Tomabechi, Dorji Wangchuk, Koichi Takahashi, Jeff Wallman, A. Charles Muller
Approaches to the Treatment of Primary Materials in Digital Lexicons: Examples of the New Generation of Digital Lexicons for Buddhist Studies. DH (2012)
Koichi Takahashi, Yasue Mitsukura
Eye blink detection using monocular system and its applications. RO-MAN (2012)
Yasumitsu Miyazaki, Koichi Takahashi, Nobuo Goto
Parallel FDTD Simulation of Microwave Propagation Characteristics in Forest Model for WiMAX Signal. IEICE Trans. Electron. (10) (2012)
Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi
Probabilistic Symmetry Reduction for a System with Ring Buffer. IEICE Trans. Inf. Syst. (5) (2011)
Tetsuya Takahashi, Raymond Y. Cho, Tomoyuki Mizuno, Mitsuru Kikuchi, Tetsuhito Murata, Koichi Takahashi, Yuji Wada
Antipsychotics reverse abnormal EEG complexity in drug-naive schizophrenia: A multiscale entropy analysis. NeuroImage 51 (1) (2010)
Koichi Takahashi, Nobuo Nakajima
Design and Evaluation of Fiber Direct Coupling Optical Antennas for Next Generation Optical Wireless Communication Systems. BWCCA (2010)
Koichi Takahashi, Hironobu Fukai, Yasue Mitsukura
Facial expression estimation using simplified head model based on particle filtering. AMC (2010)
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. (5) (2009)
Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. (5) (2009)
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA (2008)
Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Workflow Diagrams Based on Evidence Life Cycles. JCKBSE (2008)
Koichi Takahashi
An Exact Brownian Dynamics Method for Cell Simulation. CMSB (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. ICEIS (3-2) (2008)
Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic (2008)
Kamugisha Kazaura, Kazunori Omae, Toshiji Suzuki, Mitsuji Matsumoto, Edward Mutafungwa, Tadaaki Murakami, Koichi Takahashi, Hideki Matsumoto, Kazuhiko Wakamori, Yoshinori Arimoto
Performance Evaluation of Next Generation Free-Space Optical Communication System. IEICE Trans. Electron. (2) (2007)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA (2007)
Tetsuya Takahashi, Tetsuhito Murata, Kosuke Narita, Toshihiko Hamada, Hirotaka Kosaka, Masao Omori, Koichi Takahashi, Hirohiko Kimura, Haruyoshi Yoshida, Yuji Wada
Multifractal analysis of deep white matter microstructural changes on MRI in relation to early-stage atherosclerosis. NeuroImage 32 (3) (2006)
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX (2005)
Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori
Development of Judging Method of Understanding Level in Web Learning. KES (1) (2005)
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE (2005)
Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura
Emergence of Product Value from On-line Communications. KES (2004)
Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS (2004)
Michael Hucka, Andrew Finney, Herbert M. Sauro, H. Bolouri, John C. Doyle, Hiroaki Kitano, Adam P. Arkin, Benjamin J. Bornstein, D. Bray, Athel Cornish-Bowden, Autumn A. Cuellar, Serge Dronov, Ernst Dieter Gilles, Martin Ginkel, Victoria Gor, Igor Goryanin, W. J. Hedley, T. Charles Hodgman, Jan-Hendrik S. Hofmeyr, Peter J. Hunter, Nick S. Juty, J. L. Kasberger, Andreas Kremling, Ursula Kummer, Nicolas Le Novère, Leslie M. Loew, D. Lucio, Pedro Mendes, E. Minch, Eric Mjolsness, Yoichi Nakayama, M. R. Nelson, Poul M. F. Nielsen, T. Sakurada, James C. Schaff, Bruce E. Shapiro, Thomas Simon Shimizu, Hugh D. Spence, Jörg Stelling, Koichi Takahashi, Masaru Tomita, J. Wagner, J. Wang
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinform. 19 (4) (2003)
Koichi Takahashi, N. Ishikawa, Y. Sadamoto, H. Sasamoto, S. Ohta, A. Shiozawa, Fumihiko Miyoshi, Yasuhiro Naito, Yoichi Nakayama, Masaru Tomita
E-Cell 2: Multi-platform E-Cell simulation system. Bioinform. 19 (13) (2003)
Koichi Takahashi, Masami Hagiya
Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science (2002)
Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
Verification of Authentication Protocols Based on the Binding Relation. ISSS (2002)
Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Yuri Matsuzaki, Ryo Matsushima, Katsuyuki Yugi, Fumihiko Miyoshi, Hisako Nakano, Yusuke Saito, Tom Shimizu, Yoichi Nakayama
The E-CELL project: towards integrative simulation of cellular processes. RECOMB (2000)
Masami Hagiya, Koichi Takahashi
Discovery and Deduction. Discovery Science (2000)
Koichi Takahashi, Masami Hagiya
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS (2000)
Koichi Takahashi, Masami Hagiya
Proving as Editing HOL Tactics. Formal Aspects Comput. 11 (3) (1999)
Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Thomas Simon Shimizu, Yuri Matsuzaki, Fumihiko Miyoshi, Kanako Saito, Sakura Tanida, Katsuyuki Yugi, J. Craig Venter, Clyde A. Hutchison III
E-CELL: software environment for whole-cell simulation. Bioinform. 15 (1) (1999)
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
Formalization of Graph Search Algorithms and Its Applications. TPHOLs (1998)
Yoshiyuki Kageyama, Toshihiro Tsutzuki, Kazuo Matsushima, Go Kihara, Hideyuki Suzuki, Koichi Takahashi
Analysis of Body Temperature Distributions Generated by an Ultrashortwave Apparatus. J. Robotics Mechatronics 8 (2) (1996)
Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
A LOTOS Simulator in OBJ. FORTE (1990)
Tadashi Ae, Koichi Takahashi, Haruyoshi Chiba, Tsurumi Ito
Computer Graphics in Multiple Microprocessor System. Eurographics (1980)