Micromagnetic actuators. - Kenichi Arai; Takashi Honda (Robotica, 1996)

Adaptive β Scheduling Learning Method of Finite State Automata by Recurrent Neural Networks. - Kenichi Arai; Ryohei Nakano (ICONIP (1), 1997)

Secret key agreement under sampling attack. - Jun Muramatsu; Kazuyuki Yoshimura; Kenichi Arai; Peter Davis (ISIT, 2005)

Secret Key Capacity for Optimally Correlated Sources Under Sampling Attack. - Jun Muramatsu; Kazuyuki Yoshimura; Kenichi Arai; Peter Davis (IEEE Trans. Inf. Theory, 2006)

Properties of Primes and Multiplicative Group of a Field. - Kenichi Arai; Hiroyuki Okazaki (Formaliz. Math., 2009)

Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker. - Kenichi Arai; Nobuaki Kondo; Hiroyuki Okazaki (FCS, 2010)

Normal Subgroup of Product of Groups. - Hiroyuki Okazaki; Kenichi Arai; Yasunari Shidama (Formaliz. Math., 2011)

Isomorphisms of Direct Products of Finite Cyclic Groups. - Kenichi Arai; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

N-Dimensional Binary Vector Spaces. - Kenichi Arai; Hiroyuki Okazaki (Formaliz. Math., 2013)

Formalization of the Advanced Encryption Standard. Part I. - Kenichi Arai; Hiroyuki Okazaki (Formaliz. Math., 2013)

Difference of Function on Vector Space over F. - Kenichi Arai; Ken Wakabayashi; Hiroyuki Okazaki (Formaliz. Math., 2014)

Social Media Mediation System for Closing Inter-Generational Communication Gap. - Toru Kobayashi; Kazushige Katsuragi; Kenichi Arai; Tomoya Sakai 002; Makoto Fujimura (COMPSAC Workshops, 2016)

Qualification confirmation system for smartphone application registration using SNS. - Toru Kobayashi; Takuya Tateishi; Kenichi Arai; Yu Ichifuji (GCCE, 2016)

Social Media Mediation System for Elderly People: Message Exchange Learning Type Switching Method. - Toru Kobayashi; Kazushige Katsuragi; Taishi Miyazaki; Kenichi Arai; Tomoya Sakai 002; Makoto Fujimura (NBiS, 2016)

On-Demand Barrier-Free Street View System Using Sensor Information from General-Purpose Wheelchair Users. - Kenichi Arai; Takuya Tateishi; Toru Kobayashi; Noboru Sonehara (COMPSAC (2), 2017)

SNS Agency Robot for Elderly People Using External Cloud-Based Services. - Toru Kobayashi; Kazushige Katsuragi; Taishi Miyazaki; Kenichi Arai (COMPSAC (1), 2017)

Bio-information inference platform using underwear-type wearable device. - Toru Kobayashi; Kenichi Arai; Hirofumi Miyajima; Wataru Tarumi; Hirokazu Doi; Kazuyuki Shinohara (ICCE-Berlin, 2017)

Social Media Intermediation Robot for Elderly People Using External Cloud-Based Services. - Toru Kobayashi; Kazushige Katsuragi; Taishi Miyazaki; Kenichi Arai (MobileCloud, 2017)

Chaotic laser based physical random bit streaming system with a computer application interface. - Susumu Shinohara; Kenichi Arai; Peter Davis; Satoshi Sunada; Takahisa Harayama (CoRR, 2017)

An Application Framework for Smart Education System Based on Mobile and Cloud Systems. - Toru Kobayashi; Kenichi Arai; Hiroyuki Sato; Shigeaki Tanimoto; Atsushi Kanai (IEICE Trans. Inf. Syst., 2017)

Linking Directly Between a Media Content and its Usage Record on Web Services. - Makoto Urakawa; Kenichi Arai; Toru Kobayashi (GCCE, 2018)

Dementia Diagnosis System Using Social Media Agency Robot. - Toru Kobayashi; Taishi Miyazaki; Kenichi Arai (ICMU, 2018)

Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif. - Hiroyuki Okazaki; Yuichi Futa; Kenichi Arai (ISITA, 2018)

SNS Agency Robot for Elderly People Realizing Rich Media Communication. - Toru Kobayashi; Koushin Kuriyama; Kenichi Arai (MobileCloud, 2018)

Chaotic Laser Based Online Physical Random Bit Streaming System and Its Application to High-Throughput Encryption. - Kenichi Arai; Susumu Shinohara; Peter Davis; Satoshi Sunada; Takahisa Harayama (OFC, 2018)

SNS Door Phone as Robotic Process Automation. - Toru Kobayashi; Ryota Nakashima; Rinsuke Uchida; Kenichi Arai (ISS, 2018)

Social Media Agency Robot for Elderly People. - Toru Kobayashi; Taishi Miyazaki; Rinsuke Uchida; Hiroe Tanaka; Kenichi Arai (J. Inf. Process., 2018)

Communication Robot for Elderly Based on Robotic Process Automation. - Toru Kobayashi; Kenichi Arai; Tetsuo Imai; Shigeaki Tanimoto; Hiroyuki Sato; Atsushi Kanai (COMPSAC (2), 2019)

Bilingual SNS Agency Robot for Person with Disability. - Toru Kobayashi; Nobuyuki Yonaga; Tetsuo Imai; Kenichi Arai (GCCE, 2019)

Dementia Screening System based on SNS Agency Robot. - Toru Kobayashi; Naohiro Sameshima; Tetsuo Imai; Kenichi Arai; Tomoki Watanabe; Teiichiro Miyazaki; Akira Tsujino (ICCE-Berlin, 2019)

Slope Information Collection System Using Sensor Information from General-Purpose Wheelchair Users. - Kenichi Arai; Chisato Miura; Toru Kobayashi (ICCE, 2019)

Smart Ambulance Approach Alarm System Using Smartphone. - Toru Kobayashi; Fukuyoshi Kimura; Kenichi Arai (ICCE, 2019)

Construction of Linked Data Platform Implementing Feedback Data Model of Usage Records. - Makoto Urakawa; Kenichi Arai; Toru Kobayashi (ICCE, 2019)

Shopping Refugees Support Robot with SNS Agency Function. - Toru Kobayashi; Takahiro Honda; Kenichi Arai; Tetsuo Imai (ICMU, 2019)

Predicting Speech Intelligibility of Enhanced Speech Using Phone Accuracy of DNN-Based ASR System. - Kenichi Arai; Shoko Araki; Atsunori Ogawa; Keisuke Kinoshita; Tomohiro Nakatani; Katsuhiko Yamamoto; Toshio Irino (INTERSPEECH, 2019)

Smart Aquaculture System: A Remote Feeding System with Smartphones. - Tetsuo Imai; Kenichi Arai; Toru Kobayashi (ISCT, 2019)

RPA Constitution Model for Consumer Service System based on IoT. - Toru Kobayashi; Kenichi Arai; Tetsuo Imai; Tomoki Watanabe (ISCT, 2019)

Smart Ambulance Approach Alarm System Using Smartphone. - Toru Kobayashi; Fukuyoshi Kimura; Tetsuo Imai; Kenichi Arai (IEICE Trans. Inf. Syst., 2019)

Smart Cash Tray for Mobile Payment. - Satoshi Arima; Yuki Shiraishi; Satoshi Ichimaru; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (GCCE, 2020)

Heat Stroke Prevention System for Young Athletes. - Kenya Shirahama; Yoshifumi Onimaru; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (GCCE, 2020)

Multimodal User Interface for QR Code based Indoor Navigation System. - Tomoya Wada; Yuta Kishimoto; Eisuke Nakazawa; Tetsuo Imai; Tomohito Suzuki; Kenichi Arai; Toru Kobayashi (GCCE, 2020)

Stroke Signs Detection System by SNS Agency Robot. - Toru Kobayashi; Kenichi Arai; Tetsuo Imai; Koushin Kuriyama; S. Ichimaru; Tomoki Watanabe (ICCE, 2020)

Predicting Intelligibility of Enhanced Speech Using Posteriors Derived from DNN-Based ASR System. - Kenichi Arai; Shoko Araki; Atsunori Ogawa; Keisuke Kinoshita; Tomohiro Nakatani; Toshio Irino (INTERSPEECH, 2020)

Formal Verification of Merkle-Damgård Construction in ProVerif. - Takehiko Mieno; Togo Yoshimura; Hiroyuki Okazaki; Yuichi Futa; Kenichi Arai (ISITA, 2020)

Dementia Detection by Shopping Refugees Support Robot. - Yuta Kishimoto; Kenichi Arai; Tetsuo Imai; Toru Kobayashi (LifeTech, 2020)

A NAS Integrated File System for On-site IoT Data Storage. - Yuki Okamoto; Kenichi Arai; Toru Kobayashi; Takuya Fujihashi; Takashi Watanabe 001; Shunsuke Saruwatari (PerCom Workshops, 2020)

Service-Oriented Software Design Model for Communication Robot. - Toru Kobayashi; Kenichi Arai; Tetsuo Imai; Shigeaki Tanimoto; Hiroyuki Sato; Atsushi Kanai; Teiichiro Miyazaki; Akira Tsujino (SOSE, 2020)

Diagnostic Imaging Support System for Rheumatoid Arthritis Using Ultrasound Images. - Kenichi Arai; Chisato Miura; Shinya Kawashiri; Tetsuo Imai; Toru Kobayashi (COMPSAC, 2021)

Development of Observation Device with Multi Sensor Platform for Underwater Aquaculture Cages. - Kazuki Fukae; Tetsuo Imai; Shintaro Yamabe; Kenichi Arai; Toru Kobayashi (COMPSAC, 2021)

Research on AI for English Conversation for Elementary School Students. - Takuma Akiyama; Kenichi Arai; Toru Kobayashi; Norio Nakamura (GCCE, 2021)

Photovoltaic Power Prediction System Followable to Gaps of Weather Forecasts. - Tetsuo Imai; Satoshi Ichimaru; Kenichi Arai; Toru Kobayashi (GCCE, 2021)

Chameleon: Contactless Operation Method for Public Devices. - Toru Kobayashi; Takashi Muronosono; Fukuyoshi Kimura; Kazuki Fukae; Tetsuo Imai; Kenichi Arai (GCCE, 2021)

Machining Trouble Prediction System Using Auto-Encoders. - Kenya Shirahama; Kenichi Arai; Toru Kobayashi (GCCE, 2021)

Multi-sensor Platform for Smart Aquaculture. - Shintaro Yamabe; Kazuki Fukae; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (GCCE, 2021)

Dementia Sign Detection System Using Digital Twin. - Toru Kobayashi; Kazuki Fukae; Tetsuo Imai; Kenichi Arai (CANDAR, 2021)

Personal and Intuitive Indoor Navigation System based on Digital Twin. - Toru Kobayashi; Yoshifumi Onimaru; Kazuki Fukae; Tetsuo Imai; Kenichi Arai; Eisuke Nakazawa; Tomohito Suzuki (ICCE-Berlin, 2021)

Dementia Sign Detection System using SNS Agency Robot, Ultra-small Sensor, and Wearable Device. - Kenichi Arai; Yuta Kishimoto; Tetsuo Imai; Toru Kobayashi (ICCE, 2021)

Dementia Evaluation System Using a Daily Life Event. - Toru Kobayashi; Yuta Kishimoto; Tetsuo Imai; Kenichi Arai (ICCE, 2021)

Feature Extraction System during Bolt Tightening Work by Regression CNN and Classification CNN. - Koichi Murai; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (ICCE, 2021)

Frailty Meter for Healthy Long Life. - Toru Kobayashi; Yuta Kishimoto; Fukuyoshi Kimura; Kazuki Fukae; Tetsuo Imai; Kenichi Arai (ICMU, 2021)

Comparison of Remote Experiments Using Crowdsourcing and Laboratory Experiments on Speech Intelligibility. - Ayako Yamamoto; Toshio Irino; Kenichi Arai; Shoko Araki; Atsunori Ogawa; Keisuke Kinoshita; Tomohiro Nakatani (Interspeech, 2021)

Proposal of Close Contact Confirmation Method in Cyberspace for Influencer Marketing. - Atsushi Isozaki; Naoki Suyama; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (LifeTech, 2021)

Research on Contactless Operation Method for Public Equipment Using Personal Smartphone: *Note: Sub-titles are not captured in Xplore and should not be used. - Hirokazu Kumamoto; Takashi Muronosono; Shinji Ohta; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (LifeTech, 2021)

Research on Rheumatoid Arthritis Detection Support System. - Takashi Muronosono; Toshiko Nishiyama; Shinya Kawajiri; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (LifeTech, 2021)

Matching Application of Service Consumption: Yattekoh. - Shoya Ogawa; Hu Urasaki; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (LifeTech, 2021)

Interpretable image features for anomaly identification on hexagonal net knitting machines. - Tetsuo Imai; Shoya Ogawa; Nobuyuki Yonaga; Kazuki Fukae; Kenichi Arai; Toru Kobayashi (ETFA, 2022)

Amico: Message Exchange Service for Elderly People. - Atsushi Isozaki; Kazuki Fukae; Kenichi Arai; Toru Kobayashi; Masahide Nakamura (GCCE, 2022)

Effectiveness of Machine Learning to Predict Machining Troubles. - Ryusei Kunitake; Kenichi Arai; Toru Kobayashi (GCCE, 2022)

Quantification of Fish Behavior Using Optical Flow. - Yudai Tanaka; Shintaro Yamabe; Kazuki Fukae; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (GCCE, 2022)

Digital Twin Agent for Super-Aged Society. - Toru Kobayashi; Kazuki Fukae; Tetsuo Imai; Kenichi Arai (ICCE, 2022)

Metaverse conversion method of existing SNS using Bot mechanism. - Toru Kobayashi; Atsushi Isozaki; Kazuki Fukae; Kenichi Arai; Masahide Nakamura (IIAI-AAI-Winter, 2022)

Subjective intelligibility of speech sounds enhanced by ideal ratio mask via crowdsourced remote experiments with effective data screening. - Ayako Yamamoto; Toshio Irino; Shoko Araki; Kenichi Arai; Atsunori Ogawa; Keisuke Kinoshita; Tomohiro Nakatani (CoRR, 2022)

LINE Metaverse for elderly people. - Toru Kobayashi; Atsushi Isozaki; Kazuki Fukae; Kenichi Arai; Daiki Togawa; Masahide Nakamura (COMPSAC, 2023)

Surface Roughness Prediction System for Blade Machining Using Machine Learnings. - Kakeru Eshita; Kousei Nishizono; Ryusei Kunitake; Hirohumi Miyazima; Kenichi Arai; Toru Kobayashi (GCCE, 2023)

A Proposal for Expansion of Conversation Variations in an English Conversation Learning System for Elementary School Students. - Mioko Matsuo; Takuma Akiyama; Kenichi Arai; Toru Kobayashi; Norio Nakamura (GCCE, 2023)

IoT/AI Technology for Aqua Colony. - Toru Kobayashi; Yudai Tanaka; Daiki Togawa; Junpei Takaishi; Rina Ishishita; Kazuki Fukae; Tetsuo Imai; Kenichi Arai (IIAI-AAI-Winter, 2023)

Impact of Residual Noise and Artifacts in Speech Enhancement Errors on Intelligibility of Human and Machine. - Shoko Araki; Ayako Yamamoto; Tsubasa Ochiai; Kenichi Arai; Atsunori Ogawa; Tomohiro Nakatani; Toshio Irino (INTERSPEECH, 2023)

Aqua Colony for Fully Automated Aquaculture. - Torn Kobayashi; Yudai Tanaka; Kazuki Fukae; Tetsuo Imai; Kenichi Arai (MobileCloud, 2023)

Fish School Behaviour Classification for Optimal Feeding Using Dense Optical Flow. - Kazuki Fukae; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (IEICE Trans. Inf. Syst., 2023)

Fish School Behaviour Classification for Optimal Feeding Using Rose Diagram. - Kazuki Fukae; Yudai Tanaka; Tetsuo Imai; Kenichi Arai; Toru Kobayashi (ICCE, 2024)

Formal Security Verification for Searchable Symmetric Encryption Using ProVerif. - Takehiko Mieno; Hiroyuki Okazaki; Kenichi Arai; Yuichi Futa; Hiroaki Yamamoto (ISITA, 2024)

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. - Takehiko Mieno; Hiroyuki Okazaki; Kenichi Arai; Yuichi Futa (IEEE Access, 2024)

Proposal for Enhancing Manufacturing Efficiency with Generative AI and Surveillance Cameras. - Takao Inoue; Kazuki Fukae; Kenichi Arai; Toru Kobayashi (ICCE, 2025)