يعرض 1 - 20 نتائج من 291 نتيجة بحث عن '"rule-based modeling"', وقت الاستعلام: 1.90s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal
  3. 3
  4. 4
  5. 5
    Conference
  6. 6
    Academic Journal
  7. 7
    Academic Journal
  8. 8
  9. 9
    Academic Journal
  10. 10
    Academic Journal
  11. 11
    Academic Journal
  12. 12
    Academic Journal
  13. 13
    Academic Journal

    المساهمون: De Maria, Elisabetta, Fred, Ana, Gamboa, Hugo, Department of Computer Science, Professorship Orponen P., Aalto-yliopisto, Aalto University

    وصف الملف: 158-167; application/pdf

    Relation: International Joint Conference on Biomedical Engineering Systems and Technologies; Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies; Gautam , V , Long , S & Orponen , P 2020 , RuleDSD: A rule-based modelling and simulation tool for DNA strand displacement systems . in E De Maria , A Fred & H Gamboa (eds) , Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies : Volume 3 BIOINFORMATICS . SciTePress , pp. 158-167 , International Joint Conference on Biomedical Engineering Systems and Technologies , Valletta , Malta , 24/02/2020 . https://doi.org/10.5220/0008979101580167; PURE UUID: 351ab53c-135a-4407-a5b6-ca5dc2a03224; PURE ITEMURL: https://research.aalto.fi/en/publications/351ab53c-135a-4407-a5b6-ca5dc2a03224; PURE LINK: https://www.scitepress.org/PublicationsDetail.aspx?ID=436I3PP3/Ks=&t=1; PURE FILEURL: https://research.aalto.fi/files/42115430/ruledsd_2020.pdf; https://aaltodoc.aalto.fi/handle/123456789/43847; URN:NBN:fi:aalto-202004282861

  14. 14
    Academic Journal
  15. 15
    Academic Journal
  16. 16
    Academic Journal
  17. 17
    Conference

    المساهمون: Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), DARPA (BigMechanisms), Jean Yang and John A. Bachman

    المصدر: ENTCS ; SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology ; https://hal.inria.fr/hal-01613603 ; SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. pp.18 ; http://www.cs.cmu.edu/~sasb2017/

    جغرافية الموضوع: New York, United States

  18. 18
    Dissertation/ Thesis

    المؤلفون: Feret, Jérôme

    المساهمون: Analyse Statique par Interprétation Abstraite (ANTIQUE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ENS-PSL, Elisabeth REMY

    المصدر: https://inria.hal.science/tel-04326091 ; Informatique [cs]. ENS-PSL, 2023.

  19. 19
    Academic Journal

    المساهمون: University of Illinois Chicago (UIC), University of Illinois System, Zhejiang University Hangzhou, China, Design, study and implementation of languages for proofs and programs (PI.R2), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Harvard Medical School Boston (HMS), This work is funded by the DARPA Big Mechanism Program under ARO contracts W911NF-14-1-0367 and W911NF-14-1-0395

    المصدر: ISSN: 1077-2626 ; IEEE Transactions on Visualization and Computer Graphics ; https://hal.science/hal-02399102 ; IEEE Transactions on Visualization and Computer Graphics, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩.

  20. 20
    Academic Journal