Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NLP, CAS |
2014-10-16 16:45 |
Ehime |
Ehime University |
Periodical property of Chebyshev polynomials on the residue class rings modulo 2^w Atsushi Iwasaki, Ken Umeno (Kyoto Univ.) CAS2014-67 NLP2014-61 |
The odd degree Chebyshev polynomials are known to be permutation polynomials on the residue class rings modulo $2^w$,
... [more] |
CAS2014-67 NLP2014-61 pp.81-86 |
COMP |
2014-09-02 15:45 |
Aichi |
Toyohashi University of Technology |
A Note on the Class of the Computational Comlexity of the Coin-Exchange Problem of Frobenius Shunichi Matsubara (Aoyama Gakuin Univ.) COMP2014-22 |
The coin-exchange problem of Frobenius is a problem that determines whether the Frobenius number for given relatively pr... [more] |
COMP2014-22 pp.51-54 |
NS, IN (Joint) |
2014-03-07 09:50 |
Miyazaki |
Miyazaki Seagia |
Server Access Traffic Control by Link Metric Update Takahiro Munechika, Akira Noguchi, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2013-228 |
Recently, with the spread of broadband Internet access and video contents provide services, large contents in the Intern... [more] |
NS2013-228 pp.301-306 |
NS, IN (Joint) |
2014-03-07 08:50 |
Miyazaki |
Miyazaki Seagia |
Sever Location Method for Keeping Shorter Distance from Clients to Servers during Failures Nao Maeda, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2013-243 |
Recently, large contents in the Internet have increased loads of contents servers, networks and data centers which may d... [more] |
NS2013-243 pp.385-390 |
MW, AP (Joint) |
2013-09-13 09:55 |
Tokyo |
NHK Science Tech. Research Lab. |
A Study on Parameter Optimization for Orthogonal Polynomial Based Digital Predistortion of Concurrently Amplified Dual-band Single-carrier Signals Ikuma Ando, Gia Khanh Tran, Kiyomichi Araki (Tokyo Inst. of Tech.), Takayuki Yamada, Takana Kaho, Yo Yamaguchi (NTT) MW2013-91 |
To realize “User-Centric Wireless Networks” which integrates various wireless systems on a unified hardware platform tow... [more] |
MW2013-91 pp.17-22 |
CQ, MoNA, IPSJ-DPS, IPSJ-CN, IPSJ-EIP (Joint) [detail] |
2013-09-12 10:10 |
Ishikawa |
Kanazawa Institute of Technology |
Time-specific Failure Frequency Analysis for Telecommunications Networks Tsubasa Kogami, Masahiro Hayashi (Tokyo City Univ.) CQ2013-32 |
This paper proposes a new approach to analyze time-specific failure frequency and time-specific success frequency for te... [more] |
CQ2013-32 pp.23-28 |
NS, IN (Joint) |
2013-03-08 13:40 |
Okinawa |
Okinawa Zanpamisaki Royal Hotel |
Method for Finding Links Protected for Keeping the Shorter Distance from Clients to Servers during Failures Nao Maeda, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2012-251 |
Recently, large-volume contents distributed by a content delivery network~(CDN) on the Internet increase load of content... [more] |
NS2012-251 pp.499-504 |
NS, IN (Joint) |
2013-03-08 14:00 |
Okinawa |
Okinawa Zanpamisaki Royal Hotel |
Method for Finding Links Protected to Keep Reachability to Server during Simultaneous Two Links Failures Koji Imagawa, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2012-252 |
The critical links whose failures decrease nodes which is connected with a server in a network must be protected not to ... [more] |
NS2012-252 pp.505-510 |
NS, IN (Joint) |
2013-03-08 13:00 |
Okinawa |
Okinawa Zanpamisaki Royal Hotel |
Method for Finding Links Protected against Increase of Path Length during Failures Kohei Nishida, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2012-265 |
A telecommunication network should be reliable, since it is important as social infrastructure. However, in many actual ... [more] |
NS2012-265 pp.583-588 |
SANE |
2013-01-25 14:30 |
Nagasaki |
Nagasaki Prefectural Art Museum |
A study on approximation of flight trajectory by means of piecewise polynomials and conflict detection Masato Fujita (ENRI) SANE2012-145 |
Studies/Developments on trajectory based operation, in which 4D-trajectories of aircraft are controlled accuately, have ... [more] |
SANE2012-145 pp.109-114 |
MSS |
2013-01-22 14:25 |
Osaka |
Osaka Int. Convention Center |
On Polynomial Time Checking on Reachability in Sound Extended Free-Choice Workflow Nets Daiki Kano, Shingo Yamaguchi (Yamaguchi Univ.) MSS2012-48 |
There are two aspects of a workflow: definition and instance.
In this paper, we tackle verification of correctness of w... [more] |
MSS2012-48 pp.17-21 |
SS, MSS |
2012-01-26 13:45 |
Kochi |
Kochi City Culture-Plaza Cul-Port |
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) MSS2011-60 SS2011-45 |
A workflow may be changed to adapt to market growth, legal reform, and so on.
In that case, the new workflow has to pre... [more] |
MSS2011-60 SS2011-45 pp.33-38 |
CAS, MSS |
2011-11-18 11:15 |
Yamaguchi |
Univ. of Yamaguchi |
On Reachability Verification for Acyclic Well-Structured Work Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.) CAS2011-78 MSS2011-47 |
Workflow nets are making great contributions for modeling and analysis of workflows.
In this paper, we tackle verificat... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
COMP |
2011-10-21 14:25 |
Miyagi |
Tohoku Univ. |
Complexity Theory for Operators in Analysis Akitoshi Kawamura (Univ. of Tokyo), Stephen Cook (Univ. of Toronto) COMP2011-32 |
We propose a new framework for discussing the computational complexity of problems involving uncountably many objects, s... [more] |
COMP2011-32 pp.25-32 |
MSS, CAS, VLD, SIP |
2011-06-30 17:15 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
A sampling theorem for periodic piecewise polynomials using sinc kernel Akira Hirabayashi (Yamaguchi Univ.) CAS2011-16 VLD2011-23 SIP2011-45 MSS2011-16 |
We address a problem of sampling and reconstructing periodic piecewise polynomials
based on the theory for signals wit... [more] |
CAS2011-16 VLD2011-23 SIP2011-45 MSS2011-16 pp.91-96 |
AP, MW (Joint) |
2011-03-03 11:25 |
Ibaraki |
Ibaraki Univ. |
On The Convergence Property of the Method of Moment Solution for Dipole Antenna Using Pocklington-type Integral Equation Masatoshi Tada, Toru Uno, Takuji Arima (Tokyo Univ. of Agric & Tech.) AP2010-178 |
The Method of Moment (MoM) is often used to analyze a wire antenna such as a dipole antenna, because, the MoM can be ana... [more] |
AP2010-178 pp.25-29 |
IN, NS (Joint) |
2011-03-03 08:40 |
Okinawa |
Okinawa Convention Center |
Method for Finding Links Protected for Network Load Balancing during Failures Akira Noguchi, Takeshi Fujimura, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2010-173 |
The internet reliability is needed as the Internet becomes an important social infrastructure. However, we face the ris... [more] |
NS2010-173 pp.57-62 |
IN, NS (Joint) |
2011-03-03 09:20 |
Okinawa |
Okinawa Convention Center |
Method for Finding Links Protected to Keep Reachability to Server during Failures Koji Imagawa, Hiroyoshi Miwa (Kwansei Gakuin Univ.) NS2010-175 |
The critical links whose failures decrease nodes which is connected with a server in a network must be protected not to ... [more] |
NS2010-175 pp.69-74 |
IN, NS (Joint) |
2011-03-04 14:10 |
Okinawa |
Okinawa Convention Center |
Control Method of Autonomously Formed Unstructured P2P Network Based on Usage History Keishi Ogura, Hiroyoshi Miwa (Kwansei Gakuin Univ.) IN2010-206 |
P2P(Peer-to-Peer) network systems in contrast to client/server systems is expected in many fields such as not only file ... [more] |
IN2010-206 pp.371-376 |
MSS |
2011-01-21 09:50 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
On Polynomial Time Soundness-Based Verification of Behavioral Inheritance for Parallel Synchronized Interworkflows Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) CST2010-70 |
An interworkflow is a workflow obtained by connecting two or more workflows. There are three patterns to connect workflo... [more] |
CST2010-70 pp.59-64 |