language
注意事項
当サイトの中国語、韓国語ページは、機械的な自動翻訳サービスを使用しています。
翻訳結果は自動翻訳を行う翻訳システムに依存します。場合によっては、不正確または意図しない翻訳となる可能性があります。
翻訳サービスを利用した結果について、一切を保証することはできません。
翻訳サービスを利用される場合は、自動翻訳が100%正確ではないことを理解の上で利用してください。

情報科学研究科 蓑田玲緒奈さん(博士3年),情報科学研究科 田中譲特任教授,情報科学研究科 湊真一教授がThe Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)のBest Paper Awardを受賞しました。

受賞日: 2016年11月26日 氏名 職名/学年 : 蓑田 玲緒奈 博士3年*1  田中 譲 特任教授*2  湊 真一 教授*1

所属
 *1 情報科学研究科 情報理工学専攻 知識ソフトウェア科学講座 大規模知識処理研究室
    *2 情報科学研究科 情報理工学専攻
授与団体
 The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)
賞名
 Best Paper Award
受賞論文名,研究題目名または受賞理由
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking (モデル検査によるスマートオブジェクト間の近接連携シナリオの検証)」
問い合わせ先
 Tel 011-706-6469, E-mail minato[a]ist.hokudai.ac.jp (湊真一)
受賞一覧へ

受賞一覧へ
過去の受賞(「広報」ホームページ)