05 2017/06 07
日月火水木金土
28293031010203
04 050607080910
11121314151617
18192021 222324
25262728 293001
□Click セミナー
2017年度
2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

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 (To Appear), 2017年07月

Conference

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

Etc.

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