スポンサーリンク
鹿児島大学工学部情報工学科 | 論文
- 通信システムにおけるペトリネットに基づいたSDLの実行可能仕様への拡張についての一考察
- 状態遷移モデルから通信ソフトウェアへの写像方法についての一考察
- SDLグラフィックエディタの設計と製作
- SDLグラフィックエディタ : 高速入力方法
- SDLグラフィックエディタ : 機能の特徴
- SDLグラフィックエディタ : 概要
- 通信ソフトウェアの体系的開発法
- オフィスシステムの形式的記述へのアプローチ
- 体腔内における生体信号の採取およびその利用に関する新たな考察と実験的試み
- 規範フロー場と実フロー場の差異解析による路上障害物の検出と危険度提示に関する研究
- 超音波カラードプラ三次元画像の臓器ならびに腫瘍血流診断への臨床応用
- 超音波3次元表示(MIP法)の臨床応用
- 規範フロー場と実フロー場の差異解析による路上障害物の検出と危険度提示に関する研究(一般セッション4)
- 規範フロー場と実フロー場の差異解析による路上障害物の検出と危険度提示に関する研究(一般セッション4,CV/PR技術のVRへの応用)
- 楕円曲線法における素因数分解高速化のための分散並列処理実験
- 分散並列処理による素因数分解の高速化
- 電子機器の誤動作発生箇所推定システムの実用化について
- ノイズ印加用プローブの供試体への印加電磁界特性評価実験
- 動的輪郭モデルによる心臓内壁輪郭自動抽出法 : 3次元モデルの適用による初期輪郭自動生成(ポスター講演)
- 演繹的モデル検査による自動詳細化検証手法