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 *

111 related articles for article (PubMed ID: 38983212)

  • 1. Symbolic model checking quantum circuits in Maude.
    Minh Do C; Ogata K
    PeerJ Comput Sci; 2024; 10():e2098. PubMed ID: 38983212
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Modelling and verification of post-quantum key encapsulation mechanisms using Maude.
    García V; Escobar S; Ogata K; Akleylek S; Otmani A
    PeerJ Comput Sci; 2023; 9():e1547. PubMed ID: 37810329
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
    Tran DD; Do CM; Escobar S; Ogata K
    PeerJ Comput Sci; 2023; 9():e1556. PubMed ID: 37810331
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Quantum teleportation of physical qubits into logical code spaces.
    Luo YH; Chen MC; Erhard M; Zhong HS; Wu D; Tang HY; Zhao Q; Wang XL; Fujii K; Li L; Liu NL; Nemoto K; Munro WJ; Lu CY; Zeilinger A; Pan JW
    Proc Natl Acad Sci U S A; 2021 Sep; 118(36):. PubMed ID: 34479998
    [TBL] [Abstract][Full Text] [Related]  

  • 5. starMC: an automata based CTL* model checker.
    Amparore EG; Donatelli S; Gallà F
    PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Formalizing the use case model: A model-based approach.
    Zaman QU; Nadeem A; Sindhu MA
    PLoS One; 2020; 15(4):e0231534. PubMed ID: 32310952
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
    Grobelna I; Szcześniak P
    Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
    [TBL] [Abstract][Full Text] [Related]  

  • 8. A quantum Fredkin gate.
    Patel RB; Ho J; Ferreyrol F; Ralph TC; Pryde GJ
    Sci Adv; 2016 Mar; 2(3):e1501531. PubMed ID: 27051868
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Benchmarking a quantum teleportation protocol in superconducting circuits using tomography and an entanglement witness.
    Baur M; Fedorov A; Steffen L; Filipp S; da Silva MP; Wallraff A
    Phys Rev Lett; 2012 Jan; 108(4):040502. PubMed ID: 22400817
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Pathway logic modeling of protein functional domains in signal transduction.
    Talcott C; Eker S; Knapp M; Lincoln P; Laderoute K
    Pac Symp Biocomput; 2004; ():568-80. PubMed ID: 14992534
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Teleportation of entanglement over 143 km.
    Herbst T; Scheidl T; Fink M; Handsteiner J; Wittmann B; Ursin R; Zeilinger A
    Proc Natl Acad Sci U S A; 2015 Nov; 112(46):14202-5. PubMed ID: 26578764
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Shaded tangles for the design and verification of quantum circuits.
    Reutter DJ; Vicary J
    Proc Math Phys Eng Sci; 2019 Apr; 475(2224):20180338. PubMed ID: 31105445
    [TBL] [Abstract][Full Text] [Related]  

  • 13. A First Step to the Categorical Logic of Quantum Programs.
    Sun X; He F
    Entropy (Basel); 2020 Jan; 22(2):. PubMed ID: 33285919
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Logic circuits from zero forcing.
    Burgarth D; Giovannetti V; Hogben L; Severini S; Young M
    Nat Comput; 2015; 14(3):485-490. PubMed ID: 26300713
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Quantum teleportation and entanglement distribution over 100-kilometre free-space channels.
    Yin J; Ren JG; Lu H; Cao Y; Yong HL; Wu YP; Liu C; Liao SK; Zhou F; Jiang Y; Cai XD; Xu P; Pan GS; Jia JJ; Huang YM; Yin H; Wang JY; Chen YA; Peng CZ; Pan JW
    Nature; 2012 Aug; 488(7410):185-8. PubMed ID: 22874963
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Qubit teleportation between non-neighbouring nodes in a quantum network.
    Hermans SLN; Pompili M; Beukers HKC; Baier S; Borregaard J; Hanson R
    Nature; 2022 May; 605(7911):663-668. PubMed ID: 35614248
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Experimental teleportation of a quantum controlled-NOT gate.
    Huang YF; Ren XF; Zhang YS; Duan LM; Guo GC
    Phys Rev Lett; 2004 Dec; 93(24):240501. PubMed ID: 15697787
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Switching and Swapping of Quantum Information: Entropy and Entanglement Level.
    Sawerwain M; Wiśniewska J; Gielerak R
    Entropy (Basel); 2021 Jun; 23(6):. PubMed ID: 34200037
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Quantum teleportation of multiple degrees of freedom of a single photon.
    Wang XL; Cai XD; Su ZE; Chen MC; Wu D; Li L; Liu NL; Lu CY; Pan JW
    Nature; 2015 Feb; 518(7540):516-9. PubMed ID: 25719668
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Quantum-Teleportation-Inspired Algorithm for Sampling Large Random Quantum Circuits.
    Chen MC; Li R; Gan L; Zhu X; Yang G; Lu CY; Pan JW
    Phys Rev Lett; 2020 Feb; 124(8):080502. PubMed ID: 32167353
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.