| 2020.12.18 |
Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez による論文 "Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience" が AAMAS 2021 (2021.05.03-07) にフルペーパーで採択されました．
|
| 2020.10.01 |
佐藤泰介博士がメンバーに加わりました（2020年11月1日より特任教授）．
|
| 2020.09.08 |
Mitsuhiro Odaka, Katsumi Inoue による論文 "Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication" が CSBio 2020 に採択されました．
|
| 2020.07.10 |
Tuan Nguyen, Katsumi Inoue, Chiaki Sakama による論文 "Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation" が ICLP 2020 の Main Track (Technical Communication) に採択されました．
|
| 2020.07.10 |
Ali Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispühl による論文 "Computational intractability law molds the topology of biological networks" が国際ジャーナル Applied Network Science に出版されました．
|
| 2020.07.08 |
決定的性質を持つ並列SATソルバーである ManyGlucose (Version 4.1) が SAT Competition 2020 において Parallel Track 及び Parallel Track UNSAT の2部問で第3位を獲得しました．
|
| 2020.06.12-13 |
NIIオープンハウス2020オンライン開催（井上研究室の研究紹介ビデオ）．
|
| 2020.04.26 |
Hidetomo Nabeshima, Katsumi Inoue による論文 "Reproducible Efficient Parallel SAT Solving" が SAT 2020 に採択されました（Supplemental material）． |
| 2020.02.10 |
2019年度特別課題研究発表会 (東工大).
|
| 2020.02.04 |
2019年度修士論文発表会 (東工大).
|
