Approach

Results: 36997



#Item
901

A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

Add to Reading List

Source URL: hott-uf.github.io

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

    Predicting Player Moves in an Educational Game: A Hybrid Approach 1 Yun-En Liu1 , Travis Mandel1 , Eric Butler1 , Erik Andersen1 ,

    Add to Reading List

    Source URL: www.ericbutler.net

    - Date: 2015-06-29 01:01:36
      903

      Lattice Operations on Terms over Similar Signatures A Constraint-Based Approach Hassan A¨ıt-Kaci Gabriella Pasi

      Add to Reading List

      Source URL: www.sci.unich.it

      - Date: 2017-10-23 05:12:58
        904

        TRANALYSIS OF A SPLITTING APPROACH FOR THE PARALLEL SOLUTION OF LINEAR SYSTEMS ON GPU CARDS

        Add to Reading List

        Source URL: sbel.wisc.edu

        - Date: 2015-10-26 17:39:29
          905

          A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: I – Theoretical Formulation ∗ Adrian Sandu Department of Computer Science, Michigan Technological University, Houghto

          Add to Reading List

          Source URL: homepages.cae.wisc.edu

          - Date: 2003-06-21 13:24:32
            906

            A Moment Approach to the Static Arbitrage Problem on Baskets Alexandre d’Aspremont EECS Dept., U.C. Berkeley

            Add to Reading List

            Source URL: www.di.ens.fr

            - Date: 2013-09-09 17:40:48
              907

              Block Island Wind Farm GE’s Approach to Sustainability At GE, sustainability means aligning our business strategy to meet societal needs, while minimizing environmental impact and advancing

              Add to Reading List

              Source URL: dsg.files.app.content.prod.s3.amazonaws.com

              - Date: 2017-08-01 17:28:10
                908

                AEIcs.SCA field-theory motivated approach to symbolic computer algebra Kasper Peeters

                Add to Reading List

                Source URL: cadabra.science

                - Date: 2017-03-01 04:56:20
                  909

                  Prototypes as (Design) Tools for Behavioral and Organizational Change A Design-Based Approach to Help Organizations Change Work Behaviors Peter Coughlan

                  Add to Reading List

                  Source URL: 5a5f89b8e10a225a44ac-ccbed124c38c4f7a3066210c073e7d55.r9.cf1.rackcdn.com

                  - Date: 2016-02-17 13:51:02
                    910

                    A Simple and Extensible Approach to Program Analysis David Darais University of Maryland

                    Add to Reading List

                    Source URL: david.darais.com

                    - Date: 2017-10-17 15:29:34
                      UPDATE