Koichi Takahashi

According to our database, Koichi Takahashi authored at least 55 papers between 1980 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Integrating a Pipette Into a Robot Manipulator With Uncalibrated Vision and TCP for Liquid Handling.

Junbo Zhang, Weiwei Wan, Nobuyuki Tanaka, Miki Fujita, Koichi Takahashi, Kensuke Harada

IEEE Trans Autom. Sci. Eng., October, 2024

Mapping Injection Order Messages to Health Level 7 Fast Healthcare Interoperability Resources to Collate Infusion Pump Data.

Shunsuke Doi, Shinichiroh Yokota, Yugo Nagae, Koichi Takahashi, Mitsuhiro Aoki, Kazuhiko Ohe

Appl. Clin. Inform., January, 2024

Technology roadmap toward the completion of whole-brain architecture with BRA-driven development.

Hiroshi Yamakawa, Yoshimasa Tawatsuji, Yuta Ashihara, Ayako Fukawa, Naoya Arakawa, Koichi Takahashi, Yutaka Matsuo

Cogn. Syst. Res., 2024

2023

The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence.

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

CoRR, 2023

Scenarios and branch points to future machine intelligence.

Koichi Takahashi

CoRR, 2023

Segmentation-free Direct Iris Localization Networks.

Takahiro Toizumi, Koichi Takahashi, Masato Tsukada

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2023

Imbalance-Aware Adaptive Margin Loss for Fair Multi-Label Face Attribute Recognition.

Masashi Usami, Koichi Takahashi, Akihiro Hayasaka

Proceedings of the IEEE International Conference on Image Processing, 2023

2021

Statistical tests for intra-tumour clonal co-occurrence and exclusivity.

Jack Kuipers, Ariane L. Moore, Katharina Jahn, Peter Schraml, Feng Wang, Kiyomi Morita, P. Andrew Futreal, Koichi Takahashi, Christian Beisel, Holger Moch, Niko Beerenwinkel

PLoS Comput. Biol., 2021

2020

pSpatiocyte: a high-performance simulator for intracellular reaction-diffusion systems.

Satya Nanda Vel Arjunan, Atsushi Miyauchi, Kazunari Iwamoto, Koichi Takahashi

BMC Bioinform., 2020

2017

Transporting and rotating control of a jib crane by control moment gyro.

Nariyuki Kodani, Shigeto Ouchi, Koichi Takahashi

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016

Modeling Cellular Noise Underlying Heterogeneous Cell Responses in the Epidermal Growth Factor Signaling Pathway.

Kazunari Iwamoto, Yuki Shindo, Koichi Takahashi

PLoS Comput. Biol., 2016

BriCA: A Modular Software Platform for Whole Brain Architecture.

Kotone Itaya, Koichi Takahashi, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa

Proceedings of the Neural Information Processing - 23rd International Conference, 2016

2015

Particle Simulation of Oxidation Induced Band 3 Clustering in Human Erythrocytes.

Hanae Shimo, Satya Nanda Vel Arjunan, Hiroaki Machiyama, Taiko Nishino, Makoto Suematsu, Hideaki Fujita, Masaru Tomita, Koichi Takahashi

PLoS Comput. Biol., 2015

A Generic Software Platform for Brain-inspired Cognitive Computing.

Koichi Takahashi, Kotone Itaya, Masayoshi Nakamura, Moriyoshi Koizumi, Naoya Arakawa, Masaru Tomita, Hiroshi Yamakawa

Proceedings of the 6th Annual International Conference on Biologically Inspired Cognitive Architectures, 2015

2014

Modular Software Model Checking for Distributed Systems.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi

IEEE Trans. Software Eng., 2014

KEGGscape: a Cytoscape app for pathway data integration.

Kozo Nishida, Keiichiro Ono, Shigehiko Kanaya, Koichi Takahashi

F1000Research, 2014

Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481).

David R. Gilbert, Monika Heiner, Koichi Takahashi, Adelinde M. Uhrmacher

Dagstuhl Reports, 2014

2013

Head pose tracking system using a mobile device.

Koichi Takahashi, Yasue Mitsukura

Proceedings of the IEEE International Symposium on Robot and Human Interactive Communication, 2013

2012

Parallel FDTD Simulation of Microwave Propagation Characteristics in Forest Model for WiMAX Signal.

Yasumitsu Miyazaki, Koichi Takahashi, Nobuo Goto

IEICE Trans. Electron., 2012

Eye blink detection using monocular system and its applications.

Koichi Takahashi, Yasue Mitsukura

Proceedings of the 21st IEEE International Symposium on Robot and Human Interactive Communication, 2012

Approaches to the Treatment of Primary Materials in Digital Lexicons: Examples of the New Generation of Digital Lexicons for Buddhist Studies.

Kiyonori Nagasaki, Toru Tomabechi, Dorji Wangchuk, Koichi Takahashi, Jeff Wallman, A. Charles Muller

Proceedings of the 7th Annual International Conference of the Alliance of Digital Humanities Organizations, 2012

2011

Probabilistic Symmetry Reduction for a System with Ring Buffer.

Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi, Kazuko Takahashi

IEICE Trans. Inf. Syst., 2011

2010

Antipsychotics reverse abnormal EEG complexity in drug-naive schizophrenia: A multiscale entropy analysis.

Tetsuya Takahashi, Raymond Y. Cho, Tomoyuki Mizuno, Mitsuru Kikuchi, Tetsuhito Murata, Koichi Takahashi, Yuji Wada

NeuroImage, 2010

Design and Evaluation of Fiber Direct Coupling Optical Antennas for Next Generation Optical Wireless Communication Systems.

Koichi Takahashi, Nobuo Nakajima

Proceedings of the Fifth International Conference on Broadband and Wireless Computing, 2010

Facial expression estimation using simplified head model based on particle filtering.

Koichi Takahashi, Hironobu Fukai, Yasue Mitsukura

Proceedings of the 11th IEEE International Workshop on Advanced Motion Control, 2010

2009

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.

Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi

IEICE Trans. Inf. Syst., 2009

Probabilistic Model Checking of the One-Dimensional Ising Model.

Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno

IEICE Trans. Inf. Syst., 2009

2008

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi

Proceedings of the Verified Software: Theories, 2008

Workflow Diagrams Based on Evidence Life Cycles.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Knowledge-Based Software Engineering, 2008

Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.

Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the ICEIS 2008, 2008

An Exact Brownian Dynamics Method for Cell Simulation.

Koichi Takahashi

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

A decision procedure for alternation-free modal µ-calculi.

Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya

Proceedings of the Advances in Modal Logic 7, 2008

2007

Performance Evaluation of Next Generation Free-Space Optical Communication System.

Kamugisha Kazaura, Kazunori Omae, Toshiji Suzuki, Mitsuji Matsumoto, Edward Mutafungwa, Tadaaki Murakami, Koichi Takahashi, Hideki Matsumoto, Kazuhiko Wakamori, Yoshinori Arimoto

IEICE Trans. Electron., 2007

Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

2006

Resonance without Response: The Way of Topic Growth in Communications.

Yukio Ohsawa, Naohiro Matsumura, Koichi Takahashi

Proceedings of the Chance Discoveries in Real World Decision Making: Data-based Interaction of Human Intelligence and Artificial Intelligence, 2006

Multifractal analysis of deep white matter microstructural changes on MRI in relation to early-stage atherosclerosis.

Tetsuya Takahashi, Tetsuhito Murata, Kosuke Narita, Toshihiko Hamada, Hirotaka Kosaka, Masao Omori, Koichi Takahashi, Hirohiko Kimura, Haruyoshi Yoshida, Yuji Wada

NeuroImage, 2006

2005

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya

Proceedings of the Verified Software: Theories, 2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Development of Judging Method of Understanding Level in Web Learning.

Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

2004

Emergence of Product Value from On-line Communications.

Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

E-Cell 2: Multi-platform E-Cell simulation system.

Koichi Takahashi, Naota Ishikawa, Yasuhiro Sadamoto, Hiroyuki Sasamoto, Seiji Ohta, Akira Shiozawa, Fumihiko Miyoshi, Yasuhiro Naito, Yoichi Nakayama, Masaru Tomita

Bioinform., 2003

The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models.

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

Bioinform., 2003

2002

Verification of Authentication Protocols Based on the Binding Relation.

Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito

Proceedings of the Software Security -- Theories and Systems, 2002

Searching for Mutual Exclusion Algorithms Using BDDs.

Koichi Takahashi, Masami Hagiya

Proceedings of the Progress in Discovery Science, 2002

2000

The E-CELL project: towards integrative simulation of cellular processes.

Masaru Tomita, Kenta Hashimoto, Koichi Takahashi, Yuri Matsuzaki, Ryo Matsushima, Katsuyuki Yugi, Fumihiko Miyoshi, Hisako Nakano, Yusuke Saito, Tom Shimizu, Yoichi Nakayama

Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, 2000

Discovery and Deduction.

Masami Hagiya, Koichi Takahashi

Proceedings of the Discovery Science, 2000

Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection.

Koichi Takahashi, Masami Hagiya

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1999

Proving as Editing HOL Tactics.

Koichi Takahashi, Masami Hagiya

Formal Aspects Comput., 1999

E-CELL: software environment for whole-cell simulation.

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

Bioinform., 1999

1998

Formalization of Graph Search Algorithms and Its Applications.

Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1996

Analysis of Body Temperature Distributions Generated by an Ultrashortwave Apparatus.

Yoshiyuki Kageyama, Toshihiro Tsutzuki, Kazuo Matsushima, Go Kihara, Hideyuki Suzuki, Koichi Takahashi

J. Robotics Mechatronics, 1996

1990

A LOTOS Simulator in OBJ.

Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi

Proceedings of the Formal Description Techniques, 1990

1980

Computer Graphics in Multiple Microprocessor System.

Tadashi Ae, Koichi Takahashi, Haruyoshi Chiba, Tsurumi Ito

Proceedings of the 1st European Computer Graphics Conference and Exhibition, 1980