Security Evaluation System for Android Applications Using User's Reviews and Permissions

Por Naonobu Okazaki, Yoshihiro Kita, Kentaro Aburada, Mirang Park
Publicado em 2015-11-01

TRACES: A Lightweight Browser for Liquid Chromatography–Multiple Reaction Monitoring–Mass Spectrometry Chromatograms

Por Yoshihiro Kita, Suzumi M. Tokuoka, Yoshiya Oda, Takao Shimizu
Publicado em 2022-04-01

Prototype of a Decision Table Generation Tool from the Formal Specification

Por Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Publicado em 2015-11-01

Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification

Por Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Publicado em 2020-09-01

Inter-Laboratory Comparison of Metabolite Measurements for Metabolomics Data Integration

Por Yoshihiro Izumi, Fumio Matsuda, Akiyoshi Hirayama, Kazutaka Ikeda, Yoshihiro Kita, Kanta Horie, Daisuke Saigusa, Kosuke Saito, Yuji Sawada, Hiroki Nakanishi, Nobuyuki Okahashi, Masatomo Takahashi, Motonao Nakao, Kosuke Hata, Yutaro Hoshi, Motohiko Morihara, Kazuhiro Tanabe, Takeshi Bamba, Yoshiya Oda
Publicado em 2019-10-01