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 *

103 related articles for article (PubMed ID: 33816923)

  • 1. Exact acceleration of complex real-time model checking based on overlapping cycle.
    Wang G; Zhuang L; Song Y; He M; Ma D; Ma L
    PeerJ Comput Sci; 2020; 6():e272. PubMed ID: 33816923
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
    Zbrzezny AM; Zbrzezny A
    Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
    [TBL] [Abstract][Full Text] [Related]  

  • 3. 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]  

  • 4. A Spaceborne Synthetic Aperture Radar Partial Fixed-Point Imaging System Using a Field- Programmable Gate Array-Application-Specific Integrated Circuit Hybrid Heterogeneous Parallel Acceleration Technique.
    Yang C; Li B; Chen L; Wei C; Xie Y; Chen H; Yu W
    Sensors (Basel); 2017 Jun; 17(7):. PubMed ID: 28672813
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Cellular Automata-Based Application for Driver Assistance in Indoor Parking Areas.
    Caballero-Gil C; Caballero-Gil P; Molina-Gil J
    Sensors (Basel); 2016 Nov; 16(11):. PubMed ID: 27854282
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.
    Daszczuk WB
    Sensors (Basel); 2022 Feb; 22(3):. PubMed ID: 35161901
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Model Checking Temporal Logic Formulas Using Sticker Automata.
    Zhu W; Feng C; Wu H
    Biomed Res Int; 2017; 2017():7941845. PubMed ID: 29119114
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Reachability analysis of real-time systems using time Petri nets.
    Wang J; Deng Y; Xu G
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):725-36. PubMed ID: 18252405
    [TBL] [Abstract][Full Text] [Related]  

  • 9. A Trajectory Planning Method for Autonomous Valet Parking via Solving an Optimal Control Problem.
    Chen C; Wu B; Xuan L; Chen J; Wang T; Qian L
    Sensors (Basel); 2020 Nov; 20(22):. PubMed ID: 33187151
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Cellular Automaton Simulation for Degradation of Poly Lactic Acid with Acceleratable Reaction-Diffusion Model.
    Guo C; Niu Y
    ACS Biomater Sci Eng; 2019 Apr; 5(4):1771-1783. PubMed ID: 33405553
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Symbolic Computation Using Cellular Automata-Based Hyperdimensional Computing.
    Yilmaz O
    Neural Comput; 2015 Dec; 27(12):2661-92. PubMed ID: 26496041
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Dynamic Data Structures for Timed Automata Acceptance.
    Grez A; Mazowiecki F; Pilipczuk M; Puppis G; Riveros C
    Algorithmica; 2022; 84(11):3223-3245. PubMed ID: 36313790
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Evaluating the cost implications of a radio frequency identification feeding system for early detection of bovine respiratory disease in feedlot cattle.
    Wolfger B; Manns BJ; Barkema HW; Schwartzkopf-Genswein KS; Dorin C; Orsel K
    Prev Vet Med; 2015 Mar; 118(4):285-92. PubMed ID: 25534973
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Compositional schedulability analysis of real-time actor-based systems.
    Jaghoori MM; de Boer F; Longuet D; Chothia T; Sirjani M
    Acta Inform; 2017; 54(4):343-378. PubMed ID: 28529345
    [TBL] [Abstract][Full Text] [Related]  

  • 15. starMC: an automata based CTL* model checker.
    Amparore EG; Donatelli S; Gallà F
    PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Solving multiconstraint assignment problems using learning automata.
    Horn G; Oommen BJ
    IEEE Trans Syst Man Cybern B Cybern; 2010 Feb; 40(1):6-18. PubMed ID: 19884057
    [TBL] [Abstract][Full Text] [Related]  

  • 17. State Tracking and Fault Diagnosis for Dynamic Systems Using Labeled Uncertainty Graph.
    Zhou G; Feng W; Zhao Q; Zhao H
    Sensors (Basel); 2015 Nov; 15(11):28031-51. PubMed ID: 26556358
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Intra-rater and inter-rater reliabilities of real-time acceleration gait analysis system.
    Osaka H; Shinkoda K; Watanabe S; Fujita D; Kobara K; Yoshimura Y; Ito T
    Disabil Rehabil Assist Technol; 2016; 11(4):333-8. PubMed ID: 25027616
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Multiscale analysis of acceleration and deceleration of the instantaneous heart rate using symbolic dynamics.
    Cysarz D; Edelhäuser F; Van Leeuwen P
    Annu Int Conf IEEE Eng Med Biol Soc; 2011; 2011():1965-8. PubMed ID: 22254718
    [TBL] [Abstract][Full Text] [Related]  

  • 20. 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]  

    [Next]    [New Search]
    of 6.