Projected Model Counters for Quantitative Information Flow Analysis

用于定量信息流分析的投影模型计数器

基本信息

批准号：
17K00098
负责人：
Hashimoto Kenji
金额：
$ 2.91万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2021-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17K00098/
关键词：
投射モデル計数量的情報流解析 BDD 阻止節変数順序 d-DNNF 成分キャッシュ

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Projected Model Counting and Enumeration

预计模型计数和枚举

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem

动态泄漏的组合性及其在量化问题中的应用

DOI：
发表时间：
2019
期刊：
13th International Conference on Emerging Security Information, Systems and Technologies
影响因子：
0
作者：
Bao Trung Chu;Kenji Hashimoto and Hiroyuki Seki
通讯作者：
Kenji Hashimoto and Hiroyuki Seki

Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -

量化动态泄漏 - 复杂性分析和基于模型计数的计算 -

DOI：
10.1587/transinf.2019edp7132
发表时间：
2019
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
Bao Trung Chu;Kenji Hashimoto;Hiroyuki Seki
通讯作者：
Hiroyuki Seki

命題論理式の全ての投射モデルを表現するBDDの構成法

如何构造BDD来表达命题逻辑公式的所有投影模型

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
磯貝孝明;橋本健二;酒井正彦
通讯作者：
酒井正彦

GPMC

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hashimoto Kenji其他文献

Quantitative Analysis for ROS-Producing Activity and Regulation of Plant NADPH Oxidases in HEK293T Cells

HEK293T 细胞中 ROS 产生活性和植物 NADPH 氧化酶调节的定量分析

DOI：
10.1007/978-1-0716-2469-2_8
发表时间：
2022
期刊：
Methods in Molecular Biology
影响因子：
0
作者：
Kimura Sachie;Kaya Hidetaka;Hashimoto Kenji;Wrzaczek Michael;Kuchitsu Kazuyuki
通讯作者：
Kuchitsu Kazuyuki

Catheter ablation improves outcomes and quality of life in Japanese patients with early-stage atrial fibrillation: A retrospective cohort study

导管消融可改善日本早期房颤患者的预后和生活质量：一项回顾性队列研究

DOI：
10.1016/j.hrthm.2022.02.017
发表时间：
2022
期刊：
Heart Rhythm
影响因子：
5.5
作者：
Seki Yuta;Fujisawa Taishi;Ikemura Nobuhiro;Ibe Susumu;Tsuzuki Ippei;Hashimoto Kenji;Yamashita Terumasa;Miyama Hiroshi;Niimi Nozomi;Suzuki Masahiro;Negishi Koji;Katsumata Yoshinori;Kimura Takehiro;Fukuda Keiichi;Kohsaka Shun;Takatsuki Seiji
通讯作者：
Takatsuki Seiji

Investigation of Parallel Connection Circuit by Hydraulic Direct-Drive System for Biped Humanoid Robot Focusing on Human Running Motion

以人体跑步运动为重点的双足仿人机器人液压直驱系统并联回路研究

DOI：
发表时间：
2020
期刊：
Proceedings of 23rd CISM IFToMM Symposium on Robot Design, Dynamics and Control
影响因子：
0
作者：
Mizukami Hideki;Otani Takuya;Shimizu Juri;Hashimoto Kenji;Sakaguchi Masanori;Kawakami Yasuo;Lim Hun-ok;Takanishi Atsuo
通讯作者：
Takanishi Atsuo

ニコライ・コポソフ教授連続セミナー

Nikolai Koposov教授系列研讨会

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Ma Min;Ren Qian;Yang Jun;Zhang Kai;Xiong Zhongwei;Ishima Tamaki;Pu Yaoyu;Hwang Sung Hee;Toyoshima Manabu;Iwayama Yoshimi;Hisano Yasuko;Yoshikawa Takeo;Hammock Bruce D.;Hashimoto Kenji;橋本伸也（オーガナイザー）
通讯作者：
橋本伸也（オーガナイザー）

Effects of Anesthesia-ECT Time Interval on Seizure Quality and Clinical Outcome: An Interim Report on a Prospective Randomized Trial of AETI 150 sec vs. 240 sec

麻醉-ECT 时间间隔对癫痫发作质量和临床结果的影响：AETI 150 秒与 240 秒前瞻性随机试验的中期报告

DOI：
10.1016/j.brs.2023.01.667
发表时间：
2023
期刊：
BRAIN STIMULATION
影响因子：
7.7
作者：
Sasaki Tsuyoshi;Hashimoto Kenji;Niitsu Tomihisa;Hosoda Yutaka;Oda Yasunori;Shiko Yuki;Ozawa Yoshihito;Kawasaki Yohei;Kanahara Nobuhisa;Shiina Akihiro;Hashimoto Tasuku;Suzuki Takaaki;Sugawara Takeshi;Hanaoka Hideki;Iyo Masaomi;Nobuatsu Aoki Yoshiteru Takekita Taro Suwa Daiki Nishimoto Toshiyuki Kinoshita Colleen Loo
通讯作者：
Nobuatsu Aoki Yoshiteru Takekita Taro Suwa Daiki Nishimoto Toshiyuki Kinoshita Colleen Loo