|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
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 |
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 |
|
|
|
Copyright and reproduction :
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
|
[Return to Top Page]
[Return to IEICE Web Page]
|