calculus

Results: 11790



#Item
261

in FOSSACS 2004 – www.wischik.com/lu/research/eft.html Strong Bisimulation for the Explicit Fusion Calculus Lucian Wischik1 and Philippa Gardner2 1

Add to Reading List

Source URL: www.wischik.com

- Date: 2004-02-23 13:34:27
    262

    Variational Calculus and Discrete Alternatives jplewis CGIT/USC The basic idea: instead of considering the change in a function wrt its arg, consider the variation in a functional wrt a variation in the function, this sh

    Add to Reading List

    Source URL: scribblethink.org

    - Date: 2008-03-24 23:35:11
      263

      arXiv:0910.2922v1 [math.PR] 15 OctA stochastic calculus proof of the CLT for the L2 modulus of continuity of local time Jay Rosen∗ January 4, 2014

      Add to Reading List

      Source URL: arxiv.org

      - Date: 2014-01-04 13:44:22
        264

        Appendix 3, Rises and runs, slopes and sums: tools from calculus Sometimes we will want to explore how a quantity changes as a condition is varied. Calculus was invented to do just this. We certainly do not need the full

        Add to Reading List

        Source URL: quantum.bu.edu

        - Date: 2006-08-31 14:33:58
          265

          A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

          Add to Reading List

          Source URL: www.hermit-reasoner.com

          - Date: 2012-02-03 12:06:02
            266

            Constructing Digital-to-Analog Converters and Lambda Calculus Using Die Ike Antkare International Institute of Technology United Slates of Earth

            Add to Reading List

            Source URL: membres-lig.imag.fr

            - Date: 2014-01-09 04:24:28
              267

              BOOKS ABOUT R A ADAMS CALCULUS A COMPLETE COURSE Cityhalllosangeles.com R A ADAMS CALCULUS A CO...

              Add to Reading List

              Source URL: r.cityhalllosangeles.com

              - Date: 2015-03-05 01:55:34
                268

                Summary of Instructional Redesign Components Background for PhysicsThe Physics 160 series (160 &161) at UNM is our Calculus-based University Physics course taught mostly for students in the physical sciences and

                Add to Reading List

                Source URL: stemgateway.unm.edu

                - Date: 2015-09-02 18:28:57
                  269

                  Type Inference, Higher Order Algebra, and Lambda Calculus Björn Lisper School of Innovation, Design, and Engineering Mälardalen University

                  Add to Reading List

                  Source URL: www.idt.mdh.se

                  - Date: 2013-12-11 16:14:46
                    270

                    Feature Review The Naïve Utility Calculus: Computational Principles Underlying Commonsense Psychology

                    Add to Reading List

                    Source URL: sll.stanford.edu

                    - Date: 2016-07-23 19:36:52
                      UPDATE