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 *

60 related articles for article (PubMed ID: 35494538)

  • 1. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Anomaly Detection Methods in Autonomous Robotic Missions.
    Chirayil Nandakumar S; Mitchell D; Erden MS; Flynn D; Lim T
    Sensors (Basel); 2024 Feb; 24(4):. PubMed ID: 38400491
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Hardware Efficient Direct Policy Imitation Learning for Robotic Navigation in Resource-Constrained Settings.
    Sumanasena V; Fernando H; De Silva D; Thileepan B; Pasan A; Samarawickrama J; Osipov E; Alahakoon D
    Sensors (Basel); 2023 Dec; 24(1):. PubMed ID: 38203047
    [TBL] [Abstract][Full Text] [Related]  

  • 4. COVID-Bot: UV-C Based Autonomous Sanitizing Robotic Platform for COVID-19.
    Camacho EC; Ospina NI; Calderón JM
    IFAC Pap OnLine; 2021; 54(13):317-322. PubMed ID: 38620816
    [TBL] [Abstract][Full Text] [Related]  

  • 5. A hybrid and scalable brain-inspired robotic platform.
    Zou Z; Zhao R; Wu Y; Yang Z; Tian L; Wu S; Wang G; Yu Y; Zhao Q; Chen M; Pei J; Chen F; Zhang Y; Song S; Zhao M; Shi L
    Sci Rep; 2020 Oct; 10(1):18160. PubMed ID: 33097742
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A novel distributed meta-module motion design for modular robotic systems based on grid partition method.
    Guan E; Wang Y; Zhang Y; Zhao Y
    Sci Prog; 2024; 107(2):368504241260176. PubMed ID: 38850047
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Quantitative reactive modeling and verification.
    Henzinger TA
    Comput Sci (Berl); 2013; 28(4):331-344. PubMed ID: 27069511
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Evolving from Laboratory Toys towards Life-Savers: Small-Scale Magnetic Robotic Systems with Medical Imaging Modalities.
    Zhang J
    Micromachines (Basel); 2021 Oct; 12(11):. PubMed ID: 34832722
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Formalization of the classification pattern: survey of classification modeling in information systems engineering.
    Partridge C; de Cesare S; Mitchell A; Odell J
    Softw Syst Model; 2018; 17(1):167-203. PubMed ID: 29449796
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Formal verification of Matrix based MATLAB models using interactive theorem proving.
    Gauhar A; Rashid A; Hasan O; Bispo J; Cardoso JMP
    PeerJ Comput Sci; 2021; 7():e440. PubMed ID: 33834107
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Drive Through Robotics: Robotic Automation for Last Mile Distribution of Food and Essentials During Pandemics.
    Sharma A; Zanotti P; Musunur LP
    IEEE Access; 2020; 8():127190-127219. PubMed ID: 34786277
    [TBL] [Abstract][Full Text] [Related]  

  • 12. PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
    Kwiatkowska M; Parker D; Wiltsche C
    Int J Softw Tools Technol Transf; 2018; 20(2):195-210. PubMed ID: 31258390
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Robotic world models-conceptualization, review, and engineering best practices.
    Sakagami R; Lay FS; Dömel A; Schuster MJ; Albu-Schäffer A; Stulp F
    Front Robot AI; 2023; 10():1253049. PubMed ID: 38023585
    [TBL] [Abstract][Full Text] [Related]  

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

  • 15. Computational Verification of Large Logical Models-Application to the Prediction of T Cell Response to Checkpoint Inhibitors.
    Hernandez C; Thomas-Chollier M; Naldi A; Thieffry D
    Front Physiol; 2020; 11():558606. PubMed ID: 33101049
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Toward Formal Models and Languages for Verifiable Multi-Robot Systems.
    De Nicola R; Di Stefano L; Inverso O
    Front Robot AI; 2018; 5():94. PubMed ID: 33500973
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Provably trustworthy systems.
    Klein G; Andronick J; Keller G; Matichuk D; Murray T; O'Connor L
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871053
    [TBL] [Abstract][Full Text] [Related]  

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

  • 19. Indicators for the use of robotic labs in basic biomedical research: a literature analysis.
    Groth P; Cox J
    PeerJ; 2017; 5():e3997. PubMed ID: 29134146
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Program synthesis: challenges and opportunities.
    David C; Kroening D
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871052
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 3.