Toon 17.361 - 17.370 resultaten van 18.422 Voor zoekopdracht '"Mathematics."', zoektijd: 0,05s Verfijn jouw resultaten
  1. 17361

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

    Gepubliceerd in Journal of the ACM
    Artikel

    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. door Dykstra, Josiah

    Artikel

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

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

    Gepubliceerd in Journal of the ACM
    Artikel

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

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

    Gepubliceerd in Journal of the ACM
    Artikel

    Relational expressive power of constraint query languages.
  5. 17365

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

    Gepubliceerd in Journal of the ACM
    Artikel

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

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

    Gepubliceerd in Journal of the ACM
    Artikel

    Explicit OR-dispersers with polylogarithmic degree.
  7. 17367

    Theory of neuromata. door íma, Jiří

    Gepubliceerd in Journal of the ACM
    Artikel

    Theory of neuromata.
  8. 17368

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

    Gepubliceerd in Journal of the ACM
    Artikel

    A new general derandomization method.
  9. 17369

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

    Gepubliceerd in Journal of the ACM
    Artikel

    Corrigendum Reasoning about knowledge and probability?.
  10. 17370

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

    Gepubliceerd in Journal of the ACM
    Artikel

    Sparsification-a technique for speeding up dynamic graph algorithms.

Zoekinstrumenten: