Study on Ground Confluence of Rewrite Systems
重写系统地面汇合研究
基本信息
- 批准号:15K00003
- 负责人:
- 金额:$ 2.91万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2015
- 资助国家:日本
- 起止时间:2015-04-01 至 2018-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems
左线性标称重写系统的并行闭包定理
- DOI:10.1007/978-3-319-66167-4_7
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Kentaro Kikuchi;Takahito Aoto and Yoshihito Toyama
- 通讯作者:Takahito Aoto and Yoshihito Toyama
Nominal Confluence Tool
标称汇流工具
- DOI:10.1007/978-3-319-40229-1_12
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:Kentaro Kikuchi;Takahito Aoto and Yoshihito Toyama;Kentaro Kikuchi;Takahito Aoto and Kentaro Kikuchi
- 通讯作者:Takahito Aoto and Kentaro Kikuchi
Improving rewriting induction approach for proving ground confluence
改进重写归纳方法以验证地面融合
- DOI:10.4230/lipics.fscd.2017.7
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Takahito Aoto;Yoshihito Toyama and Yuta Kimura
- 通讯作者:Yoshihito Toyama and Yuta Kimura
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ 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 }}
Aoto Takahito其他文献
Phase disambiguation using spatio-temporally modulated illumination in depth sensing
在深度传感中使用时空调制照明进行相位消歧
- DOI:
10.1186/s41074-020-00063-x - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Kushida Takahiro;Tanaka Kenichiro;Aoto Takahito;Funatomi Takuya;Mukaigawa Yasuhiro - 通讯作者:
Mukaigawa Yasuhiro
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables
具有原子变量的标称重写系统的汇合与交换
- DOI:
10.1007/978-3-030-68446-4_3 - 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Kikuchi Kentaro;Aoto Takahito - 通讯作者:
Aoto Takahito
Optical tomography based on shortest-path model for diffuse surface object
基于最短路径模型的漫反射表面物体光学层析成像
- DOI:
10.1186/s41074-018-0051-x - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Iwaguchi Takafumi;Funatomi Takuya;Aoto Takahito;Kubo Hiroyuki;Mukaigawa Yasuhiro - 通讯作者:
Mukaigawa Yasuhiro
Reconstruction of volumetric reflectance using spatio-sequential frequency correlation imaging
使用时空序列频率相关成像重建体积反射率
- DOI:
10.1145/3283254.3283278 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Takatani Tsuyoshi;Aoto Takahito;Tanaka Kenichiro;Funatomi Takuya;Mukaigawa Yasuhiro - 通讯作者:
Mukaigawa Yasuhiro
Recovering temporal PSF using ToF camera with delayed light emission
使用具有延迟光发射的 ToF 相机恢复时间 PSF
- DOI:
10.1186/s41074-017-0026-3 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Kitano Kazuya;Okamoto Takanori;Tanaka Kenichiro;Aoto Takahito;Kubo Hiroyuki;Funatomi Takuya;Mukaigawa Yasuhiro - 通讯作者:
Mukaigawa Yasuhiro
Aoto Takahito的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Aoto Takahito', 18)}}的其他基金
Inductive thoeorems and ground confluence for conditional term rewriting systems
条件项重写系统的归纳定理和基本汇合
- 批准号:
18K11158 - 财政年份:2018
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of mechanical metamaterial for controlling a texture deformation using digital fabrication technique
使用数字制造技术开发用于控制纹理变形的机械超材料
- 批准号:
17K19980 - 财政年份:2017
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Challenging Research (Exploratory)
Visualization of Complex Material Property via Computational Photography
通过计算摄影实现复杂材料特性的可视化
- 批准号:
17H04686 - 财政年份:2017
- 资助金额:
$ 2.91万 - 项目类别:
Grant-in-Aid for Young Scientists (A)