default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKenichi Arai
Person information
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j13]Takehiko Mieno
, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa:
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. IEEE Access 12: 31605-31625 (2024)- [c66]Kazuki Fukae, Yudai Tanaka, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Fish School Behaviour Classification for Optimal Feeding Using Rose Diagram. ICCE 2024: 1-2 - 2023
- [j12]Kazuki Fukae, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Fish School Behaviour Classification for Optimal Feeding Using Dense Optical Flow. IEICE Trans. Inf. Syst. 106(9): 1472-1479 (2023) - [c65]Toru Kobayashi, Atsushi Isozaki, Kazuki Fukae, Kenichi Arai, Daiki Togawa, Masahide Nakamura:
LINE Metaverse for elderly people. COMPSAC 2023: 1299-1302 - [c64]Kakeru Eshita, Kousei Nishizono, Ryusei Kunitake, Hirohumi Miyazima, Kenichi Arai, Toru Kobayashi:
Surface Roughness Prediction System for Blade Machining Using Machine Learnings. GCCE 2023: 643-644 - [c63]Mioko Matsuo, Takuma Akiyama, Kenichi Arai, Toru Kobayashi, Norio Nakamura:
A Proposal for Expansion of Conversation Variations in an English Conversation Learning System for Elementary School Students. GCCE 2023: 645-646 - [c62]Toru Kobayashi, Yudai Tanaka, Daiki Togawa, Junpei Takaishi, Rina Ishishita, Kazuki Fukae, Tetsuo Imai, Kenichi Arai:
IoT/AI Technology for Aqua Colony. IIAI-AAI-Winter 2023: 306-311 - [c61]Shoko Araki, Ayako Yamamoto, Tsubasa Ochiai, Kenichi Arai, Atsunori Ogawa, Tomohiro Nakatani, Toshio Irino:
Impact of Residual Noise and Artifacts in Speech Enhancement Errors on Intelligibility of Human and Machine. INTERSPEECH 2023: 2503-2507 - [c60]Torn Kobayashi, Yudai Tanaka, Kazuki Fukae, Tetsuo Imai, Kenichi Arai:
Aqua Colony for Fully Automated Aquaculture. MobileCloud 2023: 11-16 - 2022
- [c59]Tetsuo Imai, Shoya Ogawa, Nobuyuki Yonaga, Kazuki Fukae, Kenichi Arai, Toru Kobayashi:
Interpretable image features for anomaly identification on hexagonal net knitting machines. ETFA 2022: 1-8 - [c58]Yudai Tanaka, Shintaro Yamabe, Kazuki Fukae, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Quantification of Fish Behavior Using Optical Flow. GCCE 2022: 125-126 - [c57]Ryusei Kunitake, Kenichi Arai, Toru Kobayashi:
Effectiveness of Machine Learning to Predict Machining Troubles. GCCE 2022: 129-130 - [c56]Atsushi Isozaki, Kazuki Fukae, Kenichi Arai, Toru Kobayashi, Masahide Nakamura:
Amico: Message Exchange Service for Elderly People. GCCE 2022: 268-269 - [c55]Toru Kobayashi, Kazuki Fukae, Tetsuo Imai, Kenichi Arai:
Digital Twin Agent for Super-Aged Society. ICCE 2022: 1-6 - [c54]Toru Kobayashi, Atsushi Isozaki, Kazuki Fukae, Kenichi Arai, Masahide Nakamura:
Metaverse conversion method of existing SNS using Bot mechanism. IIAI-AAI-Winter 2022: 21-24 - [i3]Ayako Yamamoto, Toshio Irino, Shoko Araki, Kenichi Arai, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani:
Subjective intelligibility of speech sounds enhanced by ideal ratio mask via crowdsourced remote experiments with effective data screening. CoRR abs/2203.16760 (2022) - 2021
- [c53]Kenichi Arai, Chisato Miura, Shinya Kawashiri, Tetsuo Imai, Toru Kobayashi:
Diagnostic Imaging Support System for Rheumatoid Arthritis Using Ultrasound Images. COMPSAC 2021: 599-607 - [c52]Kazuki Fukae, Tetsuo Imai, Shintaro Yamabe, Kenichi Arai, Toru Kobayashi:
Development of Observation Device with Multi Sensor Platform for Underwater Aquaculture Cages. COMPSAC 2021: 1633-1638 - [c51]Shintaro Yamabe, Kazuki Fukae, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Multi-sensor Platform for Smart Aquaculture. GCCE 2021: 356-357 - [c50]Kenya Shirahama, Kenichi Arai, Toru Kobayashi:
Machining Trouble Prediction System Using Auto-Encoders. GCCE 2021: 362-363 - [c49]Takuma Akiyama, Kenichi Arai, Toru Kobayashi, Norio Nakamura:
Research on AI for English Conversation for Elementary School Students. GCCE 2021: 503-504 - [c48]Tetsuo Imai, Satoshi Ichimaru, Kenichi Arai, Toru Kobayashi:
Photovoltaic Power Prediction System Followable to Gaps of Weather Forecasts. GCCE 2021: 507-509 - [c47]Toru Kobayashi, Takashi Muronosono, Fukuyoshi Kimura, Kazuki Fukae, Tetsuo Imai, Kenichi Arai:
Chameleon: Contactless Operation Method for Public Devices. GCCE 2021: 597-598 - [c46]Toru Kobayashi, Kazuki Fukae, Tetsuo Imai, Kenichi Arai:
Dementia Sign Detection System Using Digital Twin. CANDAR 2021: 127-133 - [c45]Toru Kobayashi, Yoshifumi Onimaru, Kazuki Fukae, Tetsuo Imai, Kenichi Arai, Eisuke Nakazawa, Tomohito Suzuki:
Personal and Intuitive Indoor Navigation System based on Digital Twin. ICCE-Berlin 2021: 1-6 - [c44]Kenichi Arai, Yuta Kishimoto, Tetsuo Imai, Toru Kobayashi:
Dementia Sign Detection System using SNS Agency Robot, Ultra-small Sensor, and Wearable Device. ICCE 2021: 1-5 - [c43]Toru Kobayashi, Yuta Kishimoto, Tetsuo Imai, Kenichi Arai:
Dementia Evaluation System Using a Daily Life Event. ICCE 2021: 1-5 - [c42]Koichi Murai, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Feature Extraction System during Bolt Tightening Work by Regression CNN and Classification CNN. ICCE 2021: 1-4 - [c41]Toru Kobayashi, Yuta Kishimoto, Fukuyoshi Kimura, Kazuki Fukae, Tetsuo Imai, Kenichi Arai:
Frailty Meter for Healthy Long Life. ICMU 2021: 1-6 - [c40]Ayako Yamamoto, Toshio Irino, Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani:
Comparison of Remote Experiments Using Crowdsourcing and Laboratory Experiments on Speech Intelligibility. Interspeech 2021: 181-185 - [c39]Takashi Muronosono, Toshiko Nishiyama, Shinya Kawajiri, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Research on Rheumatoid Arthritis Detection Support System. LifeTech 2021: 122-123 - [c38]Atsushi Isozaki, Naoki Suyama, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Proposal of Close Contact Confirmation Method in Cyberspace for Influencer Marketing. LifeTech 2021: 305-306 - [c37]Hirokazu Kumamoto, Takashi Muronosono, Shinji Ohta, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Research on Contactless Operation Method for Public Equipment Using Personal Smartphone: *Note: Sub-titles are not captured in Xplore and should not be used. LifeTech 2021: 307-308 - [c36]Shoya Ogawa, Hu Urasaki, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Matching Application of Service Consumption: Yattekoh. LifeTech 2021: 392-393 - [i2]Ayako Yamamoto, Toshio Irino, Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani:
Comparison of remote experiments using crowdsourcing and laboratory experiments on speech intelligibility. CoRR abs/2104.10001 (2021) - 2020
- [c35]Satoshi Arima, Yuki Shiraishi, Satoshi Ichimaru, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Smart Cash Tray for Mobile Payment. GCCE 2020: 231-232 - [c34]Tomoya Wada, Yuta Kishimoto, Eisuke Nakazawa, Tetsuo Imai, Tomohito Suzuki, Kenichi Arai, Toru Kobayashi:
Multimodal User Interface for QR Code based Indoor Navigation System. GCCE 2020: 343-344 - [c33]Kenya Shirahama, Yoshifumi Onimaru, Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Heat Stroke Prevention System for Young Athletes. GCCE 2020: 397-398 - [c32]Toru Kobayashi, Kenichi Arai, Tetsuo Imai, Koushin Kuriyama, S. Ichimaru, Tomoki Watanabe:
Stroke Signs Detection System by SNS Agency Robot. ICCE 2020: 1-2 - [c31]Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani, Toshio Irino:
Predicting Intelligibility of Enhanced Speech Using Posteriors Derived from DNN-Based ASR System. INTERSPEECH 2020: 1156-1160 - [c30]Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai:
Formal Verification of Merkle-Damgård Construction in ProVerif. ISITA 2020: 602-606 - [c29]Yuta Kishimoto, Kenichi Arai, Tetsuo Imai, Toru Kobayashi:
Dementia Detection by Shopping Refugees Support Robot. LifeTech 2020: 125-126 - [c28]Yuki Okamoto, Kenichi Arai, Toru Kobayashi, Takuya Fujihashi, Takashi Watanabe, Shunsuke Saruwatari:
A NAS Integrated File System for On-site IoT Data Storage. PerCom Workshops 2020: 1-7 - [c27]Toru Kobayashi, Kenichi Arai, Tetsuo Imai, Shigeaki Tanimoto, Hiroyuki Sato, Atsushi Kanai, Teiichiro Miyazaki, Akira Tsujino:
Service-Oriented Software Design Model for Communication Robot. SOSE 2020: 31-39
2010 – 2019
- 2019
- [j11]Toru Kobayashi, Fukuyoshi Kimura, Tetsuo Imai, Kenichi Arai:
Smart Ambulance Approach Alarm System Using Smartphone. IEICE Trans. Inf. Syst. 102-D(9): 1689-1692 (2019) - [c26]Toru Kobayashi, Kenichi Arai, Tetsuo Imai, Shigeaki Tanimoto, Hiroyuki Sato, Atsushi Kanai:
Communication Robot for Elderly Based on Robotic Process Automation. COMPSAC (2) 2019: 251-256 - [c25]Toru Kobayashi, Nobuyuki Yonaga, Tetsuo Imai, Kenichi Arai:
Bilingual SNS Agency Robot for Person with Disability. GCCE 2019: 74-75 - [c24]Toru Kobayashi, Naohiro Sameshima, Tetsuo Imai, Kenichi Arai, Tomoki Watanabe, Teiichiro Miyazaki, Akira Tsujino:
Dementia Screening System based on SNS Agency Robot. ICCE-Berlin 2019: 306-309 - [c23]Kenichi Arai, Chisato Miura, Toru Kobayashi:
Slope Information Collection System Using Sensor Information from General-Purpose Wheelchair Users. ICCE 2019: 1-2 - [c22]Toru Kobayashi, Fukuyoshi Kimura, Kenichi Arai:
Smart Ambulance Approach Alarm System Using Smartphone. ICCE 2019: 1-2 - [c21]Makoto Urakawa, Kenichi Arai, Toru Kobayashi:
Construction of Linked Data Platform Implementing Feedback Data Model of Usage Records. ICCE 2019: 1-5 - [c20]Toru Kobayashi, Takahiro Honda, Kenichi Arai, Tetsuo Imai:
Shopping Refugees Support Robot with SNS Agency Function. ICMU 2019: 1-2 - [c19]Kenichi Arai, Shoko Araki, Atsunori Ogawa, Keisuke Kinoshita, Tomohiro Nakatani, Katsuhiko Yamamoto, Toshio Irino:
Predicting Speech Intelligibility of Enhanced Speech Using Phone Accuracy of DNN-Based ASR System. INTERSPEECH 2019: 4275-4279 - [c18]Toru Kobayashi, Kenichi Arai, Tetsuo Imai, Tomoki Watanabe:
RPA Constitution Model for Consumer Service System based on IoT. ISCT 2019: 82-86 - [c17]Tetsuo Imai, Kenichi Arai, Toru Kobayashi:
Smart Aquaculture System: A Remote Feeding System with Smartphones. ISCT 2019: 93-96 - 2018
- [j10]Toru Kobayashi, Taishi Miyazaki, Rinsuke Uchida, Hiroe Tanaka, Kenichi Arai:
Social Media Agency Robot for Elderly People. J. Inf. Process. 26: 736-746 (2018) - [c16]Makoto Urakawa, Kenichi Arai, Toru Kobayashi:
Linking Directly Between a Media Content and its Usage Record on Web Services. GCCE 2018: 851-852 - [c15]Toru Kobayashi, Taishi Miyazaki, Kenichi Arai:
Dementia Diagnosis System Using Social Media Agency Robot. ICMU 2018: 1-2 - [c14]Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai:
Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif. ISITA 2018: 326-330 - [c13]Toru Kobayashi, Koushin Kuriyama, Kenichi Arai:
SNS Agency Robot for Elderly People Realizing Rich Media Communication. MobileCloud 2018: 109-112 - [c12]Kenichi Arai, Susumu Shinohara, Peter Davis, Satoshi Sunada, Takahisa Harayama:
Chaotic Laser Based Online Physical Random Bit Streaming System and Its Application to High-Throughput Encryption. OFC 2018: 1-3 - [c11]Toru Kobayashi, Ryota Nakashima, Rinsuke Uchida, Kenichi Arai:
SNS Door Phone as Robotic Process Automation. ISS 2018: 457-460 - 2017
- [j9]Toru Kobayashi, Kenichi Arai, Hiroyuki Sato, Shigeaki Tanimoto, Atsushi Kanai:
An Application Framework for Smart Education System Based on Mobile and Cloud Systems. IEICE Trans. Inf. Syst. 100-D(10): 2399-2410 (2017) - [c10]Kenichi Arai, Takuya Tateishi, Toru Kobayashi, Noboru Sonehara:
On-Demand Barrier-Free Street View System Using Sensor Information from General-Purpose Wheelchair Users. COMPSAC (2) 2017: 348-353 - [c9]Toru Kobayashi, Kazushige Katsuragi, Taishi Miyazaki, Kenichi Arai:
SNS Agency Robot for Elderly People Using External Cloud-Based Services. COMPSAC (1) 2017: 908-913 - [c8]Toru Kobayashi, Kenichi Arai, Hirofumi Miyajima, Wataru Tarumi, Hirokazu Doi, Kazuyuki Shinohara:
Bio-information inference platform using underwear-type wearable device. ICCE-Berlin 2017: 3-4 - [c7]Toru Kobayashi, Kazushige Katsuragi, Taishi Miyazaki, Kenichi Arai:
Social Media Intermediation Robot for Elderly People Using External Cloud-Based Services. MobileCloud 2017: 31-38 - [i1]Susumu Shinohara, Kenichi Arai, Peter Davis, Satoshi Sunada, Takahisa Harayama:
Chaotic laser based physical random bit streaming system with a computer application interface. CoRR abs/1703.09308 (2017) - 2016
- [c6]Toru Kobayashi, Kazushige Katsuragi, Kenichi Arai, Tomoya Sakai, Makoto Fujimura:
Social Media Mediation System for Closing Inter-Generational Communication Gap. COMPSAC Workshops 2016: 288-293 - [c5]Toru Kobayashi, Takuya Tateishi, Kenichi Arai, Yu Ichifuji:
Qualification confirmation system for smartphone application registration using SNS. GCCE 2016: 1-2 - [c4]Toru Kobayashi, Kazushige Katsuragi, Taishi Miyazaki, Kenichi Arai, Tomoya Sakai, Makoto Fujimura:
Social Media Mediation System for Elderly People: Message Exchange Learning Type Switching Method. NBiS 2016: 286-291 - 2014
- [j8]Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki:
Difference of Function on Vector Space over F. Formaliz. Math. 22(3): 269-275 (2014) - 2013
- [j7]Kenichi Arai, Hiroyuki Okazaki:
N-Dimensional Binary Vector Spaces. Formaliz. Math. 21(2): 75-81 (2013) - [j6]Kenichi Arai, Hiroyuki Okazaki:
Formalization of the Advanced Encryption Standard. Part I. Formaliz. Math. 21(3): 171-184 (2013) - 2012
- [j5]Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama:
Isomorphisms of Direct Products of Finite Cyclic Groups. Formaliz. Math. 20(4): 343-347 (2012) - 2011
- [j4]Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama:
Normal Subgroup of Product of Groups. Formaliz. Math. 19(1): 23-26 (2011) - 2010
- [c3]Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki:
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker. FCS 2010: 81-86
2000 – 2009
- 2009
- [j3]Kenichi Arai, Hiroyuki Okazaki:
Properties of Primes and Multiplicative Group of a Field. Formaliz. Math. 17(1-4): 151-155 (2009) - 2006
- [j2]Jun Muramatsu, Kazuyuki Yoshimura, Kenichi Arai, Peter Davis:
Secret Key Capacity for Optimally Correlated Sources Under Sampling Attack. IEEE Trans. Inf. Theory 52(11): 5140-5151 (2006) - 2005
- [c2]Jun Muramatsu, Kazuyuki Yoshimura, Kenichi Arai, Peter Davis:
Secret key agreement under sampling attack. ISIT 2005: 2147-2151
1990 – 1999
- 1997
- [c1]Kenichi Arai, Ryohei Nakano:
Adaptive β Scheduling Learning Method of Finite State Automata by Recurrent Neural Networks. ICONIP (1) 1997: 351-354 - 1996
- [j1]Kenichi Arai, Takashi Honda:
Micromagnetic actuators. Robotica 14(5): 477-481 (1996)
Coauthor Index
[c66] [j12] [c65] [c64] [c63] [c62] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [c50] [c49] [c48] [c47] [c46] [c45] [c44] [c43] [c42] [c41] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c29] [c28] [c27] [j11] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c18] [c17] [j10] [c16] [c15] [c13] [c11] [j9] [c10] [c9] [c8] [c7] [c6] [c5] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
