Computation

Results: 6765



#Item
351

J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

Add to Reading List

Source URL: www.cs.uoregon.edu

- Date: 2010-06-25 18:00:46
    352

    1 Users’ guide to FAC-PACK A software for the computation of multi-component factorizations and the area of feasible solutions

    Add to Reading List

    Source URL: www.math.uni-rostock.de

    - Date: 2014-12-09 06:39:48
      353

      Call for Papers Special Session on EC and Games: from theory to applications 2017 IEEE Congress on Evolutionary Computation (CEC2017) Donostia - San Sebastián, Spain, June 5-8, 2017

      Add to Reading List

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

      - Date: 2016-11-15 08:19:00
        354

        Preface The advent of high-speed computers and sophisticated software tools has made the computation of derivatives for functions defined by evaluation programs both easier and more important. On one hand, the dependenc

        Add to Reading List

        Source URL: www.siam.org

        - Date: 2009-02-24 15:26:53
          355

          Total and Partial Computation in Categorical Quantum Foundations Kenta Cho Institute for Computing and Information Sciences Radboud University, Nijmegen, The Netherlands , http://www.cs.ru.nl/K.Cho/

          Add to Reading List

          Source URL: www.cs.ru.nl

          - Date: 2016-10-24 16:26:49
            356

            Total and Partial Computation in Categorical Quantum Foundations Kenta Cho Radboud University, Nijmegen, Netherlands QPL 2015

            Add to Reading List

            Source URL: www.cs.ru.nl

            - Date: 2016-10-24 16:26:50
              357

              6th International Symposium on Parameterized and Exact Computation (formerly IWPEC), IPEC 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Planar Disjoint-Paths Completion⇤ Isolde Adler†

              Add to Reading List

              Source URL: users.uoa.gr

              - Date: 2014-06-11 17:30:27
                358

                Elementary Computation of Object Approach by a Wide-Field Visual Neuron Nicholas Hatsopoulos; Fabrizio Gabbiani; Gilles Laurent Science, New Series, Vol. 270, NoNov. 10, 1995), ppStable URL: http://

                Add to Reading List

                Source URL: cdn.hackaday.io

                - Date: 2016-08-24 20:40:14
                  359

                  Computation-by-Interaction for Structuring Low-Level Computation Ulrich Sch¨ opp M¨unchen 2014

                  Add to Reading List

                  Source URL: www2.tcs.ifi.lmu.de

                  - Date: 2015-04-22 08:04:50
                    360

                    Verifiable Set Operations over Outsourced Databases Ran Canetti∗ Omer Paneth† Dimitrios Papadopoulos‡ Nikos Triandopoulos§ Abstract We study the problem of verifiable delegation of computation over outsourced data

                    Add to Reading List

                    Source URL: eprint.iacr.org

                    - Date: 2013-11-05 00:17:03
                      UPDATE