刷新
{{item.name}}会员
A theorem prover for the correct development of reconfigurable systems
正确开发可重构系统的定理证明者
基本信息
- 批准号：23K11048
- 负责人：
- 金额：$ 3万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2027-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
GAINA Daniel其他文献
ブロックゲージ表面の乱反射光と波長シフト干渉計を用いる3D形状計測
使用块规表面上的漫反射光和波长位移干涉仪进行 3D 形状测量
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Gaina Daniel;Kowalski Tomasz;Gaina Daniel;GAINA Daniel;GAINA Daniel;GAINA Daniel;Daniel Gaina;Daniel Gaina;Daniel Gaina;Daniel Gaina;Daniel Gaina;Daniel Gaina;安達 正明 - 通讯作者：
安達 正明
Stability of termination under pushouts via amalgamation
通过合并推出的终止稳定性
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Gaina Daniel;Kowalski Tomasz;Gaina Daniel;GAINA Daniel;GAINA Daniel - 通讯作者：
GAINA Daniel
Robinson consistency in many-sorted hybrid first-order logics
多排序混合一阶逻辑中的罗宾逊一致性
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
GAINA Daniel;BADIA Guillermo;KOWALSKI Tomasz - 通讯作者：
KOWALSKI Tomasz
Convergence of discrete-time deterministic games to path-dependent Isaacs partial differential equations with quadratically growing Hamiltonians
离散时间确定性博弈收敛于具有二次增长哈密顿量的路径相关 Isaacs 偏微分方程
- DOI：
10.1007/s00245-022-09829-4 - 发表时间：
2022 - 期刊：
- 影响因子：1.8
- 作者：
GAINA Daniel;BADIA Guillermo;KOWALSKI Tomasz;H. Kaise - 通讯作者：
H. Kaise
Horn clauses in Hybrid-Dynamic Quantum Logic
混合动态量子逻辑中的 Horn 子句
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Gaina Daniel;Kowalski Tomasz;Gaina Daniel;GAINA Daniel - 通讯作者：
GAINA Daniel
GAINA Daniel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('GAINA Daniel', 18)}}的其他基金
Mathematical foundations for the reconfiguration paradigm
重构范式的数学基础
- 批准号：
20K03718 - 财政年份：2020
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
SaTC: CORE: Small: Security of FPGA-as-a-Service Reconfigurable Systems
SaTC：核心：小型：FPGA 即服务可重构系统的安全性
- 批准号：
2310142 - 财政年份：2023
- 资助金额：
$ 3万 - 项目类别：
Standard Grant
SaTC: CORE: Small: Security of FPGA-as-a-Service Reconfigurable Systems
SaTC：核心：小型：FPGA 即服务可重构系统的安全性
- 批准号：
2011561 - 财政年份：2020
- 资助金额：
$ 3万 - 项目类别：
Standard Grant
CNS Core: Small: Software-Hardware Reconfigurable Systems for Mobile Millimeter-Wave Networks
CNS 核心：小型：移动毫米波网络的软硬件可重构系统
- 批准号：
1910853 - 财政年份：2019
- 资助金额：
$ 3万 - 项目类别：
Standard Grant
Shape Adaptive Modular Reconfigurable Systems
形状自适应模块化可重构系统
- 批准号：
RGPIN-2015-06785 - 财政年份：2019
- 资助金额：
$ 3万 - 项目类别：
Discovery Grants Program - Individual
Shape Adaptive Modular Reconfigurable Systems
形状自适应模块化可重构系统
- 批准号：
RGPIN-2015-06785 - 财政年份：2018
- 资助金额：
$ 3万 - 项目类别：
Discovery Grants Program - Individual
Shape Adaptive Modular Reconfigurable Systems
形状自适应模块化可重构系统
- 批准号：
RGPIN-2015-06785 - 财政年份：2017
- 资助金额：
$ 3万 - 项目类别：
Discovery Grants Program - Individual
Shape Adaptive Modular Reconfigurable Systems
形状自适应模块化可重构系统
- 批准号：
RGPIN-2015-06785 - 财政年份：2016
- 资助金额：
$ 3万 - 项目类别：
Discovery Grants Program - Individual
Shape Adaptive Modular Reconfigurable Systems
形状自适应模块化可重构系统
- 批准号：
RGPIN-2015-06785 - 财政年份：2015
- 资助金额：
$ 3万 - 项目类别：
Discovery Grants Program - Individual
Embedded Image Processing and Vision Systems on Reconfigurable Systems
可重构系统上的嵌入式图像处理和视觉系统
- 批准号：
483524-2015 - 财政年份：2015
- 资助金额：
$ 3万 - 项目类别：
University Undergraduate Student Research Awards
Designing Radiation-Tolerant Reconfigurable Systems for Space
设计太空耐辐射可重构系统
- 批准号：
DP150103866 - 财政年份：2015
- 资助金额：
$ 3万 - 项目类别：
Discovery Projects