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 *

114 related articles for article (PubMed ID: 26752679)

  • 1. Runtime verification of embedded real-time systems.
    Reinbacher T; Függer M; Brauer J
    Form Methods Syst Des; 2014; 44(3):203-239. PubMed ID: 26752679
    [TBL] [Abstract][Full Text] [Related]  

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

  • 3. Runtime verification in uncertain environment based on probabilistic model learning.
    Zhou G; Yang C; Lu P; Chen X
    Math Biosci Eng; 2022 Sep; 19(12):13607-13627. PubMed ID: 36654060
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
    Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
    Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
    [TBL] [Abstract][Full Text] [Related]  

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

  • 6. Quantitative monitoring of STL with edit distance.
    Jakšić S; Bartocci E; Grosu R; Nguyen T; Ničković D
    Form Methods Syst Des; 2018; 53(1):83-112. PubMed ID: 30956399
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Implementation of an RBF neural network on embedded systems: real-time face tracking and identity verification.
    Yang F; Paindavoine M
    IEEE Trans Neural Netw; 2003; 14(5):1162-75. PubMed ID: 18244568
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Implementing a Parallel Image Edge Detection Algorithm Based on the Otsu-Canny Operator on the Hadoop Platform.
    Cao J; Chen L; Wang M; Tian Y
    Comput Intell Neurosci; 2018; 2018():3598284. PubMed ID: 29861711
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments.
    Hang L; Kim DH
    Sensors (Basel); 2020 Feb; 20(4):. PubMed ID: 32098340
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
    Majma N; Babamir SM; Monadjemi A
    J Med Syst; 2017 Feb; 41(2):27. PubMed ID: 28005249
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents.
    Daszczuk WB
    Sensors (Basel); 2021 Jul; 21(13):. PubMed ID: 34283066
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Universal Verification Platform and Star Simulator for Fast Star Tracker Design.
    Schulz VH; Marcelino GM; Seman LO; Santos Barros J; Kim S; Cho M; Villarrubia González G; Leithardt VRQ; Bezerra EA
    Sensors (Basel); 2021 Jan; 21(3):. PubMed ID: 33572822
    [TBL] [Abstract][Full Text] [Related]  

  • 13. A DEVS-based engine for building digital quadruplets.
    Niyonkuru D; Wainer G
    Simulation; 2021 Jul; 97(7):485-506. PubMed ID: 34219819
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Real-time source separation on a field programmable gate array platform.
    Hanson VS; Odame KM
    Annu Int Conf IEEE Eng Med Biol Soc; 2012; 2012():2925-8. PubMed ID: 23366537
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Runtime and Architecture Support for Efficient Data Exchange in Multi-Accelerator Applications.
    Cabezas J; Gelado I; Stone JE; Navarro N; Kirk DB; Hwu WM
    IEEE Trans Parallel Distrib Syst; 2015 May; 26(5):1405-1418. PubMed ID: 26180487
    [TBL] [Abstract][Full Text] [Related]  

  • 16. SIMENGINE: a low-cost, high-performance platform for embedded biophysical simulations.
    Weinstein RK; Church CT; Lebsack CS; Cook JE; Sorensen ME
    Annu Int Conf IEEE Eng Med Biol Soc; 2009; 2009():4238-41. PubMed ID: 19963814
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Modular particle filtering FPGA hardware architecture for brain machine interfaces.
    Mountney J; Obeid I; Silage D
    Annu Int Conf IEEE Eng Med Biol Soc; 2011; 2011():4617-20. PubMed ID: 22255366
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Speeding up evolutionary algorithms through asymmetric mutation operators.
    Doerr B; Hebbinghaus N; Neumann F
    Evol Comput; 2007; 15(4):401-10. PubMed ID: 18021012
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Temporal logics for phylogenetic analysis via model checking.
    Requeno JI; Casado Gde M; Blanco R; Colom JM
    IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Code generator for implementing dual tree complex wavelet transform on reconfigurable architectures for mobile applications.
    Canbay F; Levent VE; Serbes G; Ugurdag HF; Goren S; Aydin N
    Healthc Technol Lett; 2016 Sep; 3(3):184-188. PubMed ID: 27733925
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.