Laboratory of Advanced Software in Mathematics

Research Output 2002 2019

2019
3 Citations (Scopus)

Application of facial reduction to H state feedback control problem

Waki, H. & Sebe, N., Feb 1 2019, In : International Journal of Control. 92, 2, p. 303-316 14 p.

Research output: Contribution to journalArticle

Linear matrix inequalities
State feedback
Feedback control
Convergence of numerical methods
Control theory

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
Experiments

New Performance Index “Attractiveness Factor” for Evaluating Websites via Obtaining Transition of Users’ Interests

Yoshida, A., Higurashi, T., Maruishi, M., Tateiwa, N., Hata, N., Tanaka, A., Wakamatsu, T., Nagamatsu, K., Tajima, A. & Fujisawa, K., Jan 1 2019, (Accepted/In press) In : Data Science and Engineering.

Research output: Contribution to journalArticle

Open Access
Websites
Weibull distribution
Factorization
2018

Advanced computing and optimization infrastructure for extremely large-scale graphs on post-peta-scale supercomputers

Fujisawa, K., Suzumura, T., Sato, H., Ueno, K., Imamura, S., Mizote, R., Tanaka, A., Hata, N. & Endo, T., Dec 6 2018, Advanced Software Technologies for Post-Peta Scale Computing: The Japanese Post-Peta CREST Research Project. Springer Singapore, p. 207-226 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Supercomputers
Disaster prevention
Bioinformatics
Feedback
Sensors

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)

1 Citation (Scopus)

Class dependency of fuzzy relational database using relational calculus and conditional probability

Akbar, M. D., Mizoguchi, Y. & Adiwijaya, Apr 5 2018, In : Journal of Physics: Conference Series. 971, 1, 012001.

Research output: Contribution to journalConference article

calculus
equivalence
projection
injection
formulations

Evaluating energy-efficiency of DRAM channel interleaving schemes for multithreaded programs

Imamura, S., Yasui, Y., Inoue, K., Ono, T., Sasaki, H. & Fujisawa, K., Sep 2018, In : IEICE Transactions on Information and Systems. E101D, 9, p. 2247-2257 11 p.

Research output: Contribution to journalArticle

Dynamic random access storage
Energy efficiency
Servers
Energy utilization
Data storage equipment

Hybrid Vehicle Control and Optimization with a New Mathematical Method

Tateiwa, N., Hata, N., Tanaka, A., Nakayama, T., Yoshida, A., Wakamatsu, T. & Fujisawa, K., 2018, In : IFAC-PapersOnLine. 51, 31, p. 201-206 6 p.

Research output: Contribution to journalArticle

Hybrid vehicles
Powertrains
Simulators
Hybrid systems
Splines
9 Citations (Scopus)

Minimization of Akaike's information criterion in linear regression analysis via mixed integer nonlinear program

Kimura, K. & Waki, H., May 4 2018, In : Optimization Methods and Software. 33, 3, p. 633-649 17 p.

Research output: Contribution to journalArticle

Akaike Information Criterion
Linear regression
Regression Analysis
Regression analysis
Statistical Model
2 Citations (Scopus)

Practical approach to evacuation planning via network flow and deep learning

Tanaka, A., Hata, N., Tateiwa, N. & Fujisawa, K., Jan 12 2018, Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017. Obradovic, Z., Baeza-Yates, R., Kepner, J., Nambiar, R., Wang, C., Toyoda, M., Suzumura, T., Hu, X., Cuzzocrea, A., Baeza-Yates, R., Tang, J., Zang, H., Nie, J-Y. & Ghosh, R. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 3368-3377 10 p. (Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017; vol. 2018-January).

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

Evacuation
Network Flow
Planning
Neural networks
Neural Networks
1 Citation (Scopus)

Reduction of H state feedback control problems for the MIMO servo systems

Waki, H. & Sebe, N., Jan 1 2018, (Accepted/In press) In : Asian Journal of Control.

Research output: Contribution to journalArticle

Servomechanisms
Linear matrix inequalities
State feedback
Feedback control
Byproducts
2 Citations (Scopus)

Reduction of H state feedback control problems for the servo systems

Waki, H. & Sebe, N., Feb 7 2018, 2017 Asian Control Conference, ASCC 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 2244-2249 6 p.

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

Servo System
State Feedback Control
Matrix Inequality
Linear Inequalities
Control Problem
1 Citation (Scopus)

Strong feasibility of the dual problem of linear matrix inequality for H output feedback control problem

Waki, H. & Sebe, N., Apr 2 2018, SICE ISCS 2018 - 2018 SICE International Symposium on Control Systems. Institute of Electrical and Electronics Engineers Inc., p. 47-53 7 p. (SICE ISCS 2018 - 2018 SICE International Symposium on Control Systems; vol. 2018-January).

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

Output Feedback Control
Dual Problem
Linear matrix inequalities
Feedback control
Matrix Inequality

Vertex Representation of Convex Hulls for Fast Evaluation of Boundary Constraints in Model-Based Calibration for Automotive Engines

Nae, F. & Waki, H., 2018, (Accepted/In press) Proceedings of Forum ``Math-for-Industry" 2016. (Mathematics for Industry).

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

2017

Application of Facial Reduction to H_infty State Feedback Control Problem

Waki, H. & Sebe, N., 2017, (Accepted/In press) In : International Journal of Control.

Research output: Contribution to journalArticle

Application of mixed integer quadratic program to shortest vector problems

Kimura, K., Waki, H. & Yasuda, M., 2017, (Accepted/In press) In : JSIAM Letters.

Research output: Contribution to journalArticle

7 Citations (Scopus)

Efficient Breadth-First Search on Massively Parallel and Distributed-Memory Machines

Ueno, K., Suzumura, T., Maruyama, N., Fujisawa, K. & Matsuoka, S., Mar 1 2017, In : Data Science and Engineering. 2, 1, p. 22-35 14 p.

Research output: Contribution to journalArticle

Open Access
Data storage equipment
Supercomputers
Resource allocation
Data structures
Processing

Formal equivalence classes model of fuzzy relational databases using relational calculus

Akbar, M. D. & Mizoguchi, Y., Dec 4 2017, Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. (Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017; vol. 2017-January).

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

Equivalence classes
Soft computing
Websites
Relational database
Equivalence

Formalization of proofs using relational calculus

Mizoguchi, Y., Tanaka, H. & Inokuchi, S., Feb 2 2017, Proceedings of 2016 International Symposium on Information Theory and Its Applications, ISITA 2016. Institute of Electrical and Electronics Engineers Inc., p. 527-531 5 p. 7840480. (Proceedings of 2016 International Symposium on Information Theory and Its Applications, ISITA 2016).

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

formalization
Automata theory
Computer science
computer science
assistant
2 Citations (Scopus)

Power-Efficient Breadth-First Search with DRAM Row Buffer Locality-Aware Address Mapping

Imamura, S., Yasui, Y., Inoue, K., Ono, T., Sasaki, H. & Fujisawa, K., Jan 23 2017, Proceedings of HPGDMP 2016: High Performance Graph Data Management and Processing - Held in conjunction with SC 2016: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7830443. (Proceedings of HPGDMP 2016: High Performance Graph Data Management and Processing - Held in conjunction with SC 2016: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

Dynamic random access storage
Data storage equipment
Simulators
Controllers
2016
2 Citations (Scopus)

Advanced computing and optimization infrastructure for extremely large-scale graphs on post peta-scale supercomputers

Fujisawa, K., Endo, T. & Yasui, Y., Jan 1 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (eds.). Springer Verlag, p. 265-274 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9725).

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

Supercomputers
Supercomputer
Semidefinite Programming
Infrastructure
Optimization
2 Citations (Scopus)

Dual LMI approach to H performance limitation analysis of sensitivity and complementary sensitivity functions

Ebihara, Y., Waki, H. & Sebe, N., Oct 19 2016, 2016 IEEE Conference on Computer Aided Control System Design, CACSD 2016 - Part of 2016 IEEE Multi-Conference on Systems and Control. Institute of Electrical and Electronics Engineers Inc., p. 1440-1445 6 p. 7602558. (Proceedings of the IEEE International Symposium on Computer-Aided Control System Design; vol. 2016-October).

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

LMI Approach
Performance Analysis
Poles and zeros
Controllers
Unstable
1 Citation (Scopus)

Evaluating the impacts of code-level performance tunings on power efficiency

Imamura, S., Oka, K., Yasui, Y., Inadomi, Y., Fujisawa, K., Endo, T., Ueno, K., Fukazawa, K., Hata, N., Kakibuka, Y., Inoue, K. & Ono, T., Jan 1 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. Ak, R., Karypis, G., Xia, Y., Hu, X. T., Yu, P. S., Joshi, J., Ungar, L., Liu, L., Sato, A-H., Suzumura, T., Rachuri, S., Govindaraju, R. & Xu, W. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 362-369 8 p. 7840624. (Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016).

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

Tuning
Supercomputers
Program processors
Scalability
Electric power utilization
6 Citations (Scopus)

Extreme scale breadth-first search on supercomputers

Ueno, K., Suzumura, T., Maruyama, N., Fujisawa, K. & Matsuoka, S., Jan 1 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. Ak, R., Karypis, G., Xia, Y., Hu, X. T., Yu, P. S., Joshi, J., Ungar, L., Liu, L., Sato, A-H., Suzumura, T., Rachuri, S., Govindaraju, R. & Xu, W. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1040-1047 8 p. 7840705. (Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016).

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

Supercomputers
Resource allocation
Data structures

Mixed integer nonlinear program for minimization of Akaike’s information criterion

Kimura, K. & Waki, H., Jan 1 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (eds.). Springer Verlag, p. 292-300 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9725).

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

Information Criterion
Statistical Model
Integer
Benchmark
Branching Rules
8 Citations (Scopus)

NUMA-aware scalable graph traversal on SGI UV Systems

Yasui, Y., Fujisawa, K., Goh, E. L., Baron, J., Sugiura, A. & Uchiyama, T., May 31 2016, HPGP 2016 - Proceedings of the ACM Workshop on High Performance Graph Processing, Co-located with HPDC 2016. Association for Computing Machinery, Inc, p. 19-26 8 p. (HPGP 2016 - Proceedings of the ACM Workshop on High Performance Graph Processing, Co-located with HPDC 2016).

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

Data storage equipment
Computer systems
Supercomputers
Graph theory
Processing
1 Citation (Scopus)

Perturbed sums-of-squares theorem for polynomial optimization and its applications

Muramatsu, M., Waki, H. & Tunçel, L., Jan 2 2016, In : Optimization Methods and Software. 31, 1, p. 134-156 23 p.

Research output: Contribution to journalArticle

Semidefinite Programming Relaxation
Sum of squares
Polynomials
Optimization Problem
Polynomial
2 Citations (Scopus)

Reduction of SDPs in H control of SISO systems and performance limitations analysis

Waki, H., Ebihara, Y. & Sebe, N., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 646-651 6 p. 7798342. (2016 IEEE 55th Conference on Decision and Control, CDC 2016).

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

Performance Analysis
Unstable
Zero
Interior Point
Non-minimum Phase
2015
1 Citation (Scopus)

An algorithm for solving parametric integer program

Fu, N. & Shibuta, T., Dec 1 2015, In : Electronic Notes in Discrete Mathematics. 50, p. 299-305 7 p.

Research output: Contribution to journalArticle

Integer Program
Compiler Optimization
Algebraic Methods
Optimization Problem
2 Citations (Scopus)

Application of facial reduction to H state feedback control problem

Waki, H. & Sebe, N., Jul 1 2015, In : IFAC-PapersOnLine. 28, 14, p. 113-119 7 p.

Research output: Contribution to journalConference article

Linear matrix inequalities
State feedback
Feedback control
Convergence of numerical methods
Control systems
14 Citations (Scopus)

Fast and scalable NUMA-based thread parallel breadth-first search

Yasui, Y. & Fujisawa, K., Jan 1 2015, Proceedings of the 2015 International Conference on High Performance Computing and Simulation, HPCS 2015. Institute of Electrical and Electronics Engineers Inc., p. 377-385 9 p. 7237065

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

Breadth-first Search
Thread
Data storage equipment
Computer systems
Rack
3 Citations (Scopus)

H∞ performance limitations analysis for SISO systems: A dual LMI approach

Ebihara, Y., Waki, H. & Sebe, N., Feb 8 2015, 54rd IEEE Conference on Decision and Control,CDC 2015. Institute of Electrical and Electronics Engineers Inc., p. 6629-6634 6 p. 7403263. (Proceedings of the IEEE Conference on Decision and Control; vol. 54rd IEEE Conference on Decision and Control,CDC 2015).

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

LMI Approach
Performance Analysis
Unstable
Continuous time systems
Controllers
6 Citations (Scopus)

NVM-based Hybrid BFS with memory efficient data structure

Iwabuchi, K., Sato, H., Yasui, Y., Fujisawa, K. & Matsuoka, S., Jan 7 2015, Proceedings - 2014 IEEE International Conference on Big Data, IEEE Big Data 2014. Chang, W., Huan, J., Cercone, N., Pyne, S., Honavar, V., Lin, J., Hu, X. T., Aggarwal, C., Mobasher, B., Pei, J. & Nambiar, R. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 529-538 10 p. 7004270. (Proceedings - 2014 IEEE International Conference on Big Data, IEEE Big Data 2014).

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

Dynamic random access storage
Data structures
Data storage equipment
Degradation
4 Citations (Scopus)

The scalable petascale data-driven approach for the Cholesky factorization with multiple GPUs

Tsujita, Y., Endo, T. & Fujisawa, K., Nov 15 2015, Proceedings of ESPM2 2015: 1st International Workshop on Extreme Scale Programming Models and Middleware - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis. Association for Computing Machinery, Inc, p. 38-45 8 p. (Proceedings of ESPM2 2015: 1st International Workshop on Extreme Scale Programming Models and Middleware - Held in conjunction with SC 2015: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

Factorization
Scalability
Parallel programming
Linear algebra
Supercomputers

Uniqueness of Butson Hadamard matrices of small degrees

Hirasaka, M., Kim, K. T. & Mizoguchi, Y., Sep 1 2015, In : Journal of Discrete Algorithms. 34, p. 70-77 8 p.

Research output: Contribution to journalArticle

Hadamard matrices
Hadamard Matrix
Uniqueness
Roots of Unity
P-matrix
2014
3 Citations (Scopus)

A formulation of composition for cellular automata on groups

Inokuchi, S., Ito, T., Fujio, M. & Mizoguchi, Y., Jan 1 2014, In : IEICE Transactions on Information and Systems. E97-D, 3, p. 448-454 7 p.

Research output: Contribution to journalArticle

Cellular automata
Chemical analysis

An algorithm for computing the truncated annihilating ideals for an algebraic local cohomology class

Shibuta, T. & Tajima, S., Jan 1 2014, Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Proceedings. Springer Verlag, p. 447-459 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8660 LNCS).

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

Local Cohomology
Linear Differential Operator
Isolated Singularity
Computing
Duality Theorems
5 Citations (Scopus)

Fast and energy-efficient breadth-first search on a single NUMA system

Yasui, Y., Fujisawa, K. & Sato, Y., Jan 1 2014, Supercomputing - 29th International Conference, ISC 2014, Proceedings. Springer Verlag, p. 365-381 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8488 LNCS).

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

Breadth-first Search
Energy Efficient
Data storage equipment
Bottom-up
Benchmark
11 Citations (Scopus)

Petascale general solver for semidefinite programming problems with over two million constraints

Fujisawa, K., Endo, T., Yasui, Y., Sato, H., Matsuzawa, N., Matsuoka, S. & Waki, H., Jan 1 2014, Proceedings - IEEE 28th International Parallel and Distributed Processing Symposium, IPDPS 2014. IEEE Computer Society, p. 1171-1180 10 p. 6877345. (Proceedings of the International Parallel and Distributed Processing Symposium, IPDPS).

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

Computer programming
Parallel algorithms
Factorization
Program processors
Supercomputers

Strict Feasibility of Conic Optimization Problems

Waki, H., 2014, A Mathematical Approach to Research Problems of Science and Technology. Springer Singapore, Vol. 5. p. 325-335 (Mathematics for Industry).

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

2013
21 Citations (Scopus)

Facial Reduction Algorithms for Conic Optimization Problems

Waki, H. & Muramatsu, M., Jul 1 2013, In : Journal of Optimization Theory and Applications. 158, 1, p. 188-215 28 p.

Research output: Contribution to journalArticle

Conic Optimization
Optimization Problem
Primal-dual
Zero Duality Gap
Graph Partition

Formal proofs for automata and sticker systems

Tanaka, H., Sakashita, I., Inokuchi, S. & Mizoguchi, Y., Dec 1 2013, Proceedings - 2013 1st International Symposium on Computing and Networking, CANDAR 2013. p. 563-566 4 p. 6726962. (Proceedings - 2013 1st International Symposium on Computing and Networking, CANDAR 2013).

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

Irreducibility criterion for algebroid curves

Shibuta, T., Jan 17 2013, In : Mathematics of Computation. 82, 281, p. 531-554 24 p.

Research output: Contribution to journalArticle

Tropical Geometry
Resolution of Singularities
Irreducibility
Algebraically closed
Analogue

Numerical reduction method for doubly nonnegative optimization problems

Tanaka, M., Nakata, K. & Waki, H., 2013, In : Journal of Math-for-Industry. 5, A, p. 41-50

Research output: Contribution to journalArticle

Open Access

Real ideal and the duality of semidefinite programming for polynomial optimization

Sekiguchi, Y., Takenawa, T. & Waki, H., Jun 1 2013, In : Japan Journal of Industrial and Applied Mathematics. 30, 2, p. 321-330 10 p.

Research output: Contribution to journalArticle

Semidefinite Programming
Duality
Polynomials
Polynomial
Optimization

Remarks on positivity of α-determinants via SDP relaxation

Osogami, T., Shirai, T. & Waki, H., 2013, In : Journal of Math-for-Industry. 5, A, p. 1-10

Research output: Contribution to journalArticle

Open Access