An introduction to the independent set reconfiguration problem (ISReconf)

by HOANG, Duc Anh (JAIST)
Abstract / Poster / Slide

Enumeration of Common Developments

by XU, Dawei (JAIST)
Abstract / Poster / Slide

raSAT - an SMT for Polynomial Constraints

by XUAN, Tung Vu (JAIST)
Abstract / Poster / Slide

Model Checking of Automotive System in the Presence of Multiple Communication Protocols

by GUO, Xiaoyun (JAIST)
Abstract / Poster / Slide

Speech Shadowing Method in Language Distant Learning

by LEE, Carson (JAIST)
Abstract / Poster / Slide

Is movement duration predetermined in visually guided reaching? A comparison of finite- and infinite-horizon optimal feedback control

by LI, Longchuan (JAIST)
Abstract / Poster / Slide