Rchr
J-GLOBAL ID：202101013684159664
Update date: Jun. 20, 2024
Harie Yojiro
ハリエ ヨウジロウ | Harie Yojiro
Affiliation and department：
Research field (4)：
Intelligent informatics
, Control and systems engineering
, Software
, Software
Research keywords (5)：
Machine Learning
, Formal Verification
, IoT
, Petri Net
, Model Checking
Research theme for competitive and other funds (1)：
- 2023 - 2027 Implementing 'Gibier DX' for Wildlife Damage Control and Sustainable Supply of Wild Game Meat
Papers (10)：
-
Harie, Yojiro, Bishnu Prasad Gautam, Katsumi Wasaki. Computer Vision Techniques for Growth Prediction: A Prisma-Based Systematic Literature Review. Applied Sciences. 2023. 13. 9. 5335-5335
-
Yojiro Harie, Sangam Babu, Neupane, Bishnu Prasad Gautam. Memory Efficient Video Collection and Extraction Technique for Augmented Triplet Network’s Dataset. 2022 37th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC). 2022
-
Yojiro Harie, Sangam Babu Neupane, Bishnu P. Gautam, Norio Shiratori. Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer. 2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW). 2021
-
Yojiro Harie, Katsumi Wasaki. An Approach for Flow Net Subgraph to Analysis of The Model of Flexible Manufacturing Systems. 2020 35th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC). 2020. 39-44
-
Yojiro Harie, Katsumi Wasaki. Analysis of Structural Liveness and Boundedness in Weighted Free-Choice Net Based on Circuit Flow Values. Advances in Intelligent Systems and Computing. 2020. 570-580
ｍore...
MISC (12)：
-
Gautom Bishnu Prasad, Yojiro Harie. Reengineeing Technologies for a Sustainable Solution: Ancient Stone Mills to Cutting-edge Dronew as an Example. 2024
-
Monitoring System to Minimize Wild Animal Hazards by Using Individual Organism Recognition Method with the Raspberry Pi and Computer Vision. The 84th National Convention of IPSJ. 2022
-
渡貫, 正也, 張江, 洋次朗, 和﨑, 克己. サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析. 第82回全国大会講演論文集. 2020. 2020. 1. 289-290
-
南, 史弥, 張江, 洋次朗, 和﨑, 克己. ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装. 第82回全国大会講演論文集. 2020. 2020. 1. 287-288
-
Determination of Structurally Liveness and Boundedness of Petri Nets Using Flow Net Transformation. 2019. 32. 278-283
ｍore...
Lectures and oral presentations (1)：
-
勇者は魔物をいかに見分けるか?-AIやIoTを使った個体識別技術と研究動向-
(秋季講座2021 2021)
Education (3)：
- 2016 - 2020 Shinshu University Graduate School of Science and Technology
- 2014 - 2016 Shinshu University
- 2010 - 2014 Wakkanai Hokusei Gakuen University
Work history (4)：
- 2024/04 - 現在 Kanazawa Gakuin University Faculty of Information Engineering Assistant Prof.
- 2022/04 - 2024/03 Kanazawa Gakuin University Faculty of Econimic Informatics Assistant Prof.
- 2020/04 - 2022/03 Wakkanai Hokusei Gakuen University Department of Information Media Assistant Prof.
- 2021/11 - 2021/12 稚内高等学校 看護専攻科 非常勤外部講師
Awards (5)：
- 2021/11 - 2021 Ninth International Symposium on Computing and Networking Workshops (CANDARW) Best Poster Paper Augmented Triplet Network for Individual Organism and Unique Object Classification for Reliable Monitoring of Ezoshika Deer
- 2017/09 - 情報処理学会 情報処理学会 第16回情報科学技術フォーラム FIT奨励賞 仕様に基づいたペトリネットのトランジション優先発火によるon-the-flyモデル検査の効率化
- 2016/10 - 情報処理学会 組込みシステムシンポジウム2016(ESS2016)優秀ポスター賞 階層型ペトリネット設計・検証ツール:HiPS
- 2015/12 - 電子情報通信学会 平成 27年度 電子情報通信学会 信州大学 Student Branch 論文発表会 優秀論文賞 ペトリネットツールHiPSが生成した状態空間とLTLによる仕様記述を用いたOn-the-flyモデル検査器の設計と実装
- 2015/09 - 情報処理学会 第14回情報科学技術フォーラム FIT奨励賞 ペトリネット設計検証ツールHiPSにおけるOn-the-fly LTLモデル検査器
Association Membership(s) (3)：
Return to Previous Page
