• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID:202101013684159664   Update date: Feb. 03, 2025

Harie Yojiro

ハリエ ヨウジロウ | Harie Yojiro
Clips
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  (2):
  • 2023 - 2027 Implementing 'Gibier DX' for Wildlife Damage Control and Sustainable Supply of Wild Game Meat
  • 2016 - "A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS", ITNG2017(Las Vegas, USA) 20万円
Papers (13):
  • Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad, Katsumi Wasaki. CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems. 2024 Twelfth International Symposium on Computing and Networking (CANDAR). 2024. 30-38
  • 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
more...
MISC (40):
  • Ryosuke Ono, Yojiro Harie. Prediction of Counter Examples in the Field of Software Verification by Using BERT. 2024
  • Yojiro Harie. CodoMo: Data-Driven Reverse Modeling and Model Verification Tool. 2024. 1
  • Ryosuke Ono, Yojiro Harie. Prediction of Counter Examples in the Field of Software Verification by Using NLP Models. 2024. 23. 1. 37-40
  • Gautom Bishnu Prasad, Yojiro Harie. Reengineeing Technologies for a Sustainable Solution: Ancient Stone Mills to Cutting-edge Drones 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
more...
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) (4):
情報処理学会 ,  ACM ,  IEEE ,  IEICE
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page