Laboratory of Advanced Software in Mathematics

Research Output 2002 2019

Filter
Conference contribution
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
Experiments
2018
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
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
2017

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., Vol. 2017-January. p. 1-6 6 p.

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
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
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
2014

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
2013

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

2012
8 Citations (Scopus)

Mathematical analysis on affine maps for 2D shape interpolation

Kaji, S., Hirose, S., Sakata, S., Mizoguchi, Y. & Anjyo, K., Jul 29 2012, Computer Animation 2012 - ACM SIGGRAPH / Eurographics Symposium Proceedings, SCA 2012. Fellner, D. W. (ed.). Association for Computing Machinery, Inc, p. 71-76 6 p.

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

Interpolation
Rigidity
2006
1 Citation (Scopus)

The number of orbits of periodic box-ball systems

Mikoda, A., Inokuchi, S., Mizoguchi, Y. & Fujio, M., Jan 1 2006, Unconventional Computation - 5th International Conference, UC 2006, Proceedings. Springer Verlag, p. 181-194 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4135 LNCS).

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

Solitons
Orbits
Ball
Orbit
Cellular automata
2002

Shortest path length calculation using graph transformations

Mizoguchi, Y., 2002, Proceedings of the 6th Joint Conference on Information Sciences, JCIS 2002. Caulfield, J. H., Chen, S. H., Cheng, H. D., Duro, R., Caufield, J. H., Chen, S. H., Cheng, H. D., Duro, R. & Honavar, V. (eds.). Vol. 6. p. 358-361 4 p.

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

Labels