English | Japanese

イベント・ニュース (2020)

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年度修士論文発表会 (東工大).

2021|2019