Design of optimization techniques and software architectures for description logic reasoners
Design of optimization techniques and software architectures for description logic reasoners
批准号:
446349-2013
负责人:
Haarslev, Volker
金额:
$2.91万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Accelerator Supplements
财政年份:
2013
资助国家:
加拿大
项目状态:
已结题
起止时间:
2013-01-01 至 2014-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Optimization techniques and software architectures for improving scalability of description logic reasoners
-
批准号:RGPIN-2019-05526
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2022
-
负责人:Haarslev, Volker
-
依托单位:
Optimization techniques and software architectures for improving scalability of description logic reasoners
-
批准号:RGPIN-2019-05526
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2021
-
负责人:Haarslev, Volker
-
依托单位:
Optimization techniques and software architectures for improving scalability of description logic reasoners
-
批准号:RGPIN-2019-05526
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2020
-
负责人:Haarslev, Volker
-
依托单位:
Optimization techniques and software architectures for improving scalability of description logic reasoners
-
批准号:RGPIN-2019-05526
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.48万
-
财政年份:2019
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:261562-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2018
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:261562-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2016
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:446349-2013
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2015
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:261562-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2015
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:261562-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2014
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:446349-2013
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2014
-
负责人:Haarslev, Volker
-
依托单位:
Design of optimization techniques and software architectures for description logic reasoners
-
批准号:261562-2013
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.19万
-
财政年份:2013
-
负责人:Haarslev, Volker
-
依托单位:
Infrastructure for a Multidisciplinary Distributed and Parallel Algorithms Group
-
批准号:458528-2014
-
项目类别:Research Tools and Instruments - Category 1 (<$150,000)
-
资助金额:$3.61万
-
财政年份:2013
-
负责人:Haarslev, Volker
-
依托单位:
Scalable description logic reasoning architectures for the semantic web
-
批准号:261562-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2012
-
负责人:Haarslev, Volker
-
依托单位:
Scalable description logic reasoning architectures for the semantic web
-
批准号:261562-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2011
-
负责人:Haarslev, Volker
-
依托单位:
Scalable description logic reasoning architectures for the semantic web
-
批准号:261562-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2010
-
负责人:Haarslev, Volker
-
依托单位:
Scalable description logic reasoning architectures for the semantic web
-
批准号:261562-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2009
-
负责人:Haarslev, Volker
-
依托单位:
Scalable description logic reasoning architectures for the semantic web
-
批准号:261562-2008
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2008
-
负责人:Haarslev, Volker
-
依托单位:
Design and evaluation of tableau optimization techniques for description logic reasoners
-
批准号:261562-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2005
-
负责人:Haarslev, Volker
-
依托单位:
Design and evaluation of tableau optimization techniques for description logic reasoners
-
批准号:261562-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2004
-
负责人:Haarslev, Volker
-
依托单位:
Design and evaluation of tableau optimization techniques for description logic reasoners
-
批准号:261562-2003
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.97万
-
财政年份:2003
-
负责人:Haarslev, Volker
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
-
批准号:--
-
项目类别:合作创新研究团队
-
资助金额:--
-
批准年份:2024
-
负责人:姚韬
-
依托单位:
基于异构医学影像数据的深度挖掘技术及中枢神经系统重大疾病的精准预测
-
批准号:61672236
-
项目类别:面上项目
-
资助金额:64.0万元
-
批准年份:2016
-
负责人:王骏
-
依托单位:
内容分发网络中的P2P分群分发技术研究
-
批准号:61100238
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2011
-
负责人:郑小盈
-
依托单位:
微生物发酵过程的自组织建模与优化控制
-
批准号:60704036
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2007
-
负责人:高学金
-
依托单位:
天然生物材料的多尺度力学与仿生研究
-
批准号:10732050
-
项目类别:重点项目
-
资助金额:200.0万元
-
批准年份:2007
-
负责人:冯西桥
-
依托单位:
供应链管理中的稳健型(Robust)策略分析和稳健型优化(Robust Optimization )方法研究
-
批准号:70601028
-
项目类别:青年科学基金项目
-
资助金额:7.0万元
-
批准年份:2006
-
负责人:王明征
-
依托单位:
气动/结构耦合动力学系统目标敏感性分析的快速准确计算方法及优化设计研究
-
批准号:10402036
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2004
-
负责人:杨旭东
-
依托单位: