> Top    >> Program (this page)

WAAC 2016
August 30-31, 2016


Each talk should be 20 mins long, including Q/A and discussion.

August 30
9:10 Registraion Start
Session 1 (3 talks)
9:30-9:50 The Lower Bound for some special cases on Physical Bucket Sort
John Iacono, Hiro Ito, Atsuki Nagao, Junji Nishino and David Rappaport
9:50-10:10 An efficient parallel implementation of the Four-Russians' algorithm computing edit distances
Youngho Kim, Joong Chae Na, Heejin Park and Jeong Seop Sim
10:10-10:30 A Polynomial-space Exact Algorithm for the TSP in Degree-8 Graphs
Norhazwani Md Yunos, Aleksandar Shurbevski and Hiroshi Nagamochi
10:30-10:45 Break
Session 2 (3 talks)
10:45-11:05 Localization by an oblivious mobile robot with limited visibility
Akihiro Monde, Yukiko Yamauchi, Shuji Kijima and Masafumi Yamashita
11:05-11:25 Plane Formation by Autonomous Mobile Robots without Chirality
Yusaku Tomita, Yukiko Yamauchi, Shuji Kijima and Masafumi Yamashita
11:25-11:45 Combinatorial Computation study on non-rigid molecule 2, 3, 6, 7, 10, 11-hexanitrotriphenylene
Ali Moghani, John P. Najarian, Cyril S. Ku, Javad Namazi and Yalan Xing
11:45-13:30 Lunch
Invited Talk
13:30-14:30 Algorithms for Peptide Identification via MS/MS Spectrometry
Heejin Park
14:30-14:45 Break
Session 3 (5 talks)
14:45-15:05 Line-Constrained k-Center Problem
Binay Bhattacharya, Sandip Das and Tsunehiko Kameda
15:05-15:25 Computing a Minimum-Width Square Annulus in Arbitrary Orientation
Sang Won Bae
15:25-15:45 Computing a Minimum-Width Square or Rectangular Annulus with Outliers
Sang Won Bae
15:45-16:05 Assigning Weights to Minimize the Covering Radius in the Plane
Eunjin Oh and Hee-Kap Ahn
16:05-16:25 Improved Algorithms for the Containment Problem for Stochastic Points
Eunjin Oh and Hee-Kap Ahn
17:30- Banquet @ Loisir Hotel Hakodate
(One-min walk from Hakodate station)

August 31
Session 4 (3 talks)
9:10-9:30 A New Characterisation of Total Graphs
Ravi Goyal, Mahipal Jadeja, Rahul Muthu and Brijesh Patel
9:30-9:50 The Dulmage-Mendelsohn Decomposition for b-Matchings
Nanao Kita
9:50-10:10 Regular Induced Subgraphs in Bipartite and Planar Graphs
Yuichi Asahiro, Hiroshi Eto, Takehiro Ito and Eiji Miyano
10:10-10:25 Break
Session 5 (4 talks)
10:25-10:45 Convex Grid Drawings of Plane Graphs with Hexagonal Contours
Kazuyuki Miura
10:45-11:05 Verification in Real Computation
Norbert Th. Müller, Sewon Park, Norbert Preining and Martin Ziegler
11:05-11:25 Data-types for Multidimensional Functions in Reliable Numerics - Implementations Inspired by Real Complexity Theory
Akitoshi Kawamura, Florian Steinberg and Holger Thies
11:25-11:45 Inferences in Gentzen-Type G3 System and Martin-Löf's Type Theory; k+1 vs. 1
Gohar Marikyan
11:45-13:30 Lunch
Session 6 (4 talks)
13:30-13:50 Folding Orthogonal Polygons into Rectangular Boxes
Takashi Horiyama and Koichi Mizunashi
13:50-14:10 Dissection of Unfolding of Cubes and Its Generalization
Zachary Abel, Brad Ballinger, Erik D. Demaine, Martin L. Demaine, Jeff Erickson, Adam Hesterberg, Hiro Ito, Irina Kostitsyna, Jayson Lynch and Ryuhei Uehara
14:10-14:30 Perfectly Secure Message Transmission Scheme against Rational Adversaries
Maiki Fujita and Takeshi Koshiba
14:30-14:50 Built-in hardware pseudo-random test module for physical unclonable functions
Jae Seong Lee, Piljoo Choi, Song-Ju Kim, Byong-Deock Choi and Dong Kyue Kim
14:50-15:05 Break
Session 7 (3 talks)
15:05-15:25 Logging with Maximum Length Constraint
Ei Ando, Akitoshi Kawamura, Masashi Kiyomi, Eiji Miyano and Hirotaka Ono
15:25-15:45 Compression and Search for Similar Strings
Joong Chae Na, Hyunjoon Kim, Heejin Park, Thierry Lecroq, Martine Leonard, Laurent Mouchard and Kunsoo Park
15:45-16:05 Labeled Object Treemap: A new technique for visualizing multiple hierarchies
Mahipal Jadeja and Rahul Muthu

END of WAAC2016

WAAC 2016