Computation

Results: 6765



#Item
321

Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

Add to Reading List

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

- Date: 2016-03-28 02:27:38
    322

    Centroidal Power Diagrams with Capacity Constraints: Computation, Applications, and Extension Shi-Qing Xin Bruno L´evy Zhonggui Chen∗ Ningbo University

    Add to Reading List

    Source URL: members.loria.fr

    - Date: 2016-10-17 03:40:29
      323

      2 Satisfiability Checking and Symbolic Computation (SC

      Add to Reading List

      Source URL: computing.coventry.ac.uk

      - Date: 2016-07-18 08:02:47
        324

        Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Computation Models

        Add to Reading List

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

        - Date: 2016-03-28 02:24:38
          325

          Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models Jeremy T. Bradley Nicholas J. Dingle

          Add to Reading List

          Source URL: pubs.doc.ic.ac.uk

          - Date: 2010-08-04 14:25:51
            326

            CS271 Randomness & Computation Fall 2011 Lecture 8: September 20 Lecturer: Alistair Sinclair

            Add to Reading List

            Source URL: people.eecs.berkeley.edu

            - Date: 2011-09-21 01:22:54
              327

              Science Bots: a Model for the Future of Scientific Computation? Tobias Kuhn Department of Humanities, Social and Political Sciences, ETH Zurich, Switzerland

              Add to Reading List

              Source URL: www.www2015.it

              - Date: 2015-05-15 11:10:01
                328

                Exact Computation of the Adjacency Graph of an Arrangement of Quadrics Dissertation zur Erlangung des Grades ”Doktor der Naturwissenschaften”

                Add to Reading List

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

                - Date: 2012-11-18 07:34:43
                  329

                  Concurrency and Computation: Practice and Experience Special Issue Cloud Computing and Big Data: Technologies and Applications Aims and Scope Cloud computing has gained great attention from both academia and IT industry

                  Add to Reading List

                  Source URL: www.macc.ma

                  - Date: 2016-05-04 13:15:37
                    330

                    Journal on Satisfiability, Boolean Modeling and Computation–236 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure∗ Martin Fr¨ anzle

                    Add to Reading List

                    Source URL: jsat.ewi.tudelft.nl

                    - Date: 2007-05-22 16:56:57
                      UPDATE