高性能論理ソルバと幾何計算の結合による技術発展とその応用
高性能逻辑求解器与几何计算相结合的技术开发及其应用
基本信息
- 批准号：23K11043
- 负责人：
- 金额：$ 3.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2028-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 }}
ジョーダン チャールズハロルド其他文献
ジョーダン チャールズハロルド的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
機械学習技術による高速な演繹的推論エンジンの開発
利用机器学习技术开发高速演绎推理引擎
- 批准号：
22H03564 - 财政年份：2022
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
SMT制約式の機械学習を用いた自動チューニング
使用SMT约束机器学习进行自动调优
- 批准号：
19K20241 - 财政年份：2019
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Developing a tool to assist in resolving specification inconsistencies based on mathematical argumentation theory
基于数学论证理论开发帮助解决规范不一致的工具
- 批准号：
19K11914 - 财政年份：2019
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Large-scale parallel logic solvers and applications using complexity
使用复杂性的大规模并行逻辑求解器和应用程序
- 批准号：
18K18027 - 财政年份：2018
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Reduction of Costs Needed for Engineering Change Orders Based on Error Diagnosis Technique and Incremental Sysnthsis Technique for ECO's
基于错误诊断技术和增量综合技术的 ECO 降低工程变更单所需的成本
- 批准号：
18K11215 - 财政年份：2018
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)