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 |
R |
2019-10-25 15:30 |
Nagasaki |
Fukue Culture Center |
Optimization of database backup with noise information based on incomplete infomation Syouji Nakamura (Kinjo Gakuin Univ), Toshio Nakagawa (AIT) R2019-41 |
[more] |
R2019-41 pp.19-24 |
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 |
RCS, SR, SRW (Joint) |
2019-03-08 09:50 |
Kanagawa |
YRP |
[Invited Lecture]
Latest trend of Private LTE
-- Trend of Core Network Technorogy and Open Source Software -- Yoshio Inoue, Yuuko Akiyama, Kazunari Kobayashi (FUJITSU), Tadashi Nakamura (FUJITSU Lab) SRW2018-69 |
In this report, we introduce core network architecture of private cellular network which can use private and commercial ... [more] |
SRW2018-69 p.59 |
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 |
R |
2018-07-27 16:25 |
Hokkaido |
|
Optimization of Data Relocation Processs with Access Failures Syouji Nakamura (Kinjo Gakuin Univ), Toshio Nakagawa (AIT) R2018-16 |
[more] |
R2018-16 pp.31-34 |
EA, ASJ-H |
2017-08-09 14:15 |
Miyagi |
Tohoku Univ., R. I. E. C. |
A study on reduction of reflective wave in sound source direction tracking system Kazuo Takayama, Jun Satonobu, Masataka Nakamura (Hiroshima Inst. of Tech.) EA2017-30 |
Abstract
In a television conference system, a human assist robot, etc., it is required for the front of system to aut... [more] |
EA2017-30 pp.21-26 |
NLP |
2017-07-14 13:25 |
Okinawa |
Miyako Island Marine Terminal |
Coupled Kuramoto oscillator-based control laws for both formation and obstacle avoidance control of two-wheeled mobile robots Kevin Denamganai, Tadashi Nakamura, Naoyuki Hara, Keiji Konishi (Osaka Pref. Univ.) NLP2017-44 |
Our previous study proposed a control law for two-wheeled mobile robots that is based on the synchronization phenomenon ... [more] |
NLP2017-44 pp.87-91 |
R |
2016-12-16 16:20 |
Kanagawa |
Maholoba Minds Miura (Miura City, Kanagawa Prefecture) |
Optimum Incremental Policies with Update Failures at Random Backup Times Syouji Nakamura (Kinjo Gakuin Univ.), Xufeng Zhao (Qatar Univ.), Toshio Nakagawa (AIT) R2016-58 |
[more] |
R2016-58 pp.25-30 |
R |
2016-10-21 15:55 |
Okinawa |
Okinawaken Seinenkaikan |
A Summary of Replacement Policies for Continous Damage Models Syouji Nakamura (Kinjo Gakuin Univ), Kodo Itoh (Fukushima Univ), Toshio Nakagawa (AIT) R2016-47 |
[more] |
R2016-47 pp.31-35 |
NLP |
2016-07-22 11:00 |
Hokkaido |
Hokkaido Univ. Centennial Hall |
Formation control of mobile robots with coupled phase oscillators
-- Robust performance against removing/adding robots -- Tadashi Nakamura, Koki Yoshida, Naoyuki Hara, Keiji Konishi (Osaka Pref.Univ) NLP2016-42 |
Considerable attention has been paid to multi-agent systems. One of the advantages of multi-agent systems is the robustn... [more] |
NLP2016-42 pp.45-49 |
EA |
2016-07-08 11:25 |
Shizuoka |
Yamaha, Toyooka Factory |
The sound direction tracking system with reduced infuluence of noise and reflected wave Kazuo Takayama, Jun Satonobu, Masataka Nakamura (HIT) EA2016-13 |
In the realization of equipment such as video conferencing system , security camera and robot which can communicate with... [more] |
EA2016-13 pp.29-34 |
R |
2016-05-28 16:10 |
Aichi |
WINC AICHI |
[Invited Talk]
Random Time Incremental and Differential Backup Optimal Policies Syouji Nakamura (Kinjo Gakuin Univ), Xufeng Zhao (Qatar Univ.), Toshio Nakagawa (Aichi Inst. of Univ.) R2016-8 |
[more] |
R2016-8 pp.45-49 |