| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| NS, CS, IN (Joint) |
2013-09-12 10:20 |
Miyagi | Tohoku Univ. Research Institute of Electrical Communication 2gokan | A Proposal of Estimation Method of Utilization of Electrical Equipment by Using Smart Metering Taro Yoshino, Satoru Izumi, Toru Abe, Takuo Suganuma (Tohoku Univ.)  IN2013-58 |
We have been investigating an estimation method of human behavior based on monitoring living conditions for effective en... [more] | IN2013-58 pp.1-5 |
| IN, NS, CS (Joint) |
2012-09-20 10:40 |
Miyagi | Tohoku Univ. Research Institute of Electrical Communication 2gokan | The proposal of the user-oriented power consumption visualization system Naoki Nakamura, Satoru Izumi (Tohoku Univ.), Tsutomu Inaba (NTT EAST), Takuo Suganuma, Norio Shiratori (Tohoku Univ.) IN2012-53 |
[more] | IN2012-53 pp.23-28 |
| IN, NWS (Joint) |
2012-06-21 13:30 |
Hokkaido | Hakodate-Shimin-Kaikan Bldg. | Design of Living Situation Estimation System based on Observation of Power Comsuption Taro Yoshino, Kouta Awahara, Satoru Izumi (Tohoku Univ.), Masahiro Terabe (MRI), Kazuo Hashimoto, Takuo Suganuma (Tohoku Univ.) IN2012-24 |
In this paper, we propose a system to estimate living situation from power consumption of ICT device in home. The propos... [more] | IN2012-24 pp.1-6 |
| IN, NWS (Joint) |
2012-06-21 13:55 |
Hokkaido | Hakodate-Shimin-Kaikan Bldg. | Living Activity Planning for Effective Use of Electricity Kouta Awahara, Taro Yoshino, Satoru Izumi (Tohoku Univ.), Masahiro Terabe (MRI), Kazuo Hashimoto, Takuo Suganuma (Tohoku Univ.) IN2012-25 |
We have been investigating a living activity support system for effective use of electricity. In this paper, we propos... [more] |
IN2012-25 pp.7-12 |
| SWIM | 2009-11-27 15:45 |
Tokyo | Modeling and Verification of Web Applications Using Formal Approach with Variables Kei Homma (Miyagi Univ.), Kaoru Takahashi (Sendai National Coll. of Tech.), Satoru Izumi (Tohoku Univ.), Yuki Abe (Sendai National Coll. of Tech.), Atsushi Togashi (Miyagi Univ.) SWIM2009-17 |
[more] | SWIM2009-17 pp.31-38 |
|
| IN, NS, CS (Joint) |
2009-09-10 10:00 |
Miyagi | Tohoku University (Miyagi) | Design of Effective Scheme of Vital Data Acquisition for Health-care Support System Yusuke Kobayashi, Satoru Izumi, Hideyuki Takahashi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori (Tohoku Univ.) IN2009-39 |
We propose an effective method for acquiring, transmitting, and storing information of vital data. This method can dyna... [more] |
IN2009-39 pp.1-4 |
| CS, IN, NS (Joint) |
2008-09-11 14:50 |
Miyagi | Tohoku University | Design of User-oriented Healthcare Support System based on Symbiotic Computing Satoru Izumi, Yusuke Kobayashi, Hideyuki Takahashi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori (Tohoku Univ.) IN2008-51 |
We have been investigating an advanced healthcare support system in ubiquitous computing environment. By utilizing knowl... [more] | IN2008-51 pp.45-50 |
| SS | 2007-02-02 10:35 |
Aichi | Aichi Prefectural Univ. | Design and Implementation of an Ontology-based Health Support System Satoru Izumi, Dai Kuriyama, Yutaro Miura, Naofumi Yasuda, Ryo Yotsukura, Yasushi Kato, Kaoru Takahashi (SNCT) |
Nowadays, people afflicted with lifestyle-related diseases such as hypertension and obesity are increasing, and the ways... [more] | SS2006-82 pp.19-24 |
| SWIM | 2006-05-30 13:15 |
Tokyo | Domain Ontology on Health and Inference Rules derinving Health Advices Atsushi Togashi (Miyagi Univ.), Satoru Izumi (SNCT), Hiroyuki Aoki, Junya Yumoto (Miyagi Univ.), Goich Itabashi (SFAIS), Kaoru Takahashi, Yasushi Kato (SNCT), Shoich Noguchi (SFAIS) |
[more] | SWIM2006-4 pp.19-24 |
|
| SS | 2004-11-25 13:00 |
Yamanashi | Univ. of Yamanashi, Kofu(Takeda) Campus | Specification and Verification of Digital Logic based on Automaton Model Kazuhiro Yamanaka, Satoru Izumi, Yasushi Kato, Kaoru Takahashi (SNCT) |
As application of formal methods, there have been researches for specification of digital logic, based on E-LOTOS and SD... [more] | SS2004-26 pp.1-6 |
[Return to Top Page]