論文
神武 直彦
21~40件（全99件）
Spatiotemporal modeling for fine-scalemaps of regional malaria endemicity and its implications for transitionalcomplexities in a routine surveillance network in western Cambodia.
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Frontiers in Public Health (in revision) (出版年（月日）2017年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
Modeling and Analysis of Health-Information System of Systems for Managing Transitional Complexity Using Engineering Systems Multiple-Domain Matrix
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名S. Okami, N. Kohtake, Proc. Annual IEEE International Systems Conference, Apr. 2017, pp. 688-695. 開始ページ688 - 終了ページ695 (出版年（月日）2017年05月）
- 掲載種別
- 研究論文（学術雑誌）
健康な働き手の維持・増加を促すためのシステム・ダイナミックスによるスマートヘルス普及促進戦略支援モデルの設計と評価
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名日本経営数学会誌 (出版年（月日）2017年03月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
Application of satellite navigation system for emergency warning and alerting
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Computers, Environment and Urban Systems (出版年（月日）2016年）
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
Designing the International Framework for Active Debris Removal Operations
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名TRANSACTIONS OF THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, AEROSPACE TECHNOLOGY JAPAN Vol. 14(2016) 30th International Space Technology and Science (出版年（月日）2016年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
リカレントニューラルネットワークモデルによる路面性状値予測の検討
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名公益財団法人 土木学会 土木情報学委員会 2016年度土木情報学シンポジウム講演集 Vol. 41 (出版年（月日）2016年09月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
Fine-Scale Mapping by Spatial Risk Distribution Modeling for Regional Malaria Endemicity and Its Implications under the Low-to-Moderate Transmission Setting in Western Cambodia
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Okami S, Kohtake N (2016) PLoS ONE 11(7): e0158737. (出版年（月日）2016年07月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
舗装維持管理効率化のためのニューラルネットを用いた路面性状値予測の検討
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名情報処理学会 第78回全国大会講演論文集 講演番号7C-04 (出版年（月日）2016年03月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
Multilateral investigation for developing a flood disaster management system in the Bago River basin
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Multilateral investigation for developing a flood disaster management system in the Bago River basin (出版年（月日）2015年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
The Design of Selective Hybrid Positioning by Utilizing Accuracy Information for Indoor-Outdoor Seamless Positioning and Verification in Tokyo Station
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Indoor Positioning and Indoor Navigation (IPIN), 2015 International Conference on. IEEE, 2015. (出版年（月日）2015年11月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
Designing the GIS predicting regional malaria endemicity in Cambodia.
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Proceedings of Esri Health and Human Services Conference, 2015 (Atlanta, GA) (出版年（月日）2015年09月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
衛星測位地上補完システムIMESについて
- 著者名
- 石井真，小暮聡，神武 直彦
- 掲載誌名
- 誌名測位航法学会GPS/GNSSシンポジウム2009 (出版年（月日）2009年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
不具合履歴に基づくソフトウェアIV&V 活動の定量的見える化手法
- 著者名
- 神武 直彦柗本真佑，上野秀剛，門田暁人，松本健一，片平真史，宮本祐子，氏原頌悟，吉川茂雄
- 掲載誌名
- 誌名電子情報通信学会論文誌 出版社電子情報通信学会 (出版年（月日）2009年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
モデル検査を用いて組込みシステムにおけるソフトウェアとハードウェアの協調動作に関する要求仕様の不整合を検出する手法
- 著者名
- 加藤淳，神武 直彦，春山真一郎，狼嘉彰
- 掲載誌名
- 誌名情報処理学会 組込みシステムシンポジウム2009 (出版年（月日）2009年10月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
Viewpoint-based Test Analysis For On-board Dependable Flight Software
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名3rd IEEE International Conference On Space Mission Challenges For Information Technology 開始ページpp 77-82 (出版年（月日）2009年07月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
System-level Design Approach for Spacecraft On-board Digital Equipments
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名Asia-Pacific Conference on Systems Engineering (APCOSE2008) (出版年（月日）2008年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
宇宙機搭載ソフトウェアの高信頼化を目的とした第三者評価活動の成果と今後の課題
- 著者名
- 氏原頌悟，神武 直彦，片平真史
- 掲載誌名
- 誌名日本ソフトウェア科学会 第5回システム検証の科学技術シンポジウム(SSV 2008) (出版年（月日）2008年11月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
Cost Effective Iv&V Planning Activity Derived from Experiences on Jaxa's Spacecraft Projects
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名ESA Workshop on Avionics Data, Control and Software Systems (ADCSS) (出版年（月日）2008年10月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
Software Independent Verification and Validation for Spacecraft at JAXA
- 著者名
- 神武 直彦
- 掲載誌名
- 誌名IEEE Aerospace Conference (出版年（月日）2008年03月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し
宇宙機ソフトウェアに対するＩＶ＆Ｖとその適用事例
- 著者名
- 加藤淳，神武 直彦，片平真史
- 掲載誌名
- 誌名情報処理学会 組込みシステムシンポジウム2007 (出版年（月日）2007年10月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（研究会，シンポジウム資料等）
- 査読有無
- 無し