Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
COMP |
2023-12-22 14:10 |
Miyazaki |
Miyazaki Univ. Machinaka Campus |
Efficient Enumeration of Quantum Circuits Realizing Boolean Functions by Toffoli Gate Count Shigeru Yamashita (Ritsumeikan Univ.), Takashi Horiyama (Hokkaido Univ.), Norihito Yasuda (NTT) COMP2023-22 |
Quantum Boolean circuits, which compute Boolean functions necessary for quantum computation, are commonly designed using... [more] |
COMP2023-22 pp.37-44 |
IT |
2023-08-04 11:25 |
Kanagawa |
Shonan Institute of Technology (Primary: On-site, Secondary: Online) |
Constructing Visual Cryptography Schemes for Multiple Images Using SAT Technology Tako Hiroaki (Univ. Yamanashi), Xiao-Nan Lu (Gifu Univ.), Nabeshima Hidetomo (Univ. Yamanashi) IT2023-25 |
The visual cryptography scheme (VCS) is a type of secret sharing scheme for images.The VCS uses matrices called basis ma... [more] |
IT2023-25 pp.62-67 |
MSS, CAS, SIP, VLD |
2023-07-07 09:50 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Finite-Time Control of Boolean Networks Considering Specifications on Control Inputs Fuma Motoyama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) CAS2023-16 VLD2023-16 SIP2023-32 MSS2023-16 |
A Boolean network (BN) is widely used as a mathematical model for control of gene regulatory networks. In this paper, a ... [more] |
CAS2023-16 VLD2023-16 SIP2023-32 MSS2023-16 pp.78-83 |
ISEC |
2023-05-17 11:55 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
Card-Based Single-Shuffle Protocols for Secure Multiple-Input AND and XOR Computations (from APKC 2022) Tomoki Kuzuma, Raimu Isuzugawa, Kodai Toyoda (Tohoku Univ), Daiki Miyahara (UEC), Takaaki Mizuki (Tohoku Univ) ISEC2023-6 |
In this invited talk, we introduce the paper ``Card-based Single-shuffle Protocols for Secure Multiple-input AND and XOR... [more] |
ISEC2023-6 p.34 |
DC |
2023-02-28 15:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg (Primary: On-site, Secondary: Online) |
A Seed Generation Method for Multiple Random Pattern Resistant Transition Faults for BIST Yangling Xu, Rei Miura, Toshinori Hosokawa (Nihon Univ), Masayoshi Yoshimura (KSU) DC2022-89 |
With shrinking feature sizes, growing clock frequencies, and decreasing power supply voltage, modern very large integrat... [more] |
DC2022-89 pp.39-44 |
CPSY, DC, IPSJ-ARC [detail] |
2022-07-27 09:45 |
Yamaguchi |
Kaikyo Messe Shimonoseki (Primary: On-site, Secondary: Online) |
Enrei Jo, Rei Miura, Toshinori Hosokawa (Nihon Univ), Masayosi Yoshimura (KSU) CPSY2022-1 DC2022-1 |
In recent years, with the low power design of VLSIs, many low power oriented don't care (X) identification methods and X... [more] |
CPSY2022-1 DC2022-1 pp.1-6 |
ISEC |
2022-05-18 15:10 |
Online |
Online |
[Invited Talk]
A Card-Minimal Three-Input AND Protocol Using Two Shuffles (from COCOON 2021) Raimu Isuzugawa, Kodai Toyoda, Yu Sasaki (Tohoku Univ.), Daiki Miyahara (UEC/AIST), Takaaki Mizuki (Tohoku Univ./AIST) ISEC2022-4 |
In this invited talk, we introduce the paper ``A Card-Minimal Three-Input AND Protocol Using Two Shuffles'' by Raimu Isu... [more] |
ISEC2022-4 p.19 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2022-03-10 10:30 |
Online |
Online |
A Don't Care Filling Method of Control Signals for Concurrent Logical Fault Testing Haofeng Xu, Toshinori Hosokawa, Hiroshi Yamazaki, Masayuki Arai (Nihon Univ), Masayoshi Yoshimura (KSU) CPSY2021-56 DC2021-90 |
In recent years, with the increase in test cost for VLSIs, it has been important to reduce the number of test patterns. ... [more] |
CPSY2021-56 DC2021-90 pp.67-72 |
SS, MSS |
2022-01-11 14:05 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Design of Self-Triggered Reduced-Order Controllers of Probabilistic Boolean Networks Using Reinforcement Learning Michiaki Takizawa, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2021-37 SS2021-24 |
We consider the stabilization of Probabilistic Boolean Networks using reinforcement learning. Using reinforcement learni... [more] |
MSS2021-37 SS2021-24 pp.35-39 |
ISEC |
2021-05-19 11:05 |
Online |
Online |
[Invited Talk]
Six-Card Finite-Runtime XOR Protocol with Only Random Cut (from APKC 2020) Kodai Toyoda (Tohoku Univ.), Daiki Miyahara (Tohoku Univ./AIST), Takaaki Mizuki, Hideaki Sone (Tohoku Univ.) ISEC2021-3 |
In this invited talk, we introduce the paper ``Six-Card Finite-Runtime XOR Protocol with Only Random Cut'' by Kodai Toyo... [more] |
ISEC2021-3 p.17 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2021-03-26 11:20 |
Online |
Online |
A Don't Care Filling Method of Control Signals for Controllers to Enhance Fault Diagnosability at Register Transfer Level Kohei Tsuchibuchi, Toshinori Hosokawa (Nihon Univ), Koji Yamazaki (Meiji Univ.) CPSY2020-62 DC2020-92 |
With the progress of semiconductor technology in recent years, fault analysis is important to improve the yield of VLSIs... [more] |
CPSY2020-62 DC2020-92 pp.73-78 |
MSS, SS |
2021-01-27 15:00 |
Online |
Online |
Speeding up combinatorial optimization solver CombSQL+ by introducing Pseudo-Boolean constraints Junichiro Kishi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya univ.) MSS2020-40 SS2020-25 |
The authors have proposed a solver CombSQL+ for combinatorial optimization problems (COPs) described in extended SQL lan... [more] |
MSS2020-40 SS2020-25 pp.66-71 |
MI |
2020-01-30 10:00 |
Okinawa |
OKINAWAKEN SEINENKAIKAN |
Construction of Basis Vectors for Representation of Immunostaining Combination by Non-negative Matrix Decomposition Kaho Ko, Noriaki Hashimoto, Tatsuya Yokota (NITech), Masato Nakaguro, Kei Kohno, Shigeo Nakamura (NUH), Ichiro Takeuchi, Hidekata Hontani (NITech) MI2019-99 |
In this paper, we propose a method that constructs a set of basis vectors for representing combination of immunostaining... [more] |
MI2019-99 pp.151-154 |
ISEC |
2019-05-17 17:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
Five-Card AND Protocol in Committed Format Using Only Practical Shuffles (from APKC 2018) Yuta Abe (Tohoku Univ.), Yu-ichi Hayashi (NAIST), Takaaki Mizuki, Hideaki Sone (Tohoku Univ.) ISEC2019-11 |
In this invited talk, we introduce the paper ``Five-Card AND Protocol in Committed Format Using Only Practical Shuffles'... [more] |
ISEC2019-11 p.49 |
NLP, MSS (Joint) |
2019-03-15 09:25 |
Fukui |
Bunkyo Camp., Univ. of Fukui |
MSS2018-93 |
Research on network motifs has recently focused on the relationship between form and function, in the context of Boolean... [more] |
MSS2018-93 pp.65-68 |
ISEC |
2018-05-16 11:30 |
Tokyo |
Ookayama Campus, Tokyo Institute of Technology |
[Invited Talk]
The Minimum Number of Cards in Practical Card-Based Protocols (from ASIACRYPT 2017) Daiki Miyahara (Tohoku Univ.), Yu-ichi Hayashi (NAIST), Takaaki Mizuki, Hideaki Sone (Tohoku Univ.) ISEC2018-4 |
In this invited talk, we introduce the paper ``The Minimum Number of Cards in Practical Card-Based Protocols'' by J. Kas... [more] |
ISEC2018-4 p.25 |
NLP |
2018-04-26 16:25 |
Kumamoto |
Kumaoto Univ. |
Construction Methods of Probabilistic Boolean Networks Based on Imperfect Information Katsuaki Umiji, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) NLP2018-11 |
A probabilistic Boolean network (PBN) is one of the mathematical models of gene regulatory networks. In a Boolean networ... [more] |
NLP2018-11 pp.49-52 |
NS, ASN, RCC, RCS, SR (Joint) |
2017-07-19 11:55 |
Hokkaido |
Hokkaido Univ. |
A Pool Control Method for Adaptive Group Testing with Boolean Compressed Sensing Yujia Lu (Kyoto Univ.), Kazunori Hayashi (Osaka City Univ.) RCC2017-14 NS2017-35 RCS2017-97 SR2017-31 ASN2017-19 |
Adaptive group testing determines a pool (a set of items to be tested) for the next test based on past test results, and... [more] |
RCC2017-14 NS2017-35 RCS2017-97 SR2017-31 ASN2017-19 pp.25-30(RCC), pp.39-44(NS), pp.25-30(RCS), pp.47-52(SR), pp.43-48(ASN) |
CQ |
2017-01-20 09:30 |
Osaka |
Osaka University Nakanoshima Center |
A Path Construction Scheme in Reflective Network Tomography for Node Failure Detection Naoya Kiyofuji (Osaka Univ.), Takahiro Matsuda (Osaka Univ./NICT), Shinsuke Hara (Osaka City Univ.), Kenichi Takizawa, Fumie Ono, Ryu Miura (NICT) CQ2016-97 |
Network tomography is a network monitoring method to estimate network internal characteristics from end-to-end measureme... [more] |
CQ2016-97 pp.41-46 |
WBS, RCC, ITS |
2016-12-01 13:00 |
Kagawa |
Sunport Hall Takamatsu |
[Poster Presentation]
A New Pool Control Method for Boolean Compressed Sensing Based Adaptive Group Testing Yujia Lu, Kazunori Hayashi (Kyoto Univ.) WBS2016-52 ITS2016-19 RCC2016-41 |
Adaptive group testing determines a pool (set of items to be tested) used in the next test on the basis of previous test... [more] |
WBS2016-52 ITS2016-19 RCC2016-41 pp.25-30 |