An abstract machine for high performance logic programming

高性能逻辑编程的抽象机

基本信息

  • 批准号:
    93191-1997
  • 负责人:
  • 金额:
    $ 1.18万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    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.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 }}

Li, Xining其他文献

Dynamics of an imprecise SIRS model with Levy jumps
具有 Levy 跳跃的不精确 SIRS 模型的动力学
Data-driven state-of-health estimation for lithium-ion battery based on aging features
  • DOI:
    10.1016/j.energy.2023.127378
  • 发表时间:
    2023-04-01
  • 期刊:
  • 影响因子:
    9
  • 作者:
    Li, Xining;Ju, Lingling;Jiang, Quanyuan
  • 通讯作者:
    Jiang, Quanyuan

Li, Xining的其他文献

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

{{ truncateString('Li, Xining', 18)}}的其他基金

A programming platform for intelligent mobile agents
智能移动代理编程平台
  • 批准号:
    93191-2005
  • 财政年份:
    2009
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A programming platform for intelligent mobile agents
智能移动代理编程平台
  • 批准号:
    93191-2005
  • 财政年份:
    2008
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A programming platform for intelligent mobile agents
智能移动代理编程平台
  • 批准号:
    93191-2005
  • 财政年份:
    2007
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A programming platform for intelligent mobile agents
智能移动代理编程平台
  • 批准号:
    93191-2005
  • 财政年份:
    2006
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A programming platform for intelligent mobile agents
智能移动代理编程平台
  • 批准号:
    93191-2005
  • 财政年份:
    2005
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A multithreaded logic virtual machine for intelligent mobile agents
智能移动代理的多线程逻辑虚拟机
  • 批准号:
    93191-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A multithreaded logic virtual machine for intelligent mobile agents
智能移动代理的多线程逻辑虚拟机
  • 批准号:
    93191-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A multithreaded logic virtual machine for intelligent mobile agents
智能移动代理的多线程逻辑虚拟机
  • 批准号:
    93191-2001
  • 财政年份:
    2002
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A multithreaded logic virtual machine for intelligent mobile agents
智能移动代理的多线程逻辑虚拟机
  • 批准号:
    93191-2001
  • 财政年份:
    2001
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Discovery Grants Program - Individual
A multithreaded logic virtual machine for intelligent mobile agents
智能移动代理的多线程逻辑虚拟机
  • 批准号:
    240336-2001
  • 财政年份:
    2000
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Research Tools and Instruments - Category 1 (<$150,000)

相似国自然基金

Understanding structural evolution of galaxies with machine learning
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
非标准随机调度模型的最优动态策略
  • 批准号:
    71071056
  • 批准年份:
    2010
  • 资助金额:
    28.0 万元
  • 项目类别:
    面上项目
微生物发酵过程的自组织建模与优化控制
  • 批准号:
    60704036
  • 批准年份:
    2007
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Development of a Novel EMG-Based Neural Interface for Control of Transradial Prostheses with Gripping Assistance
开发一种新型的基于肌电图的神经接口,用于通过抓取辅助控制经桡动脉假体
  • 批准号:
    10748341
  • 财政年份:
    2024
  • 资助金额:
    $ 1.18万
  • 项目类别:
Who is most affected by bullying in academic performance? An empirical study using causal inference and machine learning
谁在学业成绩上受到欺凌的影响最大?
  • 批准号:
    23K01372
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
SBIR Phase II: Quantification of Operative Performance via Simulated Surgery, Capacitive Sensing, and Machine Learning to Improve Surgeon Performance & Medical Device Develop
SBIR 第二阶段:通过模拟手术、电容传感和机器学习量化手术表现,以提高外科医生的表现
  • 批准号:
    2223976
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
    Cooperative Agreement
Development of multimode vacuum ionization for use in medical diagnostics
开发用于医疗诊断的多模式真空电离
  • 批准号:
    10697560
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
A next-generation extendable simulation environment for affordable, accurate, and efficient free energy simulations
下一代可扩展模拟环境,可实现经济、准确且高效的自由能源模拟
  • 批准号:
    10638121
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
Identifying and addressing missingness and bias to enhance discovery from multimodal health data
识别和解决缺失和偏见,以增强多模式健康数据的发现
  • 批准号:
    10637391
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
Risk stratifying indeterminate pulmonary nodules with jointly learned features from longitudinal radiologic and clinical big data
利用纵向放射学和临床大数据共同学习的特征对不确定的肺结节进行风险分层
  • 批准号:
    10678264
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
Noradrenergic gating of astrocyte calcium-mediated homeostasis in vivo
星形胶质细胞钙介导体内稳态的去甲肾上腺素能门控
  • 批准号:
    10679269
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
A Mobile Health Application to Detect Absence Seizures using Hyperventilation and Eye-Movement Recordings
一款使用过度换气和眼动记录检测失神癫痫发作的移动健康应用程序
  • 批准号:
    10696649
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
PROgression of Tuberculosis infECTion in young children living with and without HIV: the PROTECT study
感染和未感染艾滋病毒的幼儿结核感染的进展:PROTECT 研究
  • 批准号:
    10641389
  • 财政年份:
    2023
  • 资助金额:
    $ 1.18万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了