Showing 17,361 - 17,370 results of 18,420 for search '"mathematics."', Forespørselstid: 0.06s Refine Results
  1. 17361

    A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries. af Jerrum, Mark

    Udgivet i Journal of the ACM
    Article

    A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries.
  2. 17362

    Software verification and validation with destiny a parallel approach to automated theorem proving. af Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  3. 17363

    Complexity estimates depending on condition and round-off error. af Cucker, Felipe

    Udgivet i Journal of the ACM
    Article

    Complexity estimates depending on condition and round-off error.
  4. 17364

    Relational expressive power of constraint query languages. af Benedikt, Michael

    Udgivet i Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  5. 17365

    Probabilistic checking of proofs a new characterization of NP. af Arora, Sanjeev

    Udgivet i Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.
  6. 17366

    Explicit OR-dispersers with polylogarithmic degree. af Saks, Michael

    Udgivet i Journal of the ACM
    Article

    Explicit OR-dispersers with polylogarithmic degree.
  7. 17367

    Theory of neuromata. af íma, Jiří

    Udgivet i Journal of the ACM
    Article

    Theory of neuromata.
  8. 17368

    A new general derandomization method. af Andreev, Alexander E.

    Udgivet i Journal of the ACM
    Article

    A new general derandomization method.
  9. 17369

    Corrigendum Reasoning about knowledge and probability?. af Fagin, Ronald

    Udgivet i Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  10. 17370

    Sparsification-a technique for speeding up dynamic graph algorithms. af Eppstein, David

    Udgivet i Journal of the ACM
    Article

    Sparsification-a technique for speeding up dynamic graph algorithms.

Søgeredskaber: