​
Login / Signup
Ken-ichi Arai
ORCID
Publication Activity (10 Years)
Years Active: 1987-2012
Publications (10 Years): 0
Top Topics
Real Time
Packet Switching
Top Venues
IEICE Trans. Commun.
</>
Publications
</>
Takahiro Hirayama
,
Shin'ichi Arakawa
,
Ken-ichi Arai
,
Masayuki Murata
Dynamics of Feedback-Induced Packet Delay in ISP Router-Level Topologies.
IEICE Trans. Commun.
(9) (2012)
Katsumi Wasaki
,
Toshiaki Harai
,
Tamotsu Hayashi
,
Ken-ichi Arai
Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net.
DSD
(2007)
Katsumi Wasaki
,
Ken-ichi Arai
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
FCS
(2007)
Ken-ichi Arai
,
Ryohei Nakano
Stable behavior in a recurrent neural network for a finite state machine.
Neural Networks
13 (6) (2000)
Ken-ichi Arai
,
Ryohei Nakano
Annealed RNN Learning of Finite State Automata.
ICANN
(1996)
Takeshi Otsuka
,
Douglas Villaret
,
Takashi Yokota
,
Yutaka Takebe
,
Frank Lee
,
Naoko Arai
,
Ken-ichi Arai
Structural analysis of the mouse chromosomal gene encoding interleukin 4 which expresses B cell, T cell and mast cell stimulating activities.
Nucleic Acids Res.
15 (1) (1987)