西川 清史 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
小林 典男
東北大金研
-
上田 寛
東大物性研
-
上田 実
名古屋大学 大学院医学系研究科頭頸部・感覚器外科学講座
-
上田 昭一
熊本大学大学院医学薬学研究部泌尿器病態学
-
山浦 淳一
東大物性研
-
萩原 政幸
阪大極限セ
-
西 正和
東大物性研
-
山田 靖哉
大阪市立大学 大学院医学研究科腫瘍外科学講座
-
岡林 孝弘
エポジン自己血輸血研究会
-
田中 紀章
エポジン自己血輸血研究会
著作論文
- 最小極大マッチング問題のニューラルネットワーク並列解法の提案
- 組合せ最適化問題に対する離散値ニューラルネットワーク解法の安定性の一考察
- Minimum Maximal Matching問題のニューラルネットワーク解法の提案
- 複数の制御部を持つ同期式順序回路の一設計検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- ニューロ・GAによるデータ転送路最適化問題解法の提案
- 代数的手法を用いた複数の制御部を持つ同期式順序回路に対する設計および検証支援系の開発
- 代数的手法によるPCIバスコントローラの設計検証
- シストリックアレーによる回路設計の正しさの一証明法