Temporal first order logics

时态一阶逻辑

基本信息

  • 批准号:
    46773-2001
  • 负责人:
  • 金额:
    $ 0.87万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2004
  • 资助国家:
    加拿大
  • 起止时间:
    2004-01-01 至 2005-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 }}

Trudel, Andre其他文献

Trudel, Andre的其他文献

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

{{ truncateString('Trudel, Andre', 18)}}的其他基金

Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2010
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2009
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2008
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2007
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号:
    46773-2006
  • 财政年份:
    2006
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2005
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2002
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号:
    46773-2001
  • 财政年份:
    2001
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual
Point based spatio-temporal logics
基于点的时空逻辑
  • 批准号:
    46773-1999
  • 财政年份:
    2000
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

细胞周期蛋白依赖性激酶Cdk1介导卵母细胞第一极体重吸收致三倍体发生的调控机制研究
  • 批准号:
    82371660
  • 批准年份:
    2023
  • 资助金额:
    49.00 万元
  • 项目类别:
    面上项目
“Lignin-first”策略下镁碱催化原生木质素定向氧化为小分子有机酸的机制研究
  • 批准号:
    21908075
  • 批准年份:
    2019
  • 资助金额:
    25.0 万元
  • 项目类别:
    青年科学基金项目
基于First Principles的光催化降解PPCPs同步脱氮体系构建及其电子分配机制研究
  • 批准号:
    51778175
  • 批准年份:
    2017
  • 资助金额:
    59.0 万元
  • 项目类别:
    面上项目
首发偏执型精神分裂症默认网络脑功能研究
  • 批准号:
    30900487
  • 批准年份:
    2009
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
纳米马达数学模型的理论分析和数值模拟
  • 批准号:
    10701029
  • 批准年份:
    2007
  • 资助金额:
    16.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

CAREER: First-principles Predictive Understanding of Chemical Order in Complex Concentrated Alloys: Structures, Dynamics, and Defect Characteristics
职业:复杂浓缩合金中化学顺序的第一原理预测性理解:结构、动力学和缺陷特征
  • 批准号:
    2415119
  • 财政年份:
    2024
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Continuing Grant
A US-UK Collaborative Study of the Health of Children Born From In Vitro Fertilization: From Conception Through Young Adulthood
美英合作研究体外受精出生的儿童的健康状况:从受孕到成年
  • 批准号:
    10749238
  • 财政年份:
    2023
  • 资助金额:
    $ 0.87万
  • 项目类别:
Robust and highly selective proton MRSI on a clinical 3 T system using a second order gradient insert, for application in schizophrenia
使用二阶梯度插入的临床 3 T 系统上的鲁棒性和高选择性质子 MRSI,用于精神分裂症的应用
  • 批准号:
    10741355
  • 财政年份:
    2023
  • 资助金额:
    $ 0.87万
  • 项目类别:
Collaborative Research: RUI: Zero-order to first-order: Hydrologic drivers of surface-subsurface storage dynamics in thawing permafrost landscapes
合作研究:RUI:零阶到一阶:解冻永久冻土景观中地表-地下储存动态的水文驱动因素
  • 批准号:
    2102338
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Standard Grant
Touch processing in the distal branches of first-order tactile neurons
一阶触觉神经元远端分支的触摸处理
  • 批准号:
    469248
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Operating Grants
The Nascent Globe: Diplomacy and the Making of the First Global Order, c.1480-c.1520
新生的地球:外交与第一个全球秩序的建立,c.1480-c.1520
  • 批准号:
    AH/W003880/1
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Fellowship
The Microbiome, Metabolome, and Genome in Multiplex IBD Family Clusters
多重 IBD 家族簇中的微生物组、代谢组和基因组
  • 批准号:
    10681314
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
Analyzing contemporary acoustic recordings and piano rolls in order to investigate how tempo vibrato was applied by pianists in the first half of the twentieth century
分析当代录音和钢琴卷轴,以研究二十世纪上半叶钢琴家如何应用节奏颤音
  • 批准号:
    22H00629
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Collaborative Research: RUI: Zero-order to first-order: Hydrologic drivers of surface-subsurface storage dynamics in thawing permafrost landscapes
合作研究:RUI:零阶到一阶:解冻永久冻土景观中地表-地下储存动态的水文驱动因素
  • 批准号:
    2102342
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
    Standard Grant
The Microbiome, Metabolome, and Genome in Multiplex IBD Family Clusters
多重 IBD 家族簇中的微生物组、代谢组和基因组
  • 批准号:
    10525276
  • 财政年份:
    2022
  • 资助金额:
    $ 0.87万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了