Kenichi Arai

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

Chameleon: Contactless Operation Method for Public Devices.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

Photovoltaic Power Prediction System Followable to Gaps of Weather Forecasts.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

Research on AI for English Conversation for Elementary School Students.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

Development of Observation Device with Multi Sensor Platform for Underwater Aquaculture Cages.

[BibT_eX]

[DOI]

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

Diagnostic Imaging Support System for Rheumatoid Arthritis Using Ultrasound Images.

[BibT_eX]

[DOI]

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Service-Oriented Software Design Model for Communication Robot.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

A NAS Integrated File System for On-site IoT Data Storage.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020

Dementia Detection by Shopping Refugees Support Robot.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Global Conference on Life Sciences and Technologies, 2020

Formal Verification of Merkle-Damgård Construction in ProVerif.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Theory and Its Applications, 2020

Predicting Intelligibility of Enhanced Speech Using Posteriors Derived from DNN-Based ASR System.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference of the International Speech Communication Association, 2020

Stroke Signs Detection System by SNS Agency Robot.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Consumer Electronics (ICCE), 2020

Multimodal User Interface for QR Code based Indoor Navigation System.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Heat Stroke Prevention System for Young Athletes.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Smart Cash Tray for Mobile Payment.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

2019

Smart Ambulance Approach Alarm System Using Smartphone.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2019

RPA Constitution Model for Consumer Service System based on IoT.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

Smart Aquaculture System: A Remote Feeding System with Smartphones.

[BibT_eX]

[DOI]

Tetsuo Imai

Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

Predicting Speech Intelligibility of Enhanced Speech Using Phone Accuracy of DNN-Based ASR System.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Conference of the International Speech Communication Association, 2019

Shopping Refugees Support Robot with SNS Agency Function.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Mobile Computing and Ubiquitous Network, 2019

Construction of Linked Data Platform Implementing Feedback Data Model of Usage Records.

[BibT_eX]

[DOI]

Makoto Urakawa

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Smart Ambulance Approach Alarm System Using Smartphone.

[BibT_eX]

[DOI]

Fukuyoshi Kimura

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Slope Information Collection System Using Sensor Information from General-Purpose Wheelchair Users.

[BibT_eX]

[DOI]

Chisato Miura

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

Dementia Screening System based on SNS Agency Robot.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Consumer Electronics, 2019

Bilingual SNS Agency Robot for Person with Disability.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th Global Conference on Consumer Electronics, 2019

Communication Robot for Elderly Based on Robotic Process Automation.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Social Media Agency Robot for Elderly People.

[BibT_eX]

[DOI]

J. Inf. Process., 2018

SNS Door Phone as Robotic Process Automation.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces, 2018

Chaotic Laser Based Online Physical Random Bit Streaming System and Its Application to High-Throughput Encryption.

[BibT_eX]

[DOI]

Proceedings of the Optical Fiber Communications Conference and Exposition, 2018

SNS Agency Robot for Elderly People Realizing Rich Media Communication.

[BibT_eX]

[DOI]

Koushin Kuriyama

Proceedings of the 6th IEEE International Conference on Mobile Cloud Computing, 2018

Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.

[BibT_eX]

[DOI]

Yuichi Futa

Proceedings of the International Symposium on Information Theory and Its Applications, 2018

Dementia Diagnosis System Using Social Media Agency Robot.

[BibT_eX]

[DOI]

Taishi Miyazaki

Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018

Linking Directly Between a Media Content and its Usage Record on Web Services.

[BibT_eX]

[DOI]

Makoto Urakawa

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

2017

An Application Framework for Smart Education System Based on Mobile and Cloud Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2017

Chaotic laser based physical random bit streaming system with a computer application interface.

[BibT_eX]

[DOI]

CoRR, 2017

Social Media Intermediation Robot for Elderly People Using External Cloud-Based Services.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Conference on Mobile Cloud Computing, 2017

Bio-information inference platform using underwear-type wearable device.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Consumer Electronics - Berlin, 2017

SNS Agency Robot for Elderly People Using External Cloud-Based Services.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

On-Demand Barrier-Free Street View System Using Sensor Information from General-Purpose Wheelchair Users.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Social Media Mediation System for Elderly People: Message Exchange Learning Type Switching Method.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Network-Based Information Systems, 2016

Qualification confirmation system for smartphone application registration using SNS.

[BibT_eX]

[DOI]

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

Social Media Mediation System for Closing Inter-Generational Communication Gap.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2014

Difference of Function on Vector Space over F.

[BibT_eX]

[DOI]

Ken Wakabayashi

Formaliz. Math., 2014

2013

Formalization of the Advanced Encryption Standard. Part I.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

N-Dimensional Binary Vector Spaces.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

2012

Isomorphisms of Direct Products of Finite Cyclic Groups.

[BibT_eX]

[DOI]

Yasunari Shidama

Formaliz. Math., 2012

2011

Normal Subgroup of Product of Groups.

[BibT_eX]

[DOI]

Yasunari Shidama

Formaliz. Math., 2011

2010

Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker.

[BibT_eX]

Nobuaki Kondo

Proceedings of the 2010 International Conference on Foundations of Computer Science, 2010

2009

Properties of Primes and Multiplicative Group of a Field.

[BibT_eX]

[DOI]

Formaliz. Math., 2009

2006

Secret Key Capacity for Optimally Correlated Sources Under Sampling Attack.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2006

2005

Secret key agreement under sampling attack.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Symposium on Information Theory, 2005

1997

Adaptive β Scheduling Learning Method of Finite State Automata by Recurrent Neural Networks.

[BibT_eX]

Ryohei Nakano

Proceedings of the Progress in Connectionist-Based Information Systems: Proceedings of the 1997 International Conference on Neural Information Processing and Intelligent Information Systems, 1997

1996

Micromagnetic actuators.

[BibT_eX]

[DOI]