Received the Best Paper Award of UBICOMM 2016
|The paper "Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking" written by Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato received the Best Paper Award of The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016).|
|(January 17, 2017 09:55 By Ishihata)|
Our result on exact influence spread computation has been accepted to WWW-2017.
|Our paper "Exact Computation of Influence Spread by Binary Decision Diagrams" has been accepted to the 26th World Wide Web Conference (WWW-2017.) This is a joint work with Dr. Takanori Maehara. |
|(December 20, 2016 16:19 By Ishihata)|
Our result on prefecture-block enumeration has been press-released.
|Our research result has been press-released from Hokkaido Univ. as here. (only in Japanese)|
Detailed explanation with animation is shown here .
|(September 2, 2016 10:37 By minato)|
Our animation movie becomes a regular exhibition in Hokkaido University Museum
|Our animation movie "Time with class! Let's count!" becomes a regular exhibition in the Hokkaido University Museum. The renewed exhibition starts from July 26th, reopen after renovating.|
|(July 25, 2016 19:19 By minato)|
Document folders featuring "Combinatorial Explosion!” is now on sale.
|(January 13, 2016 08:02 By Yasuda)|