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）

Memoryful Geometry of Interaction II: Recursion and Adequacy

交互的记忆几何 II：递归和充分性

DOI：
10.1145/2837614.2837672
发表时间：
2016
期刊：
影响因子：
0
作者：
Koko Muroya; Naohiko Hoshino;Ichiro Hasuo
通讯作者：
Ichiro Hasuo

Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects

交互的记忆几何：从代数分量到代数效应

DOI：
10.1145/2603088.2603124
发表时间：
2014
期刊：
影响因子：
0
作者：
Naohiko Hoshino; Koko Muroya;Ichiro Hasuo
通讯作者：
Ichiro Hasuo

Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices

通用前向和后向模拟 III：矩阵定量模拟

DOI：
10.1007/978-3-662-44584-6_31
发表时间：
2014
期刊：
影响因子：
0
作者：
Natsuki Urabe;Ichiro Hasuo
通讯作者：
Ichiro Hasuo

Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals

超流处理系统：连续时间信号的非标准建模

DOI：
10.1145/2429069.2429120
发表时间：
2013
期刊：
影响因子：
0
作者：
Kohei Suenaga; Hiroyoshi Sekine
通讯作者：
Hiroyoshi Sekine

Time Robustness in MTL and Expressivity in Hybrid System Falsification

MTL 中的时间鲁棒性和混合系统伪造中的表现力

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Takumi Akazaki;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其他文献

FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria

FalsifAI：以时间感知覆盖标准为指导的人工智能混合控制系统的伪造

DOI：
10.1109/tse.2022.3194640
发表时间：
2023
期刊：
影响因子：
7.4
作者：
Zhang Zhenya;Lyu Deyun;Arcaini Paolo;Ma Lei;Hasuo Ichiro;Zhao Jianjun
通讯作者：
Zhao Jianjun

Goal-Aware RSS for Complex Scenarios Via Program Logic

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

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

Decision Tree Learning in CEGIS-Based Termination Analysis

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

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

Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

混合系统伪造中的约束反例：基于惩罚的方法

DOI：
10.1007/978-3-030-55754-6_24
发表时间：
2020
期刊：
影响因子：
0
作者：
Zhang Zhenya;Arcaini Paolo;Hasuo Ichiro
通讯作者：
Hasuo Ichiro

Codensity Games for Bisimilarity

相似性的代码密度游戏

DOI：
10.1007/s00354-022-00186-y
发表时间：
2022
期刊：
影响因子：
2.6
作者：
Komorida Yuichi;Katsumata Shin;Hu Nick;Klin Bartek;Humeau Samuel;Eberhart Clovis;Hasuo Ichiro
通讯作者：
Hasuo Ichiro