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 *

72 related articles for article (PubMed ID: 28871054)

  • 1. Compositional relaxed concurrency.
    Batty M
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871054
    [TBL] [Abstract][Full Text] [Related]  

  • 2. The HACMS program: using formal methods to eliminate exploitable bugs.
    Fisher K; Launchbury J; Richards R
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871050
    [TBL] [Abstract][Full Text] [Related]  

  • 3. High-throughput state-machine replication using software transactional memory.
    Zhao W; Yang W; Zhang H; Yang J; Luo X; Zhu Y; Yang M; Luo C
    J Supercomput; 2016 Nov; 72(11):4379-4398. PubMed ID: 29075049
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Position paper: the science of deep specification.
    Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Industrial hardware and software verification with ACL2.
    Hunt WA; Kaufmann M; Moore JS; Slobodova A
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871049
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Rubus: A compiler for seamless and extensible parallelism.
    Adnan M; Aslam F; Nawaz Z; Sarwar SM
    PLoS One; 2017; 12(12):e0188721. PubMed ID: 29211758
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Proceedings of the Second Workshop on Theory meets Industry (Erwin-Schrödinger-Institute (ESI), Vienna, Austria, 12-14 June 2007).
    Hafner J
    J Phys Condens Matter; 2008 Feb; 20(6):060301. PubMed ID: 21693862
    [TBL] [Abstract][Full Text] [Related]  

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

  • 9. Accelerating Wright-Fisher Forward Simulations on the Graphics Processing Unit.
    Lawrie DS
    G3 (Bethesda); 2017 Sep; 7(9):3229-3236. PubMed ID: 28768689
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. Formal verification: will the seedling ever flower?
    White N; Matthews S; Chapman R
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871051
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Saturation effects and the concurrency hypothesis: Insights from an analytic model.
    Miller JC; Slim AC
    PLoS One; 2017; 12(11):e0187938. PubMed ID: 29136021
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Towards a Scalable Software Defined Network-on-Chip for Next Generation Cloud.
    Scionti A; Mazumdar S; Portero A
    Sensors (Basel); 2018 Jul; 18(7):. PubMed ID: 30021975
    [TBL] [Abstract][Full Text] [Related]  

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

  • 15. Optimizing NEURON Simulation Environment Using Remote Memory Access with Recursive Doubling on Distributed Memory Systems.
    Shehzad D; Bozkuş Z
    Comput Intell Neurosci; 2016; 2016():3676582. PubMed ID: 27413363
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Meta-analysis: Problems with Russian Publications.
    Verbitskaya EV
    Int J Risk Saf Med; 2015; 27 Suppl 1():S89-90. PubMed ID: 26639728
    [TBL] [Abstract][Full Text] [Related]  

  • 17. But Everyone is Doing It (Sort of)! Perceived Sexual Risks in the Social Environment and the Impact on Homeless Youth Engagement in Concurrent Sexual Relationships.
    Hsu HT; Fulginiti A; Rice E; Rhoades H; Winetrobe H; Danforth L
    AIDS Behav; 2018 Nov; 22(11):3508-3518. PubMed ID: 29725788
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The ulam Programming Language for Artificial Life.
    Ackley DH; Ackley ES
    Artif Life; 2016; 22(4):431-450. PubMed ID: 27824495
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Concurrency of partnerships, consistency with data, and control of sexually transmitted infections.
    Leng T; Keeling MJ
    Epidemics; 2018 Dec; 25():35-46. PubMed ID: 29798812
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Vivaldi: A Domain-Specific Language for Volume Processing and Visualization on Distributed Heterogeneous Systems.
    Choi H; Choi W; Quan TM; Hildebrand DG; Pfister H; Jeong WK
    IEEE Trans Vis Comput Graph; 2014 Dec; 20(12):2407-16. PubMed ID: 26356955
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 4.