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
Forcing and its applications in hybrid-dynamic logics
力及其在混合动态逻辑中的应用
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：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 - 通讯作者：
Daniel Gaina
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)
相似国自然基金
方向图可重构MIMO通信系统的物理层关键技术研究
- 批准号：
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：
基于阵列微系统的星载可重构多波束相控阵天线技术研究
- 批准号：
- 批准年份：2022
- 资助金额：53 万元
- 项目类别：面上项目
面向可植入测温系统的丝素蛋白结构重构及机制研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
可重构表面信能同传通信系统的智能多目标资源分配方法
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
复合式高速直升机可重构主传动系统耦合振动机理及宽域抑振策略研究
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
Real-Time Control Co-Design for Reconfigurable Energy-Harvesting Systems
可重构能量收集系统的实时控制协同设计
- 批准号：
2321698 - 财政年份：2023
- 资助金额：
$ 3万 - 项目类别：
Standard Grant
SaTC: CORE: Small: Security of FPGA-as-a-Service Reconfigurable Systems
SaTC：核心：小型：FPGA 即服务可重构系统的安全性
- 批准号：
2310142 - 财政年份：2023
- 资助金额：
$ 3万 - 项目类别：
Standard Grant
Realizing Reconfigurable Radio Environments using Intelligent Reflecting Surfaces for Sustainable and Energy-Efficient Beyond Fifth Generation Communication Systems
使用智能反射表面实现可重构无线电环境，实现第五代通信系统之外的可持续和节能
- 批准号：
557678-2021 - 财政年份：2022
- 资助金额：
$ 3万 - 项目类别：
Postdoctoral Fellowships
Reconfigurable Network for High-Performance Computing Systems
用于高性能计算系统的可重构网络
- 批准号：
22K17870 - 财政年份：2022
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Event-Clock Hybrid Driven Reconfigurable Perception-Computation Technology
事件时钟混合驱动的可重构感知计算技术
- 批准号：
22K21280 - 财政年份：2022
- 资助金额：
$ 3万 - 项目类别：
Grant-in-Aid for Research Activity Start-up