Notation

Results: 11230



#Item
51Pre-Calculus I 10.1 – Sequences and Summation Notation Sequences The graph of a sequence is a set of discrete points. The graph 1

Pre-Calculus I 10.1 – Sequences and Summation Notation Sequences The graph of a sequence is a set of discrete points. The graph 1

Add to Reading List

Source URL: faculty.southwest.tn.edu

- Date: 2013-07-31 13:23:48
    52Fractional Permissions—Summary ECOOP Summer School, June 2012 John Boyland Permission: Π, Ψ  Notation

    Fractional Permissions—Summary ECOOP Summer School, June 2012 John Boyland Permission: Π, Ψ Notation

    Add to Reading List

    Source URL: www.cs.uwm.edu

    - Date: 2012-06-15 02:49:56
      53This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

      This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

      Add to Reading List

      Source URL: www.cs.utah.edu

      - Date: 2012-10-06 08:30:55
        54From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λZFC Neil Toronto and Jay McCarthy PLT @ Brigham Young University, Provo, Utah, USA  and

        From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λZFC Neil Toronto and Jay McCarthy PLT @ Brigham Young University, Provo, Utah, USA and

        Add to Reading List

        Source URL: jeapostrophe.github.io

        - Date: 2018-04-03 12:30:31
          55ViziQuer: Notation and Tool for Data Analysis SPARQL Queries Kārlis Čerāns1, Jūlija Ovčiņņikova1 ,  Institute of Mathematics and Computer Science, University of Lat

          ViziQuer: Notation and Tool for Data Analysis SPARQL Queries Kārlis Čerāns1, Jūlija Ovčiņņikova1 , Institute of Mathematics and Computer Science, University of Lat

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2016-10-06 12:12:52
            56Codeco: A Grammar Notation for Controlled Natural Language in Predictive Editors Tobias Kuhn Department of Informatics & Institute of Computational Linguistics, University of Zurich, Switzerland

            Codeco: A Grammar Notation for Controlled Natural Language in Predictive Editors Tobias Kuhn Department of Informatics & Institute of Computational Linguistics, University of Zurich, Switzerland

            Add to Reading List

            Source URL: attempto.ifi.uzh.ch

            - Date: 2013-09-23 06:46:50
              57Log-Linear Models, MEMMs, and CRFs Michael Collins 1  Notation

              Log-Linear Models, MEMMs, and CRFs Michael Collins 1 Notation

              Add to Reading List

              Source URL: www.cs.columbia.edu

              - Date: 2012-03-21 14:48:45
                58Codeco: A Practical Notation for Controlled English Grammars in Predictive Editors? Tobias Kuhn Department of Informatics & Institute of Computational Linguistics, University of Zurich, Switzerland Department of Intellig

                Codeco: A Practical Notation for Controlled English Grammars in Predictive Editors? Tobias Kuhn Department of Informatics & Institute of Computational Linguistics, University of Zurich, Switzerland Department of Intellig

                Add to Reading List

                Source URL: attempto.ifi.uzh.ch

                - Date: 2013-09-23 06:46:42
                  59In submission  Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow  Simon Peyton Jones

                  In submission Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow Simon Peyton Jones

                  Add to Reading List

                  Source URL: research.microsoft.com

                  - Date: 2016-04-15 08:18:29
                    60Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

                    Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

                    Add to Reading List

                    Source URL: www.mat.unb.br

                    - Date: 2004-07-19 17:54:10