Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
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 |