電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 44件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
NLP, MSS
(併催)
2019-03-14
13:45
福井 福井大学 文京キャンパス Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装
小嶋翔太石井大輔福井大
ハイブリッドシステムの解析において, 状態の保守的近似に基づく高信頼な数値シミュレーションが役立つ.
しかし, 既存の... [more]
MSS2018-84
pp.19-22
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2018-11-12
16:15
静岡 熱海伊豆山温泉 ハートピア熱海 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法
藤森浩平張江洋次朗和崎克己信州大
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の... [more] CAS2018-65 MSS2018-41
pp.43-47
SS 2018-03-06
12:00
沖縄 南大東島 凍結クロックを持つ稠密時間プッシュダウンオートマトンの到達可能性のための記号ゾーン解析手法について
結縁祥治平岡 祥名大
本研究では、稠密時間クロックをスタック上にプッシュすることのできる計算モ
デルであるDTPDAに対してスタック上でク... [more]
SS2017-65
pp.7-12
ISEC, COMP
(共催)
2017-12-21
11:25
高知 高知工科大学永国寺キャンパス グリッドグラフにおける到達可能性判定問題のO(n^{1/3})領域アルゴリズム
芦田 亮中川航太郎東工大
有向グラフの到達可能性判定問題はNL完全問題として有名である.この問題を多項式時間で解くアルゴリズムとして,Barns等... [more] ISEC2017-75 COMP2017-29
pp.19-24
QIT
(第二種研究会)
2017-11-17
10:00
埼玉 埼玉大学 散逸下における量子状態制御の限界
小林幸平山本直樹慶大
量子情報技術の実現において,所望の量子状態を生成する制御は必要不可欠である.しかし量子系に散逸が発生している場合, 状態... [more]
OCS, CS
(併催)
2017-01-20
10:45
福岡 九州産業大学 光パス到達性を向上させるSimplified Optical Cross Connect の帯域狭窄特性改善
谷田部 漠松山友理恵竹下仁士藤澤慎介中田武志田島章雄小熊健史NEC
光通信システムの容量拡大と柔軟性向上を可能とするエラスティック光ネットワークでは,光ノードに内蔵される光バンドパスフィル... [more] OCS2016-68
pp.21-25
QIT
(第二種研究会)
2016-11-24
13:00
茨城 高エネルギー加速器研究機構 小林ホール [ポスター講演]散逸下における量子状態制御の限界
小林幸平山本直樹慶大
量子情報技術の実現において,所望の量子状態を生成する制御は必要不可欠である.しかし量子系に散逸が発生している場合, 量子... [more]
OCS, NS, PN
(併催)
2016-06-23
11:40
北海道 北海道大学 光パス到達性を向上させるSimplified Optical Cross Connect Architectureの提案と基礎特性評価
竹下仁士松山友理恵小熊健史藤澤慎介田島章雄NEC
エラスティック光通信ネットワークでは、光スペクトル利用効率が高くなる一方で、光パス到達性が低下することが問題である。光ノ... [more] OCS2016-12
pp.17-22
ET 2016-03-05
16:15
香川 香川大学(幸町キャンパス) 初学者向けネットワーク構築演習におけるプログラム解析技術に基づく設定誤り検出法の提案
立岩佑一郎高橋直久名工大
本稿では,初学者向けネットワーク構築演習で,学習者の構築したネットワーク(答案と呼ぶ)において,通信の到達性に関する設定... [more] ET2015-106
pp.71-76
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2015-12-02
11:15
長崎 長崎県勤労福祉会館 到達不可能な解空間における効果的なSimulated Annealing法探索に関する研究
中野太維藤吉邦洋東京農工大
Simulated Annealing法は隣接解生成法により定まる解空間の中で,良い解を確率的に探索する.通常の隣接解生... [more] VLD2015-45 DC2015-41
pp.45-50
MSS, SS
(共催)
2015-01-26
17:20
鳥取 ブランナールみささ A Consideration on How to Model Check Distributed Snapshot Reachability Property
Wenjie ZhangKazuhiro OgataJAIST)・Min ZhangECNU
 [more] MSS2014-77 SS2014-41
pp.49-54
COMP 2014-10-08
14:45
東京 中央大学 Reconfiguration of List Colorings in a Graph
Tatsuhiko HatanakaTakehiro ItoXiao ZhouTohoku Univ.
グラフの各点には,その点に割り当てることができる色のリストが与えられているとする.本稿では,1つのリスト点彩色から同じグ... [more] COMP2014-29
pp.19-24
CS, NS, IN
(併催)
2014-09-11
10:50
宮城 東北大学 電気通信研究所 2号館 標的問題に基づいた通信到達性の向上と端末の省電力化を目指した無線通信半径設定法
濱本 亮高野知佐広島市大)・会田雅樹首都大東京)・石田賢治広島市大
近年,アクセスポイントなどの通信インフラを利用せずに通信端末の相互接続によってネットワークを構築できるアドホックネットワ... [more] NS2014-82
pp.13-18
COMP 2013-04-24
10:00
兵庫 神戸大学 枝刈り探索のパスへの拡張による到達可能性クエリ
矢野洋祐秋葉拓哉岩田陽一東大
グラフの到達可能性は理論と応用の両方において基礎となる問題であるが,大規模なグラフ上で大量の到達可能性クエリに答えるのは... [more] COMP2013-1
pp.1-8
MSS 2013-01-22
14:25
大阪 大阪国際会議場 健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
加納大暉山口真悟山口大
ワークフローには定義とインスタンスという二つの側面がある.
本稿では,可達性を利用して,ワークフローインスタンスの正し... [more]
MSS2012-48
pp.17-21
MSS 2013-01-22
14:50
大阪 大阪国際会議場 自由選択ワークフローネットにおける非安全マーキングへの可達性解析
村上雄基豊嶋伊知郎山口真悟山口大
ワークフローネットにおいて非安全なマーキングに必ず可達なマーキングは, そのワークフローインスタンスが正常に終了できない... [more] MSS2012-49
pp.23-26
EMM, ISEC, SITE, ICSS
(共催)
IPSJ-CSEC, IPSJ-SPT
(併催)
(連催) [詳細]
2012-07-19
15:25
北海道 北海道工業大学 顔画像に対するプライバシー保護処理の有効性の定量的評価
中島悠太奈良先端大)・池野知顕・○馬場口 登阪大
画像や映像には人物の顔などのプライバシーセンシティブな情報(Privacy Sensitive Information:... [more] ISEC2012-17 SITE2012-13 ICSS2012-19 EMM2012-9
pp.59-66
COMP 2011-12-16
11:15
愛知 名古屋大学 木,カクタスにおける点被覆の遷移可能性
野岡弘幸伊藤健洋周 暁東北大
本文では,グラフ$G$の点被覆が2つ与えられたとき,その一方から他方へ$G$の点被覆のみを経由して,段階的に遷移する事が... [more] COMP2011-39
pp.25-32
CAS, MSS
(共催)
2011-11-18
11:15
山口 山口大学大学会館 Acyclic Well-Structuredワークフローネットの可達性判定について
濱野慎司山口真悟山口大
ワークフローのモデル化と解析にワークフローネットが適用され,成果をあげている.
本稿では可達性を利用して,ワークフロー... [more]
CAS2011-78 MSS2011-47
pp.83-87
MSS, CAS
(共催)
2010-11-18
10:55
大阪 関西大学 A Probability-based State Space Analysis of Petri Nets
Eleazar Jimenez SerranoKyushu Univ.
 [more] CAS2010-66 CST2010-39
pp.7-12
 44件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会