Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F86652079%3A_____%2F18%3A00536273" target="_blank" >RIV/86652079:_____/18:00536273 - isvavai.cz</a>

  • Nalezeny alternativní kódy

    RIV/00216224:14330/20:00114281 RIV/86652079:_____/20:00536273

  • Výsledek na webu

    <a href="http://dx.doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >http://dx.doi.org/10.1016/j.entcs.2020.06.006</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1016/j.entcs.2020.06.006" target="_blank" >10.1016/j.entcs.2020.06.006</a>

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  • Popis výsledku v původním jazyce

    We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.

  • Název v anglickém jazyce

    Executable Biochemical Space for Specification and Analysis of Biochemical Systems

  • Popis výsledku anglicky

    We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

  • OECD FORD obor

    20801 - Environmental biotechnology

Návaznosti výsledku

  • Projekt

    Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Ostatní

  • Rok uplatnění

    2018

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

  • ISBN

  • ISSN

    1571-0661

  • e-ISSN

  • Počet stran výsledku

    26

  • Strana od-do

    91-116

  • Název nakladatele

    Elsevier

  • Místo vydání

    Freiburg

  • Místo konání akce

    Freiburg

  • Datum konání akce

    28. 8. 2018

  • Typ akce podle státní příslušnosti

    EUR - Evropská akce

  • Kód UT WoS článku

    000577846300006