Koji Nakagawa

According to our database, Koji Nakagawa authored at least 12 papers between 1997 and 2022.

Collaborative distances:

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

2022

Noncontact Measurement of Oxygen Saturation with Dual Near Infrared Imaging for Daily Health Monitoring.

Koji Nakagawa, Hiroaki Kawamoto, Yoshiyuki Sankai

Proceedings of the IEEE/SICE International Symposium on System Integration, 2022

2013

A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities.

Naka Gotoda, Yoshihisa Sakurai, Kenji Matsuura, Koji Nakagawa, Chikara Miyaji

Proceedings of the Human-Computer Interaction. Applications and Services, 2013

2011

Inconsistency-Driven Chemical Graph Construction in ChemInfty.

Daniel Karzel, Koji Nakagawa, Akio Fujiyoshi, Masakazu Suzuki

Proceedings of the Graphics Recognition. New Trends and Challenges, 2011

2010

Ground-truthed dataset of chemical structure images in Japanese published patent applications.

Koji Nakagawa, Akio Fujiyoshi, Masakazu Suzuki

Proceedings of the Ninth IAPR International Workshop on Document Analysis Systems, 2010

2007

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.

Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.

Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

Logicographic symbols.

Koji Nakagawa

J. Symb. Comput., 2006

Theorema: Towards computer-aided mathematical theory exploration.

Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger

J. Appl. Log., 2006

2005

Mathematical Knowledge Browser with Automatic Hyperlink Detection.

Koji Nakagawa, Masakazu Suzuki

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004

Extraction of Logical Structure from Articles in Mathematics.

Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

1999

User--system interaction within Theorema.

Koji Nakagawa, Felix Kossak

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1997

Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.

Taro Suzuki, Koji Nakagawa, Tetsuo Ida

Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997