Kazuhisa Nakasho

Invisible and Cost-Effective Sensors with a Network Robot for an IoT House for Tourists

Hirokazu Madokoro, Hanwool Woo, Kazuhito Sato, 2019, 2019 19th International Conference on Control, Automation and Systems (ICCAS).

Invertible Operators on Banach Spaces

Kazuhisa Nakasho, 2019, Formaliz. Math..

Implicit Function Theorem. Part II

Yasunari Shidama, Kazuhisa Nakasho, 2019, Formaliz. Math..

Topological Properties of Real Normed Space

Yuichi Futa, Yasunari Shidama, Kazuhisa Nakasho, 2014, Formaliz. Math..

Development and Application of Privacy-preserving Distributed Medical Data Integration System

Kazuhisa Nakasho, Atsuko Miyaji, Yuuki Takano, 2020, 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan).

Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System

Kazuhisa Nakasho, 2019, 2019 Federated Conference on Computer Science and Information Systems (FedCSIS).

Development of Invisible Sensors and a Machine-Learning-Based Recognition System Used for Early Prediction of Discontinuous Bed-Leaving Behavior Patterns †

Hirokazu Madokoro, Hanwool Woo, Kazuhito Sato, 2020, Sensors.

Isomorphisms from the Space of Multilinear Operators

Kazuhisa Nakasho, 2019, Formaliz. Math..