Diagrams

Results: 2899



#Item
41WDMM Map Index List 1 Wallace District Mining Museum Archived Maps and Diagrams 2

WDMM Map Index List 1 Wallace District Mining Museum Archived Maps and Diagrams 2

Add to Reading List

Source URL: www.wallaceminingmuseum.org

Language: English - Date: 2012-03-21 10:10:05
    42Unnatural Feature Engineering: Evolving Augmented Graph Grammars for Argument Diagrams Linting Xue North Carolina State University

    Unnatural Feature Engineering: Evolving Augmented Graph Grammars for Argument Diagrams Linting Xue North Carolina State University

    Add to Reading List

    Source URL: www.educationaldatamining.org

    Language: English - Date: 2016-06-28 23:17:31
      43Rewriting on string diagrams and categorification Benjamin DUPONT Master Student, Institut Camille Jordan, UMR 5208 Université Claude Bernard. Lyon, France Objective

      Rewriting on string diagrams and categorification Benjamin DUPONT Master Student, Institut Camille Jordan, UMR 5208 Université Claude Bernard. Lyon, France Objective

      Add to Reading List

      Source URL: www.win.tue.nl

      - Date: 2017-06-27 10:58:54
        44CS: Compilers Handout #0 Handout # 0 Compiler and Interpreter Diagrams

        CS: Compilers Handout #0 Handout # 0 Compiler and Interpreter Diagrams

        Add to Reading List

        Source URL: pabst.cs.uwm.edu

        - Date: 2018-01-18 12:37:52
          45Fracture Animation Based on High-Dimensional Voronoi Diagrams

          Fracture Animation Based on High-Dimensional Voronoi Diagrams

          Add to Reading List

          Source URL: www.gmrv.es

          - Date: 2015-01-29 12:16:18
            46Diagrams A Functional EDSL for Vector Graphics Ryan Yates Brent Yorgey

            Diagrams A Functional EDSL for Vector Graphics Ryan Yates Brent Yorgey

            Add to Reading List

            Source URL: functional-art.org

            - Date: 2018-01-20 12:19:09
              47Two-Level Type Theory Our Lean Development Internalisation of Inverse Diagrams Formalisations Using Two-Level Type Theory Danil Annenkov1

              Two-Level Type Theory Our Lean Development Internalisation of Inverse Diagrams Formalisations Using Two-Level Type Theory Danil Annenkov1

              Add to Reading List

              Source URL: hott-uf.github.io

              - Date: 2018-03-28 14:04:14
                48Binary Decision Diagrams and their use in Verification

                Binary Decision Diagrams and their use in Verification

                Add to Reading List

                Source URL: www2.imm.dtu.dk

                - Date: 2006-08-08 11:18:16
                  49Proof Nets as Formal Feynman Diagrams Richard Blute1 and Prakash Panangaden2 1 2

                  Proof Nets as Formal Feynman Diagrams Richard Blute1 and Prakash Panangaden2 1 2

                  Add to Reading List

                  Source URL: www.iub.edu

                  - Date: 2009-03-23 18:16:53
                    50arXiv:1401.7220v2 [math.CT] 9 NovCategory Theory Using String Diagrams Dan Marsden November 11, 2014 Abstract

                    arXiv:1401.7220v2 [math.CT] 9 NovCategory Theory Using String Diagrams Dan Marsden November 11, 2014 Abstract

                    Add to Reading List

                    Source URL: arxiv.org

                    - Date: 2014-11-10 20:57:50