基礎・境界/NOLTA-システム数理と応用(開催日：2012/01/19)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2012/1/19
[資料番号]
目次

,  

[発表日]2012/1/19
[資料番号]
音声つぶやきによる看護・介護の時空間コミュニケーション : 情報スーパーバイザ制御の提案

内平 直志,  鳥居 健太郎,  平石 邦彦,  崔 舜星,  知野 哲朗,  平林 裕治,  杉原 太郎,  

[発表日]2012/1/19
[資料番号]MSS2011-54,SS2011-39
フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案

上村 祐加,  高田 喜朗,  

[発表日]2012/1/19
[資料番号]MSS2011-55,SS2011-40
コスト予測における対数変換すべき変数の判別手法の評価

三好 健太,  生方 克馬,  柿元 健,  楠本 真二,  

[発表日]2012/1/19
[資料番号]MSS2011-56,SS2011-41
アーキテクチャ点写像による設計・コード間の双方向追跡

鵜林 尚靖,  亀井 靖高,  

[発表日]2012/1/19
[資料番号]MSS2011-57,SS2011-42
SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察

新村 勇人,  宮本 俊幸,  

[発表日]2012/1/19
[資料番号]MSS2011-58,SS2011-43
cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について

長谷川 泰央,  宮本 俊幸,  

[発表日]2012/1/19
[資料番号]MSS2011-59,SS2011-44
拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について

平川 智悠,  山口 真悟,  

[発表日]2012/1/19
[資料番号]MSS2011-60,SS2011-45
関数呼び出しを持つプログラムの非線形ループ不変式の自動生成

鈴木 英一,  坂部 俊樹,  酒井 正彦,  草刈 圭一朗,  西田 直樹,  

[発表日]2012/1/19
[資料番号]MSS2011-61,SS2011-46
語問題を基底等式集合の語問題に帰着可能な等式集合のクラスについて

坂井 利光,  酒井 正彦,  坂部 俊樹,  西田 直樹,  草刈 圭一朗,  

[発表日]2012/1/19
[資料番号]MSS2011-62,SS2011-47
単純型付き項書換え系における書換え帰納法について

尾関 朗,  草刈 圭一朗,  坂田 翼,  西田 直樹,  酒井 正彦,  坂部 俊樹,  

[発表日]2012/1/19
[資料番号]MSS2011-63,SS2011-48
高階書換え系における引数切り落とし関数の下での実効規則について

大井 一展,  草刈 圭一朗,  酒井 正彦,  坂部 俊樹,  西田 直樹,  

[発表日]2012/1/19
[資料番号]MSS2011-64,SS2011-49
分解法に基づく2目的巡回セールスマン問題の解法とその評価

稲本 浩也,  橋爪 悟,  矢嶌 智之,  橋爪 進,  小野木 克明,  

[発表日]2012/1/19
[資料番号]MSS2011-65,SS2011-50
サイバーフィジカルシステムの数理

田崎 勇一,  

[発表日]2012/1/19
[資料番号]MSS2011-66,SS2011-51
区間制約プログラミングの研究事例 : Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法

石井 大輔,  

[発表日]2012/1/19
[資料番号]MSS2011-67,SS2011-52
2台のエレベーターにおけるピーク電力抑制と利便性を両立する制御手法

高橋 宏治,  

[発表日]2012/1/19
[資料番号]MSS2011-68,SS2011-53
複数の確率的遅延を有するネットワーク化システムの制御

小林 孝一,  平石 邦彦,  

[発表日]2012/1/19
[資料番号]MSS2011-69,SS2011-54
顧客要求を基に要求仕様書を自動生成する仕組み

村山 修平,  飯塚 寛晃,  廣瀬 史典,  山中 隆敏,  古宮 誠一,  

[発表日]2012/1/19
[資料番号]MSS2011-70,SS2011-55
離散事象システムの分散型故障診断における冗長性解析

中田 修平,  高井 重昌,  

[発表日]2012/1/19
[資料番号]MSS2011-71,SS2011-56
12>> 1-20hit(24hit)