- Current Projects
- Laboratory of Advanced Software in Mathematics
- ERATO Mathematics for Systems Design Project
- Toyota RIKEN Specially Promoted Research Program
- Research achievement of this project
- H. Waki, ``Positive Definiteness in Linear Matrix Inequality Problem for H-Infinity Output Feedback Control Problem", IEEE Control Systems Letters, Vol.3, No.2, 446--451, (2019) DOI:10.1109/LCSYS.2019.2898385
- Crypto Crest (in Japanese)
- Research achievement of this project
- K. Kimura, H. Waki and M. Yasuda, ``Application of mixed integer quadratic program to shortest vector problems", JSIAM Letters, Vol.9, 65--68, (2017) site
- K. Kimura and H. Waki, ``A Mixed Integer Quadratic Formulation for the Shortest Vector Problem", to appear in ``Mathematical Modeling for Next-Generation Cryptography: CREST Crypto-Math Project (T. Takagi et al. eds.)", Springer, 239--255, (2018) DOI: 10.1007/978-981-10-5065-7_13
- Past Projects
- Advanced Computing & Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers
- Research achievement of this project
- K. Fujisawa, T. Endo, Y. Yasui, H. Sato, N. Matsuzawa, S. Matsuoka and H. Waki, "Peta-scale General Solver for Semidenite Programming Problems with over Two Million Constraints", Proceedings of the International Conference on Parallel and Distributed Processing Symposium 2014 (IPDPS2014), 1171-1180, Phoenix, USA, May, 2014 DOI: 10.1109/IPDPS.2014.121
- Boundary Modeling in Automotive Engines
- Web pages of 2014 May and December.
- Web pages of 2015 June and November.
- Research achievement of this project
- F. Nae and H. Waki, ``Vertex Representation of Convex Hulls for Fast Evaluation of Boundary Constraints in Model-Based Calibration for Automotive Engines", to appear in Proceedings of Forum ``Math-for-Industry" 2016, Springer, (2017) DOI:10.1007/978-981-10-7811-8_10
- H. Waki and F. Nae, "Boundary modeling-based calibration for automative engines via the vertex representation of the convex hulls", Pacific Journal of Mathematics for Industry, 9:1, (2017) DOI: 10.1186/s40736-016-0027-7