Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NLP |
2023-11-29 09:50 |
Okinawa |
Nago city commerce and industry association |
Analysis of fundamental characteristics of wireless ergodic sequential logic central pattern generator and its application to functional electrical stimulator Yunosuke Takemae, Hiroyuki Torikai, Masaya Kudo (Hosei Univ) NLP2023-69 |
In this paper, a wireless functional electrical stimulation (FES) device based on ergodic cellular automaton (CA) centra... [more] |
NLP2023-69 p.48 |
NC, MBE (Joint) |
2023-11-27 14:55 |
Osaka |
Kindai Univ. (Primary: On-site, Secondary: Online) |
On stability of periodic orbits in connection recombination cellular automata Mikito Onuki, Taiji Okano, Toshimichi Saito (HU) NC2023-36 |
This paper studies connection recombination cellular automata constructed by applying global permutation connection to e... [more] |
NC2023-36 pp.14-15 |
NLP, CAS |
2023-10-06 10:50 |
Gifu |
Work plaza Gifu |
Transition Rules and Initial States Searches for Cellular Automata Forming Desired Patterns using a Genetic Algorithm Taisei Nagashima, Tadashi Tsubone (NUT) CAS2023-34 NLP2023-33 |
In this study, we use a genetic algorithm (GA) to obtain a pair of transition rules and initial states of Cellular Autom... [more] |
CAS2023-34 NLP2023-33 pp.14-17 |
CCS, NLP |
2023-06-08 14:05 |
Tokyo |
Tokyo City Univ. |
A functional electrical stimulation device based on wireless ergodic sequential logic central pattern generator Yunosuke Takemae, Hiroyuki Torikai, Masaya Kudo (Hosei Univ) NLP2023-15 CCS2023-3 |
In this paper, a wireless functional electrical stimulation (FES) device based on ergodic cellular automaton (CA) centra... [more] |
NLP2023-15 CCS2023-3 pp.9-12 |
CCS, NLP |
2023-06-08 14:30 |
Tokyo |
Tokyo City Univ. |
Nonlinear Compression Characteristics of an Ergodic Cellular Automaton Cochlear Model Koki Sone, Hiroyuki Torikai (Hosei Univ) NLP2023-16 CCS2023-4 |
In this paper, an ergodic cellular automaton (CA) cochlear model is introduced. It is shown that the model can reproduce... [more] |
NLP2023-16 CCS2023-4 pp.13-16 |
SS |
2023-03-15 09:55 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Regularity Preservation Property of Data Tree Rewrite Systems
-- A Subclass Decomposable into Monadic Normal Form -- Yuto Sakao, Hiroyuki Seki (Nagoya Univ.) SS2022-62 |
Let $T$ be a transformation over a class $mathcal{L}$ of languages. If for any regular language $L in mathcal{L}$, $T^*(... [more] |
SS2022-62 pp.91-96 |
ICTSSL, CAS |
2023-01-26 15:00 |
Tokyo |
TBD (Primary: On-site, Secondary: Online) |
Intelligent Traffic Signal Control of a Fukui-Ishibashi Cellular Automaton Traffic Flow Model in order for Reduction of Traffic Jams Takuya Akiyama, Tatsuya Kai (Tokyo Univ. of Science) CAS2022-73 ICTSSL2022-37 |
In this study, A Fukui-Ishibashi cellular automaton traffic flow model is constructed and a new traffic signal control m... [more] |
CAS2022-73 ICTSSL2022-37 pp.62-66 |
NLP |
2022-08-02 15:05 |
Online |
Online |
A fundamental virtual clinical trial of neural prosthetic device based on ergodic cellular automaton neuron model Haruto Suzuki, Torikai Hiroyuki (Hosei Univ.) NLP2022-35 |
In this paper, an ergodic cellular automaton neuron model and its differentiation method are proposed.
It is shown that... [more] |
NLP2022-35 pp.35-38 |
SS, IPSJ-SE, KBSE [detail] |
2022-07-29 13:25 |
Hokkaido |
Hokkaido-Jichiro-Kaikan (Sapporo) (Primary: On-site, Secondary: Online) |
Fault Localization for RNNs Based on Probabilistic Automata and n-grams Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) SS2022-10 KBSE2022-20 |
If deep learning models misbehave, serious accidents may occur.Previous studies have proposed approaches to overcome suc... [more] |
SS2022-10 KBSE2022-20 pp.55-60 |
IT |
2022-07-21 14:55 |
Okayama |
Okayama University of Science (Primary: On-site, Secondary: Online) |
A Data Compression Method Where The Codeword Is a Computer Program Generating The Data Mitsuharu Arimura (Shonan Inst. Tech.) IT2022-19 |
The Kolmogorov complexity of a string is defined as the shortest length of the program on a Turing machine used to repre... [more] |
IT2022-19 pp.18-23 |
SDM |
2021-11-12 11:30 |
Online |
Online |
[Invited Talk]
Modeling of Temperature Dependent Mobility of GaN HEMTs by Cellular Automaton Koichi Fukuda, Junichi Hattori, Hidehiro Asai (AIST), Yaita Junya, Junji Kotani (Fujitsu) SDM2021-62 |
A cellular automaton method is applied to temperature-dependent mobility modeling of GaN HEMT. The method utilizes numer... [more] |
SDM2021-62 pp.47-52 |
SS, DC |
2021-10-19 15:25 |
Online |
Online |
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2021-17 DC2021-22 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding
registers storing data values. RA ... [more] |
SS2021-17 DC2021-22 pp.23-28 |
SIP, CAS, VLD, MSS |
2021-07-06 13:30 |
Online |
Online |
System Analysis of Intelligence
-- The Maturation and Networking of B Lymphocytes in the ventricle system -- Kumon Tokumaru (Writer) CAS2021-15 VLD2021-15 SIP2021-25 MSS2021-15 |
Linguistic processing and intelligence build up are operated by the inside ventricle system immune cell networks, in cha... [more] |
CAS2021-15 VLD2021-15 SIP2021-25 MSS2021-15 pp.75-80 |
CCS |
2021-03-29 13:25 |
Online |
Online |
Neuromorphic Devices using Spatial Free Wiring of Conductive Polymer for Hardware Artificial Neural Networks Emiliano Ali, Yoshiki Amemiya, Tetsuya Asai (Hokkaido Univ.), Megumi Akai-Kasaya (Osaka Univ.) CCS2020-22 |
Nanowires made of conductive polymer have a promising potential to be used in a wide range of applications in the electr... [more] |
CCS2020-22 pp.7-12 |
SS |
2021-03-03 10:25 |
Online |
Online |
A Subclass of LTL with the Freeze Quantifier Translatable into Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-29 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding
registers storing data values. RA ... [more] |
SS2020-29 pp.7-12 |
MSS, SS |
2021-01-27 15:25 |
Online |
Online |
Pumping Lemmas for Languages Expressed by Computational Models with Registers Rindo Nakanishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) MSS2020-41 SS2020-26 |
Register automaton (RA), register context-free grammar (RCFG), and register tree automaton (RTA) are computational model... [more] |
MSS2020-41 SS2020-26 pp.72-77 |
COMP |
2020-12-04 10:40 |
Online |
Online |
Efficient Construction of Cryptarithm Catalogues over DFA Koya Watanabe, Diptarama Hendrian, Ryo Yoshinaka (Tohoku Univ.), Takashi Horiyama (Hokkaido Univ.), Ayumi Shinohara (Tohoku Univ.) COMP2020-20 |
A cryptarithm is a mathematical puzzle where given an arithmetic equation written with letters rather than numerals, a p... [more] |
COMP2020-20 pp.16-23 |
DC, SS |
2020-10-19 13:25 |
Online |
Online |
LTL Model Checking for Register Pushdown Systems Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of recursive programs.
For PDS, model checking methods have been ... [more] |
SS2020-6 DC2020-23 pp.7-12 |
NC, IBISML, IPSJ-BIO, IPSJ-MPS [detail] |
2020-06-29 13:00 |
Online |
Online |
How to Cope with the 3rd Digital Evolution of Linguistic Humans
-- Group Theory for Concepts and FEC -- Kumon Tokumaru (writer) NC2020-2 IBISML2020-2 |
Human speech voice acquired frequency domain discrete element of phoneme and time domain discrete element of mora, thank... [more] |
NC2020-2 IBISML2020-2 pp.7-14 |
RECONF |
2020-05-29 10:00 |
Online |
Online |
The Information Theory of Intelligence
-- Forward Error Correction of Linguistic Information -- Kumon Tokumaru (Writer) RECONF2020-11 |
There has been not a single theory or hypothesis on the intelligence build-up of human, and on its biological basis. Dig... [more] |
RECONF2020-11 pp.59-64 |