Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NLP, CAS |
2023-10-07 13:40 |
Gifu |
Work plaza Gifu |
Expantion of Graph Fourier Transform Based on Degree of Freedom at Circuit Ports Ayumu Suzuki, Takashi Hisakado, Mahfuzul Islam (Kyoto Univ.) CAS2023-56 NLP2023-55 |
In this paper, we define the boundary condition of graph.
Recently, graph signal processing is attracting attention.
H... [more] |
CAS2023-56 NLP2023-55 pp.117-120 |
EMCJ |
2022-01-21 10:30 |
Online |
Online |
Termination Device for Mains Cable connected Outside of FAR
-- Outline of HiZ-BoX and Validation method ( Part I : Common mode ) -- Toshio Chiyojima (JEITA), Hideki Takao (Panasonic Co.), Toshiro Tsubouchi (Murata Mfc.), Takashi Harada (Tokin EMC engineering Ltd.) EMCJ2021-62 |
Radiation emission measurements of electronic devices in a fully anechoic room are now available. However, it has been r... [more] |
EMCJ2021-62 pp.7-12 |
SR |
2021-11-05 13:00 |
Online |
Online |
Partitioned Path Loss Models Based on Coefficient of Determination Keita Katagiri, Takeo Fujii (UEC) SR2021-54 |
A path loss model is a fundamental method to roughly predict radio propagation characteristics. However, most convention... [more] |
SR2021-54 pp.79-84 |
EMCJ, EMD, WPT, PEM (Joint) [detail] |
2019-07-19 14:05 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Calibration method of HiZ-BoX ( A termination device of AC mains in FAR)
-- Comparison between the dipole antenna method and the TEM-CELL method -- Toshio Chiyojima (PFU) EMCJ2019-35 EMD2019-16 |
We had proposed HiZ-BoX which is a termination device of AC mains in FAR in the paper EMCJ-2018-99 last year, However th... [more] |
EMCJ2019-35 EMD2019-16 pp.31-35 |
EMCJ, IEE-EMC |
2018-12-14 16:50 |
Aichi |
|
Impact on radiated emission measurement of termination conditions for Ethernet cable leaving test site
-- Experimental results of four termination conditions and height of Ethernet cable above the ground plane -- Toshio Chiyojima (PFU) EMCJ2018-99 |
In case of the radiated emission measurement of CISPR 32, it is usually that Ethernet cable is connected AE which is loc... [more] |
EMCJ2018-99 pp.93-98 |
SS, MSS |
2016-01-26 11:05 |
Ishikawa |
Shiinoki-Geihin-Kan |
Transforming Constrained Dependency Pairs by Narrowing Tomohiro Sasano, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) MSS2015-57 SS2015-66 |
The dependency pair framework, a method for proving termination of term rewriting systems, has been extended for constra... [more] |
MSS2015-57 SS2015-66 pp.123-128 |
MSS, SS |
2015-01-26 17:45 |
Tottori |
|
Implementing a Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling Koichi Ota, Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.), Akihisa Yamada (AIST), Naoki Nishida, Toshiki Sakabe (Nagoya Univ.) MSS2014-78 SS2014-42 |
In this paper, we discuss implementation of the conditional dependency pair method for proving termination of functional... [more] |
MSS2014-78 SS2014-42 pp.55-60 |
SS, KBSE |
2013-07-26 09:30 |
Hokkaido |
|
Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) SS2013-23 KBSE2013-23 |
We have recently proposed a method for proving termination/non-termination properties of eager-evaluation-based function... [more] |
SS2013-23 KBSE2013-23 pp.61-66 |
MBE |
2013-05-24 15:20 |
Toyama |
|
A study of the autonomic nervous response under stress conditions Kazuhiro Ikeda, Tohru Kiryu (Niigata Univ.) MBE2013-10 |
Under stressful image, a symptom called Visually Induced Motion Sickness (VIMS) like the motion sickness is a concern. I... [more] |
MBE2013-10 pp.49-53 |
MBE, NC (Joint) |
2013-03-13 11:05 |
Tokyo |
Tamagawa University |
Influence of Goal Settings and Verbal Feedbacks on Intrinsic Motivation Yoichiro Iura, Takuma Tanaka, Kiyohiko Nakamura (Tokyo Inst. of Tech.) NC2012-140 |
We investigated the effect of goal-settings and verbal feedbacks on intrinsic motivation. In this study, subjects were s... [more] |
NC2012-140 pp.37-42 |
SS |
2009-12-17 15:50 |
Kagawa |
Kagawa Univ. |
Argument Filtering and Usable Rules in Higher-Order Rewrite Systems Sho Suzuki, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) SS2009-39 |
Simply-typed term rewriting systems (STRSs) and higher-order rewrite systems (HRSs)
have been proposed to extend term r... [more] |
SS2009-39 pp.25-30 |
SS |
2009-12-17 16:20 |
Kagawa |
Kagawa Univ. |
On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems Yoshimasa Mishuku, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2009-40 |
It is known that termination and innermost termination are decidable for term rewriting systems (TRSs for short) whose d... [more] |
SS2009-40 pp.31-36 |
ITS, WBS (Joint) |
2009-12-09 11:15 |
Kumamoto |
Kumamoto University |
Spatial Interpolation System by Probe Car Data Based on Agent Cooperation Tetsuro Morita, Junji Yano, Kouji Kagawa (Sumitomo Electric Industries, Ltd.) ITS2009-33 |
We propose a multi-agent based interpolation system of traffic condition, which includes estimation and learning agents.... [more] |
ITS2009-33 pp.91-96 |
SS |
2008-07-31 17:30 |
Hokkaido |
Future University-Hakodate |
A Reduction Order for Orienting Equations in Theorem Proving of Constrained TRSs Naoki Nishida, Tsubasa Sakata, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) SS2008-20 |
In automated theorem proving, we often face cases where the procedure
keeps running. To avoid such cases, the theorem p... [more] |
SS2008-20 pp.43-48 |
NLP |
2005-06-23 16:40 |
Hiroshima |
Hiroshima City Univ. |
Application of the Stochastic Proximity Embedding to the Determination of Molecular Structures Hiroyuki Kashima, Shinji Doi, Sadatoshi Kumagai (Osaka Univ.) |
We propose a novel method of molecular-structure determination under a condition that a set of upper and lower distance ... [more] |
NLP2005-26 pp.57-62 |