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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
研究代表者個人ウェブページ
研究代表个人网页
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    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
Personal Webpage of Ichiro Hasuo
莲尾一郎的个人网页
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Healthiness from Duality
来自二元性的健康
Coalgebras and Higher-Order Computation: a GoI Approach
代数和高阶计算：GoI 方法
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ item.author }}

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

{{ item.title }}
  • 作者：
    {{ 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;長谷川敦也
  • 通讯作者：
    長谷川敦也
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation
通过搜索空间变换在（不）等式约束下进行混合系统证伪
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
Decision Tree Learning in CEGIS-Based Termination Analysis
基于 CEGIS 的终止分析中的决策树学习
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

Hasuo Ichiro的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hasuo Ichiro', 18)}}的其他基金

Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems Engineering
用范畴理论和数理逻辑支持制造：软件科学向系统工程的转移
  • 批准号：
    15KT0012
  • 财政年份：
    2015
  • 资助金额：
    $ 12.31万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了