11 2017/12 01
26272829300102
03040506070809
10111213141516
17181920212223
24252627282930
31010203040506
Click セミナー
2017年度
2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

蓑田 玲緒奈, 湊 真一 
記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証, 電子情報通信学会論文誌, 和文誌D, 2018年03月

Reona Minoda, Shin-ichi Minato 
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages, IEICE Trans. Inf. & Syst., Vol.E100-D, No.06, pp.1172-1181, 2017年06月

Refereed Conference

Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata 
Exact Computation of Influence Spread by Binary Decision Diagram, The 2017 World Wide Web conference (WWW-2017), 947-956, 2017年04月

Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato 
Statistical Emerging Pattern Mining with Multiple Testing Correction, The 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017), Research Track, Hafifax, Nova Scotia, Canada, 2017年08月

Reona Minoda, Shin-ichi Minato 
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking, In Proceedings of the 2nd International Conference on Pervasive Embedded Computing (PECCS/PEC 2017), pp.13-21, Madrid, Spain, 2017年07月

Reona Minoda, Masakazu Ishihata, Shin-ichi Minato 
Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking, In Proceedings of the Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp.85-91, Barcelona, Spain, 2017年11月

Conference

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, 第31回人工知能学会全国大会, 名古屋, 2017年06月

蓑田 玲緒奈, 湊 真一 
スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用, 第31回人工知能学会全国大会, 名古屋, 2017年05月

石畠正和, 林浩平 
Probability Tensor Networks, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月

原聡, 石畠正和, 前原貴憲 
機械学習モデルの列挙, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月

坂上晋作, 石畠正和 
劣モジュラ最大化に対する高速な最良優先探索, 第20回情報論的学習理論ワークショップ (IBIS2017), テクニカルトラック, 2017年11月

鈴木浩史, 石畠正和, 湊真一 
フロンティア法による強連結な部分グラフの列挙, 人工知能学会 第104回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B507, pp. 26-31, 2017年08月

坂上晋作, 石畠正和, 湊真一 
敵対的組合せバンディット問題に対する ZDD を用いたアルゴリズム, 信学技報, vol. 117, no. 110, IBISML2017-1, pp. 43-48, 2017年06月

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, 石畠正和, Mathieu Blondel, 2017年05月

Etc.

石畠正和  
論理と確率 ~正確で柔軟なモデリング, 2017年度 CCS/NetSci 合同ワークショップ_Invited Talks, 2017年08月

基盤(S) 離散構造処理系プロジェクト  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月

基盤(S) 離散構造処理系プロジェクト, CD-ROM  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月