Kazutoshi Sakakibara

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 21

Top Topics

Mathematical Programming

Formal Verification

Top Venues

Publications

Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura, Shinya Watanabe
Large neighborhood local search method with MIP techniques for large-scale machining scheduling with many constraints. J. Supercomput. 80 (9) (2024)
Yifan Wang, Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura
Formal Specification and Verification of an Autonomous Vehicle Control System by the OTS/CafeOBJ method (S). SEKE (2023)
Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2022)
Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara
An Investigation of Formal Verification of Control Policy of Multi-Car Elevator Systems Using Statistical Model Checking. ICMLC (2022)
Shogo Kotani, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuo Motoyoshi, Keisuke Hoshikawa
Toward Prediction of Traffic Accidents Using Formal Concept Analysis of Actual Accidents and Related Data. ICMLC (2022)
Jin Matsuzaki, Kazutoshi Sakakibara, Masaki Nakamura
The MIP-Based Large Neighborhood Local Search Method for Large-Scale Optimization Problems with Many Constraints: Application to the Machining Scheduling. ICMLC (2022)
Tatsuya Igarashi, Masaki Nakamura, Kazutoshi Sakakibara
Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. SEKE (2022)
Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano
Machine Learning for Protein Solubility Prediction. ICMLC (2022)
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method. Int. J. Softw. Eng. Knowl. Eng. 31 (11&12) (2021)
Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. SEKE (2021)
Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Kazuhiro Ogata
Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. SICE (2020)
Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. CoRR (2020)
Masaki Nakamura, Kazutoshi Sakakibara
Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. MoDELS (Companion) (2019)
Kazutoshi Sakakibara
Validation of Usability of Bridges in Urban Districts by Multi-Agent Simulation Techniques. Intelligent Environments (Workshops) (2018)
Takeshi Oyama, Kazutoshi Sakakibara, Junzo Tachibana, Takuya Matsumoto, Makoto Ohara, Hisashi Tamaki
Multi-Agent Simulation Using Scenarios for Bridges Assessment. SCIS&ISIS (2018)
Yuya Morinaga, Kazutoshi Sakakibara, Takuya Matsumoto, Makoto Ohara, Ittetsu Taniguchi, Hisashi Tamaki
Control of Thermal Grid Systems by Machine Learning Techniques Incorporating Mathematical Programming. IIAI-AAI (2018)
Masato Nagayoshi, Simon J. H. Elderton, Kazutoshi Sakakibara, Hisashi Tamaki
Reinforcement Learning Approach for Adaptive Negotiation-Rules Acquisition in AGV Transportation Systems. J. Adv. Comput. Intell. Intell. Informatics 21 (5) (2017)
Katsuhiro Sakato, Ittetsu Taniguchi, Kazutoshi Sakakibara, Takuya Matsumoto, Hisashi Tamaki, Masahiro Fukui
Optimal power distribution for decentralized electric energy network with electric vehicles. ETFA (2016)
Takuya Matsumoto, Kazutoshi Sakakibara, Makoto Ohara, Hisashi Tamaki
Multi-agent Simulation with Mathematical Optimization of Urban Traffic Using Open Geographic Data. IIAI-AAI (2016)
Shinya Watanabe, Masashi Ito, Kazutoshi Sakakibara
A proposal on a decomposition-based evolutionary multiobjective optimization for large scale vehicle routing problems. CEC (2015)
Hiroto Komaki, Shunsuke Shimazaki, Kazutoshi Sakakibara, Takuya Matsumoto
Interactive optimization techniques based on a column generation model for timetabling problems of university makeup courses. IWCIA (2015)
Takuya Matsumoto, Kazutoshi Sakakibara, Hisashi Tamaki
Multi-agent simulation model of urban traffic behavior of inhabitants applying optimization techniques. SCIS&ISIS (2014)
Kazutoshi Sakakibara, Takuya Matsumoto, Ittetsu Taniguchi, Hisashi Tamaki
Optimization of design of decentralized energy networks by mathematical programming techniques. SCIS&ISIS (2014)
Ittetsu Taniguchi, Kazutoshi Sakakibara, Shinya Kato, Masahiro Fukui
Network Topology and Battery Size Exploration for Decentralized Energy Network with MIP Base Power Flow Optimization. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2013)
Kazutoshi Sakakibara
Adaptive optimization by dynamic programming heuristics for logistics planning in dynamic environments. SII (2013)
Shinya Kato, Ittetsu Taniguchi, Masahiro Fukui, Kazutoshi Sakakibara
A battery degradation aware optimal power distribution on decentralized energy network. NEWCAS (2012)
Shinya Kato, Hide Nishihara, Ittetsu Taniguchi, Masahiro Fukui, Kazutoshi Sakakibara
Analysis on battery storage utilization in decentralized solar energy networks based on a mathematical programming model. SCIS&ISIS (2012)
Yukiko Nakajima, Kazutoshi Sakakibara, Masahiro Ito, Ikuko Nishikawa
Prediction of the O-glycosylation by Support Vector Machines and Characteristics of the Crowded and Isolated O-glycosylation Sites. IIH-MSP (2009)
Hirotaka Sakamoto, Yukiko Nakajima, Kazutoshi Sakakibara, Masahiro Ito, Ikuko Nishikawa
-Glycosylation by Support Vector Machines and Semi-supervised Learning. ICONIP (1) (2008)
Keita Hamahata, Tadahiro Taniguchi, Kazutoshi Sakakibara, Ikuko Nishikawa, Kazuma Tabuchi, Tetsuo Sawaragi
Effective Integration of Imitation Learning and Reinforcement Learning by Generating Internal Reward. ISDA (3) (2008)
Kazutoshi Sakakibara, Yoshiro Fukui, Ikuko Nishikawa
Genetics-Based Machine Learning Approach for Rule Acquisition in an AGV Transportation System. ISDA (3) (2008)
Ikuko Nishikawa, Kohei Hayashi, Kazutoshi Sakakibara
Complex-valued Neuron to describe the Dynamics after Hopf Bifurcation: an Example of CPG Model for a Biped Locomotion. IJCNN (2007)
Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Kazutoshi Sakakibara, Masahiro Ito
-Glycosylation with Secondary Structure Information by Support Vector Machines. KES (2) (2007)
Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Takeshi Iritani, Kazutoshi Sakakibara, Masahiro Ito
-glycosylation Sites in Protein by Layered Neural Networks and Support Vector Machines. KES (2) (2006)
Shinya Watanabe, Kazutoshi Sakakibara
A Multiobjectivization Approach for Vehicle Routing Problems. EMO (2006)
Ikuko Nishikawa, Takeshi Iritani, Kazutoshi Sakakibara
Improvements of the Traffic Signal Control by Complex-Valued Hopfield Networks. IJCNN (2006)
Shinya Watanabe, Kazutoshi Sakakibara
The effectiveness of multiobjective optimizer in single-objective optimization enviroment. GECCO (2005)
Ikuko Nishikawa, Takeshi Iritani, Kazutoshi Sakakibara, Yasuaki Kuroe
Phase dynamics of complex-valued neural networks and its application to traffic signal control. Int. J. Neural Syst. 15 (1-2) (2005)
Shinya Watanabe, Kazutoshi Sakakibara
Multi-objective approaches in a single-objective optimization environment. Congress on Evolutionary Computation (2005)