Dec. Jan. 2018 Feb.
SunMonTueWedThuFriSat
31010203040506
07080910111213
14 151617181920
21222324252627
28293031010203
Click Seminar
F.Y.2017,
2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

Reona Minoda, Shin-ichi Minato 
, , March 2018

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, June 2017

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, April 2017

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, August 2017

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, July 2017

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, November 2017

Conference

Reona Minoda, Shin-ichi Minato 
, , May 2017

石畠正和, 林浩平 
Probability Tensor Networks, , November 2017

原聡, 石畠正和, 前原貴憲 
, , November 2017

坂上晋作, 石畠正和 
, , November 2017

鈴木浩史, 石畠正和, 湊真一 
, , August 2017

坂上晋作, 石畠正和, 湊真一 
, , June 2017

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, , May 2017

Etc.

Masakazu Ishihata 
, , August 2017

KAKENHI(S) Discrete Structure Manipulation System Project  
2016 Kokyuroku (Technical Report Series), JSPS KAKENHI(S) Discrete Structure Manipulation System Project, ISSN 2186-1846, June 2017

KAKENHI(S) Discrete Structure Manipulation System Project, CD-ROM  
2016 Kokyuroku (Technical Report Series), JSPS KAKENHI(S) Discrete Structure Manipulation System Project, ISSN 2186-1854, June 2017