Register | Log in | FAQ      [?] 

Tag calculus [97 articles]

Recent papers classified by the tag calculus.
  • Symbolic Dynamic Programming for First-Order MDPs
    (2001), pp. 690-700.
    by Craig Boutilier, Raymond Reiter, Bob Price
    posted to calculus situation by zengwei on 2005-06-26 17:22:25 as ** along with 2 people tkollar charlesg
  • Notes on Formalizing Contexts
    (1986), pp. 555-560.
    by John Mccarthy
    edited by Tom Kehler, Stan Rosenschein
    posted to calculus situation by zengwei on 2005-05-23 14:28:43 as ** along with 1 person knud
  • An Epistemological and Didactic Study of a Specific Calculus Reasoning Rule
    Educational Studies in Mathematics, Vol. 60, No. 2. (October 2005), pp. 149-172.
    by Viviane Durand-Guerrier, Gilbert Arsac
    posted to ae argumentation calculus deduction dependence didactic ea historical inquiry logic mathematical natural practice predicate reasoning rule semantics statements syntax by yish on 2005-12-06 13:00:30 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • Promoting students' graphical understanding of the calculus
    Journal of Mathematical Behavior, Vol. 22, No. 4. (2003), pp. 479-495.
    by JS Berry, MA Nyman
    posted to calculus computer experimental exploratory function gmx graphs learning mathematics by yish on 2005-11-03 13:03:48 as ** along with 4 groups mathgamespatterns dtl vds-arg eni
  • From areas to lengths in quantum Regge calculus
    (23 April 2003)
    by Khatsymovsky
    posted to calculus regge by wade_c on 2006-01-15 23:52:23 as *** along with 1 person jrw
  • What is Wrong with the Definition of dy/dx?
    The American Mathematical Monthly, Vol. 101, No. 9. (1994), pp. 855-857.
    by Hugh Thurston
    posted to calculus by tpoff on 2005-11-15 18:48:53 as read
  • Encouraging Mathematical Inquisitiveness
    The Two-Year College Mathematics Journal, Vol. 1, No. 1. (1970), pp. 32-35.
    by Carl L Main
    posted to calculus teaching by tpoff on 2005-11-15 18:25:32 as read
  • The Falling Ladder Paradox
    The College Mathematics Journal, Vol. 27, No. 1. (1996), pp. 49-54.
    by Paul Scholten, Andrew Simoson
    posted to calculus by tpoff on 2005-11-15 21:16:46 as read
  • Calculus: A Liberal Art (Undergraduate Texts in Mathematics)
    (23 April 1998)
    by WM Priestley
    posted to calculus by tpoff on 2005-08-25 02:57:06 as **
  • The join calculus: a language for distributed mobile programming
    (2000)
    by C Fournet, G Gonthier
    posted to calculus join by tlockney on 2007-04-26 04:24:27 as **** along with 1 person tautologico
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • iRho: an imperative rewriting calculus
    (2004), pp. 167-178.
    by Luigi Liquori, Bernard P Serpette
    posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:41:57 as ****
  • Just fast keying in the pi calculus
    (2003)
    by M Abadi, B Blanchet, C Fournet
    posted to applied calculus dos jfk protococol by temporaryidforciteulike on 2007-08-30 20:12:31 as **
  • A Calculus of Mobile Processes, Parts I and II
    No. -86. (1989)
    by Robin Milner, Joachim Parrow, David Walker
    posted to calculus pi by Templarwzy on 2007-02-27 09:21:38 as read along with 2 people stagediver cogumbreiro
  • A Typed Calculus of Synchronous Processes
    (1995)
    by Simon Gay, Rajagopal Nagarajan
    edited by D Kozen
    posted to calculus process by stagediver on 2007-04-05 09:04:03 as **
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to calculus pi-calculus process by stagediver on 2007-04-03 15:02:04 as ** along with 5 people wneumann cogumbreiro calvins neuralwarp jpaulo007
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to calculus process by stagediver on 2007-04-03 15:01:12 as *** along with 12 people and 2 groups bfraser kontakte AndreasSchropp cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
  • A Calculus for Cryptographic Protocols: The Spi Calculus
    (1997), pp. 36-47.
    by Mart∈ Abadi, Andrew D Gordon
    posted to calculus spi by soulism on 2007-04-18 22:12:45 as read along with 2 people adeucali geishagirls
  • Mean Curvature, The Laplacian, and Soap Bubbles
    The American Mathematical Monthly, Vol. 89, No. 3. (1982), pp. 180-198.
    by Robert C Reilly
    posted to variation of mean laplacian curvature calculus by skarthik on 2008-05-20 22:51:13 as *****
  • Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus
    (02 March 1971)
    by Michael Spivak
    posted to book calculus manifolds differential by singhsh on 2008-02-29 18:55:49 as read along with 1 group Medical Image Analysis and Visualization @ OSU
  • Reconciling the Event Calculus With the Situation Calculus
    Journal of Logic Programming, Vol. 31, No. 1-3. (1997), pp. 39-58.
    by Robert A Kowalski, Fariba Sadri
    posted to calculus event-calculus situation-calculus by Scis0000002 on 2007-07-22 14:50:44 as **
  • Happiness Quantified: A Satisfaction Calculus Approach
    (21 June 2004)
    by Bernard van Praag, Ada Ferrer-I-Carbonell
    posted to calculus happiness satisfaction-calculus by Scis0000002 on 2007-07-04 12:35:45 as ** along with 1 person jklugman
  • A Formal Calculus for Categories
    (2003)
    by Mario J Cáccamo
    posted to calculus category-theory enriched-category-theory formal-category-theory formalization inference by scis0000001 on 2007-04-07 13:42:52 as ** along with 2 people Scis0000002 jrw
  • Harmonic calculus on fractals -- A measure--geometric approach
    by U Freiberg, M Zahle
    posted to calculus fractals harmonic measure by scis0000001 on 2006-10-07 16:15:48 as **
  • Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus
    by Kevin H Knuth
    posted to boolean-algebra calculus category-theory corpus database domain-theory effective-topos epistemology experiment extensivity iff inductive-inference information-dynamics information-resource information-retrieval information-system information-theory inquiry-calculus ir lattice logics measurement order-theory partial-order partial-order-theory partition probability-theory query question-answering question-asking question-lattice relevance search search-theory semweb separability stone-duality unified-concept-theory by scis0000001 on 2007-04-16 14:48:55 as ** along with 2 people Scis0000002 Kristoftol
  • The rewriting calculus --- Part
    (2001)
    by H Cirstea, C Kirchner
    posted to calculus rewriting-calculus rewriting-logic by scis0000001 on 2007-04-29 14:53:52 as ** along with 2 people jrw kavabean
  • Categorical Fixed Point Calculus
    Vol. 953 (1995), pp. 159-179.
    by Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap van der Woude
    edited by D Pitt, DE Rydeheard, P Johnstone
    posted to calculus categorical fixed-point by scis0000001 on 2007-04-07 01:49:29 as ** along with 1 person jrw
  • Fixed Point Calculus
    (2000)
    by Ronald Backhouse
    posted to calculus fixed-point by scis0000001 on 2007-04-07 01:29:38 as ** along with 3 people and 1 group greenrd Malcohol AbnerCYH SRG_at_UCD
  • Fractal Images of Formal Systems
    pp. 181-222.
    by Denis, P.S.
    posted to all-logical-theories axiomatic-system calculus formal formal-system fractafold fractal fractality ifs logic logical-graph logical-structures logical-theories lp representation self-similarity sierpinski-triangle tautology truth-table visualisation by scis0000001 on 2006-09-17 17:33:10 as **
  • Linear Logic and Noncommutativity in the Calculus of Structures
    by Lutz Straßburger
    posted to calculus linear-logic noncommutative structure by scis0000001 on 2006-10-12 13:28:05 as **
  • Definitions by Rewriting in the Calculus of Constructions
    (2001), pp. 9-18.
    by Frric Blanqui
    posted to calculus calculus-of-constructions rewriting-logic by scis0000001 on 2007-05-11 09:42:54 as **
  • A PVS Implementation of Stream Calculus
    by For S Flow
    posted to calculus pvs streams by scis0000001 on 2007-04-07 15:04:06 as **
  • An application of coinductive stream calculus to signal flow graphs
    by J Rutten
    posted to calculus flow information-flow signal streams by scis0000001 on 2007-04-07 14:52:46 as **
  • Calculus on the Sierpinski Gasket I: Polynomials, Exponentials and Power Series
    (1 Dec 2003)
    by Jonathan Needleman, Robert S Strichartz, Alexander Teplyaev
    posted to calculus sierpinski-triangle by scis0000001 on 2007-02-18 10:33:39 as ** along with 1 person ansobol
  • A Higher-Order Calculus for Categories
    (2001), pp. 136-153.
    by Mario C&\#225;ccamo, Glynn Winskel
    posted to calculus category-theory formalization by scis0000001 on 2007-05-10 01:57:06 as **
  • Algorithms For Symbolic Linear Convolution
    by Brian L Evans, James H Mcclellan
    posted to convolution calculus algorithm by SamB on 2008-07-11 18:44:00 as ** along with 1 group functional programming
  • Foundational Calculi for Programming Languages
    (1997)
    by Benjamin Pierce
    edited by Allen B Tucker
    posted to calculus lambda pi by rwtodd on 2005-03-17 00:19:49 as **** along with 9 people and 4 groups snowman rgrig jrw cedricboidin pintman sjgaller mrkoot mfrydr ps_ttf Context-driven-testers SRG_at_UCD Desgin-by-Contract complogic
  • A relational calculus and algebra for mathematical programming models
    System Sciences, 1993, Proceeding of the Twenty-Sixth Hawaii International Conference on, Vol. iii (1993), pp. 434-444 vol.3.
    by J Choobineh
    posted to algebra calculus mp relational sql by rrufai on 2008-03-19 02:45:44 as ****
  • The next 700 Krivine machines
    Higher-Order and Symbolic Computation, Vol. 20, No. 3. (2007), pp. 237-255.
    by Rémi Douence, Pascal Fradet
    posted to calculus krivine lambda machine by robdockins on 2008-04-16 04:36:14 as read
  • Calculating Functional Programs
    (2000), pp. 149-202.
    by Jeremy Gibbons
    posted to functional-programming formal-proof calculus by pedagand on 2008-04-11 07:54:21 as read along with 1 person and 1 group namin Lambda the Ultimate
  • A certified type-preserving compiler from lambda calculus to assembly language
    (2007), pp. 54-65.
    by Adam Chlipala
    posted to calculus compiler lambda types by mwmarkland on 2007-09-05 15:42:14 as **
  • Formulation of Hamiltonian Equations for Fractional Variational Problems
    Czechoslovak Journal of Physics, Vol. 55, No. 6. (June 2005), pp. 633-642.
    by Sami Muslih, Dumitru Baleanu
    posted to calculus fractional by mihailolazarevic5 on 2005-10-04 13:58:39 as ***
  • Reconstruction and Approximation of Multidimensional Signals Described by Proper Orthogonal Decompositions
    IEEE Transactions on Signal Processing, Vol. 56, No. 2. (February 2008), pp. 576-587.
    by Femke van Belzen, Siep Weiland
    posted to aliasing calculus decompositions interpolation multidimensional sampling spectral tensor by masaakif on 2008-02-13 15:17:38 as **
  • Unifying proof methodologies of duration calculus and linear temporal logic
    (1999)
    by Z Liu, A Ravn, X Li
    posted to calculus duration linking logic temporal theories tla by lzm on 2008-01-18 15:45:56 as **
  • Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
    (13 April 1998)
    by Ralph J Back, Joakim Wright
    posted to 1998 _book _hardcopy calculus refinement by leonardo on 2007-04-26 05:38:50 as ***
  • A Refinement Calculus for Communicating Processes with State
    (1997)
    by Luming Lai, JW Sanders
    posted to 1997 calculus communication refinement _to_review by leonardo on 2006-07-24 19:06:46 as **
  • Using PVS to Support a Real-Time Refinement Calculus
    (2002)
    by Richard F Paige, Phillip J Brooke
    posted to 2002 calculus pvs refinement _to_review by leonardo on 2006-07-24 18:38:16 as ****
  • Continuous Martingales and Brownian Motion (Grundlehren der mathematischen Wissenschaften)
    (22 December 2004)
    by Daniel Revuz, Marc Yor
    posted to stochastic probability calculus by larrard on 2008-06-18 13:58:49 as ** along with 2 people lehalle nmdang
  • Advanced Calculus
    (01 January 1989)
    by Lynn H Loomis, Shlomo Sternberg
    posted to calculus by kujan on 2007-03-16 16:53:04 as ** along with 1 person ansobol
  • A core calculus of dependency
    (1999), pp. 147-160.
    by Mart∈ Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
    edited by M Ac
    posted to analysis calculus dependency dependent monadic type by kontakte on 2006-02-10 16:57:37 as read along with 5 people amorkan kozima scavadini mrkoot tesissvc
    • Note: You may cite this page as: http://www.citeulike.org/tag/calculus

    Result page: 1 2 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.