Session information

Oral presentation

Organized Session » [Organized Session] OS-16

[4K1-OS-16a] [Organized Session] OS-16

Fri. Jun 8, 2018 12:00 PM - 1:40 PM Room K (3F Azisai Mokuren)

+Add all to schedule

12:00 PM - 12:20 PM

[4K1-OS-16a-01] Approximate Algorithm for Probabilistic Coalition Structure Generation with Quality Bound

〇Kouki Matsumura¹, Tenda Okimoto¹, Katsutoshi Hirayama¹ (1. Kobe University)

12:20 PM - 12:40 PM

[4K1-OS-16a-02] Determination method influenced by SAT solver for the full rankness of a matrix

〇Tomoya Machide^1,2, Tomohiro Sonobe^1,2 (1. National Institute of Informatics, 2. JST, ERATO, Kawarabayashi Large Graph Project, Japan)

12:40 PM - 1:00 PM

[4K1-OS-16a-03] Enumerating Acyclic Contractions of a Directed Acyclic Graph Using Frontier-Based Search

〇Yu Nakahata¹, Hirofumi Suzuki², Masakazu Ishihata², Takashi Horiyama³ (1. Nara Institute of Science and Technology, 2. Hokkaido University, 3. Saitama University)

1:00 PM - 1:20 PM

[4K1-OS-16a-04] Validated Simulation of Parametric Nonlinear ODE on a Hybrid Constraint Language HydLa

〇Kenta Masuda¹, Kazunori Ueda¹ (1. Waseda University)

1:20 PM - 1:40 PM

[4K1-OS-16a-05] Efficient Algorithm to Reachability Problem on Directed Hypergraph

〇Yoichi Sasaki¹, Keigo Kimura¹, Kazeto Yamamoto¹, Yuzuru Okajima¹, Kunihiko Sadamasa¹ (1. Security Research Labs., NEC Corp.)

Authentication

Abstract password authentication.
Password is required to view the abstract. Please enter a password to authenticate.

Please log in with your participant account.
» Participant Log In

▲