Problem

Results: 43643



#Item
971

Wessel P.J. van Woerden The closest vector problem in cyclotomic lattices Bachelor Thesis 1st supervisor: Dr. Léo Ducas (CWI)

Add to Reading List

Source URL: www.math.leidenuniv.nl

- Date: 2016-07-31 05:15:15
    972

    What problem is the project trying to solve

    Add to Reading List

    Source URL: yth.org

    - Date: 2016-10-15 04:44:36
      973

      1 “What Works” Doesn’t Work: The Problem with the Call for Evidence Based Practices in the Classroom James Sheldon

      Add to Reading List

      Source URL: badassteacher.org

      - Date: 2016-11-06 14:54:25
        974

        Erroneous analyses of interactions in neuroscience: a problem of significance

        Add to Reading List

        Source URL: www.sandernieuwenhuis.nl

        - Date: 2016-02-01 10:58:46
          975

          Computing Consensus Curves Livio Cruz, Stephen Kobourov, Sergey Pupyrev, Paul Shen, Sankar Veeramoni Department of Computer Science, University of Arizona, USA Abstract. We study the problem of extracting accurate averag

          Add to Reading List

          Source URL: www.cs.arizona.edu

            976

            The FedEx Problem (Working Paper) Amos Fiat ∗ Kira Goldner†

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2016-06-06 21:28:35
              977

              Proof, beliefs, and algorithms through the lens of sum-of-squares 1 Arora–Rao–Vazirani Approximation for Expansion In this lecture, we consider the problem of finding a set with smallest

              Add to Reading List

              Source URL: sumofsquares.org

              - Date: 2016-11-17 19:44:26
                978

                Personalized Mathematical Word Problem Generation Oleksandr Polozov University of Washington Eleanor O’Rourke

                Add to Reading List

                Source URL: homes.cs.washington.edu

                - Date: 2015-04-30 16:30:51
                  979

                  Satisfiability Modulo Theories Clark Barrett and Cesare Tinelli Abstract Satisfiability Modulo Theories (SMT) refers to the problem of determining whether a first-order formula is satisfiable with respect to some logical

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2015-06-23 07:23:45
                    980

                    Arnon AVRON, Ph.D. LIST OF PUBLICATIONS BOOKS 1. A. Avron G¨ odel’s Theorems and The Problem of the Foundations of

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2015-05-10 03:17:11
                      UPDATE