Kazuhisa Nakasho

发表

Classification and Visualization of Long-Term Life-monitoring Sensor Signals Using Topological Characteristics of Category Maps

Kazuhito Sato, Nobuhiro Shimoi, Kazuya Iguchi, 2018, 2018 18th International Conference on Control, Automation and Systems (ICCAS).

Separability of Real Normed Spaces and Its Basic Properties

Kazuhisa Nakasho, Noboru Endou, Kazuhisa Nakasho, 2015, Formaliz. Math..

Context based semantic scene classification and recognition used for a vision-based mobile robot

Hirokazu Madokoro, Kazuhito Sato, Nobuhiro Shimoi, 2017, 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN).

Torsion Z-module and Torsion-free Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2014, Formaliz. Math..

Unsupervised learning-based semantic scene recognition and boundary visualization on category maps

Hirokazu Madokoro, Kazuhito Sato, Nobuhiro Shimoi, 2017, 2017 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics (ICDL-EpiRob).

σ-ring and σ-algebra of Sets1

Yasunari Shidama, Kazuhisa Nakasho, Noboru Endou, 2015, Formaliz. Math..

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2014, Formaliz. Math..

Conservation Rules of Direct Sum Decomposition of Groups

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2016, Formaliz. Math..

Adaptive learning based driving episode description on category maps

Hirokazu Madokoro, Kazuhito Sato, Nobuhiro Shimoi, 2017, 2017 International Joint Conference on Neural Networks (IJCNN).

Equivalent Expressions of Direct Sum Decomposition of Groups1

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2015, Formaliz. Math..

Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library pdf

Yasunari Shidama, Kazuhisa Nakasho, 2015, CICM.

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2013, Formaliz. Math..

Multilinear Operator and Its Basic Properties

Kazuhisa Nakasho, 2019, Formaliz. Math..

Implicit Function Theorem. Part I

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

Implementation of a vital signs monitoring system in combination with a bed-leaving detection system

Hirokazu Madokoro, Nobuhiro Shimoi, Kazuhisa Nakasho, 2016, 2016 IEEE/SICE International Symposium on System Integration (SII).

Definition and Properties of Direct Sum Decomposition of Groups1

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2015, Formaliz. Math..

Avalanche and Falling Rock Measurement Using Piezoelectric Dynamics and Static Sensors

Hirokazu Madokoro, Nobuhiro Shimoi, Kazuhisa Nakasho, 2017 .

Compactness in Metric Spaces

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2016, Formaliz. Math..

Continuity of Bounded Linear Operators on Normed Linear Spaces

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

The Basic Existence Theorem of Riemann-Stieltjes Integral

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2016, Formaliz. Math..

Bilinear Operators on Normed Linear Spaces

Kazuhisa Nakasho, 2019, Formaliz. Math..

Comparison of Displacement Measurements in Exposed Type Column Base Using Piezoelectric Dynamic Sensors and Static Sensors

Hirokazu Madokoro, Nobuhiro Shimoi, Akihiko Obata, 2016 .

Continuity of Multilinear Operator on Normed Linear Spaces

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

F. Riesz Theorem

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2017, Formaliz. Math..

Development of a Secure Cross-Institutional Data Collection System Based on Distributed Standardized EMR Storage

Atsuko Miyaji, Katsuya Tanaka, Ryuichi Yamamoto, 2018, EFMI-STC.

Riemann-Stieltjes Integral

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2016, Formaliz. Math..

Privacy-Preserving Integration of Medical Data

Atsuko Miyaji, Kazuhisa Nakasho, Shohei Nishida, 2017, Journal of Medical Systems.

Automatic Calibration of Bed-Leaving Sensor Signals Based on Genetic Evolutionary Learning

Hirokazu Madokoro, Kazuhito Sato, Nobuhiro Shimoi, 2018, 2018 18th International Conference on Control, Automation and Systems (ICCAS).

Secure Primitive for Big Data Utilization

Atsuko Miyaji, Yuuki Takano, Kazuhisa Nakasho, 2020, Security Infrastructure Technology for Integrated Utilization of Big Data.

Inverse Function Theorem. Part I1

Yuichi Futa, Kazuhisa Nakasho, 2021, Formaliz. Math..

Visual Studio Code Extension and Auto-completion for Mizar Language

Kazuhisa Nakasho, Hirota Taniguchi, 2021, 2021 Ninth International Symposium on Computing and Networking (CANDAR).