Koichi Takahashi

65 papers A 1B 9C 4Misc 1Journal 32Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Conchordal: Emergent Harmony via Direct Cognitive Coupling in a Psychoacoustic Landscape.
CoRR
Koichi Takahashi
2026 J jnl
The future of fundamental science led by generative closed-loop artificial intelligence.
Frontiers Artif. Intell.
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, Jonathan E. Rowe, James A. Evans, Hiroaki Kitano, Ross D. King
2026 J jnl
Thermodynamic Limits of Physical Intelligence.
CoRR
Koichi Takahashi, Yusuke Hayashi
2025 — conf
An Investigation into the Use of LLM-Based Features for Multimodal Estimation of Elderly Engagement in Active Listening.
HCI (74)
Hung-Hsuan Huang, Koichi Takahashi
2025 J jnl
Bayesian inference of fitness landscapes via tree-structured branching processes.
Bioinform.
Xiang Ge Luo, Jack Kuipers, Kevin Rupp, Koichi Takahashi, Niko Beerenwinkel
2025 J jnl
Localizatome: a database for stress-dependent subcellular localization changes in proteins.
Database J. Biol. Databases Curation
Takahide Matsushima, Yuki Naito, Tomoki Chiba, Ryota Kurimoto, Keiko Itano, Koji Ochiai, Koichi Takahashi, Naoki Goshima, Hiroshi Asahara
2025 J jnl
Perspective on Utilizing Foundation Models for Laboratory Automation in Materials Research.
CoRR
Kan Hatakeyama-Sato, Toshihiko Nishida, Kenta Kitamura, Yoshitaka Ushiku, Koichi Takahashi, Yuta Nabae, Teruaki Hayakawa
2025 — conf
Universal AI Maximizes Variational Empowerment.
AGI (1)
Yusuke Hayashi, Koichi Takahashi
2025 J jnl
Universal AI maximizes Variational Empowerment.
CoRR
Yusuke Hayashi, Koichi Takahashi
2024 J jnl
Integrating a Pipette Into a Robot Manipulator With Uncalibrated Vision and TCP for Liquid Handling.
IEEE Trans Autom. Sci. Eng.
Junbo Zhang, Weiwei Wan, Nobuyuki Tanaka, Miki Fujita, Koichi Takahashi, Kensuke Harada
2024 J jnl
Mapping Injection Order Messages to Health Level 7 Fast Healthcare Interoperability Resources to Collate Infusion Pump Data.
Appl. Clin. Inform.
Shunsuke Doi, Shinichiroh Yokota, Yugo Nagae, Koichi Takahashi, Mitsuhiro Aoki, Kazuhiko Ohe
2024 J jnl
Technology roadmap toward the completion of whole-brain architecture with BRA-driven development.
Cogn. Syst. Res.
Hiroshi Yamakawa, Yoshimasa Tawatsuji, Yuta Ashihara, Ayako Fukawa, Naoya Arakawa, Koichi Takahashi, Yutaka Matsuo
2023 B conf
Imbalance-Aware Adaptive Margin Loss for Fair Multi-Label Face Attribute Recognition.
ICIP
Masashi Usami, Koichi Takahashi, Akihiro Hayasaka
2023 J jnl
Scenarios and branch points to future machine intelligence.
CoRR
Koichi Takahashi
2023 A conf
Segmentation-free Direct Iris Localization Networks.
WACV
Takahiro Toizumi, Koichi Takahashi, Masato Tsukada
2023 J jnl
The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence.
CoRR
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, Jonathan E. Rowe, James A. Evans, Hiroaki Kitano, Joshua B. Tenenbaum, Ross D. King
2022 J jnl
Segmentation-free Direct Iris Localization Networks.
CoRR
Takahiro Toizumi, Koichi Takahashi, Masato Tsukada
2021 J jnl
Statistical tests for intra-tumour clonal co-occurrence and exclusivity.
PLoS Comput. Biol.
Jack Kuipers, Ariane L. Moore, Katharina Jahn, Peter Schraml, Feng Wang, Kiyomi Morita, P. Andrew Futreal, Koichi Takahashi, Christian Beisel, Holger Moch, Niko Beerenwinkel
2020 J jnl
pSpatiocyte: a high-performance simulator for intracellular reaction-diffusion systems.
BMC Bioinform.
Satya Nanda Vel Arjunan, Atsushi Miyauchi, Kazunari Iwamoto, Koichi Takahashi
2017 C conf
Transporting and rotating control of a jib crane by control moment gyro.
IECON
Nariyuki Kodani, Shigeto Ouchi, Koichi Takahashi
2016 — conf
BriCA: A Modular Software Platform for Whole Brain Architecture.
ICONIP (1)
Kotone Itaya, Koichi Takahashi, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa
2016 J jnl
Modeling Cellular Noise Underlying Heterogeneous Cell Responses in the Epidermal Growth Factor Signaling Pathway.
PLoS Comput. Biol.
Kazunari Iwamoto, Yuki Shindo, Koichi Takahashi
2015 — conf
A Generic Software Platform for Brain-inspired Cognitive Computing.
BICA
Koichi Takahashi, Kotone Itaya, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa
2015 J jnl
Particle Simulation of Oxidation Induced Band 3 Clustering in Human Erythrocytes.
PLoS Comput. Biol.
Hanae Shimo, Satya Nanda Vel Arjunan, Hiroaki Machiyama, Taiko Nishino, Makoto Suematsu, Hideaki Fujita, Masaru Tomita, Koichi Takahashi
2014 J jnl
KEGGscape: a Cytoscape app for pathway data integration.
F1000Research
Kozo Nishida, Keiichiro Ono, Shigehiko Kanaya, Koichi Takahashi
2014 J jnl
Modular Software Model Checking for Distributed Systems.
IEEE Trans. Software Eng.
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
2014 J jnl
Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481).
Dagstuhl Reports
David R. Gilbert, Monika Heiner, Koichi Takahashi, Adelinde M. Uhrmacher
2013 B conf
Head pose tracking system using a mobile device.
RO-MAN
Koichi Takahashi, Yasue Mitsukura
2012 — conf
Approaches to the Treatment of Primary Materials in Digital Lexicons: Examples of the New Generation of Digital Lexicons for Buddhist Studies.
DH
Kiyonori Nagasaki, Toru Tomabechi, Dorji Wangchuk, Koichi Takahashi, Jeff Wallman, A. Charles Muller
2012 B conf
Eye blink detection using monocular system and its applications.
RO-MAN
Koichi Takahashi, Yasue Mitsukura
2012 J jnl
Parallel FDTD Simulation of Microwave Propagation Characteristics in Forest Model for WiMAX Signal.
IEICE Trans. Electron.
Yasumitsu Miyazaki, Koichi Takahashi, Nobuo Goto
2011 J jnl
Probabilistic Symmetry Reduction for a System with Ring Buffer.
IEICE Trans. Inf. Syst.
Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi
2010 J jnl
Antipsychotics reverse abnormal EEG complexity in drug-naive schizophrenia: A multiscale entropy analysis.
NeuroImage
Tetsuya Takahashi, Raymond Y. Cho, Tomoyuki Mizuno, Mitsuru Kikuchi, Tetsuhito Murata, Koichi Takahashi, Yuji Wada
2010 — conf
Design and Evaluation of Fiber Direct Coupling Optical Antennas for Next Generation Optical Wireless Communication Systems.
BWCCA
Koichi Takahashi, Nobuo Nakajima
2010 — conf
Facial expression estimation using simplified head model based on particle filtering.
AMC
Koichi Takahashi, Hironobu Fukai, Yasue Mitsukura
2009 J jnl
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.
IEICE Trans. Inf. Syst.
Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi
2009 J jnl
Probabilistic Model Checking of the One-Dimensional Ising Model.
IEICE Trans. Inf. Syst.
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
2008 B conf
A decision procedure for alternation-free modal µ-calculi.
Advances in Modal Logic
Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2008 — conf
An Exact Brownian Dynamics Method for Cell Simulation.
CMSB
Koichi Takahashi
2008 C conf
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.
ICSEA
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
2008 — conf
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.
ICEIS (3-2)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2008 — conf
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.
VSTTE
Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi
2008 — conf
Workflow Diagrams Based on Evidence Life Cycles.
JCKBSE
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2007 J jnl
Performance Evaluation of Next Generation Free-Space Optical Communication System.
IEICE Trans. Electron.
Kamugisha Kazaura, Kazunori Omae, Toshiji Suzuki, Mitsuji Matsumoto, Edward Mutafungwa, Tadaaki Murakami, Koichi Takahashi, Hideki Matsumoto, Kazuhiko Wakamori, Yoshinori Arimoto
2007 C conf
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.
ICSEA
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
2006 J jnl
Multifractal analysis of deep white matter microstructural changes on MRI in relation to early-stage atherosclerosis.
NeuroImage
Tetsuya Takahashi, Tetsuhito Murata, Kosuke Narita, Toshihiko Hamada, Hirotaka Kosaka, Masao Omori, Koichi Takahashi, Hirohiko Kimura, Haruyoshi Yoshida, Yuji Wada
2006 — ch.
Resonance without Response: The Way of Topic Growth in Communications.
Chance Discoveries in Real World Decision Making
Yukio Ohsawa, Naohiro Matsumura, Koichi Takahashi
2005 B conf
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.
TABLEAUX
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
2005 — conf
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.
VSTTE
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
2005 — conf
Development of Judging Method of Understanding Level in Web Learning.
KES (1)
Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori
2004 Misc conf
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.
FLOPS
Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
2004 B conf
Emergence of Product Value from On-line Communications.
KES
Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura
2003 J jnl
E-Cell 2: Multi-platform E-Cell simulation system.
Bioinform.
Koichi Takahashi, Naota Ishikawa, Yasuhiro Sadamoto, Hiroyuki Sasamoto, Seiji Ohta, Akira Shiozawa, Fumihiko Miyoshi, Yasuhiro Naito, Yoichi Nakayama, Masaru Tomita
2003 J jnl
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models.
Bioinform.
Michael Hucka, Andrew Finney, Herbert M. Sauro, H. Bolouri, John C. Doyle, Hiroaki Kitano, Adam P. Arkin, Benjamin J. Bornstein, Dennis 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
2002 — conf
Searching for Mutual Exclusion Algorithms Using BDDs.
Progress in Discovery Science
Koichi Takahashi, Masami Hagiya
2002 — conf
Verification of Authentication Protocols Based on the Binding Relation.
ISSS
Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
2000 B conf
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.
APLAS
Koichi Takahashi, Masami Hagiya
2000 B conf
Discovery and Deduction.
Discovery Science
Masami Hagiya, Koichi Takahashi
2000 B conf
The E-CELL project: towards integrative simulation of cellular processes.
RECOMB
Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Yuri Matsuzaki, Ryo Matsushima, Katsuyuki Yugi, Fumihiko Miyoshi, Hisako Nakano, Yusuke Saito, Tom Shimizu, Yoichi Nakayama
1999 J jnl
E-CELL: software environment for whole-cell simulation.
Bioinform.
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
1999 J jnl
Proving as Editing HOL Tactics.
Formal Aspects Comput.
Koichi Takahashi, Masami Hagiya
1998 — conf
Formalization of Graph Search Algorithms and Its Applications.
TPHOLs
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
1996 J jnl
Analysis of Body Temperature Distributions Generated by an Ultrashortwave Apparatus.
J. Robotics Mechatronics
Yoshiyuki Kageyama, Toshihiro Tsutzuki, Kazuo Matsushima, Go Kihara, Hideyuki Suzuki, Koichi Takahashi
1990 C conf
A LOTOS Simulator in OBJ.
FORTE
Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi
1980 — conf
Computer Graphics in Multiple Microprocessor System.
Eurographics
Tadashi Ae, Koichi Takahashi, Haruyoshi Chiba, Tsurumi Ito