These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

116 related articles for article (PubMed ID: 32009739)

  • 1. Para
    Konnov I; Lazić M; Veith H; Widder J
    Form Methods Syst Des; 2017; 51(2):270-307. PubMed ID: 32009739
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration.
    Cattaruzza D; Abate A; Schrammel P; Kroening D
    J Autom Reason; 2021; 65(2):157-203. PubMed ID: 33678930
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Distributed Fault-Tolerant Control of Networked Uncertain Euler-Lagrange Systems Under Actuator Faults.
    Gang Chen ; Yongduan Song ; Lewis FL
    IEEE Trans Cybern; 2017 Jul; 47(7):1706-1718. PubMed ID: 27164617
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Complexity of Secure Sets.
    Bliem B; Woltran S
    Algorithmica; 2018; 80(10):2909-2940. PubMed ID: 29937611
    [TBL] [Abstract][Full Text] [Related]  

  • 5. An observer based approach for achieving fault diagnosis and fault tolerant control of systems modeled as hybrid Petri nets.
    Renganathan K; Bhaskar V
    ISA Trans; 2011 Jul; 50(3):443-53. PubMed ID: 21507399
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Reachability of dimension-bounded linear systems.
    Li Y; Li H; Feng JE; Li J
    Math Biosci Eng; 2023 Jan; 20(1):489-504. PubMed ID: 36650775
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.
    Błądek I; Krawiec K; Swan J
    Evol Comput; 2018; 26(3):441-469. PubMed ID: 29786460
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Data-based fault-tolerant control for affine nonlinear systems with actuator faults.
    Xie CH; Yang GH
    ISA Trans; 2016 Sep; 64():285-292. PubMed ID: 27180025
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Parameterized model checking of rendezvous systems.
    Aminof B; Kotek T; Rubin S; Spegni F; Veith H
    Distrib Comput; 2018; 31(3):187-222. PubMed ID: 31258231
    [TBL] [Abstract][Full Text] [Related]  

  • 10. SMT-based verification of program changes through summary repair.
    Asadi S; Blicha M; Hyvärinen AEJ; Fedyukovich G; Sharygina N
    Form Methods Syst Des; 2022; 60(3):350-380. PubMed ID: 37829793
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.
    Dolev D; Függer M; Posch M; Schmid U; Steininger A; Lenzen C
    J Comput Syst Sci; 2014 Jun; 80(4):860-900. PubMed ID: 26516290
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Observer-based distributed adaptive fault-tolerant containment control of multi-agent systems with general linear dynamics.
    Ye D; Chen M; Li K
    ISA Trans; 2017 Nov; 71(Pt 1):32-39. PubMed ID: 28647163
    [TBL] [Abstract][Full Text] [Related]  

  • 13. The Asynchronous Bounded-Cycle model.
    Robinson P; Schmid U
    Theor Comput Sci; 2011 Sep; 412(40):5580-5601. PubMed ID: 22031790
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Monitoring hyperproperties.
    Finkbeiner B; Hahn C; Stenger M; Tentrup L
    Form Methods Syst Des; 2019; 54(3):336-363. PubMed ID: 31806925
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Exploiting Bayesian networks for fault isolation: A diagnostic case study of diesel fuel injection system.
    Wang J; Wang Z; Stetsyuk V; Ma X; Gu F; Li W
    ISA Trans; 2019 Mar; 86():276-286. PubMed ID: 30446217
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Automated formal synthesis of provably safe digital controllers for continuous plants.
    Abate A; Bessa I; Cordeiro L; David C; Kesseli P; Kroening D; Polgreen E
    Acta Inform; 2020; 57(1):223-244. PubMed ID: 32189718
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Guided search for hybrid systems based on coarse-grained space abstractions.
    Bogomolov S; Donzé A; Frehse G; Grosu R; Johnson TT; Ladan H; Podelski A; Wehrle M
    Int J Softw Tools Technol Transf; 2016; 18():449-467. PubMed ID: 27445640
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Active learning of plans for safety and reachability goals with partial observability.
    Nam W; Alur R
    IEEE Trans Syst Man Cybern B Cybern; 2010 Apr; 40(2):412-20. PubMed ID: 19661004
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Distributed fault-tolerant model predictive control for intermittent fault: A cooperative way.
    Xiao G; Liu F
    ISA Trans; 2019 Jun; 89():113-121. PubMed ID: 30792125
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Visual Analysis of Hyperproperties for Understanding Model Checking Results.
    Horak T; Coenen N; Metzger N; Hahn C; Flemisch T; Mendez J; Dimov D; Finkbeiner B; Dachselt R
    IEEE Trans Vis Comput Graph; 2022 Jan; 28(1):357-367. PubMed ID: 34587083
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.