Design of optimization techniques and software architectures for description logic reasoners

描述逻辑推理机的优化技术和软件架构设计

基本信息

  • 批准号：
    446349-2013
  • 负责人：
    Haarslev, Volker
  • 金额：
    $ 2.91万
  • 依托单位：
    Concordia University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Grants Program - Accelerator Supplements
  • 财政年份：
    2014
  • 资助国家：
    加拿大
  • 起止时间：
    2014-01-01 至 2015-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 }}

Haarslev, Volker其他文献

The RacerPro knowledge representation and reasoning system
  • DOI：
    10.3233/sw-2011-0032
  • 发表时间：
    2012-01-01
  • 期刊：
    SEMANTIC WEB
  • 影响因子：
    3
  • 作者：
    Haarslev, Volker;Hidde, Kay;Wessel, Michael
  • 通讯作者：
    Wessel, Michael
Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation
Managing Requirement Volatility in an Ontology- Driven Clinical LIMS Using Category Theory

Haarslev, Volker的其他文献

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

{{ truncateString('Haarslev, Volker', 18)}}的其他基金

Optimization techniques and software architectures for improving scalability of description logic reasoners
用于提高描述逻辑推理器可扩展性的优化技术和软件架构
  • 批准号：
    RGPIN-2019-05526
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Optimization techniques and software architectures for improving scalability of description logic reasoners
用于提高描述逻辑推理器可扩展性的优化技术和软件架构
  • 批准号：
    RGPIN-2019-05526
  • 财政年份：
    2021
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Optimization techniques and software architectures for improving scalability of description logic reasoners
用于提高描述逻辑推理器可扩展性的优化技术和软件架构
  • 批准号：
    RGPIN-2019-05526
  • 财政年份：
    2020
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Optimization techniques and software architectures for improving scalability of description logic reasoners
用于提高描述逻辑推理器可扩展性的优化技术和软件架构
  • 批准号：
    RGPIN-2019-05526
  • 财政年份：
    2019
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Design of optimization techniques and software architectures for description logic reasoners
描述逻辑推理机的优化技术和软件架构设计
  • 批准号：
    261562-2013
  • 财政年份：
    2018
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Design of optimization techniques and software architectures for description logic reasoners
描述逻辑推理机的优化技术和软件架构设计
  • 批准号：
    261562-2013
  • 财政年份：
    2016
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Design of optimization techniques and software architectures for description logic reasoners
描述逻辑推理机的优化技术和软件架构设计
  • 批准号：
    261562-2013
  • 财政年份：
    2015
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Design of optimization techniques and software architectures for description logic reasoners
描述逻辑推理机的优化技术和软件架构设计
  • 批准号：
    446349-2013
  • 财政年份：
    2015
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Accelerator Supplements
Design of optimization techniques and software architectures for description logic reasoners
描述逻辑推理机的优化技术和软件架构设计
  • 批准号：
    261562-2013
  • 财政年份：
    2014
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual
Design of optimization techniques and software architectures for description logic reasoners
描述逻辑推理机的优化技术和软件架构设计
  • 批准号：
    261562-2013
  • 财政年份：
    2013
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Discovery Grants Program - Individual

相似国自然基金

Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
  • 批准号：
  • 批准年份：
    2024
  • 资助金额：
    万元
  • 项目类别：
    合作创新研究团队
基于异构医学影像数据的深度挖掘技术及中枢神经系统重大疾病的精准预测
  • 批准号：
    61672236
  • 批准年份：
    2016
  • 资助金额：
    64.0 万元
  • 项目类别：
    面上项目
内容分发网络中的P2P分群分发技术研究
  • 批准号：
    61100238
  • 批准年份：
    2011
  • 资助金额：
    20.0 万元
  • 项目类别：
    青年科学基金项目
微生物发酵过程的自组织建模与优化控制
  • 批准号：
    60704036
  • 批准年份：
    2007
  • 资助金额：
    21.0 万元
  • 项目类别：
    青年科学基金项目
天然生物材料的多尺度力学与仿生研究
  • 批准号：
    10732050
  • 批准年份：
    2007
  • 资助金额：
    200.0 万元
  • 项目类别：
    重点项目
供应链管理中的稳健型(Robust)策略分析和稳健型优化(Robust Optimization )方法研究
  • 批准号：
    70601028
  • 批准年份：
    2006
  • 资助金额：
    7.0 万元
  • 项目类别：
    青年科学基金项目
气动/结构耦合动力学系统目标敏感性分析的快速准确计算方法及优化设计研究
  • 批准号：
    10402036
  • 批准年份：
    2004
  • 资助金额：
    21.0 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Accelerating drug discovery via ML-guided iterative design and optimization
通过机器学习引导的迭代设计和优化加速药物发现
  • 批准号：
    10552325
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
An LCMS-guided bioanalytical approach for rational natural product library design and optimization
LCMS 引导的生物分析方法，用于合理的天然产物库设计和优化
  • 批准号：
    10418425
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
An LCMS-guided bioanalytical approach for rational natural product library design and optimization
LCMS 引导的生物分析方法，用于合理的天然产物库设计和优化
  • 批准号：
    10697396
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Tackling Multifaceted Drug Design Problems with Lambda Dynamics Based Technologies
利用基于 Lambda Dynamics 的技术解决多方面的药物设计问题
  • 批准号：
    10709879
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Novel Modelling and Global Optimization Techniques for the Design and Operation of Microgrids
用于微电网设计和运行的新颖建模和全局优化技术
  • 批准号：
    546941-2020
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Myc Transcription Factor Inhibitor Design: Integrating Atomic and Mesoscale with Semi-Supervised Generative Deep Learning Models
Myc 转录因子抑制剂设计：将原子和中尺度与半监督生成深度学习模型相结合
  • 批准号：
    10463080
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Structure-Guided Design of Intestine-Selective AHR Agonists for Restoration of Gut Barrier Integrity in IBD
用于恢复 IBD 肠道屏障完整性的肠道选择性 AHR 激动剂的结构引导设计
  • 批准号：
    10627922
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Computational and Experimental Studies of Protein Structure and Design
蛋白质结构和设计的计算和实验研究
  • 批准号：
    10554322
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Computational and Experimental Studies of Protein Structure and Design
蛋白质结构和设计的计算和实验研究
  • 批准号：
    10727023
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Using SMART Design to Develop Dynamic Treatment Regimens for Glucocorticoid Tapering
使用 SMART 设计开发糖皮质激素逐渐减量的动态治疗方案
  • 批准号：
    10563130
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了