Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and Applied

驯服新的计算范式：多种语义技术的联合、增强和应用

基本信息

批准号：
24680001
负责人：
Hasuo Ichiro
金额：
$ 12.31万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (A)
财政年份：
2012
资助国家：
日本
起止时间：
2012-04-01 至 2016-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24680001/
关键词：
新パラダイム計算計算の意味論プログラミング言語形式検証物理情報システム量子計算関数型プログラミング圏論プログラム理論システム検証ハイブリッドシステム不動点論理応用数学国際研究者交流（フランス）国際研究者交流（イタリア）国際情報交換（イタリア）国際情報交換（オランダ）

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Semantics of higher-order quantum computation via geometry of interaction

DOI：
10.1016/j.apal.2016.10.010
发表时间：
2017-02-01
期刊：
ANNALS OF PURE AND APPLIED LOGIC
影响因子：
0.8
作者：
Hasuo, Ichiro;Hoshino, Naohiko
通讯作者：
Hoshino, Naohiko

研究代表者個人ウェブページ

研究代表个人网页

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

Coinductive Predicates and Final Sequences in a Fibration

纤维化中的共归纳谓词和最终序列

DOI：
发表时间：
2016
期刊：
Mathematical Structures in Computer Science
影响因子：
0.5
作者：
Ichiro Hasuo;Toshiki Kataoka;Kenta Cho
通讯作者：
Kenta Cho

蓮尾一郎研究者ページ

Ichiro Hasuo 研究员页面

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

超準解析による物理情報システムの形式検証 ―離散から連続・ハイブリッドへ

使用超准分析对物理信息系统进行形式化验证 - 从离散到连续/混合

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
Koko Muroya;Toshiki Kataoka;Ichiro Hasuo and Naohiko Hoshino;Ichiro Hasuo;Ichiro Hasuo;Ichiro Hasuo;Ichiro Hasuo;蓮尾一郎
通讯作者：
蓮尾一郎

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 }}

Hasuo Ichiro其他文献

フランス・リヨンにおけるレジー・ド・カルチエ（RQ）による生活・就労支援―その活動とその意義

法国里昂 Régie de Quartier (RQ) 的生活和就业支持 - 其活动及其意义

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Andre Etienne;Hasuo Ichiro;Waga Masaki;Naveed Ahmed Azam;Masaki Waga;和賀正樹;Masaki Waga;Masaki Waga;Masaki Waga;Masaki Waga;長谷川敦也
通讯作者：
長谷川敦也

Enumerating all pairwise compatibility graphs with a given number of vertices based on linear programming

基于线性规划枚举给定顶点数的所有成对兼容性图

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Andre Etienne;Hasuo Ichiro;Waga Masaki;Naveed Ahmed Azam
通讯作者：
Naveed Ahmed Azam

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation

通过搜索空间变换在（不）等式约束下进行混合系统证伪

DOI：
10.1109/tcad.2020.3013073
发表时间：
2020
期刊：
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
2.9
作者：
Zhang Zhenya;Arcaini Paolo;Hasuo Ichiro
通讯作者：
Hasuo Ichiro

Decision Tree Learning in CEGIS-Based Termination Analysis

基于 CEGIS 的终止分析中的决策树学习

DOI：
10.1007/978-3-030-81688-9_4
发表时间：
2021
期刊：
Proceedings of CAV 2021, Springer LNCS
影响因子：
0
作者：
Kura Satoshi;Unno Hiroshi;Hasuo Ichiro
通讯作者：
Hasuo Ichiro

Goal-Aware RSS for Complex Scenarios Via Program Logic

通过程序逻辑实现复杂场景的目标感知 RSS

DOI：
10.1109/tiv.2022.3169762
发表时间：
2022
期刊：
IEEE Transactions on Intelligent Vehicles
影响因子：
8.2
作者：
Hasuo Ichiro;Eberhart Clovis;Haydon James;Dubut Jeremy;Bohrer Rose;Kobayashi Tsutomu;Pruekprasert Sasinee;Zhang Xiao-Yi;Pallas Erik Andre;Yamada Akihisa;Suenaga Kohei;Ishikawa Fuyuki;Kamijo Kenji;Shinya Yoshiyuki;Suetomi Takamasa
通讯作者：
Suetomi Takamasa