Type-In

Results: 21044



#Item
321

P RE - MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY Simon Boulier, Nicolas Tabareau INRIA, Nantes September 9, 2017

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    322

    What is in the PDB file that I am looking at? Upload/fetch file >> Presets >> Interactive 1 >> (each polymer chain is colored in a different color) Figure out what each chain represents >> Type PDB ID in top search box (

    Add to Reading List

    Source URL: cdn.rcsb.org

    - Date: 2016-01-20 12:16:12
      323

      Toward Type-Preserving Compilation of Coq William J. Bowman in target languages TYPES

      Add to Reading List

      Source URL: www.williamjbowman.com

      - Date: 2018-03-18 12:54:47
        324

        Another Type System for In-Place Update David Aspinall1 and Martin Hofmann2 1 2

        Add to Reading List

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

        - Date: 2015-05-05 07:33:01
          325

          List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

          Add to Reading List

          Source URL: people.cs.kuleuven.be

          - Date: 2016-01-27 04:46:30
            326

            Educational Robots and Mathematical Modelling Exploring the use of Turtle type robots in High Schools Dave Catlin Edward Otieno

            Add to Reading List

            Source URL: www.roamer-educational-robot.com

            - Date: 2016-08-15 12:41:30
              327

              MotorcycleInstitute.orgUSA Fatalities: Everybody from Crashes Involving one (or more) Vehicle(MC or PV)-In-Transport and Population Person Type

              Add to Reading List

              Source URL: www.motorcycleinstitute.org

              - Date: 2016-08-28 09:39:25
                328

                TRAINING IMPROVES OXIDATIVE CAPACITY, BUT NOT FUNCTION, IN SPINAL MUSCULAR ATROPHY TYPE III

                Add to Reading List

                Source URL: www.curesma.org

                - Date: 2015-07-08 10:06:23
                  329

                  An Owen-Type Proportional Value for Games in Coalition Structure BACHELOR THESIS FernUniversität Hagen, Germany

                  Add to Reading List

                  Source URL: www.wifa.uni-leipzig.de

                  - Date: 2010-08-03 16:57:24
                    330

                    International Journal of Algebra, Vol. 7, 2013, no. 4, HIKARI Ltd, www.m-hikari.com Kummer Type Extensions in Function Fields Marco S´ anchez-Mirafuentes

                    Add to Reading List

                    Source URL: www.m-hikari.com

                    - Date: 2013-02-14 16:42:45
                      UPDATE