Kazuhisa Nakasho

Orcid: 0000-0003-1110-4342

According to our database1, Kazuhisa Nakasho authored at least 46 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The Tight Upper Bound for the Size of Single Deletion Error Correcting Codes in Dimension 11.
CoRR, 2023

2022
On Implicit and Inverse Function Theorems on Euclidean Spaces.
Formaliz. Math., 2022

Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces.
Formaliz. Math., 2022

Transformation Tools for Real Linear Spaces.
Formaliz. Math., 2022

An Integrated Web Platform for the Mizar Mathematical Library.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

Development of an IoT Device for Structural Health Monitoring.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

Classification of Human Posture on Bed Using Machine Learning.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2022

2021
The 3-Fold Product Space of Real Normed Spaces and its Properties.
Formaliz. Math., 2021

Finite Dimensional Real Normed Spaces are Proper Metric Spaces.
Formaliz. Math., 2021

Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.
Formaliz. Math., 2021

Inverse Function Theorem. Part I1.
Formaliz. Math., 2021

A Web Platform for Hosting the Mizar Mathematical Library (short paper).
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

Visual Studio Code Extension and Auto-completion for Mizar Language.
Proceedings of the Ninth International Symposium on Computing and Networking, 2021

A Practical Parallel Computation in a Scalable Multiparty Private Set Intersection.
Proceedings of the Ninth International Symposium on Computing and Networking, 2021

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

Development and Application of Privacy-preserving Distributed Medical Data Integration System.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2020

Secure Primitive for Big Data Utilization.
Proceedings of the Security Infrastructure Technology for Integrated Utilization of Big Data, 2020

2019
Implicit Function Theorem. Part II.
Formaliz. Math., 2019

Continuity of Multilinear Operator on Normed Linear Spaces.
Formaliz. Math., 2019

Invertible Operators on Banach Spaces.
Formaliz. Math., 2019

Isomorphisms from the Space of Multilinear Operators.
Formaliz. Math., 2019

Multilinear Operator and Its Basic Properties.
Formaliz. Math., 2019

Bilinear Operators on Normed Linear Spaces.
Formaliz. Math., 2019

Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System.
Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, 2019

2018
Continuity of Bounded Linear Operators on Normed Linear Spaces.
Formaliz. Math., 2018

Development of a Secure Cross-Institutional Data Collection System Based on Distributed Standardized EMR Storage.
Proceedings of the Decision Support Systems and Education, 2018

2017
Privacy-Preserving Integration of Medical Data - A Practical Multiparty Private Set Intersection.
J. Medical Syst., 2017

F. Riesz Theorem.
Formaliz. Math., 2017

Implicit Function Theorem. Part I.
Formaliz. Math., 2017

Context based semantic scene classification and recognition used for a vision-based mobile robot.
Proceedings of the 26th IEEE International Symposium on Robot and Human Interactive Communication, 2017

Adaptive learning based driving episode description on category maps.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Unsupervised learning-based semantic scene recognition and boundary visualization on category maps.
Proceedings of the 2017 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics, 2017

2016
Riemann-Stieltjes Integral.
Formaliz. Math., 2016

Conservation Rules of Direct Sum Decomposition of Groups.
Formaliz. Math., 2016

The Basic Existence Theorem of Riemann-Stieltjes Integral.
Formaliz. Math., 2016

Compactness in Metric Spaces.
Formaliz. Math., 2016

Implementation of a vital signs monitoring system in combination with a bed-leaving detection system.
Proceedings of the 2016 IEEE/SICE International Symposium on System Integration, 2016

2015
Definition and Properties of Direct Sum Decomposition of Groups1.
Formaliz. Math., 2015

Equivalent Expressions of Direct Sum Decomposition of Groups1.
Formaliz. Math., 2015

Separability of Real Normed Spaces and Its Basic Properties.
Formaliz. Math., 2015

σ-ring and σ-algebra of Sets1.
Formaliz. Math., 2015

Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

2014
Topological Properties of Real Normed Space.
Formaliz. Math., 2014

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.
Formaliz. Math., 2014

Torsion Z-module and Torsion-free Z-module.
Formaliz. Math., 2014

2013
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order.
Formaliz. Math., 2013


  Loading...