2017年度 | ||
Journal Papers | ||
| 蓑田 玲緒奈, 湊 真一 | ||
| 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証, 電子情報通信学会論文誌, 和文誌D, 2018年03月 | ||
| Reona Minoda, Shin-ichi Minato | ||
| Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages, IEICE Trans. Inf. & Syst., Vol.E100-D, No.06, pp.1172-1181, 2017年06月 | ||
| Gao Shan, Masakazu Ishihata, Shin-ichi Minato | ||
| Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation, The Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2017), Kyoto Japan Proceedings of Machine Learning Research, Volume 73, pp.117-128, September, 2017., 2017年09月 | ||
Refereed Conference | ||
| Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata | ||
| Exact Computation of Influence Spread by Binary Decision Diagram, The 2017 World Wide Web conference (WWW-2017), 947-956, 2017年04月 | ||
| Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato | ||
| Statistical Emerging Pattern Mining with Multiple Testing Correction, The 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017), Research Track, Hafifax, Nova Scotia, Canada, 2017年08月 | ||
| Reona Minoda, Shin-ichi Minato | ||
| Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking, In Proceedings of the 2nd International Conference on Pervasive Embedded Computing (PECCS/PEC 2017), pp.13-21, Madrid, Spain, 2017年07月 | ||
| Reona Minoda, Masakazu Ishihata, Shin-ichi Minato | ||
| Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking, In Proceedings of the Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp.85-91, Barcelona, Spain, 2017年11月 | ||
| Hei Chan | ||
| Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, Proceedings of Machine Learning Research, Volume 73, pages 105-116, 2018年03月 | ||
| Isamu Furuya and Takuya Kida | ||
| Compaction of Church Numerals for Higher-Order Compression, Data Compression Conference (DCC2018), Cliff Lodge, Snowbird, USA, 2018年03月 | ||
Conference | ||
| Hei Chan | ||
| Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, The Third Workshop on Advanced Methodologies for Bayesian Networks, Kyoto, Japan, 2017年09月 | ||
| 蓑田 玲緒奈, 湊 真一 | ||
| スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用, 第31回人工知能学会全国大会, 名古屋, 2017年05月 | ||
| 石畠正和, 林浩平 | ||
| Probability Tensor Networks, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月 | ||
| 原聡, 石畠正和, 前原貴憲 | ||
| 機械学習モデルの列挙, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月 | ||
| 坂上晋作, 石畠正和 | ||
| 劣モジュラ最大化に対する高速な最良優先探索, 第20回情報論的学習理論ワークショップ (IBIS2017), テクニカルトラック, 2017年11月 | ||
| 鈴木浩史, 石畠正和, 湊真一 | ||
| フロンティア法による強連結な部分グラフの列挙, 人工知能学会 第104回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B507, pp. 26-31, 2017年08月 | ||
| 坂上晋作, 石畠正和, 湊真一 | ||
| 敵対的組合せバンディット問題に対する ZDD を用いたアルゴリズム, 信学技報, vol. 117, no. 110, IBISML2017-1, pp. 43-48, 2017年06月 | ||
| 石畠正和, Mathieu Blondel | ||
| Itemset Factorization Machine, 第31回人工知能学会全国大会, 2017年05月 | ||
| Shinsaku Sakaue and Masakazu Ishihata | ||
| Accelerated Best-first Search with Upper-bound Computation for Submodular Function Maximization, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月 | ||
| Satoshi Hara and Masakazu Ishihata | ||
| Approximate and Exact Enumeration of Rule Models, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月 | ||
| 原聡, 石畠正和, 前原貴憲 | ||
| 機械学習モデルの列挙, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 01-05, January, 2018., 2018年01月 | ||
| 金森憲太朗, 石畠正和, 湊真一, 有村博紀 | ||
| 順序決定木に対する正則化パラメータ推定の高速化, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 50-57, 2018年01月 | ||
| Isamu Furuya and Takuya Kida | ||
| A Compact Expression of Church Numerals and Its Application to Higher-Order Compression, The 20th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC2017), Hanyang University, Seoul, Korea, 2017年08月 | ||
| 古谷 勇，喜田 拓也 | ||
| A Compact Expression of Church Numerals and Its Application to Higher-Order Compression, 情報処理北海道シンポジウム2017，北海道大学，北海道札幌市, 2017年10月 | ||
| 熊澤輝顕、鈴木浩史、石畠正和、浅井哲也、池辺将之、本村真人、高前田伸也 | ||
| ZDDによる三角形分割パターンの列挙とその応用に向けて, 人工知能学会 第106回人工知能基本問題研究会 (SIG-FPAI),指宿 鹿児島, 2018年03月 | ||
Etc. | ||
| 石畠正和 | ||
| 論理と確率 ~正確で柔軟なモデリング, 2017年度 CCS/NetSci 合同ワークショップ_Invited Talks, 2017年08月 | ||
| 石畠正和 | ||
| 離散構造処理系プロジェクト「若手研究者短期招聘プログラム」の成果報告, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月 | ||
| 基盤(S) 離散構造処理系プロジェクト | ||
| 2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月 | ||
| 基盤(S) 離散構造処理系プロジェクト, CD-ROM | ||
| 2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月 | ||
| 石畠正和, 小宮山純平, 馬場雪乃 | ||
| 比較バンディットアルゴリズムを用いたクラウドソーシングにおける品質・コストトレードオフの自動調整, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月 | ||
 |
||
 | 基盤(S)離散構造処理系プロジェクト（北海道大学サイト） | |
 | ||
| ||
| 済みませんが、JavaScriptを有効にしてください | ||
| 05 | 2018/06 | 07 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 27 | 28 | 29 | 30 | 31 | 01 | 02 |
| 03 | 04 | 05 | 06 | 07 | 08 | 09 |
| 10 | 11 | 12 | 13 | 14 | 15 | 16 |
| 17 | 18 | 19 | 20 | 21 | 22 | 23 |
| 24 | 25 | 26 | 27 | 28 | 29 | 30 |
| □ | Click セミナー | |||||
Copyright (C) 2014 Hokkaido Univ., Minato Discrete Structure Manipulation System Project, All Rights Reserved