Learning-aided Program Reasoning

学习辅助程序推理

基本信息

  • 批准号:
    DGECR-2021-00380
  • 负责人:
  • 金额:
    $ 0.91万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Launch Supplement
  • 财政年份:
    2021
  • 资助国家:
    加拿大
  • 起止时间:
    2021-01-01 至 2022-12-31
  • 项目状态:
    已结题

项目摘要

No summary - Aucun sommaire
没有摘要--Aucun Sommaire

项目成果

期刊论文数量(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 }}

Si, Xujie其他文献

Syntax-Guided Synthesis of Datalog Programs
数据记录程序的语法引导综合
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
Scallop:从概率演绎数据库到可扩展可微分推理

Si, Xujie的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Si, Xujie', 18)}}的其他基金

Learning-aided Program Reasoning
学习辅助程序推理
  • 批准号:
    RGPIN-2021-03537
  • 财政年份:
    2022
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Discovery Grants Program - Individual
Learning-aided Program Reasoning
学习辅助程序推理
  • 批准号:
    RGPIN-2021-03537
  • 财政年份:
    2021
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

基于磷酸二酯酶IV结构的抑制剂的设计与动态组合合成
  • 批准号:
    30500633
  • 批准年份:
    2005
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CASI-Plus: A mHealth Tool for Client Engagement to Improve Ukraine's Assisted Partner Services (APS) Program Workflow and HIV Testing Outcomes
CASI-Plus:用于客户参与的移动医疗工具,旨在改善乌克兰的辅助合作伙伴服务 (APS) 计划工作流程和 HIV 检测结果
  • 批准号:
    10538104
  • 财政年份:
    2022
  • 资助金额:
    $ 0.91万
  • 项目类别:
CASI-Plus: A mHealth Tool for Client Engagement to Improve Ukraine's Assisted Partner Services (APS) Program Workflow and HIV Testing Outcomes
CASI-Plus:用于客户参与的移动医疗工具,旨在改善乌克兰的辅助合作伙伴服务 (APS) 计划工作流程和 HIV 检测结果
  • 批准号:
    10709594
  • 财政年份:
    2022
  • 资助金额:
    $ 0.91万
  • 项目类别:
Learning-aided Program Reasoning
学习辅助程序推理
  • 批准号:
    RGPIN-2021-03537
  • 财政年份:
    2022
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Discovery Grants Program - Individual
Learning-aided Program Reasoning
学习辅助程序推理
  • 批准号:
    RGPIN-2021-03537
  • 财政年份:
    2021
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Discovery Grants Program - Individual
A Quality Control Program for Quantitative MRI Data Acquisition and Analysis in Multi-site Clinical Trials
多站点临床试验中定量 MRI 数据采集和分析的质量控制程序
  • 批准号:
    10244956
  • 财政年份:
    2018
  • 资助金额:
    $ 0.91万
  • 项目类别:
A Quality Control Program for Quantitative MRI Data Acquisition and Analysis in Multi-site Clinical Trials
多站点临床试验中定量 MRI 数据采集和分析的质量控制程序
  • 批准号:
    10018825
  • 财政年份:
    2018
  • 资助金额:
    $ 0.91万
  • 项目类别:
A Quality Control Program for Quantitative MRI Data Acquisition and Analysis in Multi-site Clinical Trials
多站点临床试验中定量 MRI 数据采集和分析的质量控制程序
  • 批准号:
    10007270
  • 财政年份:
    2018
  • 资助金额:
    $ 0.91万
  • 项目类别:
Improving Scientific Writing In Undergraduate STEM Classrooms: A Training Program for Students and Teaching Assistants Aided By Information Extraction Technology
提高本科STEM课堂中的科学写作:信息提取技术辅助的学生和助教培训计划
  • 批准号:
    1712423
  • 财政年份:
    2017
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Standard Grant
International Research Fellowship Program: Computer-Aided Molecular Design of Ionic Liquids for the Pretreatment of Cellulose
国际研究奖学金计划:用于纤维素预处理的离子液体的计算机辅助分子设计
  • 批准号:
    1006204
  • 财政年份:
    2010
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Fellowship Award
DEVELOPMENT OF NURSING PROGRAM TO PROMOTE AUTONOMY OF CANCER CHILDREN BY USING COMPUTER AIDED INSTRUCTION(CAI)
利用计算机辅助教学(CAI)开发促进癌症儿童自主能力的护理程序
  • 批准号:
    19592482
  • 财政年份:
    2007
  • 资助金额:
    $ 0.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了