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
数据记录程序的语法引导综合
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Si, Xujie;Lee, Woosuk;Zhang, Richard;Albarghouthi, Aws;Koutris, Paraschos;Naik, Mayur - 通讯作者:
Naik, Mayur
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
Scallop:从概率演绎数据库到可扩展可微分推理
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Huang, Jiani;Li, Ziyang;Chen, Binghong;Samel, Karan;Naik, Mayur;Song, Le;Si, Xujie - 通讯作者:
Si, Xujie
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)