IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 255  /  [Next]  
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
 Results 1 - 20 of 255  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan