Laboratory of Advanced Software in Mathematics

Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Semidefinite Programming Mathematics
Data storage equipment Engineering & Materials Science
Linear matrix inequalities Engineering & Materials Science
Semidefinite Programming Relaxation Mathematics
Supercomputers Engineering & Materials Science
Semidefinite Program Mathematics
Polynomials Engineering & Materials Science
Dynamic random access storage Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1995 2019

Mobility Optimization on Cyber Physical System via Multiple Object Tracking and Mathematical Programming

Hata, N., Nakayama, T., Tanaka, A., Wakamatsu, T., Yoshida, A., Tateiwa, N., Nishikawa, Y., Ozawa, J. & Fujisawa, K., Jan 22 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 4026-4035 10 p. 8622146. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Mathematical programming
Integer programming
Industrial applications
Data reduction

Positive Definiteness in Linear Matrix Inequality Problem for H-Infinity Output Feedback Control Problem

Waki, H., Apr 1 2019, In : IEEE Control Systems Letters. 3, 2, p. 446-451 6 p., 8637724.

Research output: Contribution to journalArticle

Positive Definiteness
Output Feedback Control
Linear matrix inequalities
Feedback control
Matrix Inequality

A Mixed Integer Quadratic Formulation for the Shortest Vector Problem

Kimura, K. & Waki, H., 2018, Mathematical Modelling for Next-Generation Cryptography . p. 239-255 (Mathematics for Industry).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)


The 10th Graph500 Benchmark

Katsuki Fujisawa (Recipient), Jul 13 2015


The 11th Graph500 Benchmark

Katsuki Fujisawa (Recipient), Nov 17 2015


The 12th Graph500 Benchmark

Katsuki Fujisawa (Recipient), Jun 20 2016