WorldWideScience

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. Partial differential equations and calculus of variations

    CERN Document Server

    Leis, Rolf

    1988-01-01

    This volume contains 18 invited papers by members and guests of the former Sonderforschungsbereich in Bonn (SFB 72) who, over the years, collaborated on the research group "Solution of PDE's and Calculus of Variations". The emphasis is on existence and regularity results, on special equations of mathematical physics and on scattering theory.

  4. Optimal control and the calculus of variations

    CERN Document Server

    Pinch, Enid R

    1993-01-01

    This introduction to optimal control theory is intended for undergraduate mathematicians and for engineers and scientists with some knowledge of classical analysis. It includes sections on classical optimization and the calculus of variations. All the important theorems are carefully proved. There are many worked examples and exercises for the reader to attempt.

  5. 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.

  6. An introduction to the calculus of variations

    CERN Document Server

    Pars, LA

    2009-01-01

    This clear, rigorous introduction to the calculus of variations covers applications to geometry, dynamics, and physics. Focusing upon problems with one independent variable, the text connects the abstract theory to its use in concrete problems. It offers a working knowledge of relevant techniques, plus an impetus for further study.Starting with an overview of fundamental problems and theories, the text advances to illustrative examples and examinations of variable end-points and the fundamental sufficiency theorem. Subsequent chapters explore the isoperimetrical problem, curves in space, the p

  7. Expected Utility Optimization - Calculus of Variations Approach

    CERN Document Server

    Tran, Khoa

    2007-01-01

    In this paper, I'll derive the Hamilton-Jacobi (HJ) equation for Merton's problem in Utility Optimization Theory using a Calculus of Variations (CoV) Approach. For stochastic control problems, Dynamic Programming (DP) has been used as a standard method. To the best of my knowledge, no one has used CoV for this problem. In addition, while the DP approach cannot guarantee that the optimum satisfies the HJ equation, the CoV approach does. Be aware that this is the first draft of this paper and many flaws might be introduced.

  8. 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

  9. 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.

  10. 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...

  11. 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.

  12. A formalism for the calculus of variations with spinors

    CERN Document Server

    Bäckdahl, Thomas

    2016-01-01

    We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As 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,C)) 2-spinors as well as to space (i.e. SU(2,C)) 2-spinors. We compute expressions for the variations of the connection and the curvature spinors.

  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. The Calculus of Variations and the Ideal MHD Energy Principle

    Science.gov (United States)

    Schnack, Dalton D.

    In Lecture 22, we showed that the ideal MHD force operator is self-adjoint and suggested that this allowed a formulation in which the stability of a system could be determined without solving a differential equation. Going further requires a little background in the calculus of variations. In the lecture we begin this discussion,1 and formulate the ideal MHD energy principle.

  15. 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...

  16. A Discrete Algorithm to the Calculus of Variations

    CERN Document Server

    Pereira, Celia T L M; Torres, Delfim F M

    2011-01-01

    A numerical study of an algorithm proposed by Gusein Guseinov, which determines approximations to the optimal solution of problems of calculus of variations using two discretizations and correspondent Euler-Lagrange equations, is investigated. The results we obtain to discretizations of the brachistochrone problem and Mania example with Lavrentiev's phenomenon are compared with the solutions found by other methods and solvers. We conclude that Guseinov's method presents better solutions in most of the cases studied.

  17. Constrained Calculus of Variations and Geometric Optimal Control Theory

    OpenAIRE

    Luria, Gianvittorio

    2010-01-01

    The present work provides a geometric approach to the calculus of variations in the presence of non-holonomic constraints. As far as the kinematical foundations are concerned, a fully covariant scheme is developed through the introduction of the concept of infinitesimal control. The usual classification of the evolutions into normal and abnormal ones is also discussed, showing the existence of a universal algorithm assigning to every admissible curve a corresponding abnormality index, defined...

  18. Differential geometry and the calculus of variations

    CERN Document Server

    Hermann, Robert

    1968-01-01

    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank mat

  19. Discrete Direct Methods in the Fractional Calculus of Variations

    CERN Document Server

    Pooseh, Shakoor; Torres, Delfim F M

    2012-01-01

    Finite differences, as a subclass of direct methods in the calculus of variations, consist in discretizing the objective functional using appropriate approximations for derivatives that appear in the problem. This article generalizes the same idea for fractional variational problems. We consider a minimization problem with a Lagrangian that depends only on the left Riemann-Liouville fractional derivative. Using Grunwald-Letnikov definition, we approximate the objective functional in an equispaced grid as a multi-variable function of the values of the unknown function on mesh points. The problem is then transformed to an ordinary static optimization problem. The solution to the latter problem gives an approximation to the original fractional problem on mesh points.

  20. A new class of problems in the calculus of variations

    Science.gov (United States)

    Ekeland, Ivar; Long, Yiming; Zhou, Qinglong

    2013-11-01

    This paper investigates an infinite-horizon problem in the one-dimensional calculus of variations, arising from the Ramsey model of endogeneous economic growth. Following Chichilnisky, we introduce an additional term, which models concern for the well-being of future generations. We show that there are no optimal solutions, but that there are equilibrium strateges, i.e. Nash equilibria of the leader-follower game between successive generations. To solve the problem, we approximate the Chichilnisky criterion by a biexponential criterion, we characterize its equilibria by a pair of coupled differential equations of HJB type, and we go to the limit. We find all the equilibrium strategies for the Chichilnisky criterion. The mathematical analysis is difficult because one has to solve an implicit differential equation in the sense of Thom. Our analysis extends earlier work by Ekeland and Lazrak.

  1. 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.

  2. 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...

  3. A Brief Survey of the History of the Calculus of Variations and its Applications

    OpenAIRE

    2004-01-01

    In this paper, we trace the development of the theory of the calculus of variations. From its roots in the work of Greek thinkers and continuing through to the Renaissance, we see that advances in physics serve as a catalyst for developments in the mathematical theory. From the 18th century onwards, the task of establishing a rigourous framework of the calculus of variations is studied, culminating in Hilbert's work on the Dirichlet problem and the development of optimal control theory. Final...

  4. 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.

  5. Geometric constrained variational calculus. II: The second variation (Part I)

    Science.gov (United States)

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

    2016-10-01

    Within the geometrical framework developed in [Geometric constrained variational calculus. I: Piecewise smooth extremals, Int. J. Geom. Methods Mod. Phys. 12 (2015) 1550061], the problem of minimality for constrained calculus of variations is analyzed among the class of differentiable curves. A fully covariant representation of the second variation of the action functional, based on a suitable gauge transformation of the Lagrangian, is explicitly worked out. Both necessary and sufficient conditions for minimality are proved, and reinterpreted in terms of Jacobi fields.

  6. 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.

  7. Non-Slender Missile Geometries of Minimum Ballistic Factor via Calculus of Variations

    Directory of Open Access Journals (Sweden)

    Manak Singh

    1986-01-01

    Full Text Available The problem of determining the geometry of non-slender axisymmetric missile of minimum ballistic factor in hypersonic flow has been solved via calculus of variation under the assumption that the flow is Newtonian and the surface averaged skin friction coefficient is constant. The study has been made for conditions of given diameter and surface area. The results obtained have been compared with those obtained by the method of gradient technique.

  8. Scientific computation of conservation laws in the calculus of variations and optimal control

    OpenAIRE

    2005-01-01

    We present analytic computational tools that permit us to identify, in an automatic way, conservation laws in optimal control. The central result we use is the famous Noether’s theorem, a classical theory developed by Emmy Noether in 1918, in the context of the calculus of variations and mathematical physics, and which was extended recently to the more general context of optimal control. We show how a Computer Algebra System can be very helpful in finding the symmetries and cor...

  9. Automatic computation of conservation laws in the calculus of variations and optimal control

    OpenAIRE

    2006-01-01

    Computer Application We present analytic computational tools that permit us to identify, in an automatic way, conservation laws in optimal control. The central result we use is the famous Noether's theorem, a classical theory developed by Emmy Noether in 1918, in the context of the calculus of variations and mathematical physics, and which was extended recently to the more general context of optimal control. We show how a Computer Algebra System can be very helpful in finding the symmetrie...

  10. New progress in the inverse problem in the calculus of variations

    OpenAIRE

    2014-01-01

    We present a new class of solutions for the inverse problem in the calculus of variations in arbitrary dimension $n$. This is the problem of determining the existence and uniqueness of Lagrangians for systems of $n$ second order ordinary differential equations. We also provide a number of new theorems concerning the inverse problem using exterior differential systems theory (EDS). Concentrating on the differential step of the EDS process, our new results provide a significant advance in the u...

  11. Weak and strong minima : from calculus of variation toward PDE optimization

    OpenAIRE

    2013-01-01

    This note summarizes some recent advances on the theory of optimality conditions for PDE optimization. We focus our attention on the concept of strong minima for optimal control problems governed by semi-linear elliptic and parabolic equations. Whereas in the field of calculus of variations this notion has been deeply investigated, the study of strong solutions for optimal control problems of partial differential equations (PDEs) has been addressed recently. We first revisit some well-known r...

  12. Introduction to Mathematical Physics. Calculus of Variations and Boundary-value Problems

    OpenAIRE

    Adamyan, V. M.; Sushko, M. Ya.

    2013-01-01

    This book considers posing and the methods of solving simple linear boundary-value problems in classical mathematical physics. The questions encompassed include: the fundamentals of calculus of variations; one-dimensional boundary-value problems in the oscillation and heat conduction theories, with a detailed analysis of the Sturm-Liouville boundary-value problem and substantiation of the Fourier method; sample solutions of the corresponding problems in two and three dimensions, with essentia...

  13. 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...

  14. 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.

  15. 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

  16. Formal Integrability for the nonautonomous case of the inverse problem of the calculus of variations

    CERN Document Server

    Constantinescu, Oana

    2012-01-01

    We address the integrability conditions of the inverse problem of the calculus of variations for time-dependent SODE using the Spencer version of the Cartan-K\\"ahler Theorem. We consider a linear partial differential operator P given by the two Helmholtz conditions expressed in terms of semi-basic 1-forms and study its formal integrability. We prove that P is involutive and there is only one obstruction for the formal integrability of this operator. The obstruction is expressed in terms of the curvature tensor R of the induced nonlinear connection. We recover some of the classes of Lagrangian semisprays: flat semisprays, isotropic semisprays and arbitrary semisprays on 2-dimensional jet spaces.

  17. 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.

  18. 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.

  19. 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

  20. 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

  1. 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.

  2. Impact of Calculus Reform in a Liberal Arts Calculus Course.

    Science.gov (United States)

    Brosnan, Patricia A.; Ralley, Thomas G.

    This report describes the changes in a freshman-level calculus course that occurred as a consequence of adopting the Harvard Consortium Calculus text. The perspective is that of the lecturer. The course is intended as an introduction to calculus for liberal arts students, that is, students who will not be expected to use calculus as a mathematical…

  3. 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

  4. 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.

  5. 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

  6. 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.

  7. The History of the Calculus

    Science.gov (United States)

    Harding, Simon; Scott, Paul

    2004-01-01

    Calculus is a mathematical concept that is fundamental to how we understand the world around us. Whether it is in the world of technology, finance, astronomy, sociology, medicine, calculus in one form or another can be found. This brief article describes the origins of calculus in Greece, further developments by Newton and Leibniz, and the…

  8. Provability Calculus of Constructions

    DEFF Research Database (Denmark)

    Nyblad, Kasten

    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 PCo...

  9. 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.

  10. 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

  11. Fractional Calculus of Variations in Terms of a Generalized Fractional Integral with Applications to Physics

    OpenAIRE

    Tatiana Odzijewicz; Malinowska, Agnieszka B.; Torres, Delfim F. M.

    2012-01-01

    We study fractional variational problems in terms of a generalized fractional integral with Lagrangians depending on classical derivatives, generalized fractional integrals and derivatives. We obtain necessary optimality conditions for the basic and isoperimetric problems, as well as natural boundary conditions for free-boundary value problems. The fractional action-like variational approach (FALVA) is extended and some applications to physics discussed. Copyright 2012 Tatiana Odzijewicz et al.

  12. 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…

  13. 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...

  14. Polynomial Calculus: Rethinking the Role of Calculus in High Schools

    Science.gov (United States)

    Grant, Melva R.; Crombie, William; Enderson, Mary; Cobb, Nell

    2016-01-01

    Access to advanced study in mathematics, in general, and to calculus, in particular, depends in part on the conceptual architecture of these knowledge domains. In this paper, we outline an alternative conceptual architecture for elementary calculus. Our general strategy is to separate basic concepts from the particular advanced techniques used in…

  15. Polynomial calculus: rethinking the role of calculus in high schools

    Science.gov (United States)

    Grant, Melva R.; Crombie, William; Enderson, Mary; Cobb, Nell

    2016-08-01

    Access to advanced study in mathematics, in general, and to calculus, in particular, depends in part on the conceptual architecture of these knowledge domains. In this paper, we outline an alternative conceptual architecture for elementary calculus. Our general strategy is to separate basic concepts from the particular advanced techniques used in their definition and exposition. We develop the beginning concepts of differential and integral calculus using only concepts and skills found in secondary algebra and geometry. It is our underlining objective to strengthen students' knowledge of these topics in an effort to prepare them for advanced mathematics study. The purpose of this reconstruction is not to alter the teaching of limit-based calculus but rather to affect students' learning and understanding of mathematics in general by introducing key concepts during secondary mathematics courses. This approach holds the promise of strengthening more students' understanding of limit-based calculus and enhancing their potential for success in post-secondary mathematics.

  16. 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...

  17. 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.

  18. 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].

  19. 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…

  20. 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.)

  1. Advanced calculus of several variables

    CERN Document Server

    Edwards, C H

    1995-01-01

    Modern conceptual treatment of multivariable calculus, emphasizing the interplay of geometry and analysis via linear algebra and the approximation of nonlinear mappings by linear ones. At the same time, ample attention is paid to the classical applications and computational methods. Hundreds of examples, problems and figures. 1973 edition.

  2. 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…

  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. A Calculus of Evolving Objects

    Directory of Open Access Journals (Sweden)

    M. Dezani-Ciancaglini

    2008-01-01

    Full Text Available The demands of developing modern, highly dynamic applications have led to an increasing interest in dynamic programming languages and mechanisms. Not only must applications evolve over time, but the object models themselves may need to be adapted to the requirements of different run-time contexts. Class-based models and prototype-based models, for example, may need to co-exist to meet the demands of dynamically evolving applications. Multi-dimensional dispatch, fine-grained and dynamic software composition, and run-time evolution of behaviour are further examples of diverse mechanisms which may need to co-exist in a dynamically evolving run-time environment. How can we model the semantics of these highly dynamic features, yet still offer some reasonable safety guarantees?To this end we present an original calculus in which objects can adapt their behaviour at run-time. Both objects and environments are represented by first-class mappings between variables and values. Message sends are dynamically resolved to method calls. Variables may be dynamically bound, making it possible to model a variety of dynamic mechanisms within the same calculus. Despite the highly dynamic nature of the calculus, safety properties are assured by a type assignment system.

  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. 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

  7. Dental Calculus Arrest of Dental Caries

    Science.gov (United States)

    Keyes, Paul H.; Rams, Thomas E.

    2016-01-01

    Background An inverse relationship between dental calculus mineralization and dental caries demineralization on teeth has been noted in some studies. Dental calculus may even form superficial layers over existing dental caries and arrest their progression, but this phenomenon has been only rarely documented and infrequently considered in the field of Cariology. To further assess the occurrence of dental calculus arrest of dental caries, this study evaluated a large number of extracted human teeth for the presence and location of dental caries, dental calculus, and dental plaque biofilms. Materials and methods A total of 1,200 teeth were preserved in 10% buffered formal saline, and viewed while moist by a single experienced examiner using a research stereomicroscope at 15-25× magnification. Representative teeth were sectioned and photographed, and their dental plaque biofilms subjected to gram-stain examination with light microscopy at 100× magnification. Results Dental calculus was observed on 1,140 (95%) of the extracted human teeth, and no dental carious lesions were found underlying dental calculus-covered surfaces on 1,139 of these teeth. However, dental calculus arrest of dental caries was found on one (0.54%) of 187 evaluated teeth that presented with unrestored proximal enamel caries. On the distal surface of a maxillary premolar tooth, dental calculus mineralization filled the outer surface cavitation of an incipient dental caries lesion. The dental calculus-covered carious lesion extended only slightly into enamel, and exhibited a brown pigmentation characteristic of inactive or arrested dental caries. In contrast, the tooth's mesial surface, without a superficial layer of dental calculus, had a large carious lesion going through enamel and deep into dentin. Conclusions These observations further document the potential protective effects of dental calculus mineralization against dental caries. PMID:27446993

  8. 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.

  9. RAMAN-SPECTRA OF HUMAN DENTAL CALCULUS

    NARCIS (Netherlands)

    TSUDA, H; ARENDS, J

    1993-01-01

    Raman spectra of human dental calculus have been observed for the first time by use of micro-Raman spectroscopy. The spectral features of calculus were influenced easily by heating caused by laser irradiation. Therefore, the measurements were carried out at relatively low power (5 mW, 1-mu m spot si

  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. 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...

  12. 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…

  13. A Calculus of Located Entities

    Directory of Open Access Journals (Sweden)

    Adriana Compagnoni

    2014-03-01

    Full Text Available We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current location of the entity. The motivation for the extension comes from the need to describe the evolution of populations of biochemical species in space, while keeping a sufficiently high level description, so that phenomena like diffusion, collision, and confinement can remain part of the semantics of the calculus. Combined with the random diffusion movement inherited from BioScape, programmable locations allow us to capture the assemblies of configurations of polymers, oligomers, and complexes such as microtubules or actin filaments. Further new aspects of BioScapeL include random translation and scaling. Random translation is instrumental in describing the location of new entities relative to the old ones. For example, when a cell secretes a hydronium ion, the ion should be placed at a given distance from the originating cell, but in a random direction. Additionally, scaling allows us to capture at a high level events such as division and growth; for example, daughter cells after mitosis have half the size of the mother cell.

  14. 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.

  15. The Calculus of Grief

    Science.gov (United States)

    Williams, Lee Burdette

    2010-01-01

    On a college campus, educators and students live on the edge of tragedy. They walk that edge everyday, aware that the possibility of death is always one misstep away. One careless move by any of the hundreds or thousands of them walking that edge, and their whole community falls into a canyon of grief from which they will climb only after weeks,…

  16. 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.

  17. Astrophysical Applications of Fractional Calculus

    Science.gov (United States)

    Stanislavsky, Aleksander A.

    The paradigm of fractional calculus occupies an important place for the macroscopic description of subdiffusion. Its advance in theoretical astrophysics is expected to be very attractive too. In this report we discuss a recent development of the idea to some astrophysical problems. One of them is connected with a random migration of bright points associated with magnetic fields at the solar photosphere. The transport of the bright points has subdiffusive features that require the fractional generalization of the Leighton's model. Another problem is related to the angular distribution of radio beams, being propagated through a medium with random inhomogeneities. The peculiarity of this medium is that radio beams are trapped because of random wave localization. This idea can be useful for the diagnostics of interplanetary and interstellar turbulent media.

  18. Applications of fractional calculus in physics

    CERN Document Server

    2000-01-01

    Fractional calculus is a collection of relatively little-known mathematical results concerning generalizations of differentiation and integration to noninteger orders. While these results have been accumulated over centuries in various branches of mathematics, they have until recently found little appreciation or application in physics and other mathematically oriented sciences. This situation is beginning to change, and there are now a growing number of research areas in physics which employ fractional calculus.This volume provides an introduction to fractional calculus for physicists, and co

  19. Sequent Calculus in the Topos of Trees

    DEFF Research Database (Denmark)

    Clouston, Ranald; Goré, Rajeev

    2015-01-01

    of this logic can be given by linear converse-well-founded intuitionistic Kripke frames, so this logic is a marriage of the intuitionistic modal logic KM and the intermediate logic LC. We therefore call this logic KMlin . We give a sound and cut-free complete sequent calculus for KMlin via a strategy...... that 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...

  20. 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.

  1. On Some Syntactic Properties of the Modalized Heyting Calculus

    OpenAIRE

    Muravitsky, Alexei

    2016-01-01

    We show that the modalized Heyting calculus introduced by Leo Esakia admits a normal axiomatization. Then, we prove that the inference rules $\\square\\alpha/\\alpha$ and $\\square\\alpha\\rightarrow\\alpha/\\alpha$ are admissible in this calculus. Finally, we show that this calculus and intuitionistic propositional calculus are assertorically equipollent, which leads to a variant of limited separation property for the modalized Heyting calculus.

  2. 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…

  3. The origins of Cauchy's rigorous calculus

    CERN Document Server

    Grabiner, Judith V

    2005-01-01

    This text examines the reinterpretation of calculus by Augustin-Louis Cauchy and his peers in the 19th century. These intellectuals created a collection of well-defined theorems about limits, continuity, series, derivatives, and integrals. 1981 edition.

  4. 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

  5. Tuplix Calculus Specifications of Financial Transfer Networks

    CERN Document Server

    Bergstra, J A; van der Zwaag, M B

    2008-01-01

    We study the application of Tuplix Calculus in modular financial budget design. We formalize organizational structure using financial transfer networks. We consider the notion of flux of money over a network, and a way to enforce the matching of influx and outflux for parts of a network. We exploit so-called signed attribute notation to make internal streams visible through encapsulations. Finally, we propose a Tuplix Calculus construct for the definition of data functions.

  6. Applications of Monte Carlo Methods in Calculus.

    Science.gov (United States)

    Gordon, Sheldon P.; Gordon, Florence S.

    1990-01-01

    Discusses the application of probabilistic ideas, especially Monte Carlo simulation, to calculus. Describes some applications using the Monte Carlo method: Riemann sums; maximizing and minimizing a function; mean value theorems; and testing conjectures. (YP)

  7. 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.

  8. Capsule calculus

    CERN Document Server

    Ritow, Ira

    2003-01-01

    This brief introductory text presents the basic principles of calculus from the engineering viewpoint. Excellent either as a refresher or as an introductory course, it focuses on developing familiarity with the basic principles rather than presenting detailed proofs.Topics include differential calculus, in terms of differentiation and elementary differential equations; integral calculus, in simple and multiple integration forms; time calculus; equations of motion and their solution; complex variables; complex algebra; complex functions; complex and operational calculus; and simple and inverse

  9. The Sustainability of Dental Calculus for Archaeological Research

    DEFF Research Database (Denmark)

    Mackie, Meaghan Emma; Radini, Anita; Speller, Camilla

    Dental calculus is a mineralized plaque biofilm formed by microbiota of the oral microbiome. Until recently, the information potential of dental calculus for archaeological study was not fully realised and it was often discarded. However, it is now recognized that dental calculus entombs and pres......Dental calculus is a mineralized plaque biofilm formed by microbiota of the oral microbiome. Until recently, the information potential of dental calculus for archaeological study was not fully realised and it was often discarded. However, it is now recognized that dental calculus entombs...... and preserve biomolecules related to diet, health and disease....

  10. 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 reconfigurat......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...

  11. Ancient DNA analysis of dental calculus.

    Science.gov (United States)

    Weyrich, Laura S; Dobney, Keith; Cooper, Alan

    2015-02-01

    Dental calculus (calcified tartar or plaque) is today widespread on modern human teeth around the world. A combination of soft starchy foods, changing acidity of the oral environment, genetic pre-disposition, and the absence of dental hygiene all lead to the build-up of microorganisms and food debris on the tooth crown, which eventually calcifies through a complex process of mineralisation. Millions of oral microbes are trapped and preserved within this mineralised matrix, including pathogens associated with the oral cavity and airways, masticated food debris, and other types of extraneous particles that enter the mouth. As a result, archaeologists and anthropologists are increasingly using ancient human dental calculus to explore broad aspects of past human diet and health. Most recently, high-throughput DNA sequencing of ancient dental calculus has provided valuable insights into the evolution of the oral microbiome and shed new light on the impacts of some of the major biocultural transitions on human health throughout history and prehistory. Here, we provide a brief historical overview of archaeological dental calculus research, and discuss the current approaches to ancient DNA sampling and sequencing. Novel applications of ancient DNA from dental calculus are discussed, highlighting the considerable scope of this new research field for evolutionary biology and modern medicine.

  12. 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.

  13. Caratheodory-Equivalence, Noether Theorems, and Tonelli Full-Regularity in the Calculus of Variations and Optimal Control

    OpenAIRE

    2002-01-01

    We study, in a unified way, the following questions related to the properties of Pontryagin extremals for optimal control problems with unrestricted controls: i) How the transformations, which define the equivalence of two problems, transform the extremals? ii) How to obtain quantities which are conserved along any extremal? iii) How to assure that the set of extremals include the minimizers predicted by the existence theory? These questions are connected to: i) the Caratheodory method which ...

  14. 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

  15. On realizations of exterior calculus with dN = 0

    Science.gov (United States)

    Abramov, V.

    1998-11-01

    We study realizations of the q-exterior calculus with exterior differential d satisfying d N = 0, N > 2 on the free associative algebra with one generator and on the generalized Clifford algebras. Analogs of the notions of connection and curvature are discussed in the case of the q-exterior calculus on the generalized Clifford algebra. We show that the q-exterior calculus on the free associative algebra with one generator is related to q-calculus on the braided line.

  16. 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 automated...

  17. 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...... that 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...

  18. Calculus Unlimited

    OpenAIRE

    Marsden, Jerrold; Weinstein, Alan J.

    1981-01-01

    Purpose: This book is intended to supplement our text, Calculus (Benjamin/Cummings, 1980), or virtually any other calculus text (see page vii, How To Use This Book With Your Calculus Text). As the title Calculus Unlimited implies, this text presents an alternative treatment of calculus using the method of exhaustion for the derivative and integral in place of limits. With the aid of this method, a definition of the derivative may be introduced in the first lecture of a calculus course for stu...

  19. 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...

  20. A Calculus of Communicating Systems with Label Passing

    DEFF Research Database (Denmark)

    Engberg, Uffe Henrik; Nielsen, Mogens

    Milner's Calculus of Communicating Systems (CCS) is extended with a mechanism for label passing - as an attempt to remedy some of the shortcomings of CCS w.r.t. dynamic change of agent interconnections. In the extended calculus, restriction is viewed formally as a binder, and the calculus allows...

  1. Variable Order Fractional Variational Calculus for Double Integrals

    OpenAIRE

    Odzijewicz, Tatiana; Malinowska, Agnieszka B.; Torres, Delfim F. M.

    2012-01-01

    We introduce three types of partial fractional operators of variable order. An integration by parts formula for partial fractional integrals of variable order and an extension of Green's theorem are proved. These results allow us to obtain a fractional Euler-Lagrange necessary optimality condition for variable order two-dimensional fractional variational problems.

  2. 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

  3. 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.

  4. 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…

  5. The Inductive Applications of Probability Calculus

    Directory of Open Access Journals (Sweden)

    Corrado Gini

    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.

  6. A Paradox in the Metatheory of the Classical Predicate Calculus

    CERN Document Server

    Boyce, Stephen

    2009-01-01

    This paper shows that the metatheory of the classical, first-order predicate calculus is subject to paradox. It is shown that an interpretation M of the language of the calculus is definable within this metatheory such that: a formula of the calculus F(x) is satisfied at a certain denumerable sequence s of elements of the domain of M if and only if F(x) is not satisfied at s. Since the conclusion is absurd, the hypothesis that the metatheory provides a reliable account of the calculus should be rejected. The calculus may be unfit for purpose since the possibility of unsound inferences cannot be excluded.

  7. 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.

  8. 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...

  9. 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...

  10. 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.

  11. 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

  12. 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.

  13. 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.

  14. 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.

  15. 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...

  16. Some Applications of Fractional Calculus in Engineering

    Directory of Open Access Journals (Sweden)

    J. A. Tenreiro Machado

    2010-01-01

    Full Text Available Fractional Calculus (FC goes back to the beginning of the theory of differential calculus. Nevertheless, the application of FC just emerged in the last two decades, due to the progress in the area of chaos that revealed subtle relationships with the FC concepts. In the field of dynamical systems theory some work has been carried out but the proposed models and algorithms are still in a preliminary stage of establishment. Having these ideas in mind, the paper discusses FC in the study of system dynamics and control. In this perspective, this paper investigates the use of FC in the fields of controller tuning, legged robots, redundant robots, heat diffusion, and digital circuit synthesis.

  17. 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.

  18. 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

  19. 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.

  20. Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

    Directory of Open Access Journals (Sweden)

    Simon J. Gay

    2014-07-01

    Full Text Available We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. We have extended the quantum process calculus to describe d-dimensional quantum systems, which has not been done before. We summarise the necessary theory in the generalisation of quantum gates and Bell states and use the theory to apply the quantum process calculus CQP to quantum protocols, namely qudit teleportation and superdense coding.

  1. Timed Operational Semantics and Well-Formedness of Shape Calculus

    Directory of Open Access Journals (Sweden)

    E. Bartocci

    2010-01-01

    Full Text Available The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models naturally binding sites on the surface of shapes. In this paper, the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use of the calculus in a well-known biological scenario. Moreover, a result of well-formedness about the evolution of a given network of well-formed 3D processes is proved.

  2. 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.

  3. 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.

  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. 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...

  9. Equality and fixpoints in the calculus of structures

    DEFF Research Database (Denmark)

    Chaudhuri, Kaustuv; Guenot, Nicolas

    2014-01-01

    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...

  10. 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.)

  11. 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...... control π-calculus in Homer....

  12. 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

  13. Success in Introductory Calculus: The Role of High School and Pre-Calculus Preparation

    Science.gov (United States)

    Ayebo, Abraham; Ukkelberg, Sarah; Assuah, Charles

    2017-01-01

    Calculus at the college level has significant potential to serve as a pump for increasing the number of students majoring in STEM fields. It is a foundation course for all STEM majors and, if mastered well, should provide students with a positive and successful first-year experience and gateway into more advanced courses. Studies have shown that a…

  14. 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

  15. 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…

  16. Affine connection form of Regge calculus

    Science.gov (United States)

    Khatsymovsky, V. M.

    2016-12-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 three-simplices which play the 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 the four-simplices). Excluding GL(4, R) connection from this action via the equations of motion we have exactly the Regge action for the considered spacetime.

  17. 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...

  18. Completeness of the Accumulation Calculus

    Institute of Scientific and Technical Information of China (English)

    虞慧群; 孙永强; 等

    1998-01-01

    The accumulation calculs(AC for short)is an interval based temporal logic to specify and reason about hybrid real-time systems.This paper presents a formal proof system for AC,and proves that the system is complete relative to that of Interval Temporal Logic(ITL for short)on real domain.

  19. 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…

  20. A Semi-classical calculus of correlations

    CERN Document Server

    De Verdière, Yves Colin

    2011-01-01

    The method of passive imaging in seismology has been developped recently in order to image the earth crust from recordings of the seismic noise. This method is founded on the computation of correlations of the seismic noise. In this paper, we give an explicit formula for this correlation in the "semi-classical" regime. In order to do that, we define the power spectrum of a random field as the ensemble average of its Wigner measure, this allows phase-space computations: the pseudo-differential calculus and the ray theory. This way, we get a formula for the correlation of the seismic noise in the semi-classcial regime with a source noise which can be localized and non homogeneous. After that, we show how the use of surface guided waves allows to image the earth crust.

  1. Pulsed laser ablation of dental calculus in the near ultraviolet.

    Science.gov (United States)

    Schoenly, Joshua E; Seka, Wolf; Rechmann, Peter

    2014-02-01

    Pulsed lasers emitting wavelengths near 400 nm can selectively ablate dental calculus without damaging underlying and surrounding sound dental hard tissue. Our results indicate that calculus ablation at this wavelength relies on the absorption of porphyrins endogenous to oral bacteria commonly found in calculus. Sub- and supragingival calculus on extracted human teeth, irradiated with 400-nm, 60-ns laser pulses at ≤8  J/cm2, exhibits a photobleached surface layer. Blue-light microscopy indicates this layer highly scatters 400-nm photons, whereas fluorescence spectroscopy indicates that bacterial porphyrins are permanently photobleached. A modified blow-off model for ablation is proposed that is based upon these observations and also reproduces our calculus ablation rates measured from laser profilometry. Tissue scattering and a stratified layering of absorbers within the calculus medium explain the gradual decrease in ablation rate from successive pulses. Depending on the calculus thickness, ablation stalling may occur at <5  J/cm2 but has not been observed above this fluence.

  2. 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.

  3. 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....... The framework is illustrated on the design of a fragment of a wireless sensor network, and is substantiated by formal proofs of correctness of the analysis, which relate the original reduction semantics of the calculus to a new semantics with explicit substitutions....

  4. Trygve Haavelmo and the Emergence of Causal Calculus

    Science.gov (United States)

    2014-06-01

    Econometric Theory, 2014, Page 1 of 28. doi:10.1017/S0266466614000231 TRYGVE HAAVELMO AND THE EMERGENCE OF CAUSAL CALCULUS JUDEA PEARL University of...Emergence of Causal Calculus 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK...definition of a (Pearl, 1994): a = ∂ ∂x E(Y |do(x)) (3) HAAVELMO AND CAUSAL CALCULUS 3 which refers to a controlled experiment in which an agent (e.g

  5. 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.

  6. 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

  7. Student understanding of calculus within physics and mathematics classrooms

    Science.gov (United States)

    Christensen, Warren; Thompson, John

    2010-03-01

    The earliest results in Physics Education Research demonstrated the challenges facing students in understanding the graphical interpretations of slope, derivative, and area under curves in the context of kinematics. As part of ongoing research on mathematical challenges that may underlie documented physics difficulties, we developed and administered a brief survey on single- and multivariable calculus concepts to students within physics and mathematics classrooms at both the introductory and advanced levels. Initial findings among students in multivariable calculus show that as many as one in five students encounter some type of difficulty when asked to rank the slopes at five different points along a single path. We will present further data on the extent to which students in a first semester calculus course and an introductory calculus-based physics course encounter similar challenges.

  8. 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.

  9. 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…

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

    Science.gov (United States)

    Gonchukov, S.; Sukhinina, A.; Bakhmutov, D.; Biryukova, T.

    2013-02-01

    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.

  11. Tuplix Calculus

    Directory of Open Access Journals (Sweden)

    J.A. Bergstra

    2008-01-01

    Full Text Available We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive composition. We define a standard model and prove that CTC is relatively complete with respect to it. The core calculus is extended with operators for choice, information hiding, scalar multiplication, clearing and encapsulation. We provide two examples of applications; one on incremental financial budgeting, and one on modular financial budget design.

  12. Potential of shock waves to remove calculus and biofilm.

    Science.gov (United States)

    Müller, Philipp; Guggenheim, Bernhard; Attin, Thomas; Marlinghaus, Ernst; Schmidlin, Patrick R

    2011-12-01

    Effective calculus and biofilm removal is essential to treat periodontitis. Sonic and ultrasonic technologies are used in several scaler applications. This was the first feasibility study to assess the potential of a shock wave device to remove calculus and biofilms and to kill bacteria. Ten extracted teeth with visible subgingival calculus were treated with either shock waves for 1 min at an energy output of 0.4 mJ/mm(2) at 3 Hz or a magnetostrictive ultrasonic scaler at medium power setting for 1 min, which served as a control. Calculus was determined before and after treatment planimetrically using a custom-made software using a grey scale threshold. In a second experiment, multispecies biofilms were formed on saliva-preconditioned bovine enamel discs during 64.5 h. They were subsequently treated with shock waves or the ultrasonic scaler (N = 6/group) using identical settings. Biofilm detachment and bactericidal effects were then assessed. Limited efficiency of the shock wave therapy in terms of calculus removal was observed: only 5% of the calculus was removed as compared to 100% when ultrasound was used (P ≤ 0.0001). However, shock waves were able to significantly reduce adherent bacteria by three orders of magnitude (P ≤ 0.0001). The extent of biofilm removal by the ultrasonic device was statistically similar. Only limited bactericidal effects were observed using both methods. Within the limitations of this preliminary study, the shock wave device was not able to reliably remove calculus but had the potential to remove biofilms by three log steps. To increase the efficacy, technical improvements are still required. This novel noninvasive intervention, however, merits further investigation.

  13. 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.

  14. Colloquium: Fractional calculus view of complexity: A tutorial

    Science.gov (United States)

    West, Bruce J.

    2014-10-01

    The fractional calculus has been part of the mathematics and science literature for 310 years. However, it is only in the past decade or so that it has drawn the attention of mainstream science as a way to describe the dynamics of complex phenomena with long-term memory, spatial heterogeneity, along with nonstationary and nonergodic statistics. The most recent application encompasses complex networks, which require new ways of thinking about the world. Part of the new cognition is provided by the fractional calculus description of temporal and topological complexity. Consequently, this Colloquium is not so much a tutorial on the mathematics of the fractional calculus as it is an exploration of how complex phenomena in the physical, social, and life sciences that have eluded traditional mathematical modeling become less mysterious when certain historical assumptions such as differentiability are discarded and the ordinary calculus is replaced with the fractional calculus. Exemplars considered include the fractional differential equations describing the dynamics of viscoelastic materials, turbulence, foraging, and phase transitions in complex social networks.

  15. 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

  16. 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.

  17. Carathéodory's royal road of the calculus of variations: Missed exits to the maximum principle of optimal control theory

    OpenAIRE

    Pesch, Hans-Josef

    2013-01-01

    International audience; The purpose of the present paper is to show that the most prominent results in optimal control theory, the distinction between state and control variables, the maximum principle, and the principle of optimality, resp. Bellman's equation are immediate consequences of Carathéodory's achievements published about two decades before optimal control theory saw the light of day.

  18. 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

  19. 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 ...

  20. AN UNUSUAL CASE OF VESICAL CALCULUS WITH IUCD AS NIDUS

    Directory of Open Access Journals (Sweden)

    Raghuveer

    2014-09-01

    Full Text Available Foreign bodies in the bladder and ensuing calculus formation around it is an unusual cause for intravesical stone formation. Iatrogenic cause due to intrauterine device (popular and safe method of contraception due to its high efficacy, low risk and low-cost migration to adjacent organs is a rare one with only a few reports in the medical literature. Treatment of foreign bodies is determined by their size, location, shape, and mobility. In most cases, minimally invasive procedures such as endoscopic removal are recommended. We report a case of a 39 year old female who presented with chronic urinary symptoms USG, X-ray and CT scan showed the presence of IUCD with calculus. Cystoscopic examination confirmed the diagnosis and allowed removal of the intrauterine contraceptive device and calculus.

  1. TREATMENT OF CYSTINE CALCULUS WITH EXTRACORPOREAL SHOCK WAVE LITHOTRIPSY

    Institute of Scientific and Technical Information of China (English)

    2006-01-01

    Objective To evaluate the effectiveness of ESWL for treating patients with cystine calculus.Methods Of 31 patients, 20 were subjected to ESWL only, 6 were subjected to combination therapy of PCNL and ESWL, 2 Pneumatic Lithotriptor-ESWL, 3 Laser lithotripsy-ESWL. Results For 14 renal stones, the fragmentation after ESWL monotherapy was 85. 7% and 14.3% after twice ESWL sessions. For 17 ureter calculus, the fragmentation after ESWL monotherapy was 82.3% and 11.7% after twice ESWL sessions. One patient (5. 8% ) failed and changed to open surgery. Conclusion ESWL is an effective and reliable method for treating patients with cystine calculus, however, better effects and shorter treatment time could be obtained by the combination of ESWL with other therapy options.

  2. 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

  3. A Calculus for Control Flow Analysis of Security Protocols

    DEFF Research Database (Denmark)

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

    2004-01-01

    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......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...

  4. Formalization of the Resolution Calculus for First-Order Logic

    DEFF Research Database (Denmark)

    Schlichtkrull, Anders

    2016-01-01

    A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...

  5. 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…

  6. 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 investigate…

  7. 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.

  8. Questions Revisited: A Close Examination of Calculus of Inference and Inquiry

    Science.gov (United States)

    Knuth, Kevin H.; Koga, Dennis (Technical Monitor)

    2003-01-01

    In this paper I examine more closely the way in which probability theory, the calculus of inference, is derived from the Boolean lattice structure of logical assertions ordered by implication. I demonstrate how the duality between the logical conjunction and disjunction in Boolean algebra is lost when deriving the probability calculus. In addition, I look more closely at the other lattice identities to verify that they are satisfied by the probability calculus. Last, I look towards developing the calculus of inquiry demonstrating that there is a sum and product rule for the relevance measure as well as a Bayes theorem. Current difficulties in deriving the complete inquiry calculus will also be discussed.

  9. What is an efficient implementation of the λ-calculus?

    DEFF Research Database (Denmark)

    Frandsen, Gudmund Skovbjerg; Sturtivant, Carl

    1991-01-01

    We propose to measure the efficiency of any implementation of the lambda-calculus as a function of a new parameter v, that is itself a function of any lambda-expression. Complexity is expressed here as a function of v just as runtime is expressed as a function of the input size n in ordinary...

  10. Elements of stream calculus : an extensive exercise in coinduction

    NARCIS (Netherlands)

    Rutten, J.J.M.M.

    2001-01-01

    Based on the presence of a final coalgebra structure on the set of streams (infinite sequences of real numbers), a coinductive calculus of streams is developed. The main ingredient is the notion of stream derivative, with which both coinductive proofs and definitions can be formulated. In close anal

  11. Multivariate Limits and Continuity: A Survey of Calculus Textbooks.

    Science.gov (United States)

    Thompson, Thomas M.; Wiggins, Kenneth L.

    There has been much recent discussion concerning the content of the standard calculus course for students majoring in mathematics and the sciences. Some of this discussion has focused on the available textbooks. One weakness noted in some of these books involves the definitions of limit and continuity for functions of several variables. A…

  12. Calculus of Elementary Functions, Part I, Student Text. Preliminary Edition.

    Science.gov (United States)

    Herriot, Sarah T.; And Others

    This is part one of a three-part SMSG calculus text for high school students. The aim of the text is to develop some of the concepts and techniques which will enable the student to obtain important information about graphs of elementary functions. Chapter topics include: (1) polynomial functions; (2) the derivative of a polynomial function; and…

  13. 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…

  14. An Application of Calculus: Optimum Parabolic Path Problem

    Science.gov (United States)

    Atasever, Merve; Pakdemirli, Mehmet; Yurtsever, Hasan Ali

    2009-01-01

    A practical and technological application of calculus problem is posed to motivate freshman students or junior high school students. A variable coefficient of friction is used in modelling air friction. The case in which the coefficient of friction is a decreasing function of altitude is considered. The optimum parabolic path for a flying object…

  15. Calculus of Elementary Functions, Part III, Student Text. Preliminary Edition.

    Science.gov (United States)

    Herriot, Sarah T.; And Others

    This is part three of a three-part SMSG calculus text for high school students. The aim of the text is to develop some of the concepts and techniques which will enable the student to obtain important information about graphs of elementary functions. Chapter topics include area and the integral, differentiation theory and technique, mathematical…

  16. 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

  17. Using Origami Boxes to Explore Concepts of Geometry and Calculus

    Science.gov (United States)

    Wares, Arsalan

    2011-01-01

    The purpose of this classroom note is to provide an example of how a simple origami box can be used to explore important concepts of geometry and calculus. This article describes how an origami box can be folded, then it goes on to describe how its volume and surface area can be calculated. Finally, it describes how the box could be folded to…

  18. 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.

  19. Insights from the MAA National Study of College Calculus

    Science.gov (United States)

    Bressoud, David

    2015-01-01

    Over the past five years, the Mathematical Association of America, with support from the National Science Foundation, has explored the teaching of mainstream Calculus 1 at the postsecondary level, where by "mainstream" we mean those courses that can be used as part of the prerequisite stream to more advanced postsecondary mathematics. We…

  20. An Investigation of Calculus Learning Using Factorial Modeling.

    Science.gov (United States)

    Dick, Thomas P.; Balomenos, Richard H.

    Structural covariance models that would explain the correlations observed among mathematics achievement and participation measures and related cognitive and affective variables were developed. A sample of college calculus students (N=268; 124 females and 144 males) was administered a battery of cognitive tests (including measures of spatial-visual…

  1. Formalization of the Integral Calculus in the PVS Theorem Prover

    Directory of Open Access Journals (Sweden)

    Ricky Wayne Butler

    2009-04-01

    Full Text Available The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

  2. 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.

  3. A metric model of lambda calculus with guarded recursion

    DEFF Research Database (Denmark)

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

    2010-01-01

    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....

  4. Relation of Spatial Skills to Calculus Proficiency: A Brief Report

    Science.gov (United States)

    Cromley, Jennifer G.; Booth, Julie L.; Wills, Theodore W.; Chang, Briana L.; Tran, Nhi; Madeja, Michael; Shipley, Thomas F.; Zahner, William

    2017-01-01

    Spatial skills have been shown in various longitudinal studies to be related to multiple science, technology, engineering, and math (STEM) achievement and retention. The specific nature of this relation has been probed in only a few domains, and has rarely been investigated for calculus, a critical topic in preparing students for and in STEM…

  5. 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.

  6. Advanced calculus

    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,

  7. Advanced calculus

    CERN Document Server

    Widder, David V

    2012-01-01

    This classic text by a distinguished mathematician and former Professor of Mathematics at Harvard University, leads students familiar with elementary calculus into confronting and solving more theoretical problems of advanced calculus. In his preface to the first edition, Professor Widder also recommends various ways the book may be used as a text in both applied mathematics and engineering.Believing that clarity of exposition depends largely on precision of statement, the author has taken pains to state exactly what is to be proved in every case. Each section consists of definitions, theorem

  8. Concepts and Skills in High School Calculus: An Examination of a Special Case in Japan and the United States

    Science.gov (United States)

    Judson, Thomas W.; Nishimori, Toshiyuki

    2005-01-01

    In this study we investigated above-average high school calculus students from Japan and the United States in order to determine any differences in their conceptual understanding of calculus and their ability to use algebra to solve traditional calculus problems. We examined and interviewed 18 Calculus BC students in the United States and 26…

  9. Formal calculus and umbral calculus

    CERN Document Server

    Robinson, Thomas J

    2009-01-01

    In this paper we use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus and we introduce and study certain operators generalizing the classical umbral shifts. We begin by calculating the exponential generating function of the higher derivatives of a composite function, following a short, elementary proof which naturally arose as a motivating computation related to a certain crucial "associativity" property of an important class of vertex operator algebras. Very similar (somewhat forgotten) proofs had appeared by the 19-th century, of course without any motivation related to vertex operator algebras. Using this formula, we derive certain results, including especially the calculation of certain adjoint operators, of the classical umbral calculus. This is, roughly speaking, a reversal of the logical development of some standard treatments, which have obtained formulas for the higher derivatives of a composite function, most not...

  10. 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

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

    Science.gov (United States)

    Sonnert, Gerhard; Sadler, Philip M.

    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…

  12. Calculus II For Dummies

    CERN Document Server

    Zegarelli, Mark

    2012-01-01

    An easy-to-understand primer on advanced calculus topics Calculus II is a prerequisite for many popular college majors, including pre-med, engineering, and physics. Calculus II For Dummies offers expert instruction, advice, and tips to help second semester calculus students get a handle on the subject and ace their exams. It covers intermediate calculus topics in plain English, featuring in-depth coverage of integration, including substitution, integration techniques and when to use them, approximate integration, and improper integrals. This hands-on guide also covers sequences and series, wit

  13. 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...

  14. Fractional Calculus: Integral and Differential Equations of Fractional Order

    CERN Document Server

    Gorenflo, Rudolf

    2008-01-01

    We introduce the linear operators of fractional integration and fractional differentiation in the framework of the Riemann-Liouville fractional calculus. Particular attention is devoted to the technique of Laplace transforms for treating these operators in a way accessible to applied scientists, avoiding unproductive generalities and excessive mathematical rigor. By applying this technique we shall derive the analytical solutions of the most simple linear integral and differential equations of fractional order. We show the fundamental role of the Mittag-Leffler function, whose properties are reported in an ad hoc Appendix. The topics discussed here will be: (a) essentials of Riemann-Liouville fractional calculus with basic formulas of Laplace transforms, (b) Abel type integral equations of first and second kind, (c) relaxation and oscillation type differential equations of fractional order.

  15. 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.

  16. 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.

  17. A compact kernel for the calculus of inductive constructions

    Indian Academy of Sciences (India)

    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 first 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.

  18. Dimensionally Democratic Calculus and Principles of Polydimensional Physics

    CERN Document Server

    Pezzaglia, W M

    1999-01-01

    A solution to the 50 year old problem of a spinning particle in curved space has been recently derived using an extension of Clifford calculus in which each geometric element has its own coordinate. This leads us to propose that all the laws of physics should obey new polydimensional metaprinciples, for which Clifford algebra is the natural language of expression, just as tensors were for general relativity. Specifically, phenomena and physical laws should be invariant under local automorphism transformations which reshuffle the physical geometry. This leads to a new generalized unified basis for classical mechanics, which includes string theory, membrane theory and the hypergravity formulation of Crawford[J. Math. Phys., {\\bf 35}, 2701-2718 (1994)]. Most important is that the broad themes presented can be exploited by nearly everyone in the field as a framework to generalize both the Clifford calculus and multivector physics.

  19. Experimentation at the Frontiers of Reality in Schubert Calculus

    CERN Document Server

    Hillar, Christopher; del Campo, Abraham Martin; Ruffo, James; Teitler, Zach; Johnson, Stephen L; Sottile, Frank

    2009-01-01

    We describe the setup, design, and execution of a computational experiment utilizing a supercomputer that is helping to formulate and test conjectures in the real Schubert calculus. Largely using machines in instructional computer labs during off-hours and University breaks, it consumed in excess of 350 GigaHertz-years of computing in its first six months of operation, solving over 1.1 billion polynomial systems. This experiment can serve as a model for other large scale mathematical investigations.

  20. Computer-Aided Transformation of PDE Models: Languages, Representations, and a Calculus of Operations

    Science.gov (United States)

    2016-01-05

    Computer-aided transformation of PDE models: languages, representations, and a calculus of operations A domain-specific embedded language called...languages, representations, and a calculus of operations Report Title A domain-specific embedded language called ibvp was developed to model initial...Computer-aided transformation of PDE models: languages, representations, and a calculus of operations 1 Vision and background Physical and engineered systems

  1. The Modeling of the ERP Systems within Parallel Calculus

    Directory of Open Access Journals (Sweden)

    Loredana MOCEAN

    2011-01-01

    Full Text Available 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 on parallel computing and algorithms.

  2. Architectural models of ambient-PRISMA in channel ambient calculus

    OpenAIRE

    Ali, Nour; Tuosto, Emilio

    2011-01-01

    peer-reviewed Ambient-PRISMA is an architectural approach for specifying aspect-oriented software architecture and generating code of distributed and mobile systems. Ambient-PRISMA lacks a precise semantics due to the fact that it is based only on a metamodel. In this paper, Ambient-PRISMA is mapped into a formal language called Channel Ambient Calculus, a process algebra for specifying mobile applications that provides channels and ambients as first-class citizens. We...

  3. 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).

  4. On certain realizations of the q-deformed exterior differential calculus

    Science.gov (United States)

    Kerner, Richard; Abramov, Viktor

    1999-04-01

    We investigate two particular realizations of a q-deformed differential calculus at q being a primitive root of unity, qN = 1. Particular attention is paid to the Z3-graded case N = 3. First we construct an analogue of the exterior differential calculus on a manifold, then we introduce a discrete realization of such a calculus on generalized Clifford algebras. Finally, combining both constructions, we discuss a ZN-graded generalization of gauge theory.

  5. 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....

  6. Dental calculus: recent insights into occurrence, formation, prevention, removal and oral health effects of supragingival and subgingival deposits.

    Science.gov (United States)

    White, D J

    1997-10-01

    Dental calculus, both supra- and subgingival occurs in the majority of adults worldwide. Dental calculus is calcified dental plaque, composed primarily of calcium phosphate mineral salts deposited between and within remnants of formerly viable microorganisms. A viable dental plaque covers mineralized calculus deposits. Levels of calculus and location of formation are population specific and are affected by oral hygiene habits, access to professional care, diet, age, ethnic origin, time since last dental cleaning, systemic disease and the use of prescription medications. In populations that practice regular oral hygiene and with access to regular professional care, supragingival dental calculus formation is restricted to tooth surfaces adjacent to the salivary ducts. Levels of supragingival calculus in these populations is minor and the calculus has little if any impact on oral-health. Subgingival calculus formation in these populations occurs coincident with periodontal disease (although the calculus itself appears to have little impact on attachment loss), the latter being correlated with dental plaque. In populations that do not practice regular hygiene and that do not have access to professional care, supragingival calculus occurs throughout the dentition and the extent of calculus formation can be extreme. In these populations, supragingival calculus is associated with the promotion of gingival recession. Subgingival calculus, in "low hygiene" populations, is extensive and is directly correlated with enhanced periodontal attachment loss. Despite extensive research, a complete understanding of the etiologic significance of subgingival calculus to periodontal disease remains elusive, due to inability to clearly differentiate effects of calculus versus "plaque on calculus". As a result, we are not entirely sure whether subgingival calculus is the cause or result of periodontal inflammation. Research suggests that subgingival calculus, at a minimum, may expand the

  7. 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.

  8. The Safe Lambda Calculus

    CERN Document Server

    Blum, William

    2009-01-01

    Safety is a syntactic condition of higher-order grammars that constrains occurrences of variables in the production rules according to their type-theoretic order. In this paper, we introduce the safe lambda calculus, which is obtained by transposing (and generalizing) the safety condition to the setting of the simply-typed lambda calculus. In contrast to the original definition of safety, our calculus does not constrain types (to be homogeneous). We show that in the safe lambda calculus, there is no need to rename bound variables when performing substitution, as variable capture is guaranteed not to happen. We also propose an adequate notion of beta-reduction that preserves safety. In the same vein as Schwichtenberg's 1976 characterization of the simply-typed lambda calculus, we show that the numeric functions representable in the safe lambda calculus are exactly the multivariate polynomials; thus conditional is not definable. We also give a characterization of representable word functions. We then study the ...

  9. Analysis of Errors and Misconceptions in the Learning of Calculus by Undergraduate Students

    Science.gov (United States)

    Muzangwa, Jonatan; Chifamba, Peter

    2012-01-01

    This paper is going to analyse errors and misconceptions in an undergraduate course in Calculus. The study will be based on a group of 10 BEd. Mathematics students at Great Zimbabwe University. Data is gathered through use of two exercises on Calculus 1&2.The analysis of the results from the tests showed that a majority of the errors were due…

  10. Formal Analysis of Quantum Systems using Process Calculus

    Directory of Open Access Journals (Sweden)

    Timothy A.S. Davidson

    2011-07-01

    Full Text Available Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods, such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis. We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components, and summarize the results of initial investigation using behavioural equivalence in process calculus. This paper is a summary of Simon Gay's invited talk at ICE'11.

  11. The Association of Precollege Use of Calculators with Student Performance in College Calculus

    Science.gov (United States)

    Mao, Yi; White, Tyreke; Sadler, Philip M.; Sonnert, Gerhard

    2017-01-01

    This study investigates how the use of calculators during high school mathematics courses is associated with student performance in introductory college calculus courses in the USA. Data were drawn from a nationally representative sample of 7087 students enrolled in college calculus at 134 colleges and universities. They included information about…

  12. Using Dynamic Tools to Develop an Understanding of the Fundamental Ideas of Calculus

    Science.gov (United States)

    Verzosa, Debbie; Guzon, Angela Fatima; De Las Peñas, Ma. Louise Antonette N.

    2014-01-01

    Although dynamic geometry software has been extensively used for teaching calculus concepts, few studies have documented how these dynamic tools may be used for teaching the rigorous foundations of the calculus. In this paper, we describe lesson sequences utilizing dynamic tools for teaching the epsilon-delta definition of the limit and the…

  13. The Role of Cognitive Ability and Preferred Mode of Processing in Students' Calculus Performance

    Science.gov (United States)

    Haciomeroglu, Erhan Selcuk

    2015-01-01

    The present study sought to design calculus tasks to determine students' preference for visual or analytic processing as well as examine the role of preferred mode of processing in calculus performance and its relationship to spatial ability and verbal-logical reasoning ability. Data were collected from 150 high school students who were enrolled…

  14. Infinitesimal calculus

    CERN Document Server

    Henle, James M

    2003-01-01

    Introducing calculus at the basic level, this text covers hyperreal numbers and hyperreal line, continuous functions, integral and differential calculus, fundamental theorem, infinite sequences and series, infinite polynomials, more. 1979 edition.

  15. Specification and Verification of Multimedia Synchronization in Duration Calculus

    Institute of Scientific and Technical Information of China (English)

    MA HuaDong(马华东)

    2003-01-01

    This paper proposes a new method of specifying multimedia synchronization basedon Duration Calculus (DC), a real time interval logic, presents the completeness of the new model,and uses it to specify the temporal relations between multimedia objects. Moreover, the paperprovides a method of constructing a meta-script based on basic synchronization requirements. Someproperties of the formal specifications, including safety and liveness, are stated in DC. Furthermore,the verification of the above properties is discussed in DC semantic. Compared with other methodsfor specifying multimedia synchronization, this method is more powerful and flexible, and it is goodat specifying the quantitative properties of multimedia synchronization.

  16. Volterra calculus and the variation formulas for the equivariant Ray-Singer metric

    Science.gov (United States)

    Wang, Yong

    2015-04-01

    In this paper, using the Greiner's approach to heat kernel asymptotics, we give new proofs of the equivariant Gauss-Bonnet-Chern formula and the variation formulas for the equivariant Ray-Singer metric, which are originally due to Bismut and Zhang.

  17. Semantics of a Typed Algebraic Lambda-Calculus

    CERN Document Server

    Valiron, Benoît

    2010-01-01

    Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We sketch the relation with two established vectorial lambda-calculi. Then we study the problems arising from the addition of a fixed point combinator and how to modify the equational theory to solve them. We sketch an algebraic vectorial PCF and its possible denotational interpretations.

  18. Advanced Jones calculus for the classification of periodic metamaterials

    Science.gov (United States)

    Menzel, Christoph; Rockstuhl, Carsten; Lederer, Falk

    2010-11-01

    By relying on an advanced Jones calculus, we analyze the polarization properties of light upon propagation through metamaterial slabs in a comprehensive manner. Based on symmetry considerations, we show that all periodic metamaterials may be divided into five different classes only. It is shown that each class differently affects the polarization of the transmitted light and sustains different eigenmodes. We show how to deduce these five classes from symmetry considerations and provide a simple algorithm that can be applied to decide to which class a given metamaterial belongs by measuring only the transmitted intensities.

  19. Assessment of Peer-Led Team Learning in Calculus I: A Five-Year Study

    Science.gov (United States)

    Merkel, John Conrad; Brania, Abdelkrim

    2015-01-01

    This five-year study of the peer-led team learning (PLTL) paradigm examined its implementation in a Calculus I course at an all-male HBCU institution. For this study we set up a strong control group and measured the effect of PLTL in the teaching and learning of Calculus I through two points of measure: retention and success rates and learning…

  20. Using an Advanced Graphing Calculator in the Teaching and Learning of Calculus

    Science.gov (United States)

    Leng, Ng Wee

    2011-01-01

    The purpose of this study was to investigate how the use of TI-Nspire[TM] could enhance the teaching and learning of calculus. A conceptual framework for the use of TI-Nspire[TM] for learning calculus in a mathematics classroom is proposed that describes the interactions among the students, TI-Nspire[TM], and the learning tasks, and how they lead…

  1. A natural differential calculus on Lie bialgebras with dual of triangular type

    NARCIS (Netherlands)

    Hijligenberg, N.W. van den; Martini, R.

    1995-01-01

    We prove that for a specific class of Lie bialgebras, there exists a natural differential calculus. This class consists of the Lie bialgebras for which the dual Lie bialgebra is of triangular type. The differential calculus is explicitly constructed with the help of the $R$-matrix from the dual. The

  2. Towards the Development of an Automated Learning Assistant for Vector Calculus: Integration over Planar Regions

    Science.gov (United States)

    Yaacob, Yuzita; Wester, Michael; Steinberg, Stanly

    2010-01-01

    This paper presents a prototype of a computer learning assistant ILMEV (Interactive Learning-Mathematica Enhanced Vector calculus) package with the purpose of helping students to understand the theory and applications of integration in vector calculus. The main problem for students using Mathematica is to convert a textbook description of a…

  3. Building Mathematical Maturity in Calculus: Teaching Implicit Differentiation through a Review of Functions

    Science.gov (United States)

    Hare, Angela; Phillippy, Doug

    2004-01-01

    A program on calculus is conducted, which helps students learn about inherent differentiation through a study of mathematical functions, while simultaneously reinforcing their understanding of functional concepts. This process develops their mathematical experience in the field of calculus and in other advanced quantitative programs.

  4. Global calculus in local BRST cohomology

    CERN Document Server

    Giachetta, G; Sardanashvily, G

    2000-01-01

    The construction of local BRST cohomology is extended to an arbitrary affine bundle. Cohomology of the variational complex on the infinite order jet space of a smooth fibre bundle is computed. This provides a solution of the global inverse problem of the calculus of variations in Lagrangian field theory.

  5. A logical approach to security in the context of Ambient Calculus

    DEFF Research Database (Denmark)

    Mardare, Radu Iulian; Priami, Corrado

    2004-01-01

    A logical approach to security in the context of Ambient Calculus. Electronic Notes in Theoretical Computer Science, N 99:3-29, 2004......A logical approach to security in the context of Ambient Calculus. Electronic Notes in Theoretical Computer Science, N 99:3-29, 2004...

  6. A "Brutus" model checking of a spi-calculus dialect (Extended Abstract)

    NARCIS (Netherlands)

    Gnesi, S.; Latella, D.; Lenzini, G.

    2000-01-01

    This paper proposes a preliminary framework in which protocols, expressed in a dialect of the spi-calculus, can be verified using model checking algorithms. In particular we define a formal semantics for a dialect of the spi-calculus based on labeled transition systems in such a way that the model c

  7. A giant dumbbell shaped vesico-prostatic urethral calculus: a case report and review of literature.

    Science.gov (United States)

    Prabhuswamy, Vinod Kumar; Tiwari, Rahul; Krishnamoorthy, Ramakrishnan

    2013-01-01

    Calculi in the urethra are an uncommon entity. Giant calculi in prostatic urethra are extremely rare. The decision about treatment strategy of calculi depends upon the size, shape, and position of the calculus and the status of the urethra. If the stone is large and immovable, it may be extracted via the perineal or the suprapubic approach. In most of the previous reported cases, giant calculi were extracted via the transvesical approach and external urethrotomy. A 38-year-old male patient presented with complaints of lower urinary tract symptoms. Further investigations showed a giant urethral calculus secondary to stricture of bulbo-membranous part of the urethra. Surgical removal of calculus was done via transvesical approach. Two calculi were found and extracted. One was a huge dumbbell calculus and the other was a smaller round calculus. This case was reported because of the rare size and the dumbbell nature of the stone. Giant urethral calculi are better managed by open surgery.

  8. Improving Student Learning of Calculus Topics via Modified Just-in-Time Teaching Methods

    Science.gov (United States)

    Natarajan, Rekha; Bennett, Andrew

    2014-01-01

    Although the use of traditional just-in-time teaching techniques has long been viewed positively by students and instructors in undergraduate calculus courses, past studies in this area have not addressed gains in student achievement with respect to specific calculus topics. This paper investigates the latter by administering modified just-in-time…

  9. What Does It Mean for a Student to Understand the First-Year Calculus? Perspectives of 24 Experts

    Science.gov (United States)

    Sofronas, Kimberly S.; DeFranco, Thomas C.; Vinsonhaler, Charles; Gorgievski, Nicholas; Schroeder, Larissa; Hamelin, Chris

    2011-01-01

    This article presents the views of 24 nationally recognized authorities in the field of mathematics, and in particular the calculus, on student understanding of the first-year calculus. A framework emerged that includes four overarching end goals for understanding of the first-year calculus: (a) mastery of the fundamental concepts and-or skills of…

  10. Eye Irritation Test of Bovis Calculus Pharmacopuncture Solutions for Eye Drop

    Directory of Open Access Journals (Sweden)

    Hyeong-sik Seo

    2008-06-01

    Full Text Available Objective : This study was done to investigate the safety of Bovis Calculus pharmacopuncture solution manufactured with freezing dryness method to use eye drop. Methods : The eye irritation test of this material was performed according to the Regulation of Korea Food & Drug Administration (2005. 10. 21, KFDA 2005-60. After Bovis Calculus pharmacopuncture solution was medicated in the left eye of the rabbits, the auther observed eye irritation of the cornea, iris, conjunctiva at 1, 2, 3, 4 & 7day. Results : 1. After Bovis Calculus pharmacopuncture solution was medicated in the left eye of the rabbits, there wasn’t physical problem at 9 rabbits. 2. After Bovis Calculus pharmacopuncture solutionwas medicated in the left eye of the rabbits, there wasn’t eye irritation of the cornea, iris, conjunctiva at 1, 2, 3, 4 & 7day. Conclusions : I suggested that Bovis Calculus pharmacopuncture solution didn’t induced eye irritation in rabbits.

  11. Modified Regge Calculus as an Explanation of Dark Matter

    CERN Document Server

    Stuckey, W M; Silberstein, Michael

    2015-01-01

    According to modified Regge calculus (MORC), large-scale rarified distributions of matter can lead to perturbative corrections of the corresponding spacetime geometry of general relativity (GR). It is well known in GR that the dynamic mass of the matter generating the exterior Schwarzschild vacuum solution to Einstein's equations can differ from the proper mass of that same matter per the interior solution. For galactic rotation curves and the mass profiles of X-ray clusters, we use MORC to propose that it is precisely this type of mass difference on an enhanced scale that is currently attributed to non-baryonic dark matter. We argue that this same approach is applicable to Regge calculus cosmology and the modeling of anisotropies in the angular power spectrum of the CMB due to acoustic oscillations, so it should be applicable to explaining dark matter phenomena on that scale as well. We account for the value of the dynamic mass by a simple geometric scaling of the proper mass of the baryonic matter in galaxi...

  12. On the construction of unitary quantum group differential calculus

    Science.gov (United States)

    Pyatov, Pavel

    2016-10-01

    We develop a construction of the unitary type anti-involution for the quantized differential calculus over {{GL}}q(n) in the case | q| =1. To this end, we consider a joint associative algebra of quantized functions, differential forms and Lie derivatives over {{GL}}q(n)/{{SL}}q(n), which is bicovariant with respect to {{GL}}q(n)/{{SL}}q(n) coactions. We define a specific non-central spectral extension of this algebra by the spectral variables of three matrices of the algebra generators. In the spectrally expended algebra, we construct a three-parametric family of its inner automorphisms. These automorphisms are used for the construction of the unitary anti-involution for the (spectrally extended) calculus over {{GL}}q(n). This work has been funded by the Russian Academic Excellence Project ‘5-100’. The results of section 5 (propositions 5.2, 5.3 and theorem 5.5) have been obtained under support of the RSF grant No.16-11-10160.

  13. A SAT-Based Analysis of a Calculus for Wireless Sensor Networks

    DEFF Research Database (Denmark)

    Wu, Xi; Nielson, Hanne Riis; Zhu, Huibiao

    2015-01-01

    In viewing the common unreliability problem in wireless communications, the CWQ calculus (a Calculus for Wireless sensor networks from Quality perspective) was recently proposed for modeling and reasoning about WSNs(Wireless Sensor Networks) and their applications from a quality perspective....... The CWQ calculus ensures that sensor nodes, even though in an unreliable communication network, can behave in a reasonable manner. Nevertheless, in CWQ calculus, the topological structure is considered at the network level and it is tightly coupled with the processes and other configurations, this may...... limit its flexibility. In this paper, to make the CWQ calculus more flexible to be able to model and reason about networks of different topological structures, we extend it to be a parametric framework. In the parametric framework, we extract the topological structure of a network and make...

  14. Comment on “Variational Iteration Method for Fractional Calculus Using He’s Polynomials”

    Directory of Open Access Journals (Sweden)

    Ji-Huan He

    2012-01-01

    boundary value problems. This note concludes that the method is a modified variational iteration method using He’s polynomials. A standard variational iteration algorithm for fractional differential equations is suggested.

  15. Putting Differentials Back into Calculus

    Science.gov (United States)

    Dray, Tevian; Manogue, Corrine A.

    2010-01-01

    We argue that the use of differentials in introductory calculus courses is useful and provides a unifying theme, leading to a coherent view of the calculus. Along the way, we meet several interpretations of differentials, some better than others.

  16. 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 input...

  17. Combinatorics of renormalization as matrix calculus

    Energy Technology Data Exchange (ETDEWEB)

    Ebrahimi-Fard, Kurusch [Physics Institute, Bonn University, Nussallee 12, Bonn 53115 (Germany)]. E-mail: fard@th.physik.uni-bonn.de; Gracia-Bondia, Jose M. [Departamento de Fisica Teorica I, Universidad Complutense, Madrid 28040 (Spain); Guo, Li [Department of Mathematics and Computer Science, Rutgers University, Newark, NJ 07102 (United States); Varilly, Joseph C. [Departamento de Matematicas, Universidad de Costa Rica, San Jose 2060 (Costa Rica)

    2006-01-19

    We give a simple presentation of the combinatorics of renormalization in perturbative quantum field theory in terms of triangular matrices. The prescription, that may be of calculational value, is derived from first principles, to wit, the 'Birkhoff decomposition' in the Hopf-algebraic description of renormalization by Connes and Kreimer.

  18. Optimization of Cubic Polynomial Functions without Calculus

    Science.gov (United States)

    Taylor, Ronald D., Jr.; Hansen, Ryan

    2008-01-01

    In algebra and precalculus courses, students are often asked to find extreme values of polynomial functions in the context of solving an applied problem; but without the notion of derivative, something is lost. Either the functions are reduced to quadratics, since students know the formula for the vertex of a parabola, or solutions are…

  19. Theory and calculus of cubical complexes

    Science.gov (United States)

    Perlman, M.

    1973-01-01

    Combination switching networks with multiple outputs may be represented by Boolean functions. Report has been prepared which describes derivation and use of extraction algorithm that may be adapted to simplification of such simultaneous Boolean functions.

  20. The Decision Calculus of Terrorist Leaders

    Directory of Open Access Journals (Sweden)

    J. Tyson Chatagnier

    2012-10-01

    Full Text Available This article contributes to the literature on terrorist group decision-making by introducing a new procedure, Applied Decision Analysis, in an attempt to understand how leaders of terrorist organizations make decisions. We examine twenty-three decisions taken by leaders of three terrorist organizations: Al-Qaeda, Hamas, and Hizballah. We also demonstrate the use of the Applied Decision Analysis procedure to uncover the "Decision DNA" or “decision code” of leaders of such organizations. After reviewing the results and insights derived from this analysis, we conclude with implications for policies to counter terrorism.

  1. An Application of Calculus to Cinematography.

    Science.gov (United States)

    Sworder, Steven C.

    This paper presents a laboratory exercise in which an integration problem is applied to cinematography, without the need for apparatus. The problem situation is about the oscillation control of a camera platform to attain the contrast angular rate of objects. Wave equations for describing the oscillations are presented and an expression for…

  2. A fractional calculus model of anomalous dispersion of acoustic waves.

    Science.gov (United States)

    Wharmby, Andrew W

    2016-09-01

    An empirical formula based on viscoelastic analysis techniques that employs concepts from the fractional calculus that was used to model the dielectric behavior of materials exposed to oscillating electromagnetic fields in the radiofrequency, terahertz, and infrared bands. This work adapts and applies the formula to model viscoelastic behavior of materials that show an apparent increase of phase velocity of vibration with an increase in frequency, otherwise known as anomalous dispersion. A fractional order wave equation is derived through the application of the classic elastic-viscoelastic correspondence principle whose analytical solution is used to describe absorption and dispersion of acoustic waves in the viscoelastic material displaying anomalous dispersion in a specific frequency range. A brief discussion and comparison of an alternative fractional order wave equation recently formulated is also included.

  3. Advanced calculus

    CERN Document Server

    Friedman, Avner

    2007-01-01

    This rigorous two-part treatment advances from functions of one variable to those of several variables. Intended for students who have already completed a one-year course in elementary calculus, it defers the introduction of functions of several variables for as long as possible, and adds clarity and simplicity by avoiding a mixture of heuristic and rigorous arguments.The first part explores functions of one variable, including numbers and sequences, continuous functions, differentiable functions, integration, and sequences and series of functions. The second part examines functions of several

  4. Essential calculus with applications

    CERN Document Server

    Silverman, Richard A

    1989-01-01

    Rigorous but accessible text introduces undergraduate-level students to necessary background math, then clear coverage of differential calculus, differentiation as a tool, integral calculus, integration as a tool, and functions of several variables. Numerous problems and a supplementary section of ""Hints and Answers."" 1977 edition.

  5. Infinitary lambda calculus

    NARCIS (Netherlands)

    Kennaway, J.R.; Klop, J.W.; Sleep, M.R.; Vries, F.-J. de

    1995-01-01

    In a previous paper we have established the theory of transfinite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint of infinitary rewriting, the Böhm model of the lambda calculus can be seen as an infinitary term model

  6. A development calculus for specifications

    Institute of Scientific and Technical Information of China (English)

    李未

    2003-01-01

    A first order inference system, named R-calculus, is defined to develop the specifications.This system intends to eliminate the laws which are not consistent with users' requirements. TheR-calculus consists of the structural rules, an axiom, a cut rule, and the rules for logical connectives.Some examples are given to demonstrate the usage of the R-calculus. Furthermore, the propertiesregarding reachability and completeness of the R-calculus are formally defined and proved.

  7. Matrix calculus

    CERN Document Server

    Bodewig, E

    1959-01-01

    Matrix Calculus, Second Revised and Enlarged Edition focuses on systematic calculation with the building blocks of a matrix and rows and columns, shunning the use of individual elements. The publication first offers information on vectors, matrices, further applications, measures of the magnitude of a matrix, and forms. The text then examines eigenvalues and exact solutions, including the characteristic equation, eigenrows, extremum properties of the eigenvalues, bounds for the eigenvalues, elementary divisors, and bounds for the determinant. The text ponders on approximate solutions, as well

  8. Developing the Fundamental Theorem of Calculus. Applications of Calculus to Work, Area, and Distance Problems. [and] Atmospheric Pressure in Relation to Height and Temperature. Applications of Calculus to Atmospheric Pressure. [and] The Gradient and Some of Its Applications. Applications of Multivariate Calculus to Physics. [and] Kepler's Laws and the Inverse Square Law. Applications of Calculus to Physics. UMAP Units 323, 426, 431, 473.

    Science.gov (United States)

    Lindstrom, Peter A.; And Others

    This document consists of four units. The first of these views calculus applications to work, area, and distance problems. It is designed to help students gain experience in: 1) computing limits of Riemann sums; 2) computing definite integrals; and 3) solving elementary area, distance, and work problems by integration. The second module views…

  9. Initialized Fractional Calculus

    Science.gov (United States)

    Lorenzo, Carl F.; Hartley, Tom T.

    2000-01-01

    This paper demonstrates the need for a nonconstant initialization for the fractional calculus and establishes a basic definition set for the initialized fractional differintegral. This definition set allows the formalization of an initialized fractional calculus. Two basis calculi are considered; the Riemann-Liouville and the Grunwald fractional calculi. Two forms of initialization, terminal and side are developed.

  10. Calculus diaries

    CERN Document Server

    Ouellette,, Jennifer

    2011-01-01

    Jennifer Ouellette never took maths in the sixth form, mostly because she – like most of us – assumed she wouldn't need it much in real life. But then the English graduate, now an award-winning science-writer, had a change of heart and decided to revisit the equations and formulas that had haunted her youth. The Calculus Diaries is the fun and fascinating account of a year spent confronting her numbers-phobia head on. With wit and verve, Ouellette explains how she discovered that maths could apply to everything from petrol mileages to dieting, rollercoaster rides to winning in Las Vegas.

  11. Discrete fractional calculus

    CERN Document Server

    Goodrich, Christopher

    2015-01-01

    This text provides the first comprehensive treatment of the discrete fractional calculus. Experienced researchers will find the text useful as a reference for discrete fractional calculus and topics of current interest. Students who are interested in learning about discrete fractional calculus will find this text to provide a useful starting point. Several exercises are offered at the end of each chapter and select answers have been provided at the end of the book. The presentation of the content is designed to give ample flexibility for potential use in a myriad of courses and for independent study. The novel approach taken by the authors includes a simultaneous treatment of the fractional- and integer-order difference calculus (on a variety of time scales, including both the usual forward and backwards difference operators). The reader will acquire a solid foundation in the classical topics of the discrete calculus while being introduced to exciting recent developments, bringing them to the frontiers of the...

  12. Calculus Demonstrations Using MATLAB

    Science.gov (United States)

    Dunn, Peter K.; Harman, Chris

    2002-01-01

    The note discusses ways in which technology can be used in the calculus learning process. In particular, five MATLAB programs are detailed for use by instructors or students that demonstrate important concepts in introductory calculus: Newton's method, differentiation and integration. Two of the programs are animated. The programs and the…

  13. A calculus for quality

    DEFF Research Database (Denmark)

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

    2013-01-01

    A main challenge of programming component-based software 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...

  14. Calculus with applications

    CERN Document Server

    Lax, Peter D

    2014-01-01

    This new edition of Lax, Burstein, and Lax's Calculus with Applications and Computing offers meaningful explanations of the important theorems of single variable calculus. Written with students in mathematics, the physical sciences, and engineering in mind, and revised with their help, it shows that the themes of calculation, approximation, and modeling are central to mathematics and the main ideas of single variable calculus. This edition brings the innovation of the first edition to a new generation of students. New sections in this book use simple, elementary examples to show that when applying calculus concepts to approximations of  functions, uniform convergence is more natural and easier to use than point-wise convergence. As in the original, this edition includes material that is essential for students in science and engineering, including an elementary introduction to complex numbers and complex-valued functions, applications of calculus to modeling vibrations and population dynamics, and an introduc...

  15. Real-time detection of dental calculus by blue-LED-induced fluorescence spectroscopy.

    Science.gov (United States)

    Qin, Y L; Luan, X L; Bi, L J; Lü, Z; Sheng, Y Q; Somesfalean, G; Zhou, C N; Zhang, Z G

    2007-05-25

    Successful periodontal therapy requires sensitive techniques to discriminate dental calculus from healthy teeth. The aim of the present study was to develop a fluorescence-based procedure to enable real-time detection and quantification of dental calculus. Thirty human teeth--15 teeth with sub- and supragingival calculus and 15 healthy teeth--covered with a layer of physiological saline solution or blood were illuminated by a focused blue LED light source of 405 nm. Autofluorescence spectra recorded along a randomly selected line stretching over the crown-neck-root area of each tooth were utilized to evaluate a so called calculus parameter R, which was selected to define a relationship between the integrated intensities specific for healthy teeth and for calculus in the 477-497 nm (S(A)) and 628-685 nm (S(B)) wavelength regions, respectively. Statistical analysis was performed and a cut-off threshold of R=0.2 was found to distinguish dental calculus from healthy teeth with 100% sensitivity and specificity under various experimental conditions. The results of the spectral evaluation were confirmed by clinical and histological findings. Automated real-time detection and diagnostics for clinical use were implemented by a corresponding software program written in Visual Basic language. The method enables cost-effective and reliable calculus detection, and can be further developed for imaging applications.

  16. CONNECTION BETWEEN THE ORDER OF FRACTIONAL CALCULUS AND FRACTIONAL DIMENSIONS OF A TYPE OF FRACTAL FUNCTIONS

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    The linear relationship between fractal dimensions of a type of generalized Weierstrass functions and the order of their fractional calculus has been proved. The graphs and numerical results given here further indicate the corresponding relationship.

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

    DEFF Research Database (Denmark)

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

    2014-01-01

    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 leading up......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...... of evidence, such as lipid isotopic ratios of pottery residues, faunal mortality profiles, and lactase persistence allele frequencies, provide a partial picture of this process; however, in order to understand how, where, and when humans consumed milk products, it is necessary to link evidence of consumption...

  18. Teacher knowledge of error analysis in differential calculus

    Directory of Open Access Journals (Sweden)

    Eunice K. Moru

    2014-12-01

    Full Text Available The study investigated teacher knowledge of error analysis in differential calculus. Two teachers were the sample of the study: one a subject specialist and the other a mathematics education specialist. Questionnaires and interviews were used for data collection. The findings of the study reflect that the teachers’ knowledge of error analysis was characterised by the following assertions, which are backed up with some evidence: (1 teachers identified the errors correctly, (2 the generalised error identification resulted in opaque analysis, (3 some of the identified errors were not interpreted from multiple perspectives, (4 teachers’ evaluation of errors was either local or global and (5 in remedying errors accuracy and efficiency were emphasised more than conceptual understanding. The implications of the findings of the study for teaching include engaging in error analysis continuously as this is one way of improving knowledge for teaching.

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

    DEFF Research Database (Denmark)

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

    2015-01-01

    directly to individuals and their dairy livestock. Here we report the first direct evidence of milk consumption, the whey protein b-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......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...... of evidence, such as lipid isotopic ratios of pottery residues, faunal mortality profiles, and lactase persistence allele frequencies, provide a partial picture of this process; however, in order to understand how, where, and when humans consumed milk products, it is necessary to link evidence of consumption...

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

    DEFF Research Database (Denmark)

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

    2014-01-01

    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......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...... of evidence, such as lipid isotopic ratios of pottery residues, faunal mortality profiles, and lactase persistence allele frequencies, provide a partial picture of this process; however, in order to understand how, where, and when humans consumed milk products, it is necessary to link evidence of consumption...

  1. CASE REPORT OF AN UNUSUALLY LARGE RENAL CALCULUS

    Directory of Open Access Journals (Sweden)

    Samir

    2015-01-01

    Full Text Available 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. The highest incidence of kidney stone is in 30 - 45 years of age group and the incidence declines after the age of 50 years of age. Stones that obstruct the ureter or renal pelvis cause excruciating, intermittent pain.

  2. Geometry of quantum group twists, multidimensional Jackson calculus and regularization

    CERN Document Server

    Demichev, A P

    1995-01-01

    We show that R-matricies of all simple quantum groups have the properties which permit to present quantum group twists as transitions to other coordinate frames on quantum spaces. This implies physical equivalence of field theories invariant with respect to q-groups (considered as q-deformed space-time groups of transformations) connected with each other by the twists. Taking into account this freedom we study quantum spaces of the special type: with commuting coordinates but with q-deformed differential calculus and construct GL_r(N) invariant multidimensional Jackson derivatives. We consider a particle and field theory on a two-dimensional q-space of this kind and come to the conclusion that only one (time-like) coordinate proved to be discretized.

  3. Metabolic investigation of patients with staghorn calculus: is it necessary?

    Directory of Open Access Journals (Sweden)

    Carmen R. P. Amaro

    2009-12-01

    Full Text Available Objective: To evaluate the prevalence of metabolic disorders in patients with staghorn calculi treated at the Regional Center of Lithiasis Metabolic Studies in central region of São Paulo State, Brazil. Materials and methods: Between February 2000 and February 2008, 630 patients with urinary calculi were evaluated in the lithiasis outpatient clinic. Thirty-seven of them had staghorn calculi (35 women and 2 men. The inclusion criteria for the metabolic investigation included the absence of urological manipulation 30 days before the examination, negative urine culture and creatinine clearance > 60 mL/min. The protocol for metabolic investigation consisted of qualitative search for cystinuria. Two non-consecutive 24-hour urine samples collected to measure calcium, phosphorus, uric acid, sodium, potassium, magnesium, oxalate and citrate, and serum calcium levels , phosphorus, uric acid, sodium, potassium, magnesium, chloride, parathormone and urine pH. Results: Among patients with lithiasis, 5.9% (37/ 630 had staghorn calculus and in 48.6% (18/37 were diagnosed with urinary infection. The females were predominant for 94.5% of cases. The calculi were unilateral in 31 of cases and bilateral in six. Metabolic abnormalities were found in 68.2% of patients with hypercalciuria (64.2% and hypocitraturia (53.3% being the most common disorders. Conclusions: The presence of metabolic disorders in nearly 70% of patients with staghorn calculus reinforces the necessity for evaluation of these patients. The diagnosis and treatment of identified metabolic abnormalities can contribute to the prevention of recurrent staghorn calculi.

  4. Stokes integral of economic growth. Calculus and the Solow model

    Science.gov (United States)

    Mimkes, Jürgen

    2010-04-01

    Economic growth depends on capital and labor and two-dimensional calculus has been applied to economic theory. This leads to Riemann and Stokes integrals and to the first and second laws of production and growth. The mathematical structure is the same as in thermodynamics, economic properties may be related to physical terms: capital to energy, production to physical work, GDP per capita to temperature, production function to entropy. This is called econophysics. Production, trade and banking may be compared to motors, heat pumps or refrigerators. The Carnot process of the first law creates two levels in each system: cold and hot in physics; buyer and seller, investor and saver, rich and poor in economics. The efficiency rises with the income difference of rich and poor. The results of econophysics are compared to neoclassical theory.

  5. Formal Modeling of Trust Web Service Composition Using Pi-calculus

    Directory of Open Access Journals (Sweden)

    Bensheng YUN

    2013-08-01

    Full Text Available To enhance the credibility of Web service composition, Pi-calculus based formal modeling of trust Web service composition is proposed. Trust Web service composition is firstly defined abstractly; then Pi-calculus is used to depict structure and internal interaction of Trust Web service composition, the mapping relation between trust entity and Pi-calculus is provided. Automatic reasoner MWB is adopted to analyze and reason the Trust Web service composition system, which is aimed at finding and correcting the faults before the implementation of trust authentication of Web service composition. It thus meets the users’ demands on trust quality effectively.

  6. Renal calculus

    CERN Document Server

    Pyrah, Leslie N

    1979-01-01

    Stone in the urinary tract has fascinated the medical profession from the earliest times and has played an important part in the development of surgery. The earliest major planned operations were for the removal of vesical calculus; renal and ureteric calculi provided the first stimulus for the radiological investigation of the viscera, and the biochemical investigation of the causes of calculus formation has been the training ground for surgeons interested in metabolic disorders. It is therefore no surprise that stone has been the subject of a number of monographs by eminent urologists, but the rapid development of knowledge has made it possible for each one of these authors to produce something new. There is still a technical challenge to the surgeon in the removal of renal calculi, and on this topic we are always glad to have the advice of a master craftsman; but inevitably much of the interest centres on the elucidation of the causes of stone formation and its prevention. Professor Pyrah has had a long an...

  7. Calculator calculus

    CERN Document Server

    McCarty, George

    1982-01-01

    How THIS BOOK DIFFERS This book is about the calculus. What distinguishes it, however, from other books is that it uses the pocket calculator to illustrate the theory. A computation that requires hours of labor when done by hand with tables is quite inappropriate as an example or exercise in a beginning calculus course. But that same computation can become a delicate illustration of the theory when the student does it in seconds on his calculator. t Furthermore, the student's own personal involvement and easy accomplishment give hi~ reassurance and en­ couragement. The machine is like a microscope, and its magnification is a hundred millionfold. We shall be interested in limits, and no stage of numerical approximation proves anything about the limit. However, the derivative of fex) = 67.SgX, for instance, acquires real meaning when a student first appreciates its values as numbers, as limits of 10 100 1000 t A quick example is 1.1 , 1.01 , 1.001 , •••• Another example is t = 0.1, 0.01, in the functio...

  8. An expression of closure to efficient causation in terms of lambda-calculus

    OpenAIRE

    Mossio, Matteo; Longo, Giuseppe; Stewart, John

    2009-01-01

    Abstract In this paper, we propose a mathematical expression of closure to efficient causation in terms of ?-calculus; we argue that this opens up the perspective of developing principled computer simulations of systems closed to efficient causation in an appropriate programming language. An important implication of our formulation is that, by exhibiting an expression in ?-calculus, which is a paradigmatic formalism for computability and programming, we show that there are no conce...

  9. Composition and distribution of elements and ultrastructural topography of a human cardiac calculus.

    Science.gov (United States)

    Cheng, Ching-Li; Chang, Hsiao-Huang; Huang, Pei-Jung; Chu, Yu-Ting; Lin, Shan-Yang

    2013-04-01

    Trace elements (TEs) may contribute to the formation of calculi or stones or be involved in the aetiopathogenesis of stone diseases. The compositions and spatial distribution of elements from the inner nucleus to outer crust of the cardiac calculus were investigated by energy-dispersive X-ray fluorescence (EDXRF) spectrometer. The surface topograph, distribution map of elements, elemental and chemical compositions were also determined by environmental scanning electron microscope (ESEM)-energy-dispersive X-ray (EDX) analysis. Twenty-five elements were identifiable from 18 positions on the cardiac calculus by EDXRF spectrometer, in which the highest concentrations of toxic TEs (Ni, Pt, Hg, Sn, Pb, W, Au, Al, Si) and higher levels of essential TEs (Ca, Sr, Cr, P) were detected. A moderate positive Pearson's correlation between TEs concentrations of Mg, Ca or P and location differences from centre to periphery in the cardiac calculus was observed. A positive correlation was also found for Ca/Zn and Ca/Cu, indicating the gradual increase of calcium concentration from inner nucleus to outer crust of cardiac calculus. The drop-like nodules/crystals on the surface of petrous part of cardiac calculus were observed from ESEM analysis. ESEM-EDX analysis determined the calculus to be predominantly composed of calcium hydroxyapatite and cholesterol, as indicated by the petrous surface and drop-like nodules/crystals, respectively. This composition was confirmed using a portable Raman analyser. The spatial distribution analysis indicated a gradual increase in Mg, P and Ca concentrations from the inner nucleus to the outer crust of the cardiac calculus. The major chemical compositions of calcium hydroxyapatite and cholesterol were detected on this cardiac calculus.

  10. Calculus Technique of Integration by Parts, Correlated with a Geometric Picture

    Science.gov (United States)

    Fromhold, Albert T., Jr.

    2005-01-01

    The method of integration by parts is one of the most useful in integral calculus. Among the most important applications is the integration of differentials involving products, differentials in involving logarithms, and differentials involving inverse circular functions.

  11. Leveraging Prior Calculus Study with Embedded Review

    Science.gov (United States)

    Nikolov, Margaret C.; Withers, Wm. Douglas

    2016-01-01

    We propose a new course structure to address the needs of college students with previous calculus study but no course validations as an alternative to repeating the first year of calculus. Students are introduced directly to topics from Calculus III unpreceded by a formal review of topics from Calculus I or II, but with additional syllabus time…

  12. A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus

    OpenAIRE

    Streicher, Thomas

    2014-01-01

    We study a classical realizability model (in the sense of J.-L. Krivine) arising from a model of untyped lambda calculus in coherence spaces. We show that this model validates countable choice using bar recursion and bar induction.

  13. Rare calcium oxalate monohydrate calculus attached to the wall of the renal pelvis.

    Science.gov (United States)

    Grases, Felix; Costa-Bauza, Antonia; Prieto, Rafael M; Saus, Carlos; Servera, Antonio; García-Miralles, Reyes; Benejam, Joan

    2011-04-01

    Most renal calculi can be classified using well-established criteria in a manner that reflects both composition and fine structure under specific pathophysiological conditions. However, when a large patient population is considered, rare renal calculi invariably appear, some of which have never been classified; careful study is required to establish stone etiology in such cases. The patient in the present case report formed two types of calculi. One was attached on the wall of the renal pelvis near the ureter and part of the calculus was embedded inside pelvic renal tissue. The calculus developed on an ossified calcification located in the pelvis tissue. Current knowledge on the development of calcification in soft tissues suggests a pre-existing injury as an inducer of its development. A mechanism of calculus formation is proposed. The second stone was a typical jack-stone calculus.

  14. Hermeneutic operative calculus

    Science.gov (United States)

    Ramakrishnan, Sivakumar; Isawasan, Pradeep; Mohanan, Vasuky

    2014-07-01

    The predicate calculus used currently by mathematical logic in computer science, philosophy and linguistic was found to be too restrictive and inadequate for describing the grammar of natural and artificial language. Therefore many higher order logics have been developed to overcome the limitation of predicate calculus. In this paper a new representation of logic using mathematical principles has been developed for the natural language called Hermeneutic Operative Calculus. This Hermeneutic Operative Calculus is a new language interpretive calculus developed to account for the syntactic, semantic and pragmatic features of natural language and allows removing the restrictions of any particular natural language in the semantic field its map out. The logic of Hermeneutic Operative Calculus capable of represent the syntactic and semantic of factual information of a natural language precisely in any language. The logic of this Hermeneutic Operative Calculus has two different forms of operations called object and meta-operations. The object operation allow for listing the various objects, picturing the various propositions and so forth. The meta-operation would specify what cannot be specified by the object operation like semantical stances of a proposition. The basic operative processes of linguistics and cognitive logic will be mathematically conceptualized and elaborated in this paper.

  15. Open Calculus: A Free Online Learning Environment

    Science.gov (United States)

    Korey, Jane; Rheinlander, Kim; Wallace, Dorothy

    2007-01-01

    Dartmouth College mathematicians have developed a free online calculus course called "Open Calculus." Open Calculus is an exportable distance-learning/self-study environment for learning calculus including written text, nearly 4000 online homework problems and instructional videos. The paper recounts the evaluation of course elements since 2000 in…

  16. Fractional Calculus of Analytic Functions Concerned with Möbius Transformations

    OpenAIRE

    Nicoleta Breaz; Daniel Breaz; Shigeyoshi Owa

    2016-01-01

    Let A be the class of functions f(z) in the open unit disk U with f(0)=0 and f′(0)=1. Also, let w(ζ) be a Möbius transformation in U for some z∈U. Applying the Möbius transformations, we consider some properties of fractional calculus (fractional derivatives and fractional integrals) of f(z)∈A. Also, some interesting examples for fractional calculus are given.

  17. Fractional Calculus of Analytic Functions Concerned with Möbius Transformations

    Directory of Open Access Journals (Sweden)

    Nicoleta Breaz

    2016-01-01

    Full Text Available Let A be the class of functions f(z in the open unit disk U with f(0=0 and f′(0=1. Also, let w(ζ be a Möbius transformation in U for some z∈U. Applying the Möbius transformations, we consider some properties of fractional calculus (fractional derivatives and fractional integrals of f(z∈A. Also, some interesting examples for fractional calculus are given.

  18. Formal Modeling of Multi-Agent Systems using the Pi-Calculus and Epistemic Logic

    Science.gov (United States)

    Rorie, Toinette; Esterline, Albert

    1998-01-01

    Multi-agent systems have become important recently in computer science, especially in artificial intelligence (AI). We allow a broad sense of agent, but require at least that an agent has some measure of autonomy and interacts with other agents via some kind of agent communication language. We are concerned in this paper with formal modeling of multi-agent systems, with emphasis on communication. We propose for this purpose to use the pi-calculus, an extension of the process algebra CCS. Although the literature on the pi-calculus refers to agents, the term is used there in the sense of a process in general. It is our contention, however, that viewing agents in the AI sense as agents in the pi-calculus sense affords significant formal insight. One formalism that has been applied to agents in the AI sense is epistemic logic, the logic of knowledge. The success of epistemic logic in computer science in general has come in large part from its ability to handle concepts of knowledge that apply to groups. We maintain that the pi-calculus affords a natural yet rigorous means by which groups that are significant to epistemic logic may be identified, encapsulated, structured into hierarchies, and restructured in a principled way. This paper is organized as follows: Section 2 introduces the pi-calculus; Section 3 takes a scenario from the classical paper on agent-oriented programming [Sh93] and translates it into a very simple subset of the n-calculus; Section 4 then shows how more sophisticated features of the pi-calculus may bc brought into play; Section 5 discusses how the pi-calculus may be used to define groups for epistemic logic; and Section 6 is the conclusion.

  19. Ultrasonographic diagnosis of urinary calculus caused by melamine in children

    Institute of Scientific and Technical Information of China (English)

    JIA Li-qun; SHEN Ying; WANG Xiao-man; HE Le-jian; XIN Yue; HU Yan-xiu

    2009-01-01

    Background Intake of melamine can cause renal and ureteral lithiasis in infants and children. The present study aimed to understand the value of ultrasonography in the diagnosis of renal and ureteral lithiasis in infants and young children caused by melamine, and the characteristics of ultrasonograms of melamine-associated calculi.Methods Ultrasonographic examination on the urinary system was performed for 28 332 children who ingested milk powder that was possibly tainted with melamine; 395 of the children were diagnosed by ultrasonography as having urinary calculus, and 231 cases had lump-like calculi and 164 cases had sand gravel-like calculi. The features of the calculi, the sites of obstruction and the status of hydronephrosis and hydroureterosis were analyzed. Ultrasonographic reexamination was performed for 116 patients and the findings were compared with those of the first ultrasonography, and the short-term expulsion of the calculi was evaluated.Results Most of the 395 patients with urinary lithiasis, except for those who developed renal failure, had no symptoms. The whole profile of the calculi could be seen in most of the cases, because the echogenicity of the calculi with no sharp or absent acoustical shadowing, was weaker as compared with those from calcium-containing calculi. Comet tail sign could be seen behind the echogenicity of single gravel calculus. The rate of diagnostic consistency of ureteral lithiasis between the ultrasound and the results of clinical observation (including stones expelled spontaneously or after cystoscopic intervention) in 51 cases for 76 ureters was 100%. Percutaneous renal biopsy was performed for one case, and histopathological examination showed flocculent, fine strip-like, ellipse and circular deeply stained sand gravel-like material in the renal tubules, and the circular calculi were found to be attached to the walls of the tubules. Chemical analysis of the calculi expelled from 12 cases showed that the main contents

  20. Drinking water composition and incidence of urinary calculus: introducing a new index.

    Science.gov (United States)

    Basiri, Abbas; Shakhssalim, Nasser; Khoshdel, Ali Reza; Pakmanesh, Hamid; Radfar, Mohammad Hadi

    2011-01-01

    INTRODUCTION. We searched for a pathophysiologically based feature of major water electrolytes, which may define water quality better than the water hardness, respecting urinary calculus formation. MATERIALS AND METHODS. Utilizing a multistage stratified sampling, 2310 patients were diagnosed in the imaging centers of the provincial capitals in Iran between 2007 and 2008. These were composed of 1755 patients who were settled residents of 24 provincial capitals. Data on the regional drinking water composition, obtained from an accredited registry, and their relationships with the region's incidence of urinary calculi were evaluated by metaregression models. The stone risk index (defined as the ratio of calcium to magnesium-bicarbonate product in drinking water) was used to assess the risk of calculus formation. RESULTS. No correlation was found between the urinary calculus incidence and the amount of calcium, bicarbonate, or the total hardness of the drinking water. In contrast, water magnesium had a marginally significant nonlinear inverse relationship with the incidence of the disease in the capitals (R(2) = 26%, P = .05 for a power model). The stone risk index was associated nonlinearly with the calculus incidence (R(2) = 28.4%, P = .04). CONCLUSIONS. Urinary calculus incidence was inversely related with drinking water magnesium content. We introduced a new index constructed on the foundation of a pathophysiologically based formula; the stone risk index had a strong positive association with calculus incidence. This index can have therapeutic and preventive applications, yet to be confirmed by clinical trials.

  1. Geometrical explanation of the fractional complex transform and derivative chain rule for fractional calculus

    Energy Technology Data Exchange (ETDEWEB)

    He, Ji-Huan, E-mail: hejihuan@suda.edu.cn [National Engineering Laboratory for Modern Silk, College of Textile and Engineering, Soochow University, 199 Ren-ai Road, Suzhou 215123 (China); Elagan, S.K., E-mail: sayed_khalil2000@yahoo.com [Mathematics and Statistics Department, Faculty of Science, Taif University, P.O. 888 (Saudi Arabia); Department of Mathematics, Faculty of Science, Menofiya University, Shebin Elkom (Egypt); Li, Z.B., E-mail: zhengbiaoli@l26.com [College of Mathematics and Information Science, Qujing Normal University, Qujing, Yunnan 655011 (China)

    2012-01-09

    The fractional complex transform is suggested to convert a fractional differential equation with Jumarie's modification of Riemann–Liouville derivative into its classical differential partner. Understanding the fractional complex transform and the chain rule for fractional calculus are elucidated geometrically. -- Highlights: ► The chain rule for fractional calculus is invalid, a counter example is given. ► The fractional complex transform is explained geometrically. ► Fractional equations can be converted into differential equations.

  2. Calculus for dummies

    CERN Document Server

    Ryan, Mark

    2014-01-01

    Slay the calculus monster with this user-friendly guide Calculus For Dummies, 2nd Edition makes calculus manageable-even if you're one of the many students who sweat at the thought of it. By breaking down differentiation and integration into digestible concepts, this guide helps you build a stronger foundation with a solid understanding of the big ideas at work. This user-friendly math book leads you step-by-step through each concept, operation, and solution, explaining the ""how"" and ""why"" in plain English instead of math-speak. Through relevant instruction and practical examples, you'll s

  3. Calculus problems

    CERN Document Server

    Baronti, Marco; van der Putten, Robertus; Venturi, Irene

    2016-01-01

    This book, intended as a practical working guide for students in Engineering, Mathematics, Physics, or any other field where rigorous calculus is needed, includes 450 exercises. Each chapter starts with a summary of the main definitions and results, which is followed by a selection of solved exercises accompanied by brief, illustrative comments. A selection of problems with indicated solutions rounds out each chapter. A final chapter explores problems that are not designed with a single issue in mind but instead call for the combination of a variety of techniques, rounding out the book’s coverage. Though the book’s primary focus is on functions of one real variable, basic ordinary differential equations (separation of variables, linear first order and constant coefficients ODEs) are also discussed. The material is taken from actual written tests that have been delivered at the Engineering School of the University of Genoa. Literally thousands of students have worked on these problems, ensuring their real-...

  4. Advanced calculus a transition to analysis

    CERN Document Server

    Dence, Thomas P

    2010-01-01

    Designed for a one-semester advanced calculus course, Advanced Calculus explores the theory of calculus and highlights the connections between calculus and real analysis -- providing a mathematically sophisticated introduction to functional analytical concepts. The text is interesting to read and includes many illustrative worked-out examples and instructive exercises, and precise historical notes to aid in further exploration of calculus. Ancillary list: * Companion website, Ebook- http://www.elsevierdirect.com/product.jsp?isbn=9780123749550 * Student Solutions Manual- To come * Instructor

  5. The stochastic quality calculus

    DEFF Research Database (Denmark)

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

    2014-01-01

    We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated...... with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics...

  6. Dogs Don't Need Calculus

    Science.gov (United States)

    Bolt, Mike

    2010-01-01

    Many optimization problems can be solved without resorting to calculus. This article develops a new variational method for optimization that relies on inequalities. The method is illustrated by four examples, the last of which provides a completely algebraic solution to the problem of minimizing the time it takes a dog to retrieve a thrown ball,…

  7. Mathematics in the Classroom: Conceptual Cartography of Differential Calculus

    Directory of Open Access Journals (Sweden)

    María de Lourdes RODRÍGUEZ PERALTA

    2015-12-01

    Full Text Available This paper presents the results of a documentary investigation with the intention of substantiate how and why, and the level and depth of the topics used by the teacher in the classroom for the development of the mathematical knowledge on the part of higher level engineering students. The analysis of the mathematical object was made through the construction of conceptual cartography, being the core of the derivative concept. To construct the axes, the socio-formative theory of Sergio Tobón was used, together with the semiotic representation register of Raychmond Duval and Tall's mathematical advanced thought in the engineering context. The topic is a part of the Unit of learning: Differential and Integral Calculus. This corresponds to the first semester. The course lasts for a semester and is intended for students aged between 18 and 20 years. The research shows that by constructing a conceptual cartography involving at least 8 axes of analysis that the socio-formation orientates, and taking mathematics in the context of careers offered by the educational institution, the teacher is allowed to place the thematic content in the appropriate level and depth, guiding in a possible treatment of knowledge to be brought into the classroom.

  8. Calculus and design of discrete velocity models using computer algebra

    Science.gov (United States)

    Babovsky, Hans; Grabmeier, Johannes

    2016-11-01

    In [2, 3], a framework for a calculus with Discrete Velocity Models (DVM) has been derived. The rotatonal symmetry of the discrete velocities can be modelled algebraically by the action of the cyclic group C4 - or including reflections of the dihedral group D4. Taking this point of view, the linearized collision operator can be represented in a compact form as a matrix of elements in the group algebra. Or in other words, by choosing a special numbering it exhibits a certain block structure which lets it appear as a matrix with entries in a certain polynomial ring. A convenient way for approaching such a structure is the use of a computer algebra system able to treat these (predefined) algebraic structures. We used the computer algebra system FriCAS/AXIOM [4, 5] for the generation of the velocity and the collision sets and for the analysis of the structure of the collision operator. Concerning the fluid dynamic limit, the system provides the characterization of sets of collisions and their contribution to the flow parameters. It allows the design of rotationally invariant symmetric models for prescribed Prandtl numbers. The implementation in FriCAS/AXIOM is explained and its results for a 25-velocity model are presented.

  9. Exploration Of The Dendritic Cell Algorithm Using The Duration Calculus

    CERN Document Server

    Gu, Feng; Aickelin, Uwe

    2010-01-01

    As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to the field of anomaly detection. However, real-time detection, a new challenge to anomaly detection, requires improvement on the real-time capability of the DCA. To assess such capability, formal methods in the research of rea-time systems can be employed. The findings of the assessment can provide guideline for the future development of the algorithm. Therefore, in this paper we use an interval logic based method, named the Duration Calculus (DC), to specify a simplified single-cell model of the DCA. Based on the DC specifications with further induction, we find that each individual cell in the DCA can perform its function as a detector in real-time. Since the DCA can be seen as many such cells operating in parallel, it is potentially capable of performing real-time detection. However, the analysis process of the standard DCA constrict...

  10. A Logical Process Calculus

    Science.gov (United States)

    Cleaveland, Rance; Luettgen, Gerald; Bushnell, Dennis M. (Technical Monitor)

    2002-01-01

    This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

  11. Discounted Duration Calculus

    DEFF Research Database (Denmark)

    Ody, Heinrich; Fränzle, Martin; Hansen, Michael Reichhardt

    2016-01-01

    To formally reason about the temporal quality of systems discounting was introduced to CTL and LTL. However, these logic are discrete and they cannot express duration properties. In this work we introduce discounting for a variant of Duration Calculus. We prove decidability of model checking...... for a useful fragment of discounted Duration Calculus formulas on timed automata under mild assumptions. Further, we provide an extensive example to show the usefulness of the fragment....

  12. The stack calculus

    OpenAIRE

    Alberto Carraro; Thomas Ehrhard; Antonino Salibra

    2013-01-01

    We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforces strong normalization of expressions and it is a sound and complete system for full implicational Classical Logic. We give a very simple denotational semantics which allows easy calculations of the interpretation of ...

  13. The stack calculus

    Directory of Open Access Journals (Sweden)

    Alberto Carraro

    2013-03-01

    Full Text Available We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforces strong normalization of expressions and it is a sound and complete system for full implicational Classical Logic. We give a very simple denotational semantics which allows easy calculations of the interpretation of expressions.

  14. Computing for calculus

    CERN Document Server

    Christensen, Mark J

    1981-01-01

    Computing for Calculus focuses on BASIC as the computer language used for solving calculus problems.This book discusses the input statement for numeric variables, advanced intrinsic functions, numerical estimation of limits, and linear approximations and tangents. The elementary estimation of areas, numerical and string arrays, line drawing algorithms, and bisection and secant method are also elaborated. This text likewise covers the implicit functions and differentiation, upper and lower rectangular estimates, Simpson's rule and parabolic approximation, and interpolating polynomials. Other to

  15. Surface area and volume determination of subgingival calculus using laser fluorescence.

    Science.gov (United States)

    Shakibaie, Fardad; Walsh, Laurence J

    2014-03-01

    Visible red (655 nm) laser fluorescence (LF) devices are currently used for identifying deposits of subgingival calculus on the root surfaces of teeth during dental examination and treatment; however, it is not known how the fluorescence readings produced by commercially available LF systems correlate to the nature of the deposits. This laboratory study explored the correlation between LF digital readings and the surface area and volume of subgingival calculus deposits on teeth. A collection of 30 extracted human posterior teeth with various levels of subgingival deposits of calculus across 240 sites were used in a clinical simulation, with silicone impression material used to replicate periodontal soft tissues. The teeth were scored by two examiners by using three commercial LF systems (DIAGNOdent, DIAGNOdent Pen and KEY3). The silicone was removed, and the teeth were removed for photography at × 20 magnification under white or ultraviolet light. The surface area, thickness, and volume were calculated, and both linear least squares regression and nonlinear (Spearman's rank method) correlation coefficients were determined. Visible red LF digital readings showed better correlation to calculus volume than to surface area. Overall, the best performance was found for the KEY3 system (Spearman coefficient 0.59), compared to the Classic DIAGNOdent (0.56) and the DIAGNOdent Pen (0.49). These results indicate that while visible red LF systems vary somewhat in performance, their LF readings provide a useful estimation of the volume of subgingival calculus deposits present on teeth.

  16. On the discriminating power of tests in ressource lambda-calculus

    CERN Document Server

    Breuvart, Flavien

    2012-01-01

    Since the discovery of the differential linear logic (DLL), it inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest one is Rel, the category of sets and relations. In proof theory this naturally gave birth to differential proof nets that are full and complete for DLL. In turn, these tools can naturally be translated to intuitionistic counterpart. By taking the coKleisly category associated to the ! comonade, Rel becomes MRel, a model of the \\lambda-calculus that contain a notion of differentiation. And proof nets can be used naturally to extend the \\lambda-calculus into the lambda calculus with resources, a calculus that contains notions of linearity and differentiations. Of course MRel is a model of the \\lambda-calculus with resources, and it has been proved adequate, but is it fully abstract? That was a strong conjecture of Bucciarelli, Carraro, Ehrhard and Manzonetto in [4]. However, in this paper we exhibit a counter-example. Moreover, to give m...

  17. Recent Progress in Regge Calculus

    OpenAIRE

    1997-01-01

    While there has been some advance in the use of Regge calculus as a tool in numerical relativity, the main progress in Regge calculus recently has been in quantum gravity. After a brief discussion of this progress, attention is focussed on two particular, related aspects. Firstly, the possible definitions of diffeomorphisms or gauge transformations in Regge calculus are examined and examples are given. Secondly, an investigation of the signature of the simplicial supermetric is described. Thi...

  18. Introduction to the operational calculus

    CERN Document Server

    Berg, Lothar

    2013-01-01

    Introduction to the Operational Calculus is a translation of ""Einfuhrung in die Operatorenrechnung, Second Edition."" This book deals with Heaviside's interpretation, on the Laplace integral, and on Jan Mikusinki's fundamental work ""Operational Calculus."" Throughout the book, basic algebraic concepts appear as aids to understanding some relevant points of the subject. An important field for research in analysis is asymptotic properties. This text also discusses examples to show the potentialities in applying operational calculus that run beyond ordinary differential equations with constant

  19. Renal calculus complicated with squamous cell carcinoma of renal pelvis: Report of two cases.

    Science.gov (United States)

    Xiao, Jiantao; Lei, Jun; He, Leye; Yin, Guangming

    2015-01-01

    Longstanding renal calculus is a risk factor of squamous cell carcinoma (SCC) of the renal pelvis. It is highly aggressive and usually diagnosed at advanced stages with a poor prognosis. We present two cases of kidney stone complications with renal pelvic SCC. These two patients had a radical nephrectomy and the dissected tissues were renal pelvic SCC. Our cases further emphasize that renal pelvic SCC should be considered in patients with longstanding renal calculus. These cases contribute greatly to an early diagnosis and early treatment, both of which will significantly minimize the damage of, and markedly improve the prognosis of, renal pelvic SCC.

  20. Survey on Acupuncture Treatment of Urinary Calculus and Renal Colic

    Institute of Scientific and Technical Information of China (English)

    HUANG Qin-feng; XIAO Yuan-chun

    2003-01-01

    Analyzed 74 articles relevant to urinary calculus and renal colic. The statistics found that the commonly used therapies were needling, acupuncture and moxibustion, electro-acupuncture, acupoint-injection,ear-point application, ear acupuncture, wrist-ankle acupuncture, scalp acupuncture, acupressure and combined acupuncture methods. The common acupoints that were used over 1,400 times in more than 12 articles were Shenshu ( BL 23 ), Sanyinjiao ( SP 6), Zusanli ( ST 36),Zhongji (CV 3), and Jingmen (GB 25).

  1. Struvite calculus in the vagina of a bottlenose dolphin (Tursiops truncatus).

    Science.gov (United States)

    McFee, Wayne E; Carl A, Osborne

    2004-01-01

    On 27 January 2000, a struvite calculus was observed in the vagina during necropsy of a 138-cm-long female bottlenose dolphin (Tursiops truncatus) collected from the Stono River, South Carolina (USA). Vaginal calculi have been reported in other species of cetaceans but not in bottlenose dolphins. Urinary tract infection might have been an underlying cause of the calculus. While urinary tract inflammation was not detected by light microscopic evaluation of sections of the urinary tract, it is conceivable that sufficient time had lapsed following voiding of the calculus through the urethra for urinary tract infection to have resolved. To further define the prevalence and significance of urolithiasis, prosectors of dead stranded marine mammals are encouraged to closely observe their urinary and genital tracts for calculi and to submit them for quantitative analysis.

  2. Discrete exterior calculus discretization of incompressible Navier–Stokes equations over surface simplicial meshes

    KAUST Repository

    Mohamed, Mamdouh S.

    2016-02-11

    A conservative discretization of incompressible Navier–Stokes equations is developed based on discrete exterior calculus (DEC). A distinguishing feature of our method is the use of an algebraic discretization of the interior product operator and a combinatorial discretization of the wedge product. The governing equations are first rewritten using the exterior calculus notation, replacing vector calculus differential operators by the exterior derivative, Hodge star and wedge product operators. The discretization is then carried out by substituting with the corresponding discrete operators based on the DEC framework. Numerical experiments for flows over surfaces reveal a second order accuracy for the developed scheme when using structured-triangular meshes, and first order accuracy for otherwise unstructured meshes. By construction, the method is conservative in that both mass and vorticity are conserved up to machine precision. The relative error in kinetic energy for inviscid flow test cases converges in a second order fashion with both the mesh size and the time step.

  3. Students' Perceptions of Institutional Practices: The Case of Limits of Functions in College Level Calculus Courses

    Science.gov (United States)

    Hardy, Nadia

    2009-01-01

    This paper presents a study of instructors' and students' perceptions of the knowledge to be learned about limits of functions in a college level Calculus course, taught in a North American college institution. I modeled these perceptions using a theoretical framework that combines elements of the Anthropological Theory of the Didactic, developed…

  4. On the use of functional calculus for phase-type and related distributions

    DEFF Research Database (Denmark)

    Bladt, Mogens; Navarro, Azucena Campillo; Nielsen, Bo Friis

    2016-01-01

    of matrices. Functional calculus, which is a branch of operator theory frequently associated with complex analysis, can be applied to phase-type and matrix-exponential distributions in a rather straightforward way. In this article we provide a number of examples of how to execute the formal arguments.......The area of phase-type distributions is renowned for its ability to obtain closed form formulas or algorithmically exact solutions to many complex stochastic models. The method of functional calculus will provide an additional tool along these lines for establishing results in terms of functions...

  5. On the use of functional calculus for phase-type and related distributions

    DEFF Research Database (Denmark)

    Bladt, Mogens; Campillo Navarro, Azucena; Nielsen, Bo Friis

    of matrices. Functional calculus, which is a branch of operator theory frequently associated with complex analysis, can be applied to phase-type and matrix-exponential distributions in a rather straightforward way. In this paper we provide a number of examples on how to execute the formal arguments.......The area of phase-type distributions is renowned for its ability to obtain closed form formulas or algorithmically exact solutions to many complex stochastic models. The method of functional calculus will provide an additional tool along these lines for establishing results in terms of functions...

  6. Fractional calculus with applications for nuclear reactor dynamics

    CERN Document Server

    Ray, Santanu Saha

    2015-01-01

    Introduces Novel Applications for Solving Neutron Transport EquationsWhile deemed nonessential in the past, fractional calculus is now gaining momentum in the science and engineering community. Various disciplines have discovered that realistic models of physical phenomenon can be achieved with fractional calculus and are using them in numerous ways. Since fractional calculus represents a reactor more closely than classical integer order calculus, Fractional Calculus with Applications for Nuclear Reactor Dynamics focuses on the application of fractional calculus to describe the physical behavi

  7. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

    Directory of Open Access Journals (Sweden)

    Pablo Arrighi

    2012-07-01

    Full Text Available We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms resulting from the reduction of programs. This gives rise to an original type theory where types, in the same way as terms, can be superposed into linear combinations. We show that the resulting typed lambda-calculus is strongly normalizing and features a weak subject-reduction.

  8. Impacted calculus within a urethral stent: A rare cause of urinary retention

    Directory of Open Access Journals (Sweden)

    Shanmugasundaram Rajaian

    2011-01-01

    Full Text Available An elderly male presented to the emergency department with acute urinary retention. He had poor flow of urine associated with serosanguinous discharge per urethra for 3 days duration. Earlier he underwent permanent metallic urethral stenting for post TURP bulbar urethral stricture. Plain X-ray of Pelvis showed an impacted calculus within the urethral stent in bulbar urethra. Urethrolitholapaxy was done with semirigid ureteroscope. Urethral stent was patent and well covered. Subsequently he had an uneventful recovery. We describe a unique case of acute urinary retention due to calculus impaction within a urethral stent.

  9. Go Figure: Calculus Students' Use of Figures and Graphs in Technical Report Writing

    Directory of Open Access Journals (Sweden)

    Thomas J. Pfaff

    2011-01-01

    Full Text Available Understanding how to read and use graphs to communicate scientific and mathematical information is critical for STEM majors, as well as an important part of quantitative literacy. Our study suggests that first-semester calculus students do not know how to use graphs in a technical report without explicit instruction. Although not a surprising result, it leaves us wondering about when such skills are developed, and if calculus I is a place to start. Our work is now exploring the potential benefit on students' use of graphs by having them formally evaluate other students' reports.

  10. The Effects of Maple Integrated Strategy on Engineering Technology Students' Understanding of Integral Calculus

    Science.gov (United States)

    Salleh, Tuan Salwani; Zakaria, Effandi

    2016-01-01

    The objective of this research is to investigate the effectiveness of a learning strategy using Maple in integral calculus. This research was conducted using a quasi-experimental nonequivalent control group design. One hundred engineering technology students at a technical university were chosen at random. The effectiveness of the learning…

  11. Retention of Differential and Integral Calculus: A Case Study of a University Student in Physical Chemistry

    Science.gov (United States)

    Jukic Matic, Ljerka; Dahl, Bettina

    2014-01-01

    This paper reports a study on retention of differential and integral calculus concepts of a second-year student of physical chemistry at a Danish university. The focus was on what knowledge the student retained 14 months after the course and on what effect beliefs about mathematics had on the retention. We argue that if a student can quickly…

  12. A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions

    NARCIS (Netherlands)

    Bezem, M.A.; Groote, J.F.

    2008-01-01

    We report on a formal verification of the Alternating Bit Protocol (ABP) in the Calculus of Constructions. We outline a semi-formal correctness proof of the ABP with sufficient detail to be formalised. Thereafter we show by examples how the formalised proof has been verified by the automated proof c

  13. On the formalism of local variational differential operators

    NARCIS (Netherlands)

    Igonin, S.; Verbovetsky, A.V.; Vitolo, R.

    2002-01-01

    The calculus of local variational differential operators introduced by B. L. Voronov, I. V. Tyutin, and Sh. S. Shakhverdiev is studied in the context of jet super space geometry. In a coordinate-free way, we relate these operators to variational multivectors, for which we introduce and com

  14. Understanding consumer evaluations of personalised nutrition services in terms of the privacy calculus: a qualitative study

    NARCIS (Netherlands)

    Berezowska, A.; Fischer, A.R.H.; Ronteltap, A.; Kuznesof, S.; Macready, A.; Fallaize, R.; Trijp, van J.C.M.

    2014-01-01

    Background: Personalised nutrition (PN) may provide major health benefits to consumers. A potential barrier to the uptake of PN is consumers' reluctance to disclose sensitive information upon which PN is based. This study adopts the privacy calculus to explore how PN service attributes contribute to

  15. Early Vector Calculus: A Path through Multivariable Calculus

    Science.gov (United States)

    Robertson, Robert L.

    2013-01-01

    The divergence theorem, Stokes' theorem, and Green's theorem appear near the end of calculus texts. These are important results, but many instructors struggle to reach them. We describe a pathway through a standard calculus text that allows instructors to emphasize these theorems. (Contains 2 figures.)

  16. Timing analysis of rate-constrained traffic in TTEthernet using network calculus

    DEFF Research Database (Denmark)

    Zhao, Luxi; Pop, Paul; Li, Qiao

    2017-01-01

    calculus (NC) to determine the worst-case end-to-end delays of RC traffic in TTEthernet. The main contribution of this paper is capturing the effects of all the integration policies on the latency bounds of RC traffic using NC, and the consideration of relative frame offsets of TT traffic to reduce...

  17. Differential Calculus on N-Graded Manifolds

    OpenAIRE

    Sardanashvily, G.; W. Wachowski

    2017-01-01

    The differential calculus, including formalism of linear differential operators and the Chevalley–Eilenberg differential calculus, over N-graded commutative rings and on N-graded manifolds is developed. This is a straightforward generalization of the conventional differential calculus over commutative rings and also is the case of the differential calculus over Grassmann algebras and on Z2-graded manifolds. We follow the notion of an N-graded manifold as a local-ringed space whose body is a s...

  18. The Rhetoric in Mathematics: Newton, Leibniz, the Calculus, and the Rhetorical Force of the Infinitesimal

    Science.gov (United States)

    Reyes, G. Mitchell

    2004-01-01

    This essay investigates the rhetoric surrounding the appearance of the concept of the infinitesimal in the seventeenth-century Calculus of Sir Isaac Newton and Gottfried Wilhelm Leibniz. Although historians often have positioned rhetoric as a supplemental discipline, this essay shows that rhetoric is the "material" out of which a new and powerful…

  19. Fluorescence properties of human teeth and dental calculus for clinical applications

    Science.gov (United States)

    Lee, Yong-Keun

    2015-04-01

    Fluorescent emission of human teeth and dental calculus is important for the esthetic rehabilitation of teeth, diagnosis of dental caries, and detection of dental calculus. The purposes of this review were to summarize the fluorescence and phosphorescence of human teeth by ambient ultraviolet (UV) light, to investigate the clinically relevant fluorescence measurement methods in dentistry, and to review the fluorescence of teeth and dental calculus by specific wavelength light. Dentine was three times more phosphorescent than enamel. When exposed to light sources containing UV components, the fluorescence of human teeth gives them the quality of vitality, and fluorescent emission with a peak of 440 nm is observed. Esthetic restorative materials should have fluorescence properties similar to those of natural teeth. Based on the fluorescence of teeth and restorative materials as determined with a spectrophotometer, a fluorescence parameter was defined. As to the fluorescence spectra by a specific wavelength, varied wavelengths were investigated for clinical applications, and several methods for the diagnosis of dental caries and the detection of dental calculus were developed. Since fluorescent properties of dental hard tissues have been used and would be expanded in diverse fields of clinical practice, these properties should be investigated further, embracing newly developed optical techniques.

  20. Fluorescence properties of human teeth and dental calculus for clinical applications.

    Science.gov (United States)

    Lee, Yong-Keun

    2015-04-01

    Fluorescent emission of human teeth and dental calculus is important for the esthetic rehabilitation of teeth, diagnosis of dental caries, and detection of dental calculus. The purposes of this review were to summarize the fluorescence and phosphorescence of human teeth by ambient ultraviolet (UV) light, to investigate the clinically relevant fluorescence measurement methods in dentistry, and to review the fluorescence of teeth and dental calculus by specific wavelength light. Dentine was three times more phosphorescent than enamel. When exposed to light sources containing UV components, the fluorescence of human teeth gives them the quality of vitality, and fluorescent emission with a peak of 440 nm is observed. Esthetic restorative materials should have fluorescence properties similar to those of natural teeth. Based on the fluorescence of teeth and restorative materials as determined with a spectrophotometer, a fluorescence parameter was defined. As to the fluorescence spectra by a specific wavelength, varied wavelengths were investigated for clinical applications, and several methods for the diagnosis of dental caries and the detection of dental calculus were developed. Since fluorescent properties of dental hard tissues have been used and would be expanded in diverse fields of clinical practice, these properties should be investigated further, embracing newly developed optical techniques.

  1. Rate of Change: AP Calculus Students' Understandings and Misconceptions after Completing Different Curricular Paths

    Science.gov (United States)

    Teuscher, Dawn; Reys, Robert E.

    2012-01-01

    This study examined Advanced Placement Calculus students' mathematical understanding of rate of change, after studying four years of college preparatory (integrated or single-subject) mathematics. Students completed the Precalculus Concept Assessment (PCA) and two open-ended tasks with questions about rates of change. After adjusting for prior…

  2. Calculus Limits Involving Infinity: The Role of Students' Informal Dynamic Reasoning

    Science.gov (United States)

    Jones, Steven R.

    2015-01-01

    Few studies on calculus limits have centred their focus on student understanding of limits at infinity or infinite limits that involve continuous functions (as opposed to discrete sequences). This study examines student understanding of these types of limits using both pure mathematics and applied-science functions and formulas. Seven calculus…

  3. A Comparison of Mathematics Teachers' and Professors' Views on Secondary Preparation for Tertiary Calculus

    Science.gov (United States)

    Wade, Carol; Sonnert, Gerhard; Sadler, Philip M.; Hazari, Zahra; Watson, Charity

    2016-01-01

    This article compares the views of teachers and professors about the transition from secondary mathematics to tertiary calculus. Quantitative analysis revealed five categories where teachers and professors differed significantly in the relative frequency of addressing them. Using the rite of passage theory, the separation and incorporation phases…

  4. Development and Validation of an Inventory for Measuring Student Attitudes toward Calculus

    Science.gov (United States)

    Huang, Yun-Chen; Lin, Shu-Hui

    2015-01-01

    This study aimed to develop and validate the Attitude Toward Calculus Inventory (ATCI). Results from three studies are reported that establish the reliability and validity of this instrument. An examination of the factor structure confirms that student attitudes can be explained in terms of four factors: self-confidence, value, enjoyment, and…

  5. Dependence of calculus retropulsion dynamics on fiber size and radiant exposure during Ho:YAG lithotripsy.

    Science.gov (United States)

    Lee, Ho; Ryan, Robert T; Kim, Jeehyun; Choi, Bernard; Arakeri, Navanit V; Teichman, Joel M H; Welch, A J

    2004-08-01

    During pulsed laser lithotripsy, the calculus is subject to a strong recoil momentum which moves the calculus away from laser delivery and prolongs the operation. This study was designed to quantify the recoil momentum during Ho:YAG laser lithotripsy. The correlation among crater shape, debris trajectory, laser-induced bubble and recoil momentum was investigated. Calculus phantoms made from plaster of Paris were ablated with free running Ho:YAG lasers. The dynamics of recoil action of a calculus phantom was monitored by a high-speed video camera and the laser ablation craters were examined with Optical Coherent Tomography (OCT). Higher radiant exposure resulted in larger ablation volume (mass) which increased the recoil momentum. Smaller fibers produced narrow craters with a steep contoured geometry and decreased recoil momentum compared to larger fibers. In the presence of water, recoil motion of the phantom deviated from that of phantom in air. Under certain conditions, we observed the phantom rocking towards the fiber after the laser pulse. The shape of the crater is one of the major contributing factors to the diminished recoil momentum of smaller fibers. The re-entrance flow of water induced by the bubble collapse is considered to be the cause of the rocking of the phantom.

  6. Applications of Umbral Calculus Associated with p-Adic Invariant Integrals on Zp

    Directory of Open Access Journals (Sweden)

    Dae San Kim

    2012-01-01

    Full Text Available Recently, Dere and Simsek (2012 have studied the applications of umbral algebra to some special functions. In this paper, we investigate some properties of umbral calculus associated with p-adic invariant integrals on Zp. From our properties, we can also derive some interesting identities of Bernoulli polynomials.

  7. Calculus in the Middle School?

    Science.gov (United States)

    Barger, Rita H.; McCoy, Ann C.

    2010-01-01

    This article presents an example of how middle school teachers can lay a foundation for calculus. Although many middle school activities connect directly to calculus concepts, the authors have decided to look in depth at only one: the concept of change. They will show how teachers can lead their students to see and appreciate the calculus…

  8. The Development and Validation of Conceptual and Procedural Understanding Test for Integral Calculus

    Directory of Open Access Journals (Sweden)

    Tuan Salwani Awang Salleh

    2012-06-01

    Full Text Available This study discusses the process of developing and validating a conceptual and procedural understanding test for integral calculus. The aim was to produce a valid and reliable test to measure students’ understanding of both types of knowledge, conceptual and procedural, in integral calculus. The test questions were developed in four main stages consisting of eight distinct systematic phases. The validation process started with discussions with content experts followed by a pilot test. Four experts provided inputs for the content validity purposes. Their inputs were used to produce a valid set of Integral Calculus achievement test comprising 15 questions. A pilot test assessed the reliability and fit statistics of the test. The test was administered to 79 students in a higher learning institution selected randomly from a group of students taking Integral Calculus. The data was analyzed using Winstep’s software to ensure the quality of the questions. The analysis was done separately for each construct. The results indicated excellent item reliability indices with very good index separation values for both constructs. However, the person reliability indices for both constructs were only fair to good. Likewise, the results revealed only fair index separation values. In terms of fit statistics, three conceptual understanding items were replaced with a new item. Meanwhile, for procedural understanding items, two items were combined and one misfitting item was modified. Based on the experts’ views and empirical data, the test questions were modified before they were used in the actual study.

  9. The (weak) admissibility of the H-infinity-calculus for semigroup generators

    NARCIS (Netherlands)

    Schwenninger, Felix L.; Zwart, Hans

    2014-01-01

    The goal of the following is to use (infinite-dimensional) linear systems theory to approach the H-infinity - functional calculus. This extends recent work by the authors using the notion of admissible observation operators to define f(A) where f is bounded, analytic in the left half-plane and A gen

  10. Peer-Led Guided in Calculus at University of South Florida

    Science.gov (United States)

    Bénéteau, Catherine; Fox, Gordon; Xu, Xiaoying; Lewis, Jennifer E.; Ramachandran, Kandethody; Campbell, Scott; Holcomb, John

    2016-01-01

    This paper describes the development of a Peer-Led Guided Inquiry (PLGI) program for teaching calculus at the University of South Florida. This approach uses the POGIL (Process Oriented Guided Inquiry Learning) teaching strategy and the small group learning model PLTL (Peer-Led Team Learning). The developed materials used a learning cycle based on…

  11. A Case Study of Student and Instructor Reactions to a Calculus E-Book

    Science.gov (United States)

    Bode, Martina; Khorami, Mehdi; Visscher, Daniel

    2014-01-01

    This article details the results of testing an e-book in two differential calculus classes. Although we, as math instructors, were drawn to the components of the e-book that promote conceptual understanding--such as the interactive figures--the students reported liking the assessment support most. We found that students were initially excited…

  12. On Transitions between Representations: The Role of Contextual Reasoning in Calculus Problem Solving

    Science.gov (United States)

    Zazkis, Dov

    2016-01-01

    This article argues for a shift in how researchers discuss and examine students' uses and understandings of multiple representations within a calculus context. An extension of Zazkis, Dubinsky, and Dautermann's (1996) visualization/analysis framework to include contextual reasoning is proposed. Several examples that detail transitions between…

  13. Calculus in Elementary School: An Example of ICT-Based Curriculum Transformation

    Science.gov (United States)

    Fluck, Andrew; Ranmuthugala, Dev; Chin, Chris; Penesis, Irene

    2012-01-01

    Integral calculus is generally regarded as a fundamental but advanced aspect of mathematics, and it is not generally studied until students are aged about fifteen or older. Understanding the transformative potential of information and communication technology, this project undertook an investigation in four Australian schools to train students…

  14. The Compleat Modeler - Applications of Calculus in Medicine and Biology - An MATC Course at Dartmouth College.

    Science.gov (United States)

    Wallace, Dorothy

    2002-01-01

    Describes a successful course in mathematical biology at Dartmouth College. The course targets premedical students and biology majors rather than mathematics majors, and requires only one semester of calculus as prerequisite. Real world problems form the basis of student work. (Author/KHR)

  15. Student Attitudes and Calculus Reform.

    Science.gov (United States)

    Bookman, Jack; Friedman, Charles P.

    1998-01-01

    Compares the attitudes about mathematics of students from traditionally taught calculus classes and those taught in a "reformed" calculus course. Reports that one to two years after, reform students felt significantly more that they understood how math was used and that they had been required to understand math rather than to memorize formulas.…

  16. The dagger lambda calculus

    Directory of Open Access Journals (Sweden)

    Philip Atzemoglou

    2014-12-01

    Full Text Available We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear negation of "trivialised" De Morgan duality. Reduction is realised through explicit substitution, based on a symmetric notion of binding of global scope, with rules acting on the entire typing judgement instead of on a specific subterm. Proofs of subject reduction, confluence, strong normalisation and consistency are provided, and the language is shown to be an internal language for dagger compact categories.

  17. The Experimental Study of Safety and Efficacy in Using Bovis Calculus Pharmacopuncture Solution as Eye Drop

    Directory of Open Access Journals (Sweden)

    Hyeongsik Seo

    2009-09-01

    Full Text Available Objectives : This experimental study was performed to investigate the safety and efficacy of Bovis Calculus pharmacopuncture solution manufactured with freezing dryness method to use eye drop. To identify the use of it as eye drop, the eye irritation test of rabbits and the antibacterial test of Staphylococcus aureus, Staphylococcus epidermidis, Pseudomonas aeruginosa, Aspergillus niger, Fusarium oxysporum, and Candida albicans were performed. Methods : 1. The eye irritation test of this material was performed according to the Regulation of Korea Food & Drug Administration(2005. 10. 21, KFDA 2005-60. After Bovis Calculus pharmacopuncture solution was administered in the left eye of the rabbits, eye irritation of the cornea, iris and conjunctiva was observed at 1, 2, 3, 4 & 7day. 2. After administering Bovis Calculus pharmacopuncture solution on bacterial species(Staphylococcus aureus, Staphylococcus epidermidis, Pseudomonas aeruginosa, Aspergillus niger, Fusarium oxysporum, Candida albicans which cause Keratitis, MIC(Minimum Inhibition Concentration and the size of inhibition zone were measured. Anti-bacterial potency was also measured using the size of inhibition zone. Results : 1. After Bovis Calculus pharmacopuncture solution was administered in the left eye of the rabbits, it was found that none of nine rabbits have abnormal signs and weight changes. 2. After Bovis Calculus pharmacopuncture solution was medicated in the left eye of the rabbits, no eye irritation of the cornea, iris and conjunctiva was observed at 1, 2, 3, 4 & 7day. 3. There was no response to MIC on bacterial species (Staphylococcus aureus, Staphylococcus epidermidis, Pseudomonas aeruginosa, Aspergillus niger, Fusarium oxysporum, Candida albicans after Bovis Calculus pharmacopuncture solution was medicated. Conclusions : The present study suggests that Bovis Calculus pharmacopuncture solution is a nontoxic and non-irritant medicine, which does not cause eye irritation in

  18. Cause-Effect Analysis: Improvement of a First Year Engineering Students' Calculus Teaching Model

    Science.gov (United States)

    van der Hoff, Quay; Harding, Ansie

    2017-01-01

    This study focuses on the mathematics department at a South African university and in particular on teaching of calculus to first year engineering students. The paper reports on a cause-effect analysis, often used for business improvement. The cause-effect analysis indicates that there are many factors that impact on secondary school teaching of…

  19. On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic

    DEFF Research Database (Denmark)

    Hansen, Michael Reichhardt; Brekling, Aske Wiid

    2011-01-01

    Interval Logics are often very expressive logics for which decision and model-checking algorithms are hard or even impossible to achieve, and this also applies for Duration Calculus, which adds the notion of accumulated duration to the Interval Temporal Logic introduced by Moszkowski et al. In th...

  20. Helmholtz Theorem for Nondifferentiable Hamiltonian Systems in the Framework of Cresson’s Quantum Calculus

    Directory of Open Access Journals (Sweden)

    Frédéric Pierret

    2016-01-01

    Full Text Available We derive the Helmholtz theorem for nondifferentiable Hamiltonian systems in the framework of Cresson’s quantum calculus. Precisely, we give a theorem characterizing nondifferentiable equations, admitting a Hamiltonian formulation. Moreover, in the affirmative case, we give the associated Hamiltonian.

  1. A Giant Urethral Calculus.

    Science.gov (United States)

    Sigdel, G; Agarwal, A; Keshaw, B W

    2014-01-01

    Urethral calculi are rare forms of urolithiasis. Majority of the calculi are migratory from urinary bladder or upper urinary tract. Primary urethral calculi usually occur in presence of urethral stricture or diverticulum. In this article we report a case of a giant posterior urethral calculus measuring 7x3x2 cm in a 47 years old male. Patient presented with acute retention of urine which was preceded by burning micturition and dribbling of urine for one week. The calculus was pushed in to the bladder through the cystoscope and was removed by suprapubic cystolithotomy.

  2. Application of unified array calculus to connect 4-D spacetime sensing with string theory and relativity

    Science.gov (United States)

    Rauhala, U. A.

    2013-12-01

    Array algebra of photogrammetry and geodesy unified multi-linear matrix and tensor operators in an expansion of Gaussian adjustment calculus to general matrix inverses and solutions of inverse problems to find all, or some optimal, parametric solutions that satisfy the available observables. By-products in expanding array and tensor calculus to handle redundant observables resulted in general theories of estimation in mathematical statistics and fast transform technology of signal processing. Their applications in gravity modeling and system automation of multi-ray digital image and terrain matching evolved into fast multi-nonlinear differential and integral array calculus. Work since 1980's also uncovered closed-form inverse Taylor and least squares Newton-Raphson-Gauss perturbation solutions of nonlinear systems of equations. Fast nonlinear integral matching of array wavelets enabled an expansion of the bundle adjustment to 4-D stereo imaging and range sensing where real-time stereo sequence and waveform phase matching enabled data-to-info conversion and compression on-board advanced sensors. The resulting unified array calculus of spacetime sensing is applicable in virtually any math and engineering science, including recent work in spacetime physics. The paper focuses on geometric spacetime reconstruction from its image projections inspired by unified relativity and string theories. The collinear imaging equations of active object space shutter of special relativity are expanded to 4-D Lorentz transform. However, regular passive imaging and shutter inside the sensor expands the law of special relativity by a quantum geometric explanation of 4-D photogrammetry. The collinear imaging equations provide common sense explanations to the 10 (and 26) dimensional hyperspace concepts of a purely geometric string theory. The 11-D geometric M-theory is interpreted as a bundle adjustment of spacetime images using 2-D or 5-D membrane observables of image, string and

  3. The calculus primer

    CERN Document Server

    Schaaf, William L

    2011-01-01

    Comprehensive but concise, this introduction to differential and integral calculus covers all the topics usually included in a first course. The straightforward development places less emphasis on mathematical rigor, and the informal manner of presentation sets students at ease. Many carefully worked-out examples illuminate the text, in addition to numerous diagrams, problems, and answers.Bearing the needs of beginners constantly in mind, the treatment covers all the basic concepts of calculus: functions, derivatives, differentiation of algebraic and transcendental functions, partial different

  4. Using an advanced graphing calculator in the teaching and learning of calculus

    Science.gov (United States)

    Leng, Ng Wee

    2011-10-01

    The purpose of this study was to investigate how the use of TI-Nspire™ could enhance the teaching and learning of calculus. A conceptual framework for the use of TI-Nspire™ for learning calculus in a mathematics classroom is proposed that describes the interactions among the students, TI-Nspire™, and the learning tasks, and how they lead to the learning of calculus. A design experiment was conducted in a class of 35 students from a secondary school in Singapore. Use of TI-Nspire™ was integrated into the teaching and learning of calculus concepts in the classroom with the aid of TI-Nspire™ Navigator, a wireless classroom network system that enables instant and active interaction between students and teachers. It was found that the appropriate use of graphical, numerical and algebraic representations of calculus concepts using TI-Nspire™ enabled students to better visualize the concepts and make generalizations about relevant mathematical properties. In addition, the students were able to link multiple representations, especially algebraic and graphical representations, to improve their conceptual understanding and problem-solving skills. Six roles of TI-Nspire™ in classroom mathematical practice were identified from the findings of the experiment; TI-Nspire™ was used as an exploratory tool, graphing tool, confirmatory tool, problem-solving tool, visualization tool and calculation tool. This suggests that TI-Nspire™ is a multi-dimensional tool that supports mathematics learning. Overall, the findings of the study indicate that TI-Nspire™ is an effective tool to develop mathematical concepts and promote learning and problem solving.

  5. A Process Calculus for Molecular Interaction Maps

    CERN Document Server

    Barbuti, Roberto; Milazzo, Paolo; Pardini, Giovanni; Rama, Aureliano; 10.4204/EPTCS.11.3

    2009-01-01

    We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of molecular species. The operators of the calculus are inspired by the reaction symbols used in Molecular Interaction Maps (MIMs), a diagrammatic notation used by biologists. Models of the calculus can be easily derived from MIM diagrams, for which an unambiguous and executable interpretation is thus obtained. We give a formal definition of the syntax and semantics of the MIM calculus, and we study properties of the formalism. A case study is also presented to show the use of the calculus for modeling biomolecular networks.

  6. Variational Convergence Of Bifunctions: Motivating Applications

    Science.gov (United States)

    2011-01-01

    theoretical and computationally levels. Simply think about the Lagrangians , and augmented Lagrangians , and the role they play in the de- velopment of duality...of examples. The same applies to Hamiltonians associated with Calculus of Variations and Optimal Control problems as well as to the study of minimax...of the Legendre-Fenchel transform with applications to convex programming and mechanics . Annales de l’Institut H. Poincaré: Analyse Nonlinéaire, 5

  7. Linear-algebraic lambda-calculus

    CERN Document Server

    Arrighi, P; Arrighi, Pablo; Dowek, Gilles

    2005-01-01

    With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an interpreter/simulator) is provided for this language in the form of a term rewrite system. The linear-algebraic lambda-calculus hereby constructed is linear in a different (yet related) sense to that, say, of the linear lambda-calculus. These various notions of linearity are discussed in the context of quantum programming languages. KEYWORDS: quantum lambda-calculus, linear lambda-calculus, $\\lambda$-calculus, quantum logics.

  8. Applying π-Calculus to Practice

    DEFF Research Database (Denmark)

    Abendroth, Jorg

    2003-01-01

    The π-Calculus has been developed to reason about behavioural equivalence. Different notations of equivalence are defined in terms of process interactions, as well as the context of processes. There are various extensions of the π-Calculus, such as the SPI calculus, which has primitives...... modles are instantiated correctly. In this paper we will utilize the to π-Calculus reason about access control policies and mechanism. An equivalence of different policy implementations, as well as access control mechanism will be shown. Finally some experiences regarding the use of π-Calculus...

  9. From Calculating to Calculus

    Science.gov (United States)

    Steckroth, Jeffrey J.

    2010-01-01

    For nearly three decades, during which the author taught everything from basic algebra to advanced placement calculus, the author thought of himself as a secondary school mathematics teacher. The notion of teaching elementary school math never appealed to him because of its simplicity. The author stresses that anyone could teach children to count,…

  10. Lacroix and the calculus

    CERN Document Server

    Domingues, João Caramalho

    2008-01-01

    Silvestre François Lacroix (Paris, 1765 - ibid., 1843) was a most influential mathematical book author. His most famous work is the three-volume Traité du calcul différentiel et du calcul intégral (1797-1800; 2nd ed. 1810-1819) – an encyclopedic appraisal of 18th-century calculus which remained the standard reference on the subject through much of the 19th century, in spite of Cauchy's reform of the subject in the 1820's. Lacroix and the Calculus is the first major study of Lacroix’s large Traité. It uses the unique and massive bibliography given by Lacroix to explore late 18th-century calculus, and the way it is reflected in Lacroix’s account. Several particular aspects are addressed in detail, including: the foundations of differential calculus, analytic and differential geometry, conceptions of the integral, and types of solutions of differential equations (singular/complete/general integrals, geometrical interpretations, and generality of arbitrary functions). Lacroix’s large Traité... was a...

  11. Fractional Dynamics Applications of Fractional Calculus to Dynamics of Particles, Fields and Media

    CERN Document Server

    Tarasov, Vasily E

    2010-01-01

    "Fractional Dynamics: Applications of Fractional Calculus to Dynamics of Particles, Fields and Media" presents applications of fractional calculus, integral and differential equations of non-integer orders in describing systems with long-time memory, non-local spatial and fractal properties. Mathematical models of fractal media and distributions, generalized dynamical systems and discrete maps, non-local statistical mechanics and kinetics, dynamics of open quantum systems, the hydrodynamics and electrodynamics of complex media with non-local properties and memory are considered. This book is intended to meet the needs of scientists and graduate students in physics, mechanics and applied mathematics who are interested in electrodynamics, statistical and condensed matter physics, quantum dynamics, complex media theories and kinetics, discrete maps and lattice models, and nonlinear dynamics and chaos. Dr. Vasily E. Tarasov is a Senior Research Associate at Nuclear Physics Institute of Moscow State University and...

  12. Duration Calculus: Logical Foundations

    DEFF Research Database (Denmark)

    Hansen, Michael Reichhardt; Chaochen, Zhou

    1997-01-01

    The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...

  13. Effect of Frequency of Brushing Teeth on Plaque and Calculus Accumulation, and Gingivitis in Dogs.

    Science.gov (United States)

    Harvey, Colin; Serfilippi, Laurie; Barnvos, Donald

    2015-01-01

    The efficacy of brushing the teeth of beagle dogs in a randomized, controlled, blinded study design using a clearly-defined brushing technique was evaluated for 4 brushing frequencies: brushing daily, brushing every other day, brushing weekly and brushing every other week, compared with no brushing in a control group of dogs. All dogs were fed a standard dry kibble diet during the study. Standard plaque, calculus, and gingivitis indices were used to score the teeth. A 'clean tooth' model was used. No gingival or non-gingival lacerations or other signs of injury to oral tissues were found at the end of the 28 day trial period. Brushing more frequently had greater effectiveness in retarding accumulation of plaque and calculus, and reducing the severity of pre-existing gingivitis. Brushing daily or every other day produced statistically significant improved results compared with brushing weekly or every other week. Based on the results of this study, daily brushing is recommended.

  14. Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus

    NARCIS (Netherlands)

    Gheerbrant, A.

    2010-01-01

    The logic µ(U) is the fixpoint extension of the "Until"-only fragment of linear-time temporal logic. It also happens to be the stutter-invariant fragment of linear-time µ-calculus µ(◊). We provide complete axiomatizations of µ(U) on the class of finite words and on the class of ω-words. We introduce

  15. Applications of fractional calculus to $ k $-uniformly starlike and $ k $-uniformly convex functions of order $ \\alpha $

    Directory of Open Access Journals (Sweden)

    Ajab Akbarally

    2007-06-01

    Full Text Available A new subclass of analytic functions $ k-SP_\\lambda(\\alpha $ is introduced by applying certain operators of fractional calculus to $k$-uniformly starlike and $ k $-uniformly convex functions of order $ \\alpha $. Some theorems on coefficient bounds and growth and distortion theorems for this subclass are found. The radii of close to convexity, starlikeness and convexity for this subclass is also derived.

  16. Reducing risk of closed loop control of blood glucose in artificial pancreas using fractional calculus.

    Science.gov (United States)

    Ghorbani, Mahboobeh; Bogdan, Paul

    2014-01-01

    Healthcare costs in the US are among the highest in the world. Chronic diseases such as diabetes significantly contribute to these extensive costs. Despite technological advances to improve sensing and actuation devices, we still lack a coherent theory that facilitates the design and optimization of efficient and robust medical cyber-physical systems for managing chronic diseases. In this paper, we propose a mathematical model for capturing the complex dynamics of blood glucose time series (e.g., time dependent and fractal behavior) observed in real world measurements via fractional calculus concepts. Building upon our time dependent fractal model, we propose a novel model predictive controller for an artificial pancreas that regulates insulin injection. We verify the accuracy of our controller by comparing it to conventional non-fractal models using real world measurements and show how the nonlinear optimal controller based on fractal calculus concepts is superior to non-fractal controllers in terms of average risk index and prediction accuracy.

  17. Qutrit Dichromatic Calculus and Its Universality

    Directory of Open Access Journals (Sweden)

    Quanlong Wang

    2014-12-01

    Full Text Available We introduce a dichromatic calculus (RG for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus. As an application of the dichromatic calculus, we depict a quantum algorithm with a single qutrit. Since it is not easy to decompose an arbitrary d by d unitary matrix into Z and X phase gates when d > 2, the proof of the universality of qudit ZX calculus for quantum mechanics is far from trivial. We construct a counterexample to Ranchin's universality proof, and give another proof by Lie theory that the qudit ZX calculus contains all single qudit unitary transformations, which implies that qudit ZX calculus, with qutrit dichromatic calculus as a special case, is universal for quantum mechanics.

  18. Tensor calculus and analytical dynamics a classical introduction to holonomic and nonholonomic tensor calculus ; and its principal applications to the Lagrangean dynamics of constrained mechanical systems : for engineers, physicists, and mathematicians

    CERN Document Server

    Papastavridis, John G

    1999-01-01

    Tensor Calculus and Analytical Dynamics provides a concise, comprehensive, and readable introduction to classical tensor calculus - in both holonomic and nonholonomic coordinates - as well as to its principal applications to the Lagrangean dynamics of discrete systems under positional or velocity constraints. The thrust of the book focuses on formal structure and basic geometrical/physical ideas underlying most general equations of motion of mechanical systems under linear velocity constraints.

  19. Application of Skin Electrical Conductance of Acupuncture Meridians for Ureteral Calculus: A Case Report

    OpenAIRE

    Wu-Chou Lin; Yung-Hsiang Chen; Jian-Ming Xu; Der-Cherng Chen; Wen-Chi Chen; Chao-Te Lee

    2011-01-01

    Renal colic is a common condition seen in the emergency department (ED). Our recent study showed that measures of electrical conductance may be used as supplementary diagnostic methods for patients with acute renal colic. Here, we describe the case of a 30-year-old male subject with a left ureteral calculus who presented with frequency and normal-looking urine. He had already visited the outpatient department, but in vain. Normal urinalysis and nonobstructive urogram were reported at that tim...

  20. The calculus a genetic approach

    CERN Document Server

    Toeplitz, Otto

    2007-01-01

    When first published posthumously in 1963, this book presented a radically different approach to the teaching of calculus.  In sharp contrast to the methods of his time, Otto Toeplitz did not teach calculus as a static system of techniques and facts to be memorized. Instead, he drew on his knowledge of the history of mathematics and presented calculus as an organic evolution of ideas beginning with the discoveries of Greek scholars, such as Archimedes, Pythagoras, and Euclid, and developing through the centuries in the work of Kepler, Galileo, Fermat, Newton, and Leibniz. Through this unique a

  1. The prostatic utricle cyst with huge calculus and hypospadias: A case report and a review of the literature

    OpenAIRE

    Wang, Weigang; WANG, YUANTAO; Zhu, Dechun; Yan, Pengfei; Dong, Biao; Zhou, Honglan

    2015-01-01

    Prostatic utricle cysts with calculus and hypospadias are rare. There are a few reported cases. We present a case of a prostatic utricle cyst with huge calculus in a 25-year-old male. He had a history of left cryptorchidism and surgery for penoscrotal hypospadias in his infancy. He was referred for frequent micturition, urgency of urination, urine pain, terminal hematuria, and dysuria. A computed tomography (CT) revealed a retrovesical cystic lesion of low density, showing a 5 × 5-cm calcific...

  2. The Guarded Lambda-Calculus

    DEFF Research Database (Denmark)

    Clouston, Ranald; Bizjak, Aleš; Grathwohl, Hans Bugge;

    2016-01-01

    -former inspired by modal logic and Atkey-McBride clock quantification, allowing the typing of acausal functions. We give a call-by-name operational semantics for the calculus, and define adequate denotational semantics in the topos of trees. The adequacy proof entails that the evaluation of a program always......We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive types may be transformed into coinductive types by a type...

  3. Extraction of prostatic lumina and automated recognition for prostatic calculus image using PCA-SVM.

    Science.gov (United States)

    Wang, Zhuocai; Xu, Xiangmin; Ding, Xiaojun; Xiao, Hui; Huang, Yusheng; Liu, Jian; Xing, Xiaofen; Wang, Hua; Liao, D Joshua

    2011-01-01

    Identification of prostatic calculi is an important basis for determining the tissue origin. Computation-assistant diagnosis of prostatic calculi may have promising potential but is currently still less studied. We studied the extraction of prostatic lumina and automated recognition for calculus images. Extraction of lumina from prostate histology images was based on local entropy and Otsu threshold recognition using PCA-SVM and based on the texture features of prostatic calculus. The SVM classifier showed an average time 0.1432 second, an average training accuracy of 100%, an average test accuracy of 93.12%, a sensitivity of 87.74%, and a specificity of 94.82%. We concluded that the algorithm, based on texture features and PCA-SVM, can recognize the concentric structure and visualized features easily. Therefore, this method is effective for the automated recognition of prostatic calculi.

  4. Investigating Student Understanding of Physics Concepts and the Underlying Calculus Concepts in Thermodynamics

    Science.gov (United States)

    Thompson, John; Christensen, Warren; Mountcastle, Donald

    2010-03-01

    In work on student understanding of concepts in advanced thermal physics, we are exploring student understanding of the mathematics required for productive reasoning about the physics. By analysis of student use of mathematics in responses to conceptual physics questions, as well as analogous math questions stripped of physical meaning, we find evidence that students often enter upper-level physics courses lacking the assumed prerequisite mathematics knowledge and/or the ability to apply it productively in a physics context. Our focus is in two main areas: interpretation of P-V diagrams, requiring an understanding of integration, and material properties and the Maxwell relations, involving partial differentiation. We have also assessed these mathematical concepts among students in multivariable calculus. Calculus results support the findings among physics students: some observed difficulties are not just with transfer of math knowledge to physics contexts, but seem to have origins in the understanding of the math concepts themselves.

  5. Investigation of the cumulative diminution process using the Fibonacci method and fractional calculus

    Science.gov (United States)

    Buyukkilic, F.; Ok Bayrakdar, Z.; Demirhan, D.

    2016-02-01

    In this study, we investigate the cumulative diminution phenomenon for a physical quantity and a diminution process with a constant acquisition quantity in each step in a viscous medium. We analyze the existence of a dynamical mechanism that underlies the success of fractional calculus ​compared with standard mathematics for describing stochastic processes by ​proposing a Fibonacci approach, where we assume that the complex processes evolves cumulatively in fractal space and discrete time. ​Thus, when the differential-integral order α is attained, this indicates the ​involvement of the viscosity of the medium ​in the evolving process. The future value of the diminishing physical quantity is obtained in terms of the Mittag-Leffler function (MLF) and two rheological laws ​are inferred from the asymptotic limits. Thus, we conclude that the differential-integral calculus of fractional mathematics implicitly embodies the cumulative diminution mechanism ​that occurs in a viscous medium.

  6. A SITUATION CALCULUS BASED APPROACH TO DYNAMIC MANAGEMENT OF E-BUSINESS SERVICES

    Institute of Scientific and Technical Information of China (English)

    2007-01-01

    In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.

  7. Calculus limits involving infinity: the role of students' informal dynamic reasoning

    Science.gov (United States)

    Jones, Steven R.

    2015-01-01

    Few studies on calculus limits have centred their focus on student understanding of limits at infinity or infinite limits that involve continuous functions (as opposed to discrete sequences). This study examines student understanding of these types of limits using both pure mathematics and applied-science functions and formulas. Seven calculus students' approaches to understanding, calculating, and interpreting answers to these types of limits are examined. The dynamic reasoning used by these students led to good justifications and meaningful interpretations of their answers. On the other hand, when students engaged less with dynamic reasoning, they struggled more and made less reasonable interpretations of their answers. Furthermore, dynamic reasoning helped the students in this study overcome previously documented pitfalls and encouraged covariational reasoning. The applied-science contexts at times helped the students engage in dynamic reasoning.

  8. Mathematics for physics with calculus

    CERN Document Server

    Das, Biman

    2005-01-01

    Designed for students who plan to take or who are presently taking calculus-based physics courses. This book will develop necessary mathematical skills and help students gain the competence to use precalculus, calculus, vector algebra, vector calculus, and the statistical analysis of experimental data. Students taking intermediate physics, engineering, and other science courses will also find the book useful-and will be able to use the book as a mathematical resource for these intermediate level courses. The book emphasizes primarily the use of mathematical techniques and mathematical concepts in Physics and does not go into their rigorous developments.

  9. Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework

    OpenAIRE

    Paulevé, Loïc; Magnin, Morgan; Roux, Olivier

    2011-01-01

    International audience; In this paper, we introduce a framework allowing to model and analyse efficiently Gene Regulatory Networks in their temporal and stochastic aspects. The analysis of stable states and inference of René Thomas' discrete parameters derives from this logical formalism. We offer a compositional approach which comes with a natural translation to the Stochastic π-Calculus. The method we propose consists in successive refinements of generalized dynamics of Gene Regulatory Netw...

  10. Formal Analysis of an Airplane Accident in N{Σ}-Labeled Calculus

    Science.gov (United States)

    Mizutani, Tetsuya; Igarashi, Shigeru; Ikeda, Yasuwo; Shio, Masayuki

    N{Σ}-labeled calculus is a formal system for representation, verification and analysis of time-concerned recognition, knowledge, belief and decision of humans or computer programs together with related external physical or logical phenomena.In this paper, a formal verification and analysis of the JAL near miss accident is presented as an example of cooperating systems controlling continuously changing objects including human factor with misunderstanding or incorrect recognition.

  11. Pre-Calculus For Dummies

    CERN Document Server

    Kuang, Yang

    2012-01-01

    The fun and easy way to learn pre-calculus Getting ready for calculus but still feel a bit confused? Have no fear. Pre-Calculus For Dummies is an un-intimidating, hands-on guide that walks you through all the essential topics, from absolute value and quadratic equations to logarithms and exponential functions to trig identities and matrix operations. With this guide's help you'll quickly and painlessly get a handle on all of the concepts - not just the number crunching - and understand how to perform all pre-calc tasks, from graphing to tackling proofs. You'll also get a new appreciation for

  12. A fully-abstract semantics of lambda-mu in the pi-calculus

    Directory of Open Access Journals (Sweden)

    Steffen van Bakel

    2014-09-01

    Full Text Available We study the lambda-mu-calculus, extended with explicit substitution, and define a compositional output-based interpretation into a variant of the pi-calculus with pairing that preserves single-step explicit head reduction with respect to weak bisimilarity. We define four notions of weak equivalence for lambda-mu – one based on weak reduction, two modelling weak head-reduction and weak explicit head reduction (all considering terms without weak head-normal form equivalent as well, and one based on weak approximation – and show they all coincide. We will then show full abstraction results for our interpretation for the weak equivalences with respect to weak bisimilarity on processes.

  13. Condition-based diagnosis of mechatronic systems using a fractional calculus approach

    Science.gov (United States)

    Gutiérrez-Carvajal, Ricardo Enrique; Flávio de Melo, Leonimer; Maurício Rosário, João; Tenreiro Machado, J. A.

    2016-07-01

    While fractional calculus (FC) is as old as integer calculus, its application has been mainly restricted to mathematics. However, many real systems are better described using FC equations than with integer models. FC is a suitable tool for describing systems characterised by their fractal nature, long-term memory and chaotic behaviour. It is a promising methodology for failure analysis and modelling, since the behaviour of a failing system depends on factors that increase the model's complexity. This paper explores the proficiency of FC in modelling complex behaviour by tuning only a few parameters. This work proposes a novel two-step strategy for diagnosis, first modelling common failure conditions and, second, by comparing these models with real machine signals and using the difference to feed a computational classifier. Our proposal is validated using an electrical motor coupled with a mechanical gear reducer.

  14. Subclasses of Starlike Functions Associated with Fractional q-Calculus Operators

    Directory of Open Access Journals (Sweden)

    G. Murugusundaramoorthy

    2013-01-01

    Full Text Available Making use of fractional q-calculus operators, we introduce a new subclass ℳq(λ,γ,k of starlike functions and determine the coefficient estimate, extreme points, closure theorem, and distortion bounds for functions in ℳq(λ,γ,k. Furthermore we discuss neighborhood results, subordination theorem, partial sums, and integral means inequalities for functions in ℳq(λ,γ,k.

  15. Modelling of the pathological bile flow in the duct with a calculus.

    Science.gov (United States)

    Kuchumov, Alex G; Nyashin, Yuriy I; Samarcev, Vladimir A; Gavrilov, Vasiliy A

    2013-01-01

    The aim of the present paper is to develop an analytical model for description of the pathological bile flow in the major duodenal papilla duct with a calculus. The problem is separated into two parts. The first part deals with determination of bile behaviour and constitutive relation parameters of the pathological bile. The viscosity vs. shear rate, the viscosity vs. time, and shear stress vs. shear rate dependences are obtained for different types of bile taken from patients of different age and sex. As a result, the approximation of curves described by the Casson equation was obtained. It was shown that the pathological bile is a thixotropic non-Newtonian fluid. The second part is directly related to modelling of the bile flow in the duct with a calculus. As a result of solving the problem, the bile velocity profile, flow rate vs. time, and bile pressure vs. calculus radius were obtained. The dependences obtained may play an important role in the assessment of an indication to operation.

  16. Extension of Wirtinger Calculus in RKH Spaces and the Complex Kernal LMS

    CERN Document Server

    Bouboulis, Pantelis

    2010-01-01

    Over the last decade, kernel methods for nonlinear processing have successfully been used in the machine learning community. However, so far, the emphasis has been on batch techniques. It is only recently, that online adaptive techniques have been considered in the context of signal processing tasks. To the best of our knowledge, no kernel-based strategy has been developed, so far, that is able to deal with complex valued signals. In this paper, we take advantage of a technique called complexification of real RKHSs to attack this problem. In order to derive gradients and subgradients of operators that need to be defined on the associated complex RKHSs, we employ the powerful tool ofWirtinger's Calculus, which has recently attracted much attention in the signal processing community. Writinger's calculus simplifies computations and offers an elegant tool for treating complex signals. To this end, in this paper, the notion of Writinger's calculus is extended, for the first time, to include complex RKHSs and use ...

  17. Differential reflectometry versus tactile sense detection of subgingival calculus in dentistry

    Science.gov (United States)

    Shakibaie, Fardad; Walsh, Laurence J.

    2012-10-01

    Detecting dental calculus is clinically challenging in dentistry. This study used typodonts with extracted premolar and molar teeth and simulated gingival tissue to compare the performance of differential reflectometry and periodontal probing. A total of 30 extracted teeth were set in an anatomical configuration in stone to create three typodonts. Clear polyvinyl siloxane impression material was placed to replicate the periodontal soft tissues. Pocket depths ranged from 10 to 15 mm. The three models were placed in a phantom head, and an experienced dentist assessed the presence of subgingival calculus first using the DetecTar (differential reflectometry) and then a periodontal probe. Scores from these two different methods were compared to the gold standard (direct examination of the root surface using 20× magnification) to determine the accuracy and reproducibility. Differential reflectometry was more accurate than tactile assessment (79% versus 60%), and its reproducibility was also higher (Cohen kappa 0.54 versus 0.39). Both methods performed better on single rooted premolar teeth than on multirooted teeth. These laboratory results indicate that differential reflectometry allows more accurate and reproducible detection of subgingival calculus than conventional probing, and supports its use for supplementing traditional periodontal examination methods in dental practice.

  18. On limit thought of calculus%微积分极限思想刍议

    Institute of Scientific and Technical Information of China (English)

    马文山

    2012-01-01

      The limit thought as one of the most important mathematical thought in the higher mathematics, mainly reflecting a variable with a known quantity infinitely close, thereby using the known volume to reflect the ultimate value the variable has. The formation of calculus in higher mathematics, it is the product of people to understand the limit thought. This paper discusses the values of calculus limit thought in higher mathematics, and probes into the concrete application of calculus limit thought.%  极限思想作为高等数学微积分当中最为重要的一种数学思想,主要反映出一个变量和另一个已知量之间无限接近,从而运用该已知量以反映出变量所具有的终极值。高等数学中的微积分形成,正是人们对于极限思想认识在层层深入地认识之后的产物。本文论述了高等数学中微积分极限思想的价值,并探讨了微积分极限思想的具体应用

  19. Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

    Directory of Open Access Journals (Sweden)

    E. Bartocci

    2010-01-01

    Full Text Available We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D processes.

  20. A Formal Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José

    This dissertation studies the logic underlying category theory. In particular we present a formal calculus for reasoning about universal properties. The aim is to systematise judgements about functoriality and naturality central to categorical reasoning. The calculus is based on a language which...... extends the typed lambda calculus with new binders to represent universal constructions. The types of the languages are interpreted as locally small categories and the expressions represent functors. The logic supports a syntactic treatment of universality and duality. Contravariance requires a definition...... of universality generous enough to deal with functors of mixed variance. Ends generalise limits to cover these kinds of functors and moreover provide the basis for a very convenient algebraic manipulation of expressions. The equational theory of the lambda calculus is extended with new rules for the definitions...

  1. Synthesizing controllers from duration calculus

    DEFF Research Database (Denmark)

    Fränzle, Martin

    1996-01-01

    Duration Calculus is a logic for reasoning about requirements for real-time systems at a high level of abstraction from operational detail, which qualifies it as an interesting starting point for embedded controller design. Such a design activity is generally thought to aim at a control device...... the physical behaviours of which satisfy the requirements formula, i.e. the refinement relation between requirements and implementations is taken to be trajectory inclusion. Due to the abstractness of the vocabulary of Duration Calculus, trajectory inclusion between control requirements and controller designs...... for embedded controller design and exploit this fact for developing an automatic procedure for controller synthesis from specifications formalized in Duration Calculus. As far as we know, this is the first positive result concerning feasibility of automatic synthesis from dense-time Duration Calculus....

  2. Foliated stochastic calculus: Harmonic measures

    CERN Document Server

    Catuogno, Pedro J; Ruffino, Paulo R

    2010-01-01

    In this article we present an intrinsec construction of foliated Brownian motion via stochastic calculus adapted to foliation. The stochastic approach together with a proposed foliated vector calculus provide a natural method to work on harmonic measures. Other results include a decomposition of the Laplacian in terms of the foliated and basic Laplacians, a characterization of totally invariant measures and a differential equation for the density of harmonic measures.

  3. Cartooning in Algebra and Calculus

    Science.gov (United States)

    Moseley, L. Jeneva

    2014-01-01

    This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.

  4. Neutrosophic Precalculus and Neutrosophic Calculus

    OpenAIRE

    Florentin Smarandache

    2015-01-01

    Neutrosophic Analysis is a generalization of Set Analysis, which in its turn is a generalization of Interval Analysis. Neutrosophic Precalculus is referred to indeterminate staticity, while Neutrosophic Calculus is the mathematics of indeterminate change. The Neutrosophic Precalculus and Neutrosophic Calculus can be developed in many ways, depending on the types of indeterminacy one has and on the methods used to deal with such indeterminacy. In this book, the author presents a few examples o...

  5. Kinetics of canine dental calculus crystallization: an in vitro study on the influence of inorganic components of canine saliva.

    Science.gov (United States)

    Borah, Ballav M; Halter, Timothy J; Xie, Baoquan; Henneman, Zachary J; Siudzinski, Thomas R; Harris, Stephen; Elliott, Matthew; Nancollas, George H

    2014-07-01

    This work identifies carbonated hydroxyapatite (CAP) as the primary component of canine dental calculus, and corrects the long held belief that canine dental calculus is primarily CaCO3 (calcite). CAP is known to be the principal crystalline component of human dental calculus, suggesting that there are previously unknown similarities in the calcification that occurs in these two unique oral environments. In vitro kinetic experiments mimicking the inorganic components of canine saliva have examined the mechanisms of dental calculus formation. The solutions were prepared so as to mimic the inorganic components of canine saliva; phosphate, carbonate, and magnesium ion concentrations were varied individually to investigate the roll of these ions in controlling the nature of the phases that is nucleated. To date, the inorganic components of the canine oral systems have not been investigated at concentrations that mimic those in vivo. The mineral composition of the synthetic calculi grown under these conditions closely resembled samples excised from canines. This finding adds new information about calculus formation in humans and canines, and their sensitivity to chemicals used to treat these conditions.

  6. Multivariate calculus and geometry

    CERN Document Server

    Dineen, Seán

    2014-01-01

    Multivariate calculus can be understood best by combining geometric insight, intuitive arguments, detailed explanations and mathematical reasoning. This textbook has successfully followed this programme. It additionally provides a solid description of the basic concepts, via familiar examples, which are then tested in technically demanding situations. In this new edition the introductory chapter and two of the chapters on the geometry of surfaces have been revised. Some exercises have been replaced and others provided with expanded solutions. Familiarity with partial derivatives and a course in linear algebra are essential prerequisites for readers of this book. Multivariate Calculus and Geometry is aimed primarily at higher level undergraduates in the mathematical sciences. The inclusion of many practical examples involving problems of several variables will appeal to mathematics, science and engineering students.

  7. Inductive situation calculus

    OpenAIRE

    Denecker, Marc; Ternovska, Eugenia

    2004-01-01

    Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus in ED-logic, classical logic extended with inductive definitions. This logic has been proposed recently and is an extension of classical logic. It allows for a uniform representation of various forms of definitions, including monotone inductive definitions and non-monotone forms of inductive definitions such as iterated inductio...

  8. Understanding the calculus

    OpenAIRE

    Tall, David

    1985-01-01

    A number of significant changes have have occurred recently that give us a golden opportunity to review the teaching of calculus. The most obvious is the arrival of the microcomputer in the mathematics classroom, allowing graphic demonstrations and individual investigations into the mathematical ideas. But equally potent are new\\ud insights into mathematics and mathematics education that suggest new ways of approaching the subject.\\ud In this article I shall consider some of the difficulties ...

  9. Boolean integral calculus

    Science.gov (United States)

    Tucker, Jerry H.; Tapia, Moiez A.; Bennett, A. Wayne

    1988-01-01

    The concept of Boolean integration is developed, and different Boolean integral operators are introduced. Given the changes in a desired function in terms of the changes in its arguments, the ways of 'integrating' (i.e. realizing) such a function, if it exists, are presented. The necessary and sufficient conditions for integrating, in different senses, the expression specifying the changes are obtained. Boolean calculus has applications in the design of logic circuits and in fault analysis.

  10. Pre-calculus essentials

    CERN Document Server

    Woodward, Ernest

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Pre-Calculus reviews sets, numbers, operations and properties, coordinate geometry, fundamental algebraic topics, solving equations and inequalities, functions, trigonometry, exponents

  11. Calculus III essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Calculus III includes vector analysis, real valued functions, partial differentiation, multiple integrations, vector fields, and infinite series.

  12. Calculus I essentials

    CERN Document Server

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Calculus I covers functions, limits, basic derivatives, and integrals.

  13. Application of fractional calculus to modeling transient combustion of solid propellants

    Science.gov (United States)

    Kulish, Vladimir; Horák, Vladimír; Duc, Linh Do; Lukáč, Tomáš

    2017-01-01

    It was Zel'dovich, who first considered the transient combustion problem of solid propellants. Some more detailed models of that process have been developed afterwards. However, until today, numerical methods remain the prevailing tool for modeling unsteady combustion processes. In this work, it has been demonstrated that at least one of the problems of the unsteady combustion theory, which previously investigated numerically, can be treated analytically by means of fractional calculus. The solution for the unsteady speed of combustion thus derived is then compared with the solution obtained by numerical means in previous studies. The comparison shows a good agreement between those results, especially for small values of time.

  14. Calculus with vectors

    CERN Document Server

    Treiman, Jay S

    2014-01-01

    Calculus with Vectors grew out of a strong need for a beginning calculus textbook for undergraduates who intend to pursue careers in STEM. fields. The approach introduces vector-valued functions from the start, emphasizing the connections between one-variable and multi-variable calculus. The text includes early vectors and early transcendentals and includes a rigorous but informal approach to vectors. Examples and focused applications are well presented along with an abundance of motivating exercises. All three-dimensional graphs have rotatable versions included as extra source materials and may be freely downloaded and manipulated with Maple Player; a free Maple Player App is available for the iPad on iTunes. The approaches taken to topics such as the derivation of the derivatives of sine and cosine, the approach to limits, and the use of "tables" of integration have been modified from the standards seen in other textbooks in order to maximize the ease with which students may comprehend the material. Additio...

  15. Functional Itô versus Banach space stochastic calculus and strict solutions of semilinear path-dependent equations

    Science.gov (United States)

    Cosso, Andrea; Russo, Francesco

    2016-11-01

    Functional Itô calculus was introduced in order to expand a functional F(t,Xṡ+t,Xt) depending on time t, past and present values of the process X. Another possibility to expand F(t,Xṡ+t,Xt) consists in considering the path Xṡ+t = {Xx+t,x ∈ [-T, 0]} as an element of the Banach space of continuous functions on C([-T, 0]) and to use Banach space stochastic calculus. The aim of this paper is threefold. (1) To reformulate functional Itô calculus, separating time and past, making use of the regularization procedures which match more naturally the notion of horizontal derivative which is one of the tools of that calculus. (2) To exploit this reformulation in order to discuss the (not obvious) relation between the functional and the Banach space approaches. (3) To study existence and uniqueness of smooth solutions to path-dependent partial differential equations which naturally arise in the study of functional Itô calculus. More precisely, we study a path-dependent equation of Kolmogorov type which is related to the window process of the solution to an Itô stochastic differential equation with path-dependent coefficients. We also study a semilinear version of that equation.

  16. Tensors, differential forms, and variational principles

    CERN Document Server

    Lovelock, David

    1989-01-01

    Incisive, self-contained account of tensor analysis and the calculus of exterior differential forms, interaction between the concept of invariance and the calculus of variations. Emphasis is on analytical techniques, with large number of problems, from routine manipulative exercises to technically difficult assignments.

  17. Efficacy of a barrier gel for reducing the development of plaque, calculus, and gingivitis in cats.

    Science.gov (United States)

    Bellows, Jan; Carithers, Douglas S; Gross, Sheila J

    2012-01-01

    This study was performed to assess the field efficacy of a professional and home-care barrier gel against the development of plaque, calculus, gingival bleeding, and gingivitis in client-owned cats over a 56-day period compared with negative controls. In a randomized, negative-controlled, outcome evaluator-blinded, client-owned animal clinical field study, 31 cats were evaluated to assess if the barrier gel dental product was effective in cats. Following an enrollment-qualification assessment and enrollment of each cat, all cats received a professional dental cleaning, including polishing and irrigation. Following cleaning, a post-cleaning assessment was performed by the evaluator. Then, using a pre-developed randomization schedule, cats were assigned to the treated or control group. The professional version of the barrier gel was applied to the treated group on day 0. The negative-control group patients did not receive any applications of the barrier gel following dental cleaning. Treated-group cats were brought back to the clinic for subsequent applications of the home-care version of the barrier gel, applied by a non-blinded trained assistant. The home-care version product applications began on day 14 and then were applied weekly (days, 21, 28, 35, 42, 49 and 56) through day 56. All cats enrolled in the study underwent full oral examinations and assessments by the blinded evaluator on or about their respective days 28 and 56. At these evaluations, the evaluator performed standardized assessments for plaque, calculus, gingivitis, and gingival bleeding. Numeric scores were assigned for each assessment using predetermined target teeth to ensure consistency. Using these assessment scores, statistical analyses were performed to determine the efficacies against plaque and calculus deposition; additionally, measurements of gingivitis and gingival bleeding were assessed. Change in plaque score from baseline, for all teeth assessed (all 4 canine teeth, and all 4

  18. EARLINET Single Calculus Chain - technical - Part 2: Calculation of optical products

    Science.gov (United States)

    Mattis, Ina; D'Amico, Giuseppe; Baars, Holger; Amodeo, Aldo; Madonna, Fabio; Iarlori, Marco

    2016-07-01

    In this paper we present the automated software tool ELDA (EARLINET Lidar Data Analyzer) for the retrieval of profiles of optical particle properties from lidar signals. This tool is one of the calculus modules of the EARLINET Single Calculus Chain (SCC) which allows for the analysis of the data of many different lidar systems of EARLINET in an automated, unsupervised way. ELDA delivers profiles of particle extinction coefficients from Raman signals as well as profiles of particle backscatter coefficients from combinations of Raman and elastic signals or from elastic signals only. Those analyses start from pre-processed signals which have already been corrected for background, range dependency and hardware specific effects. An expert group reviewed all algorithms and solutions for critical calculus subsystems which are used within EARLINET with respect to their applicability for automated retrievals. Those methods have been implemented in ELDA. Since the software was designed in a modular way, it is possible to add new or alternative methods in future. Most of the implemented algorithms are well known and well documented, but some methods have especially been developed for ELDA, e.g., automated vertical smoothing and temporal averaging or the handling of effective vertical resolution in the case of lidar ratio retrievals, or the merging of near-range and far-range products. The accuracy of the retrieved profiles was tested following the procedure of the EARLINET-ASOS algorithm inter-comparison exercise which is based on the analysis of synthetic signals. Mean deviations, mean relative deviations, and normalized root-mean-square deviations were calculated for all possible products and three height layers. In all cases, the deviations were clearly below the maximum allowed values according to the EARLINET quality requirements.

  19. Are there any predictors of pyonephrosis in patients with renal calculus disease?

    Science.gov (United States)

    Patodia, Madhusudan; Goel, Apul; Singh, Vishwajeet; Singh, Bhupendra Pal; Sinha, Rahul Janak; Kumar, Manoj; Dalela, Divakar; Sankhwar, Satya Narayan

    2016-11-07

    The objective of the study is to identify factors predicting development of pyonephrosis in patients of renal calculus disease (RCD), as this knowledge is largely unknown. Patients of RCD without pyonephrosis (Group 1) or with pyonephrosis (Group 2) presenting between December 2013 and November 2015 were evaluated. All patients of RCD who had undergone either percutaneous nephrostomy (PCN) or surgical management (percutaneous nephrolithotomy/pyelolithotomy/nephrectomy) were included. Patients treated conservatively, by extracorporeal shock-wave lithotripsy and patients of bilateral RCD were excluded. Data regarding demography, co-morbidities, associated urologic disease, previous intervention, clinical presentation, urinary culture, renal function, grade of hydronephrosis, stone characteristics were collected. 501 patients were included (Group 1: 410; Group 2: 91). Mean age in years (35.02 versus 35.48), sex ratio (2.12:1 versus 2.25:1) and mean body mass index (kg/m(2)) (22.27 versus 22.15) were similar in both groups. Prevalence of diabetes mellitus (3.41% versus 3.29%, p = 1.000) was similar. Group 2 patients had longer duration of symptoms (5.77 versus 8.96 months, p calculus (4.63% versus 12.08%, p = 0.0125), moderate/severe-grade hydronephrosis (49.75% versus 92.30%, p calculus (20.73% versus 62.63%, p < 0.0001), multiple calculi (48.29% versus 68.13% p = 0.0007) and nonfunctioning kidney (1.70% versus 71.42%, p < 0.0001) as predictors of pyonephrosis. In logistic multivariate analysis, additionally, past history of urological surgery (p = 0.044) was found associated with pyonephrosis. Our study identified some conditions associated with patients of pyonephrosis. To prove their role as risk factors we recommend further studies.

  20. A Higher-Order Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José; Winskel, Glynn

    2001-01-01

    A calculus for a fragment of category theory is presented. The types in the language denote categories and the expressions functors. The judgements of the calculus systematise categorical arguments such as: an expression is functorial in its free variables; two expressions are naturally isomorphic...... in their free variables. There are special binders for limits and more general ends. The rules for limits and ends support an algebraic manipulation of universal constructions as opposed to a more traditional diagrammatic approach. Duality within the calculus and applications in proving continuity are discussed...... with examples. The calculus gives a basis for mechanising a theory of categories in a generic theorem prover like Isabelle....

  1. Qutrit Dichromatic Calculus and Its Universality

    OpenAIRE

    2014-01-01

    We introduce a dichromatic calculus (RG) for qutrit systems. We show that the decomposition of the qutrit Hadamard gate is non-unique and not derivable from the dichromatic calculus. As an application of the dichromatic calculus, we depict a quantum algorithm with a single qutrit. Since it is not easy to decompose an arbitrary d by d unitary matrix into Z and X phase gates when d > 2, the proof of the universality of qudit ZX calculus for quantum mechanics is far from trivial. We construct a ...

  2. Long Standing Staghorn Calculus Leading to Squamous Cell Carcinoma of Kidney – A Case Report

    Directory of Open Access Journals (Sweden)

    Hemlata T. Kamra

    2014-07-01

    Full Text Available Squamous cell carcinoma, a rare malignancy of upper urinary tract accounts for 1.4% of all renal malignancies [1]. These tumours are mostly seen in the adults and less commonly in the pediatric age groups. Most of the cases present incidentally because they are masqueraded by pyonephrosis or hydonephrosis which occurs at an advanced stage of the disease and hence poor prognosis. A screening CT for long stand renal stone or newer imaging modalities are required for early detection and improving prognosis of the patients. Here we present a case of renal squamous cell carcinoma in 55 yrs old male with a staghorn calculus.

  3. The impact of instructor pedagogy on college calculus students' attitude toward mathematics

    Science.gov (United States)

    Sonnert, Gerhard; Sadler, Philip M.; Sadler, Samuel M.; Bressoud, David M.

    2015-04-01

    College calculus teaches students important mathematical concepts and skills. The course also has a substantial impact on students' attitude toward mathematics, affecting their career aspirations and desires to take more mathematics. This national US study of 3103 students at 123 colleges and universities tracks changes in students' attitudes toward mathematics during a 'mainstream' calculus course while controlling for student backgrounds. The attitude measure combines students' self-ratings of their mathematics confidence, interest in, and enjoyment of mathematics. Three major kinds of instructor pedagogy, identified through the factor analysis of 61 student-reported variables, are investigated for impact on student attitude as follows: (1) instructors who employ generally accepted 'good teaching' practices (e.g. clarity in presentation and answering questions, useful homework, fair exams, help outside of class) are found to have the most positive impact, particularly with students who began with a weaker initial attitude. (2) Use of educational 'technology' (e.g. graphing calculators, for demonstrations, in homework), on average, is found to have no impact on attitudes, except when used by graduate student instructors, which negatively affects students' attitudes towards mathematics. (3) 'Ambitious teaching' (e.g. group work, word problems, 'flipped' reading, student explanations of thinking) has a small negative impact on student attitudes, while being a relatively more constructive influence only on students who already enjoyed a positive attitude toward mathematics and in classrooms with a large number of students. This study provides support for efforts to improve calculus teaching through the training of faculty and graduate students to use traditional 'good teaching' practices through professional development workshops and courses. As currently implemented, technology and ambitious pedagogical practices, while no doubt effective in certain classrooms, do

  4. ``Riemann equations'' in bidifferential calculus

    Science.gov (United States)

    Chvartatskyi, O.; Müller-Hoissen, F.; Stoilov, N.

    2015-10-01

    We consider equations that formally resemble a matrix Riemann (or Hopf) equation in the framework of bidifferential calculus. With different choices of a first-order bidifferential calculus, we obtain a variety of equations, including a semi-discrete and a fully discrete version of the matrix Riemann equation. A corresponding universal solution-generating method then either yields a (continuous or discrete) Cole-Hopf transformation, or leaves us with the problem of solving Riemann equations (hence an application of the hodograph method). If the bidifferential calculus extends to second order, solutions of a system of "Riemann equations" are also solutions of an equation that arises, on the universal level of bidifferential calculus, as an integrability condition. Depending on the choice of bidifferential calculus, the latter can represent a number of prominent integrable equations, like self-dual Yang-Mills, as well as matrix versions of the two-dimensional Toda lattice, Hirota's bilinear difference equation, (2+1)-dimensional Nonlinear Schrödinger (NLS), Kadomtsev-Petviashvili (KP) equation, and Davey-Stewartson equations. For all of them, a recent (non-isospectral) binary Darboux transformation result in bidifferential calculus applies, which can be specialized to generate solutions of the associated "Riemann equations." For the latter, we clarify the relation between these specialized binary Darboux transformations and the aforementioned solution-generating method. From (arbitrary size) matrix versions of the "Riemann equations" associated with an integrable equation, possessing a bidifferential calculus formulation, multi-soliton-type solutions of the latter can be generated. This includes "breaking" multi-soliton-type solutions of the self-dual Yang-Mills and the (2+1)-dimensional NLS equation, which are parametrized by solutions of Riemann equations.

  5. A Calculus for Context-Awareness

    DEFF Research Database (Denmark)

    Zimmer, Pascal

    2005-01-01

    In order to answer the challenge of pervasive computing, we propose a new process calculus, whose aim is to describe dynamic systems composed of agents able to move and react differently depending on their location. This Context-Aware Calculus features a hierarchical structure similar to mobile...... ambients, and a generic multi-agent synchronization mechanism, inspired from the join-calculus. After general ideas and introduction, we review the full calculus' syntax and semantics, as well as some motivating examples, study its expressiveness, and show how the notion of computation itself can be made...

  6. Pre-calculus workbook for dummies

    CERN Document Server

    Kuang, Yang

    2011-01-01

    Get the confidence and math skills you need to get started with calculus Are you preparing for calculus? This hands-on workbook helps you master basic pre-calculus concepts and practice the types of problems you'll encounter in the course. You'll get hundreds of valuable exercises, problem-solving shortcuts, plenty of workspace, and step-by-step solutions to every problem. You'll also memorize the most frequently used equations, see how to avoid common mistakes, understand tricky trig proofs, and much more. Pre-Calculus Workbook For Dummies is the perfect tool for anyone who wa

  7. Care and Feeding of a Paperless, Calculus-based Physics Course

    Science.gov (United States)

    Moore, Christopher; Fuller, Robert; Plano-Clark, Vicki L.; Dunbar, Steven R.

    1997-04-01

    Technology is playing an increasing role in our lives at home, at work, and in the classroom. We have begun a calculus-based introductory physics course to integrate mathematics and multimedia with the traditional physics content. This course relies on the use of technology to teach physics. We formulated the following rule for the conduct of the course: ''No paper is transferred between instructional staff and students that contains course information or assignments for grading.'' Implementing and maintaining this physics course within the context of the instructor goals will be discussed. Preliminary results of feedback from the students and an evaluation team will be presented.

  8. The use of concept maps as an indicator of significant learning in Calculus

    Directory of Open Access Journals (Sweden)

    Naíma Soltau Ferrão

    2014-03-01

    Full Text Available This paper contains reflections and results of a research that aimed to apply and analyze the use of concept maps in Higher Education as an indicator of significant learning concerning derivative as mathematical object with students that finished Differential and Integral Calculus. This is a qualitative approach, situated in the area of mathematics education, based on Ausubel's Theory of Meaningful Learning and on technique of Novak's Concept Mapping. As data acquisition instruments, use of classroom observations, questionnaire, brainstorming and digital conceptual mapping, made by an undergraduate physics course. To analyze we defined four aspects to be observed in the maps constructed by students: (i validity of propositions formed with concepts, (ii hierarchization, (iii cross-links between the propositions, and (vi the presence of applications. The identification of these elements, taken as reference to analyze the maps, allowed the collection of information about how each student has structured and correlated the set of concepts learned on the derivative of a function along their course. Based on the results, we have identified in the digital conceptual maps effective tools to evaluate the students in terms of meaningful learning about specific contents of Differential and Integral Calculus by the hierarchy of concepts, progressive differentiation and integrative reconciliation as defined in the Theory of Meaningful Learning.

  9. General relativity without calculus a concise introduction to the geometry of relativity

    CERN Document Server

    Natario, José

    2011-01-01

    "General Relativity Without Calculus" offers a compact but mathematically correct introduction to the general theory of relativity, assuming only a basic knowledge of high school mathematics and physics. Targeted at first year undergraduates (and advanced high school students) who wish to learn Einstein's theory beyond popular science accounts, it covers the basics of special relativity, Minkowski space-time, non-Euclidean geometry, Newtonian gravity, the Schwarzschild solution, black holes and cosmology. The quick-paced style is balanced by over 75 exercises (including full solution

  10. Treatment of ureteral calculus obstruction with laser lithotripsy in an Atlantic bottlenose dolphin (Tursiops truncatus).

    Science.gov (United States)

    Schmitt, Todd L; Sur, Roger L

    2012-03-01

    An adult female bottlenose dolphin (Tursiops truncatus) presented with acute anorexia secondary to progressive azotemia (blood urea nitrogen = 213 mg/dl, creatinine [Cr] = 9.5 mg/dl) and electrolyte abnormalities (K = 7.4 mEq/L). It was later diagnosed with postrenal obstruction secondary to bilaterally obstructing ureteral calculi seen on ultrasound. Treatment of the obstruction required two endoscopic procedures, cystoscopy for ureteral stent placement and ureteroscopy to perform intracorporeal lithotripsy on the obstructing calculi. Before the first procedure, the dolphin's azotemia was stabilized with aggressive fluid therapy, peritoneal dialysis, and treatment for acidosis. Diuresis subsequent to the fluid therapy enabled passage of the right obstructing urolith. For both endoscopic procedures, the dolphin was placed in left lateral recumbency due to the peritoneal dialysis catheter in the right retroperitoneal region. For the first procedure, a 12-French (Fr) flexible cystoscope was inserted retrograde into the bladder via the urethra, whereupon a calculus was seen obstructing the left ureteral orifice. A 4.8-Fr, 26-cm double-pigtail ureteral stent was placed up the left ureter to relieve the postrenal obstruction. Inadvertent proximal migration of the left ureteral stent occurred during the procedure. However, renal parameters (serum Cr = 5.8, K = 5.4) improved significantly by the next day. For the second procedure, 28 hr later, ureteroscopy was performed to treat the calculus and replace the existing stent with a longer stent. The left ureteral calculus was pulverized into tiny fragments by using a holmium:yttrium-aluminum-garnet laser inserted through a 6.9-Fr semirigid ureteroscope. The migrated stent was visualized in the distal left ureter and replaced with a 90-cm single-pigtail ureteral stent that was sutured exterior to the urogenital slit and removed 3 days later. Renal function normalized over the next several days, and the dolphin recovered over

  11. PRIMARY SQUAMOUS CELL CARCINOMA OF RENAL PELVIS ASSOCIATED WITH RENAL CALCULUS AND RECURRENT PYONEPHROSIS

    Directory of Open Access Journals (Sweden)

    Hoti Lal

    2015-11-01

    Full Text Available Primary Squamous Cell Carcinoma in the kidney is a rare malignant neoplasm associated with nephrolithiasis, typically monobacterial pyonephrosis and rarely Xanthogranulomatous pyelonephritis. It is an aggressive disease with a poor prognosis mostly due to lack of presenting clinical features like a palpable mass, gross haematuria and pain. We report a case presenting with renal calculus and pyonephrosis managed initially with percutaneous nephrostomy followed by nephrectomy due to complete loss of renal function. Histopathological evaluation revealed poorly differentiated squamous cell carcinoma which is managed by chemotherapy, although initially beneficial, patients later develop disseminated metastatic disease which holds a poor prognosis.

  12. Complete rank theorem of advanced calculus and singularities of bounded linear operators

    Institute of Scientific and Technical Information of China (English)

    2008-01-01

    Let E and F be Banach spaces, f: U E→ F be a map of Cr (r≥ 1), x∈ U, and f'(x0) denote the Fréchet differential of f at x0. Suppose that f'(xo) is double split, Rank(f'(x0)) = ∞, dimN(f'(x0)) > 0 and codimR(f'(x0)) > 0. The rank theorem in advanced calculus asks to answer what properties of f ensure that f(x) is conjugate to f'(x0) near x0. We have proved that the conclusion of the theorem is equivalent to one kind of singularities for bounded linear operators, I.e., x0 is a locally fine point for f'(x) or generalized regular point of f(x); so, a complete rank theorem in advanced calculus is established, I.e., a sufficient and necessary condition such that the conclusion of the theorem to be held is given.

  13. Study Modules for Calculus-Based General Physics. [Includes Modules 31-34: Inductance; Wave Properties of Light; Interference; and Introduction to Quantum Physics].

    Science.gov (United States)

    Fuller, Robert G., Ed.; And Others

    This is Part of a series of 41 Calculus Based Physics (CBP) modules totaling about 1,000 Pages. The modules include study guides, practice tests, and mastery tests for a full-year individualized courses in calculus-based physics based on the Personalized System of Instruction (PSI). The units are not intended to be used without outside materials;…

  14. Study Modules for Calculus-Based General Physics. [Includes Modules 11-14: Collisions; Equilibrium of Rigid Bodies; Rotational Dynamics; and Fluid Mechanics].

    Science.gov (United States)

    Fuller, Robert G., Ed.; And Others

    This is part of a series of 42 Calculus Based Physics (CBP) modules totaling about 1,000 pages. The modules include study guides, practice tests, and mastery tests for a full-year individualized course in calculus-based physics based on the Personalized System of Instruction (PSI). The units are not intended to be used without outside materials;…

  15. Application of Skin Electrical Conductance of Acupuncture Meridians for Ureteral Calculus: A Case Report

    Directory of Open Access Journals (Sweden)

    Wu-Chou Lin

    2011-01-01

    Full Text Available Renal colic is a common condition seen in the emergency department (ED. Our recent study showed that measures of electrical conductance may be used as supplementary diagnostic methods for patients with acute renal colic. Here, we describe the case of a 30-year-old male subject with a left ureteral calculus who presented with frequency and normal-looking urine. He had already visited the outpatient department, but in vain. Normal urinalysis and nonobstructive urogram were reported at that time. Two days later, he was admitted to the ED because of abdominal pain in the left lower quadrant. The urinalysis did not detect red blood cells. Ultrasonography did not indicate hydronephrosis. The meridian electrical conductance and index of sympathovagal balance were found to be abnormal. High level of electrical conductance on the left bladder meridian was found. An unenhanced helical computed tomography was scheduled to reveal a left ureterovesical stone. Ureteroscopic intervention was later uneventfully performed, and the patient's pain was relieved. The follow-up measurements showed that the meridian parameters had returned to normal one month after treatment. This case suggests that bladder meridian electrical conductance might be used as a supplemental method for ureteral calculus diagnosis.

  16. Price Discrimination and Consumer Surplus. Applications of Calculus to Economics Modules and Monographs in Undergraduate Mathematics and Its Applications Project. UMAP Unit 294.

    Science.gov (United States)

    Nevison, Christopher H.

    This unit considers the application of calculus in determining price discrimination and consumer surplus in a competitive market. Producer surplus and two-tier price discrimination are also developed in problems. It is noted that calculus cannot usually provide numerical answers for practical economic problems. The importance of calculus…

  17. Case of pancreatolithiasis. CT observation of calculus formation

    Energy Technology Data Exchange (ETDEWEB)

    Sasaki, Fumio; Koga, Sukehiko; Takeuchi, Akira (Fujita-Gakuen Univ., School of Medicine, Aichi (Japan))

    1982-11-01

    During 3-year follow-up of a case of pancreatolithiasis localized in the pancreatic head, CT showed sudden new appearance of calculi over an extensive area of the body and tail of the pancreas after acute exacerbation of chronic pancreatitis. This case and the etiology and mechanism of pancreatolithiasis were discussed on the basis of literature.

  18. 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

    2009-01-01

    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...... and it is shown to be sound, i.e. protocols which are typeable are also safe. This result is lifted to open systems which involves Dolev-Yao attackers. Our Dolev-Yao attacker may use public keys for encryption and can attack any neighborhood it wishes. Our technique is applied to the Mobile IP registration...

  19. Diagnosis and treatment of melamine-associated urinary calculus complicated with acute renal failure in infants and young children

    Institute of Scientific and Technical Information of China (English)

    SUN Ning; JIANG Ye-ping; FENG Dong-chuan; ZHANG Rui-feng; ZHU Xiao-yu; XIAO Hong-zhan; SHEN Ying; SUN Qiang; LI Xu-ran; JIA Li-qun; ZHANG Gui-ju; ZHANG Wei-ping; CHEN Zhi; FAN Jian-feng

    2009-01-01

    Background Infants in some areas of China developed urinary lithiasis after being fed with powdered milk that was tainted with melamine in 2008 and very small proportion of the infants developed acute renal failure caused by urinary tract calculus obstruction. The aim of this article was to summarize clinical characteristics, diagnosis and treatment of infants with urinary calculus and acute renal failure developed after being fed with melamine tainted formula milk.Methods Data of infant patients with urinary calculus and acute renal failure due to melamine tainted formula milk admitted to the Beijing Children's Hospital Affiliated to the Capital Medical University and the Xuzhou Children's Hospital in 2008 were used to analyze the epidemiological characteristics, clinical manifestations, imaging features as well as effects of 4 types of therapies.Results All the 34 infants with urinary calculus were complicated with acute renal failure, their blood urea nitrogen (BUN) was (24.1±8.2) mmol/L and creatinine (CO was (384.2±901.2) μmol/L. The chemical analysis on the urinary calculus sampled from 15 of the infants showed that the calculus contained melamine and acidum uricum. The time needed for the four types of therapies for returning Cr to normal was (3.5±1.9) days for cystoscopy group, (2.7±1.1) days for lithotomy group, (3.8±2.3) days for dialysis group, and (2.7±1.6) days for medical treatment group, which had no statistically significant difference (P=0.508). Renal failure of all the 34 infants was relieved within 1 to 7 days, averaging (3.00±1.78) days.Conclusions Melamine tainted formula milk may cause urinary calculus and obstructive acute renal failure. It is suggested that firstly the patients with urinary calculus complicated with acute renal failure should be treated with dialysis or medication to correct electrolyte disturbance, in particular hyperkalemia, and then relieve the obstruction with available medical and surgical methods as soon as

  20. Variational regularization of 3D data experiments with Matlab

    CERN Document Server

    Montegranario, Hebert

    2014-01-01

    Variational Regularization of 3D Data provides an introduction to variational methods for data modelling and its application in computer vision. In this book, the authors identify interpolation as an inverse problem that can be solved by Tikhonov regularization. The proposed solutions are generalizations of one-dimensional splines, applicable to n-dimensional data and the central idea is that these splines can be obtained by regularization theory using a trade-off between the fidelity of the data and smoothness properties.As a foundation, the authors present a comprehensive guide to the necessary fundamentals of functional analysis and variational calculus, as well as splines. The implementation and numerical experiments are illustrated using MATLAB®. The book also includes the necessary theoretical background for approximation methods and some details of the computer implementation of the algorithms. A working knowledge of multivariable calculus and basic vector and matrix methods should serve as an adequat...

  1. On the Fractional Calculus of a Type of Weierstrass Functions

    Institute of Scientific and Technical Information of China (English)

    姚奎; 张霞

    2002-01-01

    @@ I Introduction In recent years, fractals have shown important applications in many fields. [1, 2] and [3] havedone some excellent initial and conclusion work on fractal and it's mathematical foundations.However, a fractal function: a type of Weierstrass functions defined bybecause of it's special fractal properties, [1,2, 4, 5] have given some detailed discussion about it'sgraph, fractal dimension, etc.

  2. Performance differences in the detection of subgingival calculus by laser fluorescence devices.

    Science.gov (United States)

    Shakibaie, Fardad; Walsh, Laurence J

    2015-12-01

    This study compared the performance of three laser fluorescence (LF) devices (DIAGNOdent Classic, DIAGNOdent Pen and KEY3 laser) under standardized laboratory conditions for detecting subgingival deposits of calculus on root surfaces of extracted teeth in typodonts. While some studies show the efficacy of LF devices for calculus detection compared with conventional periodontal probes, little is known regarding the differential performance of different LF devices. In this laboratory study, extracted teeth were set in an anatomical configuration in stone typodont models in a phantom head and impression material used to replicate periodontal soft tissues. A total of 240 sites were assessed on three occasions using the three different LF devices and results compared to direct microscopic examination of the roots of the extracted teeth under magnification. The KEY3 showed greater accuracy (86.4 %) than the DIAGNOdent Pen (84 %) and DIAGNOdent Classic (80.2 %). The intra-examiner reproducibility was also higher for the KEY3 (mean Cohen kappa 0.74) than the DIAGNOdent Pen (0.66) and DIAGNOdent Classic (0.6). Of the three LF devices, the KEY3 has greater accuracy and reproducibility.

  3. Transurethral lithotripsy with holmium-YAG laser of a large exogenous prostatic calculus.

    Science.gov (United States)

    Hasegawa, Masanori; Ohara, Rei; Kanao, Kent; Nakajima, Yosuke

    2011-04-01

    Prostatic calculi are classified into two types, endogenous and exogenous calculi, based on their origin. Endogenous calculi are commonly observed in elderly men; however, exogenous prostatic calculi are extremely rare. We report here the case of a 51-year-old man who suffered incontinence and pollakiuria with a giant exogenous prostatic calculus almost completely replacing the prostatic tissue. X-rays and computed tomography demonstrated a large calculus of 65 × 58 mm in the small pelvic cavity. The patient underwent a transurethral lithotripsy with a holmium-YAG laser and a total of 85 g of disintegrated stones was retrieved and chemical stone analysis revealed the presence of magnesium ammonium phosphate. The incontinence improved and the voiding volume increased dramatically, and no stone recurrence in the prostatic fossa occurred at the 2 years follow-up. The etiology of this stone formation seemed to be based on some exogenous pathways combined with urinary stasis and chronic urinary infection due to compression fracture of the lumbar vertebra.

  4. [Simultaneous determination of seven residual solvents in bovis calculus artifactus by headspace gas chromatography].

    Science.gov (United States)

    Chi, Shuyao; Wu, Dike; Sun, Jinhong; Ye, Ruhan; Wang, Xiaoyan

    2014-05-01

    A headspace gas chromatography (HS-GC) method was developed for the simultaneous determination of seven residual solvents (petroleum ether (60-90 degrees C), acetone, ethyl acetate, methanol, methylene chloride, ethanol and butyl acetate) in bovis calculus artifactus. The DB-WAX capillary column and flame ionization detector (FID) were used for the separation and detection of the residual solvents, and the internal standard method was used for the quantification. The chromatographic conditions, such as equilibrium temperature and equilibrium time, were optimized. Under the optimized conditions, all of the seven residual solvents showed good linear relationships with good correlation coefficients (not less than 0.999 3) in the prescribed concentration range. At three spiked levels, the recoveries for the seven residual solvents were 94.7%-105.2% with the relative standard deviations (RSDs) less than 3.5%. The limits of detection (LODs) of the method were 0.43-5.23 mg/L, and the limits of quantification (LOQs) were 1.25-16.67 mg/L. The method is simple, rapid, sensitive and accurate, and is suitable for the simultaneous determination of the seven residual solvents in bovis calculus artifactus.

  5. Outcomes of urethral calculi patients in an endemic region and an undiagnosed primary fossa navicularis calculus.

    Science.gov (United States)

    Verit, Ayhan; Savas, Murat; Ciftci, Halil; Unal, Dogan; Yeni, Ercan; Kaya, Mete

    2006-02-01

    Urethral calculus is a rare form of urolithiasis with an incidence lower than 0.3%. We determined the outcomes of 15 patients with urethral stone, of which 8 were pediatric, including an undiagnosed primary fossa navicularis calculus. Fifteen consecutive male patients, of whom eight were children, with urethral calculi were assessed between 2000 and 2005 with a mean of 19 months' follow-up. All stones were fusiform in shape and solitary. Acute urinary retention, interrupted or weak stream, pain (penile, urethral, perineal) and gross hematuria were the main presenting symptoms in 7 (46.7%), 4 (26.7%), 3 (20%) and 1 (6.6%) patient, respectively. Six of them had accompanying urethral pathologies such as stenosis (primary or with hypospadias) and diverticulum. Two patients were associated with upper urinary tract calculi but none of them secondary to bladder calculi. A 50-year-old patient with a primary urethral stone disease had urethral meatal stenosis accompanied by lifelong lower urinary tract symptoms. Unlike the past reports, urethral stones secondary to bladder calculi were decreasing, especially in the pediatric population. However, the pediatric patients in their first decade are still under risk secondary to the upper urinary tract calculi or the primary ones.

  6. The application of interval calculus in estimation of dynamic characteristics of structures

    Directory of Open Access Journals (Sweden)

    Đorđević Đorđe

    2012-01-01

    Full Text Available The paper analyzed application of interval calculus in estimation of dynamic characteristics of linear systems. The eigen periods of oscillation of structures are affected by several parameters: geometrical characteristics of cross sections of members, magnitude of the mass concentrated in the floors and modulus of elasticity of materials. As a numerical example, the frame reinforced concrete structure was taken, for which the mentioned parameters are given in the form interval. The result is also obtained in the form of interval so it is possible to observe the direct effects on the value of the structural oscillation periods by changing one or several parameters. [Projekat Ministarstva nauke Republike Srbije, br. TR36016: Experimental and theoretical investigation of frames and plates with semi-rigid connections from the view of the second order theory and stability analysis i br. TR36028: Development and improvement of methods for analyses of soil-structure interaction based on theoretical and experimental research

  7. The geometry of ordinary variational equations

    CERN Document Server

    Krupková, Olga

    1997-01-01

    The book provides a comprehensive theory of ODE which come as Euler-Lagrange equations from generally higher-order Lagrangians. Emphasis is laid on applying methods from differential geometry (fibered manifolds and their jet-prolongations) and global analysis (distributions and exterior differential systems). Lagrangian and Hamiltonian dynamics, Hamilton-Jacobi theory, etc., for any Lagrangian system of any order are presented. The key idea - to build up these theories as related with the class of equivalent Lagrangians - distinguishes this book from other texts on higher-order mechanics. The reader should be familiar with elements of differential geometry, global analysis and the calculus of variations.

  8. A flow calculus of mwp-bounds for complexity analysis

    DEFF Research Database (Denmark)

    Jones, Neil; Kristiansen, Lars

    2010-01-01

    straightforwardly from our definitions that there exists M such that ⊧ C : M holds iff every value computed by C is bounded by a polynomial in the inputs. Furthermore, we provide a syntactical proof calculus and define the relation ⊢ C : M to hold iff there exists a derivation in the calculus where C...

  9. Topology in Process Calculus (I): Limit Behaviour of Agents

    Institute of Scientific and Technical Information of China (English)

    YING Mingsheng

    1999-01-01

    This paper introduces the modifications onactions of a topology on names of actions and the simplest topology onagents induced by a topology on names of actions and shows that the limitbehaviour of some agents is compatible with transitional semantics.

  10. Calculus problems and solutions

    CERN Document Server

    Ginzburg, A

    2011-01-01

    Ideal for self-instruction as well as for classroom use, this text helps students improve their understanding and problem-solving skills in analysis, analytic geometry, and higher algebra. More than 1,200 problems appear in the text, with concise explanations of the basic notions and theorems to be used in their solution. Many are followed by complete answers; solutions for the others appear at the end of the book. Topics include sequences, functions of a single variable, limit of a function, differential calculus for functions of a single variable, fundamental theorems and applications of dif

  11. [Calculus-induced anuria. Apropos of 25 cases].

    Science.gov (United States)

    Joual, A; Dakir, M; el Mrini, M; Benjelloun, S

    1997-01-01

    The objective of this study was to analyse the clinical and therapeutic aspects of stone-induced anuria based on the analysis of 25 cases. The mean age of the patients was 51 years. The stones were bilateral in 54% of cases, and consisted of uric acid stones in 52% of cases. The diagnosis was based on laboratory and radiological findings. Dialysis was indicated in eight patients because of major metabolic disorders. Urinary diversion was performed by insertion of a ureteric catheter or percutaneous nephrostomy. The medium- to long-term prognosis was favourable in two-thirds of cases, but 3 immediate deaths were observed due to delayed diagnosis.

  12. Isomorphisms between the coherent models of the lambda-calculus

    Institute of Scientific and Technical Information of China (English)

    蒋颖

    1996-01-01

    It is proved that there exists a formula of first-order logic with only one non-logical symbol, a binary function symbol Ap signifying application, which uniformly defines inclusion in all BF(E)-models Some definability results give an isomorphism between the group of bi-stable Ap -automorphisms of A and the group of permutations of A; it also implies that each BF(E)-model is determined, up to isomorphism, by the cardinal of its set of atoms.

  13. Quad-Tree Visual-Calculus Analysis of Satellite Coverage

    Science.gov (United States)

    Lo, Martin W.; Hockney, George; Kwan, Bruce

    2003-01-01

    An improved method of analysis of coverage of areas of the Earth by a constellation of radio-communication or scientific-observation satellites has been developed. This method is intended to supplant an older method in which the global-coverage-analysis problem is solved from a ground-to-satellite perspective. The present method provides for rapid and efficient analysis. This method is derived from a satellite-to-ground perspective and involves a unique combination of two techniques for multiresolution representation of map features on the surface of a sphere.

  14. See the Light! A Nice Application of Calculus to Chemistry

    Science.gov (United States)

    Boersma, Stuart; McGowan, Garrett

    2007-01-01

    Some simple modeling with Riemann sums can be used to develop Beer's Law, which describes the relationship between the absorbance of light and the concentration of the solution which the light is penetrating. A further application of the usefulness of Beer's Law in creating calibration curves is also presented. (Contains 3 figures.)

  15. Douglas Butler Uses Autograph to Explore the Geometry of Calculus

    Science.gov (United States)

    Butler, Douglas

    2012-01-01

    In short, this is a "master class". The learning and teaching of mathematics can be revolutionised with the creative use of dynamic software is an oft quoted mantra. Here, this mantra is exemplified through the documented experiences of using Autograph to enliven, to extend, and to foster the understanding of differentiation and integration. The…

  16. Solving Abel integral equations of first kind via fractional calculus

    Directory of Open Access Journals (Sweden)

    Salman Jahanshahi

    2015-04-01

    Full Text Available We give a new method for numerically solving Abel integral equations of first kind. An estimation for the error is obtained. The method is based on approximations of fractional integrals and Caputo derivatives. Using trapezoidal rule and Computer Algebra System Maple, the exact and approximation values of three Abel integral equations are found, illustrating the effectiveness of the proposed approach.

  17. Accounting for chance in the calculus of autoimmune disease.

    Science.gov (United States)

    Moore, Daniel J

    2010-02-01

    Discussions around the etiology of autoimmune disease routinely focus on the interplay between genes and the environment. In turn, efforts to ameliorate these diseases seek to modify genetic and environmental factors. However, there may be a third element that also accounts for the progression of autoimmunity. This article explores the role of chance, exemplified by the stochastic process of immune repertoire generation, in the evolution of autoimmunity. The presented modeling studies and concepts suggest that chance plays as significant a role as genes or environment. This hypothesis implies that a full understanding of the role of genes and environment will also require investigators to account for stochastic processes in building comprehensive disease models.

  18. Towards a calculus of biomolecular complexes at equilibrium.

    Science.gov (United States)

    Mjolsness, Eric

    2007-07-01

    An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their action within a larger regulatory network. Unlike many applications of equilibrium statistical mechanics, multimolecular complexes may operate with various subsets of their components present and connected to the others, the rest remaining in solution. Thus they are variable-structure systems. This aspect of their behavior may be accounted for by the use of 'fugacity' variables as a representation within the partition functions. Four principles are proposed by which the combinatorics of molecular complex construction can be reflected in the construction of their partition functions. The corresponding algebraic operations on partition functions are multiplication, addition, function composition and a less commonly used operation called contraction. Each has a natural interpretation in terms of probability distributions on multimolecular structures. Possible generalizations to nonequilibrium statistical mechanics are briefly discussed.

  19. New organization of jet calculus for colorless-cluster computations

    Energy Technology Data Exchange (ETDEWEB)

    Crespi, B.; Jones, L.M.

    1983-12-01

    We write equations for a new set of leading-logarithmic parton ''propagators.'' These differ from past ''color-connecting'' propagators in that they keep explicit track of the momentum of the gluons associated with the quarks in the colorless cluster. Because of this, the new functions lead in a simple and natural way to computation of the x distribution and mass distribution of colorless clusters in jets. Hence they should prove more useful for phenomenological calculations.

  20. Analysis of LYSA-calculus with explicit confidentiality annotations

    DEFF Research Database (Denmark)

    Gao, Han; Nielson, Hanne Riis

    2006-01-01

    protocols. A static analysis approach is developed for analyzing protocols specified in the extended LYSA. The proposed approach will over-approximate the possible executions of protocols while keeping track of all messages communicated over the network, and furthermore it will capture the potential...... malicious activities performed by attackers as specified by the confidentiality annotations. The proposed analysis approach is fully automatic without the need of human intervention and has been applied successfully to a number of protocols....

  1. Geometry of Quantum Group Twists, Multidimensional Jackson Calculus and Regularization

    OpenAIRE

    Demichev, A. P.

    1995-01-01

    We show that R-matricies of all simple quantum groups have the properties which permit to present quantum group twists as transitions to other coordinate frames on quantum spaces. This implies physical equivalence of field theories invariant with respect to q-groups (considered as q-deformed space-time groups of transformations) connected with each other by the twists. Taking into account this freedom we study quantum spaces of the special type: with commuting coordinates but with q-deformed ...

  2. Algorithms for the Fractional Calculus: A Selection of Numerical Methods

    Science.gov (United States)

    Diethelm, K.; Ford, N. J.; Freed, A. D.; Luchko, Yu.

    2003-01-01

    Many recently developed models in areas like viscoelasticity, electrochemistry, diffusion processes, etc. are formulated in terms of derivatives (and integrals) of fractional (non-integer) order. In this paper we present a collection of numerical algorithms for the solution of the various problems arising in this context. We believe that this will give the engineer the necessary tools required to work with fractional models in an efficient way.

  3. A Calculus of Macro-Events: Progress Report

    Science.gov (United States)

    2000-01-01

    1410, USA iliano@itd.nrl.navy.mil Angelo Montanari Dipartimento di Matematica e Informatica Universita di Udine Via delle Scienze, 206 { 33100 Udine...nition of ECTD-structure only by the following points: M MT is a set of macro-events over T . The codomain of [jji and hjj] are rede ned to be

  4. Expressions of algebra elements and transcendental noncommutative calculus

    Science.gov (United States)

    Omori, Hideki; Maeda, Yoshiaki; Miyazaki, Naoya; Yoshioka, Akira

    2007-08-01

    Ideas from deformation quantization are applied to deform the expression of elements of an algebra. Extending these ideas to certain transcendental elements implies that (1)/(i\\hbar )uv in the Weyl algebra is naturally viewed as an indeterminate living in a discrete set {N}+(1)/(2) or - {N}+(1)/(2). This may yield a more mathematical understanding of Dirac's positron theory.

  5. Calculus of Elementary Functions, Part II. Teacher's Commentary. Revised Edition.

    Science.gov (United States)

    Herriot, Sarah T.; And Others

    This course is intended for students who have a thorough knowledge of college preparatory mathematics, including algebra, axiomatic geometry, trigonometry, and analytic geometry. This teacher's guide is for Part II of the course. It is designed to follow Part I of the text. The guide contains background information, suggested instructional…

  6. Calculus of Elementary Functions, Part I. Student Text. Revised Edition.

    Science.gov (United States)

    Herriot, Sarah T.; And Others

    This course is intended for students who have a thorough knowledge of college preparatory mathematics, including algebra, axiomatic geometry, trigonometry, and analytic geometry. This text, Part I, contains the first five chapters of the course and two appendices. Chapters included are: (1) Polynomial Functions; (2) The Derivative of a Polynomial…

  7. Application of fractional calculus in ground heat flux estimation

    Directory of Open Access Journals (Sweden)

    Protić Milan Z.

    2012-01-01

    Full Text Available Ground (soil heat flux is important physical factor primarily because of its role in surface energy balance, analysis of atmospheric boundary layer and land surface-atmosphere interaction. Direct measurement of this property is often associated with difficulties arising from need for adequate calibration of measuring devices, determination of proper depth for probes, upward water migration and accumulation below measuring plates to lack of understanding of the governing thermal processes occurring at the ground surface. In the following paper approach for inferring heat flux indirectly, from known ground surface temperature time-dependant functions, using previously developed fractional diffusion equation for ground heat conduction is elaborated. Fractional equation is solved for two, most frequently encountered harmonic surface temperature functions. Yielded results were compared with analytic solutions. Validation results indicate that solutions obtained with fractional approach closely correspond to analytic solutions with remark that former are more general, containing the term covering the transitional effect.

  8. A Transition Course from Advanced Placement to College Calculus

    Science.gov (United States)

    Lucas, Timothy A.; Spivey, Joseph

    2011-01-01

    In the Spring of 2007, a group of highly motivated mathematics graduate students conducted a review of Duke's Calculus curriculum. They focused on two main problems. The first problem is the result of a very positive trend: a growing number of students are earning AP credit for Calculus I in high school. However, this results in Calculus II…

  9. A Historical Perspective on Teaching and Learning Calculus

    Science.gov (United States)

    Doorman, Michiel; van Maanen, Jan

    2008-01-01

    Calculus is one of those topics in mathematics where the algorithmic manipulation of symbols is easier than understanding the underlying concepts. Around 1680 Leibniz invented a symbol system for calculus that codifies and simplifies the essential elements of reasoning. The calculus of Leibniz brings within the reach of an ordinary student…

  10. Educating about Sustainability while Enhancing Calculus

    Science.gov (United States)

    Pfaff, Thomas J.

    2011-01-01

    We give an overview of why it is important to include sustainability in mathematics classes and provide specific examples of how to do this for a calculus class. We illustrate that when students use "Excel" to fit curves to real data, fundamentally important questions about sustainability become calculus questions about those curves. (Contains 5…

  11. Raise Test Scores: Integrate Biology and Calculus.

    Science.gov (United States)

    Lukens, Jeffrey D.; Feinstein, Sheryl

    This paper presents the results of research that compared the academic achievement of high school students enrolled in an integrated Advanced Placement Biology/Advanced Placement Calculus course with students enrolled in traditional Advanced Placement Biology and Advanced Placement Calculus courses. Study subjects included high school students…

  12. Mathematical modeling of fish burger baking using fractional calculus

    Directory of Open Access Journals (Sweden)

    Bainy Eduarda M.

    2017-01-01

    Full Text Available Tilapia (Oreochromis sp. is the most important and abundant fish species in Brazil due to its adaptability to different environments. The development of tilapia-based products could be an alternative in order to aggregate value and increase fish meat consumption. However, there is little information available on fishburger freezing and cooking in the literature. In this work, the mathematical modeling of the fish burger baking was studied. Previously to the baking process, the fishburgers were assembled in cylindrical shape of height equal to 8mm and diameter 100mm and then baked in an electrical oven with forced heat convection at 150ºC. A T-type thermocouple was inserted in the burger to obtain its temperature profile at the central position. In order to describe the temperature of the burger during the baking process, lumped-parameter models of integer and fractional order and also a nonlinear model due to heat capacity temperature dependence were considered. The burger physical properties were obtained from the literature. After proper parameter estimation tasks and statistical validation, the fractional order model could better describe the experimental temperature behavior, a value of 0.91±0.02 was obtained for the fractional order of the system with correlation coefficient of 0.99. Therefore, with the better temperature prediction, process control and economic optimization studies of the baking process can be conducted.

  13. Calculus of Elementary Functions, Part II. Student Text. Revised Edition.

    Science.gov (United States)

    Herriot, Sarah T.; And Others

    This course is intended for students who have a thorough knowledge of college preparatory mathematics, including algebra, axiomatic geometry, trigonometry, and analytic geometry. This text, Part II, contains material designed to follow Part I. Chapters included in this text are: (6) Derivatives of Exponential and Related Functions; (7) Area and…

  14. Calculus of Elementary Functions, Part I. Teacher's Commentary. Revised Edition.

    Science.gov (United States)

    Herriot, Sarah T.; And Others

    This course is intended for students who have a thorough knowledge of college preparatory mathematics including algebra, axiomatic geometry, trigonometry, and analytic geometry. It does not assume they have acquired a background of elementary functions. This teacher's guide contains background information, suggested instructional procedures, and…

  15. The evolution of ageing : concepts, causation and calculus

    NARCIS (Netherlands)

    Wensink, Maarten Jan

    2015-01-01

    The evolution of ageing is a field flush with misconceptions, misunderstandings, and hiatuses. In this thesis I address the most important misunderstanding and misconceptions, and develop new theory to fill the gaps. This work directly leads to the restatement of the central question in the evolutio

  16. A calculus of transition systems (towards universal coalgebra)

    NARCIS (Netherlands)

    Rutten, J.J.M.M.

    1995-01-01

    By representing transition systems as coalgebras, the three main ingredients of their theory: coalgebra, homomorphism, and bisimulation, can be seen to be in a precise correspondence to the basic notions of universal algebra: Sigma-algebra, homomorphism, and substitutive relation (or congruence). In

  17. A Calculus of Circular Proofs and its Categorical Semantics

    DEFF Research Database (Denmark)

    Santocanale, Luigi

    2002-01-01

    on the structure is not available. We solve this problem by associating to each proof a system of equations - defining relations among undetermined arrows of an arbitrary category with finite products and coproducts as well as constructible initial algebras and final coalgebras - and by proving that this system...

  18. Advanced calculus problem solver

    CERN Document Server

    REA, Editors of

    2012-01-01

    Each Problem Solver is an insightful and essential study and solution guide chock-full of clear, concise problem-solving gems. All your questions can be found in one convenient source from one of the most trusted names in reference solution guides. More useful, more practical, and more informative, these study aids are the best review books and textbook companions available. Nothing remotely as comprehensive or as helpful exists in their subject anywhere. Perfect for undergraduate and graduate studies.Here in this highly useful reference is the finest overview of advanced calculus currently av

  19. Omega Model of Standard Calculus(continuous 3)

    Institute of Scientific and Technical Information of China (English)

    Huang Cheng-gui

    2004-01-01

    @@ § 2.3 Microscopic and Cosmic Introduction of Spatial Construction 2.3.1 Definitions and Examples for Indivisibles The ancient scholars Pythagoras, Democritus, Plato, Galileo, Poincare and others mentioned indivisibles many times. Refer to § 2.1, not only" the Pythagorean indefinitely small monad", but also "the Democritean indivisibles", or" (Plato) a mathematical atomism", or "the Platonists, on the contrary, attempted to develop the misleading idea of indivisibles or fixed infinitesimals".

  20. Designing rich sets of tasks for undergraduate calculus courses

    OpenAIRE

    2011-01-01

    Research has shown that the types of tasks assigned to students affect their learning. Studies have found that many mathematical tasks created for second and third level students promote instrumental rather than relational understanding, and imitative rather than creative reasoning. In this paper, we describe some frameworks that aim to guide teachers when writing tasks. From these frameworks a set of task types that are deemed appropriate for undergraduate students, and that foster mathem...

  1. Using Calculus to Model the Growth of L. Plantarum Bacteria

    Directory of Open Access Journals (Sweden)

    Erin Carey

    2009-01-01

    Full Text Available Experimental data for the growth of Lactobacillus plantarum bacteria have been obtained over time, creating the need for mathematical means to model this data. We use the Gompertz model because it is a sigmoid function for a time series, where growth is slowest at the start and end of a time period. The Gompertz model is especially useful because it defines specific parameters that characterize the S-shaped curve. In addition, the Gompertz model uses relative growth, which is the logarithm of the given population compared to the initial population. This reflects the fact that bacteria grow exponentially. The important parameters that were found were the lag time and the asymptote.

  2. Reasoning about objects using process calculus techniques

    DEFF Research Database (Denmark)

    Kleist, Josva

    This thesis investigates the applicability of techniques known from the world of process calculi to reason about properties of object-oriented programs. The investigation is performed upon a small object-oriented language - The Sigma-calculus of Abadi and Cardelli. The investigation is twofold: We...... investigate translations of Sigma-calculi into process calculi, with the idea that one should be able to show properties of Sigma-calculus program by showing properties about their translation. We present translations of two Sigma-calculi into Pi-calculi. A translation of the untyped functional Sigma-calculus...... turns out to be insufficient. Based on our experiences, we present a translation of a typed imperative Sigma-calculus, which looks promising. We are able to provide simple proofs of the equivalence of different Sigma-calculus objects using this translation. We use a labelled transition system adapted...

  3. Polynomial Invariants of Torus Knots and (p,q)-Calculus

    OpenAIRE

    Pavlyuk, Anatoliy M.

    2016-01-01

    We introduce the deformed fermionic numbers, corresponding to the skein relations, the main characteristics of knots and links. These fermionic numbers allow one to restore the skein relations. For the Alexander (Jones) skein relation we introduce corresponding Alexander (Jones) fermionic q-numbers, and for the HOMFLY skein relation - the HOMFLY deformed (p,q)-numbers with one fermionic parameter.

  4. Detection of calculus by laser-induced breakdown spectroscopy (LIBS) using an ultra-short pulse laser system (USPL)

    Science.gov (United States)

    Schelle, F.; Brede, O.; Krueger, S.; Oehme, B.; Dehn, C.; Frentzen, M.; Braun, A.

    2011-03-01

    The aim of this study was to assess the detection of calculus by Laser Induced Breakdown Spectroscopy (LIBS). The study was performed with an Nd:YVO4 laser, emitting pulses with a duration of 8 ps at a wavelength of 1064 nm. A repetition rate of 500 kHz at an average power of 5 W was used. Employing a focusing lense, intensities of the order of 1011 W/cm2 were reached on the tooth surface. These high intensities led to the generation of a plasma. The light emitted by the plasma was collimated into a fibre and then analyzed by an echelle spectroscope in the wavelength region from 220 nm - 900 nm. A total number of 15 freshly extracted teeth was used for this study. For each tooth the spectra of calculus and cementum were assessed separately. Comprising all single measurements median values were calculated for the whole spectrum, leading to two specific spectra, one for calculus and one for cementum. For further statistical analysis 28 areas of interest were defined as wavelength regions, in which the signal strength differed regarding the material. In 7 areas the intensity of the calculus spectrum differed statistically significant from the intensity of the cementum spectrum (p minimally invasive method allowing a safe application in laser-guided dentistry.

  5. Partial dissolution of struvite calculus with oral acetohydroxamic acid.

    Science.gov (United States)

    Rodman, J S; Williams, J J; Peterson, C M

    1983-10-01

    Most staghorn calculi occur in patients who have chronic urinary tract infections with urea-splitting organisms. Acetohydroxamic acid, an inhibitor of the bacterial urease enzyme, is currently undergoing clinical trials to determine whether or not it can prevent stone growth in patients at risk. We report on a patient whose stones grew while she was taking placebo and then decreased in size when she took the active drug.

  6. Sandboxing in a Distributed Pi-Calculus

    DEFF Research Database (Denmark)

    Hüttel, Hans; Kühnrich, Morten

    2006-01-01

    This paper presents an extension of the Dpi-calculus due to Hennessy and Riely with constructs for signing and authenticating code and for sandboxing. A sort system, built on Milner's sort systems for the polyadic pi-calculus, is presented and proven sound with respect to an error predicate which...

  7. Methods of calculus for neutron spectrometry in proportional counters; Metodos de calculo para espectrometria de neutrones en contadores proporcionales

    Energy Technology Data Exchange (ETDEWEB)

    Butragueno, J. L.; Blazquez, J. B.; Barrado, J. M.

    1976-07-01

    Response functions for cylindrical proportional counters with hydrogenated gases have been determined, taking in account only wall effect, by means of two independent calculus methods. One of them is a Monte Carlo application and the other one analytica at all. Results of both methods have been compared. (Author)

  8. The Effect of Graphing Calculators on Student Achievement in College Algebra and Pre-Calculus Mathematics Courses

    Science.gov (United States)

    Hatem, Neil

    2010-01-01

    This study investigates the relationship between the use of graphing calculators employed as Type II technology and student achievement, as determined by assessing students' problem solving skills associated with the concept of function, at the college algebra and pre-calculus level. In addition, this study explores the integration of graphing…

  9. PARTIAL LEAST-SQUARES REGRESSION FOR ROUTINE ANALYSIS OF URINARY CALCULUS COMPOSITION WITH FOURIER-TRANSFORM INFRARED-ANALYSIS

    NARCIS (Netherlands)

    VOLMER, M; BOLCK, A; WOLTHERS, BG; DERUITER, AJ; DOORNBOS, DA; VANDERSLIK, W

    1993-01-01

    Quantitative assessment of urinary calculus (renal stone) constituents by infrared analysis (IR) is hampered by the need of expert knowledge for spectrum interpretation. Our laboratory performed a computerized search of several libraries, containing 235 reference spectra from various mixtures with d

  10. Modeling and simulation of equivalent circuits in description of biological systems - a fractional calculus approach

    Directory of Open Access Journals (Sweden)

    José Francisco Gómez Aguilar

    2012-07-01

    Full Text Available Using the fractional calculus approach, we present the Laplace analysis of an equivalent electrical circuit for a multilayered system, which includes distributed elements of the Cole model type. The Bode graphs are obtained from the numerical simulation of the corresponding transfer functions using arbitrary electrical parameters in order to illustrate the methodology. A numerical Laplace transform is used with respect to the simulation of the fractional differential equations. From the results shown in the analysis, we obtain the formula for the equivalent electrical circuit of a simple spectrum, such as that generated by a real sample of blood tissue, and the corresponding Nyquist diagrams. In addition to maintaining consistency in adjusted electrical parameters, the advantage of using fractional differential equations in the study of the impedance spectra is made clear in the analysis used to determine a compact formula for the equivalent electrical circuit, which includes the Cole model and a simple RC model as special cases.

  11. Barrow, Leibniz and the geometrical proof of the fundamental theorem of the calculus.

    Science.gov (United States)

    Nauenberg, Michael

    2014-07-01

    In 1693, Gottfried Wilhelm Leibniz published in the Acta Eruditorum a geometrical proof of the fundamental theorem of the calculus. It is shown that this proof closely resembles Isaac Barrow's proof in Proposition 11, Lecture 10, of his Lectiones Geometricae, published in 1670. This comparison provides evidence that Leibniz gained substantial help from Barrow's book in formulating and presenting his geometrical formulation of this theorem. The analysis herein also supports the work of J. M. Child, who in 1920 studied the early manuscripts of Leibniz and concluded that he had frequently copied his diagrams from Barrow's book, but without acknowledgement. It is also shown that the diagram of Leibniz associated with his 1693 proof has often been reproduced with errors that make some aspects of his text difficult to comprehend.

  12. Calculus with a quaternionic variable

    Science.gov (United States)

    Schwartz, Charles

    2009-01-01

    Most of theoretical physics is based on the mathematics of functions of a real or a complex variable; yet we frequently are drawn in trying to extend our reach to include quaternions. The noncommutativity of the quaternion algebra poses obstacles for the usual manipulations of calculus, but we show in this paper how many of those obstacles can be overcome. The surprising result is that the first order term in the expansion of F(x +δ) is a compact formula involving both F'(x) and [F(x )-F(x∗)]/(x -x∗). This advance in the differential calculus for quaternionic variables also leads us to some progress in studying integration.

  13. From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus

    CERN Document Server

    van Bakel, Steffen; Vigliotti, Maria Grazia

    2011-01-01

    We study the Pi-calculus, enriched with pairing and non-blocking input, and define a notion of type assignment that uses the type constructor "arrow". We encode the circuits of the calculus X into this variant of Pi, and show that all reduction (cut-elimination) and assignable types are preserved. Since X enjoys the Curry-Howard isomorphism for Gentzen's calculus LK, this implies that all proofs in LK have a representation in Pi.

  14. Calculus super review

    CERN Document Server

    2012-01-01

    Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Calculus I Super Review includes a review of functions, limits, basic derivatives, the definite integral, combinations, and permutations. Take the Super Review quizzes to see how much you've learned - and where you need more study. Makes an excellent study aid and textbook companion. Great for self-study!DETAILS- From cover to cover, each in-depth topic review is easy-to-follow and easy-to-grasp - Perfect when preparing for

  15. Elementary calculus an infinitesimal approach

    CERN Document Server

    Keisler, H Jerome

    2012-01-01

    This first-year calculus book is centered around the use of infinitesimals, an approach largely neglected until recently for reasons of mathematical rigor. It exposes students to the intuition that originally led to the calculus, simplifying their grasp of the central concepts of derivatives and integrals. The author also teaches the traditional approach, giving students the benefits of both methods.Chapters 1 through 4 employ infinitesimals to quickly develop the basic concepts of derivatives, continuity, and integrals. Chapter 5 introduces the traditional limit concept, using approximation p

  16. Essential AOP: The A Calculus

    DEFF Research Database (Denmark)

    De Fraine, Bruno; Ernst, Erik; Südholt, Mario

    2012-01-01

    Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification with a calculus that models essential AOP, both simpler and more general than existing formalizations. In AOP, advice may intercept......-oriented code. Two well-known pointcut categories, call and execution, are commonly considered similar.We formally expose their differences, and resolve the associated soundness problem. Our calculus includes type ranges, an intuitive and concise alternative to explicit type variables that allows advice...... to be polymorphic over intercepted methods. We use calculus parameters to cover type safety for a wide design space of other features. Type soundness is verified in Coq....

  17. A BRUTUS Logic for a Spi-Calculus Dialect

    NARCIS (Netherlands)

    Gnesi, S.; Latella, D.; Lenzini, G.

    2000-01-01

    In the field of process algebras, the spi-calculus, a modified version of the π-calculus with encryption primitives, is indicated as an expressive specification language for cryptographic protocols. In spi-calculus basic security properties, such as secrecy and integrity can be formalized as may-tes

  18. Computer Managed Instruction Homework Modules for Calculus I.

    Science.gov (United States)

    Goodman-Petrushka, Sharon; Roitberg, Yael

    This booklet contains 11 modules (290 multiple-choice items) designed for use in the first course of a three-course calculus sequence using the textbook "Calculus with Analytic Geometry" (Dennis G. Zill). In each module, relevant sections of the textbook are identified for users. It can, however, be used in conjunction with any calculus textbook.…

  19. Sequent Calculus and Equational Programming

    Directory of Open Access Journals (Sweden)

    Nicolas Guenot

    2015-07-01

    Full Text Available Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We show here that the equational approach corresponds to the use of a focused presentation of a type theory expressed as a sequent calculus. A typed functional language is presented, based on a sequent calculus, that we relate to the syntax and internal language of Agda. In particular, we discuss the use of patterns and case splittings, as well as rules implementing inductive reasoning and dependent products and sums.

  20. Calculus and analysis in Euclidean space

    CERN Document Server

    Shurman, Jerry

    2016-01-01

    The graceful role of analysis in underpinning calculus is often lost to their separation in the curriculum. This book entwines the two subjects, providing a conceptual approach to multivariable calculus closely supported by the structure and reasoning of analysis. The setting is Euclidean space, with the material on differentiation culminating in the inverse and implicit function theorems, and the material on integration culminating in the general fundamental theorem of integral calculus. More in-depth than most calculus books but less technical than a typical analysis introduction, Calculus and Analysis in Euclidean Space offers a rich blend of content to students outside the traditional mathematics major, while also providing transitional preparation for those who will continue on in the subject. The writing in this book aims to convey the intent of ideas early in discussion. The narrative proceeds through figures, formulas, and text, guiding the reader to do mathematics resourcefully by marshaling the skil...

  1. Enriching an effect calculus with linear types

    DEFF Research Database (Denmark)

    Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex

    2009-01-01

    We define an ``enriched effect calculus'' by conservatively extending  a type theory for computational effects with primitives from linear logic. By doing so, we obtain a generalisation of linear type theory, intended as a formalism for expressing linear aspects of effects. As a worked example, we...... formulate  linearly-used continuations in the enriched effect calculus. These are captured by a fundamental translation of the enriched effect calculus into itself, which extends existing call-by-value and call-by-name linearly-used CPS translations. We show that our translation is involutive. Full...... completeness results for the various linearly-used CPS translations  follow. Our main results, the conservativity of enriching the effect calculus with linear primitives, and the involution property of the fundamental translation, are proved using a category-theoretic semantics for the enriched effect calculus...

  2. Science 101: How Do We Use Calculus in Science?

    Science.gov (United States)

    Robertson, Bill

    2014-01-01

    How is calculus used in science? That might seem like an odd question to answer in a magazine intended primarily for elementary school teachers. After all, how much calculus gets used in elementary science? Here the author guesses that quite a few readers of this column do not know a whole lot about calculus and have not taken a course in…

  3. A Calculus for Trust Management

    DEFF Research Database (Denmark)

    Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro

    2004-01-01

    We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its legal behaviour, and with a protocol, which allows interactions between principals and the flow of information from...... principals to policies. We elect to formalise policies using a Datalog-like logic, and to express protocols in the process algebra style. This yields an expressive calculus very suitable for the global computing scenarios, and provides a formalisation of notions such as trust evolution. For ctm we define...

  4. Giant intravesical calculus during pregnancy.

    Science.gov (United States)

    Escobar-del Barco, Laura; Rodriguez-Colorado, Silvia; Dueñas-Garcia, Omar Felipe; Avilez-Cevasco, Juan Carlos

    2008-10-01

    Urolithiasis is commonly found during pregnancy; but the presence of a giant vesical calculus during pregnancy is a very rare entity, associated with several potential obstetric complications. A 25-year-old primigravida at 25 weeks of gestational age was referred to our tertiary care unit because she presented a giant hyperechoic intravesical mass and inability to pass urine with suprapubic pain since 2 days. An open cystolithotomy revealed a huge intravesical calculus. The patient continued with her pregnancy until full term without adverse perinatal outcomes.

  5. Taiwan’s Security Calculus of Cross-­Strait Migration

    Directory of Open Access Journals (Sweden)

    Ching Chang

    2015-08-01

    Full Text Available Migration across the Taiwan Strait is relatively insignificant by its scale but it is indeed indisputably politically sensitive. Given the long-term political separation and military rivalry across the Taiwan Strait in the past six decades while both sides of the Taiwan Strait nevertheless intensively engaged each other economically, commercially and culturally, a social trend of cross-Strait migration inevitably results. There are various interpretations on such a demographic development which has raised security concerns, which are in turn creating a biased judiciary arrangement on the migration activities. What are the factors behind the security calculus of cross-Strait migration? How can the security calculus justify its arguments and subsequently maintain unequal treatments with respect to cross-Strait immigrants? Are the rationales for maintaining a tight grip on cross-Strait migration in line with the political ideal proclaimed by the political factions in Taiwan still sensible? What is the potential for the trend of cross-Strait migration affecting the security calculus in the future? On the other hand, for the migration from Taiwan to Mainland China, how influential can it be on the security decision-making process of the Beijing leadership? Is there any impact possibly caused by cross-Strait migration – and is it essentially overstated? Or alternatively, is the overstated influence potentially caused by cross-Strait migration an intentionally staged political myth? What are the substantial impacts actually ever achieved by cross-Strait migration on the security dimension? What is the self-fulfilled conviction of cross-Strait migration? For all the inquiries noted above, the author of this paper would like to scrutinize the truth and separate it from numerous myths ever advocated by the different factions in Taiwan politics. A sound and neutral judgment to tell the exact influences likely enacted by cross-Strait migration would

  6. Individualized additional instruction for calculus

    Science.gov (United States)

    Takata, Ken

    2010-10-01

    College students enrolling in the calculus sequence have a wide variance in their preparation and abilities, yet they are usually taught from the same lecture. We describe another pedagogical model of Individualized Additional Instruction (IAI) that assesses each student frequently and prescribes further instruction and homework based on the student's performance. Our study compares two calculus classes, one taught with mandatory remedial IAI and the other without. The class with mandatory remedial IAI did significantly better on comprehensive multiple-choice exams, participated more frequently in classroom discussion and showed greater interest in theorem-proving and other advanced topics.

  7. The calculus lifesaver all the tools you need to excel at calculus

    CERN Document Server

    Banner, Adrian

    2009-01-01

    For many students, calculus can be the most mystifying and frustrating course they will ever take. The Calculus Lifesaver provides students with the essential tools they need not only to learn calculus, but to excel at it. All of the material in this user-friendly study guide has been proven to get results. The book arose from Adrian Banner's popular calculus review course at Princeton University, which he developed especially for students who are motivated to earn A's but get only average grades on exams. The complete course will be available for free on the Web in a series of

  8. Secondary Vesical Calculus Resulting from Migration of an Intrauterine Contraceptive Device

    Directory of Open Access Journals (Sweden)

    Suvarna Vagholkar

    2012-01-01

    Full Text Available Intrauterine contraceptive device (IUCD is the commonest form of contraception used in view of less systemic side effects. However, there are a multitude of local complications caused by it. Of all the local complications described, migration of the device into adjacent organs is the most morbid of all complications. A patient presenting with history of loss or disappearance of the intrauterine contraceptive device accompanied by urinary symptoms should raise the doubt of a migrated device with the formation of a secondary calculus. This prompts further radiological investigations and merits surgical intervention either endourologically or by open surgery depending upon the merits of the case. A case report elucidating this fact is presented.

  9. Theoretical study of the frequency shift in bimodal FM-AFM by fractional calculus

    Directory of Open Access Journals (Sweden)

    Elena T. Herruzo

    2012-03-01

    Full Text Available Bimodal atomic force microscopy is a force-microscopy method that requires the simultaneous excitation of two eigenmodes of the cantilever. This method enables the simultaneous recording of several material properties and, at the same time, it also increases the sensitivity of the microscope. Here we apply fractional calculus to express the frequency shift of the second eigenmode in terms of the fractional derivative of the interaction force. We show that this approximation is valid for situations in which the amplitude of the first mode is larger than the length of scale of the force, corresponding to the most common experimental case. We also show that this approximation is valid for very different types of tip–surface forces such as the Lennard-Jones and Derjaguin–Muller–Toporov forces.

  10. Performance analysis of time triggered communication bus based on network calculus

    Science.gov (United States)

    Sun, Jiandong; Ma, Lianchuan; Cao, Yuan; Mu, Jiancheng

    2017-03-01

    The time triggered mechanism is the activity of incentive system in the scheduled time. Each node of the time-triggered communication bus knows when the data information can be transmitted, so the behavior of communication nodes is determined and predictable. This feature is very suitable for appling in the industry field of high safety requirement. According to EN50159 standard for railway signal system security related communication, this paper analyzes the reliability of the physical layer of communication bus, and uses the network calculus method to establish the arrival curve model and service curve model which quantitatively calculate the time delay characteristic of time trigger bus to determine the number of retransmissions of data communications. The time-triggered communication bus is proved that it can meet the security requirements of the railway signal transmission system.

  11. Common aspects of q-deformed Lie algebras and fractional calculus

    CERN Document Server

    Herrmann, Richard

    2010-01-01

    Fractional calculus and q-deformed Lie algebras are closely related. Both concepts expand the scope of standard Lie algebras to describe generalized symmetries. A new class of fractional q-deformed Lie algebras is proposed, which for the first time allows a smooth transition between different Lie algebras. For the fractional harmonic oscillator, the corresponding fractional q-number is derived. It is shown, that the resulting energy spectrum is an appropriate tool to describe e.g. the ground state spectra of even-even nuclei. In addition, the equivalence of rotational and vibrational spectra for fractional q-deformed Lie algebras is shown and the $B_\\alpha(E2)$ values for the fractional q-deformed symmetric rotor are calculated. A first interpretation of half integer representations of the fractional rotation group is given in terms of a description of $K=1/2^-$ band spectra of odd-even nuclei.

  12. The Calculus Concept Readiness (CCR) Instrument: Assessing Student Readiness for Calculus

    CERN Document Server

    Carlson, Marilyn; West, Richard

    2010-01-01

    The Calculus Concept Readiness (CCR) instrument is based on the broad body of mathematics education research that has revealed major understandings, representational abilities, and reasoning abilities students need to construct in precalculus level courses to be successful in calculus. The CCR is a 25-item multiple-choice instrument, and the CCR taxonomy articulates what the CCR assesses. The methodology used to develop and validate the CCR is described and illustrated. Results from administering the CCR as a readiness examination in calculus are provided along with data to guide others in using the CCR as a readiness examination for beginning calculus.

  13. To explore the concept teaching of calculus%探索微积分的概念教学

    Institute of Scientific and Technical Information of China (English)

    杨瑜

    2013-01-01

    微积分作为高等数学教学内容的重要组成,其已经得到了广大教师以及学生的高度重视。由于微积分的教学内容往往给人抽象、枯燥之感,学生在学习过程中常常感到头痛。然而,微积分的教学对培养学生的逻辑思维能力以及数形结合思想非常有利,所以,教师在教学过程中,要积极采取各类有效的教学措施,帮助学生提高微积分的学习效果。本文重点探索高等数学中微积分的概念教学。希望能够有助于学生思维能力的提升。%calculus as a crucial part of advanced mathematics teaching, it has got great attention from teachers and students. Because of the teaching content of calculus often gives people the abstract, boring, students often feel headache in the learning process. However, the calculus teaching is very good to train students' ability of logical thinking, teachers should take all kinds of effective teaching measures actively in the teaching process, help the students improve the learning effect of calculus. This paper explores the concept of calculus in higher mathematics teaching. The hope can be helpful to the students' thinking ability.

  14. Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments

    CERN Document Server

    Calcagno, Cristina; Damiani, Ferruccio; Drocco, Maurizio; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo; 10.4204/EPTCS.67.3

    2011-01-01

    Arbuscular mycorrhiza (AM) is the most wide-spread plant-fungus symbiosis on earth. Investigating this kind of symbiosis is considered one of the most promising ways to develop methods to nurture plants in more natural manners, avoiding the complex chemical productions used nowadays to produce artificial fertilizers. In previous work we used the Calculus of Wrapped Compartments (CWC) to investigate different phases of the AM symbiosis. In this paper, we continue this line of research by modelling the colonisation of the plant root cells by the fungal hyphae spreading in the soil. This study requires the description of some spatial interaction. Although CWC has no explicit feature modelling a spatial geometry, the compartment labelling feature can be effectively exploited to define a discrete surface topology outlining the relevant sectors which determine the spatial properties of the system under consideration. Different situations and interesting spatial properties can be modelled and analysed in such a ligh...

  15. A study on the evolution of a community population by cumulative and fractional calculus approaches

    CERN Document Server

    Buyukkılıç, F; Demirhan, D

    2016-01-01

    Nowadays, in our globalized world,the local and intercountry movements of population have been increased. This situation makes it important for host countries to do right predictions for the future population of their native people as well as immigrant people. The knowledge of the attained number of accumulated population is necessary for future planning, concerning to education,health, job, housing, safety requirements, etc. In this work, for updating historically well known formulas of population dynamics of a community are revisited in the framework of compound growth and fractional calculus to get more realistic relations. Within this context, for a time t, the population evolution of a society which owns two different components is calculated. Concomitant relations have been developed to provide a comparison between the native population and the immigrant population that come into existence where at each time interval a colonial population is joined. Eventually at time t, the case where the native popula...

  16. Unifying proof methodologies of duration calculus and timed linear temporal logic

    DEFF Research Database (Denmark)

    Liu, Zhiming; Ravn, Anders P.; Li, Xioshan

    2004-01-01

    Linear Temporal Logic (LTL) has been widely used for specification and verification of reactive systems. Its standard model is sequences of states (or state transitions), and formulas describe sequencing of state transitions. When LTL is used to model real-time systems, a state is extended...... with a time stamp to record when a state transition takes place. Duration Calculus (DC), a dense time interval logic, is another well studied approach for real-time systems development. DC models behaviours of a system by functions from the domain of reals representing time to the system states...... to the basic DC allows us to unify the methods from DC and LTL for formal real-time systems development: Requirements and high level design decisions are interval properties and are therefore specified and reasoned about in DC, while properties of an implementation, as well as the refinement relation between...

  17. EARLINET Single Calculus Chain - technical - Part 1: Pre-processing of raw lidar data

    Science.gov (United States)

    D'Amico, Giuseppe; Amodeo, Aldo; Mattis, Ina; Freudenthaler, Volker; Pappalardo, Gelsomina

    2016-02-01

    In this paper we describe an automatic tool for the pre-processing of aerosol lidar data called ELPP (EARLINET Lidar Pre-Processor). It is one of two calculus modules of the EARLINET Single Calculus Chain (SCC), the automatic tool for the analysis of EARLINET data. ELPP is an open source module that executes instrumental corrections and data handling of the raw lidar signals, making the lidar data ready to be processed by the optical retrieval algorithms. According to the specific lidar configuration, ELPP automatically performs dead-time correction, atmospheric and electronic background subtraction, gluing of lidar signals, and trigger-delay correction. Moreover, the signal-to-noise ratio of the pre-processed signals can be improved by means of configurable time integration of the raw signals and/or spatial smoothing. ELPP delivers the statistical uncertainties of the final products by means of error propagation or Monte Carlo simulations. During the development of ELPP, particular attention has been payed to make the tool flexible enough to handle all lidar configurations currently used within the EARLINET community. Moreover, it has been designed in a modular way to allow an easy extension to lidar configurations not yet implemented. The primary goal of ELPP is to enable the application of quality-assured procedures in the lidar data analysis starting from the raw lidar data. This provides the added value of full traceability of each delivered lidar product. Several tests have been performed to check the proper functioning of ELPP. The whole SCC has been tested with the same synthetic data sets, which were used for the EARLINET algorithm inter-comparison exercise. ELPP has been successfully employed for the automatic near-real-time pre-processing of the raw lidar data measured during several EARLINET inter-comparison campaigns as well as during intense field campaigns.

  18. EARLINET Single Calculus Chain – technical – Part 1: Pre-processing of raw lidar data

    Directory of Open Access Journals (Sweden)

    G. D'Amico

    2015-10-01

    Full Text Available In this paper we describe an automatic tool for the pre-processing of lidar data called ELPP (EARLINET Lidar Pre-Processor. It is one of two calculus modules of the EARLINET Single Calculus Chain (SCC, the automatic tool for the analysis of EARLINET data. The ELPP is an open source module that executes instrumental corrections and data handling of the raw lidar signals, making the lidar data ready to be processed by the optical retrieval algorithms. According to the specific lidar configuration, the ELPP automatically performs dead-time correction, atmospheric and electronic background subtraction, gluing of lidar signals, and trigger-delay correction. Moreover, the signal-to-noise ratio of the pre-processed signals can be improved by means of configurable time integration of the raw signals and/or spatial smoothing. The ELPP delivers the statistical uncertainties of the final products by means of error propagation or Monte Carlo simulations. During the development of the ELPP module, particular attention has been payed to make the tool flexible enough to handle all lidar configurations currently used within the EARLINET community. Moreover, it has been designed in a modular way to allow an easy extension to lidar configurations not yet implemented. The primary goal of the ELPP module is to enable the application of quality-assured procedures in the lidar data analysis starting from the raw lidar data. This provides the added value of full traceability of each delivered lidar product. Several tests have been performed to check the proper functioning of the ELPP module. The whole SCC has been tested with the same synthetic data sets, which were used for the EARLINET algorithm inter-comparison exercise. The ELPP module has been successfully employed for the automatic near-real-time pre-processing of the raw lidar data measured during several EARLINET inter-comparison campaigns as well as during intense field campaigns.

  19. The conceptual basis of mathematics in cardiology: (II). Calculus and differential equations.

    Science.gov (United States)

    Bates, Jason H T; Sobel, Burton E

    2003-04-01

    This is the second in a series of four articles developed for the readers of Coronary Artery Disease. Without language ideas cannot be articulated. What may not be so immediately obvious is that they cannot be formulated either. One of the essential languages of cardiology is mathematics. Unfortunately, medical education does not emphasize, and in fact, often neglects empowering physicians to think mathematically. Reference to statistics, conditional probability, multicompartmental modeling, algebra, calculus and transforms is common but often without provision of genuine conceptual understanding. At the University of Vermont College of Medicine, Professor Bates developed a course designed to address these deficiencies. The course covered mathematical principles pertinent to clinical cardiovascular and pulmonary medicine and research. It focused on fundamental concepts to facilitate formulation and grasp of ideas. This series of four articles was developed to make the material available for a wider audience. The articles will be published sequentially in Coronary Artery Disease. Beginning with fundamental axioms and basic algebraic manipulations they address algebra, function and graph theory, real and complex numbers, calculus and differential equations, mathematical modeling, linear system theory and integral transforms and statistical theory. The principles and concepts they address provide the foundation needed for in-depth study of any of these topics. Perhaps of even more importance, they should empower cardiologists and cardiovascular researchers to utilize the language of mathematics in assessing the phenomena of immediate pertinence to diagnosis, pathophysiology and therapeutics. The presentations are interposed with queries (by Coronary Artery Disease abbreviated as CAD) simulating the nature of interactions that occurred during the course itself. Each article concludes with one or more examples illustrating application of the concepts covered to

  20. PyDEC: Software and Algorithms for Discretization of Exterior Calculus

    CERN Document Server

    Bell, Nathan

    2011-01-01

    This paper describes the algorithms, features and implementation of PyDEC, a Python library for computations related to the Discretization of Exterior Calculus (DEC). PyDEC facilitates inquiry into both physical problems on manifolds as well as purely topological problems on abstract complexes. We describe efficient algorithms for constructing the operators and objects that arise in DEC and related topological problems. Our algorithms are formulated in terms of high-level matrix operations which extend to arbitrary dimension. As a result, our implementations map well to the facilities of numerical libraries such as NumPy and SciPy. The availability of such libraries makes Python suitable for prototyping numerical methods. We demonstrate how PyDEC is used to solve physical and topological problems through several concise examples.