| 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 # | |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] | 2024-03-23 11:45 |
Nagasaki | Ikinoshima Hall (Primary: On-site, Secondary: Online) |
Evaluating composition of quantum circuit and learnability in quantum neural network with NISQ devices Naoki Marumo (Waseda Univ.), Yasutaka Wada (Meisei Univ.), Kazunori Ueda, Keiji Kimura (Waseda Univ.)  CPSY2023-52 DC2023-118 |
The more numbers of repeat of Ansatz and the more qubit entangling improve learnability of quantum machine learning by v... [more] | CPSY2023-52 DC2023-118 pp.82-87 |
| SANE, SAT (Joint) |
2023-03-03 13:50 |
Okinawa | (Primary: On-site, Secondary: Online) |
A study of fast factorized backprojection on multiple GPUs for large-sized SAR imaging Masato Gocho, Masayoshi Tsuchida (Mitsubishi Electric), Kazunori Ueda (Waseda Univ.) SANE2022-120 |
This paper presents a study of distributed parallel FFBP (fast factorized backprojection) on multiple GPUs for large-siz... [more] | SANE2022-120 pp.118-123 |
| SANE | 2022-08-18 16:20 |
Hokkaido | (Primary: On-site, Secondary: Online) |
Parallelization of compressive sensing SAR imaging on server and embedded GPU systems Masato Gocho (Mitsubishi Electric), Kazunori Ueda (Waseda Univ.) SANE2022-40 |
CS-SAR (compressive sensing synthetic aperture radar) imaging, in which truncated signals are observed and reconstructed... [more] | SANE2022-40 pp.38-43 |
| SAT, SANE (Joint) |
2022-02-25 10:55 |
Online | Online | Acceleration of local histogram generation for change detections in satellite SAR images using CPU-integrated graphics processor Masato Gocho (Mitsubishi Electric), Kazunori Ueda (Waseda Univ.) SANE2021-101 |
This paper presents OpenCL-based parallel implementations with CPU-integrated graphics processors for change detection a... [more] | SANE2021-101 pp.21-25 |
| ICM | 2019-07-12 09:00 |
Hokkaido | An effective automated planning method for large-scale ICT system updates with high symmetry Takuya Kuwahara (NEC), Yutaro Tsunekawa, Ryoto Saito, Kazunori Ueda (Waseda Univ.) ICM2019-15 |
Declarative system update is devalopped as a promising technique to reduce burden for system operators updating their sy... [more] | ICM2019-15 pp.53-58 |
|
| SS, MSS | 2016-01-25 18:05 |
Ishikawa | Shiinoki-Geihin-Kan | Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems Shota Matsumoto, Kazunori Ueda (Waseda Univ.) MSS2015-51 SS2015-60 |
本研究の目的は離散変化と連続変化の両方を伴う動的システム （ハイブリッドシステム）の精度保証シミュレータの開発である． 我々はこれまで制約求解と数式処理に基づき，システムのパラメータ解析を 可能とするシミュレータを開発してきたが，適用... [more] |
MSS2015-51 SS2015-60 pp.93-98 |
| CPSY, DC (Joint) |
2014-07-29 15:40 |
Niigata | Toki Messe, Niigata | Evaluation of Large-scale Graph Rewriting Model Checking Using Hash Compaction Taketo Yoshida, Masaru Onuma, Kazunori Ueda (Waseda Univ.) DC2014-19 |
Graph rewriting model checking is a verification method that determines whether a model described in a graph rewriting s... [more] | DC2014-19 pp.9-16 |
| ICM | 2014-03-14 09:00 |
Okinawa | Prototype of peer–to–peer clustering system based on network distance Shingo Yamamoto, Kazunori Ueda (Kochi Univ. of Tech.) ICM2013-59 |
Many applications based on peer-to-peer (P2P) network model have been used recently. P2P applications include file shari... [more] | ICM2013-59 pp.47-50 |
|
| ICM, LOIS | 2013-01-18 09:30 |
Saga | Peer-to-Peer content delivery system with clusters based on multiple references Junnichi Akase, Takuya Okubo, Kazunori Ueda (KUT) ICM2012-50 LOIS2012-60 |
[more] | ICM2012-50 LOIS2012-60 pp.73-78 |
|
| ICM, LOIS | 2013-01-18 09:50 |
Saga | A study on Route Choice Methods Based on the Neighbor Relations in Wireless Mesh Networks Kazuhiko Fukumi, Kazunori Ueda (KUT) |
[more] | ||
| ICM, LOIS | 2013-01-18 10:10 |
Saga | Propose position information generation method extension for routing protocol MBCR in WMNs Yuta Maruoka, Kazunori Ueda (KUT) ICM2012-51 LOIS2012-61 |
Wireless mesh networks (WMNs) is having more advantages than legacy wireless networks such as able to set up wireless ac... [more] | ICM2012-51 LOIS2012-61 pp.79-84 |
|
| DC, CPSY (Joint) |
2011-07-28 16:15 |
Kagoshima | A Parallel Extended SAT Solver for Cardinality Constraints XiaoJuan Xu, Yuji Yamane, Kazunori Ueda (Waseda Univ.) DC2011-17 |
Cardinality constraints generated from real-world problems are often a bottleneck of SAT solving. This paper proposes an... [more] | DC2011-17 pp.13-18 |
|
| CPSY, DC (Joint) |
2010-08-03 - 2010-08-05 |
Ishikawa | Kanazawa Cultural Hall | Design and Performance Evaluation of the Parallel Model Checking Algorithm SCC-OWCTY using Strongly Connected Components Toshiki Kawabata, Fumiyoshi Kobayashi, Kazunori Ueda (Waseda Univ.) DC2010-16 |
Model checking is an automated verification method based on exhaustivesearch.LTL model checking is reduced to the search... [more] | DC2010-16 pp.13-18 |
| CPSY, DC (Joint) |
2010-08-03 - 2010-08-05 |
Ishikawa | Kanazawa Cultural Hall | An approach to state space explosion in the LMNtal model checker Masato Gocho, Kazunori Ueda (Waseda Univ.) DC2010-17 |
Model checking is an important technique for system verification based on exhaustive search, but large-scale model check... [more] | DC2010-17 pp.19-24 |
| ICM | 2010-03-11 09:40 |
Kagoshima | Proposal of initial route method for wireless mesh networks Takeru Takahashi, Kazunori Ueda (Kochi Univ. of Tech.) ICM2009-48 |
Wireless mesh networks enable to construct wireless network environments. Mesh points which construct wireless mesh netw... [more] | ICM2009-48 pp.19-24 |
|
| ICM | 2009-03-12 09:15 |
Kagoshima | A routing protocol based on information of neiboring nodes for mobile ad-hoc network Tomonori Enami (Kochi Univ. of Tech.), Issei Ishimoto (Allied Telesys), Kazunori Ueda (Kochi Univ. of Tech.) ICM2008-60 |
(To be available after the conference date) [more] | ICM2008-60 pp.13-18 |
|
| ICM | 2009-03-13 09:10 |
Kagoshima | Asymmetric-DHT based on node capabilities Kazuhisa Kawada, Kazunori Ueda (Kochi Univ. of Tech.) ICM2008-70 |
DHT(Distributed Hash Table) technology have focused technology in P2P. DHT has high scalability, but it is need to commu... [more] | ICM2008-70 pp.69-74 |
|
| ICM | 2009-03-13 09:30 |
Kagoshima | The transparent data use environment on the distributed datebase Kenichi Kamiya, Kazunori Ueda (Kochi Univ. of Tech.) |
(To be available after the conference date) [more] | ||
| MSS | 2009-01-30 09:55 |
Kanagawa | Kanagawa Industrial Promotion Center | Modeling and Verification of Hybrid Systems using Boolean Differential Constraints Daisuke Ishii, Kazunori Ueda (Waseda Univ.), Hiroshi Hosobe (National Inst. of Info.) CST2008-53 |
We propose a bounded model checking method for reachability analysis of hybrid systems. In our method, a nonlinear hybri... [more] | CST2008-53 pp.67-70 |
| LOIS, ICM, IA (Joint) |
2008-01-25 14:50 |
Kumamoto | Sojo Univ. (Kumamoto） | A Routing Mechanism for Restrain Routing Packet in Ad-hoc Networks Issei Ishimoto, Kazunori Ueda (Kochi Tech. Univ) TM2007-50 |
In an ad-hoc network as an infrastructure-free network, mobile nodes have to save electric power, because the capacity ... [more] |
TM2007-50 pp.45-50 |
[Return to Top Page]