Jun. Jui. 2017 Aug.
SunMonTueWedThuFriSat
25262728293001
02 030405060708
09 101112131415
1617 1819202122
23 242526 27 2829
30310102030405
□Click Seminar

Purpose and Background of the Research


Discrete structures are foundational material for computer science and mathematics. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important how to represent large-scale discrete structural data and to execute their operations efficiently. The project leader has been leading "JST ERATO Minato Discrete Structure Manipulation System Project" for six years. In this project, he has studied discrete structure manipulation systems using Zero-suppressed Binary Decision Diagrams (ZDDs) and their practical applications. As the results of the project, they developed novel techniques for enumerating, compressing and indexing large-scale data based on ZDDs, and they are very effective for real-life problems. Many researchers are now interested in these techniques, and several number of related research projects has been started. This research project focus on the core algorithms of discrete structure manipulation, and we will continue to maintain a firm research community in the center of the other related research projects.

Seminar Information

 

TOPICS

List

DateJuly 27, 2017 (Thursday)
Abstract
Time13:00-14:00
SpeakerMasaaki Imaizumi
Site
 

Statistical Emerging Pattern Mining with Multiple Testing Correction

DateJuly 28, 2017 (Friday)
Abstract
Time10:30-11:30
SpeakerJunpei Komiyama
Site
 

Advances in Big Graph Processing

DateAugust 2, 2017 (Wednesday)
Abstract
Time10:30-11:30
SpeakerXuemin Lin
Site
 

DateAugust 21, 2017 (Monday)
Abstract
Time15:00-16:00
SpeakerYutaro Yamaguchi
Site
 

DateAugust 21, 2017 (Monday)
Abstract
Time16:00-17:00
SpeakerYuya Yoshikawa
Site
 

TBA

DateOctober 2, 2017 (Monday)
Abstract
Time16:00-17:00
SpeakerHayashi Kohei
Site
 

Our result on statistical emerging pattern mining has been accepted to KDD-2017

Our paper "Statistical Emerging Pattern Mining with Multiple Testing Correction" has been accepted to the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017).
This is a joint work with Dr. Junpei Komiyama.
(June 21, 2017 15:21 By Ishihata)
 

1.9million views times over

Unbelievable! Even now she continue to count.
The view number of animation movie was exceeded 1.9 million times.
(May 2, 2017 11:09 By minato)
 

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)