Type-In

Results: 21044



#Item
311

UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol

Add to Reading List

Source URL: hott-uf.github.io

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

    CS364A: Exercise Set #9 Due by noon on Friday, December 6, 2013 Instructions: (1) Turn in your solutions to all of the following exercises directly to one of the TAs (Kostas or Okke). Please type your solutions if possib

    Add to Reading List

    Source URL: theory.stanford.edu

    - Date: 2013-12-04 14:20:44
      313

      REMUNERATION POLICY A. INTRODUCTION This document defines the principles regarding all type of remunerations within DNB Asset Management S.A. (“DAM SA”). In accordance with Article 14b of DirectiveEC as amen

      Add to Reading List

      Source URL: www.dnb.no

      - Date: 2017-03-23 03:43:02
        314

        MAS115 PRESENTATION LAB 3 This week we’ll use a different text editor as an alternative to TeXworks. Remember, text editors are just software used to type in LATEX commands, so all the things learnt so far still apply

        Add to Reading List

        Source URL: mas115.group.shef.ac.uk

        - Date: 2017-10-10 12:28:44
          315

          Missouri Assistive Technology Power Up Mobile Event Guide Our Conference Guide is located on our website! Here are some basic instructions to get you connected. Open your Internet browser. Type in our website: at.mo.

          Add to Reading List

          Source URL: at.mo.gov

          - Date: 2018-03-26 16:56:14
            316

            New York Journal of Mathematics New York J. Math–19. A dyadic Gehring inequality in spaces of homogeneous type and applications Theresa C. Anderson and David E. Weirich

            Add to Reading List

            Source URL: nyjm.albany.edu

            - Date: 2017-12-31 14:14:19
              317

              Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

              Add to Reading List

              Source URL: www.home.hs-karlsruhe.de

              - Date: 2014-02-23 03:34:16
                318

                NATIONAL TYPE MB-40SL MULTI-BAND TANKGENERAL The MB-40SL tanks is intended for use in grid circuits with approximately 20 Watts

                Add to Reading List

                Source URL: www.amwindow.org

                - Date: 2010-09-23 22:37:29
                  319

                  PBS Professional Quick Start Guide Main differences between PBS Pro and Torgue • New "select" syntax differs from Torque! • Always specify desired walltime (in [hh:mm:ss] format) • Always specify size and type of

                  Add to Reading List

                  Source URL: www.cerit-sc.cz

                    320

                    New York Journal of Mathematics New York J. Math–19. A dyadic Gehring inequality in spaces of homogeneous type and applications Theresa C. Anderson and David E. Weirich

                    Add to Reading List

                    Source URL: nyjm.albany.edu

                    - Date: 2017-12-31 14:14:24
                      UPDATE