| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: Recent 10 Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS, SS | 2025-01-12 13:15 |
Kagoshima | An approximate approach to two-stage stochastic programming models by scenario sampling
-- Application to metal recycling process under uncertainty due to machine trouble -- Kazutoshi Sakakibara, Takuro Shimizu, Ryo Takano, Takuya Matsumoto, Nakamura Masaki (Toyama Pref.)  MSS2024-47 SS2024-26 |
We propose an efficient approximate solution method for two-stage stochastic programming models. In solving the two-stag... [more] | MSS2024-47 SS2024-26 pp.29-34 |
|
| MSS, SS | 2025-01-13 10:00 |
Kagoshima | Optimization of Relief Supplies Allocation and Transportation to Evacuation Shelters by Applying Mixed Integer Programming Model Takuya Matsumoto, Kazutoshi Sakakibara, Ryo Takano, Masaki Nakamura (Toyama Pref. Univ.) MSS2024-55 SS2024-34 |
In the event of a disaster, it is necessary to distribute and transport relief supplies from the warehouse to each evacu... [more] | MSS2024-55 SS2024-34 pp.66-70 |
|
| MSS, SS | 2025-01-13 14:45 |
Kagoshima | Detection of Irregular Behaviors in Multi-Object Tracking by Particle Swarm Optimization Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara, Masaki Nakamura (TPU) MSS2024-63 SS2024-42 |
In the multi-object tracking problem of tracking multiple objects in a video, object trajectory prediction has been domi... [more] | MSS2024-63 SS2024-42 pp.110-115 |
|
| NLP, MSS | 2024-03-13 13:30 |
Misc. | Kikai-Shinko-Kaikan Bldg. | Mixed integer programming model for flexible job shop problems with process converging Kosuke Aoki, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Prefectural Univ.) MSS2023-76 NLP2023-128 |
In this paper, we propose a scheduling method for manufacturing sites that include production lines with convergence pro... [more] | MSS2023-76 NLP2023-128 pp.29-34 |
| NLP, MSS | 2024-03-13 15:00 |
Misc. | Kikai-Shinko-Kaikan Bldg. | Formal Concept Analysis of Traffic Accidents Factors using Traffic Accident Summaries Haruto Murakami, Kazutoshi Sakakibara, Masaki Nakamura, Tatsuro Motoyoshi, Keisuke Hoshikawa (Toyama Prefectural Univ.) MSS2023-79 NLP2023-131 |
The purpose of this study is to support police activities targeting elderly pedestrians and other vulnerable road users,... [more] | MSS2023-79 NLP2023-131 pp.42-47 |
| NLP, MSS | 2024-03-13 15:25 |
Misc. | Kikai-Shinko-Kaikan Bldg. | Machine learning-based solubility prediction and meta-heuristic search for multiple mutation patterns Kaisei Kojima, Kazutoshi Sakakibara, Masaki Nakamura (Toyama Prefectural Univ.), Daisuke Matsui (Ritsumeikan Univ.) MSS2023-80 NLP2023-132 |
In order to solubilize insoluble proteins that cannot be used for industrial purposes, experiments have been performed t... [more] | MSS2023-80 NLP2023-132 pp.48-53 |
| MSS, NLP | 2022-03-28 09:40 |
Online | Online | Prediction of Traffic Accidents using Formal Concept Analysis with Actual Data Shogo Kotani, Yuta Asanuma, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuro Motoyoshi, Keisuke Hoshikawa (Toyama Pref. Univ.) MSS2021-56 NLP2021-127 |
The purpose of this study is for preventing future traffic accidents by past ones to analyze traffic accident data based... [more] | MSS2021-56 NLP2021-127 pp.7-12 |
| MSS, NLP | 2022-03-28 10:05 |
Online | Online | Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) MSS2021-57 NLP2021-128 |
When designing an elevator system, efficient control laws can be expected to be obtained by considering the probability ... [more] | MSS2021-57 NLP2021-128 pp.13-18 |
| MSS, NLP (Joint) |
2020-03-09 13:30 |
Aichi | (Cancelled but technical report was issued) |
Formal concept analysis of protein properties based on amino acid sequences and structural information Yuki Ozaki, Tatsuki Yamazaki, Yuki Tsuchiya, Ryo Tsugita, Masaki Nakamura, Kazutoshi Sakakibara, Suguru Shinoda, Yasuhisa Asano (Toyama Pref. Univ.) MSS2019-58 |
[more] | MSS2019-58 pp.5-8 |
| MSS, NLP (Joint) |
2020-03-09 18:15 |
Aichi | (Cancelled but technical report was issued) |
Specification and verification of real-time multitasking systems by the OTS/CafeOBJ method Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST) MSS2019-62 |
[more] | MSS2019-62 pp.25-30 |
| NLP, MSS (Joint) |
2019-03-14 13:20 |
Fukui | Bunkyo Camp., Univ. of Fukui | Specification description of real-time multitask systems by the OTS/CafeOBJ method Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST) MSS2018-83 |
[more] | MSS2018-83 pp.13-18 |
| HPB (2nd) |
2019-02-15 16:20 |
Tokyo | Multi-Agent Simulation of Urban Transportation Considering Weather Watanabe Taiki (Aoyama Gakuin Univ.), Takeshi Oyama (Toyama Prefectural Univ.), Yu Nakayama, Yoshito Tobe (Aoyama Gakuin Univ.), Kazutoshi Sakakibara (Toyama Prefectural Univ.) |
(To be available after the conference date) [more] | ||
| MSS, CAS, IPSJ-AL [detail] | 2018-11-13 10:35 |
Shizuoka | Numerical evaluation of parking lot layouts by the layered multi-agent simulation techniques Takeshi Oyama, Kazutoshi Sakakibara, Masaki Nakamura (Toyama Pref. Univ.), Takuya Matsumoto (Sohatsu), Makoto Ohara (Kobe Univ.) CAS2018-68 MSS2018-44 |
[more] | CAS2018-68 MSS2018-44 pp.83-88 |
|
| MSS, CAS, IPSJ-AL [detail] | 2018-11-13 15:15 |
Shizuoka | On formal verification of mathematical programming models by algebraic specifications Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) CAS2018-76 MSS2018-52 |
To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver. In th... [more] |
CAS2018-76 MSS2018-52 pp.127-130 |
|
[Return to Top Page]