Computation

Results: 6765



#Item
371

Declarative, Secure, Convergent Edge Computation Christopher Meiklejohn Abstract

Add to Reading List

Source URL: conf.researchr.org

    372

    1st International Conference on Formal Structures for Computation and Deduction FSCD 2016, June 22–26, 2016, Porto, Portugal Edited by

    Add to Reading List

    Source URL: drops.dagstuhl.de

    - Date: 2016-08-16 07:34:46
      373

      LOGIC FOR GRAY-CODE COMPUTATION ULRICH BERGER AND KENJI MIYAMOTO AND HELMUT SCHWICHTENBERG AND HIDEKI TSUIKI Abstract. Gray-code is a well-known binary number system where neighboring values differ in one digit only. Tsu

      Add to Reading List

      Source URL: www.math.lmu.de

      - Date: 2015-09-28 04:29:31
        374

        ToTo: An open database for computation, storage and retrieval of tree decompositions Rim van Werscha,∗, Steven Kelka,∗ a Department of Data Science and Knowledge Engineering (DKE), Maastricht University, P.O. Box 61

        Add to Reading List

        Source URL: treedecompositions.com

        - Date: 2016-10-08 04:59:26
          375

          Underpayment of Individual Income Tax Penalty Computation 2014 Taxable Year

          Add to Reading List

          Source URL: revenue.louisiana.gov

          - Date: 2015-10-30 12:37:20
            376

            Underpayment of Individual Income Tax Penalty Computation 2014 Taxable Year

            Add to Reading List

            Source URL: revenue.louisiana.gov

            - Date: 2015-11-03 17:21:08
              377

              xCoAX 2016: Proceedings of the fourth conference on Computation, Communication, Aesthetics, and X.

              Add to Reading List

              Source URL: 2016.xcoax.org

              - Date: 2016-11-14 17:35:03
                378

                Correspondence and Canonicity in Non-Classical Logic Sumit Sourabh INSTITUTE FOR LOGIC LANGUAGE AND COMPUTATION Correspondence and Canonicity

                Add to Reading List

                Source URL: www.illc.uva.nl

                - Date: 2015-10-29 12:05:22
                  379

                  Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

                  Add to Reading List

                  Source URL: core.ac.uk

                  - Date: 2014-10-31 12:11:04
                    380

                    Unordered Tuples in Quantum Computation Robert Furber Bas Westerbaan

                    Add to Reading List

                    Source URL: westerbaan.name

                    - Date: 2015-08-03 14:43:30
                      UPDATE