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 *

110 related articles for article (PubMed ID: 34587083)

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

  • 2. Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems.
    Liu Y; Ma Y; Yang Y; Zheng T
    Micromachines (Basel); 2021 Aug; 12(9):. PubMed ID: 34577703
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Mutation testing with hyperproperties.
    Fellner A; Tabaei Befrouei M; Weissenbacher G
    Softw Syst Model; 2021; 20(2):405-427. PubMed ID: 34720800
    [TBL] [Abstract][Full Text] [Related]  

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

  • 5. Under-approximating loops in C programs for fast counterexample detection.
    Kroening D; Lewis M; Weissenbacher G
    Form Methods Syst Des; 2015; 47():75-92. PubMed ID: 26900259
    [TBL] [Abstract][Full Text] [Related]  

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

  • 7. Counterexample Search in Diagram-Based Geometric Reasoning.
    Hamami Y; Mumma J; Amalric M
    Cogn Sci; 2021 Apr; 45(4):e12959. PubMed ID: 33873252
    [TBL] [Abstract][Full Text] [Related]  

  • 8. How information visualization novices construct visualizations.
    Grammel L; Tory M; Storey MA
    IEEE Trans Vis Comput Graph; 2010; 16(6):943-52. PubMed ID: 20975131
    [TBL] [Abstract][Full Text] [Related]  

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

  • 10. Evaluation of properties over phylogenetic trees using stochastic logics.
    Requeno JI; Colom JM
    BMC Bioinformatics; 2016 Jun; 17(1):235. PubMed ID: 27301397
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Synthesis from hyperproperties.
    Finkbeiner B; Hahn C; Lukert P; Stenger M; Tentrup L
    Acta Inform; 2020; 57(1):137-163. PubMed ID: 32189717
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Visually defining and querying consistent multi-granular clinical temporal abstractions.
    Combi C; Oliboni B
    Artif Intell Med; 2012 Feb; 54(2):75-101. PubMed ID: 22177662
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Macromolecular crowding: chemistry and physics meet biology (Ascona, Switzerland, 10-14 June 2012).
    Foffi G; Pastore A; Piazza F; Temussi PA
    Phys Biol; 2013 Aug; 10(4):040301. PubMed ID: 23912807
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Design Exposition Discussion Documents for Rich Design Discourse in Applied Visualization.
    Beecham R; Dykes J; Rooney C; Wong W
    IEEE Trans Vis Comput Graph; 2021 Aug; 27(8):3451-3462. PubMed ID: 32149641
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Data2Vis: Automatic Generation of Data Visualizations Using Sequence-to-Sequence Recurrent Neural Networks.
    Dibia V; Demiralp C
    IEEE Comput Graph Appl; 2019; 39(5):33-46. PubMed ID: 31247545
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Aging, rule-violation checking strategies, and strategy combination: An EEG study in arithmetic.
    Hinault T; Lemaire P
    Int J Psychophysiol; 2017 Oct; 120():23-32. PubMed ID: 28709829
    [TBL] [Abstract][Full Text] [Related]  

  • 17. The future of Cochrane Neonatal.
    Soll RF; Ovelman C; McGuire W
    Early Hum Dev; 2020 Nov; 150():105191. PubMed ID: 33036834
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Declarative language design for interactive visualization.
    Heer J; Bostock M
    IEEE Trans Vis Comput Graph; 2010; 16(6):1149-56. PubMed ID: 20975153
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Lyra 2: Designing Interactive Visualizations by Demonstration.
    Zong J; Barnwal D; Neogy R; Satyanarayan A
    IEEE Trans Vis Comput Graph; 2021 Feb; 27(2):304-314. PubMed ID: 33048697
    [TBL] [Abstract][Full Text] [Related]  

  • 20. StructGraphics: Flexible Visualization Design through Data-Agnostic and Reusable Graphical Structures.
    Tsandilas T
    IEEE Trans Vis Comput Graph; 2021 Feb; 27(2):315-325. PubMed ID: 33048753
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.