Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2024-03-14 16:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (Waseda Univ.) KBSE2023-77 |
Discrete Controller Synthesis (DCS) automatically synthesizes a safety-guaranteed behavioral specification for a given o... [more] |
KBSE2023-77 pp.73-75 |
R |
2024-02-29 16:45 |
Shimane |
|
A probabilistic model on a Gompertz integrable difference equation Kaito Suzuki, Takeshi Kurosawa (TUS), Daisuke Satoh (NTT) R2023-62 |
We propose a probabilistic discrete integrable model on the Gompertz curve. A discrete integrable model provides accurat... [more] |
R2023-62 pp.42-45 |
IA |
2024-01-25 16:10 |
Tokyo |
Kwansei Gakuin Univiversity, Marunouchi Campus (Primary: On-site, Secondary: Online) |
[Poster Presentation]
Fluid-based Modeling of TCP BBR Congestion Control Mechanism Shota Inoue, Hiroyuki Ohsaki (Kwansei Gakuin Univ.) IA2023-65 |
TCP BBR (Bottleneck Bandwidth and Round-trip propagation time) has been proposed as an efficient congestion control mech... [more] |
IA2023-65 p.45 |
COMP |
2023-12-22 10:50 |
Miyazaki |
Miyazaki Univ. Machinaka Campus |
On the minimization of quasi M^natural-convex functions Kazuo Murota (ISM, TMU), Akiyoshi Shioura (Tokyo Tech) COMP2023-18 |
For a class of discrete quasi convex functions called semi-strictly quasi M♮-convex functions, we investigate fundamenta... [more] |
COMP2023-18 pp.12-19 |
ITS, WBS, RCC |
2023-12-21 09:50 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Ego-Vehicle Motion Estimation by Spectrum analysis using 3D Millimeter-Wave MIMO Radar Keiji Jimi, Takeki Ogitsu (Gunma Univ.) WBS2023-28 ITS2023-11 RCC2023-22 |
This paper discusses a method for estimating the ego-vehicle motion (speed and turning) using spectrum analysis with thr... [more] |
WBS2023-28 ITS2023-11 RCC2023-22 pp.1-6 |
MSS, CAS, IPSJ-AL [detail] |
2023-11-16 17:30 |
Okinawa |
|
Discrete-time Safe Control with Computational Delay Using High-order Control Barrier Function Toshimitsu Ushio (Nanzan Univ.) CAS2023-73 MSS2023-43 |
In safe digital control, an effect of a computational delay on the safety is an important problem. In this report, it is... [more] |
CAS2023-73 MSS2023-43 pp.69-74 |
SDM |
2023-11-10 11:20 |
Tokyo |
(Primary: On-site, Secondary: Online) |
[Invited Talk]
Self-Consistent Monte Carlo Device Simulation of Capture-Excitation Processes of Carriers Futo Hashimoto, Toma Suzuki, Hideki Minari, Nobuya Nakazaki, Jun Komachi (Sony Semiconductor Solutions), Nobuyuki Sano (Univ. of Tsukuba) SDM2023-69 |
The capture-excitation processes of carriers are implemented in self-consistent Monte Carlo device simulations. The car... [more] |
SDM2023-69 pp.31-34 |
EE, WPT (Joint) |
2023-10-05 13:50 |
Osaka |
(Primary: On-site, Secondary: Online) |
[Invited Talk]
Optimal Locaion Model of In-motion Wireless Power Transfer System Based on Discrete Optimization
-- Numerical Examples in Urban-scale and Regional-scale Regions -- Yudai Honma, Daisuke Hasegawa, Katsuhiro Hata, Takashi Oguchi (Univ. of Tokyo) WPT2023-20 |
The popularization of electric vehicles (EVs) is limited by their driving range and long charging times. To address this... [more] |
WPT2023-20 pp.2-7 |
EA, ASJ-H |
2023-08-31 14:15 |
Miyagi |
|
Acoustic test signals for measuring reverberant transfer function and its application to critical distance estimation Hideki Kawahara (Wakayama Univ.), Kohei Yatabe (Tokyo Univ. Agri. Tech.), Ken-Ichi Sakakibara-Ichi (Health Sci. Univ. Hokkaido), Mitsunori Mizumachi (Kyushu Inst. Tech.), Tatsuya Kitamura (Konan Univ.) EA2023-20 |
We propose a dedicated test signal for acoustic measurement specifically for room acoustics based on our recent method. ... [more] |
EA2023-20 pp.14-17 |
EMM, BioX, ISEC, SITE, ICSS, HWS, IPSJ-CSEC, IPSJ-SPT [detail] |
2023-07-24 14:00 |
Hokkaido |
Hokkaido Jichiro Kaikan |
Key Generation by Secure Computation of ID-NIKS based on Discrete Logarithm Problem over Composite Modulus Hayato Inoue, Mizuki Miki, Yasuyuki Murakami (OECU) ISEC2023-21 SITE2023-15 BioX2023-24 HWS2023-21 ICSS2023-18 EMM2023-21 |
In 1990, Murakami and Kasahara proposed an ID based non-interactive key-sharing scheme (MK scheme) that uses the discret... [more] |
ISEC2023-21 SITE2023-15 BioX2023-24 HWS2023-21 ICSS2023-18 EMM2023-21 pp.45-51 |
EMM, BioX, ISEC, SITE, ICSS, HWS, IPSJ-CSEC, IPSJ-SPT [detail] |
2023-07-24 16:00 |
Hokkaido |
Hokkaido Jichiro Kaikan |
Estimation of rotation angle using pilot signal for image watermarking Rinka Kawano, Masaki Kawamura (Yamaguchi Univ.) ISEC2023-26 SITE2023-20 BioX2023-29 HWS2023-26 ICSS2023-23 EMM2023-26 |
Robust watermarking methods must be resistant to attacks. In conventional methods, errors have been corrected after extr... [more] |
ISEC2023-26 SITE2023-20 BioX2023-29 HWS2023-26 ICSS2023-23 EMM2023-26 pp.80-85 |
EMM, BioX, ISEC, SITE, ICSS, HWS, IPSJ-CSEC, IPSJ-SPT [detail] |
2023-07-24 18:20 |
Hokkaido |
Hokkaido Jichiro Kaikan |
Implementation of Shor's algorithm for the discrete logarithm problem and experiments using the quantum computer simulator Kaito Kishi, Junpei Yamaguchi, Tetsuya Izu (Fujitsu Research), Noboru Kunihiro (Univ. of Tsukuba) ISEC2023-32 SITE2023-26 BioX2023-35 HWS2023-32 ICSS2023-29 EMM2023-32 |
Classical polynomial-time algorithms for solving the discrete logarithm problem (DLP) over a prime field have not been f... [more] |
ISEC2023-32 SITE2023-26 BioX2023-35 HWS2023-32 ICSS2023-29 EMM2023-32 pp.119-126 |
MSS, CAS, SIP, VLD |
2023-07-07 10:10 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Notion of Current-State Opacity and Its Verification for Discrete-Time Piecewise Linear Systems Taiga Matsumae, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) CAS2023-17 VLD2023-17 SIP2023-33 MSS2023-17 |
Opacity is one of the security concepts against cyber-attacks, and is frequently formulated for discrete event systems (... [more] |
CAS2023-17 VLD2023-17 SIP2023-33 MSS2023-17 pp.84-87 |
EA |
2023-05-25 14:00 |
Online |
Online |
Weighting functions to suppress artifacts due to cyclic convolution in acoustic measurements based on discrete Fourier transform Hideki Kawahara (Wakayama Univ.), Kohei Yatabe (Tokyo Univ. Agriculture Tech.), Mitsunori Mizumachi (Kyushu Inst. Tech.), Ken-Ichi Sakakibara (Health Science Univ. Hokkaido) EA2023-1 |
The Fast Fourier Transform (FFT) is a common practice in acoustic impulse response measurement and processing due to its... [more] |
EA2023-1 pp.1-8 |
NLP, MSS |
2023-03-17 11:40 |
Nagasaki |
(Primary: On-site, Secondary: Online) |
On the Existence of Deterministic Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems Shigemasa Takai (Osaka Univ.) MSS2022-99 NLP2022-144 |
In this paper, we consider the bisimilarity control problem
for the system and the specification modeled by nondetermin... [more] |
MSS2022-99 NLP2022-144 pp.174-177 |
RCC, ISEC, IT, WBS |
2023-03-14 09:25 |
Yamaguchi |
(Primary: On-site, Secondary: Online) |
A Study on Secure Coded Communications Using Discrete Fourier Transform over Finite Fields Shoichiro Yamasaki (Hiroshima City Univ), Tomoko K. Matsushima (Yokohama College of Commerce), Hirokazu Tanaka (Hiroshima City Univ) IT2022-79 ISEC2022-58 WBS2022-76 RCC2022-76 |
The authors have proposed a security enhancement scheme using a shortened non-systematic
Reed-Solomon codes construc... [more] |
IT2022-79 ISEC2022-58 WBS2022-76 RCC2022-76 pp.74-79 |
EMM |
2023-01-26 10:20 |
Miyagi |
Tohoku Univ. (Primary: On-site, Secondary: Online) |
Proposal of Watermarking Method with Magnification Ratio Estimation Using Pilot Signal Rinka Kawano, Masaki Kawamura (Yamaguchi Univ.) EMM2022-63 |
Resistance to attacks is required for watermarking methods.Conventional methods used error-correcting codes and spread s... [more] |
EMM2022-63 pp.13-18 |
SRW, SeMI, CNR (Joint) |
2022-11-25 15:05 |
Tochigi |
Epinard Nasu (Primary: On-site, Secondary: Online) |
[Poster Presentation]
Energy-Efficient Over-the-Air Computation using Differential Data Transmission Control Go Fukuda, Seiji Miyoshi, Hiroyuki Yomo (Kansai Univ.) SRW2022-32 SeMI2022-67 CNR2022-25 |
In this paper, we focus on AirComp (Over-the-Air Computation) in WSNs (Wireless Sensor Networks), in which the sensor no... [more] |
SRW2022-32 SeMI2022-67 CNR2022-25 pp.52-53(SRW), pp.68-69(SeMI), pp.37-38(CNR) |
EA, ASJ-H |
2022-08-04 15:15 |
Miyagi |
(Primary: On-site, Secondary: Online) |
[Invited Talk]
Audio Source Separation Combining Wavelet Transform and Deep Neural Network Tomohiko Nakamura (Univ. Tokyo) EA2022-32 |
Audio source separation is a technique of separating an observed audio signal into individual source signals. The use of... [more] |
EA2022-32 p.25 |
ICTSSL |
2022-07-29 15:30 |
Osaka |
Kansai University (Primary: On-site, Secondary: Online) |
[Invited Talk]
Application of dynamics-based pedestrian simulation Toshihiro Kawaguchi (Kansai Univ.) ICTSSL2022-16 |
Pedestrian simulations can be divided into rule-based and dynamics-based models regarding to the self-driving properties... [more] |
ICTSSL2022-16 pp.30-35 |