Computing and networking equipment for knowledge representation group

知识表示组的计算和网络设备

基本信息

  • 批准号：
    240951-2001
  • 负责人：
    Bacchus, Fahiem
  • 金额：
    $ 4.71万
  • 依托单位：
    University of Toronto
  • 依托单位国家：
    加拿大
  • 项目类别：
    Research Tools and Instruments - Category 1 (<$150,000)
  • 财政年份：
    2000
  • 资助国家：
    加拿大
  • 起止时间：
    2000-01-01 至 2001-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.journal_name }}
  • 影响因子：
    {{ 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 }}

Bacchus, Fahiem其他文献

Solving #SAT and Bayesian Inference with Backtracking Search

Bacchus, Fahiem的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Bacchus, Fahiem', 18)}}的其他基金

Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号：
    RGPIN-2016-05527
  • 财政年份：
    2021
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号：
    RGPIN-2016-05527
  • 财政年份：
    2019
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号：
    RGPIN-2016-05527
  • 财政年份：
    2018
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号：
    RGPIN-2016-05527
  • 财政年份：
    2017
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
  • 批准号：
    RGPIN-2016-05527
  • 财政年份：
    2016
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
  • 批准号：
    41848-2011
  • 财政年份：
    2015
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
  • 批准号：
    41848-2011
  • 财政年份：
    2014
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Correlation clustering for identical product detection
用于相同产品检测的相关聚类
  • 批准号：
    469745-2014
  • 财政年份：
    2014
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Engage Grants Program
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
  • 批准号：
    41848-2011
  • 财政年份：
    2013
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
  • 批准号：
    41848-2011
  • 财政年份：
    2012
  • 资助金额：
    $ 4.71万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

基于NanoDESI-LTQ-FT质谱和小分子化合物网络快速鉴定微生物来源的抗结核活性成分
  • 批准号：
    81302678
  • 批准年份：
    2013
  • 资助金额：
    23.0 万元
  • 项目类别：
    青年科学基金项目
基于CCN的新互联网架构体系对比分析及其路由缓冲策略研究
  • 批准号：
    61103027
  • 批准年份：
    2011
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Increasing Diversity in and Equitable Access to Applied Learning in Disaster Research Response: IDEAAL DR2
增加灾害研究响应中应用学习的多样性和公平获取：IDEAAL DR2
  • 批准号：
    10745889
  • 财政年份：
    2023
  • 资助金额：
    $ 4.71万
  • 项目类别：
Poly(glycerol carbonate) pressure sensitive adhesives for the in vivo closure of alveolar pleural fistulae
用于体内闭合肺泡胸膜瘘的聚（甘油碳酸酯）压敏粘合剂
  • 批准号：
    10746743
  • 财政年份：
    2022
  • 资助金额：
    $ 4.71万
  • 项目类别：
Poly(glycerol carbonate) pressure sensitive adhesives for the in vivo closure of alveolar pleural fistulae
用于体内闭合肺泡胸膜瘘的聚（甘油碳酸酯）压敏粘合剂
  • 批准号：
    10463117
  • 财政年份：
    2022
  • 资助金额：
    $ 4.71万
  • 项目类别：
An Enzyme Self-Amplification System for Ultrasensitive Detection of Biomarkers at the Point of Care
用于在护理点超灵敏检测生物标志物的酶自扩增系统
  • 批准号：
    10463564
  • 财政年份：
    2021
  • 资助金额：
    $ 4.71万
  • 项目类别：
Supplement to Elucidating biogenesis and cargo sorting mechanisms for discrete extracellular vesicle subpopulations in C. elegans
补充阐明线虫离散细胞外囊泡亚群的生物发生和货物分选机制
  • 批准号：
    10643364
  • 财政年份：
    2020
  • 资助金额：
    $ 4.71万
  • 项目类别：
Peptides and Small-molecules Targeting Signaling Proteins and Protein-Protein Interfaces
靶向信号蛋白和蛋白质-蛋白质界面的肽和小分子
  • 批准号：
    10581865
  • 财政年份：
    2020
  • 资助金额：
    $ 4.71万
  • 项目类别：
Dartmouth Rural STEM Educator Partnership
达特茅斯乡村 STEM 教育者合作伙伴关系
  • 批准号：
    10415182
  • 财政年份：
    2019
  • 资助金额：
    $ 4.71万
  • 项目类别：
Dartmouth Rural STEM Educator Partnership
达特茅斯乡村 STEM 教育者合作伙伴关系
  • 批准号：
    9973252
  • 财政年份：
    2019
  • 资助金额：
    $ 4.71万
  • 项目类别：
Dartmouth Rural STEM Educator Partnership
达特茅斯乡村 STEM 教育者合作伙伴关系
  • 批准号：
    10666522
  • 财政年份：
    2019
  • 资助金额：
    $ 4.71万
  • 项目类别：
Career Enhancement Core
职业提升核心
  • 批准号：
    10245076
  • 财政年份：
    2018
  • 资助金额：
    $ 4.71万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了