Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NS |
2024-04-11 15:30 |
Okayama |
Okayama Prefectural Library + Online (Primary: On-site, Secondary: Online) |
[Invited Talk]
Trust in the Recommender System and its Prediction based on the Performance Beliefs Yoshinori Hijikata (KGU) |
(To be available after the conference date) [more] |
|
RCC, ISEC, IT, WBS |
2024-03-13 - 2024-03-14 |
Osaka |
Osaka Univ. (Suita Campus) |
Efficient Key-Value Commitments with batch update and verification Toshiyuki Mineta, Atsuko Miyaji (OU) IT2023-112 ISEC2023-111 WBS2023-100 RCC2023-94 |
As Blockchain grows in size, the resources to validate that a transaction is true increase linearly. Key-value commitme... [more] |
IT2023-112 ISEC2023-111 WBS2023-100 RCC2023-94 pp.241-248 |
SS |
2024-03-08 13:05 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Evaluation of software to support open data publication by local governments through information presentation and automatic format checking of datasets Tasuku Watanabe, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) SS2023-69 |
The format and content of the open data released to the public differ from municipality to municipality, making it diffi... [more] |
SS2023-69 pp.121-126 |
VLD, HWS, ICD |
2024-03-02 12:05 |
Okinawa |
(Primary: On-site, Secondary: Online) |
A Study on formal verification of GF(2^m) arithmetic circuits including states Kazuho Sakoda (SCU/Kobe Univ.), Yasuyoshi Uemura (SCU), Naofumi Homma (Tohoku Univ.) VLD2023-140 HWS2023-100 ICD2023-129 |
This paper describes a formal verification method for arithmetic circuits based on computer algebra. Conventional method... [more] |
VLD2023-140 HWS2023-100 ICD2023-129 pp.215-220 |
LOIS, ICM |
2024-01-26 15:05 |
Nagasaki |
Nagasaki Prefectural Art Museum (Primary: On-site, Secondary: Online) |
[Encouragement Talk]
A Study of Automatic Network Operation based on User's Intents
-- Digital twin of large-scale network -- Takamichi Nishijima, Atsushi Kitada, Kimihiko Abe, Yuta Sugiyama, Satoru Umezaki, Hiroshi Tomonaga (Fujitsu) ICM2023-42 LOIS2023-46 |
In the DX era, to quickly service in is required as business needs change. The current network design and operation reli... [more] |
ICM2023-42 LOIS2023-46 pp.80-85 |
ED, MW |
2024-01-26 13:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
A Study of Calibration and Verification of measurements using Passive Road Pull Noriyuki Tanba, Shinji Hara (Nagoya UniV.) ED2023-77 MW2023-169 |
Although calibration verification is mandatory for load-pull measurements, gain verification in conjugate matching could... [more] |
ED2023-77 MW2023-169 pp.58-62 |
CQ, CBE (Joint) |
2024-01-25 16:10 |
Kumamoto |
Kurokawa-Onsen (Primary: On-site, Secondary: Online) |
[Invited Talk]
Psychological Evaluation of Trust in the Recommender System Yoshinori Hijikata (KGU) CQ2023-58 |
This paper describes the author's development and validation of a recommendation acceptance tendency scale that measures... [more] |
CQ2023-58 pp.37-42 |
SANE |
2024-01-19 15:40 |
Miyagi |
(Primary: On-site, Secondary: Online) |
Derivation and flight verification of minimum-time takeoff paths for fixed-wing UAV Katsumi Watanabe, Takuma Shibata, Masazumi Ueba (Muroran IT) SANE2023-102 |
While the use of Unnamed Aerial Vehicle(UAV) recently expands, the fixed-wing UAVs require a run way for take-off. To ov... [more] |
SANE2023-102 pp.69-74 |
ITS, WBS, RCC |
2023-12-22 11:45 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Study on Simulation for Safety Verification in Automated Bus Driving Hyo Okawa, Jeyeon Kim (NITTC), Yanbin Wu, Kouya Takahashi, Toru Kumagai, Naohisa Hashimoto (AIST) WBS2023-55 ITS2023-38 RCC2023-49 |
Safety verification under real-world conditions in automated driving involves various problems such as cost and physical... [more] |
WBS2023-55 ITS2023-38 RCC2023-49 pp.138-143 |
IA |
2023-11-22 16:00 |
Aomori |
Aomori Prefecture Tourist Center ASPM (Aomori) (Primary: On-site, Secondary: Online) |
A Study on BGP Routing Operations in the Deployment of ASPA as Path Validation Yusho Yamaguchi (Osaka Univ.), Taiji Kimura (JPNIC), Naoto Yanai, Atsuo Inomata (Osaka Univ.) IA2023-40 |
Autonomous Systems Path Authorization (ASPA) is a technology for verifying routing information advertised in Border Gate... [more] |
IA2023-40 pp.25-32 |
ICSS |
2023-11-16 14:55 |
Ishikawa |
IT Business Plaza Musashi and Online (Primary: On-site, Secondary: Online) |
A Study on Self Destructive Tamper Resistant Software utilizing Return-Oriented Programming (Part 3) Kazuomi Oishi (SIST) ICSS2023-55 |
Self destructive tamper resistant software (SDTRS) is a tamper resistance technology that can protect a program by itsel... [more] |
ICSS2023-55 pp.30-34 |
EMT, IEE-EMT |
2023-11-10 10:45 |
Yamaguchi |
Kaikyo Messe Shimonoseki |
A Method for Detecting Persons Behind Walls using Pulse Radar Kasagi Taisei, Alfred Kik, Kajihara Yasuhiro, Suzuki Yukihisa (Tokyo Metropolitan Univ.) EMT2023-78 |
This paper proposes a method to detect objects behind a wall by analyzing the round-trip time of a radio pulse wave. Add... [more] |
EMT2023-78 pp.87-90 |
SWIM, SC |
2023-08-25 14:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Study of applications to support the open data publication process of local governments Tasuku Watanabe, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) SWIM2023-15 SC2023-14 |
As the informatization of society progresses, it is expected that a variety of data will be used to solve problems. For ... [more] |
SWIM2023-15 SC2023-14 pp.19-25 |
CPSY, DC, IPSJ-ARC [detail] |
2023-08-03 16:00 |
Hokkaido |
Hakodate Arena (Primary: On-site, Secondary: Online) |
Extension of Enclave Application Cache to RISC-V Keystone Takumu Umezawa, Akihiro Saiki, Keiji Kimura (Waseda univ.) CPSY2023-15 DC2023-15 |
The development of the IoT society and the spread of cloud computing have also led to an increase in devices with inadeq... [more] |
CPSY2023-15 DC2023-15 pp.43-48 |
PN, NS, OCS (Joint) |
2023-06-09 13:50 |
Kagawa |
(Primary: On-site, Secondary: Online) |
Bandwidth Limitation Effect in Optical Eigenvalue Modulation Kazuma Nishino, Shogo Nakao, Takaya Maeda, Ken Mishina, Akihiro Maruta (Osaka Univ.) PN2023-13 |
The eigenvalue of the eigenvalue equation accompanying the nonlinear Schr$ddot{text{o}}$dinger equation is constant rega... [more] |
PN2023-13 pp.53-57 |
CS, CQ (Joint) |
2023-05-19 09:25 |
Kagawa |
Rexxam Hall (Kagawa Kenmin Hall) (Primary: On-site, Secondary: Online) |
[Invited Lecture]
Activieis of micro mobility sercie realization at Kashiwa-no-ha smart city Hironobu Imamura (HAFT) CS2023-7 |
(To be available after the conference date) [more] |
CS2023-7 p.27 |
KBSE |
2023-03-17 14:35 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-67 |
In order to target various models in co-analysis, it is necessary to be able to select the SMT solver according to the c... [more] |
KBSE2022-67 pp.79-84 |
SS |
2023-03-15 09:30 |
Okinawa |
(Primary: On-site, Secondary: Online) |
On Polynomial Interpretations Toward Termination of Logically Constrained Term Rewrite Systems with Bit Vector Arithmetic Ayuka Matsumi, Naoki Nishida, Misaki Kojima, Donghoon Shin (Nagoya Univ.) SS2022-61 |
Logically constrained term rewrite systems with the bit-vector theory (BV-LCTRSs, for short) are useful as models of pro... [more] |
SS2022-61 pp.85-90 |
RCC, ISEC, IT, WBS |
2023-03-14 15:45 |
Yamaguchi |
(Primary: On-site, Secondary: Online) |
Claimable Designated Verifier Signature Kyosuke Yamashita (Osaka Univ.), Keisuke Hara (AIST/YNU), Yohei Watanabe (UEC/JDC), Naoto Yanai (Osaka Univ./JDC), Junji Shikata (YNU) IT2022-95 ISEC2022-74 WBS2022-92 RCC2022-92 |
This paper considers the problem of balancing anonymity and traceablity in group-oriented signature schemes. That is, we... [more] |
IT2022-95 ISEC2022-74 WBS2022-92 RCC2022-92 pp.171-178 |
IN, NS (Joint) |
2023-03-02 16:50 |
Okinawa |
Okinawa Convention Centre + Online (Primary: On-site, Secondary: Online) |
A Dynamic Threshold Adjustment Method Between Arbitrary Nodes for Byte Consistency Check in SDN Jumpei Sato, Naoki Moriyama (TUMSAT), Takahiro Shimizu (LINE), Kohta Ohshima (TUMSAT), Naoya Kitagawa (NII) NS2022-214 |
(To be available after the conference date) [more] |
NS2022-214 pp.269-274 |