ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Software Science (SS)
Chair: Shin Nakajima (NII) Vice Chair: Shoji Yuen (Nagoya Univ.)
Secretary: Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.)
Assistant: Takashi Kobayashi (Nagoya Univ.)

===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
Chair: Kunihiko Hiraishi (JAIST) Vice Chair: Yuichi Nakamaura (NEC)
Secretary: Masaki Nakamura (Toyama Pref. Univ.), Shinnosuke Yamaguchi (Kyushu Inst. of Tech.)
Assistant: Daisuke Nishiwaki (NEC)

DATE:
Wed, Mar 6, 2013 13:20 - 18:00
Thu, Mar 7, 2013 09:30 - 16:50

PLACE:
(http://www.qkamura.or.jp/shikano/access/. Kyushu Institute of Technology, Shin'nosuke Yamaguchi. +81-(0)948-29-7572)

TOPICS:
General topics

----------------------------------------
Wed, Mar 6 PM (13:20 - 14:20)
----------------------------------------

(1) 13:20 - 13:40
Towards Personalization of Home Electricity Peak Shaving Application
Keisuke Tokuda, Shinsuke Matsumoto, Masahide Nakamura (Koube Univ.)

(2) 13:40 - 14:00
Implementing Materialized View of Large-Scale Power Consumption Log Using MapReduce
Yuki Ise, Shintaro Yamamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)

(3) 14:00 - 14:20
A Study on Personalized Visualization Service of Energy Consumption in Home Network System
Yuichi Watanabe, Keisuke Tokuda, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Wed, Mar 6 PM (14:30 - 16:10)
----------------------------------------

(4) 14:30 - 14:50
Parameter behavior of significant words selection in spam mail classification using a machine learning technique with tf-idf method
Shintaro Ishizaki, Yuki Hashimura, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)

(5) 14:50 - 15:10
A Support Tool for Understanding Programs and Visualizing Algorithms
-- Creating Flowcharts Based on Hierarchical Graph Drawings --
Rei Takahara, Fumiya Makimori, Masahiro Yamauchi (Kinki Univ.), Daisuke Takafuji, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)

(6) 15:10 - 15:30
Revisiting Delta-Notch signalling in Drosophila through logical modelling and analysis
Mayuka Onishi, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.)

(7) 15:30 - 15:50
Consideration in Laboratory Assignment Problem with Various Criteria
Saki Nakamura, Shinya Nogami (Tokyo Univ. of Science)

(8) 15:50 - 16:10
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving
-- System Architecture and Experimental Results --
Naoshi Uchihira, Kentaro Torii (Toshiba), Yuji Hirabayashi (Shimizu Corporation), Sunseong Choe, Kunihiko Hiraishi (JAIST), Tetsuro Chino (Toshiba), Taro Sugihara (JAIST)

----- Break ( 10 min. ) -----

----------------------------------------
Wed, Mar 6 PM (16:20 - 18:00)
----------------------------------------

(9) 16:20 - 16:40
Multiple Programming Languages Support Customizable Bug Localization Framework
Kiyofumi Shimojo, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)

(10) 16:40 - 17:00
Towards detection of automatically undetectable violations focused on the locality of coding standards violations
Yasunari Takai (Nagoya Univ.), Takashi Kobayashi (Tokyo Inst. of Tech./Nagoya Univ.), Noritoshi Atsumi (Nagoya Univ.), Shinichiro Yamamoto (Aichi Pref. Univ.), Kiyoshi Agusa (Kyoto Univ.)

(11) 17:00 - 17:20
Linking Fixed Bug Report to Source Code Using N-gram
Hiroki Kawai, Hidetake Uwano (NNCT), Akinori Ihara (NAIST)

(12) 17:20 - 17:40
Automatic Generation of Error Correction Questions for Programming Learning
Yoshinari Hachisu, Atsushi Yoshida (Nanzan Univ.)

(13) 17:40 - 18:00
Propagation Probability of Data Dependency for Fault Localization
Sanae Muramatsu (Nagoya Univ.), Takashi Kobayashi (Tokyo Inst. of Tech./Nagoya Univ.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.)

----------------------------------------
Thu, Mar 7 AM (09:30 - 10:50)
----------------------------------------

(14) 09:30 - 09:50
Discrete Abstraction of Stochastic Hybrid Systems
-- Application to Analysis of Genetic Toggle Switches --
Yasuhito Fukui, Koichi Kobayashi, Kunihiko Hiraishi (JAIST)

(15) 09:50 - 10:10
An Application of Game Automaton to Quantitative Supervisory Control
Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa (Osaka Univ.)

(16) 10:10 - 10:30
Low Address Collision Rate in Multiple Hash Tables
Eleazar Jimenez Serrano (Kyushu Univ.)

(17) 10:30 - 10:50
Extract Superclass Problem of Workflow Nets and a Solution Method
Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Mar 7 AM (11:00 - 12:00)
----------------------------------------

(18) 11:00 - 11:20
Change based model considering temporal locality of Interaction histories
Hironori Maruoka (Nagoya Univ.), Takashi Kobayasi (Nagoya Univ./Tokyo Inst. of Tech.), Kiyoshi Agusa (Kyoto Univ.)

(19) 11:20 - 11:40
Multicore scheduling analysis with task migration
Takayuki Nakadozono, Shoji Yuen (Nagoya Univ.)

(20) 11:40 - 12:00
On Composing the Simplex Method and Gomory Cut for Deriving Integer Assignments
Masaaki Fushimi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.)

----------------------------------------
Thu, Mar 7 PM (13:00 - 14:00)
----------------------------------------

(21) 13:00 - 14:00
[Invited Talk]
Online Adaptation of Decision Making on a Soccer Agent Team
Hidehisa Akiyama (Fukuoka Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Wed, Mar 6 PM (14:20 - 15:20)
----------------------------------------

(22) 14:20 - 14:40
Empirical Research on Design by Contract based Software Development using Software Repository
Kazuki Yoshioka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)

(23) 14:40 - 15:00
MetricsViewer: A Software Metrics Visualization Tool Using Service-Oriented Mining Software Repository
Yasutaka Sakamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)

(24) 15:00 - 15:20
Measurement of the Degree of ‘Loss of Anonymity’ in Communication Systems
Atsushi Iwai (Gunma Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Mar 7 PM (15:30 - 16:50)
----------------------------------------

(25) 15:30 - 15:50
Dynamic Zone Allocation for Controlling Multi-Car Elevators
Hiroki Ishihara, Shohei Kato (Nagoya Inst. of Tech.)

(26) 15:50 - 16:10
Shaft Coordination for Multi -Cycle Operation of Multi-car Elevator
QuangHung Nguyen, Koji Takahashi (Tokyo Inst. of Tech.)

(27) 16:10 - 16:30
Local Search Approach for Dispatch and Conflict-free Routing Problem of Capacitated AGV Systems
Kensuke Inoue, Toshiyuki Miyamoto (Osaka Univ.)

(28) 16:30 - 16:50
Multi-Agent Simulation of Bulletin Board System Bullying Issues
Daisuke Cho, Shin'nosuke Yamaguchi, Yoshimasa Ohnishi (Kyushu Inst. of Tech.), Shinichi Tumori (Kyushu Junior College of Kinki Univ.), Noritaka Wakana, Naoki Satou, Kazunori Nishino (Kyushu Inst. of Tech.)

# Information for speakers
General Talk will have 15 minutes for presentation and 5 minutes for discussion.
Invited Talk will have 50 minutes for presentation and 10 minutes for discussion.

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Thu, May 9, 2013 - Fri, May 10, 2013: Kagawa University (Saiwaimachi) [Fri, Mar 22], Topics: Software Science, Software Engineering, etc.

# SECRETARY:
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-mail:

# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.washi.cs.waseda.ac.jp/sigss/

=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===

# SECRETARY:
Shin'nosuke Yamaguchi (Kyushu Institute of Technology)
Tel: 0948-29-7572
E-mail: