Editorial: Computational Methods for Understanding Complexity: the Use of Formal Methods in Biology

被引:1
|
作者
Rosenblueth, David A. [1 ]
机构
[1] Univ Nacl Autonoma Mexico, Inst Invest Matemat Aplicadas & Sistemas, Mexico City, DF, Mexico
关键词
SYSTEMS;
D O I
10.3389/fbioe.2016.00068
中图分类号
Q81 [生物工程学(生物技术)]; Q93 [微生物学];
学科分类号
071005 ; 0836 ; 090102 ; 100705 ;
摘要
引用
收藏
页数:2
相关论文
共 50 条
  • [1] Editorial: Alignment-free methods in computational biology
    Vinga, Susana
    [J]. BRIEFINGS IN BIOINFORMATICS, 2014, 15 (03) : 341 - 342
  • [2] Editorial: Systems Biology Methods in Computational Immuno-Oncology
    Rodin, Andrei S.
    Uduman, Mohamed
    Lee, Peter P.
    Marincola, Francesco Maria
    Branciamore, Sergio
    [J]. FRONTIERS IN GENETICS, 2022, 13
  • [3] FORMAL METHODS COPE WITH COMPLEXITY
    MALINIAK, L
    [J]. ELECTRONIC DESIGN, 1995, 43 (23) : 22 - 22
  • [4] Formal Methods in Cell Biology
    Fisher, Jasmin
    [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 1 - 1
  • [5] Editorial: Formal methods and testing
    Hierons, R
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2002, 12 (02): : 69 - 70
  • [6] Formal methods - Guest editorial
    Banach, Richard
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 593 - 601
  • [7] FORMAL METHODS IN COMPUTING - EDITORIAL
    WICHMANN, B
    [J]. COMPUTER JOURNAL, 1989, 32 (05): : 385 - 385
  • [8] OF UNDERSTANDING, ACCEPTANCE ... AND FORMAL METHODS
    GLASS, RL
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (02) : 115 - 116
  • [9] The Computational Complexity of Extrapolation Methods
    Ilie, Silvana
    Corless, Robert M.
    Essex, Chris
    [J]. MATHEMATICS IN COMPUTER SCIENCE, 2009, 2 (04) : 557 - 566
  • [10] Computational methods in synthetic biology
    Kaznessis, Yiannis N.
    [J]. Biotechnology Journal, 2009, 4 (10) : 1392 - 1405