![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Koichi Takahashi
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j18]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): 1-9 (2024) - 2021
- [j17]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) - 2020
- [j16]Satya Nanda Vel Arjunan
, Atsushi Miyauchi, Kazunari Iwamoto
, Koichi Takahashi:
pSpatiocyte: a high-performance simulator for intracellular reaction-diffusion systems. BMC Bioinform. 21(1): 33 (2020) - 2016
- [j15]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) - 2015
- [j14]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) - 2014
- [j13]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): 483-501 (2014) - 2012
- [j12]Yasumitsu Miyazaki, Koichi Takahashi, Nobuo Goto:
Parallel FDTD Simulation of Microwave Propagation Characteristics in Forest Model for WiMAX Signal. IEICE Trans. Electron. 95-C(10): 1572-1579 (2012) - 2011
- [j11]Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi
, Kazuko Takahashi:
Probabilistic Symmetry Reduction for a System with Ring Buffer. IEICE Trans. Inf. Syst. 94-D(5): 967-975 (2011) - 2010
- [j10]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): 173-182 (2010) - 2009
- [j9]Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi:
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Trans. Inf. Syst. 92-D(5): 995-1002 (2009) - [j8]Toshifusa Sekizawa, Tatsuhiro Tsuchiya
, Koichi Takahashi
, Tohru Kikuno:
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. 92-D(5): 1003-1011 (2009) - 2007
- [j7]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. 90-C(2): 381-388 (2007) - 2006
- [j6]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): 1158-1166 (2006) - 2003
- [j5]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:
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinform. 19(4): 524-531 (2003) - [j4]Koichi Takahashi, Naota Ishikawa, Yasuhiro Sadamoto, Hiroyuki Sasamoto, Seiji Ohta, Akira Shiozawa, Fumihiko Miyoshi, Yasuhiro Naito, Yoichi Nakayama, Masaru Tomita:
E-Cell 2: Multi-platform E-Cell simulation system. Bioinform. 19(13): 1727-1729 (2003) - 1999
- [j3]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): 72-84 (1999) - [j2]Koichi Takahashi, Masami Hagiya:
Proving as Editing HOL Tactics. Formal Aspects Comput. 11(3): 343-357 (1999) - 1996
- [j1]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): 153-157 (1996)
Conference and Workshop Papers
- 2023
- [c30]Masashi Usami, Koichi Takahashi, Akihiro Hayasaka:
Imbalance-Aware Adaptive Margin Loss for Fair Multi-Label Face Attribute Recognition. ICIP 2023: 1465-1469 - [c29]Takahiro Toizumi, Koichi Takahashi, Masato Tsukada:
Segmentation-free Direct Iris Localization Networks. WACV 2023: 991-1000 - 2017
- [c28]Nariyuki Kodani, Shigeto Ouchi, Koichi Takahashi:
Transporting and rotating control of a jib crane by control moment gyro. IECON 2017: 8297-8302 - 2016
- [c27]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: 334-341 - 2015
- [c26]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: 31-37 - 2013
- [c25]Koichi Takahashi, Yasue Mitsukura:
Head pose tracking system using a mobile device. RO-MAN 2013: 461-466 - 2012
- [c24]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: 61-63 - [c23]Koichi Takahashi, Yasue Mitsukura:
Eye blink detection using monocular system and its applications. RO-MAN 2012: 743-747 - 2010
- [c22]Koichi Takahashi, Hironobu Fukai, Yasue Mitsukura:
Facial expression estimation using simplified head model based on particle filtering. AMC 2010: 173-178 - [c21]Koichi Takahashi, Nobuo Nakajima:
Design and Evaluation of Fiber Direct Coupling Optical Antennas for Next Generation Optical Wireless Communication Systems. BWCCA 2010: 129-136 - 2008
- [c20]Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
A decision procedure for alternation-free modal µ-calculi. Advances in Modal Logic 2008: 341-362 - [c19]Koichi Takahashi:
An Exact Brownian Dynamics Method for Cell Simulation. CMSB 2008: 5-6 - [c18]Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi:
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. ICEIS (3-2) 2008: 351-359 - [c17]Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi:
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA 2008: 478-487 - [c16]Osamu Takaki, Takahiro Seino, Izumi Takeuti
, Noriaki Izumi
, Koichi Takahashi:
Workflow Diagrams Based on Evidence Life Cycles. JCKBSE 2008: 145-154 - [c15]Yoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi:
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic. VSTTE 2008: 115-129 - 2007
- [c14]Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi:
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA 2007: 9 - 2005
- [c13]Yoshinori Adachi, Koichi Takahashi, Masahiro Ozaki, Yuji Iwahori:
Development of Judging Method of Understanding Level in Web Learning. KES (1) 2005: 781-786 - [c12]Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya:
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX 2005: 277-291 - [c11]Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya:
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE 2005: 518-527 - 2004
- [c10]Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato:
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS 2004: 7-21 - [c9]Koichi Takahashi, Yukio Ohsawa, Naohiro Matsumura:
Emergence of Product Value from On-line Communications. KES 2004: 839-846 - 2002
- [c8]Koichi Takahashi, Masami Hagiya:
Searching for Mutual Exclusion Algorithms Using BDDs. Progress in Discovery Science 2002: 1-18 - [c7]Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito:
Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316 - 2000
- [c6]Koichi Takahashi, Masami Hagiya:
Abstraction of Link Structures by Regular Expressions and Abstract Model Checking of Concurrent Garbage Collection. APLAS 2000: 1-8 - [c5]Masami Hagiya, Koichi Takahashi:
Discovery and Deduction. Discovery Science 2000: 17-37 - [c4]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: 290-298 - 1998
- [c3]Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai:
Formalization of Graph Search Algorithms and Its Applications. TPHOLs 1998: 479-496 - 1990
- [c2]Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi:
A LOTOS Simulator in OBJ. FORTE 1990: 535-538 - 1980
- [c1]Tadashi Ae, Koichi Takahashi, Haruyoshi Chiba, Tsurumi Ito:
Computer Graphics in Multiple Microprocessor System. Eurographics 1980
Parts in Books or Collections
- 2006
- [p1]Yukio Ohsawa, Naohiro Matsumura, Koichi Takahashi:
Resonance without Response: The Way of Topic Growth in Communications. Chance Discoveries in Real World Decision Making 2006: 155-165
Informal and Other Publications
- 2023
- [i5]Koichi Takahashi:
Scenarios and branch points to future machine intelligence. CoRR abs/2302.14478 (2023) - [i4]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 abs/2307.07522 (2023) - 2022
- [i3]Takahiro Toizumi, Koichi Takahashi, Masato Tsukada:
Segmentation-free Direct Iris Localization Networks. CoRR abs/2210.10403 (2022) - 2014
- [i2]David R. Gilbert, Monika Heiner, Koichi Takahashi, Adelinde M. Uhrmacher:
Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481). Dagstuhl Reports 4(11): 138-226 (2014) - [i1]Kozo Nishida
, Keiichiro Ono, Shigehiko Kanaya, Koichi Takahashi:
KEGGscape: a Cytoscape app for pathway data integration. F1000Research 3: 144 (2014)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint