Point based spatio-temporal logics

基于点的时空逻辑

基本信息

  • 批准号：
    46773-1999
  • 负责人：
    Trudel, Andre
  • 金额：
    $ 1.07万
  • 依托单位：
    Acadia University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Individual
  • 财政年份：
    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 }}

Trudel, Andre其他文献

Trudel, Andre的其他文献

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

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

Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号：
    46773-2006
  • 财政年份：
    2010
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号：
    46773-2006
  • 财政年份：
    2009
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号：
    46773-2006
  • 财政年份：
    2008
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号：
    46773-2006
  • 财政年份：
    2007
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal knowledge formalization and reasoning
时态知识形式化和推理
  • 批准号：
    46773-2006
  • 财政年份：
    2006
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号：
    46773-2001
  • 财政年份：
    2005
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号：
    46773-2001
  • 财政年份：
    2004
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号：
    46773-2001
  • 财政年份：
    2003
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号：
    46773-2001
  • 财政年份：
    2002
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Temporal first order logics
时态一阶逻辑
  • 批准号：
    46773-2001
  • 财政年份：
    2001
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    万元
  • 项目类别：
    外国青年学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
  • 批准号：
    W2433169
  • 批准年份：
    2024
  • 资助金额：
    万元
  • 项目类别：
    外国学者研究基金项目
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
  • 批准号：
    52301178
  • 批准年份：
    2023
  • 资助金额：
    30.00 万元
  • 项目类别：
    青年科学基金项目
NbZrTi基多主元合金中化学不均匀性对辐照行为的影响研究
  • 批准号：
    12305290
  • 批准年份：
    2023
  • 资助金额：
    30.00 万元
  • 项目类别：
    青年科学基金项目
眼表菌群影响糖尿病患者干眼发生的人群流行病学研究
  • 批准号：
    82371110
  • 批准年份：
    2023
  • 资助金额：
    49.00 万元
  • 项目类别：
    面上项目
镍基UNS N10003合金辐照位错环演化机制及其对力学性能的影响研究
  • 批准号：
    12375280
  • 批准年份：
    2023
  • 资助金额：
    53.00 万元
  • 项目类别：
    面上项目
CuAgSe基热电材料的结构特性与构效关系研究
  • 批准号：
    22375214
  • 批准年份：
    2023
  • 资助金额：
    50.00 万元
  • 项目类别：
    面上项目
基于大数据定量研究城市化对中国季节性流感传播的影响及其机理
  • 批准号：
    82003509
  • 批准年份：
    2020
  • 资助金额：
    24.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Sustainable NFV Networking based on Mathematical Optimization and Spatio-Temporal GNN
基于数学优化和时空 GNN 的可持续 NFV 网络
  • 批准号：
    22H03586
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
SWIFT: Intelligent Spatio-Temporal Metamaterial Massive MIMO Aperture Arrays with Hybrid Learning-based Channel Classifiers for Spectrum-Efficient Secured Wireless Communication
SWIFT：智能时空超材料大规模 MIMO 孔径阵列，具有基于混合学习的信道分类器，可实现频谱高效的安全无线通信
  • 批准号：
    2229384
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Standard Grant
Personalized Location Recommendation on Location-Based Social Networks by Efficiently Utilizing Spatio-Temporal Information
有效利用时空信息的基于位置的社交网络的个性化位置推荐
  • 批准号：
    RGPIN-2018-03916
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Big Data Modeling via Moment-Based Methodologies and the Statistical Analysis of Spatio-Temporal Measurements
通过基于矩的方法进行大数据建模以及时空测量的统计分析
  • 批准号：
    RGPIN-2019-06323
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Can the integration of Spatio-temporal continuity lead to more reliable and bio-plausible Capsule-based Networks when trained in an unsupervised way?
当以无监督的方式进行训练时，时空连续性的整合能否带来更可靠和生物合理的基于胶囊的网络？
  • 批准号：
    2784419
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Studentship
Human tracing based on spatio-temporal fluctuation of odor
基于气味时空波动的人体追踪
  • 批准号：
    22H04952
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (S)
Exploring spatio-temporal patterning of food insecurity within the island of Montreal: model-based small area estimation using the Canadian Community Health Surveys, 2011-2020.
探索蒙特利尔岛粮食不安全的时空格局：使用 2011-2020 年加拿大社区健康调查进行基于模型的小区域估计。
  • 批准号：
    462641
  • 财政年份：
    2022
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Operating Grants
Hazard Map based on Numerical snow Avalanche model and Spatio-temporal variation of snow
基于数值雪崩模型和雪时空变化的灾害图
  • 批准号：
    21H04601
  • 财政年份：
    2021
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
Big Data Modeling via Moment-Based Methodologies and the Statistical Analysis of Spatio-Temporal Measurements
通过基于矩的方法进行大数据建模以及时空测量的统计分析
  • 批准号：
    RGPIN-2019-06323
  • 财政年份：
    2021
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Discovery Grants Program - Individual
Next Generation Tourism Construction based on Spatio-Temporal Behavior Analysis in Real Space and Cyberspace
基于现实空间和网络空间时空行为分析的下一代旅游建设
  • 批准号：
    21K17862
  • 财政年份：
    2021
  • 资助金额：
    $ 1.07万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了