| 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 # | |
| MSS, CAS, IPSJ-AL [detail] | 2018-11-12 16:15 |
Shizuoka | A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets Kohei Fujimori, Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)  CAS2018-65 MSS2018-41 |
State space generator is one of the analysis functions of Petri net design tool HiPS (Hierarchical Petri net Simulator)... [more] |
CAS2018-65 MSS2018-41 pp.43-47 |
|
| MSS, CAS, IPSJ-AL [detail] | 2018-11-13 15:15 |
Shizuoka | On formal verification of mathematical programming models by algebraic specifications Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) CAS2018-76 MSS2018-52 |
To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver. In th... [more] |
CAS2018-76 MSS2018-52 pp.127-130 |
|
| IBISML | 2018-11-05 15:10 |
Hokkaido | Hokkaido Citizens Activites Center (Kaderu 2.7) | [Poster Presentation]
Learning Hierarchical Structure via Nearest Neighbor Search and Formal Concept Analysis Yuka Yoneda (Osaka Univ.), Mahito Sugiyama (NII), Takashi Washio (Osaka Univ.) IBISML2018-53 |
We propose to learn a hierarchical structure of clusters from continuous data via two-step procedure: We first binariz... [more] |
IBISML2018-53 pp.69-73 |
| ICSS, IA | 2018-06-26 10:45 |
Ehime | Ehime University | [Invited Talk]
Security Analysis with Formal Methods Naoto Yanai (Osaka Univ.) IA2018-12 ICSS2018-12 |
For security analysis of information security researches, a method with a formal proof has attracted attention in recent... [more] | IA2018-12 ICSS2018-12 pp.73-75 |
| EMT, EST, LQE, MWP, OPE, PEM, PN, IEE-EMT [detail] | 2018-01-26 10:55 |
Hyogo | A fundamental study on semi-implicit conformal FDTD scheme with second-order convergence Kazuhiro Fujita (Fujitsu) PN2017-86 EMT2017-123 OPE2017-164 LQE2017-146 EST2017-122 MWP2017-99 |
The semi-implicit FDTD method with implicit time updating of magnetic field is extended as a conformal scheme to reduce ... [more] | PN2017-86 EMT2017-123 OPE2017-164 LQE2017-146 EST2017-122 MWP2017-99 pp.281-286 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 10:45 |
Hokkaido | Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking Mitsuaki Tsuji, Koji Hasebe, Kazuhiko Kato (Univ. of Tsukuba) SS2017-2 KBSE2017-2 |
The authors are developing a last-mile transportation system with autonomous vehicles. The greatest feature is that pass... [more] | SS2017-2 KBSE2017-2 pp.7-12 |
|
| SSS | 2017-04-25 13:40 |
Tokyo | [Invited Talk]
Proposal of the method to promote staff members' chats in a refresh room for enhancing their knowledge sharing Hidenori Fujino (Fukui Pref. Univ.), Motoki Urayama (Kyoto Univ.), Takayoshi Kitamura (Rits, Univ.), Hiroshi Shimoda, Hirotake Ishii (Kyoto Univ.) SSS2017-2 |
In practical fields of safety management for socio-technical systems like Raliway and Aviation, the staff members' pract... [more] | SSS2017-2 pp.5-8 |
|
| SANE | 2016-11-25 11:20 |
Overseas | National Taipei University of Technology (NTUT) | Beam Scanning and Radiation Pattern for Conformal Array Antenna Takeru Oka, Hirokazu Kobayashi (OIT) SANE2016-92 |
We discuss beam scanning algorithm for conformal array with arbitrary shape. In order to scan beam of the array, it is n... [more] | SANE2016-92 pp.215-220 |
| TL | 2016-10-09 09:45 |
Hyogo | Kobe Gakuin University （Port Island Campus） | Dealing with each other at multi-party conversation including children
-- Focusing on difference of casual /formal forms at Science communicator's talk -- Ryosaku Makino (NII), Mayumi Bono (NII/SOKENDAI) TL2016-27 |
This study focuses on multi-party conversation involving child and examines how these participants interact with each ot... [more] | TL2016-27 pp.7-12 |
| OPE, MW, EMT, MWP, EST, IEE-EMT [detail] | 2016-07-22 09:55 |
Hokkaido | Radiation Field from Curved Rectangular Patch and Array Hirokazu Kobayashi, Takeru Oka (OIT) EMT2016-34 MW2016-65 OPE2016-46 EST2016-35 MWP2016-36 |
We discuss radiation characteristics of curved rectangular surface patch antenna by means of analytical approach. Apertu... [more] | EMT2016-34 MW2016-65 OPE2016-46 EST2016-35 MWP2016-36 pp.155-160 |
|
| SANE | 2015-10-30 16:25 |
Osaka | OIT UMEKITA Knowledge Center | Radiation Pattern of Curved Rectangular Patch Antenna Hirokazu Kobayashi, Takeru Oka (OIT) SANE2015-49 |
In this paper we study radiation characteristics of curved surface patch antenna by means of analytical approach. Apertu... [more] | SANE2015-49 pp.43-48 |
| US | 2015-08-24 13:00 |
Tokyo | Tokyo Institute of Technology, Ookayama Campus | Influence estimation of the process for histology on the measurement of acoustic properties using high frequency So Irie, Kenji Yoshida, Tadashi Yamaguchi (Chiba Univ.) US2015-38 |
In bioacoustics microscopy, the effect of tissue preparation, e.g. formalin fixation, on acoustic characteristic of sect... [more] | US2015-38 pp.1-6 |
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 09:00 |
Hokkaido | A Study on a Formal Verification Method Using Atelier-B Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) SS2015-29 KBSE2015-22 |
In this paper, we try to evaluate a formal verification method using Atelier-B, a delopment tool for B-method. To enhanc... [more] | SS2015-29 KBSE2015-22 pp.143-148 |
|
| QIT (2nd) |
2015-05-25 13:20 |
Osaka | Osaka University | [Poster Presentation]
Formal Verification of Robertson-type Uncertainty Relation Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng (Doshisha Univ.) |
Formal verification using interactive theorem provers have been noticed as a method of verification of proofs that are t... [more] | |
| EST | 2015-05-15 15:30 |
Tokyo | Hosei Univ. (Koganei Campus) | A fundamental study on semi-implicit conformal FDTD scheme based on implicit time updating of magnetic field Kazuhiro Fujita (Fujitsu) EST2015-9 |
We report a fundamental study on a conformal scheme based on the semi-implicit FDTD method with implicit time updating o... [more] | EST2015-9 pp.45-50 |
| SS | 2015-03-09 09:55 |
Okinawa | OKINAWAKEN SEINENKAIKAN | Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki (Tokyo Tech) SS2014-56 |
On the synthesis of reactive system (RS), if we assume some behavior property on an environment, specifications must inc... [more] | SS2014-56 pp.7-12 |
| MSS | 2015-03-06 10:25 |
Ishikawa | IT Business Plaza Musashi | Development of SMT-based model checker for assembly cords using interrupts reduction technique Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) MSS2014-100 |
Recently, embedded software has properties dependent on hardware (direct operation of address spaces, memory mapped I/O,... [more] | MSS2014-100 pp.53-58 |
| VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2014-11-26 10:45 |
Oita | B-ConPlaza | A hardware description method and sematics providing a timing constrant Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) VLD2014-82 DC2014-36 |
Formal verification methods are wide-spreading due to its mathmatical rigorousaspect, although they limited to synchroun... [more] | VLD2014-82 DC2014-36 pp.81-86 |
| RECONF | 2014-09-19 14:40 |
Hiroshima | Formal Verification System of Multi-clock Synchronous Circuits on Multimodal Logic Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) RECONF2014-33 |
Regardless of wide using of a formal verification methods, almost all of the methods limited to single-clock synchrounou... [more] | RECONF2014-33 pp.93-98 |
|
| SC, IPSJ-UBI | 2014-07-28 10:00 |
Tokyo | National Institute of Informatics | Formal verification for service composition of formaly verified services using different mechanisms Kazuhiro Funakoshi, Shigeru Hosono (NEC) SC2014-6 |
This presentation describes a case study to generate models on proof assistant Coq with input of multiple Web services' ... [more] | SC2014-6 pp.49-54 |
[Return to Top Page]