Material

Results: 46415



#Item
961

Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. The examinable material in the course Hoare Logic consists of what is actually presented in the lectures. This document aims to pro

Add to Reading List

Source URL: www.cl.cam.ac.uk

- Date: 2012-04-04 07:18:24
    962

    Introduction to X10 Olivier Tardieu IBM Research This material is based upon work supported by the Defense Advanced Research Projects Agency, by the Air Force Office of Scientific Research, and by the Department of Energ

    Add to Reading List

    Source URL: x10.sourceforge.net

    - Date: 2015-06-14 10:57:29
      963

      Supplemental Material can be found at: http://jn.nutrition.org/content/suppljnDCSupplemental.html The Journal of Nutrition Ingestive Behavior and Neurosciences

      Add to Reading List

      Source URL: jn.nutrition.org

        964

        Thomas Lidbetter A caching game with infinitely divisible hidden material Article (Accepted version) (Refereed)

        Add to Reading List

        Source URL: eprints.lse.ac.uk

        - Date: 2015-11-23 10:50:15
          965

          ANTI-CORROSIVE JOINTING COMPOUND Inhibits electrolytic corrosion between dissimilar metals. Used in the aerospace industry as an essential corrosion inhibiting material wherever dissimilar

          Add to Reading List

          Source URL: www.llewellyn-ryland.co.uk

          - Date: 2009-09-08 09:38:07
            966

            BRIEFING MATERIAL FOR SUMMER/FALL 2016 SOUTHERN AXIS EURO AREA MEMBER STATE MEETINGS ON GREECE The Facts on Greek Government Financial Sustainability and Stability (Part 1 of 4)

            Add to Reading List

            Source URL: mostimportantreform.info

            - Date: 2016-09-28 11:47:27
              967

              Real-time Halfway Domain Reconstruction of Motion and Geometry — Supplemental Material — Lucas Thies1 1 Michael Zollhöfer2

              Add to Reading List

              Source URL: gvv.mpi-inf.mpg.de

              - Date: 2016-09-19 03:49:05
                968

                Hierarchical Affinity Propagation Supplementary Material Inmar E. Givoni, Clement Chung, Brendan J. Frey Probabilistic and Statistical Inference Group University of Toronto

                Add to Reading List

                Source URL: www.psi.toronto.edu

                - Date: 2011-06-16 15:34:47
                  969

                  Gaussian Process Kernels for Pattern Discovery and Extrapolation Supplementary Material Andrew Gordon Wilson and Ryan Prescott Adams 1

                  Add to Reading List

                  Source URL: jmlr.org

                  - Date: 2013-08-14 01:36:45
                    970

                    TRAVEL ADVISORY DEADLINE FOR FULL PAPERS Please be reminded of the 15 May 2014 deadline for Full Papers to be presented at the 1st Regional Conference on Cordillera Material Culture Studies.

                    Add to Reading List

                    Source URL: csc.upb.edu.ph

                    - Date: 2014-03-21 03:32:38
                      UPDATE