刷新
{{item.name}}会员
Improving Automated Synthetic Geometry Theorem Provers with Deep Learning on Auxiliary Element Construction
通过辅助元素构造的深度学习改进自动综合几何定理证明器
基本信息
- 批准号：567916-2022
- 负责人：
- 金额：$ 0.76万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
theorem proving, synthetic geometry, computer vision, natural language processing, mathematical reasoning, automated geometry theorem proving, deep learning
定理证明，综合几何，计算机视觉，自然语言处理，数学推理，自动几何定理证明，深度学习
项目成果
期刊论文数量（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 }}
Zhou, JinPengJZ其他文献
Zhou, JinPengJZ的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
eSynthesis - an automated platform technology for rapid, high-throughput and clonal cell-free synthetic DNA synthesis
eSynthesis - 一种自动化平台技术，用于快速、高通量和克隆无细胞合成 DNA 合成
- 批准号：
10075886 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Grant for R&D
Semi-Automated Discovery of Synthetic Polymers with Protein Features
半自动发现具有蛋白质特征的合成聚合物
- 批准号：
2309852 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant
Synthetic Mediations: Mapping the Anti-Hermeneutic and Post-Ideological Structure of Automated Communications in the Digital Public Sphere
综合中介：映射数字公共领域自动通信的反解释学和后意识形态结构
- 批准号：
2879442 - 财政年份：2023
- 资助金额：
$ 0.76万 - 项目类别：
Studentship
Automated in silico development of new synthetic methodologies
新合成方法的计算机自动化开发
- 批准号：
576222-2022 - 财政年份：2022
- 资助金额：
$ 0.76万 - 项目类别：
Vanier Canada Graduate Scholarship Tri-Council - Doctoral 3 years
Improved DNA data storage through automated optimization of synthetic polymers
通过合成聚合物的自动优化改进 DNA 数据存储
- 批准号：
2457870 - 财政年份：2020
- 资助金额：
$ 0.76万 - 项目类别：
Studentship
FET: Small: A closed-loop electronically automated platform for debugging synthetic biology
FET：小型：用于调试合成生物学的闭环电子自动化平台
- 批准号：
2006864 - 财政年份：2020
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant
Semi-automated discovery of synthetic polymers with protein features
半自动发现具有蛋白质特征的合成聚合物
- 批准号：
2009942 - 财政年份：2020
- 资助金额：
$ 0.76万 - 项目类别：
Continuing Grant
Synthetic genetic analysis, automated microscopy and image analysis (Z03)
合成遗传分析、自动显微镜和图像分析（Z03）
- 批准号：
290108888 - 财政年份：2016
- 资助金额：
$ 0.76万 - 项目类别：
Collaborative Research Centres
STTR Phase I: Synthetic Biology 2.0: A platform for the automated design of cell factories incorporating synthetic enzymes
STTR 第一阶段：合成生物学 2.0：结合合成酶的细胞工厂自动化设计平台
- 批准号：
1321578 - 财政年份：2013
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant
SBIR Phase I: A Synthetic Biology Design-Build-Test Platform for Automated Combinatorial DNA Assembly
SBIR 第一阶段：用于自动化组合 DNA 组装的合成生物学设计-构建-测试平台
- 批准号：
1215583 - 财政年份：2012
- 资助金额：
$ 0.76万 - 项目类别：
Standard Grant