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 *

104 related articles for article (PubMed ID: 30828121)

  • 1. Backdoors for Linear Temporal Logic.
    Meier A; Ordyniak S; Ramanujan MS; Schindler I
    Algorithmica; 2019; 81(2):476-496. PubMed ID: 30828121
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Detecting Scene-Plausible Perceptible Backdoors in Trained DNNs Without Access to the Training Set.
    Xiang Z; Miller DJ; Wang H; Kesidis G
    Neural Comput; 2021 Apr; 33(5):1329-1371. PubMed ID: 33617746
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Detection of Backdoors in Trained Classifiers Without Access to the Training Set.
    Xiang Z; Miller DJ; Kesidis G
    IEEE Trans Neural Netw Learn Syst; 2022 Mar; 33(3):1177-1191. PubMed ID: 33326384
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Parameterized model checking of rendezvous systems.
    Aminof B; Kotek T; Rubin S; Spegni F; Veith H
    Distrib Comput; 2018; 31(3):187-222. PubMed ID: 31258231
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Critical Path-Based Backdoor Detection for Deep Neural Networks.
    Jiang W; Wen X; Zhan J; Wang X; Song Z; Bian C
    IEEE Trans Neural Netw Learn Syst; 2024 Mar; 35(3):4032-4046. PubMed ID: 36074883
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Counting Linear Extensions: Parameterizations by Treewidth.
    Eiben E; Ganian R; Kangas K; Ordyniak S
    Algorithmica; 2019; 81(4):1657-1683. PubMed ID: 31007326
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Modular analysis of gene networks by linear temporal logic.
    Ito S; Ichinose T; Shimakawa M; Izumi N; Hagihara S; Yonezaki N
    J Integr Bioinform; 2013 Mar; 10(2):216. PubMed ID: 23525897
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Backdoor Learning: A Survey.
    Li Y; Jiang Y; Li Z; Xia ST
    IEEE Trans Neural Netw Learn Syst; 2024 Jan; 35(1):5-22. PubMed ID: 35731760
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Trap and Replace: Defending Backdoor Attacks by Trapping Them into an Easy-to-Replace Subnetwork.
    Wang H; Hong J; Zhang A; Zhou J; Wang Z
    Adv Neural Inf Process Syst; 2022 Dec; 35():36026-36039. PubMed ID: 37081923
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.
    van de Pol I; van Rooij I; Szymanik J
    J Logic Lang Inf; 2018; 27(3):255-294. PubMed ID: 30956398
    [TBL] [Abstract][Full Text] [Related]  

  • 11. On the Minimum Error Correction Problem for Haplotype Assembly in Diploid and Polyploid Genomes.
    Bonizzoni P; Dondi R; Klau GW; Pirola Y; Pisanti N; Zaccaria S
    J Comput Biol; 2016 Sep; 23(9):718-36. PubMed ID: 27280382
    [TBL] [Abstract][Full Text] [Related]  

  • 12. A kernelisation approach for multiple d-Hitting Set and its application in optimal multi-drug therapeutic combinations.
    Mellor D; Prieto E; Mathieson L; Moscato P
    PLoS One; 2010 Oct; 5(10):e13055. PubMed ID: 20976188
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Complexity of Secure Sets.
    Bliem B; Woltran S
    Algorithmica; 2018; 80(10):2909-2940. PubMed ID: 29937611
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Parameterized Analysis of Multiobjective Evolutionary Algorithms and the Weighted Vertex Cover Problem.
    Pourhassan M; Shi F; Neumann F
    Evol Comput; 2019; 27(4):559-575. PubMed ID: 31012735
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
    Zbrzezny AM; Zbrzezny A
    Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
    [TBL] [Abstract][Full Text] [Related]  

  • 16. Model Checking Temporal Logic Formulas Using Sticker Automata.
    Zhu W; Feng C; Wu H
    Biomed Res Int; 2017; 2017():7941845. PubMed ID: 29119114
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Parameterized complexity analysis in computational biology.
    Bodlaender HL; Downey RG; Fellows MR; Hallett MT; Wareham HT
    Comput Appl Biosci; 1995 Feb; 11(1):49-57. PubMed ID: 7796275
    [TBL] [Abstract][Full Text] [Related]  

  • 18. The consistent labeling problem: part I.
    Haralick RM; Shapiro LG
    IEEE Trans Pattern Anal Mach Intell; 1979 Feb; 1(2):173-84. PubMed ID: 21868846
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Fuzzy branching temporal logic.
    Moon SI; Lee KH; Lee D
    IEEE Trans Syst Man Cybern B Cybern; 2004 Apr; 34(2):1045-55. PubMed ID: 15376850
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Solving Problems on Graphs of High Rank-Width.
    Eiben E; Ganian R; Szeider S
    Algorithmica; 2018; 80(2):742-771. PubMed ID: 31997848
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.