刷新
{{item.name}}会员
Temporal first order logics
时态一阶逻辑
基本信息
- 批准号：46773-2001
- 负责人：
- 金额：$ 0.87万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2005
- 资助国家：加拿大
- 起止时间：2005-01-01 至 2006-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 - 财政年份：2004
- 资助金额：
$ 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万 - 项目类别：
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
Touch processing in the distal branches of first-order tactile neurons
一阶触觉神经元远端分支的触摸处理
- 批准号：
469248 - 财政年份：2022
- 资助金额：
$ 0.87万 - 项目类别：
Operating Grants
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
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万 - 项目类别：