菅野 正洋 | (株) 東芝 半導体研究開発センター
スポンサーリンク
概要
論文 | ランダム
- 形式的手法によるWebアプリケーションのモデル化と検証
- 非決定出力関数をもつ Mealy オートマトンで表される離散事象システムのスーパバイザ制御
- 2-F-11 マルティエージェントセルオートマトン法による大学校舎内の避難流動シミュレーション(大学でのOR)
- 241) 陳旧性心筋梗塞例での心臓カテーテル時低運動負荷試験の意義 : 日本循環器学会第63回近畿地方会
- 3R-9 言語を認識する1次元セルオートマトンの漸次学習による合成(学習,学生セッション,人工知能と認知科学)