Past News

FY2019
2020.1
(1/9)The following paper has been accepted for Logical Methods in Computer Science.
  • Florian Steinberg, Laurent Thery, Holger Thies, “Computable analysis and notions of continuity in Coq” preprint is available
2019.12
(12/14)Tianxiang He (M2 student) had a presentation at ICONIP 2019.
  • T. He, C. Han, R. Isawa (NICT), T. Takahashi (NICT), S. Kijima, J. Takeuchi, and K. Nakao (NICT), “A Fast Algorithm for Constructing Phylogenetic Trees with Application to IoT Malware Clustering”
2019.10
(10/31)The following paper has been accepted for IEEE Transactions on Information Theory.
(10/5)Shizen Kitazaki (M2 student) had a poster presentation with an oral presentation at ESMRMB 2019 Congress
  • S. Kitazaki, M. Kawakita (Nagoya Univ.), Y. Jitsumatsu, S. Kuhara (Kyorin Univ.), A. Hiwatashi (Faculty of Medical Science, Kyushu Univ.), and J. Takeuchi, "Magnetic Resonance Angiography Image Restoration by Super Resolution Based on Deep Learning"
2019.9
(9/5)Assistant professor Holger Thies gave an invited lecture at Computability, Continuity, Constructivity (CCC).
  • H. Thies, "Analytic ordinary differential equations - From computational complexity to efficient and verified algorithms"
2019.6
(6/25)The following abstract has been accepted as a poster presentation with oral presentation for ESMRMB 2019 Congress.
  • Shizen Kitazaki, Masanori Kawakita (Nagoya Univ.), Yutaka Jitsumatsu, Shigehide Kuhara (Kyorin Univ.), Akio Hiwatashi (Faculty of Medical Science, Kyushu Univ.) Jun'ichi Takeuchi, “Magnetic Resonance Angiography Image Restoration by Super Resolution Based on Deep Learning”
(6/14)The following paper has been accepted for 2019 IEEE Information Theory Workshop (ITW 2019).
  • Kazushi Mimura (Hiroshima City University) and Jun'ichi Takeuchi, “Dynamics of Damped Approximate Message Passing Algorithms”
2019.5
(5/3)The following paper has been accepted for The 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2019).
  • Chansu Han, Jumpei Shimamura (clwit), Takeshi Takahashi (NICT), Daisuke Inoue (NICT), Masanori Kawakita (Nagoya Univ.), Jun'Ichi Takeuchi and Koji Nakao (NICT), “Real-Time Detection of Malware Activities by Analyzing Darknet Traffic Using Graphical Lasso”
2019.3
(3/31)The following paper has been accepted for 2019 IEEE International Symposium on Information Theory (ISIT2019).
  • Kohei Miyamoto, Andrew R. Barron (Yale Univ.), and Jun'ichi Takeuchi, “Improved MDL Estimators Using Local Exponential Family Bundles Applied to Mixture Families”

Page up