An abstract machine for high performance logic programming
An abstract machine for high performance logic programming
批准号:
93191-1997
负责人:
Li, Xining
金额:
$1.18万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
1999
资助国家:
加拿大
项目状态:
已结题
起止时间:
1999-01-01 至 2000-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A programming platform for intelligent mobile agents
-
批准号:93191-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.38万
-
财政年份:2009
-
负责人:Li, Xining
-
依托单位:
A programming platform for intelligent mobile agents
-
批准号:93191-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.38万
-
财政年份:2008
-
负责人:Li, Xining
-
依托单位:
A programming platform for intelligent mobile agents
-
批准号:93191-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.38万
-
财政年份:2007
-
负责人:Li, Xining
-
依托单位:
A programming platform for intelligent mobile agents
-
批准号:93191-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.38万
-
财政年份:2006
-
负责人:Li, Xining
-
依托单位:
A programming platform for intelligent mobile agents
-
批准号:93191-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.38万
-
财政年份:2005
-
负责人:Li, Xining
-
依托单位:
A multithreaded logic virtual machine for intelligent mobile agents
-
批准号:93191-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2004
-
负责人:Li, Xining
-
依托单位:
A multithreaded logic virtual machine for intelligent mobile agents
-
批准号:93191-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2003
-
负责人:Li, Xining
-
依托单位:
A multithreaded logic virtual machine for intelligent mobile agents
-
批准号:93191-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2002
-
负责人:Li, Xining
-
依托单位:
A multithreaded logic virtual machine for intelligent mobile agents
-
批准号:93191-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:2001
-
负责人:Li, Xining
-
依托单位:
A multithreaded logic virtual machine for intelligent mobile agents
-
批准号:240336-2001
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$1.67万
-
财政年份:2000
-
负责人:Li, Xining
-
依托单位:
An abstract machine for high performance logic programming
-
批准号:93191-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.18万
-
财政年份:2000
-
负责人:Li, Xining
-
依托单位:
An abstract machine for high performance logic programming
-
批准号:93191-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.12万
-
财政年份:1998
-
负责人:Li, Xining
-
依托单位:
An abstract machine for high performance logic programming
-
批准号:93191-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.02万
-
财政年份:1997
-
负责人:Li, Xining
-
依托单位:
Distributed logic programming language design and implementation
-
批准号:93191-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.36万
-
财政年份:1996
-
负责人:Li, Xining
-
依托单位:
Distributed logic programming language design and implementation
-
批准号:93191-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.36万
-
财政年份:1995
-
负责人:Li, Xining
-
依托单位:
Distributed logic programming language design and implementation
-
批准号:93191-1994
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.36万
-
财政年份:1994
-
负责人:Li, Xining
-
依托单位:
Distributed logic programming
-
批准号:93191-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.58万
-
财政年份:1993
-
负责人:Li, Xining
-
依托单位:
Distributed logic programming
-
批准号:93191-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.58万
-
财政年份:1992
-
负责人:Li, Xining
-
依托单位:
Distributed logic programming
-
批准号:93191-1991
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$0.58万
-
财政年份:1991
-
负责人:Li, Xining
-
依托单位:
国内基金
海外基金
Understanding structural evolution of galaxies with machine learning
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:Nicola Rosario Napolitano
-
依托单位:
非标准随机调度模型的最优动态策略
-
批准号:71071056
-
项目类别:面上项目
-
资助金额:28.0万元
-
批准年份:2010
-
负责人:吴贤毅
-
依托单位:
微生物发酵过程的自组织建模与优化控制
-
批准号:60704036
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2007
-
负责人:高学金
-
依托单位: