Koji Nakagawa

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 1

Top Topics

Light Intensity

Body Sensor Networks

Health Monitoring Systems

Top Venues

Publications

Koji Nakagawa, Hiroaki Kawamoto, Yoshiyuki Sankai
Noncontact Measurement of Oxygen Saturation with Dual Near Infrared Imaging for Daily Health Monitoring. SII (2022)
Naka Gotoda, Yoshihisa Sakurai, Kenji Matsuura, Koji Nakagawa, Chikara Miyaji
A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities. HCI (2) (2013)
Daniel Karzel, Koji Nakagawa, Akio Fujiyoshi, Masakazu Suzuki
Inconsistency-Driven Chemical Graph Construction in ChemInfty. GREC (2011)
Koji Nakagawa, Akio Fujiyoshi, Masakazu Suzuki
Ground-truthed dataset of chemical structure images in Japanese published patent applications. Document Analysis Systems (2010)
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. CASC (2007)
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. AB (2007)
Koji Nakagawa
Logicographic symbols. J. Symb. Comput. 41 (3-4) (2006)
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
Theorema: Towards computer-aided mathematical theory exploration. J. Appl. Log. 4 (4) (2006)
Koji Nakagawa, Masakazu Suzuki
Mathematical Knowledge Browser with Automatic Hyperlink Detection. MKM (2005)
Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki
Extraction of Logical Structure from Articles in Mathematics. MKM (2004)
Koji Nakagawa, Felix Kossak
User--system interaction within Theorema. Calculemus (1999)
Taro Suzuki, Koji Nakagawa, Tetsuo Ida
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. ALP/HOA (1997)