Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SIP, SP, EA, IPSJ-SLP [detail] |
2024-02-29 09:30 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Vocal tract length perturbation-based pseudo-speaker augmentation for automatic speaker verification Tomoka Wakamatsu, Sayaka Shiota, Hitoshi Kiya (Tokyo Metropolitan Univ.) EA2023-61 SIP2023-108 SP2023-43 |
In recent years, deep neural network (DNN)-based automatic speaker verification (ASV) systems have become mainstream. Da... [more] |
EA2023-61 SIP2023-108 SP2023-43 pp.1-6 |
SIP, SP, EA, IPSJ-SLP [detail] |
2024-02-29 09:50 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Pseudo-speaker augmentation based on vocal tract length perturbation considering speaker variability for speaker verification Fumika Ono, Tomoka Wakamatsu, Sayaka Shiota (TMU) EA2023-62 SIP2023-109 SP2023-44 |
In order to construct a reliable speaker verification system based on speaker embeddings, it is necessary to train the s... [more] |
EA2023-62 SIP2023-109 SP2023-44 pp.7-12 |
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 |
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 |
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 |
QIT (2nd) |
2023-12-19 11:15 |
Okinawa |
OIST (Primary: On-site, Secondary: Online) |
Unification and Improvement of Quantum Error Mitigation Methods via Generalized Quantum Subspace Expansion Shigeo Hakkaku (NTT), Nobuyuki Yoshioka (UTokyo), Yuuki Tokunaga, Suguru Endo (NTT) |
Numerous quantum error mitigation methods are proposed to make the most of noisy quantum devices that lack the capabilit... [more] |
|
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 |
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 |
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 |
HWS, VLD |
2023-03-02 15:20 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Secure Cache System against On-Chip Threats Keisuke Kamahori, Shinya Takamaeda (UTokyo) VLD2022-95 HWS2022-66 |
In this paper, we propose a new threat model for secure processor design that considers on-chip threats.
Also, we desi... [more] |
VLD2022-95 HWS2022-66 pp.113-118 |
CNR, BioX |
2023-03-02 10:00 |
Oita |
(Primary: On-site, Secondary: Online) |
Using hiragana and katakana Writer's verification by Siamese Network Daichi Kaku, Akira Kubota (Chuo Univ) BioX2022-70 CNR2022-36 |
Due to the measures against infectious diseases of the new coronavirus, the online processing of documents has progresse... [more] |
BioX2022-70 CNR2022-36 pp.47-52 |
SP, IPSJ-SLP, EA, SIP [detail] |
2023-03-01 15:50 |
Okinawa |
(Primary: On-site, Secondary: Online) |
The linguistic influence on speaker verification based on Self-Supervised Learning Tomoka Wakamatsu (Tokyo Metropolitan Univ.), Atsushi Ando (NTT), Sayaka Shiota (Tokyo Metropolitan Univ.), Ryo Masumura (NTT), Hitoshi Kiya (Tokyo Metropolitan Univ.) EA2022-118 SIP2022-162 SP2022-82 |
In recent years, statistical models utilizing Self-Supervised Learning (SSL) have been employed in various fields
It ha... [more] |
EA2022-118 SIP2022-162 SP2022-82 pp.247-252 |
SANE |
2023-01-20 13:00 |
Tokyo |
(Primary: On-site, Secondary: Online) |
Derivation and flight verification of maximum climb rate for fixed-wing UAV driven by propeller engine Katsumi Watanabe, Takuma Shibata, Masazumi Ueba (Muroran IT) SANE2022-94 |
While the use of Unnamed Aerial Vehicle(UAV) recently expands, the use of the fixed-wing UAVs requires a run way for tak... [more] |
SANE2022-94 pp.29-34 |
MSS, SS |
2023-01-10 11:00 |
Osaka |
(Primary: On-site, Secondary: Online) |
[Panel Discussion]
Review of Mathematical Systems Science and its Applications (MSS) Research Group Activities and Future Prospects
-- Messages from Past MSS Chairs -- Atsuo Ozaki (OIT), Kunihiko Hiraishi (JAIST), Yuichi Nakamura (NEC), Satoshi Yamane (Kanazawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus), Shigemasa Takai (Osaka Univ.) MSS2022-44 SS2022-29 |
Ten years have passed since the Mathematical Systems Science and its Applications (MSS) was established in 2011. To comm... [more] |
MSS2022-44 SS2022-29 pp.1-4 |
EA, US (Joint) |
2022-12-22 16:50 |
Hiroshima |
Satellite Campus Hiroshima |
[Poster Presentation]
Data augmentation method for machine learning on speech data Tsubasa Maruyama (Tokyo Tech), Tsutomu Ikegami (AIST), Toshio Endo (Tokyo Tech), Takahiro Hirofuchi (AIST) EA2022-68 |
In machine learning, data augmentation is a method to enhance the number and diversity of data by adding transformations... [more] |
EA2022-68 pp.42-48 |
QIT (2nd) |
2022-05-31 11:50 |
Online |
Online |
Passive verification protocol for thermal graph states Kazuki Akimoto, Shunji Tsuchiya (Chuo Univ.), Ryosuke Yoshii (Sanyo-Onoda City Univ.), Yuki Takeuchi (NTT) |
Graph states are entangled resource states for universal measurement-based quantum computation.
Although matter qubits ... [more] |
|
MSS, NLP |
2022-03-29 14:55 |
Online |
Online |
Verification of spacecraft operational scenario using Little-JIL Kazunori Someya (JAXA), Kunihiko Hiraishi (JAIST) MSS2021-78 NLP2021-149 |
Inadequate operational scenario leads to satellite loss in the case of the operational accident of the X-ray astronomy s... [more] |
MSS2021-78 NLP2021-149 pp.121-126 |