TDG
Scholar
Committed to research!
Version 1.7
Home

Bibliography

Writers

Journals

Conferences

Publishers
Help

News
Bibliography
Refine on click

Report

Share
A total of 15 records were found in 0.812 seconds
Fetch

Report

Google
Development of a Secure CrossInstitutional Data Collection System Based on Distributed Standardized EMR Storage
Katsuya Tanaka
,
Ryuichi Yamamoto
,
Kazuhisa Nakasho
,
Atsuko Miyaji
EFMISTC
,
3539
,
2018
Fetch

Report

Google
PrivacyPreserving Integration of Medical Data  A Practical Multiparty Private Set Intersection
Atsuko Miyaji
,
Kazuhisa Nakasho
,
Shohei Nishida
J. Medical Systems
,
41(3):37:137:10
,
2017
Fetch

Report

Google
Implicit Function Theorem. Part I
Kazuhisa Nakasho
,
Yuichi Futa
,
Yasunari Shidama
Formalized Mathematics
,
25(4):269281
,
2017
Fetch

Report

Google
Context based semantic scene classification and recognition used for a visionbased mobile robot
Hirokazu Madokoro
,
Kazuhito Sato
,
Kazuhisa Nakasho
,
Nobuhiro Shimoi
ROMAN
,
13321337
,
2017
Fetch

Report

Google
Conservation Rules of Direct Sum Decomposition of Groups
Kazuhisa Nakasho
,
Hiroshi Yamazaki
,
Hiroyuki Okazaki
,
Yasunari Shidama
Formalized Mathematics
,
24(1):8194
,
2016
Fetch

Report

Google
Definition and Properties of Direct Sum Decomposition of Groups1
Kazuhisa Nakasho
,
Hiroshi Yamazaki
,
Hiroyuki Okazaki
,
Yasunari Shidama
Formalized Mathematics
,
23(1):1527
,
2015
Fetch

Report

Google
Separability of Real Normed Spaces and Its Basic Properties
Kazuhisa Nakasho
,
Noboru Endou
Formalized Mathematics
,
23(1):5965
,
2015
Fetch

Report

Google
Documentation Generator Focusing on Symbols for the HTMLized Mizar Library
Kazuhisa Nakasho
,
Yasunari Shidama
CICM
,
343347
,
2015
Fetch

Report

Google
Documentation Generator Focusing on Symbols for the HTMLized Mizar Library
Kazuhisa Nakasho
,
Yasunari Shidama
CoRR
,
abs/1505.01577
,
2015
Fetch

Report

Google
Equivalent Expressions of Direct Sum Decomposition of Groups1
Kazuhisa Nakasho
,
Hiroyuki Okazaki
,
Hiroshi Yamazaki
,
Yasunari Shidama
Formalized Mathematics
,
23(1):6773
,
2015
Fetch

Report

Google
σring and σalgebra of Sets1
Noboru Endou
,
Kazuhisa Nakasho
,
Yasunari Shidama
Formalized Mathematics
,
23(1):5157
,
2015
Fetch

Report

Google
Torsion Zmodule and Torsionfree Zmodule
Yuichi Futa
,
Hiroyuki Okazaki
,
Kazuhisa Nakasho
,
Yasunari Shidama
Formalized Mathematics
,
22(4):277289
,
2014
Fetch

Report

Google
Topological Properties of Real Normed Space
Kazuhisa Nakasho
,
Yuichi Futa
,
Yasunari Shidama
Formalized Mathematics
,
22(3):209223
,
2014
Fetch

Report

Google
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Zmodule
Kazuhisa Nakasho
,
Yuichi Futa
,
Hiroyuki Okazaki
,
Yasunari Shidama
Formalized Mathematics
,
22(3):189198
,
2014
Fetch

Report

Google
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Hiroshi Yamazaki
,
Hiroyuki Okazaki
,
Kazuhisa Nakasho
,
Yasunari Shidama
Formalized Mathematics
,
21(3):207211
,
2013