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 *

108 related articles for article (PubMed ID: 30069072)

  • 1. Verified iptables Firewall Analysis and Verification.
    Diekmann C; Hupel L; Michaelis J; Haslbeck M; Carle G
    J Autom Reason; 2018; 61(1):191-242. PubMed ID: 30069072
    [TBL] [Abstract][Full Text] [Related]  

  • 2. A Formalization of the Smith Normal Form in Higher-Order Logic.
    Divasón J; Thiemann R
    J Autom Reason; 2022; 66(4):1065-1095. PubMed ID: 36353683
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Performance Evaluation Model for Application Layer Firewalls.
    Xuan S; Yang W; Dong H; Zhang J
    PLoS One; 2016; 11(11):e0167280. PubMed ID: 27893803
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Ant colony optimization-based firewall anomaly mitigation engine.
    Penmatsa RK; Vatsavayi VK; Samayamantula SK
    Springerplus; 2016; 5(1):1032. PubMed ID: 27441151
    [TBL] [Abstract][Full Text] [Related]  

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

  • 6. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality.
    Blanchette JC; Fleury M; Lammich P; Weidenbach C
    J Autom Reason; 2018; 61(1):333-365. PubMed ID: 30069073
    [TBL] [Abstract][Full Text] [Related]  

  • 7. A Verified ODE Solver and the Lorenz Attractor.
    Immler F
    J Autom Reason; 2018; 61(1):73-111. PubMed ID: 30069071
    [TBL] [Abstract][Full Text] [Related]  

  • 8. [Analysis, identification and correction of some errors of model refseqs appeared in NCBI Human Gene Database by in silico cloning and experimental verification of novel human genes].
    Zhang DL; Ji L; Li YD
    Yi Chuan Xue Bao; 2004 May; 31(5):431-43. PubMed ID: 15478601
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Naked Black Hole Firewalls.
    Chen P; Ong YC; Page DN; Sasaki M; Yeom DH
    Phys Rev Lett; 2016 Apr; 116(16):161304. PubMed ID: 27152788
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Research on Security Weakness Using Penetration Testing in a Distributed Firewall.
    Tudosi AD; Graur A; Balan DG; Potorac AD
    Sensors (Basel); 2023 Mar; 23(5):. PubMed ID: 36904890
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Quantum information versus black hole physics: deep firewalls from narrow assumptions.
    Braunstein SL; Pirandola S
    Philos Trans A Math Phys Eng Sci; 2018 Jul; 376(2123):. PubMed ID: 29807901
    [TBL] [Abstract][Full Text] [Related]  

  • 12. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    Monteiro PT; Dumas E; Besson B; Mateescu R; Page M; Freitas AT; de Jong H
    BMC Bioinformatics; 2009 Dec; 10():450. PubMed ID: 20042075
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Folic acid supplementation and malaria susceptibility and severity among people taking antifolate antimalarial drugs in endemic areas.
    Crider K; Williams J; Qi YP; Gutman J; Yeung L; Mai C; Finkelstain J; Mehta S; Pons-Duran C; Menéndez C; Moraleda C; Rogers L; Daniels K; Green P
    Cochrane Database Syst Rev; 2022 Feb; 2(2022):. PubMed ID: 36321557
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Study of methods for endpoint aware inspection in a next generation firewall.
    Heino J; Hakkala A; Virtanen S
    Cybersecur (Singap); 2022; 5(1):25. PubMed ID: 36092494
    [TBL] [Abstract][Full Text] [Related]  

  • 15. A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.
    Divasón J; Joosten SJC; Thiemann R; Yamada A
    J Autom Reason; 2020; 64(4):699-735. PubMed ID: 32269396
    [TBL] [Abstract][Full Text] [Related]  

  • 16. A Verified Implementation of Algebraic Numbers in Isabelle/HOL.
    Joosten SJC; Thiemann R; Yamada A
    J Autom Reason; 2020; 64(3):363-389. PubMed ID: 32226180
    [TBL] [Abstract][Full Text] [Related]  

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

  • 18. On Definitions of Constants and Types in HOL.
    Arthan R
    J Autom Reason; 2016; 56(3):205-219. PubMed ID: 30174359
    [TBL] [Abstract][Full Text] [Related]  

  • 19. A verification strategy for web services composition using enhanced stacked automata model.
    Nagamouttou D; Egambaram I; Krishnan M; Narasingam P
    Springerplus; 2015; 4():98. PubMed ID: 25810951
    [TBL] [Abstract][Full Text] [Related]  

  • 20. CPACK: An Intelligent Cyber-Physical Access Control Kit for Protecting Network.
    Yu H; Liu Z; Zou S; Wang W
    Sensors (Basel); 2022 Oct; 22(20):. PubMed ID: 36298378
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.