default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKazutoshi Sakakibara
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]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): 12297-12312 (2024)- 2023
- [c32]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: 363-366 - 2022
- [j5]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. 105-A(5): 823-832 (2022) - [c31]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: 118-193 - [c30]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: 209-214 - [c29]Kodai Suzuki, Kazutoshi Sakakibara, Masaki Nakamura, Suguru Shinoda, Yasuhisa Asano:
Machine Learning for Protein Solubility Prediction. ICMLC 2022: 237-241 - [c28]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: 242-247 - [c27]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: 574-579 - 2021
- [j4]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): 1541-1559 (2021) - [c26]Masaki Nakamura, Kazutoshi Sakakibara, Yuki Okura, Kazuhiro Ogata:
Formal verification of multitask hybrid systems by the OTS/CafeOBJ method. SEKE 2021: 114-119 - 2020
- [c25]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: 1210-1215 - [i1]Masaki Nakamura, Kazutoshi Sakakibara, Kazuhiro Ogata:
Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method. CoRR abs/2010.15280 (2020)
2010 – 2019
- 2019
- [c24]Masaki Nakamura, Kazutoshi Sakakibara:
Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers. MoDELS (Companion) 2019: 732-733 - 2018
- [c23]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: 718-723 - [c22]Kazutoshi Sakakibara:
Validation of Usability of Bridges in Urban Districts by Multi-Agent Simulation Techniques. Intelligent Environments (Workshops) 2018: 206-215 - [c21]Takeshi Oyama, Kazutoshi Sakakibara, Junzo Tachibana, Takuya Matsumoto, Makoto Ohara, Hisashi Tamaki:
Multi-Agent Simulation Using Scenarios for Bridges Assessment. SCIS&ISIS 2018: 1315-1319 - 2017
- [j3]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): 948-957 (2017) - 2016
- [c20]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: 1-4 - [c19]Takuya Matsumoto, Kazutoshi Sakakibara, Makoto Ohara, Hisashi Tamaki:
Multi-agent Simulation with Mathematical Optimization of Urban Traffic Using Open Geographic Data. IIAI-AAI 2016: 1109-1113 - 2015
- [c18]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: 127-130 - [c17]Shinya Watanabe, Masashi Ito, Kazutoshi Sakakibara:
A proposal on a decomposition-based evolutionary multiobjective optimization for large scale vehicle routing problems. CEC 2015: 2581-2588 - 2014
- [c16]Takuya Matsumoto, Kazutoshi Sakakibara, Hisashi Tamaki:
Multi-agent simulation model of urban traffic behavior of inhabitants applying optimization techniques. SCIS&ISIS 2014: 348-352 - [c15]Kazutoshi Sakakibara, Takuya Matsumoto, Ittetsu Taniguchi, Hisashi Tamaki:
Optimization of design of decentralized energy networks by mathematical programming techniques. SCIS&ISIS 2014: 359-364 - 2013
- [j2]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. 96-A(7): 1617-1624 (2013) - [c14]Kazutoshi Sakakibara:
Adaptive optimization by dynamic programming heuristics for logistics planning in dynamic environments. SII 2013: 472-476 - 2012
- [c13]Shinya Kato, Ittetsu Taniguchi, Masahiro Fukui, Kazutoshi Sakakibara:
A battery degradation aware optimal power distribution on decentralized energy network. NEWCAS 2012: 409-412 - [c12]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: 651-656
2000 – 2009
- 2009
- [c11]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: 1209-1212 - 2008
- [c10]Hirotaka Sakamoto, Yukiko Nakajima, Kazutoshi Sakakibara, Masahiro Ito, Ikuko Nishikawa:
Prediction of the O-Glycosylation by Support Vector Machines and Semi-supervised Learning. ICONIP (1) 2008: 986-994 - [c9]Kazutoshi Sakakibara, Yoshiro Fukui, Ikuko Nishikawa:
Genetics-Based Machine Learning Approach for Rule Acquisition in an AGV Transportation System. ISDA (3) 2008: 115-120 - [c8]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: 121-126 - 2007
- [c7]Shinya Watanabe, Kazutoshi Sakakibara:
A Multiobjectivization Approach for Vehicle Routing Problems. EMO 2007: 660-672 - [c6]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: 327-332 - [c5]Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Kazutoshi Sakakibara, Masahiro Ito:
Prediction of the O -Glycosylation with Secondary Structure Information by Support Vector Machines. KES (2) 2007: 335-343 - 2006
- [c4]Ikuko Nishikawa, Takeshi Iritani, Kazutoshi Sakakibara:
Improvements of the Traffic Signal Control by Complex-Valued Hopfield Networks. IJCNN 2006: 459-464 - [c3]Ikuko Nishikawa, Hirotaka Sakamoto, Ikue Nouno, Takeshi Iritani, Kazutoshi Sakakibara, Masahiro Ito:
Prediction of the O-glycosylation Sites in Protein by Layered Neural Networks and Support Vector Machines. KES (2) 2006: 953-960 - 2005
- [j1]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): 111-120 (2005) - [c2]Shinya Watanabe, Kazutoshi Sakakibara:
Multi-objective approaches in a single-objective optimization environment. Congress on Evolutionary Computation 2005: 1714-1721 - [c1]Shinya Watanabe, Kazutoshi Sakakibara:
The effectiveness of multiobjective optimizer in single-objective optimization enviroment. GECCO 2005: 829-830
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-20 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
