IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 23  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
RCS, SR, SRW
(Joint)
2024-03-14
10:25
Tokyo The University of Tokyo (Hongo Campus), and online
(Primary: On-site, Secondary: Online)
Study on improving frequency usage efficiency using baseband MIMO method aiming at 5G expansion(2) -- MxN times communication method using real MIMO and baseband MIMO --
Maria Takigawa (Meiji Univ.), Gen-ichiro Ohta (YRP), Tetsushi Ikegami (Meiji Univ.)
(To be available after the conference date) [more]
HIP 2023-12-21
15:15
Miyagi Research Institute of Electrical Communication Verification of the effect of a music application based on the automatic composition system "soundtope" on improving mood. -- For the purpose of developing medical applications --
Reiko Shiba (Tokyo Geidai), Yota Morimoto (coton inc.), Ruriko Akimoto (Tokyo Geidai), Kohji Nageishi, Tatsuo Akechi (Nagoya City Univ Grad School Med Sci), Maiko Fujimori, Yosuke Uchitomi (NCC), Kiyoshi Furukawa (Tokyo Geidai) HIP2023-82
The purpose of this study is to develop a medical application to improve anxiety and fatigue in cancer patients and canc... [more] HIP2023-82
pp.31-35
SS 2022-03-07
14:30
Online Online Learning Assumptions for Compositional Verification of Timed Systems with Tree Queries
Kotaro Niimi, Shoji Yuen (Nagoya Univ) SS2021-49
This paper presents an automatic assumption-learning for compositional verification of timed systems. We focus on Assume... [more] SS2021-49
pp.43-48
SANE 2021-11-11
13:20
Online Online TDOA and AOA Measurement System for Investigating Aircraft Position Verification
Junichi Naganawa, Hiromi Miyazaki, Hirohisa Tajima, Tadashi Koga, Jun Kitaori (ENRI) SANE2021-44
ADS-B (Automatic Dependent Surveillance—Broadcast) is an emerging means of aeronautical surveillance for air traffic con... [more] SANE2021-44
pp.65-70
SANE 2021-06-25
14:20
Online Online System Design Consideration for Aircraft Position Verification Method using TDOA and AOA
Junichi Naganawa, Hiromi Miyazaki, Tadashi Koga, Hirohisa tajima, Yasuyuki Kakubari (ENRI) SANE2021-14
ADS-B (Automatic Dependent Surveillance-Broadcast) is one of the next generation aeronautical surveillance systems, wher... [more] SANE2021-14
pp.29-34
MW, EST, EMCJ, PEM, IEE-EMC [detail] 2020-10-23
10:55
Online Online Development of an open source software: ADVENTURE_FullWave
Amane Takei (UoM) EMCJ2020-40 MW2020-54 EST2020-42
In this research, we are developing and releasing the microwave analysis code: ADVENTURE_FullWave as an open source soft... [more] EMCJ2020-40 MW2020-54 EST2020-42
pp.85-90
SANE 2019-11-28
16:15
Osaka OIT UMEDA Campus Experimental Evaluation of Aircraft Position Verification Method using TDOA
Junichi Naganawa, Hiromi Miyazaki (ENRI) SANE2019-75
ADS-B (Automatic Dependent Surveillance - Broadcast) is one of the next generation aeronautical surveillance systems.
... [more]
SANE2019-75
pp.29-34
QIT
(2nd)
2019-11-18
13:50
Tokyo Gakushuin University [Poster Presentation] Toward an experimental verification of the photon propagation paradox
Tatsuya Honda, Masataka Iinuma, Hofmann Holger (Hiroshima Univ.)
Recently, it has been shown theoretically that the use of quantum interference between a position-like state with a pos... [more]
SIS, IPSJ-AVM, ITE-3DMT [detail] 2019-06-13
11:40
Nagasaki Fukue Culture Center Accuracy Verification of Signal Reception Time Determination in Wi-Fi System -- For High Accuracy of Asynchronous Wi-Fi Indoor Mobile Position Estimation --
Izumu Kusunoki, Kotaro Nagano, Nana Sutisna, Yuhei Nagao, Leonardo Lanante, Masayuki Kurosaki, Hiroshi Ochi (Kyutech) SIS2019-2
In this paper, we propose a system that verifies and corrects the accuracy of symbol timing synchronization processing t... [more] SIS2019-2
pp.5-10
SANE 2018-10-12
09:30
Tokyo The University of Electro-Communications Considering Latency in TDOA-based ADS-B Position Verification
Junichi Naganawa, Hiromi Miyazaki (ENRI) SANE2018-44
ADS-B (Automatic Dependent Surveillance - Broadcast) is one of the next generation aeronautical surveillance systems.
... [more]
SANE2018-44
pp.1-6
R 2017-07-28
13:35
Hokkaido Wakkanai Sun Hotel A Practical Use of GNSS for a Train Protection System and its Reliability
Akira Asano (Kyosan), Hiroshi Mochizuki, Hideo Nakamura (Nihon Univ.) R2017-16
Satellite positioning technology on the basis of Global Navigation Satellite Systems (GNSS), which are represented by Gl... [more] R2017-16
pp.13-18
KBSE 2017-03-03
12:50
Ishikawa   KBSE2016-40 Self-adaptive systems, which change their behaviors to adapt to their environmental changes, are focused on in recent ye... [more] KBSE2016-40
pp.7-12
SS, MSS 2016-01-25
18:30
Ishikawa Shiinoki-Geihin-Kan A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing
Junya Matsubara, Rieko Takagi, Teruyuki Nakazawa (Denso Create), Tetsuya Tohdo, Hiroyuki Ihara, Yukinori Kawaai (Denso) MSS2015-52 SS2015-61
Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. I... [more] MSS2015-52 SS2015-61
pp.99-103
HCGSYMPO
(2nd)
2014-12-17
- 2014-12-19
Yamaguchi Kaikyo Messe Shimonoseki Basic Technorogy and Verification for High-precision Automatic Electric Wheelchair Driving in Indoor Area
Yuta Noriduki, Chokatsu Yara, Hirotoshi Shibata, Shigenori Ioroi, Hiroshi Tanaka (KAIT)
Methods for an electrical wheelchair driving have been investigated from aspects of automatic driving to a target positi... [more]
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
SAT, SANE
(Joint)
2014-02-20
13:50
Yamaguchi Hotel Kamefuku (Yamaguchi) Positioning and Tracking Method Using Asynchronous TDOA Measurements
Yuki Takabayashi, Hiroshi Kameda (Mitsubishi Electric) SANE2013-134
This paper proposes a target positioning and tracking method using asynchronous TDOA(Time Difference of Arrival) measure... [more] SANE2013-134
pp.13-18
SANE 2013-06-21
16:25
Ibaraki Tsukuba Space Center, JAXA PPP experiments via QZSS-LEX
Kazuhiro Yoshikawa, Kaori Kawate, Motoyuki Miyoshi, Satoshi Kogure (JAXA), Tatsinori Sada (NU), Tomoji Takasu (Tokyo Univ. of Marine Science and Tech.), Yasutaka Hirahara (NEC) SANE2013-33
QZS-1 “MICHIBIKI” was launched in September 11th 2010 by H-IIA launch vehicle Flight 18th, and verification of QZSS (Qua... [more] SANE2013-33
pp.103-108
SANE 2012-06-28
16:25
Ibaraki Tsukuba Space Center, JAXA Development Status of JAXA's PPP experiment System via QZSS-LEX
Kaori Kawate, Satoshi Kogure, Shinichi Nakamura, Motoyuki Miyoshi (JAXA), Hiroshi Soga, Yasutaka Hirahara (NEC), Akio Yasuda (Kaiyo Univ.), Tomoji Takasu (Kaiyo Univ..) SANE2012-27
QZS-1 “MICHIBIKI” was launched in September 11th 2010 by H-IIA launch vehicle Flight 18th, and verification of QZSS (Qua... [more] SANE2012-27
pp.37-42
SANE 2011-07-29
14:45
Tokyo Electronic Navigation Research Institute System Enhancement of Airport Surface Movement Surveillance (MLAT) -- Verification Experiment of Interference Immunity in Multipath Environment --
Yasuyuki Kakubari, Tadashi Koga, Hiromi Miyazaki, Hiroki Shimada, Shiro Nihei (ENRI) SANE2011-55
The multilateration (MLAT) is the aircraft surveillance system for airport surface movement utilizing hyperbolic positio... [more] SANE2011-55
pp.61-66
WBS, IT, ISEC 2009-03-10
14:50
Hokkaido Hakodate Mirai Univ. Composition of functionalities in UC framework
Tadashi Araragi (NTT), Chunhua Su, Kouichi Sakurai (Kyushu Univ.) IT2008-89 ISEC2008-147 WBS2008-102
This paper initiates a comprehensive approach for design method for functionality in UC framework. By combining some fun... [more] IT2008-89 ISEC2008-147 WBS2008-102
pp.295-299
 Results 1 - 20 of 23  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan