Tag calculus [141 articles] Export

Recent papers classified by the tag calculus.

	Newton Revisited: An excursion in Euclidean geometry [My Copy] (26 Oct 2009) by Greg Markowsky posted to newton math kepler-law history calculus by ansobol on 2009-10-27 13:15:30 as
	Beautiful differentiation [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 191-202. by Conal M. Elliott posted to vector_spaces haskell calculus by prahlad on 2009-10-01 17:54:49 as along with 1 group ConcertRG
	Computing compatibility in dynamic service composition [My Copy] Knowledge and Information Systems, Vol. 19, No. 1. (1 April 2009), pp. 107-129. by Zhaohui Wu, Shuiguang Deng, Ying Li, Jian Wu posted to services service_composition service_behaviors dynamic_service component_services calculus algorithm by edm92 on 2009-09-28 06:29:09 as
	Mathematical Analysis II (Universitext) [My Copy] (22 January 2004) by Vladimir A. Zorich posted to leibniz calculus by guillaume on 2009-09-22 16:54:07 as
	Differentiation Under the Integral Sign [My Copy] The American Mathematical Monthly, Vol. 80, No. 6. (1973), pp. 615-627. by Harley Flanders posted to math classics calculus by markoffkin to the group int on 2009-09-07 19:27:57 as
	The History of the Calculus and Its Conceptual Development [My Copy] (01 June 1959) by Carl B. Boyer posted to calculus history_of_mathematics by NitinCR on 2009-07-30 12:35:56 as
	The Calculus Gallery: Masterpieces from Newton to Lebesgue [My Copy] (01 July 2008) by William Dunham posted to calculus history_of_mathematics by NitinCR on 2009-07-30 12:11:53 as along with 2 people ansobol Borelli
	A lambda calculus of objects and method specialization [My Copy] Nordic Journal of Computing, Vol. 1, No. 1. (Spring 1994), pp. 3-37. by Kathleen Fisher, Furio Honsell, John C. Mitchell posted to based calculus delegation lambda logic by network02 on 2009-07-13 16:34:58 as along with 1 person Leho
	Brownian Motion and Stochastic Calculus (Graduate Texts in Mathematics) [My Copy] (25 August 1991) by Ioannis Karatzas, Steven E. Shreve posted to book brownian brownian-motion calculus finance motion stochastic stochastic-calculus by hgfernan on 2009-07-04 19:46:01 as along with 3 people lehalle nmdang quianominorleo
	Classical Potential Theory and Its Probabilistic Counterpart (Classics in Mathematics) [My Copy] (01 March 2001) by Joseph L. Doob posted to calculus classical potential probabilistic stochastic stochastic-calculus theory by hgfernan on 2009-07-04 19:37:47 as along with 1 person lehalle
	Mathematical Problems in Image Processing: Partial Differential Equations and the Calculus of Variations (Applied Mathematical Sciences) [My Copy] (01 August 2006) by Gilles Aubert, Pierre Kornprobst posted to calculus differential equation image introduction partial processing variations by csrocha on 2009-06-26 18:16:22 as
	The catwalk task: Reflections and synthesis: Part 2 [My Copy] The Journal of Mathematical Behavior, Vol. 27, No. 4. (2008), pp. 255-263. by Emiliano Vega, Shawn Hicks posted to calculus by smartins on 2009-06-17 12:18:31 as
	Multipurpose Professional Growth Sequence: The catwalk problem as a paradigmatic example [My Copy] The Journal of Mathematical Behavior, Vol. 27, No. 4. (2008), pp. 246-249. by Chris Rasmussen posted to calculus by smartins on 2009-06-17 12:16:39 as
	The catwalk task: Reflections and synthesis: Part 1 [My Copy] The Journal of Mathematical Behavior, Vol. 27, No. 4. (2008), pp. 250-254. by Steven Case posted to calculus by smartins on 2009-06-17 12:13:19 as
	Following the cat: A preface for the next three papers [My Copy] The Journal of Mathematical Behavior, Vol. 27, No. 4. (2008), pp. 243-245. by Bob Speiser, Chuck Walter posted to calculus by smartins on 2009-06-17 12:11:17 as
	You could simplify calculus [My Copy] (22 May 2009) by Michael Livshits posted to axiom calculus by ansobol on 2009-05-25 05:45:16 as
	Towards an Architecture for Cognitive Vision using Qualitative Spario-Temporal Representations and Abduction [My Copy] In In Spatial Cognition III (2002), pp. 232-248. by A. G. Cohn, D. R. Magee, A. Galata, D. C. Hogg, S. M. Hazarika posted to calculus cognitive inference logic spatial temporal vision by mcgrathm on 2009-05-19 07:52:55 as
	Spatio-temporal representation and reasoning based on RCC-8 [My Copy] In In Proceedings of the seventh Conference on Principles of Knowledge Representation and Reasoning, KR2000 (2000), pp. 3-14. by Frank Wolter, Michael Zakharyaschev posted to calculus logic spatial temporal by mcgrathm on 2009-05-19 07:08:59 as
	Featherweight Java: a minimal core calculus for Java and GJ [My Copy] ACM Trans. Program. Lang. Syst., Vol. 23, No. 3. (2001), pp. 396-450. by Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler posted to atsushi calculus igarashi lambda by jackalope13 on 2009-05-09 04:31:49 as along with 3 people dvanhorn mattmight fvogels
	Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity [My Copy] (2002) by Alfonso Gerevini, Bernhard Nebel posted to calculus logic spatial temporal by mcgrathm on 2009-05-03 19:01:47 as
	Graded infinite order jet manifolds [My Copy] (17 Aug 2007) by G. Sardanashvily posted to calculus cohomology differential introduction jet manifolds by Pomm on 2009-05-02 18:42:27 as
	Calculus before Cannon [My Copy] The Science News-Letter, Vol. 41, No. 12. (1942), pp. 186-188. posted to calculus by dsquared on 2009-04-23 02:34:07 as
	Fast and Simple Calculus on Tensors in the Log-Euclidean Framework [My Copy] Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005 (2005), pp. 115-122. by Vincent Arsigny, Pierre Fillard, Xavier Pennec, Nicholas Ayache posted to calculus diffeomorphic log-euclidean tensor by nguizard to the group Symmetric registration on 2009-04-21 21:20:30 as along with 1 person njahansh
	Vector Differential Calculus in Statistics [My Copy] by Department O. Biostatistics posted to calculus statistics vector by hlee014 on 2009-04-08 04:17:09 as along with 1 person heishuihe2008
	Derivatives of regular expressions [My Copy] Journal of the ACM, Vol. 11 (1964), pp. 481-494. by Janusz A. Brzozowski posted to calculus regexps by SamB to the group functional programming on 2009-04-01 23:27:30 as
	A Calculus of Untyped Aspect-Oriented Programs [My Copy] ECOOP 2003 -- Object-Oriented Programming (2003), pp. 54-73. by Radha Jagadeesan, Alan Jeffrey, James Riely posted to aspect-oriented calculus by khatchad on 2009-03-25 13:22:43 as along with 1 person KarlKlose
	A Calculus for Cryptographic Protocols: The Spi Calculus [My Copy] In Fourth ACM Conference on Computer and Communications Security (1997), pp. 36-47. by Mart∈ Abadi, Andrew D. Gordon posted to calculus cryptography by josephholsten on 2009-03-11 17:33:27 as along with 1 person maggesi
	A Complete Analysis of Tractability in RCC-8 [My Copy] Qualitative Spatial Reasoning with Topological Information (2002), pp. 183-186. posted to calculus satisfiability spatial by mcgrathm on 2009-02-19 19:10:24 as
	TEMPER: a temporal programmer for time-sensitive control of discrete event systems [My Copy] Systems, Man and Cybernetics, Part A, IEEE Transactions on In Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 31, No. 6. (2001), pp. 485-496. by A. K. Zaidi, A. H. Levis posted to calculus temporal by mcgrathm on 2009-02-19 19:09:22 as
	Computational Complexity of Temporal Constraint Problems [My Copy] by Thomas Drakengren, Peter Jonsson posted to calculus satisfiability temporal by mcgrathm on 2009-02-19 18:15:41 as
	Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation [My Copy] Spatial Information Theory (2001), pp. 431-446. by Alexander Scivos, Bernhard Nebel posted to calculus satisfiability spatial temporal by mcgrathm on 2009-02-19 18:07:59 as
	Notions of computation and monads [My Copy] Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92. by Eugenio Moggi posted to calculus computational denotational effects lambda monad nondeterminism principle relational by varming on 2009-02-07 00:38:42 as along with 4 people and 1 group robotact kozima spl bfraser ConcertRG
	Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus [My Copy] (02 March 1971) by Michael Spivak posted to calculus manifolds math by conal on 2009-01-22 19:01:02 as along with 1 person and 1 group singhsh Medical Image Analysis and Visualization @ OSU
	Modal and temporal logics for processes [My Copy] In Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata (1996), pp. 149-237. by Colin Stirling posted to calculus logic m processtemporal by fierykylin on 2009-01-21 17:44:04 as
	A Calculus of Communicating Systems [My Copy] (1982) by R. Milner posted to calculus calculusbisimulationprocess by fierykylin on 2009-01-20 22:53:41 as along with 1 person mperalta
	Cryptographically sound implementations for communicating processes (extended abstract [My Copy] In 33rd International Colloquium on Automata, Languages and Programming (ICALP), Part II, volume 4052 of LNCS (2006), pp. 83-94. by Pedro Adão, Cédric Fournet posted to calculus relating by eastlilly on 2009-01-13 04:05:57 as
	Computational secrecy by typing for the pi-calculus [My Copy] In In Proc. ASIAN Symp. on Programming Languages and Systems (2006), pp. 253-269. by Martín Abadi, Ricardo Corin, Cédric Fournet posted to calculus relating by eastlilly on 2009-01-13 04:04:45 as
	Mobile Ambients [My Copy] In FoSSaCS '98: Proceedings of the First International Conference on Foundations of Software Science and Computation Structure (1998), pp. 140-155. by Luca Cardelli, Andrew D. Gordon posted to ambient calculus by jonathanbp on 2009-01-05 12:27:59 as along with 1 person jfischer
	Stochastic integration based on simple, symmetric random walks [My Copy] (23 Dec 2007) by Tamás Szabados, Balázs Székely posted to calculus diffusion integration random stochastic walk by rodney on 2008-12-23 04:41:44 as along with 1 person ansobol
	Further PDE methods for weak KAM theory [My Copy] Calculus of Variations and Partial Differential Equations by Lawrence Evans posted to calculus by kykamath on 2008-12-15 21:46:27 as
	Visual Complex Analysis [My Copy] (18 February 1999) by Tristan Needham posted to analysis calculus ownit by dsquared on 2008-12-04 06:17:21 as
	Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra (Second Edition) [My Copy] by Tom M. Apostol posted to books calculus math scanned textbook by brian on 2008-11-26 19:30:25 as
	Vector difference calculus for physical lattice models [My Copy] Physical Review E, Vol. 59, No. 1. (1 January 1999), 1217. by W. Schwalm, B. Moritz, M. Giona, M. Schwalm posted to calculus difference discretization lattice models physical vector by bertelsen on 2008-11-10 19:38:17 as
	A Technique for Integration by Parts [My Copy] The American Mathematical Monthly, Vol. 90, No. 3. (1983), pp. 210-211. by Herbert E. Kasube posted to calculus math by gonzalez on 2008-10-17 06:51:42 as
	Execution Monitoring of High-Level Robot Programs [My Copy] In Principles of Knowledge Representation and Reasoning (1998), pp. 453-465. by Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski posted to calculus execution golog monitoring situation by schiffer on 2008-09-07 15:13:57 as along with 2 people stavros fheintz
	A Spatial Extension to the π Calculus [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)", Vol. 194, No. 3. (20 January 2008), pp. 133-148. by M. John posted to calculus pi pi-calculus by Grobi on 2008-08-09 12:43:15 as along with 4 people and 2 groups jcreed fierykylin mattis23 dagmar dIEMoSIRIS MoSi-Rostock
	A calculus for reasoning about software composition [My Copy] Theor. Comput. Sci., Vol. 331, No. 2-3. (2005), pp. 367-396. by Franz Achermann, Oscar Nierstrasz posted to calculus composition by RalfMitschke on 2008-08-08 12:39:46 as
	Existence and symmetry of minimizers for nonconvex radially symmetric variational problems [My Copy] Calculus of Variations and Partial Differential Equations, Vol. 32, No. 2. (June 2008), pp. 219-236. by Kromer, Stefan posted to calculus by phylisebanner on 2008-08-06 20:55:11 as
	Algorithms For Symbolic Linear Convolution [My Copy] by Brian L. Evans, James H. Mcclellan posted to algorithm calculus convolution by SamB to the group functional programming on 2008-07-11 18:44:00 as
	Continuous Martingales and Brownian Motion (Grundlehren der mathematischen Wissenschaften) [My Copy] (22 December 2004) by Daniel Revuz, Marc Yor posted to calculus probability stochastic by larrard on 2008-06-18 13:58:49 as along with 2 people nmdang lehalle

Note: You may cite this page as: http://www.citeulike.org/tag/calculus

Result page: 1 2 3 Next

lambda	17
logic	17
pi	15
process	9
semantics	8
mathematics	7
pi-calculus	7
temporal	7
math	6
stochastic	6
ae	5
argumentation	5
computer	5
deduction	5
dependence	5
didactic	5
ea	5
experimental	5
exploratory	5
function	5
gmx	5
graphs	5
historical	5
inquiry	5
learning	5
mathematical	5
natural	5
practice	5
predicate	5
programming	5
reasoning	5
rule	5
spatial	5
statements	5
syntax	5
theory	5
algebra	4
category-theory	4
concurrency	4
differential	4
manifolds	4
satisfiability	4
tensor	4
algorithm	3
analysis	3
computability	3
formalism	3
language	3
machine	3
ownit	3
pervasive	3
pnc	3
refinement	3
sequent	3
situation	3
structure	3
vector	3
_to_review	2
abstract	2
ambient	2
behavioral	2
book	2
brownian	2
categorical	2
classics	2
control	2
diffeomorphic	2
distributed	2
fixed-point	2
formalization	2
functional	2
functional-programming	2
geometry	2
history	2
history_of_mathematics	2
inference	2
introduction	2
java	2
languages	2
lattice	2
log-euclidean	2
measure	2
milner	2
monad	2
of	2
proof	2
real	2
regexps	2
relating	2
relational	2
rewriting	2
rewriting-logic	2
sierpinski-triangle	2
statistics	2
stochastic-calculus	2
streams	2
teaching	2
text_book	2
textbook	2
type	2

Tag calculus [141 articles] Export

Related Tags