Sample records for calculus of variations

1. Calculus of variations

CERN Document Server

Elsgolc, L E; Stark, M

1961-01-01

Calculus of Variations aims to provide an understanding of the basic notions and standard methods of the calculus of variations, including the direct methods of solution of the variational problems. The wide variety of applications of variational methods to different fields of mechanics and technology has made it essential for engineers to learn the fundamentals of the calculus of variations. The book begins with a discussion of the method of variation in problems with fixed boundaries. Subsequent chapters cover variational problems with movable boundaries and some other problems; sufficiency

2. Calculus of variations

CERN Document Server

Gelfand, I M

2000-01-01

Based on a series of lectures given by I. M. Gelfand at Moscow State University, this book actually goes considerably beyond the material presented in the lectures. The aim is to give a treatment of the elements of the calculus of variations in a form both easily understandable and sufficiently modern. Considerable attention is devoted to physical applications of variational methods, e.g., canonical equations, variational principles of mechanics, and conservation laws.The reader who merely wishes to become familiar with the most basic concepts and methods of the calculus of variations need on

3. Variational time discretization of geodesic calculus

OpenAIRE

Rumpf, Martin; Wirth, Benedikt

2012-01-01

We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds. We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm, discrete exponential maps, and discrete parallel transport, and we prove convergence to their continuous counterparts. The presented analysis is based on the direct methods in the calculus of variation, on $\\Gamma$-convergence, and on weighted finite ele...

4. Introduction to the calculus of variations

CERN Document Server

Sagan, Hans

1992-01-01

Excellent text provides basis for thorough understanding of the problems, methods and techniques of the calculus of variations and prepares readers for the study of modern optimal control theory. Treatment limited to extensive coverage of single integral problems in one and more unknown functions. Carefully chosen variational problems and over 400 exercises. ""Should find wide acceptance as a text and reference.""-American Mathematical Monthly. 1969 edition. Bibliography.

5. Introduction to the calculus of variations

CERN Document Server

Dacorogna, Bernard

2004-01-01

The calculus of variations is one of the oldest subjects in mathematics, yet is very much alive and is still evolving. Besides its mathematical importance and its links to other branches of mathematics, such as geometry or differential equations, it is widely used in physics, engineering, economics and biology. This book serves both as a guide to the expansive existing literature and as an aid to the non-specialist - mathematicians, physicists, engineers, students or researchers - in discovering the subjects most important problems, results and techniques. Despite the aim of addressing non-spe

6. Calculus of Variations with Fractional and Classical Derivatives

CERN Document Server

Odzijewicz, Tatiana

2010-01-01

We give a proper fractional extension of the classical calculus of variations. Necessary optimality conditions of Euler-Lagrange type for variational problems containing both fractional and classical derivatives are proved. The fundamental problem of the calculus of variations with mixed integer and fractional order derivatives as well as isoperimetric problems are considered.

7. Calculus of variations and optimal control theory a concise introduction

CERN Document Server

Liberzon, Daniel

2011-01-01

This textbook offers a concise yet rigorous introduction to calculus of variations and optimal control theory, and is a self-contained resource for graduate students in engineering, applied mathematics, and related subjects. Designed specifically for a one-semester course, the book begins with calculus of variations, preparing the ground for optimal control. It then gives a complete proof of the maximum principle and covers key topics such as the Hamilton-Jacobi-Bellman theory of dynamic programming and linear-quadratic optimal control. Calculus of Variations and Optimal Control Theory

8. Quantum variational calculus

CERN Document Server

Malinowska, Agnieszka B

2014-01-01

This Brief puts together two subjects, quantum and variational calculi by considering variational problems involving Hahn quantum operators. The main advantage of its results is that they are able to deal with nondifferentiable (even discontinuous) functions, which are important in applications. Possible applications in economics are discussed. Economists model time as continuous or discrete. Although individual economic decisions are generally made at discrete time intervals, they may well be less than perfectly synchronized in ways discrete models postulate. On the other hand, the usual assumption that economic activity takes place continuously, is nothing else than a convenient abstraction that in many applications is far from reality. The Hahn quantum calculus helps to bridge the gap between the two families of models: continuous and discrete. Quantum Variational Calculus is self-contained and unified in presentation. It provides an opportunity for an introduction to the quantum calculus of variations fo...

9. Calculus of variations with fractional derivatives and fractional integrals

OpenAIRE

Almeida, Ricardo; Delfim F. M. Torres

2009-01-01

We prove Euler-Lagrange fractional equations and sufficient optimality conditions for problems of the calculus of variations with functionals containing both fractional derivatives and fractional integrals in the sense of Riemann-Liouville.

10. ISOPERIMETRIC PROBLEMS OF THE CALCULUS OF VARIATIONS WITH FRACTIONAL DERIVATIVES

Institute of Scientific and Technical Information of China (English)

Ricardo Almeida; Rui A. C. Ferreira; Delfim F. M. Torres

2012-01-01

In this article,we study isoperimetric problems of the calculus of variations with left and right Riemann-Liouville fractional derivatives. Both situations when the lower bound of the variational integrals coincide and do not coincide with the lower bound of the fractional derivatives are considered.

11. Isoperimetric problems of the calculus of variations with fractional derivatives

OpenAIRE

Almeida, Ricardo; Ferreira, Rui A. C.; Delfim F. M. Torres

2012-01-01

In this article, we study isoperimetric problems of the calculus of variations with left and right Riemann-Liouville fractional derivatives. Both situations when the lower bound of the variational integrals coincide and do not coincide with the lower bound of the fractional derivatives are considered.

12. The early period of the calculus of variations

CERN Document Server

Freguglia, Paolo

2016-01-01

This monograph explores the early development of the calculus of variations in continental Europe during the Eighteenth Century by illustrating the mathematics of its founders. Closely following the original papers and correspondences of Euler, Lagrange, the Bernoullis, and others, the reader is immersed in the challenge of theory building. We see what the founders were doing, the difficulties they faced, the mistakes they made, and their triumphs. The authors guide the reader through these works with instructive commentaries and complements to the original proofs, as well as offering a modern perspective where useful. The authors begin in 1697 with Johann Bernoulli’s work on the brachystochrone problem and the events leading up to it, marking the dawn of the calculus of variations. From there, they cover key advances in the theory up to the development of Lagrange’s δ-calculus, including: • The isoperimetrical problems • Shortest lines and geodesics • Euler’s Methodus Inveniendi and the two Addi...

13. A formalism for the calculus of variations with spinors

Science.gov (United States)

Bäckdahl, Thomas; Valiente Kroon, Juan A.

2016-02-01

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors.

14. A formalism for the calculus of variations with spinors

International Nuclear Information System (INIS)

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors

15. A formalism for the calculus of variations with spinors

Energy Technology Data Exchange (ETDEWEB)

Bäckdahl, Thomas, E-mail: thobac@chalmers.se [The School of Mathematics, University of Edinburgh, JCMB 6228, Peter Guthrie Tait Road, Edinburgh EH9 3FD, United Kingdom and Mathematical Sciences - Chalmers University of Technology and University of Gothenburg - SE-412 96 Gothenburg (Sweden); Valiente Kroon, Juan A., E-mail: j.a.valiente-kroon@qmul.ac.uk [School of Mathematical Sciences, Queen Mary, University of London, Mile End Road, London E1 4NS (United Kingdom)

2016-02-15

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As a part of this formalism, we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e., SL(2, ℂ)) 2-spinors as well as to space (i.e., SU(2, ℂ)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors.

16. Multiple integrals in the calculus of variations

CERN Document Server

Morrey, Charles B

1966-01-01

From the reviews: "…the book contains a wealth of material essential to the researcher concerned with multiple integral variational problems and with elliptic partial differential equations. The book not only reports the researches of the author but also the contributions of his contemporaries in the same and related fields. The book undoubtedly will become a standard reference for researchers in these areas. …The book is addressed mainly to mature mathematical analysts. However, any student of analysis will be greatly rewarded by a careful study of this book." M. R. Hestenes in Journal of Optimization Theory and Applications "The work intertwines in masterly fashion results of classical analysis, topology, and the theory of manifolds and thus presents a comprehensive treatise of the theory of multiple integral variational problems." L. Schmetterer in Monatshefte für Mathematik "The book is very clearly exposed and contains the last modern theory in this domain. A comprehensive bibliography ends the book...

17. Necessary optimality conditions for the calculus of variations on time scales

OpenAIRE

Ferreira, Rui A. C.; Torres, Delfim F. M.

2007-01-01

We study more general variational problems on time scales. Previous results are generalized by proving necessary optimality conditions for (i) variational problems involving delta derivatives of more than the first order, and (ii) problems of the calculus of variations with delta-differential side conditions (Lagrange problem of the calculus of variations on time scales).

18. Necessary p-th order optimality conditions for irregular Lagrange problem in calculus of variations

OpenAIRE

Prusińska, Agnieszka; Tret'yakov, Alexey

2014-01-01

The paper is devoted to singular calculus of variations problems with constraints which are not regular mappings at the solution point, e.i. its derivatives are not surjective. We pursue an approach based on the constructions of the p-regularity theory. For p-regular calculus of variations problem we present necessary conditions for optimality in singular case and illustrate our results by classical example of calculus of variations problem.

19. The principle of stationary action in the calculus of variations

CERN Document Server

López, E; Vallejo, J A

2012-01-01

We review some techniques from non-linear analysis in order to investigate critical paths for the action functional in the calculus of variations applied to physics. Previous attempts to analyse when these are minima ex- ist, but mainly based on physical reasoning and only for a restricted class of models. Our main intention in this regard is to develop precise mathematical conditions for critical paths to be minimum solutions in a variety of situations. Our claim is that, with a few techniques, a systematic analysis (including the domain for which critical points are genuine minima) of non-trivial models is possible. We present specific models arising in modern physical theories in order to make clear the ideas here exposed.

20. Advanced methods in the fractional calculus of variations

CERN Document Server

Malinowska, Agnieszka B; Torres, Delfim F M

2015-01-01

This brief presents a general unifying perspective on the fractional calculus. It brings together results of several recent approaches in generalizing the least action principle and the Euler–Lagrange equations to include fractional derivatives. The dependence of Lagrangians on generalized fractional operators as well as on classical derivatives is considered along with still more general problems in which integer-order integrals are replaced by fractional integrals. General theorems are obtained for several types of variational problems for which recent results developed in the literature can be obtained as special cases. In particular, the authors offer necessary optimality conditions of Euler–Lagrange type for the fundamental and isoperimetric problems, transversality conditions, and Noether symmetry theorems. The existence of solutions is demonstrated under Tonelli type conditions. The results are used to prove the existence of eigenvalues and corresponding orthogonal eigenfunctions of fractional Stur...

1. Function-valued adaptive dynamics and the calculus of variations.

Science.gov (United States)

Parvinen, Kalle; Dieckmann, Ulf; Heino, Mikko

2006-01-01

Adaptive dynamics has been widely used to study the evolution of scalar-valued, and occasionally vector-valued, strategies in ecologically realistic models. In many ecological situations, however, evolving strategies are best described as function-valued, and thus infinite-dimensional, traits. So far, such evolution has only been studied sporadically, mostly based on quantitative genetics models with limited ecological realism. In this article we show how to apply the calculus of variations to find evolutionarily singular strategies of function-valued adaptive dynamics: such a strategy has to satisfy Euler's equation with environmental feedback. We also demonstrate how second-order derivatives can be used to investigate whether or not a function-valued singular strategy is evolutionarily stable. We illustrate our approach by presenting several worked examples. PMID:16012801

2. On the minimizers of calculus of variations problems in Hilbert spaces

KAUST Repository

Gomes, Diogo A.

2014-01-19

The objective of this paper is to discuss existence, uniqueness and regularity issues of minimizers of one dimensional calculus of variations problem in Hilbert spaces. © 2014 Springer-Verlag Berlin Heidelberg.

3. Solution of problems in calculus of variations via He's variational iteration method

International Nuclear Information System (INIS)

In the modeling of a large class of problems in science and engineering, the minimization of a functional is appeared. Finding the solution of these problems needs to solve the corresponding ordinary differential equations which are generally nonlinear. In recent years He's variational iteration method has been attracted a lot of attention of the researchers for solving nonlinear problems. This method finds the solution of the problem without any discretization of the equation. Since this method gives a closed form solution of the problem and avoids the round off errors, it can be considered as an efficient method for solving various kinds of problems. In this research He's variational iteration method will be employed for solving some problems in calculus of variations. Some examples are presented to show the efficiency of the proposed technique

4. Variational calculus with constraints on general algebroids

International Nuclear Information System (INIS)

Variational calculus on a vector bundle E equipped with a structure of a general algebroid is developed, together with the corresponding analogs of Euler-Lagrange equations. Constrained systems are introduced in the variational and geometrical settings. The constrained Euler-Lagrange equations are derived for analogs of holonomic, vakonomic and nonholonomic constraints. This general model covers the majority of first-order Lagrangian systems which are present in the literature and reduces to the standard variational calculus and the Euler-Lagrange equations in classical mechanics for E = TM

5. Regularity of solutions to higher-order integrals of the calculus of variations

CERN Document Server

Ammi, Moulay Rchid Sidi

2007-01-01

We obtain new regularity conditions for problems of calculus of variations with higher-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main regularity result asserts that autonomous integral functionals with a Lagrangian having coercive partial derivatives with respect to the higher-order derivatives admit only minimizers with essentially bounded derivatives.

6. On the inverse problem of the calculus of variations in field theory

International Nuclear Information System (INIS)

The inverse problem of the calculus of variations is investigated in the case of field theory. Uniqueness of the action principle is demonstrated for the vector Laplace equation in a non-decomposable Riemannian space, as well as for the harmonic map equation. (author)

7. Advanced engineering analysis the calculus of variations and functional analysis with applications in mechanics

CERN Document Server

Lebedev, Leonid P; Eremeyev, Victor A

2012-01-01

Advanced Engineering Analysis is a textbook on modern engineering analysis, covering the calculus of variations, functional analysis, and control theory, as well as applications of these disciplines to mechanics. The book offers a brief and concise, yet complete explanation of essential theory and applications. It contains exercises with hints and solutions, ideal for self-study.

8. The Delta-nabla Calculus of Variations for Composition Functionals on Time Scales

OpenAIRE

Dryl, Monika; Torres, Delfim F. M.

2012-01-01

We develop the calculus of variations on time scales for a functional that is the composition of a certain scalar function with the delta and nabla integrals of a vector valued field. Euler-Lagrange equations, transversality conditions, and necessary optimality conditions for isoperimetric problems, on an arbitrary time scale, are proved. Interesting corollaries and examples are presented.

9. On the gauge structure of the calculus of variations with constraints

CERN Document Server

Bruno, Danilo; Pagani, Enrico

2011-01-01

A gauge-invariant formulation of constrained variational calculus, based on the introduction of the bundle of affine scalars over the configuration manifold, is presented. In the resulting setup, the Lagrangian is replaced by a section of a suitable principal fibre bundle over the velocity space. A geometric rephrasement of Pontryagin's maximum principle, showing the equivalence between a constrained variational problem in the state space and a canonically associated free one in a higher affine bundle, is proved.

10. Symbolic Computation in the Calculus of Variations: Determination of Symmetries and Conservation Laws (in Portuguese)

OpenAIRE

Gouveia, Paulo D. F.; Delfim F. M. Torres

2004-01-01

English version of abstract: The dynamic optimization problems treated by the calculus of variations are usually solved with the help of the 2nd order Euler-Lagrange differential equations. These equations are, generally speaking, nonlinear, and very hard to solve. One way to address the problem is to obtain conservation laws of lower order than those of the corresponding Euler-Lagrange equations. While in Physics and Economics the question of existence of conservation laws is treated in a ra...

11. Variational calculus with constraints on general algebroids

OpenAIRE

Grabowska, Katarzyna; Grabowski, Janusz

2007-01-01

Variational calculus on a vector bundle E equipped with a structure of a general algebroid is developed, together with the corresponding analogs of Euler-Lagrange equations. Constrained systems are introduced in the variational and in the geometrical setting. The constrained Euler-Lagrange equations are derived for analogs of holonomic, vakonomic and nonholonomic constraints. This general model covers majority of first-order Lagrangian systems which are present in the literature and reduces t...

12. Fractional variational calculus in terms of a combined Caputo derivative

CERN Document Server

Malinowska, Agnieszka B

2010-01-01

We generalize the fractional Caputo derivative to the fractional derivative ${^CD^{\\alpha,\\beta}_{\\gamma}}$, which is a convex combination of the left Caputo fractional derivative of order $\\alpha$ and the right Caputo fractional derivative of order $\\beta$. The fractional variational problems under our consideration are formulated in terms of ${^CD^{\\alpha,\\beta}_{\\gamma}}$. The Euler-Lagrange equations for the basic and isoperimetric problems, as well as transversality conditions, are proved.

13. A fractional calculus of variations for multiple integrals with application to vibrating string

OpenAIRE

Almeida, R; Malinowska, A. B.; Torres, D. F. M.

2010-01-01

We introduce a fractional theory of the calculus of variations for multiple integrals. Our approach uses the recent notions of Riemann-Liouville fractional derivatives and integrals in the sense of Jumarie. The main results provide fractional versions of the theorems of Green and Gauss, fractional Euler-Lagrange equations, and fractional natural boundary conditions. As an application we discuss the fractional equation of motion of a vibrating string. © 2010 American Institute of Physics. C...

14. A General Delta-Nabla Calculus of Variations on Time Scales with Application to Economics

OpenAIRE

Dryl, Monika; Torres, Delfim F. M.

2014-01-01

We consider a general problem of the calculus of variations on time scales with a cost functional that is the composition of a certain scalar function with delta and nabla integrals of a vector valued field. Euler-Lagrange delta-nabla differential equations are proved, which lead to important insights in the process of discretization. Application of the obtained results to a firm that wants to program its production and investment policies to reach a given production rate and to maximize its ...

15. Classical mechanics with calculus of variations and optimal control an intuitive introduction

CERN Document Server

Levi, Mark

2014-01-01

This is an intuitively motivated presentation of many topics in classical mechanics and related areas of control theory and calculus of variations. All topics throughout the book are treated with zero tolerance for unrevealing definitions and for proofs which leave the reader in the dark. Some areas of particular interest are: an extremely short derivation of the ellipticity of planetary orbits; a statement and an explanation of the "tennis racket paradox"; a heuristic explanation (and a rigorous treatment) of the gyroscopic effect; a revealing equivalence between the dynamics of a particle and statics of a spring; a short geometrical explanation of Pontryagin's Maximum Principle, and more. In the last chapter, aimed at more advanced readers, the Hamiltonian and the momentum are compared to forces in a certain static problem. This gives a palpable physical meaning to some seemingly abstract concepts and theorems. With minimal prerequisites consisting of basic calculus and basic undergraduate physics, this boo...

16. Presymplectic current and the inverse problem of the calculus of variations

International Nuclear Information System (INIS)

The inverse problem of the calculus of variations asks whether a given system of partial differential equations (PDEs) admits a variational formulation. We show that the existence of a presymplectic form in the variational bicomplex, when horizontally closed on solutions, allows us to construct a variational formulation for a subsystem of the given PDE. No constraints on the differential order or number of dependent or independent variables are assumed. The proof follows a recent observation of Bridges, Hydon, and Lawson [Math. Proc. Cambridge Philos. Soc. 148(01), 159–178 (2010)] and generalizes an older result of Henneaux [Ann. Phys. 140(1), 45–64 (1982)] from ordinary differential equations (ODEs) to PDEs. Uniqueness of the variational formulation is also discussed

17. Generalized transversality conditions for the Hahn quantum variational calculus

OpenAIRE

Malinowska, Agnieszka B.; Martins, Natalia

2012-01-01

We prove optimality conditions for generalized quantum variational problems with a Lagrangian depending on the free end-points. Problems of calculus of variations of this type cannot be solved using the classical theory.

18. Constrained variational calculus: the second variation (part I)

CERN Document Server

Massa, Enrico; Pagani, Enrico; Luria, Gianvittorio

2010-01-01

This paper is a direct continuation of arXiv:0705.2362 . The Hamiltonian aspects of the theory are further developed. Within the framework provided by the first paper, the problem of minimality for constrained calculus of variations is analyzed among the class of differentiable curves. A necessary and sufficient condition for minimality is proved.

19. Geometrical treatment of non-potential interactions: the exterior variational calculus, dynamical systems, physical 1-forms and variational selfadjointness

International Nuclear Information System (INIS)

A mathematical objective of this paper is to provide geometrical formulation of the integrability conditions for the existence of an action functional, that is, to provide a geometrical counterpart (similar to that by Abraham, Marsden, and Hughes) of the variational and functional approach to self-adjointness. This objective is achieved via the exterior variational calculus, an exterior differential calculus on the vector space of functions depending on time or space time, using from the outset extensively the concept of functional differentiation as its foundation. Variational self-adjointness equals the variational closure of the physical 1-form, the vanishing of a generalized curl-operation applied to the equations of motion. The convenience of this more formal approach is demonstrated, not only when deriving the conditions of variational self-adjointness for materials of differential type of arbitrary order (particles or fields), using roughly no more than Dirac's delta-distributions, but also when treating materials of a broader class (including causal and acausal constitutive functionals, materials of rate type, integral type, etc.). A physical objective of this paper is achieved by pointing out that, as physics is primarily concerned with the solutions of the evolution equations, i.e., with the set of the zero points of the physical 1-form, an equivalence relation among the physical 1-forms on the infinite dimensional vector space of functions is constructed by leaving the set of their zero points unchanged. Using this result, a direct Lagrangian universality is indicated and an almost one presented. Moreover, all physical 1-forms connected by invertible supermatrices (thus mixing the evolution law of different times or space-time) are equivalent. Choosing these supermatrices to be diagonal in time or space-time yields the indirect analytical representation factors

20. Calculus

CERN Document Server

Jones, Patrick

2014-01-01

Practice makes perfect-and helps deepen your understanding of calculus 1001 Calculus Practice Problems For Dummies takes you beyond the instruction and guidance offered in Calculus For Dummies, giving you 1001 opportunities to practice solving problems from the major topics in your calculus course. Plus, an online component provides you with a collection of calculus problems presented in multiple-choice format to further help you test your skills as you go. Gives you a chance to practice and reinforce the skills you learn in your calculus courseHelps you refine your understanding of calculusP

1. Calculus of one variable

CERN Document Server

Grossman, Stanley I

1986-01-01

Calculus of One Variable, Second Edition presents the essential topics in the study of the techniques and theorems of calculus.The book provides a comprehensive introduction to calculus. It contains examples, exercises, the history and development of calculus, and various applications. Some of the topics discussed in the text include the concept of limits, one-variable theory, the derivatives of all six trigonometric functions, exponential and logarithmic functions, and infinite series.This textbook is intended for use by college students.

2. CALCULUS OF VARIATIONS WITH DIRICHLET BOUNDARY VALUE PROBLEM FOR PERTURBED SECOND-ORDER DIFFERENTIAL EQUATIONS ON A HALF-LINE

Institute of Scientific and Technical Information of China (English)

2006-01-01

Dirichlet boundary value problems for perturbed second-order differential equations on a half line are investigated in this paper. The methods mainly depend on the calculus of variations to the classical functionals. Sufficient conditions are obtained for the existence of the solutions.

3. Fundamentals of calculus

CERN Document Server

Morris, Carla C

2015-01-01

Fundamentals of Calculus encourages students to use power, quotient, and product rules for solutions as well as stresses the importance of modeling skills.  In addition to core integral and differential calculus coverage, the book features finite calculus, which lends itself to modeling and spreadsheets.  Specifically, finite calculus is applied to marginal economic analysis, finance, growth, and decay.  Includes: Linear Equations and FunctionsThe DerivativeUsing the Derivative Exponential and Logarithmic Functions Techniques of DifferentiationIntegral CalculusIntegration TechniquesFunctions

4. Geometric constrained variational calculus. III: The second variation (Part II)

Science.gov (United States)

Massa, Enrico; Luria, Gianvittorio; Pagani, Enrico

2016-03-01

The problem of minimality for constrained variational calculus is analyzed within the class of piecewise differentiable extremaloids. A fully covariant representation of the second variation of the action functional based on a family of local gauge transformations of the original Lagrangian is proposed. The necessity of pursuing a local adaptation process, rather than the global one described in [1] is seen to depend on the value of certain scalar attributes of the extremaloid, here called the corners’ strengths. On this basis, both the necessary and the sufficient conditions for minimality are worked out. In the discussion, a crucial role is played by an analysis of the prolongability of the Jacobi fields across the corners. Eventually, in the appendix, an alternative approach to the concept of strength of a corner, more closely related to Pontryagin’s maximum principle, is presented.

5. Calculus

CERN Document Server

Grossman, Stanley I

1981-01-01

Calculus, Second Edition discusses the techniques and theorems of calculus. This edition introduces the sine and cosine functions, distributes ?-? material over several chapters, and includes a detailed account of analytic geometry and vector analysis.This book also discusses the equation of a straight line, trigonometric limit, derivative of a power function, mean value theorem, and fundamental theorems of calculus. The exponential and logarithmic functions, inverse trigonometric functions, linear and quadratic denominators, and centroid of a plane region are likewise elaborated. Other topics

6. Calculus

CERN Document Server

Larson, Ron

2014-01-01

The Larson CALCULUS program has a long history of innovation in the calculus market. It has been widely praised by a generation of students and professors for its solid and effective pedagogy that addresses the needs of a broad range of teaching and learning styles and environments. Each title is just one component in a comprehensive calculus course program that carefully integrates and coordinates print, media, and technology products for successful teaching and learning.

7. The DuBois-Reymond Fundamental Lemma of the Fractional Calculus of Variations and an Euler-Lagrange Equation Involving only Derivatives of Caputo

OpenAIRE

Lazo, Matheus J.; Delfim F. M. Torres

2012-01-01

Derivatives and integrals of non-integer order were introduced more than three centuries ago, but only recently gained more attention due to their application on nonlocal phenomena. In this context, the Caputo derivatives are the most popular approach to fractional calculus among physicists, since differential equations involving Caputo derivatives require regular boundary conditions. Motivated by several applications in physics and other sciences, the fractional calculus of variations is cur...

8. Calculus of variations in the large, existence of trajectories in a domain with boundary, and Whitney's inverted pendulum problem

Science.gov (United States)

Bolotin, S. V.; Kozlov, V. V.

2015-10-01

For non-autonomous Lagrangian systems we introduce the notion of a dynamically convex domain with respect to the Lagrangian. We establish the solubility of boundary-value problems in compact dynamically convex domains. If the Lagrangian is time-periodic, then such a domain contains a periodic trajectory. The proofs use the Hamilton principle and known tools of the calculus of variations in the large. Our general results are applied to Whitney's problem on the existence of motions of an inverted pendulum without falls.

9. The absolute differential calculus (calculus of tensors)

CERN Document Server

Levi-Civita, Tullio

2013-01-01

Written by a towering figure of twentieth-century mathematics, this classic examines the mathematical background necessary for a grasp of relativity theory. Tullio Levi-Civita provides a thorough treatment of the introductory theories that form the basis for discussions of fundamental quadratic forms and absolute differential calculus, and he further explores physical applications.Part one opens with considerations of functional determinants and matrices, advancing to systems of total differential equations, linear partial differential equations, algebraic foundations, and a geometrical intro

10. Example Solar Electric Propulsion System asteroid tours using variational calculus

Science.gov (United States)

Burrows, R. R.

1985-01-01

Exploration of the asteroid belt with a vehicle utilizing a Solar Electric Propulsion System has been proposed in past studies. Some of those studies illustrated multiple asteroid rendezvous with trajectories obtained using approximate methods. Most of the inadequacies of those approximations are overcome in this paper, which uses the calculus of variations to calculate the trajectories and associated payloads of four asteroid tours. The modeling, equations, and solution techniques are discussed, followed by a presentation of the results.

11. Fractional calculus with applications in mechanics wave propagation, impact and variational principles

CERN Document Server

Atanackovic, Teodor M; Stankovic, Bogoljub; Zorica, Du?an

2014-01-01

The books Fractional Calculus with Applications in Mechanics: Vibrations and Diffusion Processes and Fractional Calculus with Applications in Mechanics: Wave Propagation, Impact and Variational Principles contain various applications of fractional calculus to the fields of classical mechanics. Namely, the books study problems in fields such as viscoelasticity of fractional order, lateral vibrations of a rod of fractional order type, lateral vibrations of a rod positioned on fractional order viscoelastic foundations, diffusion-wave phenomena, heat conduction, wave propagation, forced oscillati

12. Eliminator of dental calculus

OpenAIRE

2011-01-01

Bachelor’s thesis is focused on system design of eliminator of dental calculus operating at a frequency of 27 kHz and reaching the intensity of ultrasound on the applicator tip to 5 W/cm2. The work analyzes problems of dental calculus, principle of ultrasonic waves and the physical phenomena occurring in the environment, which it passes. Another part of the work describes the creation of waves using ultrasonic transducer and the amplification of ultrasound in the waveguide. Practical part of ...

13. Schaum's outline of calculus

CERN Document Server

Ayres, Frank

1999-01-01

Students can gain a thorough understanding of differential and integral calculus with this powerful study tool. They'll also find the related analytic geometry much easier. The clear review of algebra and geometry in this edition will make calculus easier for students who wish to strengthen their knowledge in these areas. Updated to meet the emphasis in current courses, this new edition of a popular guide­­--more than 104,000 copies were bought of the prior edition--­­includes problems and examples using graphing calculators.

14. Necessary Optimality Conditions for Fractional Action-Like Integrals of Variational Calculus with Riemann-Liouville Derivatives of Order $(\\alpha,\\beta)$

OpenAIRE

El-Nabulsi, Rami Ahmad; Delfim F. M. Torres

2007-01-01

We derive Euler-Lagrange type equations for fractional action-like integrals of the calculus of variations which depend on the Riemann-Liouville derivatives of order $(\\alpha,\\beta)$, $\\alpha > 0$, $\\beta > 0$, recently introduced by J. Cresson and S. Darses. Some interesting consequences are obtained and discussed.

15. An Inverse Problem of the Calculus of Variations on Arbitrary Time Scales

OpenAIRE

Dryl, Monika; Malinowska, Agnieszka B.; Torres, Delfim F. M.

2014-01-01

We consider an inverse extremal problem for variational functionals on arbitrary time scales. Using the Euler-Lagrange equation and the strengthened Legendre condition, we derive a general form for a variational functional that attains a local minimum at a given point of the vector space.

16. The use of Adomian decomposition method for solving problems in calculus of variations

OpenAIRE

Mehdi Dehghan; Mehdi Tatari

2006-01-01

In this paper, a numerical method is presented for finding the solution of some variational problems. The main objective is to find the solution of an ordinary differential equation which arises from the variational problem. This work is done using Adomian decomposition method which is a powerful tool for solving large amount of problems. In this approach, the solution is found in the form of a convergent power series with easily computed components. To show the efficiency of the method, nume...

17. Calculus

CERN Document Server

Spivak, Michael

2006-01-01

Spivak's celebrated textbook is widely held as one of the finest introductions to mathematical analysis. His aim is to present calculus as the first real encounter with mathematics: it is the place to learn how logical reasoning combined with fundamental concepts can be developed into a rigorous mathematical theory rather than a bunch of tools and techniques learned by rote. Since analysis is a subject students traditionally find difficult to grasp, Spivak provides leisurely explanations, a profusion of examples, a wide range of exercises and plenty of illustrations in an easy-going approach that enlightens difficult concepts and rewards effort. Calculus will continue to be regarded as a modern classic, ideal for honours students and mathematics majors, who seek an alternative to doorstop textbooks on calculus, and the more formidable introductions to real analysis.

18. Calculus

CERN Document Server

Grossman, Stanley I

1984-01-01

Calculus, Third Edition emphasizes the techniques and theorems of calculus, including many applied examples and exercises in both drill and applied-type problems.This book discusses shifting the graphs of functions, derivative as a rate of change, derivative of a power function, and theory of maxima and minima. The area between two curves, differential equations of exponential growth and decay, inverse hyperbolic functions, and integration of rational functions are also elaborated. This text likewise covers the fluid pressure, ellipse and translation of axes, graphing in polar coordinates, pro

19. Gaussian and non-Gaussian processes of zero power variation, and related stochastic calculus.

OpenAIRE

Russo, Francesco; Viens, Frederi

2014-01-01

We consider a class of stochastic processes $X$ defined by $X\\left( t\\right) =\\int_{0}^{T}G\\left( t,s\\right) dM\\left( s\\right)$ for $t\\in\\lbrack0,T]$, where $M$ is a square-integrable continuous martingale and $G$ is a deterministic kernel. Let $m$ be an odd integer. Under the assumption that the quadratic variation $\\left[ M\\right]$ of $M$ is differentiable with $\\mathbf{E}\\left[ \\left\\vert d\\left[ M\\right] (t)/dt\\right\\vert ^{m}\\right]$ finite, it is shown that the $m$th power variation ...

20. Calculus of variations in rate of reactions tax using the general pertubation theory

International Nuclear Information System (INIS)

A perturbation expression to calculate the variations in the rates of integral parameters (such as reaction rates) of a reactor using a Time-Independent Generalized Perturbation Theory, was developed. This theory makes use of the concepts of neutron generation and neutron importance with respect to a given process occurring in a system. The application of Time-Dependent Generalized Perturbation Theory to the calculation of Burnup, by using the expressions derived by A. Gandini, along with the perturbation expression derived in the Time Independent Generalized Perturbation Theory, is done. (Author)

1. A modern theory of random variation with applications in stochastic calculus, financial mathematics, and Feynman integration

CERN Document Server

Muldowney, Patrick

2012-01-01

A Modern Theory of Random Variation is a new and radical re-formulation of the mathematical underpinnings of subjects as diverse as investment, communication engineering, and quantum mechanics. Setting aside the classical theory of probability measure spaces, the book utilizes a mathematically rigorous version of the theory of random variation that bases itself exclusively on finitely additive probability distribution functions. In place of twentieth century Lebesgue integration and measure theory, the author uses the simpler concept of Riemann sums, and the non-absolute Riemann-type integration of Henstock. Readers are supplied with an accessible approach to standard elements of probability theory such as the central limmit theorem and Brownian motion as well as remarkable, new results on Feynman diagrams and stochastic integrals. Throughout the book, detailed numerical demonstrations accompany the discussions of abstract mathematical theory, from the simplest elements of the subject to the most complex. I...

2. Fluorescence spectroscopy of dental calculus

International Nuclear Information System (INIS)

The aim of the present study was to investigate the fluorescence properties of dental calculus in comparison with the properties of adjacent unaffected tooth structure using both lasers and LEDs in the UV-visible range for fluorescence excitation. The influence of calculus color on the informative signal is demonstrated. The optimal spectral bands of excitation and registration of the fluorescence are determined

3. Provability Calculus of Constructions

DEFF Research Database (Denmark)

This thesis presents a type system, Provability Calculus of Constructions (PCoC) that can be used for the formalization of logic. In a theorem prover based on the system, the user can extend the prover with new inference rules in a logically consistent manner. This is done by representing PCoC as...... values and data types within PCoC. The new feature of PCoC is that results of the representation of PCoC can be lifted to PCoC itself. The lifting is fully formalized in PCoC, and the logic therefore supports reflection....

4. The Calculus of a Vase

Science.gov (United States)

Scherger, Nicole

2012-01-01

Of the most universal applications in integral calculus are those involved with finding volumes of solids of revolution. These profound problems are typically taught with traditional approaches of the disk and shell methods, after which most calculus curriculums will additionally cover arc length and surfaces of revolution. Even in these visibly…

5. The Basic Principle of Calculus?

Science.gov (United States)

Hardy, Michael

2011-01-01

A simple partial version of the Fundamental Theorem of Calculus can be presented on the first day of the first-year calculus course, and then relied upon repeatedly in assigned problems throughout the course. With that experience behind them, students can use the partial version to understand the full-fledged Fundamental Theorem, with further…

6. Stochastic optimal control as non-equilibrium statistical mechanics: calculus of variations over density and current

International Nuclear Information System (INIS)

In stochastic optimal control (SOC) one minimizes the average cost-to-go, that consists of the cost-of-control (amount of efforts), cost-of-space (where one wants the system to be) and the target cost (where one wants the system to arrive), for a system participating in forced and controlled Langevin dynamics. We extend the SOC problem by introducing an additional cost-of-dynamics, characterized by a vector potential. We propose derivation of the generalized gauge-invariant Hamilton-Jacobi–Bellman equation as a variation over density and current, suggest hydrodynamic interpretation and discuss examples, e.g., ergodic control of a particle-within-a-circle, illustrating non-equilibrium space-time complexity. (fast track communications)

7. Stochastic optimal control as non-equilibrium statistical mechanics: calculus of variations over density and current

Science.gov (United States)

Chernyak, Vladimir Y.; Chertkov, Michael; Bierkens, Joris; Kappen, Hilbert J.

2014-01-01

In stochastic optimal control (SOC) one minimizes the average cost-to-go, that consists of the cost-of-control (amount of efforts), cost-of-space (where one wants the system to be) and the target cost (where one wants the system to arrive), for a system participating in forced and controlled Langevin dynamics. We extend the SOC problem by introducing an additional cost-of-dynamics, characterized by a vector potential. We propose derivation of the generalized gauge-invariant Hamilton-Jacobi-Bellman equation as a variation over density and current, suggest hydrodynamic interpretation and discuss examples, e.g., ergodic control of a particle-within-a-circle, illustrating non-equilibrium space-time complexity.

8. Optimal transport for applied mathematicians calculus of variations, PDEs, and modeling

CERN Document Server

Santambrogio, Filippo

2015-01-01

This monograph presents a rigorous mathematical introduction to optimal transport as a variational problem, its use in modeling various phenomena, and its connections with partial differential equations. Its main goal is to provide the reader with the techniques necessary to understand the current research in optimal transport and the tools which are most useful for its applications. Full proofs are used to illustrate mathematical concepts and each chapter includes a section that discusses applications of optimal transport to various areas, such as economics, finance, potential games, image processing and fluid dynamics. Several topics are covered that have never been previously in books on this subject, such as the Knothe transport, the properties of functionals on measures, the Dacorogna-Moser flow, the formulation through minimal flows with prescribed divergence formulation, the case of the supremal cost, and the most classical numerical methods. Graduate students and researchers in both pure and appl...

9. Stochastic Calculus of Wrapped Compartments

CERN Document Server

Coppo, Mario; Drocco, Maurizio; Grassi, Elena; Troina, Angelo; 10.4204/EPTCS.28.6

2010-01-01

The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Looping Sequences (CLS). While keeping the same expressiveness, CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The main simplification consists in the removal of the sequencing operator, thus lightening the formal treatment of the patterns to be matched in a term (whose complexity in CLS is strongly affected by the variables matching in the sequences). We define a stochastic semantics for this new calculus. As an application we model the interaction between macrophages and apoptotic neutrophils and a mechanism of gene regulation in E.Coli.

10. Hamiltonization of Nonholonomic Systems and the Inverse Problem of the Calculus of Variations

CERN Document Server

Bloch, A M; Mestdag, T

2008-01-01

We introduce a method which allows one to recover the equations of motion of a class of nonholonomic systems by finding instead an unconstrained Hamiltonian system on the full phase space, and to restrict the resulting canonical equations to an appropriate submanifold of phase space. We focus first on the Lagrangian picture of the method and deduce the corresponding Hamiltonian from the Legendre transformation. We illustrate the method with several examples and we discuss its relationship to the Pontryagin maximum principle.

11. Dynamic Visualizations of Calculus Ideas.

Science.gov (United States)

Embse, Charles Vonder

2001-01-01

Presents three fundamental ideas of calculus and explains using the coordinate plane geometrically. Uses Cabri Geometry II to show how computer geometry systems can facilitate student understanding of general conic objects and its dynamic algebraic equations. (KHR)

12. Decidability of Mean Value Calculus

Institute of Scientific and Technical Information of China (English)

LI Xiaoshan

1999-01-01

Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconservative extension of Duration Calculus (DC)[3], MVC increasesthe expressive power but keeps the properties of DC. In this paper wepresent decidability results of MVC. An interesting result is that propositional MVC with chop star operator is still decidable, which develops the results of[4]and[5].

13. The Shape of a Sausage: A Challenging Problem in the Calculus of Variations

Science.gov (United States)

Deakin, Michael A. B.

2010-01-01

Many familiar household objects (such as sausages) involve the maximization of a volume under geometric constraints. A flexible but inextensible membrane bounds a volume which is to be filled to capacity. In the case of the sausage, a full analytic solution is here provided. Other related but more difficult problems seem to demand approximate…

14. Geometric constrained variational calculus I: Piecewise smooth extremals

Science.gov (United States)

Massa, Enrico; Bruno, Danilo; Luria, Gianvittorio; Pagani, Enrico

2015-05-01

A geometric setup for constrained variational calculus is presented. The analysis deals with the study of the extremals of an action functional defined on piecewise differentiable curves, subject to differentiable, non-holonomic constraints. Special attention is paid to the tensorial aspects of the theory. As far as the kinematical foundations are concerned, a fully covariant scheme is developed through the introduction of the concept of infinitesimal control. The standard classification of the extremals into normal and abnormal ones is discussed, pointing out the existence of an algebraic algorithm assigning to each admissible curve a corresponding abnormality index, related to the co-rank of a suitable linear map. Attention is then shifted to the study of the first variation of the action functional. The analysis includes a revisitation of Pontryagin's equations and of the Lagrange multipliers method, as well as a reformulation of Pontryagin's algorithm in Hamiltonian terms. The analysis is completed by a general result, concerning the existence of finite deformations with fixed endpoints.

15. Stochastic Optimal Control as Non-equilibrium Statistical Mechanics: Calculus of Variations over Density and Current

OpenAIRE

Chernyak, Vladimir Y.; Chertkov, Michael; Bierkens, Joris; Kappen, Hilbert J.

2013-01-01

In Stochastic Optimal Control (SOC) one minimizes the average cost-to-go, that consists of the cost-of-control (amount of efforts), cost-of-space (where one wants the system to be) and the target cost (where one wants the system to arrive), for a system participating in forced and controlled Langevin dynamics. We extend the SOC problem by introducing an additional cost-of-dynamics, characterized by a vector potential. We propose derivation of the generalized gauge-invariant Hamilton-Jacobi-Be...

16. Fluorescence detection of dental calculus

International Nuclear Information System (INIS)

This work is devoted to the optimization of fluorescence dental calculus diagnostics in optical spectrum. The optimal wavelengths for fluorescence excitation and registration are determined. Two spectral ranges 620 – 645 nm and 340 – 370 nm are the most convenient for supra- and subgingival calculus determination. The simple implementation of differential method free from the necessity of spectrometer using was investigated. Calculus detection reliability in the case of simple implementation is higher than in the case of spectra analysis at optimal wavelengths. The use of modulated excitation light and narrowband detection of informative signal allows us to decrease essentially its diagnostic intensity even in comparison with intensity of the low level laser dental therapy

17. The Power of Investigative Calculus Projects

Science.gov (United States)

Perrin, John Robert; Quinn, Robert J.

2008-01-01

This article describes investigative calculus projects in which students explore a question or problem of their own construction. Three exemplary pieces of student work are showcased. Investigative calculus projects are an excellent way to foster student understanding and interest in calculus. (Contains 4 figures.)

18. Mathematical Features of the Calculus

Science.gov (United States)

Sauerheber, Richard D.

2010-01-01

The fundamental theorems of the calculus describe the relationships between derivatives and integrals of functions. The value of any function at a particular location is the definite derivative of its integral and the definite integral of its derivative. Thus, any value is the magnitude of the slope of the tangent of its integral at that position,…

19. The Algebra of Schubert Calculus

OpenAIRE

Gatto, Letterio

2004-01-01

A flexible unified framework for both classical and quantum Schubert calculus is proposed. It is based on a natural combinatorial approach relying on the Hasse-Schmidt extension of a certain family of pairwise commuting endomorphisms of an infinite free Z-module M to its exterior algebra.

20. Calculus Students' Understanding of Volume

Science.gov (United States)

Dorko, Allison; Speer, Natasha M.

2013-01-01

Researchers have documented difficulties that elementary school students have in understanding volume. Despite its importance in higher mathematics, we know little about college students' understanding of volume. This study investigated calculus students' understanding of volume. Clinical interview transcripts and written responses to volume…

1. A double large prime variation for small genus hyperelliptic index calculus

OpenAIRE

Gaudry, Pierrick; Thomé, Emmanuel; Thériault, Nicolas; Diem, Claus

2007-01-01

In this article, we examine how the index calculus approach for computing discrete logarithms in small genus hyperelliptic curves can be improved by introducing a double large prime variation. Two algorithms are presented. The first algorithm is a rather natural adaptation of the double large prime variation to the intended context. On heuristic and experimental grounds, it seems to perform quite well but lacks a complete and precise analysis. Our second algorithm is a considerably simplified...

2. A Calculus of Higher-Order Distributed Components

OpenAIRE

Stefani, Jean-Bernard

2003-01-01

This report presents a calculus for higher-order distributed components, the Kell calculus. The calculus can be understood as a direct extension of the higher-order -calculus with programmable locations. The report illustrates the expressive power of the Kell calculus by encoding several process calculi with explicit locations, including Mobile Ambients, the Distributed Join calculus and the . The latter encoding demonstrates that the Kell calculus retains the expressive power of the but in a...

3. Calculus

CERN Document Server

Zandy, Bernard V

2003-01-01

We take great notes-and make learning a snap When it comes to pinpointing the stuff you really need to know, nobody does it better than CliffsNotes. This fast, effective tutorial helps you master core Calculus concepts-from functions, limits, and derivatives to differentials, integration, and definite integrals- and get the best possible grade. At CliffsNotes, we're dedicated to helping you do your best, no matter how challenging the subject. Our authors are veteran teachers and talented writers who know how to cut to the chase- and zero in on the essential information you need to succeed.

4. Solutions manual to accompany Fundamentals of calculus

CERN Document Server

Morris, Carla C

2015-01-01

Solutions Manual to Accompany Fundamentals of Calculus the text that encourages students to use power, quotient, and product rules for solutions as well as stresses the importance of modeling skills.  In addition to core integral and differential calculus coverage, the core book features finite calculus, which lends itself to modeling and spreadsheets.  Specifically, finite calculus is applied to marginal economic analysis, finance, growth, and decay.  Includes: Linear Equations and Functions The Derivative Using the Derivative Exponential and Logarithmic

5. Petri nets semantics ofπ-calculus

Institute of Scientific and Technical Information of China (English)

Zhenhua YU; Yuanli CAI; Haiping XU

2008-01-01

As π-calculus based on the interleaving semantics cannot depict the true concurrency and has few supporting tools,it is translated into Petri nets.π-calculus is divided into basic elements,sequence,concurrency,choice and recursive modules.These modules are translated into Petri nets to construct a complicated system.Petri nets semantics for π-calculus visualize system structure as well as system behaviors.The structural analysis techniques allow direct qualitative analysis of the system properties on the structure of the nets.Finally,Petri nets semantics for π-calculus are illustrated by applying them to mobile telephone systems.

6. The hidden structural rules of the discontinuous Lambek calculus

OpenAIRE

Valentín Fernández Gallart, José Oriol

2014-01-01

The sequent calculus sL for the Lambek calculus L (lambek 58) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule of associativity. This paper proves that the sequent calculus or hypersequent calculus hD of the discontinuous Lambek calculus (Morrill and Valent\\'in), which like sL has no structural rules, is also equivalent to an omega-sorted multimodal calculus mD. More concretely, ...

7. Advanced calculus of several variables

CERN Document Server

Kumar, Devendra

2014-01-01

ADVANCED CALCULUS OF SEVERAL VARIABLES covers important topics of Transformations and topology on Euclidean in n-space Rn Functions of several variables, Differentiation in Rn, Multiple integrals and Integration in Rn. The topics have been presented in a simple clear and coherent style with a number of examples and exercises. Proofs have been made direct and simple. Unsolved problems just after relevant articles in the form of exercises and typical problems followed by suggestions have been given. This book will help the reader work on the problems of Numerical Analysis, Operations Research, Differential Equations and Engineering applications.

8. Aspects of Calculus for Preservice Teachers

Science.gov (United States)

Fothergill, Lee

2011-01-01

The purpose of this study was to compare the perspectives of faculty members who had experience teaching undergraduate calculus and preservice teachers who had recently completed student teaching in regards to a first semester undergraduate calculus course. An online survey was created and sent to recent student teachers and college mathematics…

9. Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, Rene Rydhof

2010-01-01

In this paper, hybrid logic is used to formulate three control flow analyses for Mobile Ambients, a process calculus designed for modelling mobility. We show that hybrid logic is very well-suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be...

10. A Cross-National Study of Calculus

Science.gov (United States)

Chai, Jun; Friedler, Louis M.; Wolff, Edward F.; Li, Jun; Rhea, Karen

2015-01-01

The results from a cross-national study comparing calculus performance of students at East China Normal University (ECNU) in Shanghai and students at the University of Michigan before and after their first university calculus course are presented. Overall, ECNU significantly outperformed Michigan on both the pre- and post-tests, but the Michigan…

11. A functional presentation of Pi　calculus

Institute of Scientific and Technical Information of China (English)

2001-01-01

From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi.The situation is in contrast to that with lambda calculus which has only one class of entities——the lambda terms. We introduce in this paper a process calculus called Lamp in which channels are process names. The language is more uniform than existing process calculi in two aspects: First it has a unified treatment of channels and processes. There is only one class of syntactical entities——processes. Second it has a unified presentation of both first order and higher order process calculi. The language is functional in the sense that lambda calculus is functional.Two bisimulation equivalences, barbed and closed bisimilarities, are proved to coincide.A natural translation from Pi calculus to Lamp is shown to preserve both operational and algebraic semantics. The relationship between lazy lambda calculus and Lamp is discussed.

12. Symmetric π—Calculus

Institute of Scientific and Technical Information of China (English)

傅育熙

1998-01-01

An alternative presentation of the π－calculus is given.This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no difference between input and output prefixes.The point of the symmetric π-calculus is that it has no abstract names.The set of closed names is therefore homogeneous.The π－calculus can be fully embedded into the symmetric π-calculus.The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for further variations.

13. Definition of fractal measures arising from fractional calculus

OpenAIRE

Kolwankar, Kiran M.; Gangal, Anil D.

1998-01-01

It is wellknown that the ordinary calculus is inadequate to handle fractal structures and processes and another suitable calculus needs to be developed for this purpose. Recently it was realized that fractional calculus with suitable constructions does offer such a possibility. This makes it necessary to have a definition of fractal measures based on the fractional calculus so that the fractals can be naturally incorporated in the calculus. With this motivation a definition of fractal measure...

14. Motivation and Study Habits of College Calculus Students: Does Studying Calculus in High School Make a Difference?

Science.gov (United States)

Gibson, Megan

2013-01-01

Due in part to the growing popularity of the Advanced Placement program, an increasingly large percentage of entering college students are enrolling in calculus courses having already taken calculus in high school. Many students do not score high enough on the AP calculus examination to place out of Calculus I, and many do not take the…

15. Applying Change of Variable to Calculus Problems

Science.gov (United States)

Kachapova, Farida; Kachapov, Ilias

2011-01-01

This article describes the technique of introducing a new variable in some calculus problems to help students master the skills of integration and evaluation of limits. This technique is algorithmic and easy to apply.

16. Introductory analysis a deeper view of calculus

CERN Document Server

Bagby, Richard J

2000-01-01

Introductory Analysis addresses the needs of students taking a course in analysis after completing a semester or two of calculus, and offers an alternative to texts that assume that math majors are their only audience. By using a conversational style that does not compromise mathematical precision, the author explains the material in terms that help the reader gain a firmer grasp of calculus concepts.* Written in an engaging, conversational tone and readable style while softening the rigor and theory* Takes a realistic approach to the necessary and accessible level of abstraction for the secondary education students* A thorough concentration of basic topics of calculus* Features a student-friendly introduction to delta-epsilon arguments * Includes a limited use of abstract generalizations for easy use* Covers natural logarithms and exponential functions* Provides the computational techniques often encountered in basic calculus

17. A phenomenological calculus of Wiener description space.

Science.gov (United States)

Richardson, I W; Louie, A H

2007-10-01

The phenomenological calculus is a categorical example of Robert Rosen's modeling relation. This paper is an alligation of the phenomenological calculus and generalized harmonic analysis, another categorical example. Our epistemological exploration continues into the realm of Wiener description space, in which constitutive parameters are extended from vectors to vector-valued functions of a real variable. Inherent in the phenomenology are fundamental representations of time and nearness to equilibrium. PMID:17955459

18. Ordered Models of the Lambda Calculus

OpenAIRE

Salibra, Antonino; Carraro, Alberto

2013-01-01

Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model with bottom element. We also relate the subtractive equations to the open problem of the order-incompleteness of lambda calculus, by studying the connection between the notion of absolute unorderability in a specific point and a weaker notion of subtractivity ...

19. Barbed congruence of the asymmetric chi calculus

Institute of Scientific and Technical Information of China (English)

DONG Xiao-ju; FU Yu-xi

2006-01-01

The chi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification and communication-as-cut-elimination. This paper studies the chi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions:x/x and τ. The investigation on the barbed bisimilarity shows how the property affects the observational theory.Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimilarity have changed greatly compared with the chi calculus. Although the definition of the barbed bisimilarity is very simple, the property of closeness under contexts makes it difficult to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex,but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the barbed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.

20. A double large prime variation for small genus hyperelliptic index calculus

Science.gov (United States)

Gaudry, P.; Thome, E.; Theriault, N.; Diem, C.

2007-03-01

In this article, we examine how the index calculus approach for computing discrete logarithms in small genus hyperelliptic curves can be improved by introducing a double large prime variation. Two algorithms are presented. The first algorithm is a rather natural adaptation of the double large prime variation to the intended context. On heuristic and experimental grounds, it seems to perform quite well but lacks a complete and precise analysis. Our second algorithm is a considerably simplified variant, which can be analyzed easily. The resulting complexity improves on the fastest known algorithms. Computer experiments show that for hyperelliptic curves of genus three, our first algorithm surpasses Pollard's Rho method even for rather small field sizes.

1. More calculus of a single variable

CERN Document Server

Mercer, Peter R

2014-01-01

This book goes beyond the basics of a first course in calculus to reveal the power and richness of the subject. Standard topics from calculus — such as the real numbers, differentiation and integration, mean value theorems, the exponential function — are reviewed and elucidated before digging into a deeper exploration of theory and applications, such as the AGM inequality, convexity, the art of integration, and explicit formulas for π. Further topics and examples are introduced through a plethora of exercises that both challenge and delight the reader. While the reader is thereby exposed to the many threads of calculus, the coherence of the subject is preserved throughout by an emphasis on patterns of development, of proof and argumentation, and of generalization. More Calculus of a Single Variable is suitable as a text for a course in advanced calculus, as a supplementary text for courses in analysis, and for self-study by students, instructors, and, indeed, all connoisseurs of ingenious calculations.

2. Functional calculus for generators of analytic semigroups of operators

OpenAIRE

Lopushansky O.V.; Sharyn S.V.

2012-01-01

We construct a functional calculus for generators of one-parameter boundedanalytic semigroups of operators on a Banach space. The calculus symbol classconsist of the Laplace image of the convolution algebra $cal S'_+$ of tempereddistributions with supports in $[0, infty)$. Domain of constructed calculus isdense in the Banach space.

3. Functional calculus for generators of analytic semigroups of operators

Directory of Open Access Journals (Sweden)

Lopushansky O.V.

2012-06-01

Full Text Available We construct a functional calculus for generators of one-parameter boundedanalytic semigroups of operators on a Banach space. The calculus symbol classconsist of the Laplace image of the convolution algebra $cal S'_+$ of tempereddistributions with supports in $[0, infty$. Domain of constructed calculus isdense in the Banach space.

4. RARE CASE OF GIANT VESICAL CALCULUS

Directory of Open Access Journals (Sweden)

Deepak Ramraj

2015-02-01

Full Text Available Giant vesical calculus is a rare entity. Vesical calculi can be primary (stones form de novo in bladder or secondary to the migrated renal calculi, chronic UTI, bladder outlet obstruction, bladder diverticulum or carcinoma, foreign body and neurogenic bladder. We report a case of an 85year old male patient who presented with history of recurrent episodes of burning micturition, pain abdomen, straining at micturition and diminished stream. Ultrasonography and X ray KUB showed a large vesical calculus. Patient underwent a n Open Cystolithomy and a large calculus of size 9x13cm weighing 310gms was removed. Bladder wall hypertrophy was seen with signs of inflammation. Bladder mucosal biopsy was taken which was normal on histopathological examination. Post - operative recovery was uneventful

5. Standardization of a Call-By-Value Lambda-Calculus

OpenAIRE

Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, Simona

2015-01-01

We study an extension of Plotkin's call-by-value lambda-calculus by means of two commutation rules (sigma-reductions). Recently, it has been proved that this extended calculus provides elegant characterizations of many semantic properties, as for example solvability. We prove a standardization theorem for this calculus by generalizing Takahashi's approach of parallel reductions. The standardization property allows us to prove that our calculus is conservative with respect to the Plotkin's one...

6. Calculus of tensors and differential forms

CERN Document Server

Sinha, Rajnikant

2014-01-01

Calculus of tensors and differential forms is an introductory-level textbook. Through this book, students will familiarize themselves with tools they need in order to use for further study on general relativity and research, such as affine tensors, tensor calculus on manifolds, relative tensors, Lie derivatives, wedge products, differential forms, and Stokes' theorem. The treatment is concrete and in detail, so that abstract concepts do not deter even physics and engineering students. This self contained book requires undergraduate-level calculus of several variables and linear algebra as prerequisite. Fubini's theorem in real analysis, to be used in Stokes' theorem, has been proved earlier than Stokes' theorem so that students don't have to search elsewhere.

7. Fractional-Order Variational Calculus with Generalized Boundary Conditions

Directory of Open Access Journals (Sweden)

Baleanu Dumitru

2011-01-01

Full Text Available This paper presents the necessary and sufficient optimality conditions for fractional variational problems involving the right and the left fractional integrals and fractional derivatives defined in the sense of Riemman-Liouville with a Lagrangian depending on the free end-points. To illustrate our approach, two examples are discussed in detail.

8. Sequent Calculus in the Topos of Trees

DEFF Research Database (Denmark)

Clouston, Ranald; Goré, Rajeev

2015-01-01

Nakano’s “later” modality, inspired by Gödel-Löb provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that the semantics of the propositional fragment of this...... decomposes implication into its static and irreflexive components. Our calculus provides deterministic and terminating backward proof-search, yields decidability of the logic and the coNP-completeness of its validity problem. Our calculus and decision procedure can be restricted to drop linearity and hence...

9. Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, René Rydhof

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated in...... a natural way. We show that hybrid logic is very well suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be exploited to reduce the "administrative overhead" of the analysis specification and thus simplify it. Finally, we use HyLoTab, a fully...

10. Hybrid Logical Analyses of the Ambient Calculus

DEFF Research Database (Denmark)

Bolander, Thomas; Hansen, René Rydhof

2007-01-01

In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated in...... a natural way. We show that hybrid logic is very well suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be exploited to reduce the "administrative overhead" of the analysis specification and thus simplify it. Finally, we use HyLoTab, a fully...

11. Probabilistic Analysis of the Quality Calculus

DEFF Research Database (Denmark)

Nielson, Hanne Riis; Nielson, Flemming

2013-01-01

We consider a fragment of the Quality Calculus, previously introduced for defensive programming of software components such that it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication. This paper develops a probabilistically based trust...... analysis supporting the Quality Calculus. It uses information about the probabilities that expected input will be absent in order to determine the trustworthiness of the data used for controlling the distributed system; the main challenge is to take accord of the stochastic dependency between some of the...

12. TWO-PHASE EJECTOR of CARBON DIOXIDE HEAT PUMP CALCULUS

Directory of Open Access Journals (Sweden)

Sit B.M.

2010-12-01

Full Text Available It is presented the calculus of the two-phase ejector for carbon dioxide heat pump. The method of calculus is based on the method elaborated by S.M. Kandil, W.E. Lear, S.A. Sherif, and is modified taking into account entrainment ratio as the input for the calculus.

13. Projects for calculus the language of change

CERN Document Server

Stroyan, Keith D

1999-01-01

Projects for Calculus is designed to add depth and meaning to any calculus course. The fifty-two projects presented in this text offer the opportunity to expand the use and understanding of mathematics. The wide range of topics will appeal to both instructors and students. Shorter, less demanding projects can be managed by the independent learner, while more involved, in-depth projects may be used for group learning. Each task draws on special mathematical topics and applications from subjects including medicine, engineering, economics, ecology, physics, and biology.Subjects including:* Medicine* Engineering* Economics* Ecology* Physics* Biology

14. Improving Calculus II and III through the Redistribution of Topics

Science.gov (United States)

George, C. Yousuf; Koetz, Matt; Lewis, Heather A.

2016-01-01

Three years ago our mathematics department rearranged the topics in second and third semester calculus, moving multivariable calculus to the second semester and series to the third semester. This paper describes the new arrangement of topics, and how it could be adapted to calculus curricula at different schools. It also explains the benefits we…

15. The Inductive Applications of Probability Calculus

Directory of Open Access Journals (Sweden)

2015-06-01

Full Text Available The Author goes back to Founders of Probability calculus to investigate their original interpretation of the probability measure in the applications of the probability theory to real problems. The Author puts in evidence some misunderstandings related to the inversion of deductions derived by the use of probability distributions for investigating the causes of events.

16. Research of Semantic Comparison between χ-calculus and π-calculus%χ-演算与π-演算的语义比较研究

Institute of Scientific and Technical Information of China (English)

徐林; 傅育熙

2000-01-01

Through the comparison of syntactic structure,operational semantics and algebraic semantics between χ-calculus and π-calculus, this paper concludes that χ-calculus has more succinct syntactic structure,more explicit operational semantics,more intuitionistic algebraic semantics and more favorable algebraic property. And a translation from π-calculus to χ-calculus is presented.

17. A robust interpretation of duration calculus

DEFF Research Database (Denmark)

Franzle, M.; Hansen, Michael Reichhardt

2005-01-01

Calculus (DC), our findings are that the robust interpretation of DC is equivalent to a multi-valued interpretation that uses the real numbers as semantic domain and assigns Lipschitz-continuous interpretations to all operators of DC. Furthermore, this continuity permits approximation between discrete and...... dense time, thus allowing exploitation of discrete-time (semi-)decision procedures on dense-time properties....

18. The Development of Newtonian Calculus in Britain, 1700-1800

Science.gov (United States)

Guicciardini, Niccoló

2003-11-01

Introduction; Overture: Newton's published work on the calculus of fluxions; Part I. The Early Period: 1. The diffusion of the calculus (1700-1730); 2. Developments in the calculus of fluxions (1714-1733); 3. The controversy on the foundations of the calculus (1734-1742); Part II. The Middle Period: 4. The textbooks on fluxions (1736-1758); 5. Some applications of the calculus (1740-1743); 6. The analytic art (1755-1785); Part III. The Reform: 7. Scotland (1785-1809); 8. The Military Schools (1773-1819); 9. Cambridge and Dublin (1790-1820); 10. Tables; Endnotes; Bibliography; Index.

19. Detection, removal and prevention of calculus: Literature Review

Directory of Open Access Journals (Sweden)

Deepa G. Kamath

2014-01-01

Full Text Available Dental plaque is considered to be a major etiological factor in the development of periodontal disease. Accordingly, the elimination of supra- and sub-gingival plaque and calculus is the cornerstone of periodontal therapy. Dental calculus is mineralized plaque; because it is porous, it can absorb various toxic products that can damage the periodontal tissues. Hence, calculus should be accurately detected and thoroughly removed for adequate periodontal therapy. Many techniques have been used to identify and remove calculus deposits present on the root surface. The purpose of this review was to compile the various methods and their advantages for the detection and removal of calculus.

20. Advanced calculus of a single variable

CERN Document Server

Geveci, Tunc

2016-01-01

This advanced undergraduate textbook is based on a one-semester course on single variable calculus that the author has been teaching at San Diego State University for many years. The aim of this classroom-tested book is to deliver a rigorous discussion of the concepts and theorems that are dealt with informally in the first two semesters of a beginning calculus course. As such, students are expected to gain a deeper understanding of the fundamental concepts of calculus, such as limits (with an emphasis on ε-δ definitions), continuity (including an appreciation of the difference between mere pointwise and uniform continuity), the derivative (with rigorous proofs of various versions of L’Hôpital’s rule) and the Riemann integral (discussing improper integrals in-depth, including the comparison and Dirichlet tests). Success in this course is expected to prepare students for more advanced courses in real and complex analysis and this book will help to accomplish this. The first semester of advanced calculus...

1. A robust interpretation of duration calculus

DEFF Research Database (Denmark)

Franzle, M.; Hansen, Michael Reichhardt

2005-01-01

Calculus (DC), our findings are that the robust interpretation of DC is equivalent to a multi-valued interpretation that uses the real numbers as semantic domain and assigns Lipschitz-continuous interpretations to all operators of DC. Furthermore, this continuity permits approximation between discrete and...

2. RARE CASE OF GIANT VESICAL CALCULUS

OpenAIRE

Deepak Ramraj; MR Swaroop; Jagadeesha; Mahesh

2015-01-01

Giant vesical calculus is a rare entity. Vesical calculi can be primary (stones form de novo in bladder) or secondary to the migrated renal calculi, chronic UTI, bladder outlet obstruction, bladder diverticulum or carcinoma, foreign body and neurogenic bladder. We report a case of an 85year old male patient who presented with history of...

3. About compositional analysis of pi-calculus processes

OpenAIRE

Martinelli, Fabio

2003-01-01

We set up a logical framework for the compositional analysis of finite pi-calculus processes. In particular, we extend the partial model checking techniques developed for value passing process algebras to a nominal calculus, i.e. the pi-calculus. The logic considered is an adaptation of the ambient logic to the pi-calculus. As one of the possible applications, we show that our techniques may be used to study interesting security properties as confidentiality for (finite) pi-calculus processes.

4. About compositional analysis of pi-calculus processes

OpenAIRE

Martinelli, Fabio

2001-01-01

We set up a logical framework for the compositional analysis of finite pi-calculus processes. In particular, we extend the partial model checking techniques developed for value passing process algebras to a nominal calculus, i.e. the pi-calculus. The logic considered is an adaptation of the ambient logic to the pi-calculus. As one of the possible applications, we show that our techniques may be used to study interesting security properties as confidentiality for (finite) pi-calculus processes.

5. Calculus on manifolds a modern approach to classical theorems of advanced calculus

CERN Document Server

Spivak, Michael D

1965-01-01

This little book is especially concerned with those portions of "advanced calculus" in which the subtlety of the concepts and methods makes rigor difficult to attain at an elementary level. The approa

6. Characteristics of subgingival calculus detection by multiphoton fluorescence microscopy

Science.gov (United States)

Tung, Oi-Hong; Lee, Shyh-Yuan; Lai, Yu-Lin; Chen, How-Foo

2011-06-01

Subgingival calculus has been recognized as a major cause of periodontitis, which is one of the main chronic infectious diseases of oral cavities and a principal cause of tooth loss in humans. Bacteria deposited in subgingival calculus or plaque cause gingival inflammation, function deterioration, and then periodontitis. However, subgingival calculus within the periodontal pocket is a complicated and potentially delicate structure to be detected with current dental armamentaria, namely dental x-rays and dental probes. Consequently, complete removal of subgingival calculus remains a challenge to periodontal therapies. In this study, the detection of subgingival calculus employing a multiphoton autofluorescence imaging method was characterized in comparison with a one-photon confocal fluorescence imaging technique. Feasibility of such a system was studied based on fluorescence response of gingiva, healthy teeth, and calculus with and without gingiva covered. The multiphoton fluorescence technology perceived the tissue-covered subgingival calculus that cannot be observed by the one-photon confocal fluorescence method.

7. Soergel calculus and Schubert calculus

OpenAIRE

He, Xuhua; Williamson, Geordie

2015-01-01

We reduce some key calculations of compositions of morphisms between Soergel bimodules ("Soergel calculus") to calculations in the nil Hecke ring ("Schubert calculus"). This formula has several applications in modular representation theory.

8. Expressing First-Order π-Calculus in Higher-Order Calculus of Communicating Systems

Institute of Scientific and Technical Information of China (English)

Xian Xu

2009-01-01

In the study of process calculi, encoding between different calculi is an effective way to compare the expressive power of calculi and can shed light on the essence of where the difference lies. Thomsen and Sangiorgi have worked on the higher-order calculi (higher-order Calculus of Communicating Systems (CCS) and higher-order It-calculus, respectively) and the encoding from and to first-order π-calculus. However a fully abstract encoding of first-order π-calculus with higher-order CCS is not available up-today. This is what we intend to settle in this paper. We follow the encoding strategy, first proposed by Thomsen, of translating first-order π-calculus into Plain CHOCS. We show that the encoding strategy is fully abstract with respect to early bisimilarity (first-order π-calculus) and wired bisimilarity (Plain CHOCS) (which is a bisimulation defined on wired processes only sending and receiving wires), that is the core of the encoding strategy. Moreover from the fact that the wired bisimilarity is contained by the well-established context bisimilarity, we secure the soundness of the encoding, with respect to early bisimilarity and context bisimilarity. We use index technique to get around all the technical details to reach these main results of this paper. Finally, we make some discussion on our work and suggest some future work.

9. ESeal Calculus: A Secure Mobile Calculus

Institute of Scientific and Technical Information of China (English)

Peng Rong; Chen Xin-meng; Liu Ping

2003-01-01

The ESeal Calculus is a secure mobile calculus based on Seal Calculus. By using open-channels, ESeal Calculus makes it possible to communicate between any two arbitrary seals with some secure restrictions. It improves the expression ability and efficiency of Seal calculus without losing security.

10. Investigations on a Pedagogical Calculus of Constructions

CERN Document Server

Colson, Loïc

2012-01-01

In the last few years appeared pedagogical propositional natural deduction systems. In these systems, one must satisfy the pedagogical constraint: the user must give an example of any introduced notion. First we expose the reasons of such a constraint and properties of these "pedagogical" calculi: the absence of negation at logical side, and the "usefulness" feature of terms at computational side (through the Curry-Howard correspondence). Then we construct a simple pedagogical restriction of the calculus of constructions (CC) called CCr. We establish logical limitations of this system, and compare its computational expressiveness to Godel system T. Finally, guided by the logical limitations of CCr, we propose a formal and general definition of what a pedagogical calculus of constructions should be.

11. On the interpretation of Stratonovich calculus

International Nuclear Information System (INIS)

The Itô–Stratonovich dilemma is revisited from the perspective of the interpretation of Stratonovich calculus using shot noise. Over the long time scales of the displacement of an observable, the principal issue is how to deal with finite/zero autocorrelation of the stochastic noise. The former (non-zero) noise autocorrelation structure preserves the normal chain rule using a mid-point selection scheme, which is the basis Stratonovich calculus, whereas the instantaneous autocorrelation structure of Itô's approach does not. By considering the finite decay of the noise correlations on time scales very short relative to the overall displacement times of the observable, we suggest a generalization of the integral Taylor expansion criterion of Wong and Zakai (1965 Ann. Math. Stat. 36 1560–4) for the validity of the Stratonovich approach. (paper)

12. Affine connection form of Regge calculus

CERN Document Server

Khatsymovsky, V M

2015-01-01

Regge action is represented analogously to how the Palatini action for general relativity (GR) as some functional of the metric and a general connection as independent variables represents the Einstein-Hilbert action. The piecewise flat (or simplicial) spacetime of Regge calculus is equipped with some world coordinates and some piecewise affine metric which is completely defined by the set of edge lengths and the world coordinates of the vertices. The conjugate variables are the general nondegenerate matrices on the 3-simplices which play a role of a general discrete connection. Our previous result on some representation of the Regge calculus action in terms of the local Euclidean (Minkowsky) frame vectors and orthogonal connection matrices as independent variables is somewhat modified for the considered case of the general linear group GL(4,R) of the connection matrices. As a result, we have some action invariant w. r. t. arbitrary change of coordinates of the vertices (and related GL(4,R) transformations in...

13. Calculus light

CERN Document Server

Friedman, Menahem

2011-01-01

Another Calculus book? As long as students find calculus scary, the failure rate in mathematics is higher than in all other subjects, and as long as most people mistakenly believe that only geniuses can learn and understand mathematics, there will always be room for a new book of Calculus. We call it Calculus Light. This book is designed for a one semester course in ""light"" calculus -- mostly single variable, meant to be used by undergraduate students without a wide mathematical background and who do not major in mathematics but study subjects such as engineering, biology or management infor

14. GAUSSIAN WHITE NOISE CALCULUS OF GENERALIZED EXPANSION

Institute of Scientific and Technical Information of China (English)

陈泽乾

2002-01-01

A new framework of Gaussian white noise calculus is established, in line with generalized expansion in [3, 4, 7]. A suitable frame of Fock expansion is presented on Gaussian generalized expansion functionals being introduced here, which provides the integral kernel operator decomposition of the second quantization of Koopman operators for chaotic dynamical systems, in terms of annihilation operators (e)t and its dual, creation operators (e)*t.

15. Two cosmological solutions of Regge calculus

International Nuclear Information System (INIS)

Two cosmological solutions of Regge calculus are presented which correspond to the flat Friedmann-Robertson-Walker and the Kasner solutions of general relativity. By taking advantage of the symmetries that are present, I am able to show explicitly that a limit of Regge calculus does yield Einstein's equations for these cases. The method of averaging these equations when taking limits is important, especially for the Kasner model. I display the leading error term that arises from keeping the Regge equations in discrete form rather than using their continuum limit. In particular, this work shows that for the ''Reggeized'' Friedmann model the minimum volume is a velocity-dominated singularity as in the continuum Friedmann model. However, unlike the latter, the Regge version has a nonzero minimum volume

16. CLINICO-BACTERIOLOGICAL STUDY OF VESICAL CALCULUS

Directory of Open Access Journals (Sweden)

Pushpendra

2016-05-01

Full Text Available BACKGROUND Vesical calculi are the most common manifestation of lower urinary tract lithiasis. Urinary infections play an important role in aetiopathogenesis of vesical calculi. OBJECTIVE Aim of this study was proposed to establish the bacteriology of stone and urine in an attempt to evaluate the role of infection in the formation of stone. Associated factors like age, sex, site of infection, obstruction, diet were also evaluated. DESIGN Prospective cohort study. METHODS The patients were admitted in surgical ward as provisional diagnosed cases of vesical calculus, were subjected to investigations including CBC, RBS, urine analysis, renal function test, x-ray KUB region and ultrasonography. Patients who were fit for surgery, various surgical procedures were done. Gross examination and core culture of stone was done to establish their aetiology. RESULTS Ninety-four patients with vesical calculus were evaluated. Incidence of vesical calculus was 1.13%. Majority of cases were from rural areas (92.55%. Urinary tract infection was present in 37.2% of cases, majority of cases urine culture was positive (30.95%. Core culture of stone was positive in 18 cases (25.17%. E. coli was the predominant organism both in urine culture (19.04% and core culture of stone (25.71%. CONCLUSIONS There is significant association regarding the presence of vesical calculi and the development of urinary infections. E. coli was the predominant organism found both in urine and core culture of stone.

17. Ecological Modelling with the Calculus of Wrapped Compartments

OpenAIRE

Pablo, de, P.J.; Angelo

2015-01-01

The Calculus of Wrapped Compartments is a framework based on stochastic multiset rewriting in a compartmentalised setting originally developed for the modelling and analysis of biological interactions. In this paper, we propose to use this calculus for the description of ecological systems and we provide the modelling guidelines to encode within the calculus some of the main interactions leading ecosystems evolution. As a case study, we model the distribution of height of Croton wagneri, a sh...

18. Time scales: from Nabla calculus to Delta calculus and vice versa via duality

OpenAIRE

Caputo, M. Cristina

2009-01-01

In this note we show how one can obtain results from the nabla calculus from results on the delta calculus and vice versa via a duality argument. We provide applications of the main results to the calculus of variations on time scales.

19. Detection, removal and prevention of calculus: Literature Review

OpenAIRE

Kamath, Deepa G.; Sangeeta Umesh Nayak

2013-01-01

Dental plaque is considered to be a major etiological factor in the development of periodontal disease. Accordingly, the elimination of supra- and sub-gingival plaque and calculus is the cornerstone of periodontal therapy. Dental calculus is mineralized plaque; because it is porous, it can absorb various toxic products that can damage the periodontal tissues. Hence, calculus should be accurately detected and thoroughly removed for adequate periodontal therapy. Many techniques have been used t...

20. Extended finite operator calculus as an example of algebraization of analysis

OpenAIRE

Kwasniewski, A. K.

2008-01-01

A calculus of sequences started by professor morgan ward constitutes the general scheme for extensions of classical operator calculus of the distinguished gian carlo rota considered by many afterwards and after ward morgan. Because of the historically now established notation we call the wardian calculus of sequences in its afterwards elaborated form a psi calculus. The psi calculus in parts appears to be almost automatic, natural extension of classical operator calculus or equivalently of um...

1. Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

DEFF Research Database (Denmark)

Abouzaid, Faisal; Mullins, John; Mazzara, Manuel;

2012-01-01

The BP-calculus is a formalism based on the π-calculus and encoded in WS-BPEL. The BP-calculus is intended to specificaly model and verify Service Oriented Applications. One important feature of SOA is the ability to compose services that may dynamically evolve along runtime. Dynamic...... reconfiguration of services increases their availability, but puts accordingly, heavy demands for validation, verification, and evaluation. In this paper we formally model and analyze dynamic reconfigurations and their requirements in BP-calculus and show how reconfigurable components can be modeled using...

2. The history of the calculus and its conceptual development (the concepts of the calculus)

CERN Document Server

Boyer, Carl B

1959-01-01

Fluent description of the development of both the integral and differential calculus. Early beginnings in antiquity, medieval contributions, and a century of anticipation lead up to a consideration of Newton and Leibniz, the period of indecison that followed them, and the final rigorous formulation that we know today.

3. Asymptotic properties of solutions to second order dynamic equations in the framework of regular variation with emphasis on q-calculus case

Czech Academy of Sciences Publication Activity Database

Řehák, Pavel

Brno : Masarykova univerzita, 2010 - (Došlá, Z.; Mařík, R.; Hilscher, R.; Šremr, J.). s. 69-71 ISBN 978-80-210-5289-5. [Colloquium on differential equations and integration theory. 14.10.2010-17.10.2010, Křtiny] Institutional research plan: CEZ:AV0Z10190503 Keywords : second order dynamic equations * q-calculus Subject RIV: BA - General Math ematics http://www. math .muni.cz/~cdeit/abstracts/rehak.pdf

4. On the origins of generalized fractional calculus

Science.gov (United States)

Kiryakova, Virginia

2015-11-01

In Fractional Calculus (FC), as in the (classical) Calculus, the notions of derivatives and integrals (of first, second, etc. or arbitrary, incl. non-integer order) are basic and co-related. One of the most frequent approach in FC is to define first the Riemann-Liouville (R-L) integral of fractional order, and then by means of suitable integer-order differentiation operation applied over it (or under its sign) a fractional derivative is defined - in the R-L sense (or in Caputo sense). The first mentioned (R-L type) is closer to the theoretical studies in analysis, but has some shortages - from the point of view of interpretation of the initial conditions for Cauchy problems for fractional differential equations (stated also by means of fractional order derivatives/ integrals), and also for the analysts' confusion that such a derivative of a constant is not zero in general. The Caputo (C-) derivative, arising first in geophysical studies, helps to overcome these problems and to describe models of applied problems with physically consistent initial conditions. The operators of the Generalized Fractional Calculus - GFC (integrals and derivatives) are based on commuting m-tuple (m = 1, 2, 3, …) compositions of operators of the classical FC with power weights (the so-called Erdélyi-Kober operators), but represented in compact and explicit form by means of integral, integro-differential (R-L type) or differential-integral (C-type) operators, where the kernels are special functions of most general hypergeometric kind. The foundations of this theory are given in Kiryakova 18. In this survey we present the genesis of the definitions of the GFC - the generalized fractional integrals and derivatives (of fractional multi-order) of R-L type and Caputo type, analyze their properties and applications. Their special cases are all the known operators of classical FC, their generalizations introduced by other authors, the hyper-Bessel differential operators of higher integer

5. A Spatial Calculus of Wrapped Compartments

CERN Document Server

Bioglio, Livio; Coppo, Mario; Damiani, Ferruccio; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo

2011-01-01

The Calculus of Wrapped Compartments (CWC) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. Although CWC has no explicit structure modelling a spatial geometry, its compartment labelling feature can be exploited to model various examples of spatial interactions in a natural way. However, specifying large networks of compartments may require a long modelling phase. In this work we present a surface language for CWC that provides basic constructs for modelling spatial interactions. These constructs can be compiled away to obtain a standard CWC model, thus exploiting the existing CWC simulation tool. A case study concerning the modelling of Arbuscular Mychorrizal fungi growth is discussed.

6. Descartes' Calculus of Subnormals: What Might Have Been

Science.gov (United States)

Boudreaux, Gregory Mark; Walls, Jess E.

2013-01-01

Rene Descartes' method for finding tangents (equivalently, subnormals) depends on geometric and algebraic properties of a family of circles intersecting a given curve. It can be generalized to establish a calculus of subnormals, an alternative to the calculus of Newton and Leibniz. Here we prove subnormal counterparts of the well-known…

7. Effects of Clicker Use on Calculus Students' Mathematics Anxiety

Science.gov (United States)

Batchelor, John

2015-01-01

This paper reports the results of a survey study of clicker use and mathematics anxiety among students enrolled in an undergraduate calculus course during the Fall 2013 semester. Students in two large lecture sections of calculus completed surveys at the beginning and end of the course. One class used clickers, whereas the other class was taught…

8. Candida dubliniensis encrustation of an obstructing upper renal tract calculus

OpenAIRE

O'Kane, Dermot; Kiosoglous, Anthony; Jones, Kay

2013-01-01

We present the case of a 53-year-old man, with a history of alcohol abuse, requiring intensive care unit admission, with an obstructing right upper renal calculus and Klebsiella pneumoniae urosepsis. Ureteroscopic treatment of this obstruction displayed a small calculus within the renal pelvis completely encapsulated within a fungal bezoar. Laboratory analysis of the fungal mass found it to be Candida dubliniensis.

9. Using the Finite Difference Calculus to Sum Powers of Integers.

Science.gov (United States)

Zia, Lee

1991-01-01

Summing powers of integers is presented as an example of finite differences and antidifferences in discrete mathematics. The interrelation between these concepts and their analogues in differential calculus, the derivative and integral, is illustrated and can form the groundwork for students' understanding of differential and integral calculus.…

10. Evaluating the Use of Learning Objects for Improving Calculus Readiness

Science.gov (United States)

Kay, Robin; Kletskin, Ilona

2010-01-01

Pre-calculus concepts such as working with functions and solving equations are essential for students to explore limits, rates of change, and integrals. Yet many students have a weak understanding of these key concepts which impedes performance in their first year university Calculus course. A series of online learning objects was developed to…

11. A Calculus of Circular Proofs and its Categorical Semantics

DEFF Research Database (Denmark)

Santocanale, Luigi

2002-01-01

We present a calculus of "circular proofs": the graph underlying a proof is not a finite tree but instead it is allowed to contain a certain amount of cycles.The main challenge in developing a theory for the calculus is to define the semantics of proofs, since the usual method by induction on the...

12. A Calculus of Circular Proofs and its Categorical Semantics

DEFF Research Database (Denmark)

Santocanale, Luigi

2002-01-01

We present a calculus of “circular proofs”: the graph underlying a proof is not a finite tree but instead it is allowed to contain a certain amount of cycles.The main challenge in developing a theory for the calculus is to define the semantics of proofs, since the usual method by induction on the...

13. Decidable Fragments of a Higher Order Calculus with Locations

DEFF Research Database (Denmark)

Hüttel, Hans; Godskesen, Jens Christian; Haagensen, Bjørn;

2009-01-01

Homer is a higher order process calculus with locations. In this paper we study Homer in the setting of the semantic finite control property, which is a finite reachability criterion that implies decidability of barbed bisimilarity. We show that strong and weak barbed bisimilarity are undecidable...... finite control π-calculus in Homer....

14. Modelling the Landing of a Plane in a Calculus Lab

Science.gov (United States)

Morante, Antonio; Vallejo, Jose A.

2012-01-01

We exhibit a simple model of a plane landing that involves only basic concepts of differential calculus, so it is suitable for a first-year calculus lab. We use the computer algebra system Maxima and the interactive geometry software GeoGebra to do the computations and graphics. (Contains 5 figures and 1 note.)

15. Calculus Students' Early Concept Images of Tangent Lines

Science.gov (United States)

Vincent, Brittany; LaRue, Renee; Sealey, Vicki; Engelke, Nicole

2015-01-01

This study explored first-semester calculus students' understanding of tangent lines as well as how students used tangent lines within the context of Newton's method. Task-based interviews were conducted with twelve first-semester calculus students who were asked to verbally describe a tangent line, sketch tangent lines for multiple curves, and…

16. Restricted diversity of dental calculus methanogens over five centuries, France.

Science.gov (United States)

Huynh, Hong T T; Nkamga, Vanessa D; Signoli, Michel; Tzortzis, Stéfan; Pinguet, Romuald; Audoly, Gilles; Aboudharam, Gérard; Drancourt, Michel

2016-01-01

Methanogens are acknowledged archaeal members of modern dental calculus microbiota and dental pathogen complexes. Their repertoire in ancient dental calculus is poorly known. We therefore investigated archaea in one hundred dental calculus specimens collected from individuals recovered from six archaeological sites in France dated from the 14(th) to 19(th) centuries AD. Dental calculus was demonstrated by macroscopic and cone-beam observations. In 56 calculus specimens free of PCR inhibition, PCR sequencing identified Candidatus Methanobrevibacter sp. N13 in 44.6%, Methanobrevibacter oralis in 19.6%, a new Methanomassiliicoccus luminyensis-like methanogen in 12.5%, a Candidatus Nitrososphaera evergladensis-like in one and Methanoculleus bourgensis in one specimen, respectively. One Candidatus Methanobrevibacter sp. N13 dental calculus was further documented by fluorescent in situ hybridization. The prevalence of dental calculus M. oralis was significantly lower in past populations than in modern populations (P = 0.03, Chi-square test). This investigation revealed a previously unknown repertoire of archaea found in the oral cavity of past French populations as reflected in preserved dental calculus. PMID:27166431

17. Restricted diversity of dental calculus methanogens over five centuries, France

Science.gov (United States)

Huynh, Hong T. T.; Nkamga, Vanessa D.; Signoli, Michel; Tzortzis, Stéfan; Pinguet, Romuald; Audoly, Gilles; Aboudharam, Gérard; Drancourt, Michel

2016-01-01

Methanogens are acknowledged archaeal members of modern dental calculus microbiota and dental pathogen complexes. Their repertoire in ancient dental calculus is poorly known. We therefore investigated archaea in one hundred dental calculus specimens collected from individuals recovered from six archaeological sites in France dated from the 14th to 19th centuries AD. Dental calculus was demonstrated by macroscopic and cone-beam observations. In 56 calculus specimens free of PCR inhibition, PCR sequencing identified Candidatus Methanobrevibacter sp. N13 in 44.6%, Methanobrevibacter oralis in 19.6%, a new Methanomassiliicoccus luminyensis-like methanogen in 12.5%, a Candidatus Nitrososphaera evergladensis-like in one and Methanoculleus bourgensis in one specimen, respectively. One Candidatus Methanobrevibacter sp. N13 dental calculus was further documented by fluorescent in situ hybridization. The prevalence of dental calculus M. oralis was significantly lower in past populations than in modern populations (P = 0.03, Chi-square test). This investigation revealed a previously unknown repertoire of archaea found in the oral cavity of past French populations as reflected in preserved dental calculus. PMID:27166431

18. Understanding Calculus beyond Computations: A Descriptive Study of the Parallel Meanings and Expectations of Teachers and Users of Calculus

Science.gov (United States)

Ferguson, Leann J.

2012-01-01

Calculus is an important tool for building mathematical models of the world around us and is thus used in a variety of disciplines, such as physics and engineering. These disciplines rely on calculus courses to provide the mathematical foundation needed for success in their courses. Unfortunately, due to the basal conceptions of what it means to…

19. Operational calculus

CERN Document Server

Boehme, Thomas K

1987-01-01

Operational Calculus, Volume II is a methodical presentation of operational calculus. An outline of the general theory of linear differential equations with constant coefficients is presented. Integral operational calculus and advanced topics in operational calculus, including locally integrable functions and convergence in the space of operators, are also discussed. Formulas and tables are included.Comprised of four sections, this volume begins with a discussion on the general theory of linear differential equations with constant coefficients, focusing on such topics as homogeneous and non-ho

20. Introduction to Tensor Calculus

OpenAIRE

Sochi, Taha

2016-01-01

These are general notes on tensor calculus which can be used as a reference for an introductory course on tensor algebra and calculus. A basic knowledge of calculus and linear algebra with some commonly used mathematical terminology is presumed.

1. Calculus refresher

CERN Document Server

Klaf, A A

1956-01-01

This book is unique in English as a refresher for engineers, technicians, and students who either wish to brush up their calculus or find parts of calculus unclear. It is not an ordinary textbook. It is, instead, an examination of the most important aspects of integral and differential calculus in terms of the 756 questions most likely to occur to the technical reader. It provides a very easily followed presentation and may also be used as either an introductory or supplementary textbook. The first part of this book covers simple differential calculus, with constants, variables, functions, inc

2. The Initial Conditions of Fractional Calculus

International Nuclear Information System (INIS)

During the past fifty years , Fractional Calculus has become an original and renowned mathematical tool for the modelling of diffusion Partial Differential Equations and the design of robust control algorithms. However, in spite of these celebrated results, some theoretical problems have not yet received a satisfying solution. The mastery of initial conditions, either for Fractional Differential Equations (FDEs) or for the Caputo and Riemann-Liouville fractional derivatives, remains an open research domain. The solution of this fundamental problem, also related to the long range memory property, is certainly the necessary prerequisite for a satisfying approach to modelling and control applications. The fractional integrator and its continuously frequency distributed differential model is a valuable tool for the simulation of fractional systems and the solution of initial condition problems. Indeed, the infinite dimensional state vector of fractional integrators allows the direct generalization to fractional calculus of the theoretical results of integer order systems. After a reminder of definitions and properties related to fractional derivatives and systems, this presentation is intended to show, based on the results of two recent publications [1,2], how the fractional integrator provides the solution of the initial condition problem of FDEs and of Caputo and Riemann-Liouville fractional derivatives. Numerical simulation examples illustrate and validate these new theoretical concepts.

3. On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences

OpenAIRE

Kwasniewski, A. K.

2003-01-01

A calculus of sequences started in 1936 opened the way for future extensions of umbral calculus in its finite operator form. Because of historically established notation we call it the psi-calculus.It appears in parts to be almost automatic extension of the standard classical finite operator calculus.

4. The calculus of committee composition.

Directory of Open Access Journals (Sweden)

Eric Libby

Full Text Available Modern institutions face the recurring dilemma of designing accurate evaluation procedures in settings as diverse as academic selection committees, social policies, elections, and figure skating competitions. In particular, it is essential to determine both the number of evaluators and the method for combining their judgments. Previous work has focused on the latter issue, uncovering paradoxes that underscore the inherent difficulties. Yet the number of judges is an important consideration that is intimately connected with the methodology and the success of the evaluation. We address the question of the number of judges through a cost analysis that incorporates the accuracy of the evaluation method, the cost per judge, and the cost of an error in decision. We associate the optimal number of judges with the lowest cost and determine the optimal number of judges in several different scenarios. Through analytical and numerical studies, we show how the optimal number depends on the evaluation rule, the accuracy of the judges, the (cost per judge/(cost per error ratio. Paradoxically, we find that for a panel of judges of equal accuracy, the optimal panel size may be greater for judges with higher accuracy than for judges with lower accuracy. The development of any evaluation procedure requires knowledge about the accuracy of evaluation methods, the costs of judges, and the costs of errors. By determining the optimal number of judges, we highlight important connections between these quantities and uncover a paradox that we show to be a general feature of evaluation procedures. Ultimately, our work provides policy-makers with a simple and novel method to optimize evaluation procedures.

5. Instanton calculus of Lifshitz tails

Science.gov (United States)

Yaida, Sho

2016-02-01

Some degree of quenched disorder is present in nearly all solids, and can have a marked impact on their macroscopic properties. A manifestation of this effect is the Lifshitz tail of localized states that then gets attached to the energy spectrum, resulting in the nonzero density of states in the band gap. We present here a systematic approach for deriving the asymptotic behavior of the density of states and of the typical shape of the disorder potentials in the Lifshitz tail. The analysis is carried out first for the well-controlled case of noninteracting particles moving in a Gaussian random potential and then for a broad class of disordered scale-invariant models—pertinent to a variety of systems ranging from semiconductors to semimetals to quantum critical systems. For relevant Gaussian disorder, we obtain the general expression for the density of states deep in the tail, with the rate of exponential suppression governed by the dynamical exponent and spatial dimensions. For marginally relevant disorder, however, we would expect a power-law scaling. We discuss the implications of these results for understanding conduction in disordered materials.

6. Modal Calculus of Illocutionary Logic

CERN Document Server

Schumann, Andrew

2011-01-01

The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act (e.g. act of assertion, of conjecture, of promise) with the illocutionary force (resp. assertion, conjecture, promise) named by an appropriate performative verb in the way of representing himself as performing that act. In the paper I proposed many-valued interpretation of illocutionary forces understood as modal operators. As a result, I built up a non-Archimedean valued logic for formalizing illocutionary acts. A formal many-valued approach to illocutionary logic was offered for the first time.

7. Hybrid Calculus of Wrapped Compartments

CERN Document Server

Coppo, Mario; Drocco, Maurizio; Grassi, Elena; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo; 10.4204/EPTCS.40.8

2010-01-01

The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting systems, provide a quite complementary way to analyze the behaviour of biological systems. These calculi allow to cope in a natural way with notions like compartments and membranes, which are not easy (sometimes impossible) to handle with purely numerical approaches, and are often based on stochastic simulation methods. Recently, it has also become evident that stochastic effects in regulatory networks play a crucial role in the analysis of such systems. Actually, in many situations it is necessary to use stochastic models. For example when the system to be described is based on the interaction of few molecules, when we are at the presence of a chemical instability, or when we want to simulate the functioning of a pool of entities whose compartmentalised structur...

8. The Calculus of Committee Composition

OpenAIRE

Eric Libby; Leon Glass

2010-01-01

Modern institutions face the recurring dilemma of designing accurate evaluation procedures in settings as diverse as academic selection committees, social policies, elections, and figure skating competitions. In particular, it is essential to determine both the number of evaluators and the method for combining their judgments. Previous work has focused on the latter issue, uncovering paradoxes that underscore the inherent difficulties. Yet the number of judges is an important consideration th...

9. Generalized vector calculus on convex domain

Science.gov (United States)

Agrawal, Om P.; Xu, Yufeng

2015-06-01

In this paper, we apply recently proposed generalized integral and differential operators to develop generalized vector calculus and generalized variational calculus for problems defined over a convex domain. In particular, we present some generalization of Green's and Gauss divergence theorems involving some new operators, and apply these theorems to generalized variational calculus. For fractional power kernels, the formulation leads to fractional vector calculus and fractional variational calculus for problems defined over a convex domain. In special cases, when certain parameters take integer values, we obtain formulations for integer order problems. Two examples are presented to demonstrate applications of the generalized variational calculus which utilize the generalized vector calculus developed in the paper. The first example leads to a generalized partial differential equation and the second example leads to a generalized eigenvalue problem, both in two dimensional convex domains. We solve the generalized partial differential equation by using polynomial approximation. A special case of the second example is a generalized isoperimetric problem. We find an approximate solution to this problem. Many physical problems containing integer order integrals and derivatives are defined over arbitrary domains. We speculate that future problems containing fractional and generalized integrals and derivatives in fractional mechanics will be defined over arbitrary domains, and therefore, a general variational calculus incorporating a general vector calculus will be needed for these problems. This research is our first attempt in that direction.

10. How Students Use Their Knowledge of Calculus in an Engineering Mechanics Course.

Science.gov (United States)

Roddick, Cheryl Stitt

This study investigated students' conceptual and procedural understanding of calculus within the context of an engineering mechanics course. Four traditional calculus students were compared with three students from one of the calculus reform projects, Calculus & Mathematica. Task-based interviews were conducted with each participant throughout the…

11. Quantum stochastic calculus and representations of Lie superalgebras

CERN Document Server

Eyre, Timothy M W

1998-01-01

This book describes the representations of Lie superalgebras that are yielded by a graded version of Hudson-Parthasarathy quantum stochastic calculus. Quantum stochastic calculus and grading theory are given concise introductions, extending readership to mathematicians and physicists with a basic knowledge of algebra and infinite-dimensional Hilbert spaces. The develpment of an explicit formula for the chaotic expansion of a polynomial of quantum stochastic integrals is particularly interesting. The book aims to provide a self-contained exposition of what is known about Z_2-graded quantum stochastic calculus and to provide a framework for future research into this new and fertile area.

12. Regge calculus models of closed lattice universes

Science.gov (United States)

Liu, Rex G.; Williams, Ruth M.

2016-01-01

This paper examines the behavior of closed "lattice universes" wherein masses are distributed in a regular lattice on the Cauchy surfaces of closed vacuum universes. Such universes are approximated using a form of Regge calculus originally developed by Collins and Williams to model closed Friedmann-Lemaître-Robertson-Walker universes. We consider two types of lattice universes, one where all masses are identical to each other and another where one mass gets perturbed in magnitude. In the unperturbed universe, we consider the possible arrangements of the masses in the Regge Cauchy surfaces and demonstrate that the model will only be stable if each mass lies within some spherical region of convergence. We also briefly discuss the existence of Regge models that are dual to the ones we have considered. We then model a perturbed lattice universe and demonstrate that the model's evolution is well behaved, with the expansion increasing in magnitude as the perturbation is increased.

13. Extension of Chronological Calculus for Dynamical Systems on Manifolds

OpenAIRE

Kipka, Robert J.; Ledyaev, Yuri S.

2014-01-01

We propose an extension of the Chronological Calculus, developed by Agrachev and Gamkrelidze for the case of $C^\\infty$-smooth dynamical systems on finite-dimensional $C^\\infty$-smooth manifolds, to the case of $C^m$-smooth dynamical systems and infinite-dimensional $C^m$-manifolds. Due to a relaxation in the underlying structure of the calculus, this extension provides a powerful computational tool without recourse to the theory of calculus in Fr\\'echet spaces required by the classical Chron...

14. New proofs of basic theorems in calculus

CERN Document Server

Reem, Daniel

2007-01-01

In this note we present new proofs of three basic theorems in calculus. Although these theorems are well-known, in each proof we obtain something which seems to be unknown. We start with the Heine-Cantor theorem about uniform continuity and obtain explicitly the optimal delta for the given epsilon. We then proceed with the Weierstrass extreme value theorem and present two proofs of it: the envelope proof'' in which the largest possible maximal point is found using an envelope function, and the programmer proof'', which does not use the costume argument of proving boundedness first, and in which an explicit sequence is shown to converge monotonically to the maximal value. We finish with the intermediate value theorem, which is generalized to a class of discontinuous functions and in which the meaning of the intermediate value property is re-examined. In the end we discuss in which sense the proofs are constructive.

15. Forest Carbon Uptake and the Fundamental Theorem of Calculus

Science.gov (United States)

Zobitz, John

2013-01-01

Using the fundamental theorem of calculus and numerical integration, we investigate carbon absorption of ecosystems with measurements from a global database. The results illustrate the dynamic nature of ecosystems and their ability to absorb atmospheric carbon.

16. Building Decision Procedures in the Calculus of Inductive Constructions

CERN Document Server

Blanqui, Frédéric; Strub, Pierre-Yves

2007-01-01

It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an equivalent proposition P' obtained from P thanks to possibly complex calculations. In this paper, we investigate a new version of the calculus of inductive constructions which incorporates arbitrary decision procedures into deduction via the conversion rule of the calculus. The novelty of the problem in the context of the calculus of inductive constructions lies in the fact that the computation mechanism varies along proof-checking: goals are sent to the decision procedure together with the set of user hypotheses available from the current context. Our main result shows that this extension of the calculus of constructions does not compromise its main properties: confluence, subject reduction, strong normalization and consistency are all preserved.

17. On the Expressive Power of Polyadic Synchronisation in π- calculus

DEFF Research Database (Denmark)

Carbone, Marco; Maffeis, Sergio

2002-01-01

We extend the pi-calculus with polyadic synchronisation, a generalisation of the communication mechanism which allows channel names to be composite. We show that this operator embeds nicely in the theory of pi-calculus, we suggest that it permits divergence-free encodings of distributed calculi......, and we show that a limited form of polyadic synchronisation can be encoded weakly in pi-calculus. After showing that matching cannot be derived in pi-calculus, we compare the expressivity of polyadic synchronisation, mixed choice and matching. In particular we show that the degree of synchronisation...... of a language increases its expressive power by means of a separation result in the style of Palamidessi's result for mixed choice....

18. Hermeneutics of differential calculus in eighteenth-century northern Germany.

Science.gov (United States)

Blanco, Mónica

2008-01-01

This paper applies comparative textbook analysis to studying the mathematical development of differential calculus in northern German states during the eighteenth century. It begins with describing how the four textbooks analyzed presented the foundations of calculus and continues with assessing the influence each of these foundational approaches exerted on the resolution of problems, such as the determination of tangents and extreme values, and even on the choice of coordinates for both algebraic and transcendental curves. PMID:19244874

19. The statistics of spikes trains: a stochastic calculus approach

OpenAIRE

Touboul, Jonathan; Faugeras, Olivier

2007-01-01

We discuss the statistics of spikes trains for different types of integrate-and-fire neurons and different types of synaptic noise models. In cotnrast with the usual approaches in neuroscience, mainly based on statistical physics methods such as the Fokker-Planck equation or the mean-field theory, we chose the point of the view of the stochastic calculus theory to characterize neurons in noisy environments. We present four stochastic calculus techniques that can be used to find the probabilit...

20. Improving Student Success in Calculus: A Comparison of Four College Calculus Classes

Science.gov (United States)

Bagley, Spencer Franklin

The quality of education in science, technology, engineering, and mathematics (STEM) fields is an issue of particular educational and economic importance, and Calculus I is a linchpin course in STEM major tracks. A national study is currently being conducted examining the characteristics of successful programs in college calculus (CSPCC, 2012). In work related to the CSPCC program, this study examines the effects on student outcomes of four different teaching strategies used at a single institution. The four classes were a traditional lecture, a lecture with discussion, a lecture incorporating both discussion and technology, and an inverted model. This dissertation was guided by three questions: (1) What impact do these four instructional approaches have on students' persistence, beliefs about mathematics, and conceptual and procedural achievement in calculus? (2) How do students at the local institution compare to students in the national database? And (3) How do the similarities and differences in opportunities for learning presented in the four classes contribute to the similarities and differences in student outcomes? Quantitative analysis of surveys and exams revealed few statistically significant differences in outcomes, and students in the inverted classroom often had poorer outcomes than those in other classes. Students in the technology-enhanced class scored higher on conceptual items on the final exam than those in other classes. Comparing to the national database, local students had similar switching rates but less expert-like attitudes and beliefs about mathematics than the national average. Qualitative analysis of focus group interviews, classroom observations, and student course evaluations showed that several implementation issues, some the result of pragmatic constraints, others the result of design choice, weakened affordances provided by innovative features and shrunk the differences between classes. There were substantial differences between the

1. Simplicial Differential Calculus, Divided Differences, and Construction of Weil Functors

OpenAIRE

Bertram, Wolfgang

2011-01-01

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus has the advantage that the number of evaluation points growths linearly with the degree, and not exponentially as in the classical, cubic'' approach. In particular, it is better adapted to the case of positive characteristic, where it permits to define We...

2. Propositional Calculus in Coq

OpenAIRE

van Doorn, Floris

2015-01-01

I formalize important theorems about classical propositional logic in the proof assistant Coq. The main theorems I prove are (1) the soundness and completeness of natural deduction calculus, (2) the equivalence between natural deduction calculus, Hilbert systems and sequent calculus and (3) cut elimination for sequent calculus.

3. Renal vein thrombosis mimicking urinary calculus: a dilemma of diagnosis

OpenAIRE

Wang, Yimin; Chen, Shanwen; Wang, Wei; Liu, Jianyong; JIN, BAIYE

2015-01-01

Background Renal vein thrombosis (RVT) with flank pain, and hematuria, is often mistaken with renal colic originating from ureteric or renal calculus. Especially in young and otherwise healthy patients, clinicians are easily misled by clinical presentation and calcified RVT. Case presentation A 38-year-old woman presented with flank pain and hematuria suggestive of renal calculus on ultrasound. She underwent extracorporeal shock wave lithotripsy that failed, leading to the recommendation that...

4. Noninvasive control of dental calculus removal: qualification of two fluorescence methods

International Nuclear Information System (INIS)

The main condition of periodontitis prevention is the full calculus removal from the teeth surface. This procedure should be fulfilled without harming adjacent unaffected tooth tissues. Nevertheless the problem of sensitive and precise estimating of tooth-calculus interface exists and potential risk of hard tissue damage remains. In this work it was shown that fluorescence diagnostics during calculus removal can be successfully used for precise noninvasive detection of calculus-tooth interface. In so doing the simple implementation of this method free from the necessity of spectrometer using can be employed. Such a simple implementation of calculus detection set-up can be aggregated with the devices of calculus removing.

5. College Readiness: The Evaluation of Students Participating in the Historically Black College and University Program in Pre-Calculus and the Calculus Sequence

Science.gov (United States)

Hall, Angela Renee

2011-01-01

This investigative research focuses on the level of readiness of Science, Technology, Engineering, and Mathematics (STEM) students entering Historically Black Colleges and Universities (HBCU) in the college Calculus sequence. Calculus is a fundamental course for STEM courses. The level of readiness of the students for Calculus can very well play a…

6. Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming

OpenAIRE

Lee, Joohyung; Palla, Ravi

2014-01-01

Circumscription and logic programs under the stable model semantics are two well-known nonmonotonic formalisms. The former has served as a basis of classical logic based action formalisms, such as the situation calculus, the event calculus and temporal action logics; the latter has served as a basis of a family of action languages, such as language A and several of its descendants. Based on the discovery that circumscription and the stable model semantics coincide on a class of canonical form...

7. Steady-state groundwater recharge in trapezoidal-shaped aquifers: A semi-analytical approach based on variational calculus

Science.gov (United States)

Mahdavi, Ali; Seyyedian, Hamid

2014-05-01

This study presents a semi-analytical solution for steady groundwater flow in trapezoidal-shaped aquifers in response to an areal diffusive recharge. The aquifer is homogeneous, anisotropic and interacts with four surrounding streams of constant-head. Flow field in this laterally bounded aquifer-system is efficiently constructed by means of variational calculus. This is accomplished by minimizing a properly defined penalty function for the associated boundary value problem. Simple yet demonstrative scenarios are defined to investigate anisotropy effects on the water table variation. Qualitative examination of the resulting equipotential contour maps and velocity vector field illustrates the validity of the method, especially in the vicinity of boundary lines. Extension to the case of triangular-shaped aquifer with or without an impervious boundary line is also demonstrated through a hypothetical example problem. The present solution benefits from an extremely simple mathematical expression and exhibits strictly close agreement with the numerical results obtained from Modflow. Overall, the solution may be used to conduct sensitivity analysis on various hydrogeological parameters that affect water table variation in aquifers defined in trapezoidal or triangular-shaped domains.

8. Continuation calculus

Directory of Open Access Journals (Sweden)

Bram Geron

2013-09-01

Full Text Available Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation. We introduce continuation calculus, or CC, a deterministic model of computation that is evaluated using only head reduction, and argue that it is suitable for modeling programs with control. It is demonstrated how to define programs, specify them, and prove them correct. This is shown in detail by presenting in CC a list multiplication program that prematurely returns when it encounters a zero. The correctness proof includes termination of the program. In continuation calculus we can model both call-by-name and call-by-value. In addition, call-by-name functions can be applied to call-by-value results, and conversely.

9. Determination of cholesterol in human biliary calculus by TLC scanning

Institute of Scientific and Technical Information of China (English)

Yin Kang Yang; Kai Xiong Qiu; Yu Zhu Zhan; Er Yi Zhan; Hai Ming Yang; Ping Zheng

2000-01-01

AIM To study the physico-chemical properties of biliary calculus and the relationship between the calculusformation and the phase change of liquid crystal, providing the best evidence for the biliary calculusprevention and treatment.METHODS The cholesterol contents in thirty one cases of biliary calculus in Kunming were determined bydouble-wave-length TLC scanning with high efficiency silica gel films.RESULTS Under magnifiers, the granular biliary calculus from 31 patients were classified according totheir section structures and colours, as cholesterol cholelith, 25 cases; bilirubin cholelith, 4 cases andcompound cholelith, 2 cases. By TLC scanning, it was found that the content of cholesterol in human biliarycalculus was 71%- 100%, about 80% cholesterol bilestones whose cholesterol content was more than 90%being pure cholesterol bilestones.CONCLUSION Cholesterol bilestone is the main human biliary calculus in Kunming, which was inaccordance with X-ray analysis. Compared with the related reports, it is proved that the proportion ofcholesterol bilestones to biliary calculus is increasing because of the improved life standard and the decreaseof bilirubin bilestones resulted from bile duct ascariasis or bacteria infection in China since 90s, and that theincrease of cholesterol in-take leads to the increase of cholesterol metabolism disorder

10. Particular case of operator calculus for generalized functions with supports in cone

OpenAIRE

A. V. Solomko

2009-01-01

In this work the construction of functional calculus for strongly continuous semigroups of operators in Schwartz distribution algebra on some cone is generalized. The partial case of vector valued calculus on the base of modification operator Fourier transformation is researched.

11. ARTIFICIAL NEURAL-NETWORK PREDICTIONS OF URINARY CALCULUS COMPOSITIONS ANALYZED WITH INFRARED-SPECTROSCOPY

NARCIS (Netherlands)

VOLMER, M; WOLTHERS, BG; METTING, HJ; DEHAAN, THY; COENEGRACHT, PMJ; VANDERSLIK, W

1994-01-01

Infrared (IR) spectroscopy is used to analyze urinary calculus (renal stone) constituents. However, interpretation of IR spectra for quantifying urinary calculus constituents in mixtures is difficult, requiring expert knowledge by trained technicians. In our laboratory IR spectra of unknown calculi

12. Investigation of in vitro Mineral Forming Bacterial Isolates from Subgingival Calculus

Directory of Open Access Journals (Sweden)

Turgut Demir

2014-06-01

This is the first report to identify and show that bacteria from subgingival calculus under anaerobic conditions are involved in the formation of dental calculus. [Arch Clin Exp Surg 2014; 3(3.000: 153-160

13. Ideas of Physical Forces and Differential Calculus in Ancient India

CERN Document Server

Girish, T E

2011-01-01

We have studied the context and development of the ideas of physical forces and differential calculus in ancient India by studying relevant literature related to both astrology and astronomy since pre-Greek periods. The concept of Naisargika Bala (natural force) discussed in Hora texts from India is defined to be proportional to planetary size and inversely related to planetary distance. This idea developed several centuries prior to Isaac Newton resembles fundamental physical forces in nature especially gravity. We show that the studies on retrograde motion and Chesta Bala of planets like Mars in the context of astrology lead to development of differential calculus and planetary dynamics in ancient India. The idea of instantaneous velocity was first developed during the 1st millennium BC and Indians could solve first order differential equations as early as 6th cent AD. Indian contributions to astrophysics and calculus during European dark ages can be considered as a land mark in the pre-renaissance history ...

14. Bacteria and archaea paleomicrobiology of the dental calculus: a review.

Science.gov (United States)

Huynh, H T T; Verneau, J; Levasseur, A; Drancourt, M; Aboudharam, G

2016-06-01

Dental calculus, a material observed in the majority of adults worldwide, emerged as a source for correlating paleomicrobiology with human health and diet. This mini review of 48 articles on the paleomicrobiology of dental calculus over 7550 years discloses a secular core microbiota comprising nine bacterial phyla - Firmicutes, Actinobacteria, Proteobacteria, Bacteroidetes, TM7, Synergistetes, Chloroflexi, Fusobacteria, Spirochetes - and one archaeal phylum Euryarchaeota; and some accessory microbiota that appear and disappear according to time frame. The diet residues and oral microbes, including bacteria, archaea, viruses and fungi, consisting of harmless organisms and pathogens associated with local and systemic infections have been found trapped in ancient dental calculus by morphological approaches, immunolabeling techniques, isotope analyses, fluorescent in situ hybridization, DNA-based approaches, and protein-based approaches. These observations led to correlation of paleomicrobiology, particularly Streptococcus mutans and archaea, with past human health and diet. PMID:26194817

15. Successful enrichment and recovery of whole mitochondrial genomes from ancient human dental calculus

OpenAIRE

Andrew T. Ozga; Nieves-Colón, Maria A; Honap, Tanvi P; Sankaranarayanan, Krithivasan; Hofman, Courtney A; Milner, George R.; Lewis, Cecil M.; Stone, Anne C.; Warinner, Christina

2016-01-01

OBJECTIVES: Archaeological dental calculus is a rich source of host-associated biomolecules. Importantly, however, dental calculus is more accurately described as a calcified microbial biofilm than a host tissue. As such, concerns regarding destructive analysis of human remains may not apply as strongly to dental calculus, opening the possibility of obtaining human health and ancestry information from dental calculus in cases where destructive analysis of conventional skeletal remains is not ...

16. The history of the calculus and its conceptual development

CERN Document Server

Boyer, Carl B

1959-01-01

This book, for the first time, provides laymen and mathematicians alike with a detailed picture of the historical development of one of the most momentous achievements of the human intellect ― the calculus. It describes with accuracy and perspective the long development of both the integral and the differential calculus from their early beginnings in antiquity to their final emancipation in the 19th century from both physical and metaphysical ideas alike and their final elaboration as mathematical abstractions, as we know them today, defined in terms of formal logic by means of the idea of a

17. Equality and fixpoints in the calculus of structures

DEFF Research Database (Denmark)

Chaudhuri, Kaustuv; Guenot, Nicolas

2014-01-01

, that supports incremental and contextual reasoning with equality and fixpoints in the setting of linear logic. This system allows deductive and computational steps to mix freely in a continuum which integrates smoothly into the usual versatile rules of multiplicative-additive linear logic in deep......The standard proof theory for logics with equality and fixpoints suffers from limitations of the sequent calculus, where reasoning is separated from computational tasks such as unification or rewriting. We propose in this paper an extension of the calculus of structures, a deep inference formalism...

18. Stochastic Model Checking of the Stochastic Quality Calculus

DEFF Research Database (Denmark)

Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin

2015-01-01

The Quality Calculus uses quality binders for input to express strategies for continuing the computation even when the desired input has not been received. The Stochastic Quality Calculus adds generally distributed delays for output actions and real-time constraints on the quality binders for inp...... based on stochastic model checking and we compute closed form solutions for a number of interesting scenarios. The analyses are applied to the design of an intelligent smart electrical meter of the kind to be installed in European households by 2020....

19. An Analysis of College Mathematics Departments' Credit Granting Policies for Students with High School Calculus Experience

Science.gov (United States)

Laurent, Theresa A.

2009-01-01

The purpose of this study was to investigate higher education mathematics departments' credit granting policies for students with high school calculus experience. The number of students taking calculus in high school has more than doubled since 1982 (NCES, 2007) and it is estimated that approximately 530,000 students took a calculus course in high…

20. A calculus of quality for robustness against unreliable communication

DEFF Research Database (Denmark)

Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto

2015-01-01

A main challenge in the development of distributed systems is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan...... for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the system. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication...

1. The calculus of differences: Effects of a psychosocial, cultural, and pedagogical intervention in an all women's university calculus class

Science.gov (United States)

Steele, Diana F.; Levin, Amy K.; Blecksmith, Richard; Shahverdian, Jill

2005-10-01

The purpose of this study was to investigate the ways in which a multi-layered women's calculus course influenced the participants' learning of mathematics. This study, conducted in a state university in the Midwestern region of the United States, revealed not only that women in this particular section of calculus were likely to select careers that involved mathematics, but that the focus on peer support, psychosocial issues such as self-confidence, and pedagogy helped the young women overcome gender barriers, as well as barriers of class, poverty, and race. In this article we provide some of the relevant quantitative statistics and relate the stories of two particular women through excerpts from interviews, student artefacts, and participant observation data. We selected these young women because they faced multiple barriers to success in Calculus I and might not have completed the course or taken additional mathematics courses without the support structures that were fundamental to the course.

2. Contrasting Cases of Calculus Students' Understanding of Derivative Graphs

Science.gov (United States)

Haciomeroglu, Erhan Selcuk; Aspinwall, Leslie; Presmeg, Norma C.

2010-01-01

This study adds momentum to the ongoing discussion clarifying the merits of visualization and analysis in mathematical thinking. Our goal was to gain understanding of three calculus students' mental processes and images used to create meaning for derivative graphs. We contrast the thinking processes of these three students as they attempted to…

3. The Development and Nature of Problem-Solving among First-Semester Calculus Students

Science.gov (United States)

Dawkins, Paul Christian; Epperson, James A. Mendoza

2014-01-01

This study investigates interactions between calculus learning and problem-solving in the context of two first-semester undergraduate calculus courses in the USA. We assessed students' problem-solving abilities in a common US calculus course design that included traditional lecture and assessment with problem-solving-oriented labs. We…

4. Proof nets for the Displacement calculus

OpenAIRE

Moot, Richard

2016-01-01

We present a proof net calculus for the Displacement calculus and show its correctness. This is the first proof net calculus which models the Displacement calculus directly and not by some sort of translation into another formalism. The proof net calculus opens up new possibilities for parsing and proof search with the Displacement calculus.

5. Omega Model of Standard Calculus(续2)

Institute of Scientific and Technical Information of China (English)

Huang Cheng-gui

2004-01-01

Chapter Two. Construction of Omega Continuum and Special Rules of the Integral of Infinitesimals Purpose of the chapter Chapter one states the foundation of differential calculus. The task of the chapter is to construct Omega continuum,at the same time to interlude two axioms of the integral of infinitesimals.

6. Fractional Vector Calculus and Fractional Special Function

OpenAIRE

Li, Ming-Fan; Ren, Ji-Rong; Zhu, Tao

2010-01-01

Fractional vector calculus is discussed in the spherical coordinate framework. A variation of the Legendre equation and fractional Bessel equation are solved by series expansion and numerically. Finally, we generalize the hypergeometric functions.

7. Regge calculus models of the closed vacuum Λ -FLRW universe

Science.gov (United States)

Liu, Rex G.; Williams, Ruth M.

2016-01-01

The Collins-Williams Regge calculus models of Friedmann-Lemaître-Robertson-Walker (FLRW) space-times and Brewin's subdivided models are applied to closed vacuum Λ -FLRW universes. In each case, we embed the Regge Cauchy surfaces into 3-spheres in E4 and consider possible measures of Cauchy surface radius that can be derived from the embedding. Regge equations are obtained from both global variation, where entire sets of identical edges get varied simultaneously, and local variation, where each edge gets varied individually. We explore the relationship between the two sets of solutions, the conditions under which the Regge Hamiltonian constraint would be a first integral of the evolution equation, the initial value equation for each model at its moment of time symmetry, and the performance of the various models. It is revealed that local variation does not generally lead to a viable Regge model. It is also demonstrated that the various models do satisfy their respective initial value equations. Finally, it is shown that the models reproduce the correct qualitative dynamics of the space-time. Furthermore, the approximation's accuracy is highest when the universe is small but improves overall as we increase the number of tetrahedra used to construct the Regge Cauchy surface. Eventually though, all models gradually fail to keep up with the continuum FLRW model's expansion, with the models with lower numbers of tetrahedra falling away more quickly. We believe this failure to keep up is due to the finite resolution of the Regge Cauchy surfaces trying to approximate an ever expanding continuum Cauchy surface; each Regge surface has a fixed number of tetrahedra and as the surface being approximated gets larger, the resolution would degrade. Finally, we note that all Regge models end abruptly at a point when the timelike struts of the skeleton become null, though this end point appears to get delayed as the number of tetrahedra is increased.

8. Operator calculus on the class of Sato's hyperfunctions

Directory of Open Access Journals (Sweden)

Patra M.I.

2013-06-01

Full Text Available We construct a functional calculus for generators of analytic semigroupsof operators on a Banach space. The symbol class of the calculusconsists of hyperfunctions with a compact support in $[0, infty$. Domain of constructedcalculus isdense in the Banach space.

9. Calculus of One and More Variables with Maple

Science.gov (United States)

Samkova, Libuse

2012-01-01

This is a guide to using Maple in teaching fundamental calculus of one, two and three variables (limits, derivatives, integrals, etc.), also suitable for Maple beginners. It outlines one of the ways to effective use of computers in the teaching process. It scans advantages and disadvantages of using Maple in relation to students and teacher. The…

10. Stage of GAN (Grupo de Analise do Nucleo) calculus methodology

International Nuclear Information System (INIS)

This Technical Note presents the stage of GAN Calculus Methodology in areas of Neutronics, Fuel Rod Performance and Fission Products Inventory. Proposals of GAN's members are presented and analyzed for each of these areas and a work schedule is established. (author)

11. Recent applications of fractional calculus to science and engineering

Directory of Open Access Journals (Sweden)

Lokenath Debnath

2003-09-01

Full Text Available This paper deals with recent applications of fractional calculus to dynamical systems in control theory, electrical circuits with fractance, generalized voltage divider, viscoelasticity, fractional-order multipoles in electromagnetism, electrochemistry, tracer in fluid flows, and model of neurons in biology. Special attention is given to numerical computation of fractional derivatives and integrals.

12. SOME CONSIDERATIONS REGARDING THE STRENGTH CALCULUS OF A LATHE TOOL

Directory of Open Access Journals (Sweden)

Catălin ROŞU

2013-05-01

Full Text Available In this paper a strength calculus of a lathe tool is made. The main purpose of this study is to determineequivalent stress relations that can be useful for an engineer in the design situation. The simplifying assumptionsand the equivalent stress relations are presented from an original point of view.

13. a Type of Fractal Interpolation Functions and Their Fractional Calculus

Science.gov (United States)

Liang, Yong-Shun; Zhang, Qi

2016-05-01

Combine Chebyshev systems with fractal interpolation, certain continuous functions have been approximated by fractal interpolation functions unanimously. Local structure of these fractal interpolation functions (FIF) has been discussed. The relationship between order of Riemann-Liouville fractional calculus and Box dimension of FIF has been investigated.

14. The Everything Guide to Calculus I A step-by-step guide to the basics of calculus - in plain English!

CERN Document Server

Hill, Greg

2011-01-01

Calculus is the basis of all advanced science and math. But it can be very intimidating, especially if you're learning it for the first time! If finding derivatives or understanding integrals has you stumped, this book can guide you through it. This indispensable resource offers hundreds of practice exercises and covers all the key concepts of calculus, including:- Limits of a function- Derivatives of a function- Monomials and polynomials- Calculating maxima and minima- Logarithmic differentials- Integrals- Finding the volume of irregularly shaped objectsBy breaking down challenging concepts a

15. Correlation between chemical composition of dental calculus and bone samples in ancient human burials: perspectives in paleonutritional studies

International Nuclear Information System (INIS)

Full text: The authors describe the results of an assay based on the comparison between chemical composition of dental calculus and bone respectively obtained from teeth and bones of ancient skeletons. The chemical analysis has been performed by synchrotron light. The concentrations of the following oligoelements having paleonutritional correlations were analysed: Fe, Cu, Zn, Pb, Sr and Ca. The authors demonstrate that- in a given individual the concentration of such elements in the bone sample were in the range of those obtained for the same elements in the sample of dental calculus. Such correspondence suggests that the chemical analysis of dental calculus may give paleonutritional indications analogous to those deriving from the analysis of bone samples. The authors underline also that the use of dental calculus has a distinct advantage over the use of bone samples, since it may allow a diachronic investigation. In fact, dental calculus typically presents a concentric pattern of growth, and the chemical composition of each layer may vary in accordance with temporal dietary variations. This is not the case for bone. This fact is the theoretical basis for the possible future development of techniques directed to the reconstruction of variations in the dietary habits of ancient individuals, possibly in relation to environmental seasonal changes

16. Generalization of some inequalities via Riemann-Liouville fractional calculus

Directory of Open Access Journals (Sweden)

Mihai V. Marcela

2014-05-01

Full Text Available Some Hermite-Hadamard type inequalities are provided. We deal with functions whose derivatives in absolute value are convex or concave. By defining two cumulative gaps which enable us to generalize known rezults in the framework of Riemann-Liouville fractional calculus, we open a new perspective on the classic statement of the inequality.

17. Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch

Institute of Scientific and Technical Information of China (English)

Dong Xiaoju(董笑菊); Zhong Farong; Fu Yuxi

2003-01-01

This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity.

18. Some properties of the lambda-mu-and-or-calculus

OpenAIRE

Nour, Karim; Saber, Khelifa

2012-01-01

In this paper, we present the lambda-mu-and-or-calculus which at the typed level corresponds to the full classical propositional natural deduction system. Church- Rosser property of this system is proved using the standardization and the finiteness developments theorem. We defi ne also the leftmost reduction and prove that it is a winning strategy

19. A Metric Model of Lambda Calculus with Guarded Recursion

DEFF Research Database (Denmark)

Birkedal, Lars; Schwinghammer, Jan; Støvring, Kristian

We give a model for Nakano’s typed lambda calculus with guarded recursive definitions in a category of metric spaces. By proving a computational adequacy result that relates the interpretation with the operational semantics, we show that the model can be used to reason about contextual equivalence....

20. On the refinement calculus

CERN Document Server

Vickers, Trevor

1992-01-01

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

1. The Malliavin calculus

CERN Document Server

Bell, Denis R

2006-01-01

This introduction to Malliavin's stochastic calculus of variations is suitable for graduate students and professional mathematicians. Author Denis R. Bell particularly emphasizes the problem that motivated the subject's development, with detailed accounts of the different forms of the theory developed by Stroock and Bismut, discussions of the relationship between these two approaches, and descriptions of a variety of applications.The first chapter covers enough technical background to make the subsequent material accessible to readers without specialized knowledge of stochastic analysis. Succe

2. Giant urethral calculus

OpenAIRE

Kotkar, Kunal; Thakkar, Ravi; Songra, MC

2011-01-01

Primary urethral calculus is rarely seen and is usually encountered in men with urethral stricture or diverticulum. We present a case of giant urethral calculus secondary to a urethral stricture in a man. The patient was treated with calculus extraction with end to end urethroplasty.

CERN Document Server

Nickerson, HK; Steenrod, NE

2011-01-01

""This book is a radical departure from all previous concepts of advanced calculus,"" declared the Bulletin of the American Mathematics Society, ""and the nature of this departure merits serious study of the book by everyone interested in undergraduate education in mathematics."" Classroom-tested in a Princeton University honors course, it offers students a unified introduction to advanced calculus. Starting with an abstract treatment of vector spaces and linear transforms, the authors introduce a single basic derivative in an invariant form. All other derivatives - gradient, divergent, curl,

4. CLEP calculus

CERN Document Server

Hill, Gregory

2013-01-01

Earn College Credit with REA's Test Prep for CLEP* Calculus Everything you need to pass the exam and get the college credit you deserve.Our test prep for CLEP* Calculus and the free online tools that come with it, will allow you to create a personalized CLEP* study plan that can be customized to fit you: your schedule, your learning style, and your current level of knowledge.Here's how it works:Diagnostic exam at the REA Study Center focuses your studyOur online diagnostic exam pinpoints your strengths and shows you exactly where you need to focus your study. Armed with this information, you

5. Baxter Algebras and Umbral Calculus

OpenAIRE

Guo, Li

2004-01-01

We apply recent constructions of free Baxter algebras to the study of the umbral calculus. We give a characterization of the umbral calculus in terms of Baxter algebra. This characterization leads to a natural generalization of the umbral calculus that include the classical umbral calculus in a family of $\\lambda$-umbral calculi parameterized by $\\lambda$ in the base ring.

6. The Impact of Taking a College Pre-Calculus Course on Students' College Calculus Performance

Science.gov (United States)

2014-01-01

Poor performance on placement exams keeps many US students who pursue a STEM (science, technology, engineering, mathematics) career from enrolling directly in college calculus. Instead, they must take a pre-calculus course that aims to better prepare them for later calculus coursework. In the USA, enrollment in pre-calculus courses in two- and…

7. Flipping Calculus

Science.gov (United States)

McGivney-Burelle, Jean; Xue, Fei

2013-01-01

In this paper we discuss flipping pedagogy and how it can transform the teaching and learning of calculus by applying pedagogical practices that are steeped in our understanding of how students learn most effectively. In particular, we describe the results of an exploratory study we conducted to examine the benefits and challenges of flipping a…

8. Geometric calculus according to the Ausdehnungslehre of H. Grassmann

CERN Document Server

Peano, Giuseppe

2000-01-01

Calcolo Geometrico, G. Peano's first publication in mathematical logic, is a model of expository writing, with a significant impact on 20th century mathematics. Kannenberg's lucid and crisp translation, Geometric Calculus, will appeal to historians of mathematics, researchers, graduate students, and general readers interested in the foundations of mathematics and the development of a formal logical language. In Chapter IX, with the innocent-sounding title "Transformations of a linear system," one finds the crown jewel of the book: Peano's axiom system for a vector space, the first-ever presentation of a set of such axioms. The very wording of the axioms (which Peano calls "definitions") has a remarkably modern ring, almost like a modern introduction to linear algebra. Peano also presents the basic calculus of set operation, introducing the notation for 'intersection,' 'union,' and 'element of,' many years before it was accepted. Despite its uniqueness, Calcolo Geometrico has been strangely neglected by histor...

9. Implementation of inherence calculus in the PowerLoom environment

Science.gov (United States)

Wachulski, Marcin F.; Mulawka, Jan J.; Nieznański, Edward

The article describes an attempt to implement abstract and concrete inherence calculi in the PowerLoom technology. Issues in the field of artificial intelligence, ontology and philosophy have been addressed. The inherence calculus is a type of a formal logic system. The PowerLoom technology consists of a knowledge representation language and an inference engine. Six inherence calculi have been implemented and an appropriate testing environment has been developed. The inherence calculus has been also extended by categorical properties and a theoretical discussion of ontological Boolean algebra has been conducted. Carried out experiments showed properties of the inherence calculi and also verified capabilities of PowerLoom to construct such logic systems. It occurred that expert system operational mode of PowerLoom outperforms its abilities to work as a mathematical theorem prover.

10. Towards a Denotational Semantics of Timed RSL Using Duration Calculus

Institute of Scientific and Technical Information of China (English)

李黎

2001-01-01

The Timed RAISE Specification Language (Timed RSL) is an extension of RAISE Specification Language by adding time constructors for specifying real-time applications. Duration Calculus (DC) is a real-time interval logic, which can be used to specify and reason about timing and logical constraints on duration properties of Boolean states in a dynamic system. This paper gives a denotational semantics to a subset of Timed RSL expressions, using Duration Calculus extended with super-dense chop modality and notations to capture time point properties of piecewise continuous states of arbitrary types. Using this semantics, the paper presents a proof rule for verifying Timed RSL iterative expressions and implements the rule to prove the satisfaction by a sample Timed RSL specification of its real-time requirements.

11. A Calculus for Control Flow Analysis of Security Protocols

DEFF Research Database (Denmark)

Buchholtz, Mikael; Nielson, Hanne Riis; Nielson, Flemming

2004-01-01

The design of a process calculus for anaysing security protocols is governed by three factors: how to express the security protocol in a precise and faithful manner, how to accommodate the variety of attack scenarios, and how to utilise the strengths (and limit the weaknesses) of the underlying...... analysis methodology. We pursue an analysis methodology based on control flow analysis in flow logic style and we have previously shown its ability to analyse a variety of security protocols. This paper develops a calculus, LysaNS that allows for much greater control and clarity in the description of...... attack scenarios, that gives a more flexible format for expressing protocols, and that at the same time allows to circumvent some of the false positives'' arising in previous work....

12. Direct evidence of milk consumption from ancient human dental calculus

DEFF Research Database (Denmark)

Warinner, C.; Hendy, J.; Speller, C.;

2014-01-01

Milk is a major food of global economic importance, and its consumption is regarded as a classic example of gene-culture evolution. Humans have exploited animal milk as a food resource for at least 8500 years, but the origins, spread, and scale of dairying remain poorly understood. Indirect lines...... consumption directly to individuals and their dairy livestock. Here we report the first direct evidence of milk consumption, the whey protein β-lactoglobulin (BLG), preserved in human dental calculus from the Bronze Age (ca. 3000 BCE) to the present day. Using protein tandem mass spectrometry, we demonstrate...... that BLG is a species-specific biomarker of dairy consumption, and we identify individuals consuming cattle, sheep, and goat milk products in the archaeological record. We then apply this method to human dental calculus from Greenland's medieval Norse colonies, and report a decline of this biomarker...

13. Semiclassical regime of Regge calculus and spin foams

International Nuclear Information System (INIS)

Recent attempts to recover the graviton propagator from spin foam models involve the use of a boundary quantum state peaked on a classical geometry. The question arises whether beyond the case of a single simplex this suffices for peaking the interior geometry in a semiclassical configuration. In this paper we explore this issue in the context of quantum Regge calculus with a general triangulation. Via a stationary phase approximation, we show that the boundary state succeeds in peaking the interior in the appropriate configuration, and that boundary correlations can be computed order by order in an asymptotic expansion. Further, we show that if we replace at each simplex the exponential of the Regge action by its cosine-as expected from the semiclassical limit of spin foam models-then the contribution from the sign-reversed terms is suppressed in the semiclassical regime and the results match those of conventional Regge calculus

14. A compact kernel for the calculus of inductive constructions

A Asperti; W Ricciotti; C Sacerdoti Coen; E Tassi

2009-02-01

The paper describes the new kernel for the Calculus of Inductive Constructions (CIC) implemented inside the Matita Interactive Theorem Prover. The design of the new kernel has been completely revisited since the ﬁrst release, resulting in a remarkably compact implementation of about 2300 lines of OCaml code. The work is meant for people interested in implementation aspects of Interactive Provers, and is not self contained. In particular, it requires good acquaintance with Type Theory and functional programming languages.

15. Fundamental theorems of extensional untyped $\\lambda$-calculus revisited

Directory of Open Access Journals (Sweden)

Alexandre Lyaletsky

2015-10-01

Full Text Available This paper presents new proofs of three following fundamental theorems of the untyped extensional $\\lambda$-calculus: the $\\eta$-Postpo-nement theorem, the $\\beta\\eta$-Normal form theorem, and the Norma-lization theorem for $\\beta\\eta$-reduction. These proofs do not involve any special extensions of the standard language of $\\lambda$-terms but nevertheless are shorter and much more comprehensive than their known analogues.

16. Bunny hops: using multiplicities of zeroes in calculus for graphing

Science.gov (United States)

Miller, David; Deshler, Jessica M.; Hansen, Ryan

2016-07-01

Students learn a lot of material in each mathematics course they take. However, they are not always able to make meaningful connections between content in successive mathematics courses. This paper reports on a technique to address a common topic in calculus I courses (intervals of increase/decrease and concave up/down) while also making use of students' pre-existing knowledge about the behaviour of functions around zeroes based on multiplicities.

17. CASE REPORT OF AN UNUSUALLY LARGE RENAL CALCULUS

OpenAIRE

Samir; Yogesh; Tushar Ranjan

2015-01-01

Renal calculus is a solid or crystal aggregation formed in the kidneys from minerals in the u rine . Many calculi are formed and passed without causing symptoms. A kidney stone is a hard, crystalline mineral material formed within the kidney or urinary tract. Renal calculi affect all geographical, racial and groups with a worldwide prevalence of bet ween 2 and 20%. Majority of the patients are usually between the 20 - 55 years of age. T...

18. Differential Calculus, Tensor Products and the Importance of Notation

OpenAIRE

Manton, Jonathan H.

2012-01-01

An efficient coordinate-free notation is elucidated for differentiating matrix expressions and other functions between higher-dimensional vector spaces. This method of differentiation is known, but not explained well, in the literature. Teaching it early in the curriculum would avoid the tedium of element-wise differentiation and provide a better footing for understanding more advanced applications of calculus. Additionally, it is shown to lead naturally to tensor products, a topic previously...

19. Enhancing the blended learning experience of Calculus I students

OpenAIRE

Al-Ghassani, A; H. Al Shamsi; Islam, M.; N. Al-Salti; I. Al-Hasni

2015-01-01

Blended Learning showed in the last two decades to be one of the effective ways in education and training. We illustrate our initiative experience with blended learning in the course Calculus I. The main goals we want to achieve are improving students understanding of the course concepts, increasing the level of uniformity in this multi-sections course and enhancing students blended learning experience online and offline. Consequently, this affects positively students' academic performance. W...

20. Ideas of Physical Forces and Differential Calculus in Ancient India

OpenAIRE

Girish, T. E.; Nair, C. Radhakrishnan

2010-01-01

We have studied the context and development of the ideas of physical forces and differential calculus in ancient India by studying relevant literature related to both astrology and astronomy since pre-Greek periods. The concept of Naisargika Bala (natural force) discussed in Hora texts from India is defined to be proportional to planetary size and inversely related to planetary distance. This idea developed several centuries prior to Isaac Newton resembles fundamental physical forces in natur...

1. Malliavin calculus and optimal control of stochastic Volterra equations

OpenAIRE

Agram, Nacira; Øksendal, Bernt

2014-01-01

Solutions of stochastic Volterra (integral) equations are not Markov processes, and therefore classical methods, like dynamic programming, cannot be used to study optimal control problems for such equations. However, we show that by using {\\em Malliavin calculus} it is possible to formulate a modified functional type of {\\em maximum principle} suitable for such systems. This principle also applies to situations where the controller has only partial information available to base her decisions ...

2. The Modeling of the ERP Systems within Parallel Calculus

OpenAIRE

Loredana MOCEAN

2011-01-01

As we know from a few years, the basic characteristics of ERP systems are: modular-design, central common database, integration of the modules, data transfer between modules done automatically, complex systems and flexible configuration. Because this, is obviously a parallel approach to design and implement them within parallel algorithms, parallel calculus and distributed databases. This paper aims to support these assertions and provide a model, in summary, what could be an ERP system based...

3. Numerical Simulation of Electromagnetic Waves Scattering by Discrete Exterior Calculus

International Nuclear Information System (INIS)

We show how to construct discrete Maxwell equations by discrete exterior calculus. The new scheme has many virtues compared to the traditional Yee's scheme: it is a multisymplectic scheme and keeps geometric properties. Moreover, it can be applied on triangular mesh and thus is more adaptive to handle domains with irregular shapes. We have implemented this scheme on a Java platform successfully and our experimental results show that this scheme works well. (fundamental areas of phenomenology (including applications))

4. Some basic results on the sets of sequences with geometric calculus

Science.gov (United States)

Türkmen, Cengiz; Başar, Feyzi

2012-08-01

As an alternative to the classical calculus, Grossman and Katz [Non-Newtonian Calculus, Lee Press, Pigeon Cove, Massachusetts, 1972] introduced the non-Newtonian calculus consisting of the branches of geometric, anageometric and bigeometric calculus. Following Grossman and Katz, we construct the field C(G) of geometric complex numbers and the concept of geometric metric. Also we give the triangle and Minkowski's inequalities in the sense of geometric calculus. Later we respectively define the sets w(G), ℓ∞(G), c(G), c0(G) and ℓp(G) of all, bounded, convergent, null and p-absolutely summable sequences, in the sense of geometric calculus and show that each of the set forms a complete vector space on the field C(G).

5. Functional Ito Calculus, Path-dependence and the Computation of Greeks

OpenAIRE

Samy Jazaerli; Saporito, Yuri F.

2013-01-01

Dupire's functional Ito calculus provides an alternative approach to the classical Malliavin calculus for the computation of sensitivities, also called Greeks, of path-dependent derivatives prices. In this paper, we introduce a measure of path-dependence of functionals within the functional Ito calculus framework. Namely, we consider the Lie bracket of the space and time functional derivatives, which we use to classify functionals according to their degree of path-dependence. We then revisit ...

6. Elements of programming linguistics. Part I, The lambda calculus and its implementation

OpenAIRE

MacLennan, Bruce J.

1982-01-01

The lambda calculus is used as an introduction to programming language concepts, particularly the concepts of functional programming. Both interpreted and compiled implementations of an extended lambda calculus are discussed. They can be adopted to implementations of Pascal and Lisp. It is shown that traditional stack-based run-time structures can be directly derived from the reduction rules of the lambda calculus. (Author)

7. Non-commutative residue of projections in Boutet de Monvel's calculus

DEFF Research Database (Denmark)

Gaarde, Anders

2007-01-01

Using results by Melo, Nest, Schick, and Schrohe on the K-theory of Boutet de Monvel's calculus of boundary value problems, we show that the non-commutative residue introduced by Fedosov, Golse, Leichtnam, and Schrohe vanishes on projections in the calculus. This partially answers a question raised...... in a recent collaboration with Grubb, namely whether the residue is zero on sectorial projections for boundary value problems: This is confirmed to be true when the sectorial projections is in the calculus....

8. Focalization and phase models for classical extensions of non-associative Lambek calculus

OpenAIRE

Bastenhof, Arno

2011-01-01

Lambek's non-associative syntactic calculus (NL) excels in its resource consciousness: the usual structural rules for weakening, contraction, exchange and even associativity are all dropped. Recently, there have been proposals for conservative extensions dispensing with NL's intuitionistic bias towards sequents with single conclusions: De Groote and Lamarche's classical non-associative Lambek calculus (CNL) and the Lambek-Grishin calculus (LG) of Moortgat and associates. We demonstrate Andreo...

9. Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

DEFF Research Database (Denmark)

Hüttel, Hans; Kühnrich, Morten; Godskesen, Jens Christian

We introduce a novel process calculus called DBSPI (distributed broadcast SPI-calculus) which models mobile ad hoc networks (MANET). The calculus is a cryptographic broadcast calculus with locations and migration. Communication and migration are limited to neighborhoods. Neighborhood definitions...... are explicitly part of the syntax allowing dynamic extension using bound identifiers. In this semantic setting we study authentication of agents in MANET protocols. A safety property dealing with authentication correspondence assertions is defined. Later a dependent type and effect system is given and...

10. ESeal Calculus： A Secure Mobile Calculus

Institute of Scientific and Technical Information of China (English)

PengRong; UuPing

2003-01-01

The ESeal Calculus is a secure mobile calculus based on Seal Calculus. By using open-channels,ESeal Calculus makes it possible to communicate between any two arbitrary seals with some secure restrictions. It improves the expression ability and efficiency of Seal calculus without losing security.