Hybrid Reasoning Over Dynamic Protein Interaction Networks

动态蛋白质相互作用网络的混合推理

基本信息

项目摘要

Die Molekularbiologie hat sich zu einer datenintensiven Wissenschaft mit exponentiellem Datenwachstum entwickelt. Die Verfügbarkeit riesiger Mengen von Sequenz-, Struktur- und Interaktionsdaten verspricht, unser Verständnis von lebendigen Organismen zu verbessern und Krankheiten heilbar zu machen. Von besonderer Bedeutung ist hier die Interaktion von Molekülen, denn alle Zellen üben ihre Funktionen als komplexe Interaktion zwischen Proteinen, DNA, RNA und anderen Molekülen aus. Es hat in jüngerer Zeit erhebliche Fortschritte im Bereich von sogar Genom-weiten Interaktionsdaten gegeben. Ihre Struktur wurde analysiert, und sie trugen zur Entdeckung von Krankheitsmechanismen bei. Dennoch gibt es eine Reihe dringender, offener Probleme:• Die meisten verfügbaren Interaktionsdaten geben statische Zustände wieder, während eine lebende Zelle ein sich dynamisch über die Zeit veränderndes System ist.• Die meisten verfügbaren Interaktionsdaten sind fehlerbehaftet und decken nur einen Bruchteil aller Interaktionen ab.Das Projekt entwickelt formale Techniken und Systeme zum Schließen über unvollständige und fehlerbehaftete Protein-Interaktionsnetze. Unser Ansatz basiert auf Influenzgraphen und auf hybriden Schlusstechniken auf der Basis von Antwortmengenprogrammierung. Multi-Kontext-Systeme bilden die formale Grundlage für die Integration unterschiedlicher Wissensquellen. Die entwickelten Techniken werden evaluiert anhand von konkreten biomedizinischen Beispielen, insbesondere in Bezug auf das Schließen über metabolische Netze.
分子生物学是一门数据密集的科学,其数据量非常大。Die Verfügbarkeit riesiger Mengen von Sequenz-,Struktur- und Interaktionsdaten verspricht,unser Verständnis von lebendigen Organismen zu verbessern und Krankheiten heilbar zu machen.由于所有Zellen都具有蛋白质、DNA、RNA和其他分子之间复杂的相互作用,因此,最重要的是分子间的相互作用。这是一个新的时代,它是由基因组和国际数据库组成的。我们对它的结构进行了分析,并对它进行了结构分析。Dennoch gibt es eine Reihe dringender,offener Probleme:· Die meisten verfügbaren Interaktionsdaten geben staticche Zustände wieder,während eine lebende Zelle ein sich dynamisch über die Zeit veränderndes System ist. Die meisten verfügbaren Interaktionsdaten sind fehlerobservation ftet und decken努尔einen Bruchteil阿勒Interaktionen ab.Das Projekt entwickelt formale Techniken und Systeme zum Schließen über unvollständige und fehlerobservation ftete Protein-Interaktionsnetze.我们的诊断基于流感病毒和基于抗病毒程序设计的混合诊断技术。Multi-Kontext-System是一个非常有用的集成框架。该技术的发展韦尔登评价和对生物医学领域的认识,主要集中在代谢内策上。

项目成果

期刊论文数量(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 }}

Professor Dr. Gerhard Brewka其他文献

Professor Dr. Gerhard Brewka的其他文献

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

{{ truncateString('Professor Dr. Gerhard Brewka', 18)}}的其他基金

Advanced Tools for Graph-Based Formal Argumentation
基于图的形式推理的高级工具
  • 批准号:
    226818978
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Advanced Solving Technology for Dynamic and Reactive Applications
适用于动态和反应式应用的先进求解技术
  • 批准号:
    214255821
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Units
Kombination von Aktionsformalismen und nichtmonotonen Logiken zur Entwicklung von Methoden zur Planung und Entscheidungsfindung in komplexen Umgebungen
结合行动形式主义和非单调逻辑来开发复杂环境中的规划和决策方法
  • 批准号:
    56521745
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Theoretische Grundlagen einer computationalen Dialektik, die insbesondere kritische Dialoge und Verhandlungen modelliert
计算辩证法的理论基础,特别是关键对话和谈判的模型
  • 批准号:
    5257983
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似海外基金

CAREER: Robust, Fair, and Culturally Aware Commonsense Reasoning in Natural Language
职业:用自然语言进行稳健、公平和具有文化意识的常识推理
  • 批准号:
    2339746
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Postdoctoral Fellowship: STEMEdIPRF: Exploring the use of mechanistic reasoning in undergraduate physiology education
博士后奖学金:STEMEdIPRF:探索机械推理在本科生理学教育中的应用
  • 批准号:
    2327451
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CRII: SHF: Embedding techniques for mechanized reasoning about existing programs
CRII:SHF:现有程序机械化推理的嵌入技术
  • 批准号:
    2348490
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CAREER: From Fragile to Fortified: Harnessing Causal Reasoning for Trustworthy Machine Learning with Unreliable Data
职业:从脆弱到坚固:利用因果推理,利用不可靠的数据实现值得信赖的机器学习
  • 批准号:
    2337529
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline
SHF:Medium:机器学习管道中多重性的推理
  • 批准号:
    2402833
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业:物联网应用程序开发的编程抽象和形式推理
  • 批准号:
    2340479
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Collaborative Research: Behavioral Science and the Making of the Right-Reasoning Public Health Citizenry
合作研究:行为科学与正确推理的公共卫生公民的培养
  • 批准号:
    2341512
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Collaborative Research: Behavioral Science and the Making of the Right-Reasoning Public Health Citizenry
合作研究:行为科学与正确推理的公共卫生公民的培养
  • 批准号:
    2341513
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
CRII: SaTC: A Contextual Integrity Approach for Privacy Reasoning Regarding Performance Tracking Technologies in US College Athletics
CRII:SaTC:美国大学体育运动成绩跟踪技术隐私推理的上下文完整性方法
  • 批准号:
    2348294
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Small: Boosting Reasoning in Boolean Networks with Attributed Graph Learning
SHF:小:通过属性图学习增强布尔网络的推理
  • 批准号:
    2350186
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了