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 *

124 related articles for article (PubMed ID: 33806451)

  • 21. Biased random satisfiability problems: from easy to hard instances.
    Ramezanpour A; Moghimi-Araghi S
    Phys Rev E Stat Nonlin Soft Matter Phys; 2005 Jun; 71(6 Pt 2):066101. PubMed ID: 16089814
    [TBL] [Abstract][Full Text] [Related]  

  • 22. Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming.
    Schawe H; Bleim R; Hartmann AK
    PLoS One; 2019; 14(4):e0215309. PubMed ID: 31002678
    [TBL] [Abstract][Full Text] [Related]  

  • 23. Witness of unsatisfiability for a random 3-satisfiability formula.
    Wu LL; Zhou HJ; Alava M; Aurell E; Orponen P
    Phys Rev E Stat Nonlin Soft Matter Phys; 2013 May; 87(5):052807. PubMed ID: 23767584
    [TBL] [Abstract][Full Text] [Related]  

  • 24. Numerical solution-space analysis of satisfiability problems.
    Mann A; Hartmann AK
    Phys Rev E Stat Nonlin Soft Matter Phys; 2010 Nov; 82(5 Pt 2):056702. PubMed ID: 21230614
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Error metrics determination in functionally approximated circuits using SAT solvers.
    Abed S; Behiry AAMR; Ahmad I
    PLoS One; 2020; 15(1):e0227745. PubMed ID: 31935260
    [TBL] [Abstract][Full Text] [Related]  

  • 26. Circumspect descent prevails in solving random constraint satisfaction problems.
    Alava M; Ardelius J; Aurell E; Kaski P; Krishnamurthy S; Orponen P; Seitz S
    Proc Natl Acad Sci U S A; 2008 Oct; 105(40):15253-7. PubMed ID: 18832149
    [TBL] [Abstract][Full Text] [Related]  

  • 27. Benchmark of quantum-inspired heuristic solvers for quadratic unconstrained binary optimization.
    Oshiyama H; Ohzeki M
    Sci Rep; 2022 Feb; 12(1):2146. PubMed ID: 35140264
    [TBL] [Abstract][Full Text] [Related]  

  • 28. Solving the Schrödinger equation of atoms and molecules: Chemical-formula theory, free-complement chemical-formula theory, and intermediate variational theory.
    Nakatsuji H; Nakashima H; Kurokawa YI
    J Chem Phys; 2018 Sep; 149(11):114105. PubMed ID: 30243277
    [TBL] [Abstract][Full Text] [Related]  

  • 29. Modeling and solving staff scheduling with partial weighted maxSAT.
    Demirović E; Musliu N; Winter F
    Ann Oper Res; 2019; 275(1):79-99. PubMed ID: 30880860
    [TBL] [Abstract][Full Text] [Related]  

  • 30. Analog Approach to Constraint Satisfaction Enabled by Spin Orbit Torque Magnetic Tunnel Junctions.
    Wijesinghe P; Liyanagedera C; Roy K
    Sci Rep; 2018 May; 8(1):6940. PubMed ID: 29720596
    [TBL] [Abstract][Full Text] [Related]  

  • 31. Solving the SAT problem using a DNA computing algorithm based on ligase chain reaction.
    Wang X; Bao Z; Hu J; Wang S; Zhan A
    Biosystems; 2008 Jan; 91(1):117-25. PubMed ID: 17904730
    [TBL] [Abstract][Full Text] [Related]  

  • 32. Automated discovery of local search heuristics for satisfiability testing.
    Fukunaga AS
    Evol Comput; 2008; 16(1):31-61. PubMed ID: 18386995
    [TBL] [Abstract][Full Text] [Related]  

  • 33. Satisfiability-unsatisfiability transition in the adversarial satisfiability problem.
    Bardoscia M; Nagaj D; Scardicchio A
    Phys Rev E Stat Nonlin Soft Matter Phys; 2014 Mar; 89(3):032128. PubMed ID: 24730811
    [TBL] [Abstract][Full Text] [Related]  

  • 34. Using Stochastic Spiking Neural Networks on SpiNNaker to Solve Constraint Satisfaction Problems.
    Fonseca Guerra GA; Furber SB
    Front Neurosci; 2017; 11():714. PubMed ID: 29311791
    [TBL] [Abstract][Full Text] [Related]  

  • 35. Evaluation of canine prostate volume in calculated tomographic images - comparison of two assessment methods.
    Haverkamp K; Harder LK; Kuhnt NSM; Lüpke M; Nolte I; Wefstaedt P
    BMC Vet Res; 2019 Oct; 15(1):361. PubMed ID: 31640698
    [TBL] [Abstract][Full Text] [Related]  

  • 36. Search for steady states of piecewise-linear differential equation models of genetic regulatory networks.
    de Jong H; Page M
    IEEE/ACM Trans Comput Biol Bioinform; 2008; 5(2):208-22. PubMed ID: 18451430
    [TBL] [Abstract][Full Text] [Related]  

  • 37. Fault detection and therapeutic intervention in gene regulatory networks using SAT solvers.
    Deshpande A; Layek RK
    Biosystems; 2019 May; 179():55-62. PubMed ID: 30831179
    [TBL] [Abstract][Full Text] [Related]  

  • 38. On Compiling Structured CNFs to OBDDs.
    Bova S; Slivovsky F
    Theory Comput Syst; 2017; 61(2):637-655. PubMed ID: 32025195
    [TBL] [Abstract][Full Text] [Related]  

  • 39. An Information Entropy-Based Modeling Method for the Measurement System.
    Kong L; Pan H; Li X; Ma S; Xu Q; Zhou K
    Entropy (Basel); 2019 Jul; 21(7):. PubMed ID: 33267405
    [TBL] [Abstract][Full Text] [Related]  

  • 40. Entropy landscape and non-Gibbs solutions in constraint satisfaction problems.
    Dall'Asta L; Ramezanpour A; Zecchina R
    Phys Rev E Stat Nonlin Soft Matter Phys; 2008 Mar; 77(3 Pt 1):031118. PubMed ID: 18517340
    [TBL] [Abstract][Full Text] [Related]  

    [Previous]   [Next]    [New Search]
    of 7.