IEICE TRANSACTIONS on Information and Systems

Archive Index

Online ISSN : 1745-1361
Volume E102-D No.8  (Publication Date:2019/08/01)
[Whole issue]:PDF (19.7MB)
Previous | 
Next
Special Section on Formal Approaches

pp.1438-1438  FOREWORD  Open Access Paper
FOREWORD
Toshiaki AOKI  
Summary | FreeFull Text:PDF(68.8KB)

pp.1439-1448  PAPER
Verification of LINE Encryption Version 1.0 Using ProVerif
Cheng SHI  Kazuki YONEYAMA  
Summary | Full Text:PDF (381.5KB) >>
Buy this Article


pp.1449-1461  PAPER
On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification
Hoang-Viet TRAN  Ngoc Hung PHAM  Viet Ha NGUYEN  
Summary | Full Text:PDF (645.1KB) >>
Buy this Article


pp.1462-1477  PAPER
Change Impact Analysis for Refinement-Based Formal Specification
Shinnosuke SARUWATARI  Fuyuki ISHIKAWA  Tsutomu KOBAYASHI  Shinichi HONIDEN  
Summary | Full Text:PDF (1.2MB) >>
Buy this Article


Regular Section

pp.1478-1488  PAPER-Fundamentals of Information Systems
High-Performance End-to-End Integrity Verification on Big Data Transfer
Eun-Sung JUNG  Si LIU  Rajkumar KETTIMUTHU  Sungwook CHUNG  
Summary | Full Text:PDF (870.1KB) >>
Buy this Article


pp.1489-1497  PAPER-Fundamentals of Information Systems
Parameter Identification and State-of-Charge Estimation for Li-Ion Batteries Using an Improved Tree Seed Algorithm
Weijie CHEN  Ming CAI  Xiaojun TAN  Bo WEI  
Summary | Full Text:PDF (1.3MB) >>
Buy this Article


pp.1498-1505  PAPER-Software System
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
Kozo OKANO  Satoshi HARAUCHI  Toshifusa SEKIZAWA  Shinpei OGATA  Shin NAKAJIMA  
Summary | Full Text:PDF (444KB) >>
Buy this Article


pp.1506-1516  PAPER-Software Engineering
SCSE: Boosting Symbolic Execution via State Concretization
Huibin WANG  Chunqiang LI  Jianyi MENG  Xiaoyan XIANG  
Summary | Full Text:PDF (516.4KB) >>
Buy this Article


pp.1517-1525  PAPER-Data Engineering, Web Information Systems
TDCTFIC: A Novel Recommendation Framework Fusing Temporal Dynamics, CNN-Based Text Features and Item Correlation
Meng Ting XIONG  Yong FENG  Ting WU  Jia Xing SHANG  Bao Hua QIANG  Ya Nan WANG  
Summary | Full Text:PDF (581.1KB) >>
Buy this Article


pp.1526-1536  PAPER-Artificial Intelligence, Data Mining
MF-CNN: Traffic Flow Prediction Using Convolutional Neural Network and Multi-Features Fusion
Di YANG  Songjiang LI  Zhou PENG  Peng WANG  Junhui WANG  Huamin YANG  
Summary | Full Text:PDF (1.2MB) >>
Buy this Article


pp.1537-1545  PAPER-Artificial Intelligence, Data Mining
Robust Label Prediction via Label Propagation and Geodesic k-Nearest Neighbor in Online Semi-Supervised Learning
Yuichiro WADA  Siqiang SU  Wataru KUMAGAI  Takafumi KANAMORI  
Summary | Full Text:PDF (466.1KB) >>
Buy this Article


pp.1546-1553  PAPER-Speech and Hearing
Pre-Training of DNN-Based Speech Synthesis Based on Bidirectional Conversion between Text and Speech
Kentaro SONE  Toru NAKASHIKA  
Summary | Full Text:PDF (618.5KB) >>
Buy this Article


pp.1554-1564  PAPER-Image Recognition, Computer Vision
Recognition of Anomalously Deformed Kana Sequences in Japanese Historical Documents
Nam Tuan LY  Kha Cong NGUYEN  Cuong Tuan NGUYEN  Masaki NAKAGAWA  
Summary | Full Text:PDF (2.7MB) >>
Buy this Article


pp.1565-1568  LETTER-Fundamentals of Information Systems
OpenACC Parallelization of Stochastic Simulations on GPUs
Pilsung KANG  
Summary | Full Text:PDF (327.2KB) >>
Buy this Article


pp.1569-1571  LETTER-Computer System
An Efficient Block Assignment Policy in Hadoop Distributed File System for Multimedia Data Processing
Cheolgi KIM  Daechul LEE  Jaehyun LEE  Jaehwan LEE  
Summary | Full Text:PDF (510.1KB) >>
Buy this Article


pp.1572-1575  LETTER-Computer System
Implementation of Smart Dressing Systems Based on Flexible pH Sensors Using PET Films
Seok-Oh YUN  Jung Hoon LEE  Jin LEE  Choul-Young KIM  
Summary | Full Text:PDF (950.2KB) >>
Buy this Article


pp.1576-1580  LETTER-Data Engineering, Web Information Systems
NVRAM-Aware Mapping Table Management for Flash Storage Devices
Yongju SONG  Sungkyun LEE  Dong Hyun KANG  Young Ik EOM  
Summary | Full Text:PDF (497.7KB) >>
Buy this Article


pp.1581-1585  LETTER-Information Network
Graph Similarity Metric Using Graph Convolutional Network: Application to Malware Similarity Match
Bing-lin ZHAO  Fu-dong LIU  Zheng SHAN  Yi-hang CHEN  Jian LIU  
Summary | Full Text:PDF (700.9KB) >>
Buy this Article


pp.1586-1589  LETTER-Artificial Intelligence, Data Mining
Iterative Adversarial Inference with Re-Inference Chain for Deep Graphical Models
Zhihao LIU  Hui YIN  Hua HUANG  
Summary | Full Text:PDF (316.8KB) >>
Buy this Article


pp.1590-1593  LETTER-Human-computer Interaction
Estimation of the Attractiveness of Food Photography Based on Image Features
Kazuma TAKAHASHI  Tatsumi HATTORI  Keisuke DOMAN  Yasutomo KAWANISHI  Takatsugu HIRAYAMA  Ichiro IDE  Daisuke DEGUCHI  Hiroshi MURASE  
Summary | Full Text:PDF (1.2MB) >>
Buy this Article


pp.1594-1597  LETTER-Speech and Hearing
Speech Quality Enhancement for In-Ear Microphone Based on Neural Network
Hochong PARK  Yong-Shik SHIN  Seong-Hyeon SHIN  
Summary | Full Text:PDF (468.4KB) >>
Buy this Article


pp.1598-1601  LETTER-Image Processing and Video Processing
Image Denoiser Using Convolutional Neural Network with Deconvolution and Modified Residual Network
Soo-Yeon SHIN  Dong-Myung KIM  Jae-Won SUH  
Summary | Full Text:PDF (526.6KB) >>
Buy this Article


pp.1602-1605  LETTER-Computer Graphics
Saccade Information Based Directional Heat Map Generation for Gaze Data Visualization
Yinwei ZHAN  Yaodong LI  Zhuo YANG  Yao ZHAO  Huaiyu WU  
Summary | Full Text:PDF (3.7MB) >>
Buy this Article


Previous | 
Next
go to Page Top