The fermion stochastic calculus I

International Nuclear Information System (INIS)

Streater, R.F.

1984-01-01

The author describes the stochastic calculus of quantum processes with fermions. After a description of the Clifford algebra as the csup(*)-algebra generated by spinor fields the damped harmonic oscillator with quantum noise is considered as example. Then the Clifford process is described. Finally the Ito-Clifford integral and the Ito-Clifford isometry are presented. (HSI)

Stochastic calculus and applications

CERN Document Server

Cohen, Samuel N

2015-01-01

Completely revised and greatly expanded, the new edition of this text takes readers who have been exposed to only basic courses in analysis through the modern general theory of random processes and stochastic integrals as used by systems theorists, electronic engineers and, more recently, those working in quantitative and mathematical finance. Building upon the original release of this title, this text will be of great interest to research mathematicians and graduate students working in those fields, as well as quants in the finance industry. New features of this edition include: End of chapter exercises; New chapters on basic measure theory and Backward SDEs; Reworked proofs, examples and explanatory material; Increased focus on motivating the mathematics; Extensive topical index. "Such a self-contained and complete exposition of stochastic calculus and applications fills an existing gap in the literature. The book can be recommended for first-year graduate studies. It will be useful for all who intend to wo...

Absolute continuity under time shift of trajectories and related stochastic calculus

CERN Document Server

Löbus, Jörg-Uwe

2017-01-01

The text is concerned with a class of two-sided stochastic processes of the form X=W+A. Here W is a two-sided Brownian motion with random initial data at time zero and A\\equiv A(W) is a function of W. Elements of the related stochastic calculus are introduced. In particular, the calculus is adjusted to the case when A is a jump process. Absolute continuity of (X,P) under time shift of trajectories is investigated. For example under various conditions on the initial density with respect to the Lebesgue measure, m, and on A with A_0=0 we verify \\frac{P(dX_{\\cdot -t})}{P(dX_\\cdot)}=\\frac{m(X_{-t})}{m(X_0)}\\cdot \\prod_i\\left|\

Approximate controllability of Sobolev type fractional stochastic nonlocal nonlinear differential equations in Hilbert spaces

Directory of Open Access Journals (Sweden)

Mourad Kerboua

2014-12-01

Full Text Available We introduce a new notion called fractional stochastic nonlocal condition, and then we study approximate controllability of class of fractional stochastic nonlinear differential equations of Sobolev type in Hilbert spaces. We use Hölder's inequality, fixed point technique, fractional calculus, stochastic analysis and methods adopted directly from deterministic control problems for the main results. A new set of sufficient conditions is formulated and proved for the fractional stochastic control system to be approximately controllable. An example is given to illustrate the abstract results.

White noise calculus and Fock space

CERN Document Server

Obata, Nobuaki

1994-01-01

White Noise Calculus is a distribution theory on Gaussian space, proposed by T. Hida in 1975. This approach enables us to use pointwise defined creation and annihilation operators as well as the well-established theory of nuclear space.This self-contained monograph presents, for the first time, a systematic introduction to operator theory on fock space by means of white noise calculus. The goal is a comprehensive account of general expansion theory of Fock space operators and its applications. In particular,first order differential operators, Laplacians, rotation group, Fourier transform and their interrelations are discussed in detail w.r.t. harmonic analysis on Gaussian space. The mathematical formalism used here is based on distribution theory and functional analysis , prior knowledge of white noise calculus is not required.

Continuous strong Markov processes in dimension one a stochastic calculus approach

CERN Document Server

Assing, Sigurd

1998-01-01

The book presents an in-depth study of arbitrary one-dimensional continuous strong Markov processes using methods of stochastic calculus. Departing from the classical approaches, a unified investigation of regular as well as arbitrary non-regular diffusions is provided. A general construction method for such processes, based on a generalization of the concept of a perfect additive functional, is developed. The intrinsic decomposition of a continuous strong Markov semimartingale is discovered. The book also investigates relations to stochastic differential equations and fundamental examples of irregular diffusions.

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

Elements of stochastic calculus and analysis

CERN Document Server

Stroock, Daniel W

2018-01-01

This book gives a somewhat unconventional introduction to stochastic analysis. Although most of the material covered here has appeared in other places, this book attempts to explain the core ideas on which that material is based. As a consequence, the presentation is more an extended mathematical essay than a ``definition, lemma, theorem'' text. In addition, it includes several topics that are not usually treated elsewhere. For example, Wiener's theory of homogeneous chaos is discussed, Stratovich integration is given a novel development and applied to derive Wong and Zakai's approximation theorem, and examples are given of the application of Malliavin's calculus to partial differential equations. Each chapter concludes with several exercises, some of which are quite challenging. The book is intended for use by advanced graduate students and research mathematicians who may be familiar with many of the topics but want to broaden their understanding of them.

Stochastic analysis for Poisson point processes Malliavin calculus, Wiener-Itô chaos expansions and stochastic geometry

CERN Document Server

Peccati, Giovanni

2016-01-01

Stochastic geometry is the branch of mathematics that studies geometric structures associated with random configurations, such as random graphs, tilings and mosaics. Due to its close ties with stereology and spatial statistics, the results in this area are relevant for a large number of important applications, e.g. to the mathematical modeling and statistical analysis of telecommunication networks, geostatistics and image analysis. In recent years – due mainly to the impetus of the authors and their collaborators – a powerful connection has been established between stochastic geometry and the Malliavin calculus of variations, which is a collection of probabilistic techniques based on the properties of infinite-dimensional differential operators. This has led in particular to the discovery of a large number of new quantitative limit theorems for high-dimensional geometric objects. This unique book presents an organic collection of authoritative surveys written by the principal actors in this rapidly evolvi...

A phenomenological calculus of Wiener description space.

Science.gov (United States)

Richardson, I W; Louie, A H

2007-10-01

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

Differential calculus in normed linear spaces

CERN Document Server

Mukherjea, Kalyan

2007-01-01

This book presents Advanced Calculus from a geometric point of view: instead of dealing with partial derivatives of functions of several variables, the derivative of the function is treated as a linear transformation between normed linear spaces. Not only does this lead to a simplified and transparent exposition of "difficult" results like the Inverse and Implicit Function Theorems but also permits, without any extra effort, a discussion of the Differential Calculus of functions defined on infinite dimensional Hilbert or Banach spaces.The prerequisites demanded of the reader are modest: a sound understanding of convergence of sequences and series of real numbers, the continuity and differentiability properties of functions of a real variable and a little Linear Algebra should provide adequate background for understanding the book. The first two chapters cover much of the more advanced background material on Linear Algebra (like dual spaces, multilinear functions and tensor products.) Chapter 3 gives an ab ini...

Stochastic Analysis and Related Topics

CERN Document Server

Ustunel, Ali

1988-01-01

The Silvri Workshop was divided into a short summer school and a working conference, producing lectures and research papers on recent developments in stochastic analysis on Wiener space. The topics treated in the lectures relate to the Malliavin calculus, the Skorohod integral and nonlinear functionals of white noise. Most of the research papers are applications of these subjects. This volume addresses researchers and graduate students in stochastic processes and theoretical physics.

Flows and stochastic Taylor series in Itô calculus

Science.gov (United States)

Ebrahimi-Fard, Kurusch; Malham, Simon J. A.; Patras, Frédéric; Wiese, Anke

2015-12-01

For general stochastic systems driven by continuous semimartingales an explicit formula for the logarithm of the Itô flow map is given. The computation relies on the lift to quasi-shuffle algebras of formulas involving products of Itô integrals of semimartingales. Whereas the Chen-Strichartz formula computing the logarithm of the Stratonovich flow map is classically expanded as a formal sum indexed by permutations, the analogous formula in Itô calculus is naturally indexed by surjections. This reflects the change of algebraic background involved in the transition between the two integration theories. Lastly, we extend our formula for the quasi-shuffle Chen-Strichartz series for the logarithm of the flow map to the non-commutative case. For linear matrix-valued SDEs driven by arbitrary semimartingales we obtain a similar formula.

Space-time-modulated stochastic processes

Science.gov (United States)

Giona, Massimiliano

2017-10-01

Starting from the physical problem associated with the Lorentzian transformation of a Poisson-Kac process in inertial frames, the concept of space-time-modulated stochastic processes is introduced for processes possessing finite propagation velocity. This class of stochastic processes provides a two-way coupling between the stochastic perturbation acting on a physical observable and the evolution of the physical observable itself, which in turn influences the statistical properties of the stochastic perturbation during its evolution. The definition of space-time-modulated processes requires the introduction of two functions: a nonlinear amplitude modulation, controlling the intensity of the stochastic perturbation, and a time-horizon function, which modulates its statistical properties, providing irreducible feedback between the stochastic perturbation and the physical observable influenced by it. The latter property is the peculiar fingerprint of this class of models that makes them suitable for extension to generic curved-space times. Considering Poisson-Kac processes as prototypical examples of stochastic processes possessing finite propagation velocity, the balance equations for the probability density functions associated with their space-time modulations are derived. Several examples highlighting the peculiarities of space-time-modulated processes are thoroughly analyzed.

Differential form representation of stochastic electromagnetic fields

Science.gov (United States)

Haider, Michael; Russer, Johannes A.

2017-09-01

In this work, we revisit the theory of stochastic electromagnetic fields using exterior differential forms. We present a short overview as well as a brief introduction to the application of differential forms in electromagnetic theory. Within the framework of exterior calculus we derive equations for the second order moments, describing stochastic electromagnetic fields. Since the resulting objects are continuous quantities in space, a discretization scheme based on the Method of Moments (MoM) is introduced for numerical treatment. The MoM is applied in such a way, that the notation of exterior calculus is maintained while we still arrive at the same set of algebraic equations as obtained for the case of formulating the theory using the traditional notation of vector calculus. We conclude with an analytic calculation of the radiated electric field of two Hertzian dipole, excited by uncorrelated random currents.

Stochastic quantization of gravity and string fields

International Nuclear Information System (INIS)

Rumpf, H.

1986-01-01

The stochastic quantization method of Parisi and Wu is generalized so as to make it applicable to Einstein's theory of gravitation. The generalization is based on the existence of a preferred metric in field configuration space, involves Ito's calculus, and introduces a complex stochastic process adapted to Lorentzian spacetime. It implies formally the path integral measure of DeWitt, a causual Feynman propagator, and a consistent stochastic perturbation theory. The lineraized version of the theory is also obtained from the stochastic quantization of the free string field theory of Siegel and Zwiebach. (Author)

Differential form representation of stochastic electromagnetic fields

Directory of Open Access Journals (Sweden)

M. Haider

2017-09-01

Full Text Available In this work, we revisit the theory of stochastic electromagnetic fields using exterior differential forms. We present a short overview as well as a brief introduction to the application of differential forms in electromagnetic theory. Within the framework of exterior calculus we derive equations for the second order moments, describing stochastic electromagnetic fields. Since the resulting objects are continuous quantities in space, a discretization scheme based on the Method of Moments (MoM is introduced for numerical treatment. The MoM is applied in such a way, that the notation of exterior calculus is maintained while we still arrive at the same set of algebraic equations as obtained for the case of formulating the theory using the traditional notation of vector calculus. We conclude with an analytic calculation of the radiated electric field of two Hertzian dipole, excited by uncorrelated random currents.

Stochastic differential calculus for Gaussian and non-Gaussian noises: A critical review

Science.gov (United States)

Falsone, G.

2018-03-01

In this paper a review of the literature works devoted to the study of stochastic differential equations (SDEs) subjected to Gaussian and non-Gaussian white noises and to fractional Brownian noises is given. In these cases, particular attention must be paid in treating the SDEs because the classical rules of the differential calculus, as the Newton-Leibnitz one, cannot be applied or are applicable with many difficulties. Here all the principal approaches solving the SDEs are reported for any kind of noise, highlighting the negative and positive properties of each one and making the comparisons, where it is possible.

Fock space representation of differential calculus on the noncommutative quantum space

International Nuclear Information System (INIS)

Mishra, A.K.; Rajasekaran, G.

1997-01-01

A complete Fock space representation of the covariant differential calculus on quantum space is constructed. The consistency criteria for the ensuing algebraic structure, mapping to the canonical fermions and bosons and the consequences of the new algebra for the statistics of quanta are analyzed and discussed. The concept of statistical transmutation between bosons and fermions is introduced. copyright 1997 American Institute of Physics

Stochastic calculus for uncoupled continuous-time random walks.

Science.gov (United States)

Germano, Guido; Politi, Mauro; Scalas, Enrico; Schilling, René L

2009-06-01

The continuous-time random walk (CTRW) is a pure-jump stochastic process with several applications not only in physics but also in insurance, finance, and economics. A definition is given for a class of stochastic integrals driven by a CTRW, which includes the Itō and Stratonovich cases. An uncoupled CTRW with zero-mean jumps is a martingale. It is proved that, as a consequence of the martingale transform theorem, if the CTRW is a martingale, the Itō integral is a martingale too. It is shown how the definition of the stochastic integrals can be used to easily compute them by Monte Carlo simulation. The relations between a CTRW, its quadratic variation, its Stratonovich integral, and its Itō integral are highlighted by numerical calculations when the jumps in space of the CTRW have a symmetric Lévy alpha -stable distribution and its waiting times have a one-parameter Mittag-Leffler distribution. Remarkably, these distributions have fat tails and an unbounded quadratic variation. In the diffusive limit of vanishing scale parameters, the probability density of this kind of CTRW satisfies the space-time fractional diffusion equation (FDE) or more in general the fractional Fokker-Planck equation, which generalizes the standard diffusion equation, solved by the probability density of the Wiener process, and thus provides a phenomenologic model of anomalous diffusion. We also provide an analytic expression for the quadratic variation of the stochastic process described by the FDE and check it by Monte Carlo.

SOq(N) covariant differential calculus on quantum space and quantum deformation of Schroedinger equation

International Nuclear Information System (INIS)

Carow-Watamura, U.; Schlieker, M.; Watamura, S.

1991-01-01

We construct a differential calculus on the N-dimensional non-commutative Euclidean space, i.e., the space on which the quantum group SO q (N) is acting. The differential calculus is required to be manifestly covariant under SO q (N) transformations. Using this calculus, we consider the Schroedinger equation corresponding to the harmonic oscillator in the limit of q→1. The solution of it is given by q-deformed functions. (orig.)

Vector calculus in non-integer dimensional space and its applications to fractal media

Science.gov (United States)

Tarasov, Vasily E.

2015-02-01

We suggest a generalization of vector calculus for the case of non-integer dimensional space. The first and second orders operations such as gradient, divergence, the scalar and vector Laplace operators for non-integer dimensional space are defined. For simplification we consider scalar and vector fields that are independent of angles. We formulate a generalization of vector calculus for rotationally covariant scalar and vector functions. This generalization allows us to describe fractal media and materials in the framework of continuum models with non-integer dimensional space. As examples of application of the suggested calculus, we consider elasticity of fractal materials (fractal hollow ball and fractal cylindrical pipe with pressure inside and outside), steady distribution of heat in fractal media, electric field of fractal charged cylinder. We solve the correspondent equations for non-integer dimensional space models.

Stochastic quantization of general relativity

International Nuclear Information System (INIS)

Rumpf, H.

1986-01-01

Following an elementary exposition of the basic mathematical concepts used in the theory of stochastic relaxation processes the stochastic quantization method of Parisi and Wu is briefly reviewed. The method is applied to Einstein's theory of gravitation using a formalism that is manifestly covariant with respect to field redefinitions. This requires the adoption of Ito's calculus and the introduction of a metric in field configuration space, for which there is a unique candidate. Due to the indefiniteness of the Euclidean Einstein-Hilbert action stochastic quantization is generalized to the pseudo-Riemannian case. It is formally shown to imply the DeWitt path integral measure. Finally a new type of perturbation theory is developed. (Author)

Quantum Stratonovich calculus and the quantum Wong-Zakai theorem

International Nuclear Information System (INIS)

Gough, John

2006-01-01

We extend the Ito(bar sign)-to-Stratonovich analysis or quantum stochastic differential equations, introduced by Gardiner and Collett for emission (creation), absorption (annihilation) processes, to include scattering (conservation) processes. Working within the framework of quantum stochastic calculus, we define Stratonovich calculus as an algebraic modification of the Ito(bar sign) one and give conditions for the existence of Stratonovich time-ordered exponentials. We show that conversion formula for the coefficients has a striking resemblance to Green's function formulas from standard perturbation theory. We show that the calculus conveniently describes the Markov limit of regular open quantum dynamical systems in much the same way as in the Wong-Zakai approximation theorems of classical stochastic analysis. We extend previous limit results to multiple-dimensions with a proof that makes use of diagrammatic conventions

Quantum stochastics

CERN Document Server

Chang, Mou-Hsiung

2015-01-01

The classical probability theory initiated by Kolmogorov and its quantum counterpart, pioneered by von Neumann, were created at about the same time in the 1930s, but development of the quantum theory has trailed far behind. Although highly appealing, the quantum theory has a steep learning curve, requiring tools from both probability and analysis and a facility for combining the two viewpoints. This book is a systematic, self-contained account of the core of quantum probability and quantum stochastic processes for graduate students and researchers. The only assumed background is knowledge of the basic theory of Hilbert spaces, bounded linear operators, and classical Markov processes. From there, the book introduces additional tools from analysis, and then builds the quantum probability framework needed to support applications to quantum control and quantum information and communication. These include quantum noise, quantum stochastic calculus, stochastic quantum differential equations, quantum Markov semigrou...

Covariant differential calculus on the quantum exterior vector space

International Nuclear Information System (INIS)

Parashar, P.; Soni, S.K.

1992-01-01

We formulate a differential calculus on the quantum exterior vector space spanned by the generators of a non-anticommutative algebra satisfying r ij = θ i θ j +B kl ij θ k θ l =0 i, j=1, 2, ..., n. and (θ i ) 2 =(θ j ) 2 =...=(θ n ) 2 =0, where B kl ij is the most general matrix defined in terms of complex deformation parameters. Following considerations analogous to those of Wess and Zumino, we are able to exhibit covariance of our calculus under ( 2 n )+1 parameter deformation of GL(n) and explicitly check that the non-anticommutative differential calculus satisfies the general constraints given by them, such as the 'linear' conditions dr ij ≅0 and the 'quadratic' condition r ij x n ≅0 where x n =dθ n are the differentials of the variables. (orig.)

Stochastic Analysis : A Series of Lectures

CERN Document Server

Dozzi, Marco; Flandoli, Franco; Russo, Francesco

2015-01-01

This book presents in thirteen refereed survey articles an overview of modern activity in stochastic analysis, written by leading international experts. The topics addressed include stochastic fluid dynamics and regularization by noise of deterministic dynamical systems; stochastic partial differential equations driven by Gaussian or Lévy noise, including the relationship between parabolic equations and particle systems, and wave equations in a geometric framework; Malliavin calculus and applications to stochastic numerics; stochastic integration in Banach spaces; porous media-type equations; stochastic deformations of classical mechanics and Feynman integrals and stochastic differential equations with reflection. The articles are based on short courses given at the Centre Interfacultaire Bernoulli of the Ecole Polytechnique Fédérale de Lausanne, Switzerland, from January to June 2012. They offer a valuable resource not only for specialists, but also for other researchers and Ph.D. students in the fields o...

Equations involving Malliavin calculus operators applications and numerical approximation

CERN Document Server

Levajković, Tijana

2017-01-01

This book provides a comprehensive and unified introduction to stochastic differential equations and related optimal control problems. The material is new and the presentation is reader-friendly. A major contribution of the book is the development of generalized Malliavin calculus in the framework of white noise analysis, based on chaos expansion representation of stochastic processes and its application for solving several classes of stochastic differential equations with singular data involving the main operators of Malliavin calculus. In addition, applications in optimal control and numerical approximations are discussed.  The book is divided into four chapters. The first, entitled White Noise Analysis and Chaos Expansions, includes notation and provides the reader with the theoretical background needed to understand the subsequent chapters.  In Chapter 2, Generalized Operators of Malliavin Calculus, the Malliavin derivative operator, the Skorokhod integral and the Ornstein-Uhlenbeck operator are introdu...

Elements of queueing theory palm martingale calculus and stochastic recurrences

CERN Document Server

Baccelli, François

2003-01-01

The Palm theory and the Loynes theory of stationary systems are the two pillars of the modern approach to queuing. This book, presenting the mathematical foundations of the theory of stationary queuing systems, contains a thorough treatment of both of these. This approach helps to clarify the picture, in that it separates the task of obtaining the key system formulas from that of proving convergence to a stationary state and computing its law. The theory is constantly illustrated by classical results and models: Pollaczek-Khintchin and Tacacs formulas, Jackson and Gordon-Newell networks, multiserver queues, blocking queues, loss systems etc., but it also contains recent and significant examples, where the tools developed turn out to be indispensable. Several other mathematical tools which are useful within this approach are also presented, such as the martingale calculus for point processes, or stochastic ordering for stationary recurrences. This thoroughly revised second edition contains substantial addition...

Stochastic calculus analysis of optical time-of-flight range imaging and estimation of radial motion.

Science.gov (United States)

Streeter, Lee

2017-07-01

Time-of-flight range imaging is analyzed using stochastic calculus. Through a series of interpretations and simplifications, the stochastic model leads to two methods for estimating linear radial velocity: maximum likelihood estimation on the transition probability distribution between measurements, and a new method based on analyzing the measured correlation waveform and its first derivative. The methods are tested in a simulated motion experiment from (-40)-(+40)  m/s, with data from a camera imaging an object on a translation stage. In tests maximum likelihood is slow and unreliable, but when it works it estimates the linear velocity with standard deviation of 1 m/s or better. In comparison the new method is fast and reliable but works in a reduced velocity range of (-20)-(+20)  m/s with standard deviation ranging from 3.5 m/s to 10 m/s.

Realization of bicovariant differential calculus on the Lie algebra type noncommutative spaces

Science.gov (United States)

Meljanac, Stjepan; Krešić–Jurić, Saša; Martinić, Tea

2017-07-01

This paper investigates bicovariant differential calculus on noncommutative spaces of the Lie algebra type. For a given Lie algebra g0, we construct a Lie superalgebra g =g0⊕g1 containing noncommutative coordinates and one-forms. We show that g can be extended by a set of generators TAB whose action on the enveloping algebra U (g ) gives the commutation relations between monomials in U (g0 ) and one-forms. Realizations of noncommutative coordinates, one-forms, and the generators TAB as formal power series in a semicompleted Weyl superalgebra are found. In the special case dim(g0 ) =dim(g1 ) , we also find a realization of the exterior derivative on U (g0 ) . The realizations of these geometric objects yield a bicovariant differential calculus on U (g0 ) as a deformation of the standard calculus on the Euclidean space.

Anisotropic fractal media by vector calculus in non-integer dimensional space

Energy Technology Data Exchange (ETDEWEB)

Tarasov, Vasily E., E-mail: tarasov@theory.sinp.msu.ru [Skobeltsyn Institute of Nuclear Physics, Lomonosov Moscow State University, Moscow 119991 (Russian Federation)

2014-08-15

A review of different approaches to describe anisotropic fractal media is proposed. In this paper, differentiation and integration non-integer dimensional and multi-fractional spaces are considered as tools to describe anisotropic fractal materials and media. We suggest a generalization of vector calculus for non-integer dimensional space by using a product measure method. The product of fractional and non-integer dimensional spaces allows us to take into account the anisotropy of the fractal media in the framework of continuum models. The integration over non-integer-dimensional spaces is considered. In this paper differential operators of first and second orders for fractional space and non-integer dimensional space are suggested. The differential operators are defined as inverse operations to integration in spaces with non-integer dimensions. Non-integer dimensional space that is product of spaces with different dimensions allows us to give continuum models for anisotropic type of the media. The Poisson's equation for fractal medium, the Euler-Bernoulli fractal beam, and the Timoshenko beam equations for fractal material are considered as examples of application of suggested generalization of vector calculus for anisotropic fractal materials and media.

Anisotropic fractal media by vector calculus in non-integer dimensional space

Science.gov (United States)

Tarasov, Vasily E.

2014-08-01

A review of different approaches to describe anisotropic fractal media is proposed. In this paper, differentiation and integration non-integer dimensional and multi-fractional spaces are considered as tools to describe anisotropic fractal materials and media. We suggest a generalization of vector calculus for non-integer dimensional space by using a product measure method. The product of fractional and non-integer dimensional spaces allows us to take into account the anisotropy of the fractal media in the framework of continuum models. The integration over non-integer-dimensional spaces is considered. In this paper differential operators of first and second orders for fractional space and non-integer dimensional space are suggested. The differential operators are defined as inverse operations to integration in spaces with non-integer dimensions. Non-integer dimensional space that is product of spaces with different dimensions allows us to give continuum models for anisotropic type of the media. The Poisson's equation for fractal medium, the Euler-Bernoulli fractal beam, and the Timoshenko beam equations for fractal material are considered as examples of application of suggested generalization of vector calculus for anisotropic fractal materials and media.

Anisotropic fractal media by vector calculus in non-integer dimensional space

International Nuclear Information System (INIS)

Tarasov, Vasily E.

2014-01-01

A review of different approaches to describe anisotropic fractal media is proposed. In this paper, differentiation and integration non-integer dimensional and multi-fractional spaces are considered as tools to describe anisotropic fractal materials and media. We suggest a generalization of vector calculus for non-integer dimensional space by using a product measure method. The product of fractional and non-integer dimensional spaces allows us to take into account the anisotropy of the fractal media in the framework of continuum models. The integration over non-integer-dimensional spaces is considered. In this paper differential operators of first and second orders for fractional space and non-integer dimensional space are suggested. The differential operators are defined as inverse operations to integration in spaces with non-integer dimensions. Non-integer dimensional space that is product of spaces with different dimensions allows us to give continuum models for anisotropic type of the media. The Poisson's equation for fractal medium, the Euler-Bernoulli fractal beam, and the Timoshenko beam equations for fractal material are considered as examples of application of suggested generalization of vector calculus for anisotropic fractal materials and media

Stochastic Systems Uncertainty Quantification and Propagation

CERN Document Server

Grigoriu, Mircea

2012-01-01

Uncertainty is an inherent feature of both properties of physical systems and the inputs to these systems that needs to be quantified for cost effective and reliable designs. The states of these systems satisfy equations with random entries, referred to as stochastic equations, so that they are random functions of time and/or space. The solution of stochastic equations poses notable technical difficulties that are frequently circumvented by heuristic assumptions at the expense of accuracy and rigor. The main objective of Stochastic Systems is to promoting the development of accurate and efficient methods for solving stochastic equations and to foster interactions between engineers, scientists, and mathematicians. To achieve these objectives Stochastic Systems presents: ·         A clear and brief review of essential concepts on probability theory, random functions, stochastic calculus, Monte Carlo simulation, and functional analysis   ·          Probabilistic models for random variables an...

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.

On fractal space-time and fractional calculus

Directory of Open Access Journals (Sweden)

Hu Yue

2016-01-01

Full Text Available This paper gives an explanation of fractional calculus in fractal space-time. On observable scales, continuum models can be used, however, when the scale tends to a smaller threshold, a fractional model has to be adopted to describe phenomena in micro/nano structure. A time-fractional Fornberg-Whitham equation is used as an example to elucidate the physical meaning of the fractional order, and its solution process is given by the fractional complex transform.

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.

On the minimizers of calculus of variations problems in Hilbert spaces

KAUST Repository

Gomes, Diogo A.; Nurbekyan, Levon

2014-01-01

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.

A new differential calculus on a complex banach space with application to variational problems of quantum theory

International Nuclear Information System (INIS)

Sharma, C.S.; Rebelo, I.

1975-01-01

It is proved that a semilinear function on a complex banach space is not differentiable according to the usual definition of differentiability in the calculus on banch spaces. It is shown that this result makes the calculus largely inapplicable to the solution od variational problems of quantum mechanics. A new concept of differentiability called semidifferentiability is defined. This generalizes the standard concept of differentiability in a banach space and the resulting calculus is particularly suitable for optimizing real-value functions on a complex banach space and is directly applicable to the solution of quantum mechanical variational problems. As an example of such application a rigorous proof of a generalized version of a result due to Sharma (J. Phys. A; 2:413 (1969)) is given. In the course of this work a new concept of prelinearity is defined and some standard results in the calculus in banach spaces are extended and generalized into more powerful ones applicable directly to prelinear functions and hence yielding the standard results for linear function as particular cases. (author)

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

The bicovariant differential calculus on the κ-Poincare group and on the κ-Minkowski space

International Nuclear Information System (INIS)

Kosinski, P.; Maslanka, P.; Sobczyk, J.

1996-01-01

The bicovariant differential calculus on the four-dimensional κ-Poincare group and the corresponding Lie-algebra-like structure are described. The differential calculus on the n-dimensional κ-Minkowski space covariant under the action of the κ-Poincare group was constructed. 5 refs

Explicit Minkowski invariance and differential calculus in the quantum space-time

International Nuclear Information System (INIS)

Xu Zhan.

1991-11-01

In terms of the R-circumflex matrix of the quantum group SL q (2), the explicit Minkowski coordinate commutation relations in the four-dimensional quantum space-time are given, and the invariance of the Minkowski metric is shown. The differential calculus in this quantum space-time is discussed and the corresponding commutation relations are proposed. (author). 17 refs

Stochastic processes and filtering theory

CERN Document Server

Jazwinski, Andrew H

1970-01-01

This unified treatment of linear and nonlinear filtering theory presents material previously available only in journals, and in terms accessible to engineering students. Its sole prerequisites are advanced calculus, the theory of ordinary differential equations, and matrix analysis. Although theory is emphasized, the text discusses numerous practical applications as well.Taking the state-space approach to filtering, this text models dynamical systems by finite-dimensional Markov processes, outputs of stochastic difference, and differential equations. Starting with background material on probab

Stochastic space-time and quantum theory

International Nuclear Information System (INIS)

Frederick, C.

1976-01-01

Much of quantum mechanics may be derived if one adopts a very strong form of Mach's principle such that in the absence of mass, space-time becomes not flat, but stochastic. This is manifested in the metric tensor which is considered to be a collection of stochastic variables. The stochastic-metric assumption is sufficient to generate the spread of the wave packet in empty space. If one further notes that all observations of dynamical variables in the laboratory frame are contravariant components of tensors, and if one assumes that a Lagrangian can be constructed, then one can obtain an explanation of conjugate variables and also a derivation of the uncertainty principle. Finally the superposition of stochastic metrics and the identification of root -g in the four-dimensional invariant volume element root -g dV as the indicator of relative probability yields the phenomenon of interference as will be described for the two-slit experiment

Differential calculus on quantum spaces and quantum groups

International Nuclear Information System (INIS)

Zumino, B.

1992-01-01

A review of recent developments in the quantum differential calculus. The quantum group GL q (n) is treated by considering it as a particular quantum space. Functions on SL q (n) are defined as a subclass of functions on GL q (n). The case of SO q (n) is also briefly considered. These notes cover part of a lecture given at the XIX International Conference on Group Theoretic Methods in Physics, Salamanca, Spain 1992

Stochastic processes

CERN Document Server

Parzen, Emanuel

1962-01-01

Well-written and accessible, this classic introduction to stochastic processes and related mathematics is appropriate for advanced undergraduate students of mathematics with a knowledge of calculus and continuous probability theory. The treatment offers examples of the wide variety of empirical phenomena for which stochastic processes provide mathematical models, and it develops the methods of probability model-building.Chapter 1 presents precise definitions of the notions of a random variable and a stochastic process and introduces the Wiener and Poisson processes. Subsequent chapters examine

Continuous Slice Functional Calculus in Quaternionic Hilbert Spaces

Science.gov (United States)

Ghiloni, Riccardo; Moretti, Valter; Perotti, Alessandro

2013-04-01

The aim of this work is to define a continuous functional calculus in quaternionic Hilbert spaces, starting from basic issues regarding the notion of spherical spectrum of a normal operator. As properties of the spherical spectrum suggest, the class of continuous functions to consider in this setting is the one of slice quaternionic functions. Slice functions generalize the concept of slice regular function, which comprises power series with quaternionic coefficients on one side and that can be seen as an effective generalization to quaternions of holomorphic functions of one complex variable. The notion of slice function allows to introduce suitable classes of real, complex and quaternionic C*-algebras and to define, on each of these C*-algebras, a functional calculus for quaternionic normal operators. In particular, we establish several versions of the spectral map theorem. Some of the results are proved also for unbounded operators. However, the mentioned continuous functional calculi are defined only for bounded normal operators. Some comments on the physical significance of our work are included.

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

Non-exponential extinction of radiation by fractional calculus modelling

International Nuclear Information System (INIS)

Casasanta, G.; Ciani, D.; Garra, R.

2012-01-01

Possible deviations from exponential attenuation of radiation in a random medium have been recently studied in several works. These deviations from the classical Beer-Lambert law were justified from a stochastic point of view by Kostinski (2001) . In his model he introduced the spatial correlation among the random variables, i.e. a space memory. In this note we introduce a different approach, including a memory formalism in the classical Beer-Lambert law through fractional calculus modelling. We find a generalized Beer-Lambert law in which the exponential memoryless extinction is only a special case of non-exponential extinction solutions described by Mittag-Leffler functions. We also justify this result from a stochastic point of view, using the space fractional Poisson process. Moreover, we discuss some concrete advantages of this approach from an experimental point of view, giving an estimate of the deviation from exponential extinction law, varying the optical depth. This is also an interesting model to understand the meaning of fractional derivative as an instrument to transmit randomness of microscopic dynamics to the macroscopic scale.

Stochastic inflation in phase space: is slow roll a stochastic attractor?

Energy Technology Data Exchange (ETDEWEB)

Grain, Julien [Institut d' Astrophysique Spatiale, UMR8617, CNRS, Univ. Paris Sud, Université Paris-Saclay, Bt. 121, Orsay, F-91405 (France); Vennin, Vincent, E-mail: julien.grain@ias.u-psud.fr, E-mail: vincent.vennin@port.ac.uk [Institute of Cosmology and Gravitation, University of Portsmouth, Dennis Sciama Building, Burnaby Road, Portsmouth, PO13FX (United Kingdom)

2017-05-01

An appealing feature of inflationary cosmology is the presence of a phase-space attractor, ''slow roll'', which washes out the dependence on initial field velocities. We investigate the robustness of this property under backreaction from quantum fluctuations using the stochastic inflation formalism in the phase-space approach. A Hamiltonian formulation of stochastic inflation is presented, where it is shown that the coarse-graining procedure—where wavelengths smaller than the Hubble radius are integrated out—preserves the canonical structure of free fields. This means that different sets of canonical variables give rise to the same probability distribution which clarifies the literature with respect to this issue. The role played by the quantum-to-classical transition is also analysed and is shown to constrain the coarse-graining scale. In the case of free fields, we find that quantum diffusion is aligned in phase space with the slow-roll direction. This implies that the classical slow-roll attractor is immune to stochastic effects and thus generalises to a stochastic attractor regardless of initial conditions, with a relaxation time at least as short as in the classical system. For non-test fields or for test fields with non-linear self interactions however, quantum diffusion and the classical slow-roll flow are misaligned. We derive a condition on the coarse-graining scale so that observational corrections from this misalignment are negligible at leading order in slow roll.

Stochastic inflation: Quantum phase-space approach

International Nuclear Information System (INIS)

Habib, S.

1992-01-01

In this paper a quantum-mechanical phase-space picture is constructed for coarse-grained free quantum fields in an inflationary universe. The appropriate stochastic quantum Liouville equation is derived. Explicit solutions for the phase-space quantum distribution function are found for the cases of power-law and exponential expansions. The expectation values of dynamical variables with respect to these solutions are compared to the corresponding cutoff regularized field-theoretic results (we do not restrict ourselves only to left-angle Φ 2 right-angle). Fair agreement is found provided the coarse-graining scale is kept within certain limits. By focusing on the full phase-space distribution function rather than a reduced distribution it is shown that the thermodynamic interpretation of the stochastic formalism faces several difficulties (e.g., there is no fluctuation-dissipation theorem). The coarse graining does not guarantee an automatic classical limit as quantum correlations turn out to be crucial in order to get results consistent with standard quantum field theory. Therefore, the method does not by itself constitute an explanation of the quantum to classical transition in the early Universe. In particular, we argue that the stochastic equations do not lead to decoherence

Diagrammatic methods in phase-space regularization

International Nuclear Information System (INIS)

Bern, Z.; Halpern, M.B.; California Univ., Berkeley

1987-11-01

Using the scalar prototype and gauge theory as the simplest possible examples, diagrammatic methods are developed for the recently proposed phase-space form of continuum regularization. A number of one-loop and all-order applications are given, including general diagrammatic discussions of the nogrowth theorem and the uniqueness of the phase-space stochastic calculus. The approach also generates an alternate derivation of the equivalence of the large-β phase-space regularization to the more conventional coordinate-space regularization. (orig.)

Wick calculus on spaces of generalized functions of compound poisson white noise

Science.gov (United States)

Lytvynov, Eugene W.; Rebenko, Alexei L.; Shchepan'ur, Gennadi V.

1997-04-01

We derive white noise calculus for a compound Poisson process. Namely, we consider, on the Schwartz space of tempered distributions, S', a measure of compound Poisson white noise, μcp, and construct a whole scale of standard nuclear triples ( Scp) - x ⊃ L2cp) ≡ L2( S', dμcp) ⊃( Scpx, x≥ 0, which are obtained as images under some isomorphism of the corresponding triples centred at a Fock space. It turns out that the most interesting case is x = 1, when our triple coincides with the triple that is constructed by using a system of Appell polynomials in the framework of non-Gaussian biorthogonal analysis. Our special attention is paid to the Wick calculus of the Poisson field, or the quantum compound Poisson white noise process in other terms, which is the family of operators acting from ( Scp) 1 into ( Scp) 1 as multiplication by the compound Poisson white noise ω( t).

Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces

Science.gov (United States)

Alenda, Régis; Olivetti, Nicola

The logic CSL (first introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev in 2005) allows one to reason about distance comparison and similarity comparison within a modal language. The logic can express assertions of the kind "A is closer/more similar to B than to C" and has a natural application to spatial reasoning, as well as to reasoning about concept similarity in ontologies. The semantics of CSL is defined in terms of models based on different classes of distance spaces and it generalizes the logic S4 u of topological spaces. In this paper we consider CSL defined over arbitrary distance spaces. The logic comprises a binary modality to represent comparative similarity and a unary modality to express the existence of the minimum of a set of distances. We first show that the semantics of CSL can be equivalently defined in terms of preferential models. As a consequence we obtain the finite model property of the logic with respect to its preferential semantic, a property that does not hold with respect to the original distance-space semantics. Next we present an analytic tableau calculus based on its preferential semantics. The calculus provides a decision procedure for the logic, its termination is obtained by imposing suitable blocking restrictions.

On Lipschitzian quantum stochastic differential inclusions

International Nuclear Information System (INIS)

Ekhaguere, G.O.S.

1990-12-01

Quantum stochastic differential inclusions are introduced and studied within the framework of the Hudson-Parthasarathy formulation of quantum stochastic calculus. Results concerning the existence of solutions of a Lipschitzian quantum stochastic differential inclusion and the relationship between the solutions of such an inclusion and those of its convexification are presented. These generalize the Filippov existence theorem and the Filippov-Wazewski Relaxation Theorem for classical differential inclusions to the present noncommutative setting. (author). 9 refs

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,

Stochastic Differential Equations and Kondratiev Spaces

Energy Technology Data Exchange (ETDEWEB)

Vaage, G.

1995-05-01

The purpose of this mathematical thesis was to improve the understanding of physical processes such as fluid flow in porous media. An example is oil flowing in a reservoir. In the first of five included papers, Hilbert space methods for elliptic boundary value problems are used to prove the existence and uniqueness of a large family of elliptic differential equations with additive noise without using the Hermite transform. The ideas are then extended to the multidimensional case and used to prove existence and uniqueness of solution of the Stokes equations with additive noise. The second paper uses functional analytic methods for partial differential equations and presents a general framework for proving existence and uniqueness of solutions to stochastic partial differential equations with multiplicative noise, for a large family of noises. The methods are applied to equations of elliptic, parabolic as well as hyperbolic type. The framework presented can be extended to the multidimensional case. The third paper shows how the ideas from the second paper can be extended to study the moving boundary value problem associated with the stochastic pressure equation. The fourth paper discusses a set of stochastic differential equations. The fifth paper studies the relationship between the two families of Kondratiev spaces used in the thesis. 102 refs.

Homogenization of the stochastic Navier–Stokes equation with a stochastic slip boundary condition

KAUST Repository

Bessaih, Hakima

2015-11-02

The two-dimensional Navier–Stokes equation in a perforated domain with a dynamical slip boundary condition is considered. We assume that the dynamic is driven by a stochastic perturbation on the interior of the domain and another stochastic perturbation on the boundaries of the holes. We consider a scaling (ᵋ for the viscosity and 1 for the density) that will lead to a time-dependent limit problem. However, the noncritical scaling (ᵋ, β > 1) is considered in front of the nonlinear term. The homogenized system in the limit is obtained as a Darcy’s law with memory with two permeabilities and an extra term that is due to the stochastic perturbation on the boundary of the holes. The nonhomogeneity on the boundary contains a stochastic part that yields in the limit an additional term in the Darcy’s law. We use the two-scale convergence method after extending the solution with 0 inside the holes to pass to the limit. By Itô stochastic calculus, we get uniform estimates on the solution in appropriate spaces. Due to the stochastic integral, the pressure that appears in the variational formulation does not have enough regularity in time. This fact made us rely only on the variational formulation for the passage to the limit on the solution. We obtain a variational formulation for the limit that is solution of a Stokes system with two pressures. This two-scale limit gives rise to three cell problems, two of them give the permeabilities while the third one gives an extra term in the Darcy’s law due to the stochastic perturbation on the boundary of the holes.

Calculus Rules for V-Proximal Subdifferentials in Smooth Banach Spaces

Directory of Open Access Journals (Sweden)

Messaoud Bounkhel

2016-01-01

Full Text Available In 2010, Bounkhel et al. introduced new proximal concepts (analytic proximal subdifferential, geometric proximal subdifferential, and proximal normal cone in reflexive smooth Banach spaces. They proved, in p-uniformly convex and q-uniformly smooth Banach spaces, the density theorem for the new concepts of proximal subdifferential and various important properties for both proximal subdifferential concepts and the proximal normal cone concept. In this paper, we establish calculus rules (fuzzy sum rule and chain rule for both proximal subdifferentials and we prove the Bishop-Phelps theorem for the proximal normal cone. The limiting concept for both proximal subdifferentials and for the proximal normal cone is defined and studied. We prove that both limiting constructions coincide with the Mordukhovich constructions under some assumptions on the space. Applications to nonconvex minimisation problems and nonconvex variational inequalities are established.

Tensor Calculus: Unlearning Vector Calculus

Science.gov (United States)

Lee, Wha-Suck; Engelbrecht, Johann; Moller, Rita

2018-01-01

Tensor calculus is critical in the study of the vector calculus of the surface of a body. Indeed, tensor calculus is a natural step-up for vector calculus. This paper presents some pitfalls of a traditional course in vector calculus in transitioning to tensor calculus. We show how a deeper emphasis on traditional topics such as the Jacobian can…

Stochastic processes in cell biology

CERN Document Server

Bressloff, Paul C

2014-01-01

This book develops the theory of continuous and discrete stochastic processes within the context of cell biology.  A wide range of biological topics are covered including normal and anomalous diffusion in complex cellular environments, stochastic ion channels and excitable systems, stochastic calcium signaling, molecular motors, intracellular transport, signal transduction, bacterial chemotaxis, robustness in gene networks, genetic switches and oscillators, cell polarization, polymerization, cellular length control, and branching processes. The book also provides a pedagogical introduction to the theory of stochastic process – Fokker Planck equations, stochastic differential equations, master equations and jump Markov processes, diffusion approximations and the system size expansion, first passage time problems, stochastic hybrid systems, reaction-diffusion equations, exclusion processes, WKB methods, martingales and branching processes, stochastic calculus, and numerical methods.   This text is primarily...

On Some Fractional Stochastic Integrodifferential Equations in Hilbert Space

Directory of Open Access Journals (Sweden)

Hamdy M. Ahmed

2009-01-01

Full Text Available We study a class of fractional stochastic integrodifferential equations considered in a real Hilbert space. The existence and uniqueness of the Mild solutions of the considered problem is also studied. We also give an application for stochastic integropartial differential equations of fractional order.

The correspondence between stochastic mechanics and quantum mechanics on multiply connected configuration spaces

International Nuclear Information System (INIS)

Carlen, E.A.; Loffredo, M.I.

1989-01-01

We show how to obtain a complete correspondence between stochastic and quantum mechanics on multiply connected spaces. We do this by introducing a stochastic mechanical analog of the hydrodynamical circulation, relating it to the topological properties of the configuration space, and using it to constrain the stochastic mechanical variational principles. (orig.)

Stochastic integration in Banach spaces theory and applications

CERN Document Server

Mandrekar, Vidyadhar

2015-01-01

Considering Poisson random measures as the driving sources for stochastic (partial) differential equations allows us to incorporate jumps and to model sudden, unexpected phenomena. By using such equations the present book introduces a new method for modeling the states of complex systems perturbed by random sources over time, such as interest rates in financial markets or temperature distributions in a specific region. It studies properties of the solutions of the stochastic equations, observing the long-term behavior and the sensitivity of the solutions to changes in the initial data. The authors consider an integration theory of measurable and adapted processes in appropriate Banach spaces as well as the non-Gaussian case, whereas most of the literature only focuses on predictable settings in Hilbert spaces. The book is intended for graduate students and researchers in stochastic (partial) differential equations, mathematical finance and non-linear filtering and assumes a knowledge of the required integrati...

Topology, calculus and approximation

CERN Document Server

Komornik, Vilmos

2017-01-01

Presenting basic results of topology, calculus of several variables, and approximation theory which are rarely treated in a single volume, this textbook includes several beautiful, but almost forgotten, classical theorems of Descartes, Erdős, Fejér, Stieltjes, and Turán. The exposition style of Topology, Calculus and Approximation follows the Hungarian mathematical tradition of Paul Erdős and others. In the first part, the classical results of Alexandroff, Cantor, Hausdorff, Helly, Peano, Radon, Tietze and Urysohn illustrate the theories of metric, topological and normed spaces. Following this, the general framework of normed spaces and Carathéodory's definition of the derivative are shown to simplify the statement and proof of various theorems in calculus and ordinary differential equations. The third and final part is devoted to interpolation, orthogonal polynomials, numerical integration, asymptotic expansions and the numerical solution of algebraic and differential equations. Students of both pure an...

Space complexity in polynomial calculus

Czech Academy of Sciences Publication Activity Database

Filmus, Y.; Lauria, M.; Nordström, J.; Ron-Zewi, N.; Thapen, Neil

2015-01-01

Roč. 44, č. 4 (2015), s. 1119-1153 ISSN 0097-5397 R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061 Institutional support: RVO:67985840 Keywords : proof complexity * polynomial calculus * lower bounds Subject RIV: BA - General Mathematics Impact factor: 0.841, year: 2015 http://epubs.siam.org/doi/10.1137/120895950

Covariant differential calculus on quantum Minkowski space and the q-analogue of Dirac equation

International Nuclear Information System (INIS)

Song Xingchang; Academia Sinica, Beijing

1992-01-01

The covariant differential calculus on the quantum Minkowski space is presented with the help of the generalized Wess-Zumino method and the quantum Pauli matrices and quantum Dirac matrices are constructed parallel to those in the classical case. Combining these two aspects a q-analogue of Dirac equation follows directly. (orig.)

Stochastic differential equations and diffusion processes

CERN Document Server

Ikeda, N

1989-01-01

Being a systematic treatment of the modern theory of stochastic integrals and stochastic differential equations, the theory is developed within the martingale framework, which was developed by J.L. Doob and which plays an indispensable role in the modern theory of stochastic analysis.A considerable number of corrections and improvements have been made for the second edition of this classic work. In particular, major and substantial changes are in Chapter III and Chapter V where the sections treating excursions of Brownian Motion and the Malliavin Calculus have been expanded and refined. Sectio

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

DEFF Research Database (Denmark)

Aguirre, Alejandro; Barthe, Gilles; Birkedal, Lars

2018-01-01

We extend the simply-typed guarded $\\lambda$-calculus with discrete probabilities and endow it with a program logic for reasoning about relational properties of guarded probabilistic computations. This provides a framework for programming and reasoning about infinite stochastic processes like...

Stochastic dynamics and control

CERN Document Server

Sun, Jian-Qiao; Zaslavsky, George

2006-01-01

This book is a result of many years of author's research and teaching on random vibration and control. It was used as lecture notes for a graduate course. It provides a systematic review of theory of probability, stochastic processes, and stochastic calculus. The feedback control is also reviewed in the book. Random vibration analyses of SDOF, MDOF and continuous structural systems are presented in a pedagogical order. The application of the random vibration theory to reliability and fatigue analysis is also discussed. Recent research results on fatigue analysis of non-Gaussian stress proc

The multiparametric deformation of GL(n) and the covariant differential calculus on the quantum vector space

International Nuclear Information System (INIS)

Schirrmacher, A.

1991-01-01

A n(n-1)/2+1 parameter solution of the Yang Baxter equation is presented giving rise to the quantum Group GL x;qij (n). Determinant and inverse are constructed. The group acts covariantly on a quantum vector space of non-commutative coordinates. The associated exterior space can be identified with the differentials exhibiting a multiparameter deformed differential calculus following the construction of Wess and Zumino. (orig.)

Quantum mechanics and umbral calculus

International Nuclear Information System (INIS)

Lopez-Sendino, J E; Negro, J; Olmo, M A del; Salgado, E

2008-01-01

In this paper we present the first steps for obtaining a discrete Quantum Mechanics making use of the Umbral Calculus. The idea is to discretize the continuous Schroedinger equation substituting the continuous derivatives by discrete ones and the space-time continuous variables by well determined operators that verify some Umbral Calculus conditions. In this way we assure that some properties of integrability and symmetries of the continuous equation are preserved and also the solutions of the continuous case can be recovered discretized in a simple way. The case of the Schroedinger equation with a potential depending only in the space variable is discussed.

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

On the interpretation of Stratonovich calculus

International Nuclear Information System (INIS)

Moon, W; Wettlaufer, J S

2014-01-01

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

Three-plus-one formulation of Regge calculus

International Nuclear Information System (INIS)

Piran, T.; Williams, R.M.

1986-01-01

Following the work of Lund and Regge for homogeneous spaces, we construct the action for Regge calculus in its three-plus-one form for general space-times. This is achieved in two ways: a first-order formalism and a second-order formalism. We describe the Regge-calculus analogue of solving the initial-value equations using conformal transformations. The second-order formalism is used to study the time development of two simple model universes

Galactic Cosmic-ray Transport in the Global Heliosphere: A Four-Dimensional Stochastic Model

Science.gov (United States)

Florinski, V.

2009-04-01

We study galactic cosmic-ray transport in the outer heliosphere and heliosheath using a newly developed transport model based on stochastic integration of the phase-space trajectories of Parker's equation. The model employs backward integration of the diffusion-convection transport equation using Ito calculus and is four-dimensional in space+momentum. We apply the model to the problem of galactic proton transport in the heliosphere during a negative solar minimum. Model results are compared with the Voyager measurements of galactic proton radial gradients and spectra in the heliosheath. We show that the heliosheath is not as efficient in diverting cosmic rays during solar minima as predicted by earlier two-dimensional models.

Fractional Calculus in Hydrologic Modeling: A Numerical Perspective

Energy Technology Data Exchange (ETDEWEB)

David A. Benson; Mark M. Meerschaert; Jordan Revielle

2012-01-01

Fractional derivatives can be viewed either as a handy extension of classical calculus or, more deeply, as mathematical operators defined by natural phenomena. This follows the view that the diffusion equation is defined as the governing equation of a Brownian motion. In this paper, we emphasize that fractional derivatives come from the governing equations of stable Levy motion, and that fractional integration is the corresponding inverse operator. Fractional integration, and its multi-dimensional extensions derived in this way, are intimately tied to fractional Brownian (and Levy) motions and noises. By following these general principles, we discuss the Eulerian and Lagrangian numerical solutions to fractional partial differential equations, and Eulerian methods for stochastic integrals. These numerical approximations illuminate the essential nature of the fractional calculus.

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

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

Stochastic quantization of geometrodynamic curved space-time

International Nuclear Information System (INIS)

Prugovecki, E.

1981-01-01

It is proposed that quantum rather than classical test particles be used in recent operational definitions of space-time. In the resulting quantum space-time the role of test particle trajectories is taken over by propagators. The introduced co-ordinate values are stochastic rather than deterministic, the afore-mentioned propagators providing probability amplitudes describing fluctuations of measured co-ordinates around their mean values. It is shown that, if a geometrodynamic point of view based on 3 + 1 foliations of space-time is adopted, self-consistent families of propagators for quantum test particles in free fall can be constructed. The resulting formalism for quantum space-time is outlined and the quantization of spatially flat Robertson-Walker space-times is provided as an illustration. (author)

Some stochastic techniques in quantization, new developments in Markov fields and quantum fields

International Nuclear Information System (INIS)

Albeverio, S.; Zegarlinski, B.

1990-01-01

In these lectures we intend to discuss a few recent developments in the area of interactions between quantum fields and Markow fields in which we have been involved. We stress particularly developments involving techniques of stochastic analysis and where mathematical results have been obtained. In sections 1 and 2 we discuss recent developments in the study and applications of the theory of Dirichlet forms in its relations with quantum mechanics and quantum field theory. In our opinion, this theory provides a natural setting for the study of the singular stochastic processes associated with quantum theory. In section 3 we discuss a recent rigorous construction of a convergent simplicial approximation to quantum fields. We look upon these developments as a first step towards a mathematical realization, at least in 2 space-time dimensions, of a convergent 'Regge-calculus', and as first steps to the mathematical control of more general models (like e.g. models involving actions of Chern-Simons type) in the continuum. In Sect. 4 we discuss applications of some stochastic techniques to the study of gauge fields and Higgs fields, mainly in 2 space time dimensions and certain non linear electromagnetic-type fields in 4-space-time dimensions. (orig./HSI)

Probability, Statistics, and Stochastic Processes

CERN Document Server

Olofsson, Peter

2011-01-01

A mathematical and intuitive approach to probability, statistics, and stochastic processes This textbook provides a unique, balanced approach to probability, statistics, and stochastic processes. Readers gain a solid foundation in all three fields that serves as a stepping stone to more advanced investigations into each area. This text combines a rigorous, calculus-based development of theory with a more intuitive approach that appeals to readers' sense of reason and logic, an approach developed through the author's many years of classroom experience. The text begins with three chapters that d

Modeling nanoparticle uptake and intracellular distribution using stochastic process algebras

Energy Technology Data Exchange (ETDEWEB)

Dobay, M. P. D., E-mail: maria.pamela.david@physik.uni-muenchen.de; Alberola, A. Piera; Mendoza, E. R.; Raedler, J. O., E-mail: joachim.raedler@physik.uni-muenchen.de [Ludwig-Maximilians University, Faculty of Physics, Center for NanoScience (Germany)

2012-03-15

Computational modeling is increasingly important to help understand the interaction and movement of nanoparticles (NPs) within living cells, and to come to terms with the wealth of data that microscopy imaging yields. A quantitative description of the spatio-temporal distribution of NPs inside cells; however, it is challenging due to the complexity of multiple compartments such as endosomes and nuclei, which themselves are dynamic and can undergo fusion and fission and exchange their content. Here, we show that stochastic pi calculus, a widely-used process algebra, is well suited for mapping surface and intracellular NP interactions and distributions. In stochastic pi calculus, each NP is represented as a process, which can adopt various states such as bound or aggregated, as well as be passed between processes representing location, as a function of predefined stochastic channels. We created a pi calculus model of gold NP uptake and intracellular movement and compared the evolution of surface-bound, cytosolic, endosomal, and nuclear NP densities with electron microscopy data. We demonstrate that the computational approach can be extended to include specific molecular binding and potential interaction with signaling cascades as characteristic for NP-cell interactions in a wide range of applications such as nanotoxicity, viral infection, and drug delivery.

Modeling nanoparticle uptake and intracellular distribution using stochastic process algebras

International Nuclear Information System (INIS)

Dobay, M. P. D.; Alberola, A. Piera; Mendoza, E. R.; Rädler, J. O.

2012-01-01

Computational modeling is increasingly important to help understand the interaction and movement of nanoparticles (NPs) within living cells, and to come to terms with the wealth of data that microscopy imaging yields. A quantitative description of the spatio-temporal distribution of NPs inside cells; however, it is challenging due to the complexity of multiple compartments such as endosomes and nuclei, which themselves are dynamic and can undergo fusion and fission and exchange their content. Here, we show that stochastic pi calculus, a widely-used process algebra, is well suited for mapping surface and intracellular NP interactions and distributions. In stochastic pi calculus, each NP is represented as a process, which can adopt various states such as bound or aggregated, as well as be passed between processes representing location, as a function of predefined stochastic channels. We created a pi calculus model of gold NP uptake and intracellular movement and compared the evolution of surface-bound, cytosolic, endosomal, and nuclear NP densities with electron microscopy data. We demonstrate that the computational approach can be extended to include specific molecular binding and potential interaction with signaling cascades as characteristic for NP-cell interactions in a wide range of applications such as nanotoxicity, viral infection, and drug delivery.

Modeling nanoparticle uptake and intracellular distribution using stochastic process algebras

Science.gov (United States)

Dobay, M. P. D.; Alberola, A. Piera; Mendoza, E. R.; Rädler, J. O.

2012-03-01

Computational modeling is increasingly important to help understand the interaction and movement of nanoparticles (NPs) within living cells, and to come to terms with the wealth of data that microscopy imaging yields. A quantitative description of the spatio-temporal distribution of NPs inside cells; however, it is challenging due to the complexity of multiple compartments such as endosomes and nuclei, which themselves are dynamic and can undergo fusion and fission and exchange their content. Here, we show that stochastic pi calculus, a widely-used process algebra, is well suited for mapping surface and intracellular NP interactions and distributions. In stochastic pi calculus, each NP is represented as a process, which can adopt various states such as bound or aggregated, as well as be passed between processes representing location, as a function of predefined stochastic channels. We created a pi calculus model of gold NP uptake and intracellular movement and compared the evolution of surface-bound, cytosolic, endosomal, and nuclear NP densities with electron microscopy data. We demonstrate that the computational approach can be extended to include specific molecular binding and potential interaction with signaling cascades as characteristic for NP-cell interactions in a wide range of applications such as nanotoxicity, viral infection, and drug delivery.

Restrictive metric regularity and generalized differential calculus in Banach spaces

Directory of Open Access Journals (Sweden)

Bingwu Wang

2004-10-01

Full Text Available We consider nonlinear mappings f:X→Y between Banach spaces and study the notion of restrictive metric regularity of f around some point x¯, that is, metric regularity of f from X into the metric space E=f(X. Some sufficient as well as necessary and sufficient conditions for restrictive metric regularity are obtained, which particularly include an extension of the classical Lyusternik-Graves theorem in the case when f is strictly differentiable at x¯ but its strict derivative ∇f(x¯ is not surjective. We develop applications of the results obtained and some other techniques in variational analysis to generalized differential calculus involving normal cones to nonsmooth and nonconvex sets, coderivatives of set-valued mappings, as well as first-order and second-order subdifferentials of extended real-valued functions.

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

Classical Solutions of Path-Dependent PDEs and Functional Forward-Backward Stochastic Systems

Directory of Open Access Journals (Sweden)

Shaolin Ji

2013-01-01

Full Text Available In this paper we study the relationship between functional forward-backward stochastic systems and path-dependent PDEs. In the framework of functional Itô calculus, we introduce a path-dependent PDE and prove that its solution is uniquely determined by a functional forward-backward stochastic system.

Metric regularity and subdifferential calculus

International Nuclear Information System (INIS)

Ioffe, A D

2000-01-01

The theory of metric regularity is an extension of two classical results: the Lyusternik tangent space theorem and the Graves surjection theorem. Developments in non-smooth analysis in the 1980s and 1990s paved the way for a number of far-reaching extensions of these results. It was also well understood that the phenomena behind the results are of metric origin, not connected with any linear structure. At the same time it became clear that some basic hypotheses of the subdifferential calculus are closely connected with the metric regularity of certain set-valued maps. The survey is devoted to the metric theory of metric regularity and its connection with subdifferential calculus in Banach spaces

Almost Periodic Solutions for Impulsive Fractional Stochastic Evolution Equations

Directory of Open Access Journals (Sweden)

Toufik Guendouzi

2014-08-01

Full Text Available In this paper, we consider the existence of square-mean piecewise almost periodic solutions for impulsive fractional stochastic evolution equations involving Caputo fractional derivative. The main results are obtained by means of the theory of operators semi-group, fractional calculus, fixed point technique and stochastic analysis theory and methods adopted directly from deterministic fractional equations. Some known results are improved and generalized.

Symmetries of th-Order Approximate Stochastic Ordinary Differential Equations

OpenAIRE

Fredericks, E.; Mahomed, F. M.

2012-01-01

Symmetries of $n$ th-order approximate stochastic ordinary differential equations (SODEs) are studied. The determining equations of these SODEs are derived in an Itô calculus context. These determining equations are not stochastic in nature. SODEs are normally used to model nature (e.g., earthquakes) or for testing the safety and reliability of models in construction engineering when looking at the impact of random perturbations.

Independent variables in 3 + 1 Regge calculus

International Nuclear Information System (INIS)

Tuckey, P.A.

1989-01-01

The space of metrics in 3+1 Regge calculus is discussed, and the problems of counting its dimensions, and of finding independent variables to parametrise the space, are addressed. The most general natural class of metrics is considered first, and bounds on its dimension are obtained, although no good parametrisations are found. The relationship between these metrics and those used in canonical Regge calculus is shown, and this leads to an interesting result via the Bianchi identities. A restricted class of metrics is then considered and independent variables, which parametrise these metrics and which may be computationally convenient, are given. The dimension of this space of metrics gives an improved lower bound for the dimension of the general space. (author)

Quantum dynamical time evolutions as stochastic flows on phase space

International Nuclear Information System (INIS)

Combe, P.; Rodriguez, R.; Guerra, F.; Sirigue, M.; Sirigue-Collin, M.

1984-01-01

We are mainly interested in describing the time development of the Wigner functions by means of stochastic processes. In the second section we recall the main properties of the Wigner functions as well as those of their Fourier transform. In the next one we derive the evolution equation of these functions for a class of Hamiltonians and we give a probabilistic expression for the solution of these equations by means of a stochastic flow in phase space which reminds of the classical flows. In the last section we remark that the previously defined flow can be extended to the bounded continuous functions on phase space and that this flow conserves the cone generated by the Wigner functions. (orig./HSI)

Discrete stochastic processes and applications

CERN Document Server

Collet, Jean-François

2018-01-01

This unique text for beginning graduate students gives a self-contained introduction to the mathematical properties of stochastics and presents their applications to Markov processes, coding theory, population dynamics, and search engine design. The book is ideal for a newly designed course in an introduction to probability and information theory. Prerequisites include working knowledge of linear algebra, calculus, and probability theory. The first part of the text focuses on the rigorous theory of Markov processes on countable spaces (Markov chains) and provides the basis to developing solid probabilistic intuition without the need for a course in measure theory. The approach taken is gradual beginning with the case of discrete time and moving on to that of continuous time. The second part of this text is more applied; its core introduces various uses of convexity in probability and presents a nice treatment of entropy.

Quantum mechanics, stochasticity and space-time

International Nuclear Information System (INIS)

Ramanathan, R.

1986-04-01

An extended and more rigorous version of a recent proposal for an objective stochastic formulation of quantum mechanics along with its extension to the relativistic case without spin is presented. The relativistic Klein-Gordon equation is shown to be a particular form of the relativistic Kolmogorov-Fokker-Planck equation which is derived from a covariant formulation of the Chapman-Kolmogorov condition. Complexification of probability amplitudes is again achieved only through a conformal rotation of Minkowski space-time M 4 . (author)

Quantum geometry in dynamical Regge calculus

International Nuclear Information System (INIS)

Hagura, Hiroyuki

2002-01-01

We study geometric properties of dynamical Regge calculus which is a hybridization of dynamical triangulation and quantum Regge calculus. Lattice diffeomorphisms are generated by certain elementary moves on a simplicial lattice in the hybrid model. At the semiclassical level, we discuss a possibility that the lattice diffeomorphisms give a simple explanation for the Bekenstein-Hawking entropy of a black hole. At the quantum level, numerical calculations of 3D pure gravity show that a fractal structure of the hybrid model is the same as that of dynamical triangulation in the strong-coupling phase. In the weak-coupling phase, on the other hand, space-time becomes a spiky configuration, which often occurs in quantum Regge calculus

Differential calculus and its applications

CERN Document Server

Field, Michael J

2013-01-01

Based on undergraduate courses in advanced calculus, the treatment covers a wide range of topics, from soft functional analysis and finite-dimensional linear algebra to differential equations on submanifolds of Euclidean space. 1976 edition.

Stochastic quantization of Einstein gravity

International Nuclear Information System (INIS)

Rumpf, H.

1986-01-01

We determine a one-parameter family of covariant Langevin equations for the metric tensor of general relativity corresponding to DeWitt's one-parameter family of supermetrics. The stochastic source term in these equations can be expressed in terms of a Gaussian white noise upon the introduction of a stochastic tetrad field. The only physically acceptable resolution of a mathematical ambiguity in the ansatz for the source term is the adoption of Ito's calculus. By taking the formal equilibrium limit of the stochastic metric a one-parameter family of covariant path-integral measures for general relativity is obtained. There is a unique parameter value, distinguished by any one of the following three properties: (i) the metric is harmonic with respect to the supermetric, (ii) the path-integral measure is that of DeWitt, (iii) the supermetric governs the linearized Einstein dynamics. Moreover the Feynman propagator corresponding to this parameter is causal. Finally we show that a consistent stochastic perturbation theory gives rise to a new type of diagram containing ''stochastic vertices.''

Stochastic and infinite dimensional analysis

CERN Document Server

Carpio-Bernido, Maria; Grothaus, Martin; Kuna, Tobias; Oliveira, Maria; Silva, José

2016-01-01

This volume presents a collection of papers covering applications from a wide range of systems with infinitely many degrees of freedom studied using techniques from stochastic and infinite dimensional analysis, e.g. Feynman path integrals, the statistical mechanics of polymer chains, complex networks, and quantum field theory. Systems of infinitely many degrees of freedom create their particular mathematical challenges which have been addressed by different mathematical theories, namely in the theories of stochastic processes, Malliavin calculus, and especially white noise analysis. These proceedings are inspired by a conference held on the occasion of Prof. Ludwig Streit’s 75th birthday and celebrate his pioneering and ongoing work in these fields.

Answers to selected problems in multivariable calculus with linear algebra and series

CERN Document Server

Trench, William F

1972-01-01

Answers to Selected Problems in Multivariable Calculus with Linear Algebra and Series contains the answers to selected problems in linear algebra, the calculus of several variables, and series. Topics covered range from vectors and vector spaces to linear matrices and analytic geometry, as well as differential calculus of real-valued functions. Theorems and definitions are included, most of which are followed by worked-out illustrative examples.The problems and corresponding solutions deal with linear equations and matrices, including determinants; vector spaces and linear transformations; eig

From stochastic phase space evolution to Brownian motion in collective space

International Nuclear Information System (INIS)

Benhassine, B.; Farine, M.; Hernandez, E.S.; Idier, D.; Remaud, B.; Sebille, F.

1993-01-01

Within the framework of stochastic transport equations in phase space, the dynamics of fluctuations on collective variables in homogeneous fermion systems is studied. The transport coefficients are formally deduced in the relaxation time approximation and a general method to compute dynamically the dispersions of collective observables is proposed as a set of coupled equations. Independently, the general covariance matrix of phase space fluctuations and the dispersion on collective variables at equilibrium are derived. Detailed numerical applications show that dynamics of fluctuations can be extracted from noisy numerical simulations and that the leading parameter for collective fluctuations is the excitation energy whatever is its degree of thermalization. (authors). 16 refs., 12 figs

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

Science.gov (United States)

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

2014-01-01

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

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

A Hull and White Formula for a General Stochastic Volatility Jump-Diffusion Model with Applications to the Study of the Short-Time Behavior of the Implied Volatility

Directory of Open Access Journals (Sweden)

Elisa Alòs

2008-01-01

Full Text Available We obtain a Hull and White type formula for a general jump-diffusion stochastic volatility model, where the involved stochastic volatility process is correlated not only with the Brownian motion driving the asset price but also with the asset price jumps. Towards this end, we establish an anticipative Itô's formula, using Malliavin calculus techniques for Lévy processes on the canonical space. As an application, we show that the dependence of the volatility process on the asset price jumps has no effect on the short-time behavior of the at-the-money implied volatility skew.

Simulation and inference for stochastic processes with YUIMA a comprehensive R framework for SDEs and other stochastic processes

CERN Document Server

Iacus, Stefano M

2018-01-01

The YUIMA package is the first comprehensive R framework based on S4 classes and methods which allows for the simulation of stochastic differential equations driven by Wiener process, Lévy processes or fractional Brownian motion, as well as CARMA processes. The package performs various central statistical analyses such as quasi maximum likelihood estimation, adaptive Bayes estimation, structural change point analysis, hypotheses testing, asynchronous covariance estimation, lead-lag estimation, LASSO model selection, and so on. YUIMA also supports stochastic numerical analysis by fast computation of the expected value of functionals of stochastic processes through automatic asymptotic expansion by means of the Malliavin calculus. All models can be multidimensional, multiparametric or non parametric.The book explains briefly the underlying theory for simulation and inference of several classes of stochastic processes and then presents both simulation experiments and applications to real data. Although these ...

Stochastic calculus of protein filament formation under spatial confinement

Science.gov (United States)

Michaels, Thomas C. T.; Dear, Alexander J.; Knowles, Tuomas P. J.

2018-05-01

The growth of filamentous aggregates from precursor proteins is a process of central importance to both normal and aberrant biology, for instance as the driver of devastating human disorders such as Alzheimer's and Parkinson's diseases. The conventional theoretical framework for describing this class of phenomena in bulk is based upon the mean-field limit of the law of mass action, which implicitly assumes deterministic dynamics. However, protein filament formation processes under spatial confinement, such as in microdroplets or in the cellular environment, show intrinsic variability due to the molecular noise associated with small-volume effects. To account for this effect, in this paper we introduce a stochastic differential equation approach for investigating protein filament formation processes under spatial confinement. Using this framework, we study the statistical properties of stochastic aggregation curves, as well as the distribution of reaction lag-times. Moreover, we establish the gradual breakdown of the correlation between lag-time and normalized growth rate under spatial confinement. Our results establish the key role of spatial confinement in determining the onset of stochasticity in protein filament formation and offer a formalism for studying protein aggregation kinetics in small volumes in terms of the kinetic parameters describing the aggregation dynamics in bulk.

On Functional Calculus Estimates

NARCIS (Netherlands)

Schwenninger, F.L.

2015-01-01

This thesis presents various results within the field of operator theory that are formulated in estimates for functional calculi. Functional calculus is the general concept of defining operators of the form $f(A)$, where f is a function and $A$ is an operator, typically on a Banach space. Norm

On the Lipschitz condition in the fractal calculus

International Nuclear Information System (INIS)

Golmankhaneh, Alireza K.; Tunc, Cemil

2017-01-01

In this paper, the existence and uniqueness theorems are proved for the linear and non-linear fractal differential equations. The fractal Lipschitz condition is given on the F"α-calculus which applies for the non-differentiable function in the sense of the standard calculus. More, the metric spaces associated with fractal sets and about functions with fractal supports are defined to build fractal Cauchy sequence. Furthermore, Picard iterative process in the F"α-calculus which have important role in the numerical and approximate solution of fractal differential equations is explored. We clarify the results using the illustrative examples.

Discrete quantum gravitation in formalism of Regge calculus

International Nuclear Information System (INIS)

Khatsimovskij, V.M.

2005-01-01

One deals with approach to the discrete quantum gravitation in terms of the Regge calculus formalism. The Regge calculus represents the general relativity theory for the Riemann varieties - the piecewise planar varieties. The Regge calculus makes use of the discrete set of variables, triangulation lengths, and contains the continuous general relativity theory serving as a limiting special case when lengths tend to zero. In terms of our approach the quantum mean values of the mentioned lengths differ from zero and 10 -33 cm Planck length and it implies the discrete structure of space-time at the mentioned scales [ru

On estimation of stochastic forcing with application to El Niño

Science.gov (United States)

Penland, C.

2014-12-01

Although Linear Inverse Modeling (LIM) provides skillful forecasts of tropical ocean sea surface temperatures, LIM's diagnostic properties are at least as useful as its prognostic properties. In this presentation, we discuss an updated method for using LIM to obtain time series representing stochastic forcing of El Niño and to quantify particular unpredictable contributions to LIM forecast error. Attention is paid to the proper stochastic calculus and to the time scale separation between the stochastic forcing and El Niño's signal. The method yields seldom-considered sources of El Niño's stochastic forcing.

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

From stochastic phase-space evolution to brownian motion in collective space

Energy Technology Data Exchange (ETDEWEB)

Benhassine, B. (Lab. de Physique Nucleaire/ CNRS et Univ. de Nantes, 44 Nantes (France)); Farine, M. (Lab. de Physique Nucleaire/ CNRS et Univ. de Nantes, 44 Nantes (France) Ecole Navale, Lamveoc-Loulmic, 29 Brest-Naval (France)); Hernandez, E.S. (Dept. de Fisica - Facultad de Ciencias Exactas y Naturales, Univ. de Buenos Aires (Argentina)); Idier, D. (Lab. de Physique Nucleaire/ CNRS et Univ. de Nantes, 44 Nantes (France)); Remaud, B. (Lab. de Physique Nucleaire/ CNRS et Univ. de Nantes, 44 Nantes (France)); Sebille, F. (Lab. de Physique Nucleaire/ CNRS et Univ. de Nantes, 44 Nantes (France))

1994-01-24

Within the framework of stochastic transport equations in phase space, we study the dynamics of fluctuations on collective variables in homogeneous fermion systems. The transport coefficients are formally deduced in the relaxation-time approximation and a general method to compute dynamically the dispersions of collective observables is proposed as a set of coupled equations: respectively, the BUU/Landau-Vlasov equation for the average phase-space trajectories and the equations for the averages and dispersions of the observables. Independently, we derive the general covariance matrix of phase-space fluctuations and then by projection, the dispersion on collective variables at equilibrium. Detailed numerical applications of the formalism are given; they show that the dynamics of fluctuations can be extracted from noisy numerical simulations and that the leading parameter for collective fluctuations is the excitation energy, whatever is its degree of thermalization. (orig.)

From stochastic phase-space evolution to brownian motion in collective space

International Nuclear Information System (INIS)

Benhassine, B.; Farine, M.; Hernandez, E.S.; Idier, D.; Remaud, B.; Sebille, F.

1994-01-01

Within the framework of stochastic transport equations in phase space, we study the dynamics of fluctuations on collective variables in homogeneous fermion systems. The transport coefficients are formally deduced in the relaxation-time approximation and a general method to compute dynamically the dispersions of collective observables is proposed as a set of coupled equations: respectively, the BUU/Landau-Vlasov equation for the average phase-space trajectories and the equations for the averages and dispersions of the observables. Independently, we derive the general covariance matrix of phase-space fluctuations and then by projection, the dispersion on collective variables at equilibrium. Detailed numerical applications of the formalism are given; they show that the dynamics of fluctuations can be extracted from noisy numerical simulations and that the leading parameter for collective fluctuations is the excitation energy, whatever is its degree of thermalization. (orig.)

A measure theoretical approach to quantum stochastic processes

CERN Document Server

Von Waldenfels, Wilhelm

2014-01-01

This monograph takes as starting point that abstract quantum stochastic processes can be understood as a quantum field theory in one space and in one time coordinate. As a result it is appropriate to represent operators as power series of creation and annihilation operators in normal-ordered form, which can be achieved using classical measure theory. Considering in detail four basic examples (e.g. a two-level atom coupled to a heat bath of oscillators), in each case the Hamiltonian of the associated one-parameter strongly continuous group is determined and the spectral decomposition is explicitly calculated in the form of generalized eigen-vectors. Advanced topics include the theory of the Hudson-Parthasarathy equation and the amplified oscillator problem. To that end, a chapter on white noise calculus has also been included.

Linear stochastic differential equations with anticipating initial conditions

DEFF Research Database (Denmark)

Khalifa, Narjess; Kuo, Hui-Hsiung; Ouerdiane, Habib

In this paper we use the new stochastic integral introduced by Ayed and Kuo (2008) and the results obtained by Kuo et al. (2012b) to find a solution to a drift-free linear stochastic differential equation with anticipating initial condition. Our solution is based on well-known results from...... classical Itô theory and anticipative Itô formula results from Kue et al. (2012b). We also show that the solution obtained by our method is consistent with the solution obtained by the methods of Malliavin calculus, e.g. Buckdahn and Nualart (1994)....

Functional calculus for C0-semigroups using infinite-dimensional systems theory

NARCIS (Netherlands)

Schwenninger, F.L.; Zwart, Hans; Arendt, Wolfgang; Chill, Ralph; Tomilov, Yuri

2015-01-01

In this short note we use ideas from systems theory to define a functional calculus for infinitesimal generators of strongly continuous semigroups on a Hilbert space. Among others, we show how this leads to new proofs of (known) results in functional calculus.

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.

A discrete phase-space calculus for quantum spins based on a reconstruction method using coherent states

International Nuclear Information System (INIS)

Weigert, S.

1999-01-01

To reconstruct a mixed or pure quantum state of a spin s is possible through coherent states: its density matrix is fixed by the probabilities to measure the value s along 4s(s+1) appropriately chosen directions in space. Thus, after inverting the experimental data, the statistical operator is parametrized entirely by expectation values. On this basis, a symbolic calculus for quantum spins is developed, the e xpectation-value representation . It resembles the Moyal representation for SU(2) but two important differences exist. On the one hand, the symbols take values on a discrete set of points in phase space only. On the other hand, no quasi-probabilities - that is, phase-space distributions with negative values - are encountered in this approach. (Author)

The Schrödinger–Robinson inequality from stochastic analysis on a complex Hilbert space

International Nuclear Information System (INIS)

Khrennikov, Andrei

2013-01-01

We explored the stochastic analysis on a complex Hilbert space to show that one of the cornerstones of quantum mechanics (QM), namely Heisenberg's uncertainty relation, can be derived in the classical probabilistic framework. We created a new mathematical representation of quantum averages: as averages with respect to classical random fields. The existence of a classical stochastic model matching with Heisenberg's uncertainty relation makes the connection between classical and quantum probabilistic models essentially closer. In real physical situations, random fields are valued in the L 2 -space. Hence, although we model QM and not QFT, the classical systems under consideration have an infinite number of degrees of freedom. And in our modeling, infinite-dimensional stochastic analysis is the basic mathematical tool. (comment)

Continuation calculus

NARCIS (Netherlands)

Geron, B.; Geuvers, J.H.; de'Liguoro, U.; Saurin, A.

2013-01-01

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

A differential calculus for random matrices with applications to (max,+)-linear stochastic systems

NARCIS (Netherlands)

Heidergott, B.F.

2001-01-01

We introducet he concept of weak differentiabilityf or randomm atricesa nd therebyo btain closedform analytical expressions for derivatives of functions of random matrices. More specifically, we develop a calculus of weak differentiationf or randomm atricest hat resembles the standardc alculus of

The fundamental theorem of linearised Regge calculus

International Nuclear Information System (INIS)

Barrett, J.W.

1987-01-01

In linearised Regge calculus in a topologically trivial region, the space of linearised deviations of the edge lengths from a flat configuration, divided by the subspace of deformations due to translations of the vertices, is equivalent to the space of the linearised curvatures which satisfy the Bianchi identities. (orig.)

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…

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

Continuous local martingales and stochastic integration in UMD Banach spaces

NARCIS (Netherlands)

Veraar, M.C.

2007-01-01

Recently, van Neerven, Weis and the author, constructed a theory for stochastic integration of UMD Banach space valued processes. Here the authors use a (cylindrical) Brownian motion as an integrator. In this note we show how one can extend these results to the case where the integrator is an

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

Stochastic analysis of biochemical systems

CERN Document Server

Anderson, David F

2015-01-01

This book focuses on counting processes and continuous-time Markov chains motivated by examples and applications drawn from chemical networks in systems biology.  The book should serve well as a supplement for courses in probability and stochastic processes.  While the material is presented in a manner most suitable for students who have studied stochastic processes up to and including martingales in continuous time, much of the necessary background material is summarized in the Appendix. Students and Researchers with a solid understanding of calculus, differential equations, and elementary probability and who are well-motivated by the applications will find this book of interest.    David F. Anderson is Associate Professor in the Department of Mathematics at the University of Wisconsin and Thomas G. Kurtz is Emeritus Professor in the Departments of Mathematics and Statistics at that university. Their research is focused on probability and stochastic processes with applications in biology and other ar...

Noise Analysis of Single-Ended Input Differential Amplifier using Stochastic Differential Equation

OpenAIRE

Tarun Kumar Rawat; Abhirup Lahiri; Ashish Gupta

2008-01-01

In this paper, we analyze the effect of noise in a single- ended input differential amplifier working at high frequencies. Both extrinsic and intrinsic noise are analyzed using time domain method employing techniques from stochastic calculus. Stochastic differential equations are used to obtain autocorrelation functions of the output noise voltage and other solution statistics like mean and variance. The analysis leads to important design implications and suggests changes in the device parame...

Quantum probability for probabilists

CERN Document Server

Meyer, Paul-André

1993-01-01

In recent years, the classical theory of stochastic integration and stochastic differential equations has been extended to a non-commutative set-up to develop models for quantum noises. The author, a specialist of classical stochastic calculus and martingale theory, tries to provide anintroduction to this rapidly expanding field in a way which should be accessible to probabilists familiar with the Ito integral. It can also, on the other hand, provide a means of access to the methods of stochastic calculus for physicists familiar with Fock space analysis.

On a modification of the spinor calculus of Infeeld and van der Waerden

International Nuclear Information System (INIS)

Buchdahl, H.A.

1990-01-01

A modification of the spinor calculus of Infeeld and van der Waerden is presented in which σ kμν is no longer covariant constant. The structure of spin space is enriched by a spinor f μνρσ defined on it. Flatness of the Riemannian world space no longer necessarily entails the vanishing of the curvature of the spin space. After a brief look at Dirac's equation, the revised calculus is re-interpreted in terms of a Riemann-Cartan space, with σ kμν again covariant constant. (author)

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

Multivariable calculus and differential geometry

CERN Document Server

Walschap, Gerard

2015-01-01

This text is a modern in-depth study of the subject that includes all the material needed from linear algebra. It then goes on to investigate topics in differential geometry, such as manifolds in Euclidean space, curvature, and the generalization of the fundamental theorem of calculus known as Stokes' theorem.

Stochastic analysis for finance with simulations

CERN Document Server

Choe, Geon Ho

2016-01-01

This book is an introduction to stochastic analysis and quantitative finance; it includes both theoretical and computational methods. Topics covered are stochastic calculus, option pricing, optimal portfolio investment, and interest rate models. Also included are simulations of stochastic phenomena, numerical solutions of the Black–Scholes–Merton equation, Monte Carlo methods, and time series. Basic measure theory is used as a tool to describe probabilistic phenomena. The level of familiarity with computer programming is kept to a minimum. To make the book accessible to a wider audience, some background mathematical facts are included in the first part of the book and also in the appendices. This work attempts to bridge the gap between mathematics and finance by using diagrams, graphs and simulations in addition to rigorous theoretical exposition. Simulations are not only used as the computational method in quantitative finance, but they can also facilitate an intuitive and deeper understanding of theoret...

Regge calculus from discontinuous metrics

International Nuclear Information System (INIS)

Khatsymovsky, V.M.

2003-01-01

Regge calculus is considered as a particular case of the more general system where the linklengths of any two neighbouring 4-tetrahedra do not necessarily coincide on their common face. This system is treated as that one described by metric discontinuous on the faces. In the superspace of all discontinuous metrics the Regge calculus metrics form some hypersurface defined by continuity conditions. Quantum theory of the discontinuous metric system is assumed to be fixed somehow in the form of quantum measure on (the space of functionals on) the superspace. The problem of reducing this measure to the Regge hypersurface is addressed. The quantum Regge calculus measure is defined from a discontinuous metric measure by inserting the δ-function-like phase factor. The requirement that continuity conditions be imposed in a 'face-independent' way fixes this factor uniquely. The term 'face-independent' means that this factor depends only on the (hyper)plane spanned by the face, not on it's form and size. This requirement seems to be natural from the viewpoint of existence of the well-defined continuum limit maximally free of lattice artefacts

Dynamics of stochastic systems

CERN Document Server

Klyatskin, Valery I

2005-01-01

Fluctuating parameters appear in a variety of physical systems and phenomena. They typically come either as random forces/sources, or advecting velocities, or media (material) parameters, like refraction index, conductivity, diffusivity, etc. The well known example of Brownian particle suspended in fluid and subjected to random molecular bombardment laid the foundation for modern stochastic calculus and statistical physics. Other important examples include turbulent transport and diffusion of particle-tracers (pollutants), or continuous densities (''''oil slicks''''), wave propagation and scattering in randomly inhomogeneous media, for instance light or sound propagating in the turbulent atmosphere.Such models naturally render to statistical description, where the input parameters and solutions are expressed by random processes and fields.The fundamental problem of stochastic dynamics is to identify the essential characteristics of system (its state and evolution), and relate those to the input parameters of ...

Séminaire de probabilités XL

CERN Document Server

Émery, Michel; Rouault, Alain; Stricker, Christophe

2007-01-01

Two noteworthy features of the 40th volume of the Séminaire de Probabilités are L. Coutin’s advanced course on calculus driven by fractional Brownian motion, and a series of seven interrelated works on local time-space calculus. Other topics from stochastic processes and stochastic finance include three contributions by A.S. Cherny on general approaches to arbitrage pricing.

Development of a generalized stochastic model for the analysis of monoenergetic space-time nuclear factor Kinetics

International Nuclear Information System (INIS)

Pham, Nhu Viet Ha

2011-02-01

To predict the space-time dependent behavior of a nuclear reactor, the conventional space-dependent kinetics equations are widely used for treating the spatial variables. However, the solutions of such deterministic space-dependent kinetics equations, which give only the mean values of the neutron population and the delayed neutron precursor concentrations, do not offer sufficient insight into the actual dynamic processes within a reactor, where the interacting populations vary randomly with space and time. It is also noted that at high power levels, the random behavior of a reactor is negligible but at low power levels, such as at start-up, random fluctuations in population dynamics can be significant. To mathematically describe the evolution of the state of a nuclear reactor using a set of stochastic kinetics equations, the forward stochastic model (FSM) in stochastic kinetics theory is devised through the concept of reactor transition probability and its probability generating function as the spatial domain of a reactor is partitioned into a number of space cells. Nevertheless, the FSM equations for the mean value of neutron and precursor distribution are deterministic-like. Furthermore, the numerical treatment of the FSM equations for the means, variances, and covariances is quite complicated and time-consuming. In the present study, a generalized stochastic model (called the stochastic space-dependent kinetics model or SSKM) based on the FSM and the Its stochastic differential equations was newly developed for the analysis of monoenergetic spacetime nuclear reactor kinetics in one dimension. First, the FSM equations for determining the mean values of neutron and delayed-neutron precursor populations were considered as the deterministic ones without taking into account their variances and covariances. Second, the system of interest was randomized again in the light of the Its stochastic differential equations in order to derive the SSKM. The proposed model

Modular invariance and covariant loop calculus

International Nuclear Information System (INIS)

Petersen, J.L.; Roland, K.O.; Sidenius, J.R.

1988-01-01

The covariant loop calculus provides an efficient technique for computing explicit expressions for the density on moduli space corresponding to arbitrary (bosonic string) loop diagrams. Since modular invariance is not manifest, however, we carry out a detailed comparison with known explicit two- and three-loop results derived using analytic geometry (one loop is known to be okay). We establish identity to 'high' order in some moduli and exactly in others. Agreement is found as a result of various nontrivial cancellations, in part related to number theory. We feel our results provide very strong support for the correctness of the covariant loop calculus approach. (orig.)

Modular invariance and covariant loop calculus

International Nuclear Information System (INIS)

Petersen, J.L.; Roland, K.O.; Sidenius, J.R.

1988-01-01

The covariant loop calculus provides and efficient technique for computing explicit expressions for the density on moduli space corresponding to arbitrary (bosonic string) loop diagrams. Since modular invariance is not manifest, however, we carry out a detailed comparison with known explicit 2- and 3- loop results derived using analytic geometry (1 loop is known to be ok). We establish identity to 'high' order in some moduli and exactly in others. Agreement is found as a result of various non-trivial cancellations, in part related to number theory. We feel our results provide very strong support for the correctness of the covariant loop calculus approach. (orig.)

Born's reciprocity principle in stochastic phase space

International Nuclear Information System (INIS)

Prugovecki, E.

1981-01-01

It is shown that the application of Born's reciprocity principle to relativistic quantum mechanics in stochastic phase space (by the requirement that the proper wave functions of extended particles satisfy the Born-Lande as well as the Klein-Gordon equation) leads to the unique determination of these functions for any given value of their rms radius. The resulting particle propagators display not only Lorentz but also reciprocal invariance. This feature remains true even in the case of mass-zero particles, such as photons, when their localization is achieved by means of extended test particles whose proper wave functions obey the reciprocity principle. (author)

Vector Differential Calculus

OpenAIRE

HITZER, Eckhard MS

2002-01-01

This paper treats the fundamentals of the vector differential calculus part of universal geometric calculus. Geometric calculus simplifies and unifies the structure and notation of mathematics for all of science and engineering, and for technological applications. In order to make the treatment self-contained, I first compile all important geometric algebra relationships,which are necesssary for vector differential calculus. Then differentiation by vectors is introduced and a host of major ve...

The impact of taking a college pre-calculus course on students' college calculus performance

Science.gov (United States)

Sonnert, Gerhard; Sadler, Philip M.

2014-11-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 four-year colleges continues to grow, and these courses are well-populated with students who already took pre-calculus in high school. We examine student performance in college calculus, using regression discontinuity to estimate the effects of taking college pre-calculus or not, in a national US sample of 5507 students at 132 institutions. We find that students who take college pre-calculus do not earn higher calculus grades.

Integration on supermanifolds and a generalized Cartan calculus

International Nuclear Information System (INIS)

Picken, R.F.; Sundermeyer, K.

1986-01-01

A suggestion by Berezin for a method of integration on supermanifolds is given a precise differential geometric meaning by assuming that a supermanifold is the total space of a fibre bundle with connection. The relevant objects for integration are identified as suitable horizontal/vertical projections of hyperforms. The latter are generalizations of differential forms having both covariant and contravariant indices. The exterior calculus of these projected hyperforms is developed, analogously to the Cartan calculus, by introducing appropriate derivations and determining their commutators, respectively anticommutators. (orig.)

Study on bioactive compounds of in vitro cultured Calculus Suis and natural Calculus Bovis.

Science.gov (United States)

Wan, Tien-Chun; Cheng, Fu-Yuan; Liu, Yu-Tse; Lin, Liang-Chuan; Sakata, Ryoichi

2009-12-01

The purpose of the study was to investigate bioactive compounds of in vitro cultured Calculus Suis and natural Calculus Bovis obtained as valuable by-products from animals used for meat production. The results showed that the components of natural Calculus Bovis were rich in bilirubin and biliverdin and had higher content of essential amino acids. The major amino acids of in vitro cultured Calculus Suis were identified as glycine, alanine, glutamic acid and aspartic acid, and those for natural Calculus Bovis were found to be glutamic acid, aspartic acid, proline, and arginine. The methionine and cysteine contents of precursors for glutathione in natural Calculus Bovis were significantly higher than those of in vitro cultured Calculus Suis. The mineral contents of zinc, iron and manganese of natural Calculus Bovis were significantly higher than those of in vitro cultured Calculus Suis. The major bile acids in both products were cholic acid and dehydrocholic acid, respectively. The chenodeoxycholic and ursodeoxycholic acid content of in vitro cultured Calculus Suis was significantly higher than that of natural Calculus Bovis.

Collective enhancement of inclusive cross sections at large transverse momentum in stochastic-field multiparticle theory

International Nuclear Information System (INIS)

Arnold, R.C.

1976-01-01

A stochastic-field calculus, previously discussed in connection with Regge intercepts and instability questions, is applied to inclusive cross sections, and is shown to predict a growth with energy of large-P/perpendicular/ to inclusives

Length expectation values in quantum Regge calculus

International Nuclear Information System (INIS)

Khatsymovsky, V.M.

2004-01-01

Regge calculus configuration superspace can be embedded into a more general superspace where the length of any edge is defined ambiguously depending on the 4-tetrahedron containing the edge. Moreover, the latter superspace can be extended further so that even edge lengths in each the 4-tetrahedron are not defined, only area tensors of the 2-faces in it are. We make use of our previous result concerning quantization of the area tensor Regge calculus which gives finite expectation values for areas. Also our result is used showing that quantum measure in the Regge calculus can be uniquely fixed once we know quantum measure on (the space of the functionals on) the superspace of the theory with ambiguously defined edge lengths. We find that in this framework quantization of the usual Regge calculus is defined up to a parameter. The theory may possess nonzero (of the order of Planck scale) or zero length expectation values depending on whether this parameter is larger or smaller than a certain value. Vanishing length expectation values means that the theory is becoming continuous, here dynamically in the originally discrete framework

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.

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

DEFF Research Database (Denmark)

Aguirre, Alejandro; Barthe, Gilles; Birkedal, Lars

2018-01-01

We extend the simply-typed guarded $\\lambda$-calculus with discrete probabilities and endow it with a program logic for reasoning about relational properties of guarded probabilistic computations. This provides a framework for programming and reasoning about infinite stochastic processes like Mar...... literature to justify better proof rules for relational reasoning about probabilistic expressions. We illustrate these benefits with a broad range of examples that were beyond the scope of previous systems, including shift couplings and lump couplings between random walks....

Tuplix Calculus

OpenAIRE

Bergstra, J. A.; Ponse, A.; van der Zwaag, M. B.

2007-01-01

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

Graded tensor calculus

International Nuclear Information System (INIS)

Scheunert, M.

1982-10-01

We develop a graded tensor calculus corresponding to arbitrary Abelian groups of degrees and arbitrary commutation factors. The standard basic constructions and definitions like tensor products, spaces of multilinear mappings, contractions, symmetrization, symmetric algebra, as well as the transpose, adjoint, and trace of a linear mapping, are generalized to the graded case and a multitude of canonical isomorphisms is presented. Moreover, the graded versions of the classical Lie algebras are introduced and some of their basic properties are described. (orig.)

State Space Models and the Kalman-Filter in Stochastic Claims Reserving: Forecasting, Filtering and Smoothing

Directory of Open Access Journals (Sweden)

Nataliya Chukhrova

2017-05-01

Full Text Available This paper gives a detailed overview of the current state of research in relation to the use of state space models and the Kalman-filter in the field of stochastic claims reserving. Most of these state space representations are matrix-based, which complicates their applications. Therefore, to facilitate the implementation of state space models in practice, we present a scalar state space model for cumulative payments, which is an extension of the well-known chain ladder (CL method. The presented model is distribution-free, forms a basis for determining the entire unobservable lower and upper run-off triangles and can easily be applied in practice using the Kalman-filter for prediction, filtering and smoothing of cumulative payments. In addition, the model provides an easy way to find outliers in the data and to determine outlier effects. Finally, an empirical comparison of the scalar state space model, promising prior state space models and some popular stochastic claims reserving methods is performed.

How the geometric calculus resolves the ordering ambiguity of quantum theory in curved space

International Nuclear Information System (INIS)

Pavsic, Matej

2003-01-01

The long standing problem of the ordering ambiguity in the definition of the Hamilton operator for a point particle in curved space is naturally resolved by using the powerful geometric calculus based on Clifford algebra. The momentum operator is defined to be the vector derivative (the gradient) multiplied by -i; it can be expanded in terms of basis vectors γ μ as p = -iγ μ ∂ μ . The product of two such operators is unambiguous, and such is the Hamiltonian which is just the d'Alembert operator in curved space; the curvature scalar term is not present in the Hamiltonian if we confine our consideration to scalar wavefunctions only. It is also shown that p is Hermitian and a self-adjoint operator: the presence of the basis vectors γ μ compensates the presence of √|g| in the matrix elements and in the scalar product. The expectation value of such an operator follows the classical geodetic line

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

DEFF Research Database (Denmark)

Song, Lei; Godskesen, Jens Christian

2012-01-01

topology constraint. We allow continuous time stochastic behavior of processes running at network nodes, e.g. in order to be able to model randomized protocols. The introduction of group broadcast and an operator to help avoid flooding allows us to define a novel notion of broadcast abstraction. Finally......, we define a weak bisimulation congruence and apply our theory on an example of a leader election protocol....

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.

The dynamics of stochastic processes

DEFF Research Database (Denmark)

Basse-O'Connor, Andreas

In the present thesis the dynamics of stochastic processes is studied with a special attention to the semimartingale property. This is mainly motivated by the fact that semimartingales provide the class of the processes for which it is possible to define a reasonable stochastic calculus due...... to the Bichteler-Dellacherie Theorem. The semimartingale property of Gaussian processes is characterized in terms of their covariance function, spectral measure and spectral representation. In addition, representation and expansion of filtration results are provided as well. Special attention is given to moving...... average processes, and when the driving process is a Lévy or a chaos process the semimartingale property is characterized in the filtration spanned by the driving process and in the natural filtration when the latter is a Brownian motion. To obtain some of the above results an integrability of seminorm...

Stochastic and deterministic models to evaluate the critical distance of a near surface repository for the disposal of intermediate and low level radioactive wastes

Energy Technology Data Exchange (ETDEWEB)

Alves, A.S.M., E-mail: asergi@eletronuclear.gov.br [Eletrobrás Termonuclear – Eletronuclear S.A. , Rua da Candelária 65, 7° andar, GSN.T, 20091-906 Rio de Janeiro, RJ (Brazil); Melo, P.F. Frutuoso e, E-mail: frutuoso@nuclear.ufrj.br [Graduate Program of Nuclear Engineering, COPPE, Federal University of Rio de Janeiro, Av. Horácio Macedo 2030, Bloco G, sala 206, 21941-914 Rio de Janeiro, RJ (Brazil); Passos, E.M., E-mail: epassos@eletronuclear.gov.br [Eletrobrás Termonuclear – Eletronuclear S.A. , Rua da Candelária 65, 7° andar, GSN.T, 20091-906 Rio de Janeiro, RJ (Brazil); Fontes, G.S., E-mail: gsfontes@hotmail.com [Instituto Militar de Engenharia – IME, Praça General Tibúrcio 80, 22290-270 Rio de Janeiro, RJ (Brazil)

2015-06-15

Highlights: • The water infiltration scenario is evaluated for a near surface repository. • The main objective is the determination of the critical distance of the repository. • The column liquid height in the repository is governed by an Ito stochastic equation. • Practical results are obtained for the Abadia de Goiás repository in Brazil. - Abstract: The aim of this paper is to present the stochastic and deterministic models developed for the evaluation of the critical distance of a near surface repository for the disposal of intermediate (ILW) and low level (LLW) radioactive wastes. The critical distance of a repository is defined as the distance between the repository and a well in which the water activity concentration is able to cause a radiological dose to a member of the public equal to the dose limit set by the regulatory body. The mathematical models are developed based on the Richards equation for the liquid flow in the porous media and on the solute transport equation in this medium. The release of radioactive material from the repository to the environment is considered through its base and its flow is determined by Darcy's Law. The deterministic model is obtained from the stochastic approach by neglecting the influence of the Gaussian white noise on the rainfall and the equations are solved analytically with the help of conventional calculus (non-stochastic calculus). The equations of the stochastic model are solved analytically based on the Ito stochastic calculus and numerically by using the Euler–Maruyama method. The impact on the value of the critical distance of the Abadia de Goiás repository is analyzed, taken as a study case, when the deterministic methodology is replaced by the stochastic one, considered more appropriate for modeling rainfall as a stochastic process.

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

Fock space, symbolic algebra, and analytical solutions for small stochastic systems.

Science.gov (United States)

Santos, Fernando A N; Gadêlha, Hermes; Gaffney, Eamonn A

2015-12-01

Randomness is ubiquitous in nature. From single-molecule biochemical reactions to macroscale biological systems, stochasticity permeates individual interactions and often regulates emergent properties of the system. While such systems are regularly studied from a modeling viewpoint using stochastic simulation algorithms, numerous potential analytical tools can be inherited from statistical and quantum physics, replacing randomness due to quantum fluctuations with low-copy-number stochasticity. Nevertheless, classical studies remained limited to the abstract level, demonstrating a more general applicability and equivalence between systems in physics and biology rather than exploiting the physics tools to study biological systems. Here the Fock space representation, used in quantum mechanics, is combined with the symbolic algebra of creation and annihilation operators to consider explicit solutions for the chemical master equations describing small, well-mixed, biochemical, or biological systems. This is illustrated with an exact solution for a Michaelis-Menten single enzyme interacting with limited substrate, including a consideration of very short time scales, which emphasizes when stiffness is present even for small copy numbers. Furthermore, we present a general matrix representation for Michaelis-Menten kinetics with an arbitrary number of enzymes and substrates that, following diagonalization, leads to the solution of this ubiquitous, nonlinear enzyme kinetics problem. For this, a flexible symbolic maple code is provided, demonstrating the prospective advantages of this framework compared to stochastic simulation algorithms. This further highlights the possibilities for analytically based studies of stochastic systems in biology and chemistry using tools from theoretical quantum physics.

A course in advanced calculus

CERN Document Server

Borden, Robert S

1997-01-01

This remarkable undergraduate-level text offers a study in calculus that simultaneously unifies the concepts of integration in Euclidean space while at the same time giving students an overview of other areas intimately related to mathematical analysis. The author achieves this ambitious undertaking by shifting easily from one related subject to another. Thus, discussions of topology, linear algebra, and inequalities yield to examinations of innerproduct spaces, Fourier series, and the secret of Pythagoras. Beginning with a look at sets and structures, the text advances to such topics as lim

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

The interpolation method of stochastic functions and the stochastic variational principle

International Nuclear Information System (INIS)

Liu Xianbin; Chen Qiu

1993-01-01

Uncertainties have been attaching more importance to increasingly in modern engineering structural design. Viewed on an appropriate scale, the inherent physical attributes (material properties) of many structural systems always exhibit some patterns of random variation in space and time, generally the random variation shows a small parameter fluctuation. For a linear mechanical system, the random variation is modeled as a random one of a linear partial differential operator and, in stochastic finite element method, a random variation of a stiffness matrix. Besides the stochasticity of the structural physical properties, the influences of random loads which always represent themselves as the random boundary conditions bring about much more complexities in structural analysis. Now the stochastic finite element method or the probabilistic finite element method is used to study the structural systems with random physical parameters, whether or not the loads are random. Differing from the general finite element theory, the main difficulty which the stochastic finite element method faces is the inverse operation of stochastic operators and stochastic matrices, since the inverse operators and the inverse matrices are statistically correlated to the random parameters and random loads. So far, many efforts have been made to obtain the reasonably approximate expressions of the inverse operators and inverse matrices, such as Perturbation Method, Neumann Expansion Method, Galerkin Method (in appropriate Hilbert Spaces defined for random functions), Orthogonal Expansion Method. Among these methods, Perturbation Method appear to be the most available. The advantage of these methods is that the fairly accurate response statistics can be obtained under the condition of the finite information of the input. However, the second-order statistics obtained by use of Perturbation Method and Neumann Expansion Method are not always the appropriate ones, because the relevant second

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.

An introduction to quantum groups and non-commutative differential calculus

International Nuclear Information System (INIS)

Azcarraga, J.A. de; Rodenas, F.

1995-01-01

An introduction to quantum groups and quantum spaces is presented, and the non-commutative calculus on them is discussed. The case of q-Minkowski space is presented as an illustrative example. A set of useful expressions and formulae are collected in an appendix. 45 refs

Cartan calculus on quantum Lie algebras

International Nuclear Information System (INIS)

Schupp, P.; Watts, P.; Zumino, B.

1993-01-01

A generalization of the differential geometry of forms and vector fields to the case of quantum Lie algebras is given. In an abstract formulation that incorporates many existing examples of differential geometry on quantum spaces we combine an exterior derivative, inner derivations, Lie derivatives, forms and functions au into one big algebra, the ''Cartan Calculus.''

A Family of Poisson Processes for Use in Stochastic Models of Precipitation

Science.gov (United States)

Penland, C.

2013-12-01

Both modified Poisson processes and compound Poisson processes can be relevant to stochastic parameterization of precipitation. This presentation compares the dynamical properties of these systems and discusses the physical situations in which each might be appropriate. If the parameters describing either class of systems originate in hydrodynamics, then proper consideration of stochastic calculus is required during numerical implementation of the parameterization. It is shown here that an improper numerical treatment can have severe implications for estimating rainfall distributions, particularly in the tails of the distributions and, thus, on the frequency of extreme events.

A measure theoretical approach to quantum stochastic processes

Energy Technology Data Exchange (ETDEWEB)

Waldenfels, Wilhelm von

2014-04-01

Authored by a leading researcher in the field. Self-contained presentation of the subject matter. Examines a number of worked examples in detail. This monograph takes as starting point that abstract quantum stochastic processes can be understood as a quantum field theory in one space and in one time coordinate. As a result it is appropriate to represent operators as power series of creation and annihilation operators in normal-ordered form, which can be achieved using classical measure theory. Considering in detail four basic examples (e.g. a two-level atom coupled to a heat bath of oscillators), in each case the Hamiltonian of the associated one-parameter strongly continuous group is determined and the spectral decomposition is explicitly calculated in the form of generalized eigen-vectors. Advanced topics include the theory of the Hudson-Parthasarathy equation and the amplified oscillator problem. To that end, a chapter on white noise calculus has also been included.

STOCHASTIC FLOWS OF MAPPINGS

Institute of Scientific and Technical Information of China (English)

无

2007-01-01

In this paper, the stochastic flow of mappings generated by a Feller convolution semigroup on a compact metric space is studied. This kind of flow is the generalization of superprocesses of stochastic flows and stochastic diffeomorphism induced by the strong solutions of stochastic differential equations.

Verification of Stochastic Process Calculi

DEFF Research Database (Denmark)

Skrypnyuk, Nataliya

algorithms for constructing bisimulation relations, computing (overapproximations of) sets of reachable states and computing the expected time reachability, the last for a linear fragment of IMC. In all the cases we have the complexities of algorithms which are low polynomial in the size of the syntactic....... In support of this claim we have developed analysis methods that belong to a particular type of Static Analysis { Data Flow / Pathway Analysis. These methods have previously been applied to a number of non-stochastic process calculi. In this thesis we are lifting them to the stochastic calculus...... of Interactive Markov Chains (IMC). We have devised the Pathway Analysis of IMC that is not only correct in the sense of overapproximating all possible behaviour scenarios, as is usual for Static Analysis methods, but is also precise. This gives us the possibility to explicitly decide on the trade-o between...

Tuplix calculus

NARCIS (Netherlands)

Bergstra, J.A.; Ponse, A.; van der Zwaag, M.B.

2008-01-01

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

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

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

From Pauli Matrices to Quantum Ito Formula

International Nuclear Information System (INIS)

Pautrat, Yan

2005-01-01

This paper answers important questions raised by the recent description, by Attal, of a robust and explicit method to approximate basic objects of quantum stochastic calculus on bosonic Fock space by analogues on the state space of quantum spin chains. The existence of that method justifies a detailed investigation of discrete-time quantum stochastic calculus. Here we fully define and study that theory and obtain in particular a discrete-time quantum Ito formula, which one can see as summarizing the commutation relations of Pauli matrices.An apparent flaw in that approximation method is the difference in the quantum Ito formulas, discrete and continuous, which suggests that the discrete quantum stochastic calculus differs fundamentally from the continuous one and is therefore not a suitable object to approximate subtle phenomena. We show that flaw is only apparent by proving that the continuous-time quantum Ito formula is actually a consequence of its discrete-time counterpart

An infinite-dimensional calculus for gauge theories

OpenAIRE

Mendes, Rui Vilela

2010-01-01

A space for gauge theories is defined, using projective limits as subsets of Cartesian products of homomorphisms from a lattice on the structure group. In this space, non-interacting and interacting measures are defined as well as functions and operators. From projective limits of test functions and distributions on products of compact groups, a projective gauge triplet is obtained, which provides a framework for the infinite-dimensional calculus in gauge theories. The gauge measure behavior ...

Geometrical foundations of tensor calculus and relativity

OpenAIRE

Schuller , Frédéric; Lorent , Vincent

2006-01-01

Manifolds, particularly space curves: basic notions 1 The first groundform, the covariant metric tensor 11 The second groundform, Meusnier's theorem 19 Transformation groups in the plane 28 Co- and contravariant components for a special affine transformation in the plane 29 Surface vectors 32 Elements of tensor calculus 36 Generalization of the first groundform to the space 46 The covariant (absolute) derivation 57 Examples from elasticity theory 61 Geodesic lines 63 Main curvatur...

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.

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.

A new approach to the Regge calculus

International Nuclear Information System (INIS)

Porter, J.

1987-01-01

In paper 1 an original '3 + 1' form of Regge calculus was developed. In the current paper the method is tested by application to spherically symmetric vacuum space-times. Three different time slicing conditions are used and, where appropriate, the results are compared with the analytic solution with encouraging results. (author)

Conference on Stochastic Analysis and Related Topics

CERN Document Server

Peterson, Jonathon

2017-01-01

The articles in this collection are a sampling of some of the research presented during the conference “Stochastic Analysis and Related Topics”, held in May of 2015 at Purdue University in honor of the 60th birthday of Rodrigo Bañuelos. A wide variety of topics in probability theory is covered in these proceedings, including heat kernel estimates, Malliavin calculus, rough paths differential equations, Lévy processes, Brownian motion on manifolds, and spin glasses, among other topics.

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

A stochastic fractional dynamics model of space-time variability of rain

Science.gov (United States)

Kundu, Prasun K.; Travis, James E.

2013-09-01

varies in space and time in a highly irregular manner and is described naturally in terms of a stochastic process. A characteristic feature of rainfall statistics is that they depend strongly on the space-time scales over which rain data are averaged. A spectral model of precipitation has been developed based on a stochastic differential equation of fractional order for the point rain rate, which allows a concise description of the second moment statistics of rain at any prescribed space-time averaging scale. The model is thus capable of providing a unified description of the statistics of both radar and rain gauge data. The underlying dynamical equation can be expressed in terms of space-time derivatives of fractional orders that are adjusted together with other model parameters to fit the data. The form of the resulting spectrum gives the model adequate flexibility to capture the subtle interplay between the spatial and temporal scales of variability of rain but strongly constrains the predicted statistical behavior as a function of the averaging length and time scales. We test the model with radar and gauge data collected contemporaneously at the NASA TRMM ground validation sites located near Melbourne, Florida and on the Kwajalein Atoll, Marshall Islands in the tropical Pacific. We estimate the parameters by tuning them to fit the second moment statistics of radar data at the smaller spatiotemporal scales. The model predictions are then found to fit the second moment statistics of the gauge data reasonably well at these scales without any further adjustment.

Homogenization of the evolution Stokes equation in a perforated domain with a stochastic Fourier boundary condition

KAUST Repository

Bessaih, Hakima

2015-04-01

The evolution Stokes equation in a domain containing periodically distributed obstacles subject to Fourier boundary condition on the boundaries is considered. We assume that the dynamic is driven by a stochastic perturbation on the interior of the domain and another stochastic perturbation on the boundaries of the obstacles. We represent the solid obstacles by holes in the fluid domain. The macroscopic (homogenized) equation is derived as another stochastic partial differential equation, defined in the whole non perforated domain. Here, the initial stochastic perturbation on the boundary becomes part of the homogenized equation as another stochastic force. We use the twoscale convergence method after extending the solution with 0 in the holes to pass to the limit. By Itô stochastic calculus, we get uniform estimates on the solution in appropriate spaces. In order to pass to the limit on the boundary integrals, we rewrite them in terms of integrals in the whole domain. In particular, for the stochastic integral on the boundary, we combine the previous idea of rewriting it on the whole domain with the assumption that the Brownian motion is of trace class. Due to the particular boundary condition dealt with, we get that the solution of the stochastic homogenized equation is not divergence free. However, it is coupled with the cell problem that has a divergence free solution. This paper represents an extension of the results of Duan and Wang (Comm. Math. Phys. 275:1508-1527, 2007), where a reaction diffusion equation with a dynamical boundary condition with a noise source term on both the interior of the domain and on the boundary was studied, and through a tightness argument and a pointwise two scale convergence method the homogenized equation was derived. © American Institute of Mathematical Sciences.

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.

Assimilating irregularly spaced sparsely observed turbulent signals with hierarchical Bayesian reduced stochastic filters

International Nuclear Information System (INIS)

Brown, Kristen A.; Harlim, John

2013-01-01

In this paper, we consider a practical filtering approach for assimilating irregularly spaced, sparsely observed turbulent signals through a hierarchical Bayesian reduced stochastic filtering framework. The proposed hierarchical Bayesian approach consists of two steps, blending a data-driven interpolation scheme and the Mean Stochastic Model (MSM) filter. We examine the potential of using the deterministic piecewise linear interpolation scheme and the ordinary kriging scheme in interpolating irregularly spaced raw data to regularly spaced processed data and the importance of dynamical constraint (through MSM) in filtering the processed data on a numerically stiff state estimation problem. In particular, we test this approach on a two-layer quasi-geostrophic model in a two-dimensional domain with a small radius of deformation to mimic ocean turbulence. Our numerical results suggest that the dynamical constraint becomes important when the observation noise variance is large. Second, we find that the filtered estimates with ordinary kriging are superior to those with linear interpolation when observation networks are not too sparse; such robust results are found from numerical simulations with many randomly simulated irregularly spaced observation networks, various observation time intervals, and observation error variances. Third, when the observation network is very sparse, we find that both the kriging and linear interpolations are comparable

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…

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

A generalized nonlocal vector calculus

Science.gov (United States)

Alali, Bacim; Liu, Kuo; Gunzburger, Max

2015-10-01

A nonlocal vector calculus was introduced in Du et al. (Math Model Meth Appl Sci 23:493-540, 2013) that has proved useful for the analysis of the peridynamics model of nonlocal mechanics and nonlocal diffusion models. A formulation is developed that provides a more general setting for the nonlocal vector calculus that is independent of particular nonlocal models. It is shown that general nonlocal calculus operators are integral operators with specific integral kernels. General nonlocal calculus properties are developed, including nonlocal integration by parts formula and Green's identities. The nonlocal vector calculus introduced in Du et al. (Math Model Meth Appl Sci 23:493-540, 2013) is shown to be recoverable from the general formulation as a special example. This special nonlocal vector calculus is used to reformulate the peridynamics equation of motion in terms of the nonlocal gradient operator and its adjoint. A new example of nonlocal vector calculus operators is introduced, which shows the potential use of the general formulation for general nonlocal models.

Multivariable calculus with applications

CERN Document Server

Lax, Peter D

2017-01-01

This text in multivariable calculus fosters comprehension through meaningful explanations. Written with students in mathematics, the physical sciences, and engineering in mind, it extends concepts from single variable calculus such as derivative, integral, and important theorems to partial derivatives, multiple integrals, Stokes’ and divergence theorems. Students with a background in single variable calculus are guided through a variety of problem solving techniques and practice problems. Examples from the physical sciences are utilized to highlight the essential relationship between calculus and modern science. The symbiotic relationship between science and mathematics is shown by deriving and discussing several conservation laws, and vector calculus is utilized to describe a number of physical theories via partial differential equations. Students will learn that mathematics is the language that enables scientific ideas to be precisely formulated and that science is a source for the development of mathemat...

Time-evolution problem in Regge calculus

International Nuclear Information System (INIS)

Sorkin, R.

1975-01-01

The simplectic approximation to Einstein's equations (''Regge calculus'') is derived by considering the net to be actually a (singular) Riemannian manifold. Specific nets for open and closed spaces are introduced in terms of which one can formulate the general time-evolution problem, which thereby reduces to the repeated solution of finite sets of coupled nonlinear (algebraic) equations. The initial-value problem is also formulated in simplectic terms

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

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

Detecting a stochastic gravitational wave background with the Laser Interferometer Space Antenna

International Nuclear Information System (INIS)

Cornish, Neil J.

2002-01-01

The random superposition of many weak sources will produce a stochastic background of gravitational waves that may dominate the response of the LISA (Laser Interferometer Space Antenna) gravitational wave observatory. Unless something can be done to distinguish between a stochastic background and detector noise, the two will combine to form an effective noise floor for the detector. Two methods have been proposed to solve this problem. The first is to cross-correlate the output of two independent interferometers. The second is an ingenious scheme for monitoring the instrument noise by operating LISA as a Sagnac interferometer. Here we derive the optimal orbital alignment for cross-correlating a pair of LISA detectors, and provide the first analytic derivation of the Sagnac sensitivity curve

Fundamentals of tensor calculus for engineers with a primer on smooth manifolds

CERN Document Server

Mühlich, Uwe

2017-01-01

This book presents the fundamentals of modern tensor calculus for students in engineering and applied physics, emphasizing those aspects that are crucial for applying tensor calculus safely in Euclidian space and for grasping the very essence of the smooth manifold concept. After introducing the subject, it provides a brief exposition on point set topology to familiarize readers with the subject, especially with those topics required in later chapters. It then describes the finite dimensional real vector space and its dual, focusing on the usefulness of the latter for encoding duality concepts in physics. Moreover, it introduces tensors as objects that encode linear mappings and discusses affine and Euclidean spaces. Tensor analysis is explored first in Euclidean space, starting from a generalization of the concept of differentiability and proceeding towards concepts such as directional derivative, covariant derivative and integration based on differential forms. The final chapter addresses the role of smooth...

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…

Treatment of constraints in the stochastic quantization method and covariantized Langevin equation

International Nuclear Information System (INIS)

Ikegami, Kenji; Kimura, Tadahiko; Mochizuki, Riuji

1993-01-01

We study the treatment of the constraints in the stochastic quantization method. We improve the treatment of the stochastic consistency condition proposed by Namiki et al. by suitably taking into account the Ito calculus. Then we obtain an improved Langevin equation and the Fokker-Planck equation which naturally leads to the correct path integral quantization of the constrained system as the stochastic equilibrium state. This treatment is applied to an O(N) non-linear σ model and it is shown that singular terms appearing in the improved Langevin equation cancel out the δ n (0) divergences in one loop order. We also ascertain that the above Langevin equation, rewritten in terms of independent variables, is actually equivalent to the one in the general-coordinate transformation covariant and vielbein-rotation invariant formalism. (orig.)

Higher order differential calculus on SLq(N)

International Nuclear Information System (INIS)

Heckenberger, I.; Schueler, A.

1997-01-01

Let Γ be a bicovariant first order differential calculus on a Hopf algebra A. There are three possibilities to construct a differential N 0 -graded Hopf algebra Γcirconflex which contains Γ as its first order part. In all cases Γcirconflex is a quotient Γcirconflex = Γ x /J of the tensor algebra by some suitable ideal. We distinguish three possible choices u J, s J, and w J, where the first one generates the universal differential calculus (over Γ) and the last one is Woronowicz' external algebra. Let q be a transcendental complex number and let Γ be one of the N 2 -dimensional bicovariant first order differential calculi on the quantum group SL q (N). Then for N ≥ 3 the three ideals coincide. For Woronowicz' external algebra we calculate the dimensions of the spaces of left-invariant and bi-invariant k-forms. In this case each bi-invariant form is closed. In case of 4D ± calculi on SL q (2) the universal calculus is strictly larger than the other two calculi. In particular, the bi-invariant 1-form is not closed. (author)

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

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

On the combinatorial foundations of Regge-calculus

International Nuclear Information System (INIS)

Budach, L.

1989-01-01

Lipschitz-Killing curvatures of piecewise flat spaces are combinatorial analogues of Lipschitz-Killing curvatures of Riemannian manifolds. In the following paper rigorous combinatorial representations and proofs of all basic results for Lipschitz-Killing curvatures not using analytic arguments are given. The principal tools for an elementary representation of Regge calculus can be developed by means of basic properties of dihedral angles. (author)

Analysis of the coupling efficiency of a tapered space receiver with a calculus mathematical model

Science.gov (United States)

Hu, Qinggui; Mu, Yining

2018-03-01

We establish a calculus mathematical model to study the coupling characteristics of tapered optical fibers in a space communications system, and obtained the coupling efficiency equation. Then, using MATLAB software, the solution was calculated. After this, the sample was produced by the mature flame-brush technique. The experiment was then performed, and the results were in accordance with the theoretical analysis. This shows that the theoretical analysis was correct and indicates that a tapered structure could improve its tolerance with misalignment. Project supported by The National Natural Science Foundation of China (grant no. 61275080); 2017 Jilin Province Science and Technology Development Plan-Science and Technology Innovation Fund for Small and Medium Enterprises (20170308029HJ); ‘thirteen five’ science and technology research project of the Department of Education of Jilin 2016 (16JK009).

Maxima and Minima Without Calculus.

Science.gov (United States)

Birnbaum, Ian

1982-01-01

Approaches to extrema that do not require calculus are presented to help free maxima/minima problems from the confines of calculus. Many students falsely suppose that these types of problems can only be dealt with through calculus, since few, if any, noncalculus examples are usually presented. (MP)

The quantum probability calculus

International Nuclear Information System (INIS)

Jauch, J.M.

1976-01-01

The Wigner anomaly (1932) for the joint distribution of noncompatible observables is an indication that the classical probability calculus is not applicable for quantum probabilities. It should, therefore, be replaced by another, more general calculus, which is specifically adapted to quantal systems. In this article this calculus is exhibited and its mathematical axioms and the definitions of the basic concepts such as probability field, random variable, and expectation values are given. (B.R.H)

Paragrassmann differential calculus

International Nuclear Information System (INIS)

Filippov, A.T.; Isaev, A.P.; Kurdikov, A.V.

1993-01-01

This paper significantly extends and generalizes the paragrassmann calculus previous paper. Explicit general constructions for paragrassmann calculus with one and many vaiables are discussed. A general construction of many-variable differentiation algebras is given. Some particular examples are related to multi-parametric quantum deformation of the harmonic oscillators

The efficacy of selective calculus ablation at 400 nm: comparison to conventional calculus removal methods

Science.gov (United States)

Schoenly, Joshua E.; Seka, Wolf; Romanos, Georgios; Rechmann, Peter

A desired outcome of scaling and root planing is the complete removal of calculus and infected root tissue and preservation of healthy cementum for rapid healing of periodontal tissues. Conventional periodontal treatments for calculus removal, such as hand instrument scaling and ultrasonic scaling, often deeply scrape the surface of the underlying hard tissue and may leave behind a smear layer. Pulsed lasers emitting at violet wavelengths (specifically, 380 to 400 nm) are a potential alternative treatment since they can selectively ablate dental calculus without ablating pristine hard tissue (i.e., enamel, cementum, and dentin). In this study, light and scanning electron microscopy are used to compare and contrast the efficacy of in vitro calculus removal for several conventional periodontal treatments (hand instruments, ultrasonic scaler, and Er:YAG laser) to calculus removal with a frequency-doubled Ti:sapphire (λ = 400 nm). After calculus removal, enamel and cementum surfaces are investigated for calculus debris and damage to the underlying hard tissue surface. Compared to the smear layer, grooves, and unintentional hard tissue removal typically found using these conventional treatments, calculus removal using the 400-nm laser is complete and selective without any removal of pristine dental hard tissue. Based on these results, selective ablation from the 400-nm laser appears to produce a root surface that would be more suitable for successful healing of periodontal tissues.

[Fluorescence control of dental calculus removal].

Science.gov (United States)

Bakhmutov, D N; Gonchukov, S A; Lonkina, T V; Sukhinina, A V

2012-01-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 the frames of this work it was shown that fluorescence diagnostics during calculus removal can be successfully used for precise detection of tooth-calculus 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 (as ultrasonic or laser devices).

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

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.

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

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…

Hands-On Calculus

Science.gov (United States)

Sutherland, Melissa

2006-01-01

In this paper we discuss manipulatives and hands-on investigations for Calculus involving volume, arc length, and surface area to motivate and develop formulae which can then be verified using techniques of integration. Pre-service teachers in calculus courses using these activities experience a classroom in which active learning is encouraged and…

Sequent Calculus Representations for Quantum Circuits

Directory of Open Access Journals (Sweden)

Cameron Beebe

2016-06-01

Full Text Available When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary transformations, and measurement probabilities. Traditional quantum logics which focus primarily on the abstract orthomodular lattice theory and structures of Hilbert spaces have not satisfactorily captured some of these elements. We can start from 'scratch' in an attempt to conceptually characterize the types of proof rules which should be in a system that represents elements necessary for quantum algorithms. This present work attempts to do this from the perspective of the quantum circuit model of quantum computation. A sequent calculus based on single quantum circuits is suggested, and its ability to incorporate important conceptual and dynamic aspects of quantum computing is discussed. In particular, preserving the representation of phase helps illustrate the role of interference as a resource in quantum computation. Interference also provides an intuitive basis for a non-monotonic calculus.

The Vectorial $\\lambda$-Calculus

OpenAIRE

Arrighi, Pablo; Díaz-Caro, Alejandro; Valiron, Benoît

2013-01-01

We describe a type system for the linear-algebraic $\\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\\lambda$-calculus: it is able to statically describe the linear combinations of terms that will be obtained when reducing the programs. This gives rise to an original type theory where types, in the same way as terms, can be superposed into linear combinations. We prove that the resulting typed $\\lambda$-calculus is strongly normalising and fea...

Teaching the Calculus

Science.gov (United States)

Sauerheber, Richard D.

2012-01-01

Methods of teaching the Calculus are presented in honour of Sir Isaac Newton, by discussing an extension of his original proofs and discoveries. The methods, requested by Newton to be used that reflect the historical sequence of the discovered Fundamental Theorems, allow first-time students to grasp quickly the basics of the Calculus from its…

Generalized vector calculus on convex domain

Science.gov (United States)

Agrawal, Om P.; Xu, Yufeng

2015-06-01

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

Dental Calculus Arrest of Dental Caries.

Science.gov (United States)

Keyes, Paul H; Rams, Thomas E

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. 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. 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. These observations further document the potential protective effects of dental calculus mineralization against dental caries.

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

N=1 supersymmetric yang-mills theory in Ito Calculus

International Nuclear Information System (INIS)

Nakazawa, Naohito

2003-01-01

The stochastic quantization method is applied to N = 1 supersymmetric Yang-Mills theory, in particular in 4 and 10 dimensions. In the 4 dimensional case, based on Ito calculus, the Langevin equation is formulated in terms of the superfield formalism. The stochastic process manifestly preserves both the global N = 1 supersymmetry and the local gauge symmetry. The expectation values of the local gauge invariant observables in SYM 4 are reproduced in the equilibrium limit. In the superfield formalism, it is impossible in SQM to choose the so-called Wess-Zumino gauge in such a way to gauge away the auxiliary component fields in the vector multiplet, while it is shown that the time development of the auxiliary component fields is determined by the Langevin equations for the physical component fields of the vector multiplet in an ''almost Wess-Zumino gauge''. The physical component expressions of the superfield Langevin equation are naturally extended to the 10 dimensional case, where the spinor field is Majorana-Weyl. By taking a naive zero volume limit of the SYM 10 , the IIB matrix model is studied in this context. (author)

Stochastic Simulation of Process Calculi for Biology

Directory of Open Access Journals (Sweden)

Andrew Phillips

2010-10-01

Full Text Available Biological systems typically involve large numbers of components with complex, highly parallel interactions and intrinsic stochasticity. To model this complexity, numerous programming languages based on process calculi have been developed, many of which are expressive enough to generate unbounded numbers of molecular species and reactions. As a result of this expressiveness, such calculi cannot rely on standard reaction-based simulation methods, which require fixed numbers of species and reactions. Rather than implementing custom stochastic simulation algorithms for each process calculus, we propose to use a generic abstract machine that can be instantiated to a range of process calculi and a range of reaction-based simulation algorithms. The abstract machine functions as a just-in-time compiler, which dynamically updates the set of possible reactions and chooses the next reaction in an iterative cycle. In this short paper we give a brief summary of the generic abstract machine, and show how it can be instantiated with the stochastic simulation algorithm known as Gillespie's Direct Method. We also discuss the wider implications of such an abstract machine, and outline how it can be used to simulate multiple calculi simultaneously within a common framework.

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

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.

Noncommutative operational calculus

Directory of Open Access Journals (Sweden)

Henry E. Heatherly

1999-12-01

Full Text Available Oliver Heaviside's operational calculus was placed on a rigorous mathematical basis by Jan Mikusinski, who constructed an algebraic setting for the operational methods. In this paper, we generalize Mikusi'{n}ski's methods to solve linear ordinary differential equations in which the unknown is a matrix- or linear operator-valued function. Because these functions can be zero-divisors and do not necessarily commute, Mikusi'{n}ski's one-dimensional calculus cannot be used. The noncommuative operational calculus developed here,however, is used to solve a wide class of such equations. In addition, we provide new proofs of existence and uniqueness theorems for certain matrix- and operator valued Volterra integral and integro-differential equations. Several examples are given which demonstrate these new methods.

Regge calculus and observations. II. Further applications

International Nuclear Information System (INIS)

Williams, R.M.; Ellis, G.F.R.

1983-03-01

The method, developed in an earlier paper, for tracing geodesics of particles and light rays through Regge calculus space-times, is applied to a number of problems in the Schwarschild geometry. It is possible to obtain accurate predictions of light-bending by taking sufficiently small Regge blocks. Calculations of perihelion precession, Thomas precession and the distortion of a ball of fluid moving on a geodesic can also show good agreement with the analytic solution. However difficulties arise in obtaining accurate predictions for general orbits in these space-times. Applications to other problems in general relativity are discussed briefly. (author)

Regge calculus and observations. II. Further applications.

Science.gov (United States)

Williams, Ruth M.; Ellis, G. F. R.

1984-11-01

The method, developed in an earlier paper, for tracing geodesies of particles and light rays through Regge calculus space-times, is applied to a number of problems in the Schwarzschild geometry. It is possible to obtain accurate predictions of light bending by taking sufficiently small Regge blocks. Calculations of perihelion precession, Thomas precession, and the distortion of a ball of fluid moving on a geodesic can also show good agreement with the analytic solution. However difficulties arise in obtaining accurate predictions for general orbits in these space-times. Applications to other problems in general relativity are discussed briefly.

Differential Calculus on Quantum Spheres

OpenAIRE

Welk, Martin

1998-01-01

We study covariant differential calculus on the quantum spheres S_q^2N-1. Two classification results for covariant first order differential calculi are proved. As an important step towards a description of the noncommutative geometry of the quantum spheres, a framework of covariant differential calculus is established, including a particular first order calculus obtained by factorization, higher order calculi and a symmetry concept.

From Fractals to Fractional Vector Calculus: Measurement in the Correct Metric

Science.gov (United States)

Wheatcraft, S. W.; Meerschaert, M. M.; Mortensen, J.

2005-12-01

Traditional (stationary) stochastic theories have been fairly successful in reproducing transport behavior at relatively homogeneous field sites such as the Borden and Cape Code sites. However, the highly heterogeneous MADE site has produced tracer data that can not be adequately explained with traditional stochastic theories. In recent years, considerable attention has been focused on developing more sophisticated theories that can predict or reproduce the behavior of complex sites such as the MADE site. People began to realize that the model for geologic complexity may in many cases be very different than the model required for stochastic theory. Fractal approaches were useful in conceptualizing scale-invariant heterogeneity by demonstrating that scale dependant transport was just an artifact of our measurement system. Fractal media have dimensions larger than the dimension that measurement is taking place in, thus assuring the scale-dependence of parameters such as dispersivity. What was needed was a rigorous way to develop a theory that was consistent with the fractal dimension of the heterogeneity. The fractional advection-dispersion equation (FADE) was developed with this idea in mind. The second derivative in the dispersion term of the advection-dispersion equation is replaced with a fractional derivative. The order of differentiation, α, is fractional. Values of α in the range: 1 equation is recovered. The 1-D version of the FADE has been used successfully to back-predict tracer test behavior at several heterogeneous field sites, including the MADE site. It has been hypothesized that the order of differentiation in the FADE is equivalent to (or at least related to) the fractal dimension of the particle tracks (or geologic heterogeneity). With this way of thinking, one can think of the FADE as a governing equation written for the correct dimension, thus eliminating scale-dependent behavior. Before a generalized multi-dimensional form of the FADE can be

Disappearing renal calculus.

Science.gov (United States)

Cui, Helen; Thomas, Johanna; Kumar, Sunil

2013-04-10

We present a case of a renal calculus treated solely with antibiotics which has not been previously reported in the literature. A man with a 17 mm lower pole renal calculus and concurrent Escherichia coli urine infection was being worked up to undergo percutaneous nephrolithotomy. However, after a course of preoperative antibiotics the stone was no longer seen on retrograde pyelography or CT imaging.

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......-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...... to the Sigma-calculus to investigate the use of process calculi techniques directly on the Sigma-calculus. The results obtained are of a fairly theoretical nature. We investigate the connection between the operational and denotaional semantics for a typed functional Sigma-calculus. The result is that Abadi...

Stochastic dynamics modeling solute transport in porous media modeling solute transport in porous media

CERN Document Server

Kulasiri, Don

2002-01-01

Most of the natural and biological phenomena such as solute transport in porous media exhibit variability which can not be modeled by using deterministic approaches. There is evidence in natural phenomena to suggest that some of the observations can not be explained by using the models which give deterministic solutions. Stochastic processes have a rich repository of objects which can be used to express the randomness inherent in the system and the evolution of the system over time. The attractiveness of the stochastic differential equations (SDE) and stochastic partial differential equations (SPDE) come from the fact that we can integrate the variability of the system along with the scientific knowledge pertaining to the system. One of the aims of this book is to explaim some useufl concepts in stochastic dynamics so that the scientists and engineers with a background in undergraduate differential calculus could appreciate the applicability and appropriateness of these developments in mathematics. The ideas ...

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.

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

Factors Associated with Success in College Calculus II

Science.gov (United States)

Rosasco, Margaret E.

2013-01-01

Students are entering college having earned credit for college Calculus 1 based on their scores on the College Board's Advanced Placement (AP) Calculus AB exam. Despite being granted credit for college Calculus 1, it is unclear whether these students are adequately prepared for college Calculus 2. College calculus classes are often taught from a…

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…

Stochastic quantisation: theme and variation

International Nuclear Information System (INIS)

Klauder, J.R.; Kyoto Univ.

1987-01-01

The paper on stochastic quantisation is a contribution to the book commemorating the sixtieth birthday of E.S. Fradkin. Stochastic quantisation reformulates Euclidean quantum field theory in the language of Langevin equations. The generalised free field is discussed from the viewpoint of stochastic quantisation. An artificial family of highly singular model theories wherein the space-time derivatives are dropped altogether is also examined. Finally a modified form of stochastic quantisation is considered. (U.K.)

Generalized Gaussian Error Calculus

CERN Document Server

Grabe, Michael

2010-01-01

For the first time in 200 years Generalized Gaussian Error Calculus addresses a rigorous, complete and self-consistent revision of the Gaussian error calculus. Since experimentalists realized that measurements in general are burdened by unknown systematic errors, the classical, widespread used evaluation procedures scrutinizing the consequences of random errors alone turned out to be obsolete. As a matter of course, the error calculus to-be, treating random and unknown systematic errors side by side, should ensure the consistency and traceability of physical units, physical constants and physical quantities at large. The generalized Gaussian error calculus considers unknown systematic errors to spawn biased estimators. Beyond, random errors are asked to conform to the idea of what the author calls well-defined measuring conditions. The approach features the properties of a building kit: any overall uncertainty turns out to be the sum of a contribution due to random errors, to be taken from a confidence inter...

On the Presentation of Pre-Calculus and Calculus Topics: An Alternate View

Science.gov (United States)

Davydov, Aleksandr; Sturm-Beiss, Rachel

2008-01-01

The orders of presentation of pre-calculus and calculus topics, and the notation used, deserve careful study as they affect clarity and ultimately students' level of understanding. We introduce an alternate approach to some of the topics included in this sequence. The suggested alternative is based on years of teaching in colleges within and…

Quantum Variational Calculus

OpenAIRE

Malinowska , Agnieszka B.; Torres , Delfim

2014-01-01

International audience; Introduces readers to the treatment of the calculus of variations with q-differences and Hahn difference operators Provides the reader with the first extended treatment of quantum variational calculus Shows how the techniques described can be applied to economic models as well as other mathematical systems This Brief puts together two subjects, quantum and variational calculi by considering variational problems involving Hahn quantum operators. The main advantage of it...

Laparoscopic Cholecystectomy in Chronic Calculus Cholecystitis

Directory of Open Access Journals (Sweden)

Prakash Sapkota

2013-12-01

Full Text Available Introduction: Laparoscopic cholecystectomy has clearly become the choice over open cholecystectomy in the treatment of hepatobiliary disease since its introduction by Mouret in 1987. This study evaluates a series of patients with chronic calculus cholecystitis who were treated with laparoscopic and open cholecystectomy and assesses the outcomes of both techniques. Objective: To evaluate the efficacy of laparoscopic vs open cholecystectomy in chronic calculus cholecystitis and establish the out-comes of this treatment modality at Lumbini Medical College and Teaching Hospital. Methods: This was a retrospective analysis over a one-year period (January 1, 2012 to December 31, 2012, per-formed by single surgeon at Lumbini Medical College and Teaching Hospital located midwest of Nepal. 166 patients underwent surgical treatment for chronic calculus cholecystitis. Patients included were only chronic calculus cholecystitis proven histopathologocally and the rest were excluded. Data was collected which included patients demographics, medical history, presentation, complications, conversion rates from laparoscopic. cholecystectomy to open cholecystectomy, operative and postoperative time. Results: Patients treated with laparoscopic cholecystectomy for chronic calculus cholecystitis had shorter operating times and length of stay compared to patients treated with open cholecystectomy for chronic calculus cholecystitis. Conversion rates were 3.54% in chronic calculus cholecystitis during the study period. Complications were also lower in patients who underwent laparoscopic cholecystectomy versus open cholecystectomy for cholelithiasis. Conclusions: Laparoscopic cholecystectomy appears to be a reliable, safe, and cost-effective treatment modality for chronic calculus cholecystitis.

A κ-symmetry calculus for superparticles

International Nuclear Information System (INIS)

Gauntlett, J.P.

1991-01-01

We develop a κ-symmetry calculus for the d=2 and d=3, N=2 massive superparticles, which enables us to construct higher order κ-invariant actions. The method relies on a reformulation of these models as supersymmetric sigma models that are invariant under local worldline superconformal transformations. We show that the κ-symmetry is embedded in the superconformal symmetry so that a calculus for the κ-symmetry is equivalent to a tensor calculus for the latter. We develop such a calculus without the introduction of a wordline supergravity multiplet. (orig.)

An AP Calculus Classroom Amusement Park

Science.gov (United States)

Ferguson, Sarah

2016-01-01

Throughout the school year, AP Calculus teachers strive to teach course content comprehensively and swiftly in an effort to finish all required material before the AP Calculus exam. As early May approaches and the AP Calculus test looms, students and teachers nervously complete lessons, assignments, and assessments to ensure student preparation.…

The untyped stack calculus and Bohm's theorem

Directory of Open Access Journals (Sweden)

Alberto Carraro

2013-03-01

Full Text Available The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We present a simple extension of stack calculus which is for the stack calculus what Saurin's Lambda-mu is for lambda-mu.

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

Hitting probabilities for nonlinear systems of stochastic waves

CERN Document Server

Dalang, Robert C

2015-01-01

The authors consider a d-dimensional random field u = \\{u(t,x)\\} that solves a non-linear system of stochastic wave equations in spatial dimensions k \\in \\{1,2,3\\}, driven by a spatially homogeneous Gaussian noise that is white in time. They mainly consider the case where the spatial covariance is given by a Riesz kernel with exponent \\beta. Using Malliavin calculus, they establish upper and lower bounds on the probabilities that the random field visits a deterministic subset of \\mathbb{R}^d, in terms, respectively, of Hausdorff measure and Newtonian capacity of this set. The dimension that ap

A few insights into the nature of classical and quantum gravity via null-strut calculus

International Nuclear Information System (INIS)

Kheyfets, Arkady

1989-01-01

Null-strut calculus is a 3 + 1 formulation of standard Regge calculus, wherein the dynamics of 3-geometry is propagated in time along light rays, or 'null struts'. However, just as Regge calculus is a discrete and geometric tool for the description of Einstein's theory of gravitation, so too NSC offers itself as a discrete and geometric tool for the description of Einstein's spacetime as the dynamics of discrete spacelike 3-geometries in time, or discrete geometrodynamics. It has for its objectives to provide a discrete model of a 3 + 1 split of spacetime into space plus time, while in so doing to preserve and illuminate the geometric content of Einstein's theory of gravity. The feature of 'light-cone-produced duality' is central to null-strut calculus. This paper will capitalise on this feature, and will attempt to provide some insights into the nature of classical and quantum gravity. (Author)

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

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

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

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

Testicular calculus: A rare case.

Science.gov (United States)

Sen, Volkan; Bozkurt, Ozan; Demır, Omer; Tuna, Burcin; Yorukoglu, Kutsal; Esen, Adil

2015-01-01

Testicular calculus is an extremely rare case with unknown etiology and pathogenesis. To our knowledge, here we report the third case of testicular calculus. A 31-year-old man was admitted to our clinic with painful solid mass in left testis. After diagnostic work-up for a possible testicular tumour, he underwent inguinal orchiectomy and histopathologic examination showed a testicular calculus. Case hypothesis: Solid testicular lesions in young adults generally correspond to testicular cancer. Differential diagnosis should be done carefully. Future implications: In young adults with painful and solid testicular mass with hyperechogenic appearance on scrotal ultrasonography, testicular calculus must be kept in mind in differential diagnosis. Further reports on this topic may let us do more clear recommendations about the etiology and treatment of this rare disease.

Stochastic calculus for fractional Brownian motion and related processes

CERN Document Server

Mishura, Yuliya S

2008-01-01

The theory of fractional Brownian motion and other long-memory processes are addressed in this volume. Interesting topics for PhD students and specialists in probability theory, stochastic analysis and financial mathematics demonstrate the modern level of this field. Among these are results about Levy characterization of fractional Brownian motion, maximal moment inequalities for Wiener integrals including the values 0

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.

Differential calculus on quantized simple Lie groups

International Nuclear Information System (INIS)

Jurco, B.

1991-01-01

Differential calculi, generalizations of Woronowicz's four-dimensional calculus on SU q (2), are introduced for quantized classical simple Lie groups in a constructive way. For this purpose, the approach of Faddeev and his collaborators to quantum groups was used. An equivalence of Woronowicz's enveloping algebra generated by the dual space to the left-invariant differential forms and the corresponding quantized universal enveloping algebra, is obtained for our differential calculi. Real forms for q ε R are also discussed. (orig.)

Improving student learning in calculus through applications

Science.gov (United States)

Young, C. Y.; Georgiopoulos, M.; Hagen, S. C.; Geiger, C. L.; Dagley-Falls, M. A.; Islas, A. L.; Ramsey, P. J.; Lancey, P. M.; Straney, R. A.; Forde, D. S.; Bradbury, E. E.

2011-07-01

Nationally only 40% of the incoming freshmen Science, Technology, Engineering and Mathematics (STEM) majors are successful in earning a STEM degree. The University of Central Florida (UCF) EXCEL programme is a National Science Foundation funded STEM Talent Expansion Programme whose goal is to increase the number of UCF STEM graduates. One of the key requirements for STEM majors is a strong foundation in Calculus. To improve student learning in calculus, the EXCEL programme developed two special courses at the freshman level called Applications of Calculus I (Apps I) and Applications of Calculus II (Apps II). Apps I and II are one-credit classes that are co-requisites for Calculus I and II. These classes are teams taught by science and engineering professors whose goal is to demonstrate to students where the calculus topics they are learning appear in upper level science and engineering classes as well as how faculty use calculus in their STEM research programmes. This article outlines the process used in producing the educational materials for the Apps I and II courses, and it also discusses the assessment results pertaining to this specific EXCEL activity. Pre- and post-tests conducted with experimental and control groups indicate significant improvement in student learning in Calculus II as a direct result of the application courses.

Numerical studies of the stochastic Korteweg-de Vries equation

International Nuclear Information System (INIS)

Lin Guang; Grinberg, Leopold; Karniadakis, George Em

2006-01-01

We present numerical solutions of the stochastic Korteweg-de Vries equation for three cases corresponding to additive time-dependent noise, multiplicative space-dependent noise and a combination of the two. We employ polynomial chaos for discretization in random space, and discontinuous Galerkin and finite difference for discretization in physical space. The accuracy of the stochastic solutions is investigated by comparing the first two moments against analytical and Monte Carlo simulation results. Of particular interest is the interplay of spatial discretization error with the stochastic approximation error, which is examined for different orders of spatial and stochastic approximation

Quantum variational calculus

CERN Document Server

Malinowska, Agnieszka B

2014-01-01

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

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

Stochastic massless fields I: Integer spin

International Nuclear Information System (INIS)

Lim, S.C.

1981-04-01

Nelson's stochastic quantization scheme is applied to classical massless tensor potential in ''Coulomb'' gauge. The relationship between stochastic potential field in various gauges is discussed using the case of vector potential as an illustration. It is possible to identify the Euclidean tensor potential with the corresponding stochastic field in physical Minkowski space-time. Stochastic quantization of massless fields can also be carried out in terms of field strength tensors. An example of linearized stochastic gravitational field in vacuum is given. (author)

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

Covariant super reggeon calculus for superstrings

International Nuclear Information System (INIS)

Petersen, J.L.; Sidenius, J.R.; Tollsten, A.K.

1988-07-01

A previously developed formalism for the bosonic string is extended to the Neveu-Schwarz-Ramond string using 2-d superspace techniques throughout. 3-string vertices for NS- and R-strings are constructed, sewing rules developed, and the technique of quasi-superconformal modes is set up for constructing the measure on super moduli space. Symmetries, such as superconformal invariance and BRST-invariance, are guaranteed ab initio. Picture changing and bosonization are avoided. Examples are given. The formalism should allow a superstring loop calculus based on supermoduli. Results concerning the ensuing super-Schottky description are given. (orig.)

Null-strut calculus. II. Dynamics

International Nuclear Information System (INIS)

Kheyfets, A.; LaFave, N.J.; Miller, W.A.

1990-01-01

In this paper, we continue from the preceding paper to develop a fully functional Regge calculus geometrodynamic algorithm from the null-strut-calculus construction. The developments discussed include (a) the identification of the Regge calculus analogue of the constraint and evolution equations on the null-strut lattice, (b) a description of the Minkowski solid geometry for the simplicial blocks of the null-strut lattice, (c) a description of the evolution algorithm for the geometrodynamic scheme and an analysis of its consistency, and (d) a presentation of the dynamical degrees of freedom for a simplicial hypersurface and the description of an initial-value prescription. To demonstrate qualitatively this new approach to geometrodynamics, we present the most simple application of null-strut calculus that we know of---the Friedmann cosmology using the three-boundary of a 600-cell simplicial polytope to model the simplicial hypersurface

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

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

International Nuclear Information System (INIS)

Henneaux, M.

1984-01-01

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

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

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

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.

Giant calculus: review and report of a case.

Science.gov (United States)

Woodmansey, Karl; Severine, Anthony; Lembariti, Bakari S

2013-01-01

Dental calculus is a common oral finding. The term giant calculus is used to describe unusually large deposits of dental calculus. Several extreme cases have been reported in the dental literature. The specific etiology of these cases remains uncertain. This paper reviews previously reported cases, and presents another extreme example of giant calculus.

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

The application of Regge calculus to quantum gravity and quantum field theory in a curved background

International Nuclear Information System (INIS)

Warner, N.P.

1982-01-01

The application of Regge calculus to quantum gravity and quantum field theory in a curved background is discussed. A discrete form of exterior differential calculus is developed, and this is used to obtain Laplacians for p-forms on the Regge manifold. To assess the accuracy of these approximations, the eigenvalues of the discrete Laplacians were calculated for the regular tesselations of S 2 and S 3 . The results indicate that the methods obtained in this paper may be used in curved space-times with an accuracy comparing with that obtained in lattice gauge theories on a flat background. It also becomes evident that Regge calculus provides particularly suitable lattices for Monte-Carlo techniques. (author)

Dental calculus detection using the VistaCam.

Science.gov (United States)

Shakibaie, Fardad; Walsh, Laurence J

2016-12-01

The VistaCam® intra-oral camera system (Dürr Dental, Bietigheim-Bissingen, Germany) is a fluorescence system using light emitting diodes that produce a 405-nm violet light. This wavelength has potential application for detection of dental calculus based on red emissions from porphyrin molecules. This study assessed the digital scores obtained for both supragingival and subgingival calculus on 60 extracted teeth and compared these with lesions of dental caries. It has also examined the effect of saliva and blood on the fluorescence readings for dental calculus. VistaCam fluorescence scores for both supragingival (1.7-3.3) and subgingival calculus (1.3-2.4) were higher than those for sound root surfaces (0.9-1.1) and dental caries (0.9-2.2) ( p  calculus samples were not affected by the presence of saliva or blood. These results suggest that the use of violet light fluorescence could be a possible adjunct to clinical examination for deposits of dental calculus.

Redshift space correlations and scale-dependent stochastic biasing of density peaks

Science.gov (United States)

Desjacques, Vincent; Sheth, Ravi K.

2010-01-01

dependent, so the configuration-space bias is stochastic and scale dependent, both in real and redshift space. We provide expressions for this stochasticity and its evolution.

Two-dimensional calculus

CERN Document Server

Osserman, Robert

2011-01-01

The basic component of several-variable calculus, two-dimensional calculus is vital to mastery of the broader field. This extensive treatment of the subject offers the advantage of a thorough integration of linear algebra and materials, which aids readers in the development of geometric intuition. An introductory chapter presents background information on vectors in the plane, plane curves, and functions of two variables. Subsequent chapters address differentiation, transformations, and integration. Each chapter concludes with problem sets, and answers to selected exercises appear at the end o

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.

A heterogeneous stochastic FEM framework for elliptic PDEs

International Nuclear Information System (INIS)

Hou, Thomas Y.; Liu, Pengfei

2015-01-01

We introduce a new concept of sparsity for the stochastic elliptic operator −div(a(x,ω)∇(⋅)), which reflects the compactness of its inverse operator in the stochastic direction and allows for spatially heterogeneous stochastic structure. This new concept of sparsity motivates a heterogeneous stochastic finite element method (HSFEM) framework for linear elliptic equations, which discretizes the equations using the heterogeneous coupling of spatial basis with local stochastic basis to exploit the local stochastic structure of the solution space. We also provide a sampling method to construct the local stochastic basis for this framework using the randomized range finding techniques. The resulting HSFEM involves two stages and suits the multi-query setting: in the offline stage, the local stochastic structure of the solution space is identified; in the online stage, the equation can be efficiently solved for multiple forcing functions. An online error estimation and correction procedure through Monte Carlo sampling is given. Numerical results for several problems with high dimensional stochastic input are presented to demonstrate the efficiency of the HSFEM in the online stage

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

Pre-calculus workbook for dummies

CERN Document Server

Gilman, Michelle Rose; Neal, Karina

2009-01-01

Get the confidence and the math skills you need to get started with calculus! Are you preparing for calculus? This easy-to-follow, hands-on workbook helps you master basic pre-calculus concepts and practice the types of problems you'll encounter in your cour sework. You get 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. 100s of Problems! Detailed, fully worked-out solutions to problem

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.

On exterior variational calculus

International Nuclear Information System (INIS)

Aldrovandi, R.; Kraenkel, R.A.

1987-01-01

Exterior variational calculus is introduced through examples in field theory. It provides a very simple technique to decide on the existence of Lagrangians for given equations of motions and, in the case, to find them. Only local aspects are discussed but the analogy to exterior calculus on finite dimensional manifolds is complete, strongly suggesting its suitability to the study of topological aspects. (Author) [pt

ASSESSING STUDENTS' UNDERSTANDING OF PRE-CALCULUS CONCEPTS

OpenAIRE

Dr. Jyoti Sharma

2017-01-01

Calculus is one of the most momentous achievements of the human intellect (Boyer, 1949). It has given a new direction to the work of mathematicians and scientists. Calculus has exponentially expanded the scope and use of mathematics in other fields. Learning calculus is important to pursue career in applied mathematics.

Dental Calculus Arrest of Dental Caries

OpenAIRE

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

Jet-calculus approach including coherence effects

International Nuclear Information System (INIS)

Jones, L.M.; Migneron, R.; Narayanan, K.S.S.

1987-01-01

We show how integrodifferential equations typical of jet calculus can be combined with an averaging procedure to obtain jet-calculus-based results including the Mueller interference graphs. Results in longitudinal-momentum fraction x for physical quantities are higher at intermediate x and lower at large x than with the conventional ''incoherent'' jet calculus. These results resemble those of Marchesini and Webber, who used a Monte Carlo approach based on the same dynamics

Functional Fractional Calculus

CERN Document Server

Das, Shantanu

2011-01-01

When a new extraordinary and outstanding theory is stated, it has to face criticism and skeptism, because it is beyond the usual concept. The fractional calculus though not new, was not discussed or developed for a long time, particularly for lack of its application to real life problems. It is extraordinary because it does not deal with 'ordinary' differential calculus. It is outstanding because it can now be applied to situations where existing theories fail to give satisfactory results. In this book not only mathematical abstractions are discussed in a lucid manner, with physical mathematic

The BFKL pomeron calculus in the dipole approach

International Nuclear Information System (INIS)

Kozlov, M.; Levin, E.; Prygarin, A.

2007-01-01

In this paper we continue to pursue a goal of finding an effective theory for high energy interaction in QCD based on the colour dipole approach, for which the BFKL pomeron calculus gives a low energy limit. The key problem, that we try to solve in this paper is the probabilistic interpretation of the BFKL pomeron calculus in terms of the colourless dipoles and their interactions. We demonstrate that the BFKL pomeron calculus has two equivalent descriptions: (i) one is the generating functional which gives a clear probabilistic interpretation of the processes of high energy scattering and also provides a Hamiltonian-like description of the system of interacting dipoles; (ii) the second is the Langevin equation with a specific noise term which is rather complicated. We found that at high energies this Langevin equation can be reduced to the Langevin equation for directed percolation in the momentum space if the impact parameter is large, namely, b1/k, where k is the transverse momentum of a dipole. Unfortunately, this simplified form of Langevin equation is not applicable for summation of pomeron loops, where one integrates over all possible values of impact parameter. We show that the BFKL pomeron calculus with two vertices (splitting P->P+P and merging P+P->P of pomerons) can be interpreted as a system of colourless dipoles with two processes: the decay of one dipole into two and the merging of two dipoles into one dipole. However, a number of assumptions we have to make on the way to simplify the noise term in the Langevin equation and/or to apply the probabilistic interpretation, therefore, we can consider both of these approaches in the present form only as the QCD motivated models

A primer on exterior differential calculus

Directory of Open Access Journals (Sweden)

Burton D.A.

2003-01-01

Full Text Available A pedagogical application-oriented introduction to the cal­culus of exterior differential forms on differential manifolds is presented. Stokes' theorem, the Lie derivative, linear con­nections and their curvature, torsion and non-metricity are discussed. Numerous examples using differential calculus are given and some detailed comparisons are made with their tradi­tional vector counterparts. In particular, vector calculus on R3 is cast in terms of exterior calculus and the traditional Stokes' and divergence theorems replaced by the more powerful exterior expression of Stokes' theorem. Examples from classical continuum mechanics and spacetime physics are discussed and worked through using the language of exterior forms. The numerous advantages of this calculus, over more traditional ma­chinery, are stressed throughout the article. .

Model-checking dense-time Duration Calculus

DEFF Research Database (Denmark)

Fränzle, Martin

2004-01-01

Since the seminal work of Zhou Chaochen, M. R. Hansen, and P. Sestoft on decidability of dense-time Duration Calculus [Zhou, Hansen, Sestoft, 1993] it is well-known that decidable fragments of Duration Calculus can only be obtained through withdrawal of much of the interesting vocabulary...... of this logic. While this was formerly taken as an indication that key-press verification of implementations with respect to elaborate Duration Calculus specifications were also impossible, we show that the model property is well decidable for realistic designs which feature natural constraints...... suitably sparser model classes we obtain model-checking procedures for rich subsets of Duration Calculus. Together with undecidability results also obtained, this sheds light upon the exact borderline between decidability and undecidability of Duration Calculi and related logics....

Proof Nets for Lambek Calculus

NARCIS (Netherlands)

Roorda, Dirk

1992-01-01

The proof nets of linear logic are adapted to the non-commutative Lambek calculus. A different criterion for soundness of proof nets is given, which gives rise to new algorithms for proof search. The order sensitiveness of the Lambek calculus is reflected by the planarity condition on proof nets;

Differential calculus on quantized simple Lie groups

Energy Technology Data Exchange (ETDEWEB)

Jurco, B. (Dept. of Optics, Palacky Univ., Olomouc (Czechoslovakia))

1991-07-01

Differential calculi, generalizations of Woronowicz's four-dimensional calculus on SU{sub q}(2), are introduced for quantized classical simple Lie groups in a constructive way. For this purpose, the approach of Faddeev and his collaborators to quantum groups was used. An equivalence of Woronowicz's enveloping algebra generated by the dual space to the left-invariant differential forms and the corresponding quantized universal enveloping algebra, is obtained for our differential calculi. Real forms for q {epsilon} R are also discussed. (orig.).

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

On d=2 Regge calculus without triangulation

International Nuclear Information System (INIS)

Foerster, D.

1987-01-01

The supersymmetric version of a previously developed Regge calculus for d=2 euclidean gravity is given. In the context of string theory, a continuum theory is likely to exist for D<2 external space-time dimensions, just like in the bosonic case and essentially in agreement with the weak coupling regime D≤1 found by Gervais and Neveu for Liouville theory and its supersymmetric extension. The techniques developed here are intended to be of use, eventually, in lowering the critical dimensions of string theories. (orig.)

Pathway analysis of IMC

DEFF Research Database (Denmark)

Skrypnyuk, Nataliya; Nielson, Flemming; Pilegaard, Henrik

2009-01-01

We present the ongoing work on the pathway analysis of a stochastic calculus. Firstly we present a particular stochastic calculus that we have chosen for our modeling - the Interactive Markov Chains calculus, IMC for short. After that we specify a few restrictions that we have introduced into the...... into the syntax of IMC in order to make our analysis feasible. Finally we describe the analysis itself together with several theoretical results that we have proved for it.......We present the ongoing work on the pathway analysis of a stochastic calculus. Firstly we present a particular stochastic calculus that we have chosen for our modeling - the Interactive Markov Chains calculus, IMC for short. After that we specify a few restrictions that we have introduced...

On the fractional calculus of Besicovitch function

International Nuclear Information System (INIS)

Liang Yongshun

2009-01-01

Relationship between fractional calculus and fractal functions has been explored. Based on prior investigations dealing with certain fractal functions, fractal dimensions including Hausdorff dimension, Box dimension, K-dimension and Packing dimension is shown to be a linear function of order of fractional calculus. Both Riemann-Liouville fractional calculus and Weyl-Marchaud fractional derivative of Besicovitch function have been discussed.

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…

Stochastic models: theory and simulation.

Energy Technology Data Exchange (ETDEWEB)

Field, Richard V., Jr.

2008-03-01

Many problems in applied science and engineering involve physical phenomena that behave randomly in time and/or space. Examples are diverse and include turbulent flow over an aircraft wing, Earth climatology, material microstructure, and the financial markets. Mathematical models for these random phenomena are referred to as stochastic processes and/or random fields, and Monte Carlo simulation is the only general-purpose tool for solving problems of this type. The use of Monte Carlo simulation requires methods and algorithms to generate samples of the appropriate stochastic model; these samples then become inputs and/or boundary conditions to established deterministic simulation codes. While numerous algorithms and tools currently exist to generate samples of simple random variables and vectors, no cohesive simulation tool yet exists for generating samples of stochastic processes and/or random fields. There are two objectives of this report. First, we provide some theoretical background on stochastic processes and random fields that can be used to model phenomena that are random in space and/or time. Second, we provide simple algorithms that can be used to generate independent samples of general stochastic models. The theory and simulation of random variables and vectors is also reviewed for completeness.

Contribution to the stochastically studies of space-time dependable hydrological processes

International Nuclear Information System (INIS)

Kjaevski, Ivancho

2002-12-01

One of the fundaments of today's planning and water economy is Science of Hydrology. Science of Hydrology through the history had followed the development of the water management systems. Water management systems, during the time from single-approach evolved to complex and multi purpose systems. The dynamic and development of the today's society contributed for increasing the demand of clean water, and in the same time, the resources of clean water in the nature are reduced. In this kind of conditions, water management systems should resolve problems that are more complicated during managing of water sources. Solving the problems in water management, enable development and applying new methods and technologies in planning and management with water resources and water management systems like: systematical analyses, operational research, hierarchy decisions, expert systems, computer technology etc. Planning and management of water sources needs historical measured data for hydro metrological processes. In our country there are data of hydro metrological processes in period of 50-70, but in some Europe countries there are data more than 100 years. Water economy trends follow the hydro metrological trend research. The basic statistic techniques like sampling, probability distribution function, correlation and regression, are used about one intended and simple water management problems. Solving new problems about water management needs using of space-time stochastic technique, modem mathematical and statistical techniques during simulation and optimization of complex water systems. We need tree phases of development of the techniques to get secure hydrological models: i) Estimate the quality of hydro meteorological data, analyzing of their consistency, and homogeneous; ii) Structural analyze of hydro meteorological processes; iii) Mathematical models for modeling hydro meteorological processes. Very often, the third phase is applied for analyzing and modeling of hydro

Miniature endoscopic optical coherence tomography for calculus detection.

Science.gov (United States)

Kao, Meng-Chun; Lin, Chun-Li; Kung, Che-Yen; Huang, Yi-Fung; Kuo, Wen-Chuan

2015-08-20

The effective treatment of periodontitis involves the detection and removal of subgingival dental calculus. However, subgingival calculus is more difficult to detect than supragingival calculus because it is firmly attached to root surfaces within periodontal pockets. To achieve a smooth root surface, clinicians often remove excessive amounts of root structure because of decreased visibility. In addition, enamel pearl, a rare type of ectopic enamel formation on the root surface, can easily be confused with dental calculus in the subgingival environment. In this study, we developed a fiber-probe swept-source optical coherence tomography (SSOCT) technique and combined it with the quantitative measurement of an optical parameter [standard deviation (SD) of the optical coherence tomography (OCT) intensity] to differentiate subgingival calculus from sound enamel, including enamel pearl. Two-dimensional circumferential images were constructed by rotating the miniprobe (0.9 mm diameter) while acquiring image lines, and the adjacent lines in each rotation were stacked to generate a three-dimensional volume. In OCT images, compared to sound enamel and enamel pearls, dental calculus showed significant differences (Pdental calculus.

Area Regge calculus and continuum limit

International Nuclear Information System (INIS)

Khatsymovsky, V.M.

2002-01-01

Encountered in the literature generalisations of general relativity to independent area variables are considered, the discrete (generalised Regge calculus) and continuum ones. The generalised Regge calculus can be either with purely area variables or, as we suggest, with area tensor-connection variables. Just for the latter, in particular, we prove that in analogy with corresponding statement in ordinary Regge calculus (by Feinberg, Friedberg, Lee and Ren), passing to the (appropriately defined) continuum limit yields the generalised continuum area tensor-connection general relativity

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

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

Path integration quantization

International Nuclear Information System (INIS)

DeWitt-Morette, C.

1983-01-01

Much is expected of path integration as a quantization procedure. Much more is possible if one recognizes that path integration is at the crossroad of stochastic and differential calculus and uses the full power of both stochastic and differential calculus in setting up and computing path integrals. In contrast to differential calculus, stochastic calculus has only comparatively recently become an instrument of thought. It has nevertheless already been used in a variety of challenging problems, for instance in the quantization problem. The author presents some applications of the stochastic scheme. (Auth.)

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.

On the continuum limit of curvature squared actions in the Regge calculus

International Nuclear Information System (INIS)

Eliezer, D.

1989-01-01

We evaluate the continuum limit of a family of curvature squared actions for the Regge calculus proposed by Hamber and Williams. The answers depend on how the continuum limit is defined. When the link lengths are defined as the distance in an embedding space between the endpoints of the link, we find that no member of this family approaches the continuum limit correctly. Defining the link lengths as the length of a geodesic between the endpoints of the link, we find that a unique member is selected, and we prove for the general two dimensional compact manifold that this Regge calculus action converges to ∫R 2 √d d 2 x. (orig.)

Stochastic cooling

International Nuclear Information System (INIS)

Bisognano, J.; Leemann, C.

1982-03-01

Stochastic cooling is the damping of betatron oscillations and momentum spread of a particle beam by a feedback system. In its simplest form, a pickup electrode detects the transverse positions or momenta of particles in a storage ring, and the signal produced is amplified and applied downstream to a kicker. The time delay of the cable and electronics is designed to match the transit time of particles along the arc of the storage ring between the pickup and kicker so that an individual particle receives the amplified version of the signal it produced at the pick-up. If there were only a single particle in the ring, it is obvious that betatron oscillations and momentum offset could be damped. However, in addition to its own signal, a particle receives signals from other beam particles. In the limit of an infinite number of particles, no damping could be achieved; we have Liouville's theorem with constant density of the phase space fluid. For a finite, albeit large number of particles, there remains a residue of the single particle damping which is of practical use in accumulating low phase space density beams of particles such as antiprotons. It was the realization of this fact that led to the invention of stochastic cooling by S. van der Meer in 1968. Since its conception, stochastic cooling has been the subject of much theoretical and experimental work. The earliest experiments were performed at the ISR in 1974, with the subsequent ICE studies firmly establishing the stochastic cooling technique. This work directly led to the design and construction of the Antiproton Accumulator at CERN and the beginnings of p anti p colliding beam physics at the SPS. Experiments in stochastic cooling have been performed at Fermilab in collaboration with LBL, and a design is currently under development for a anti p accumulator for the Tevatron

Stochastic dynamics and irreversibility

CERN Document Server

Tomé, Tânia

2015-01-01

This textbook presents an exposition of stochastic dynamics and irreversibility. It comprises the principles of probability theory and the stochastic dynamics in continuous spaces, described by Langevin and Fokker-Planck equations, and in discrete spaces, described by Markov chains and master equations. Special concern is given to the study of irreversibility, both in systems that evolve to equilibrium and in nonequilibrium stationary states. Attention is also given to the study of models displaying phase transitions and critical phenomema both in thermodynamic equilibrium and out of equilibrium. These models include the linear Glauber model, the Glauber-Ising model, lattice models with absorbing states such as the contact process and those used in population dynamic and spreading of epidemic, probabilistic cellular automata, reaction-diffusion processes, random sequential adsorption and dynamic percolation. A stochastic approach to chemical reaction is also presented.The textbook is intended for students of ...

General quantum variational calculus

Directory of Open Access Journals (Sweden)

Artur M. C. Brito da Cruz

2018-02-01

Full Text Available We develop a new variational calculus based in the general quantum difference operator recently introduced by Hamza et al. In particular, we obtain optimality conditions for generalized variational problems where the Lagrangian may depend on the endpoints conditions and a real parameter, for the basic and isoperimetric problems, with and without fixed boundary conditions. Our results provide a generalization to previous results obtained for the $q$- and Hahn-calculus.

Łukasiewicz mu-Calculus

Directory of Open Access Journals (Sweden)

Matteo Mio

2013-08-01

Full Text Available The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunctions from Łukasiewicz (fuzzy logic. We show that this logic encodes the well-known probabilistic temporal logic PCTL. And we give a model-checking algorithm for computing the rational denotational value of a formula at any state in a finite rational probabilistic nondeterministic transition system.

Calculus of bivariant function

OpenAIRE

PTÁČNÍK, Jan

2011-01-01

This thesis deals with the introduction of function of two variables and differential calculus of this function. This work should serve as a textbook for students of elementary school's teacher. Each chapter contains a summary of basic concepts and explanations of relationships, then solved model exercises of the topic and finally the exercises, which should solve the student himself. Thesis have transmit to students basic knowledges of differential calculus of functions of two variables, inc...

Geometric calculus: a new computational tool for Riemannian geometry

International Nuclear Information System (INIS)

Moussiaux, A.; Tombal, P.

1988-01-01

We compare geometric calculus applied to Riemannian geometry with Cartan's exterior calculus method. The correspondence between the two methods is clearly established. The results obtained by a package written in an algebraic language and doing general manipulations on multivectors are compared. We see that the geometric calculus is as powerful as exterior calculus

Stochastic field theory and finite-temperature supersymmetry

International Nuclear Information System (INIS)

Ghosh, P.; Bandyopadhyay, P.

1988-01-01

The finite-temperature behavior of supersymmetry is considered from the viewpoint of stochastic field theory. To this end, it is considered that Nelson's stochastic mechanics may be generalized to the quantization of a Fermi field when the classical analog of such a field is taken to be a scalar nonlocal field where the internal space is anisotropic in nature such that when quantized this gives rise to two internal helicities corresponding to fermion and antifermion. Stochastic field theory at finite temperature is then formulated from stochastic mechanics which incorporates Brownian motion in the external space as well as in the internal space of a particle. It is shown that when the anisotropy of the internal space is suppressed so that the internal time ξ 0 vanishes and the internal space variables are integrated out one has supersymmetry at finite temperature. This result is true for T = 0, also. However, at this phase equilibrium will be destroyed. Thus for a random process van Hove's result involving quantum mechanical operators, i.e., that when supersymmetry remains unbroken at T = 0 it will also remain unbroken at Tnot =0, occurs. However, this formalism indicates that when at T = 0 broken supersymmetry results, supersymmetry may be restored at a critical temperature T/sub c/

Nelson's stochastic quantization of free linearized gravitational field and its Markovian structure

International Nuclear Information System (INIS)

Lim, S.C.

1983-05-01

It is shown that by applying Nelson's stochastic quantization scheme to free linearized gravitational field tensor one can associate with the resulting stochastic system a stochastic tensor field which coincides with the ''space'' part of the Riemannian tensor in Euclidean space-time. However, such a stochastic field fails to satisfy the Markov property. Instead, it satisfies the reflection positivity. The Markovian structure of the stochastic fields associated with the electromagnetic field is also discussed. (author)

Fluorescence detection of dental calculus

International Nuclear Information System (INIS)

Gonchukov, S; Sukhinina, A; Vdovin, Yu; Biryukova, T

2010-01-01

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

Fluorescence detection of dental calculus

Science.gov (United States)

Gonchukov, S.; Biryukova, T.; Sukhinina, A.; Vdovin, Yu

2010-11-01

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

Recursive sequences in first-year calculus

Science.gov (United States)

Krainer, Thomas

2016-02-01

This article provides ready-to-use supplementary material on recursive sequences for a second-semester calculus class. It equips first-year calculus students with a basic methodical procedure based on which they can conduct a rigorous convergence or divergence analysis of many simple recursive sequences on their own without the need to invoke inductive arguments as is typically required in calculus textbooks. The sequences that are accessible to this kind of analysis are predominantly (eventually) monotonic, but also certain recursive sequences that alternate around their limit point as they converge can be considered.

Phase space descriptions for simplicial 4D geometries

International Nuclear Information System (INIS)

Dittrich, Bianca; Ryan, James P

2011-01-01

Starting from the canonical phase space for discretized (4D) BF theory, we implement a canonical version of the simplicity constraints and construct phase spaces for simplicial geometries. Our construction allows us to study the connection between different versions of Regge calculus and approaches using connection variables, such as loop quantum gravity. We find that on a fixed triangulation the (gauge invariant) phase space associated with loop quantum gravity is genuinely larger than the one for length and even area Regge calculus. Rather, it corresponds to the phase space of area-angle Regge calculus, as defined in [1] (prior to the imposition of gluing constraints, which ensure the metricity of the triangulation). Finally, we show that for a subclass of triangulations one can construct first-class Hamiltonian and diffeomorphism constraints leading to flat 4D spacetimes.

Tensor calculus, relativity, and cosmology a first course

CERN Document Server

Dalarsson, M

2005-01-01

This book combines relativity, astrophysics, and cosmology in a single volume, providing an introduction to each subject that enables students to understand more detailed treatises as well as the current literature. The section on general relativity gives the case for a curved space-time, presents the mathematical background (tensor calculus, Riemannian geometry), discusses the Einstein equation and its solutions (including black holes, Penrose processes, and similar topics), and considers the energy-momentum tensor for various solutions. The next section on relativistic astrophysics discusses

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

OpenAIRE

Ayebo, Abraham; Ukkelberg, Sarah; Assuah, Charles

2017-01-01

Calculus at the college level has significantpotential to serve as a pump for increasing the number of students majoring inSTEM fields. It is a foundation course for all STEM majors and, if mastered well,should provide students with a positive and successful first-year experienceand gateway into more advanced courses. Studies have shown that a high percentage of studentsfailing college calculus has caused a shortage of individuals entering fieldsthat are heavily dependent on mathematics. Many...

Dental calculus image based on optical coherence tomography

Science.gov (United States)

Hsieh, Yao-Sheng; Ho, Yi-Ching; Lee, Shyh-Yuan; Chuang, Ching-Cheng; Wang, Chun-Yang; Sun, Chia-Wei

2011-03-01

In this study, the dental calculus was characterized and imaged by means of swept-source optical coherence tomography (SSOCT). The refractive indices of enamel, dentin, cementum and calculus were measured as 1.625+/-0.024, 1.534+/-0.029, 1.570+/-0.021 and 1.896+/-0.085, respectively. The dental calculus lead strong scattering property and thus the region can be identified under enamel with SSOCT imaging. An extracted human tooth with calculus was covered by gingiva tissue as in vitro sample for SSOCT imaging.

Calculus detection technologies: where do we stand now?

Science.gov (United States)

Archana, V

2014-01-01

Epidemiological studies have implicated dental calculus as an ideal substrate for subgingival microbial colonization. Therefore, the main objective of periodontal therapy is to eliminate the microbial biofilm along with the calculus deposits from the root surface by root surface debridement. Over the past years, a large number of clinical and laboratory studies have been conducted to evaluate the efficacy of calculus removal by various methods. None of these conventional methods or devices was effective in completely eliminating all the calculus from the diseased root surfaces. In this context, a number of newer technologies have been developed to identify and selectively remove the dental calculus. Regarding this fact, the present article highlights a critical review of these devices based on published clinical and experimental data.

Calculus detection technologies: where do we stand now?

Science.gov (United States)

Archana, V

2014-01-01

Epidemiological studies have implicated dental calculus as an ideal substrate for subgingival microbial colonization. Therefore, the main objective of periodontal therapy is to eliminate the microbial biofilm along with the calculus deposits from the root surface by root surface debridement. Over the past years, a large number of clinical and laboratory studies have been conducted to evaluate the efficacy of calculus removal by various methods. None of these conventional methods or devices was effective in completely eliminating all the calculus from the diseased root surfaces. In this context, a number of newer technologies have been developed to identify and selectively remove the dental calculus. Regarding this fact, the present article highlights a critical review of these devices based on published clinical and experimental data. PMID:25870667

The Relationship between the Stochastic Maximum Principle and the Dynamic Programming in Singular Control of Jump Diffusions

Directory of Open Access Journals (Sweden)

Farid Chighoub

2014-01-01

the stochastic calculus of jump diffusions and some properties of singular controls. Then, we give, under smoothness conditions, a useful verification theorem and we show that the solution of the adjoint equation coincides with the spatial gradient of the value function, evaluated along the optimal trajectory of the state equation. Finally, using these theoretical results, we solve explicitly an example, on optimal harvesting strategy, for a geometric Brownian motion with jumps.

Backward Stochastic Riccati Equations and Infinite Horizon L-Q Optimal Control with Infinite Dimensional State Space and Random Coefficients

International Nuclear Information System (INIS)

Guatteri, Giuseppina; Tessitore, Gianmario

2008-01-01

We study the Riccati equation arising in a class of quadratic optimal control problems with infinite dimensional stochastic differential state equation and infinite horizon cost functional. We allow the coefficients, both in the state equation and in the cost, to be random.In such a context backward stochastic Riccati equations are backward stochastic differential equations in the whole positive real axis that involve quadratic non-linearities and take values in a non-Hilbertian space. We prove existence of a minimal non-negative solution and, under additional assumptions, its uniqueness. We show that such a solution allows to perform the synthesis of the optimal control and investigate its attractivity properties. Finally the case where the coefficients are stationary is addressed and an example concerning a controlled wave equation in random media is proposed

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

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.

Dental calculus formation in children and adolescents undergoing hemodialysis.

Science.gov (United States)

Martins, Carla; Siqueira, Walter Luiz; Oliveira, Elizabeth; Nicolau, José; Primo, Laura Guimarães

2012-10-01

This study aimed to determine whether dental calculus formation is really higher among patients with chronic kidney disease undergoing hemodialysis than among controls. Furthermore, the study evaluated correlations between dental calculus formation and dental plaque, variables that are related to renal disease and/or saliva composition. The Renal Group was composed of 30 patients undergoing hemodialysis, whereas the Healthy Group had 30 clinically healthy patients. Stimulated whole saliva and parotid saliva were collected. Salivary flow rate and calcium and phosphate concentrations were determined. In the Renal Group the saliva collection was carried out before and after a hemodialysis session. Patients from both groups received intraoral exams, oral hygiene instructions, and dental scaling. Three months later, the dental calculus was measured by the Volpe-Manhold method to determine the rate of dental calculus formation. The Renal Group presented a higher rate of dental calculus formation (p dental calculus formation and whole saliva flow rate in the Renal Group after a hemodialysis session (r = 0.44, p dental calculus was associated with phosphate concentration in whole saliva from the Renal Group (p dental calculus formation, probably due to salivary variables.

Fluorescence spectroscopy of dental calculus

International Nuclear Information System (INIS)

Bakhmutov, D; Gonchukov, S; Sukhinina, A

2010-01-01

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

Fluorescence spectroscopy of dental calculus

Science.gov (United States)

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

2010-05-01

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

Max-Plus Stochastic Control and Risk-Sensitivity

International Nuclear Information System (INIS)

Fleming, Wendell H.; Kaise, Hidehiro; Sheu, Shuenn-Jyi

2010-01-01

In the Maslov idempotent probability calculus, expectations of random variables are defined so as to be linear with respect to max-plus addition and scalar multiplication. This paper considers control problems in which the objective is to minimize the max-plus expectation of some max-plus additive running cost. Such problems arise naturally as limits of some types of risk sensitive stochastic control problems. The value function is a viscosity solution to a quasivariational inequality (QVI) of dynamic programming. Equivalence of this QVI to a nonlinear parabolic PDE with discontinuous Hamiltonian is used to prove a comparison theorem for viscosity sub- and super-solutions. An example from mathematical finance is given, and an application in nonlinear H-infinity control is sketched.

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...... dynamic change of scope (of label) in connection with communication. It is proved that algebraic properties of strong (and observational) equivalence for CCS are preserved by the extension. Examples illustrating the expressive power of the calculus and its methods for reasoning are given....

Bicovariant differential calculus on quantum groups and wave mechanics

International Nuclear Information System (INIS)

Carow-Watamura, U.; Watamura, S.; Hebecker, A.; Schlieker, M.; Weich, W.

1992-01-01

The bicovariant differential calculus on quantum groups defined by Woronowicz and later worked out explicitly by Carow-Watamura et al. and Jurco for the real quantum groups SU q (N) and SO q (N) through a systematic construction of the bicovariant bimodules of these quantum groups, is reviewed for SU q (2) and SO q (N). The resulting vector fields build representations of the quantized universal enveloping algebras acting as covariant differential operators on the quantum groups and their associated quantum spaces. As an application, a free particle stationary wave equation on quantum space is formulated and solved in terms of a complete set of energy eigenfunctions. (author) 15 refs

Multiplicative calculus in biomedical image analysis

NARCIS (Netherlands)

Florack, L.M.J.; Assen, van H.C.

2011-01-01

We advocate the use of an alternative calculus in biomedical image analysis, known as multiplicative (a.k.a. non-Newtonian) calculus. It provides a natural framework in problems in which positive images or positive definite matrix fields and positivity preserving operators are of interest. Indeed,

A type system for continuation calculus

NARCIS (Netherlands)

Geuvers, J.H.; Geraedts, W.; Geron, B.; Stegeren, van J.; Oliva, P.

2014-01-01

Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching. It is Turing complete and evaluation is deterministic. Notions

Stochastic temperature and the Nicolai map

International Nuclear Information System (INIS)

Hueffel, H.

1989-01-01

Just as standard temperature can be related to the time coordinate of Euclidean space, a new concept of 'stochastic temperature' may be introduced by associating it to the Parisi-Wu time of stochastic quantization. The perturbative equilibrium limit for a self-interacting scalar field is studied, and a 'thermal' mass shift to one loop is shown. In addition one may interpret the underlying stochastic process as a Nicolai map at nonzero 'temperature'. 22 refs. (Author)

Differential calculus on deformed E(2) group

International Nuclear Information System (INIS)

Giller, S.; Gonera, C.; Kosinski, P.; Maslanka, P.

1997-01-01

Four dimensional bi-covariant differential *-calculus on quantum E(2) group is constructed. The relevant Lie algebra is obtained and covariant differential calculus on quantum plane is found. (author)

Stochastic Thermodynamics: A Dynamical Systems Approach

Directory of Open Access Journals (Sweden)

Tanmay Rajpurohit

2017-12-01

Full Text Available In this paper, we develop an energy-based, large-scale dynamical system model driven by Markov diffusion processes to present a unified framework for statistical thermodynamics predicated on a stochastic dynamical systems formalism. Specifically, using a stochastic state space formulation, we develop a nonlinear stochastic compartmental dynamical system model characterized by energy conservation laws that is consistent with statistical thermodynamic principles. In particular, we show that the difference between the average supplied system energy and the average stored system energy for our stochastic thermodynamic model is a martingale with respect to the system filtration. In addition, we show that the average stored system energy is equal to the mean energy that can be extracted from the system and the mean energy that can be delivered to the system in order to transfer it from a zero energy level to an arbitrary nonempty subset in the state space over a finite stopping time.

Restricted diversity of dental calculus methanogens over five centuries, France

OpenAIRE

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

2016-01-01

Methanogens are acknowledged archaeal members of modern dental calculus microbiota and dental pathogen complexes. Their repertoire in ancient dental calculus is poorly known. We therefore investigated archaea in one hundred dental calculus specimens collected from individuals recovered from six archaeological sites in France dated from the 14th to 19th centuries AD. Dental calculus was demonstrated by macroscopic and cone-beam observations. In 56 calculus specimens free of PCR inhibition, PCR...

Stochastic quantization and gravity

International Nuclear Information System (INIS)

Rumpf, H.

1984-01-01

We give a preliminary account of the application of stochastic quantization to the gravitational field. We start in Section I from Nelson's formulation of quantum mechanics as Newtonian stochastic mechanics and only then introduce the Parisi-Wu stochastic quantization scheme on which all the later discussion will be based. In Section II we present a generalization of the scheme that is applicable to fields in physical (i.e. Lorentzian) space-time and treat the free linearized gravitational field in this manner. The most remarkable result of this is the noncausal propagation of conformal gravitons. Moreover the concept of stochastic gauge-fixing is introduced and a complete discussion of all the covariant gauges is given. A special symmetry relating two classes of covariant gauges is exhibited. Finally Section III contains some preliminary remarks on full nonlinear gravity. In particular we argue that in contrast to gauge fields the stochastic gravitational field cannot be transformed to a Gaussian process. (Author)

Application of Stochastic Partial Differential Equations to Reservoir Property Modelling

KAUST Repository

Potsepaev, R.

2010-09-06

Existing algorithms of geostatistics for stochastic modelling of reservoir parameters require a mapping (the \\'uvt-transform\\') into the parametric space and reconstruction of a stratigraphic co-ordinate system. The parametric space can be considered to represent a pre-deformed and pre-faulted depositional environment. Existing approximations of this mapping in many cases cause significant distortions to the correlation distances. In this work we propose a coordinate free approach for modelling stochastic textures through the application of stochastic partial differential equations. By avoiding the construction of a uvt-transform and stratigraphic coordinates, one can generate realizations directly in the physical space in the presence of deformations and faults. In particular the solution of the modified Helmholtz equation driven by Gaussian white noise is a zero mean Gaussian stationary random field with exponential correlation function (in 3-D). This equation can be used to generate realizations in parametric space. In order to sample in physical space we introduce a stochastic elliptic PDE with tensor coefficients, where the tensor is related to correlation anisotropy and its variation is physical space.

Series expansion in fractional calculus and fractional differential equations

OpenAIRE

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

2009-01-01

Fractional calculus is the calculus of differentiation and integration of non-integer orders. In a recently paper (Annals of Physics 323 (2008) 2756-2778), the Fundamental Theorem of Fractional Calculus is highlighted. Based on this theorem, in this paper we introduce fractional series expansion method to fractional calculus. We define a kind of fractional Taylor series of an infinitely fractionally-differentiable function. Further, based on our definition we generalize hypergeometric functio...

A direct extension of Meller's calculus

Directory of Open Access Journals (Sweden)

E. L. Koh

1982-01-01

Full Text Available This paper extends the operational calculus of Meller for the operator Bα=t−αddttα+1ddt to the case where α∈(0,∞. The development is àla Mikusinski calculus and uses Meller's convolution process with a fractional derivative operator.

A real-space stochastic density matrix approach for density functional electronic structure.

Science.gov (United States)

Beck, Thomas L

2015-12-21

The recent development of real-space grid methods has led to more efficient, accurate, and adaptable approaches for large-scale electrostatics and density functional electronic structure modeling. With the incorporation of multiscale techniques, linear-scaling real-space solvers are possible for density functional problems if localized orbitals are used to represent the Kohn-Sham energy functional. These methods still suffer from high computational and storage overheads, however, due to extensive matrix operations related to the underlying wave function grid representation. In this paper, an alternative stochastic method is outlined that aims to solve directly for the one-electron density matrix in real space. In order to illustrate aspects of the method, model calculations are performed for simple one-dimensional problems that display some features of the more general problem, such as spatial nodes in the density matrix. This orbital-free approach may prove helpful considering a future involving increasingly parallel computing architectures. Its primary advantage is the near-locality of the random walks, allowing for simultaneous updates of the density matrix in different regions of space partitioned across the processors. In addition, it allows for testing and enforcement of the particle number and idempotency constraints through stabilization of a Feynman-Kac functional integral as opposed to the extensive matrix operations in traditional approaches.

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

Stochasticity in the Josephson map

International Nuclear Information System (INIS)

Nomura, Y.; Ichikawa, Y.H.; Filippov, A.T.

1996-04-01

The Josephson map describes nonlinear dynamics of systems characterized by standard map with the uniform external bias superposed. The intricate structures of the phase space portrait of the Josephson map are examined on the basis of the tangent map associated with the Josephson map. Numerical observation of the stochastic diffusion in the Josephson map is examined in comparison with the renormalized diffusion coefficient calculated by the method of characteristic function. The global stochasticity of the Josephson map occurs at the values of far smaller stochastic parameter than the case of the standard map. (author)

The Effects of Two Semesters of Secondary School Calculus on Students' First and Second Quarter Calculus Grades at the University of Utah

Science.gov (United States)

Robinson, William Baker

1970-01-01

The predicted and actual achievement in college calculus is compared for students who had studied two semesters of calculus in high school. The regression equation used for prediction was calculated from the performance data of similar students who had not had high school calculus. (CT)

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

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

Science.gov (United States)

Wang, Yimin; Chen, Shanwen; Wang, Wei; Liu, Jianyong; Jin, Baiye

2015-07-02

Renal vein thrombosis (RVT) with flank pain, and hematuria, is often mistaken with renal colic originating from ureteric or renal calculus. Especially in young and otherwise healthy patients, clinicians are easily misled by clinical presentation and calcified RVT. A 38-year-old woman presented with flank pain and hematuria suggestive of renal calculus on ultrasound. She underwent extracorporeal shock wave lithotripsy that failed, leading to the recommendation that percutaneous lithotomy was necessary to remove the renal calculus. In preoperative view of the unusual shape of the calculus without hydronephrosis, noncontrast computed tomography was taken and demonstrated left ureteric calculus. However computed tomography angiography revealed, to our surprise, a calcified RVT that was initially thought to be a urinary calculus. This case shows that a calcified RVT might mimic a urinary calculus on conventional ultrasonography and ureteric calculus on noncontrast computed tomography. Subsequent computed tomography angiography disclosed that a calcified RVT caused the imaging findings, thus creating a potentially dangerous clinical pitfall. Hence, it is suggested that the possibility of a RVT needs to be considered in the differential diagnosis whenever one detects an uncommon shape for a urinary calculus.

Pre-calculus 1,001 practice problems for dummies

CERN Document Server

Sterling, Mary Jane; Sterling

2014-01-01

Prepare for calculus the smart way, with customizable pre-calculus practice 1,001 Pre-Calculus Practice Problems For Dummies offers 1,001 opportunities to gain confidence in your math skills. Much more than a workbook, this study aid provides pre-calculus problems ranked from easy to advanced, with detailed explanations and step-by-step solutions for each one. The companion website gives you free online access to all 1,001 practice problems and solutions, and you can track your progress and ID where you should focus your study time. Accessible on the go by smart phone, tablet, o

A Snapshot of the Calculus Classroom

Science.gov (United States)

Weathers, Tony D.; Latterell, Carmen M.

2003-01-01

Essentially a focus group to discuss textbook related issues, a meeting of calculus instructors from a wide variety of environments was convened and sponsored by McGraw Hill to provide feedback on the current state of the calculus classroom. This paper provides a description of the group's discussions.

Imagine Yourself in This Calculus Classroom

Science.gov (United States)

Bryan, Luajean

2007-01-01

The efforts to attract students to precalculus, trigonometry, and calculus classes became more successful at the author's school when projects-based classes were offered. Data collection from an untethered hot air balloon flight for calculus students was planned to maximize enrollment. The data were analyzed numerically, graphically, and…

Finite-dimensional calculus

International Nuclear Information System (INIS)

Feinsilver, Philip; Schott, Rene

2009-01-01

We discuss topics related to finite-dimensional calculus in the context of finite-dimensional quantum mechanics. The truncated Heisenberg-Weyl algebra is called a TAA algebra after Tekin, Aydin and Arik who formulated it in terms of orthofermions. It is shown how to use a matrix approach to implement analytic representations of the Heisenberg-Weyl algebra in univariate and multivariate settings. We provide examples for the univariate case. Krawtchouk polynomials are presented in detail, including a review of Krawtchouk polynomials that illustrates some curious properties of the Heisenberg-Weyl algebra, as well as presenting an approach to computing Krawtchouk expansions. From a mathematical perspective, we are providing indications as to how to implement infinite terms Rota's 'finite operator calculus'.

A calculus for quality

DEFF Research Database (Denmark)

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

2013-01-01

for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication......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...

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.

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.

Discrete Calculus by Analogy

CERN Document Server

Izadi, F A; Bagirov, G

2009-01-01

With its origins stretching back several centuries, discrete calculus is now an increasingly central methodology for many problems related to discrete systems and algorithms. The topics covered here usually arise in many branches of science and technology, especially in discrete mathematics, numerical analysis, statistics and probability theory as well as in electrical engineering, but our viewpoint here is that these topics belong to a much more general realm of mathematics; namely calculus and differential equations because of the remarkable analogy of the subject to this branch of mathemati

AP calculus AB & BC crash course

CERN Document Server

Rosebush, J

2012-01-01

AP Calculus AB & BC Crash Course - Gets You a Higher Advanced Placement Score in Less Time Crash Course is perfect for the time-crunched student, the last-minute studier, or anyone who wants a refresher on the subject. AP Calculus AB & BC Crash Course gives you: Targeted, Focused Review - Study Only What You Need to Know Crash Course is based on an in-depth analysis of the AP Calculus AB & BC course description outline and actual AP test questions. It covers only the information tested on the exams, so you can make the most of your valuable study time. Written by experienced math teachers, our

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

An Introductory Calculus-Based Mechanics Investigation

Science.gov (United States)

Allen, Bradley

2017-01-01

One challenge for the introductory physics teacher is incorporating calculus techniques into the laboratory setting. It can be difficult to strike a balance between presenting an experimental task for which calculus is essential and making the mathematics accessible to learners who may be apprehensive about applying it. One-dimensional kinematics…

Using Dynamic Software to Address Common College Calculus Stumbling Blocks

Science.gov (United States)

Seneres, Alice W.; Kerrigan, John A.

2014-01-01

There are specific topics in college calculus that can be major stumbling blocks for students. Having taught college calculus for four years to over a thousand students, we observed that even the students who have already taken pre-calculus or calculus during their high school careers had common misunderstandings. Students may remember a technique…

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

Science.gov (United States)

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

2016-05-11

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

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. Copyright © 2014 Elsevier Ltd. All rights reserved.

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…

Precise Orbit Solution for Swarm Using Space-Borne GPS Data and Optimized Pseudo-Stochastic Pulses

Directory of Open Access Journals (Sweden)

Bingbing Zhang

2017-03-01

Full Text Available Swarm is a European Space Agency (ESA project that was launched on 22 November 2013, which consists of three Swarm satellites. Swarm precise orbits are essential to the success of the above project. This study investigates how well Swarm zero-differenced (ZD reduced-dynamic orbit solutions can be determined using space-borne GPS data and optimized pseudo-stochastic pulses under high ionospheric activity. We choose Swarm space-borne GPS data from 1–25 October 2014, and Swarm reduced-dynamic orbits are obtained. Orbit quality is assessed by GPS phase observation residuals and compared with Precise Science Orbits (PSOs released by ESA. Results show that pseudo-stochastic pulses with a time interval of 6 min and a priori standard deviation (STD of 10−2 mm/s in radial (R, along-track (T and cross-track (N directions are optimized to Swarm ZD reduced-dynamic precise orbit determination (POD. During high ionospheric activity, the mean Root Mean Square (RMS of Swarm GPS phase residuals is at 9–11 mm, Swarm orbit solutions are also compared with Swarm PSOs released by ESA and the accuracy of Swarm orbits can reach 2–4 cm in R, T and N directions. Independent Satellite Laser Ranging (SLR validation indicates that Swarm reduced-dynamic orbits have an accuracy of 2–4 cm. Swarm-B orbit quality is better than those of Swarm-A and Swarm-C. The Swarm orbits can be applied to the geomagnetic, geoelectric and gravity field recovery.

The ZX-calculus is complete for stabilizer quantum mechanics

International Nuclear Information System (INIS)

Backens, Miriam

2014-01-01

The ZX-calculus is a graphical calculus for reasoning about quantum systems and processes. It is known to be universal for pure state qubit quantum mechanics (QM), meaning any pure state, unitary operation and post-selected pure projective measurement can be expressed in the ZX-calculus. The calculus is also sound, i.e. any equality that can be derived graphically can also be derived using matrix mechanics. Here, we show that the ZX-calculus is complete for pure qubit stabilizer QM, meaning any equality that can be derived using matrices can also be derived pictorially. The proof relies on bringing diagrams into a normal form based on graph states and local Clifford operations. (paper)

Thematization of the Calculus Graphing Schema

Science.gov (United States)

Cooley, Laurel; Baker, Bernadette; Trigueros, Maria

2003-01-01

This article is the result of an investigation of students' conceptualizations of calculus graphing techniques after they had completed at least two semesters of calculus. The work and responses of 27 students to a series of questions that solicit information about the graphical implications of the first derivative, second derivative, continuity,…

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…

Command injection attacks, continuations, and the Lambek calculus

Directory of Open Access Journals (Sweden)

Hayo Thielecke

2016-06-01

Full Text Available This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus, generalizing the double-negation typing of continuations. Lambek's syntactic calculus is a logic with two implicational connectives taking their arguments from the left and right, respectively. These connectives describe how strings interact with their left and right contexts when building up syntactic structures. The calculus is a form of propositional logic without structural rules, and so a forerunner of substructural logics like Linear Logic and Separation Logic.

Sequential neural models with stochastic layers

DEFF Research Database (Denmark)

Fraccaro, Marco; Sønderby, Søren Kaae; Paquet, Ulrich

2016-01-01

How can we efficiently propagate uncertainty in a latent state representation with recurrent neural networks? This paper introduces stochastic recurrent neural networks which glue a deterministic recurrent neural network and a state space model together to form a stochastic and sequential neural...... generative model. The clear separation of deterministic and stochastic layers allows a structured variational inference network to track the factorization of the model's posterior distribution. By retaining both the nonlinear recursive structure of a recurrent neural network and averaging over...

Stochastic 2-D Navier-Stokes Equation

International Nuclear Information System (INIS)

Menaldi, J.L.; Sritharan, S.S.

2002-01-01

In this paper we prove the existence and uniqueness of strong solutions for the stochastic Navier-Stokes equation in bounded and unbounded domains. These solutions are stochastic analogs of the classical Lions-Prodi solutions to the deterministic Navier-Stokes equation. Local monotonicity of the nonlinearity is exploited to obtain the solutions in a given probability space and this significantly improves the earlier techniques for obtaining strong solutions, which depended on pathwise solutions to the Navier-Stokes martingale problem where the probability space is also obtained as a part of the solution

A study of the effect of space-dependent neutronics on stochastically-induced bifurcations in BWR dynamics

Energy Technology Data Exchange (ETDEWEB)

Analytis, G.T. [Paul Scherrer Institute (PSI), Villigen (Switzerland)

1995-09-01

A non-linear one-group space-dependent neutronic model for a finite one-dimensional core is coupled with a simple BWR feed-back model. In agreement with results obtained by the authors who originally developed the point-kinetics version of this model, we shall show numerically that stochastic reactivity excitations may result in limit-cycles and eventually in a chaotic behaviour, depending on the magnitude of the feed-back coefficient K. In the framework of this simple space-dependent model, the effect of the non-linearities on the different spatial harmonics is studied and the importance of the space-dependent effects is exemplified and assessed in terms of the importance of the higher harmonics. It is shown that under certain conditions, when the limit-cycle-type develop, the neutron spectra may exhibit strong space-dependent effects.

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

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.

A formalism for the calculus of variations with spinors

International Nuclear Information System (INIS)

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

2016-01-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

Drell-Yan cross section in the jet calculus scheme

International Nuclear Information System (INIS)

Tanaka, Hidekazu; Kobayashi, Hirokazu

2009-01-01

We calculate factorized cross sections for lepton pair production mediated by a virtual photon in hadron-hadron collisions using the jet calculus scheme, in which a kinematical constraint due to parton radiation is taken into account. This method guarantees a proper phase space boundary for subtraction terms. Some properties of the calculated cross sections are examined. We also discuss matching between the hard scattering cross sections and parton showers at the next-to-leading logarithmic (NLL) order of quantum chromodynamics (QCD). (author)

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

Feynman's operational calculus and beyond noncommutativity and time-ordering

CERN Document Server

Johnson, George W; Nielsen, Lance

2015-01-01

This book is aimed at providing a coherent, essentially self-contained, rigorous and comprehensive abstract theory of Feynman's operational calculus for noncommuting operators. Although it is inspired by Feynman's original heuristic suggestions and time-ordering rules in his seminal 1951 paper An operator calculus having applications in quantum electrodynamics, as will be made abundantly clear in the introduction (Chapter 1) and elsewhere in the text, the theory developed in this book also goes well beyond them in a number of directions which were not anticipated in Feynman's work. Hence, the second part of the main title of this book. The basic properties of the operational calculus are developed and certain algebraic and analytic properties of the operational calculus are explored. Also, the operational calculus will be seen to possess some pleasant stability properties. Furthermore, an evolution equation and a generalized integral equation obeyed by the operational calculus are discussed and connections wi...

Stochasticity induced by coherent wavepackets

International Nuclear Information System (INIS)

Fuchs, V.; Krapchev, V.; Ram, A.; Bers, A.

1983-02-01

We consider the momentum transfer and diffusion of electrons periodically interacting with a coherent longitudinal wavepacket. Such a problem arises, for example, in lower-hybrid current drive. We establish the stochastic threshold, the stochastic region δv/sub stoch/ in velocity space, the associated momentum transfer j, and the diffusion coefficient D. We concentrate principally on the weak-field regime, tau/sub autocorrelation/ < tau/sub bounce/

Stochastic optimization: beyond mathematical programming

CERN Multimedia

CERN. Geneva

2015-01-01

Stochastic optimization, among which bio-inspired algorithms, is gaining momentum in areas where more classical optimization algorithms fail to deliver satisfactory results, or simply cannot be directly applied. This presentation will introduce baseline stochastic optimization algorithms, and illustrate their efficiency in different domains, from continuous non-convex problems to combinatorial optimization problem, to problems for which a non-parametric formulation can help exploring unforeseen possible solution spaces.

Endoscopic vs. tactile evaluation of subgingival calculus.

Science.gov (United States)

Osborn, Joy B; Lenton, Patricia A; Lunos, Scott A; Blue, Christine M

2014-08-01

Endoscopic technology has been developed to facilitate imagery for use during diagnostic and therapeutic phases of periodontal care. The purpose of this study was to compare the level of subgingival calculus detection using a periodontal endoscope with that of conventional tactile explorer in periodontitis subjects. A convenience sample of 26 subjects with moderate periodontitis in at least 2 quadrants was recruited from the University of Minnesota School of Dentistry to undergo quadrant scaling and root planing. One quadrant from each subject was randomized for tactile calculus detection alone and the other quadrant for tactile detection plus the Perioscope ™ (Perioscopy Inc., Oakland, Cali). A calculus index on a 0 to 3 score was performed at baseline and at 2 post-scaling and root planing visits. Sites where calculus was detected at visit 1 were retreated. T-tests were used to determine within-subject differences between Perioscope™ and tactile measures, and changes in measures between visits. Significantly more calculus was detected using the Perioscope™ vs. tactile explorer for all 3 subject visits (pcalculus detection from baseline to visit 1 were statistically significant for both the Perioscope™ and tactile quadrants (pcalculus detection from visit 1 to visit 2 was only significant for the Perioscope™ quadrant (pcalculus at this visit. It was concluded that the addition of a visual component to calculus detection via the Perioscope™ was most helpful in the re-evaluation phase of periodontal therapy. Copyright © 2014 The American Dental Hygienists’ Association.

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…

Two-parameter asymptotics in magnetic Weyl calculus

International Nuclear Information System (INIS)

Lein, Max

2010-01-01

This paper is concerned with small parameter asymptotics of magnetic quantum systems. In addition to a semiclassical parameter ε, the case of small coupling λ to the magnetic vector potential naturally occurs in this context. Magnetic Weyl calculus is adapted to incorporate both parameters, at least one of which needs to be small. Of particular interest is the expansion of the Weyl product which can be used to expand the product of operators in a small parameter, a technique which is prominent to obtain perturbation expansions. Three asymptotic expansions for the magnetic Weyl product of two Hoermander class symbols are proven as (i) ε<< 1 and λ<< 1, (ii) ε<< 1 and λ= 1, as well as (iii) ε= 1 and λ<< 1. Expansions (i) and (iii) are impossible to obtain with ordinary Weyl calculus. Furthermore, I relate the results derived by ordinary Weyl calculus with those obtained with magnetic Weyl calculus by one- and two-parameter expansions. To show the power and versatility of magnetic Weyl calculus, I derive the semirelativistic Pauli equation as a scaling limit from the Dirac equation up to errors of fourth order in 1/c.

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

Geometro-stochastic quantization of gauge fields in curved space-time

International Nuclear Information System (INIS)

Prugovecki, E.

1988-01-01

It is shown that the geometro-stochastic method of quantization of massive fields in curved space-time can be extended to the massless cases of electromagnetic fields and general Yang-Mills fields. The Fock fibres of the massive case are replaced in the present context by fibres with indefinite inner products, such as Gupta-Bleuler fibres in the electromagnetic case. The quantum space-time form factor used in the massive case gives rise in the present case to quantum gauge frames whose elements are generalized coherent states corresponding to pseudounitary spin-one representations of direct products of the Poincare group with the U(1), SU(N) or other internal gauge groups. Quantum connections are introduced on bundles of second-quantized frames, and the corresponding parallel transport is expressed in terms of path integrals for quantum frame propagators. In the Yang-Mills case, these path integral make use of Faddeev-Popov quantum frames. It is shown, however, that in the present framework the ghost fields that give rise to these frames possess a geometric interpretation related to the presence of a super-gauge group that, in addition to the external Poincare and Yang-Mills gauge degrees of freedom, involves also the internal ones related to choices of gauge bases within the quantum fibres

Calculus of tensors and differential forms

CERN Document Server

Sinha, Rajnikant

2014-01-01

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

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.

Reliability of recordings of subgingival calculus detected using an ultrasonic device.

Science.gov (United States)

Corraini, Priscila; López, Rodrigo

2015-04-01

To assess the intra-examiner reliability of recordings of subgingival calculus detected using an ultrasonic device, and to investigate the influence of subject-, tooth- and site-level factors on the reliability of these subgingival calculus recordings. On two occasions, within a 1-week interval, 147 adult periodontitis patients received a full-mouth clinical periodontal examination by a single trained examiner. Duplicate subgingival calculus recordings, in six sites per tooth, were obtained using an ultrasonic device for calculus detection and removal. Agreement was observed in 65 % of the 22,584 duplicate subgingival calculus recordings, ranging 45 % to 83 % according to subject. Using hierarchical modeling, disagreements in the subgingival calculus duplicate recordings were more likely in all other sites than the mid-buccal, and in sites harboring supragingival calculus. Disagreements were less likely in sites with PD ≥  4 mm and with furcation involvement  ≥  degree 2. Bleeding on probing or suppuration did not influence the reliability of subgingival calculus. At the subject-level, disagreements were less likely in patients presenting with the highest and lowest extent categories of the covariate subgingival calculus. The reliability of subgingival calculus recordings using the ultrasound technology is reasonable. The results of the present study suggest that the reliability of subgingival calculus recordings is not influenced by the presence of inflammation. Moreover, subgingival calculus can be more reliably detected using the ultrasound device at sites with higher need for periodontal therapy, i.e., sites presenting with deep pockets and premolars and molars with furcation involvement.

Fundamentals of stochastic nature sciences

CERN Document Server

Klyatskin, Valery I

2017-01-01

This book addresses the processes of stochastic structure formation in two-dimensional geophysical fluid dynamics based on statistical analysis of Gaussian random fields, as well as stochastic structure formation in dynamic systems with parametric excitation of positive random fields f(r,t) described by partial differential equations. Further, the book considers two examples of stochastic structure formation in dynamic systems with parametric excitation in the presence of Gaussian pumping. In dynamic systems with parametric excitation in space and time, this type of structure formation either happens – or doesn’t! However, if it occurs in space, then this almost always happens (exponentially quickly) in individual realizations with a unit probability. In the case considered, clustering of the field f(r,t) of any nature is a general feature of dynamic fields, and one may claim that structure formation is the Law of Nature for arbitrary random fields of such type. The study clarifies the conditions under wh...

New directions in Dirichlet forms

CERN Document Server

Jost, Jürgen; Mosco, Umberto; Rockner, Michael; Sturm, Karl-Theodor

1998-01-01

The theory of Dirichlet forms brings together methods and insights from the calculus of variations, stochastic analysis, partial differential and difference equations, potential theory, Riemannian geometry and more. This book features contributions by leading experts and provides up-to-date, authoritative accounts on exciting developments in the field and on new research perspectives. Topics covered include the following: stochastic analysis on configuration spaces, specifically a mathematically rigorous approach to the stochastic dynamics of Gibbs measures and infinite interacting particle systems; subelliptic PDE, homogenization, and fractals; geometric aspects of Dirichlet forms on metric spaces and function theory on such spaces; generalized harmonic maps as nonlinear analogues of Dirichlet forms, with an emphasis on non-locally compact situations; and a stochastic approach based on Brownian motion to harmonic maps and their regularity. Various new connections between the topics are featured, and it is de...

Topological vector spaces and their applications

CERN Document Server

Bogachev, V I

2017-01-01

This book gives a compact exposition of the fundamentals of the theory of locally convex topological vector spaces. Furthermore it contains a survey of the most important results of a more subtle nature, which cannot be regarded as basic, but knowledge which is useful for understanding applications. Finally, the book explores some of such applications connected with differential calculus and measure theory in infinite-dimensional spaces. These applications are a central aspect of the book, which is why it is different from the wide range of existing texts on topological vector spaces. In addition, this book develops differential and integral calculus on infinite-dimensional locally convex spaces by using methods and techniques of the theory of locally convex spaces. The target readership includes mathematicians and physicists whose research is related to infinite-dimensional analysis.

BRS invariant stochastic quantization of Einstein gravity

International Nuclear Information System (INIS)

Nakazawa, Naohito.

1989-11-01

We study stochastic quantization of gravity in terms of a BRS invariant canonical operator formalism. By introducing artificially canonical momentum variables for the original field variables, a canonical formulation of stochastic quantization is proposed in the sense that the Fokker-Planck hamiltonian is the generator of the fictitious time translation. Then we show that there exists a nilpotent BRS symmetry in an enlarged phase space of the first-class constrained systems. The phase space is spanned by the dynamical variables, their canonical conjugate momentum variables, Faddeev-Popov ghost and anti-ghost. We apply the general BRS invariant formulation to stochastic quantization of gravity which is described as a second-class constrained system in terms of a pair of Langevin equations coupled with white noises. It is shown that the stochastic action of gravity includes explicitly the De Witt's type superspace metric which leads to a geometrical interpretation of quantum gravity analogous to nonlinear σ-models. (author)

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.

The Complex Gradient Operator and the CR-Calculus

OpenAIRE

Kreutz-Delgado, Ken

2009-01-01

A thorough discussion and development of the calculus of real-valued functions of complex-valued vectors is given using the framework of the Wirtinger Calculus. The presented material is suitable for exposition in an introductory Electrical Engineering graduate level course on the use of complex gradients and complex Hessian matrices, and has been successfully used in teaching at UC San Diego. Going beyond the commonly encountered treatments of the first-order complex vector calculus, second-...

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.

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

International Nuclear Information System (INIS)

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

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

Areas and Volumes in Pre-Calculus

Science.gov (United States)

Jarrett, Joscelyn A.

2008-01-01

This article suggests the introduction of the concepts of areas bounded by plane curves and the volumes of solids of revolution in Pre-calculus. It builds on the basic knowledge that students bring to a pre-calculus class, derives a few more formulas, and gives examples of some problems on plane areas and the volumes of solids of revolution that…

Programming Language Concepts - The Lambda Calculus Approach

NARCIS (Netherlands)

Fokkinga, M.M.; Asveld, P.R.J.; Nijholt, Antinus

1987-01-01

The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathematics, but mainly used to study the concepts of algorithm and effective computability. Recently, the Lambda Calculus and related systems acquire attention from Computer Science for another reason too:

Relativistic collapse using Regge calculus: Pt. 1

International Nuclear Information System (INIS)

Dubal, M.R.; Leicester Univ.

1989-01-01

Regge calculus is used to simulate the dynamical collapse of model stars. In this paper we describe the general methodology of including a perfect fluid in dynamical Regge calculus spacetimes. The Regge-Einstein equations for spherical collapse are obtained and are then specialised to mimic a particular continuum gauge. The equivalent continuum problem is also set up. This is to be solved using standard numerical techniques (i.e. the method of finite difference). A subsequent paper will consider the solution of the equations presented here and will use the continuum problem for comparison purposes in order to check the Regge calculus results. (author)

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…

Everyday calculus discovering the hidden math all around us

CERN Document Server

Fernandez, Oscar E

2014-01-01

Calculus. For some of us, the word conjures up memories of ten-pound textbooks and visions of tedious abstract equations. And yet, in reality, calculus is fun, accessible, and surrounds us everywhere we go. In Everyday Calculus, Oscar Fernandez shows us how to see the math in our coffee, on the highway, and even in the night sky. Fernandez uses our everyday experiences to skillfully reveal the hidden calculus behind a typical day's events. He guides us through how math naturally emerges from simple observations-how hot coffee cools down, for example-and in discussions of over fifty familia

Scale calculus and the Schroedinger equation

International Nuclear Information System (INIS)

Cresson, Jacky

2003-01-01

This paper is twofold. In a first part, we extend the classical differential calculus to continuous nondifferentiable functions by developing the notion of scale calculus. The scale calculus is based on a new approach of continuous nondifferentiable functions by constructing a one parameter family of differentiable functions f(t,ε) such that f(t,ε)→f(t) when ε goes to zero. This led to several new notions as representations: fractal functions and ε-differentiability. The basic objects of the scale calculus are left and right quantum operators and the scale operator which generalizes the classical derivative. We then discuss some algebraic properties of these operators. We define a natural bialgebra, called quantum bialgebra, associated with them. Finally, we discuss a convenient geometric object associated with our study. In a second part, we define a first quantization procedure of classical mechanics following the scale relativity theory developed by Nottale. We obtain a nonlinear Schroedinger equation via the classical Newton's equation of dynamics using the scale operator. Under special assumptions we recover the classical Schroedinger equation and we discuss the relevance of these assumptions

Towards Model Checking a Spi-Calculus Dialect

NARCIS (Netherlands)

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

We present a model checking framework for a spi-calculus dialect which uses a linear time temporal logic for expressing security properties. We have provided our spi-calculus dialect, called SPID, with a semantics based on labeled transition systems (LTS), where the intruder is modeled in the

On flipping first-semester calculus: a case study

Science.gov (United States)

Petrillo, Joseph

2016-05-01

High failure rates in calculus have plagued students, teachers, and administrators for decades, while science, technology, engineering, and mathematics programmes continue to suffer from low enrollments and high attrition. In an effort to affect this reality, some educators are 'flipping' (or inverting) their classrooms. By flipping, we mean administering course content outside of the classroom and replacing the traditional in-class lectures with discussion, practice, group work, and other elements of active learning. This paper presents the major results from a three-year study of a flipped, first-semester calculus course at a small, comprehensive, American university with a well-known engineering programme. The data we have collected help quantify the positive and substantial effects of our flipped calculus course on failure rates, scores on the common final exam, student opinion of calculus, teacher impact on measurable outcomes, and success in second-semester calculus. While flipping may not be suitable for every teacher, every student, and in every situation, this report provides some evidence that it may be a viable option for those seeking an alternative to the traditional lecture model.

Introduction to Differential Calculus Systematic Studies with Engineering Applications for Beginners

CERN Document Server

Rohde, Ulrich L; Poddar, Ajay K; Ghosh, A K

2011-01-01

Enables readers to apply the fundamentals of differential calculus to solve real-life problems in engineering and the physical sciences Introduction to Differential Calculus fully engages readers by presenting the fundamental theories and methods of differential calculus and then showcasing how the discussed concepts can be applied to real-world problems in engineering and the physical sciences. With its easy-to-follow style and accessible explanations, the book sets a solid foundation before advancing to specific calculus methods, demonstrating the connections between differential calculus

Stochastic volatility and stochastic leverage

DEFF Research Database (Denmark)

Veraart, Almut; Veraart, Luitgard A. M.

This paper proposes the new concept of stochastic leverage in stochastic volatility models. Stochastic leverage refers to a stochastic process which replaces the classical constant correlation parameter between the asset return and the stochastic volatility process. We provide a systematic...... treatment of stochastic leverage and propose to model the stochastic leverage effect explicitly, e.g. by means of a linear transformation of a Jacobi process. Such models are both analytically tractable and allow for a direct economic interpretation. In particular, we propose two new stochastic volatility...... models which allow for a stochastic leverage effect: the generalised Heston model and the generalised Barndorff-Nielsen & Shephard model. We investigate the impact of a stochastic leverage effect in the risk neutral world by focusing on implied volatilities generated by option prices derived from our new...

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…

Relativistic differential-difference momentum operators and noncommutative differential calculus

International Nuclear Information System (INIS)

Mir-Kasimov, R.M.

2011-01-01

Full text: (author)The relativistic kinetic momentum operators are introduced in the framework of the Quantum Mechanics in the relativistic configuration space (RCS). These operators correspond to the half of the non-Euclidean distance in the Lobachevsky momentum space. In terms of kinetic momentum operators the relativistic kinetic energy is separated from the total Hamiltonian. The role of the plane wave (wave function of the motion with definite value of momentum and energy) plays the generation function for the matrix elements of the unitary irreps of Lorentz group (generalized Jacobi polynomials). The kinetic momentum operators are the interior derivatives in the framework of the non-commutative differential calculus over the commutative algebra generated by the coordinate functions over the RCS

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

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

Fluorescence-based calculus detection using a 405-nm excitation wavelength

Science.gov (United States)

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

2011-03-01

The aim of this study was to assess the difference of fluorescence signals of cement and calculus using a 405 nm excitation wavelength. A total number of 20 freshly extracted teeth was used. The light source used for this study was a blue LED with a wavelength of 405nm. For each tooth the spectra of calculus and cementum were measured separately. Fluorescence light was collimated into an optical fibre and spectrally analyzed using an echelle spectrometer (aryelle 200, Lasertechnik Berlin, Germany) with an additionally bandpass (fgb 67, Edmund Industrial Optics, Karlsruhe, Germany). From these 40 measurements the median values were calculated over the whole spectrum, leading to two different median spectra, one for calculus and one for cementum. For further statistical analysis we defined 8 areas of interest (AOI) in wavelength regions, showing remarkable differences in signal strength. In 7 AOIs the intensity of the calculus spectrum differed statistically significant from the intensity of the cementum spectrum (p calculus and cement between 600nm and 700nm. Thus, we can conclude that fluorescence of calculus shows a significant difference to the fluorescence of cement. A differentiation over the intensity is possible as well as over the spectrum. Using a wavelength of 405nm, it is possible to distinguish between calculus and cement. These results could be used for further devices to develop a method for feedback controlled calculus removal.

A stochastic differential equations approach for the description of helium bubble size distributions in irradiated metals

Energy Technology Data Exchange (ETDEWEB)

Seif, Dariush, E-mail: dariush.seif@iwm-extern.fraunhofer.de [Fraunhofer Institut für Werkstoffmechanik, Freiburg 79108 (Germany); Department of Mechanical and Aerospace Engineering, University of California, Los Angeles, CA 90095-1597 (United States); Ghoniem, Nasr M. [Department of Mechanical and Aerospace Engineering, University of California, Los Angeles, CA 90095-1597 (United States)

2014-12-15

A rate theory model based on the theory of nonlinear stochastic differential equations (SDEs) is developed to estimate the time-dependent size distribution of helium bubbles in metals under irradiation. Using approaches derived from Itô’s calculus, rate equations for the first five moments of the size distribution in helium–vacancy space are derived, accounting for the stochastic nature of the atomic processes involved. In the first iteration of the model, the distribution is represented as a bivariate Gaussian distribution. The spread of the distribution about the mean is obtained by white-noise terms in the second-order moments, driven by fluctuations in the general absorption and emission of point defects by bubbles, and fluctuations stemming from collision cascades. This statistical model for the reconstruction of the distribution by its moments is coupled to a previously developed reduced-set, mean-field, rate theory model. As an illustrative case study, the model is applied to a tungsten plasma facing component under irradiation. Our findings highlight the important role of stochastic atomic fluctuations on the evolution of helium–vacancy cluster size distributions. It is found that when the average bubble size is small (at low dpa levels), the relative spread of the distribution is large and average bubble pressures may be very large. As bubbles begin to grow in size, average bubble pressures decrease, and stochastic fluctuations have a lessened effect. The distribution becomes tighter as it evolves in time, corresponding to a more uniform bubble population. The model is formulated in a general way, capable of including point defect drift due to internal temperature and/or stress gradients. These arise during pulsed irradiation, and also during steady irradiation as a result of externally applied or internally generated non-homogeneous stress fields. Discussion is given into how the model can be extended to include full spatial resolution and how the

A stochastic differential equations approach for the description of helium bubble size distributions in irradiated metals

Science.gov (United States)

Seif, Dariush; Ghoniem, Nasr M.

2014-12-01

A rate theory model based on the theory of nonlinear stochastic differential equations (SDEs) is developed to estimate the time-dependent size distribution of helium bubbles in metals under irradiation. Using approaches derived from Itô's calculus, rate equations for the first five moments of the size distribution in helium-vacancy space are derived, accounting for the stochastic nature of the atomic processes involved. In the first iteration of the model, the distribution is represented as a bivariate Gaussian distribution. The spread of the distribution about the mean is obtained by white-noise terms in the second-order moments, driven by fluctuations in the general absorption and emission of point defects by bubbles, and fluctuations stemming from collision cascades. This statistical model for the reconstruction of the distribution by its moments is coupled to a previously developed reduced-set, mean-field, rate theory model. As an illustrative case study, the model is applied to a tungsten plasma facing component under irradiation. Our findings highlight the important role of stochastic atomic fluctuations on the evolution of helium-vacancy cluster size distributions. It is found that when the average bubble size is small (at low dpa levels), the relative spread of the distribution is large and average bubble pressures may be very large. As bubbles begin to grow in size, average bubble pressures decrease, and stochastic fluctuations have a lessened effect. The distribution becomes tighter as it evolves in time, corresponding to a more uniform bubble population. The model is formulated in a general way, capable of including point defect drift due to internal temperature and/or stress gradients. These arise during pulsed irradiation, and also during steady irradiation as a result of externally applied or internally generated non-homogeneous stress fields. Discussion is given into how the model can be extended to include full spatial resolution and how the

A stochastic differential equations approach for the description of helium bubble size distributions in irradiated metals

International Nuclear Information System (INIS)

Seif, Dariush; Ghoniem, Nasr M.

2014-01-01

A rate theory model based on the theory of nonlinear stochastic differential equations (SDEs) is developed to estimate the time-dependent size distribution of helium bubbles in metals under irradiation. Using approaches derived from Itô’s calculus, rate equations for the first five moments of the size distribution in helium–vacancy space are derived, accounting for the stochastic nature of the atomic processes involved. In the first iteration of the model, the distribution is represented as a bivariate Gaussian distribution. The spread of the distribution about the mean is obtained by white-noise terms in the second-order moments, driven by fluctuations in the general absorption and emission of point defects by bubbles, and fluctuations stemming from collision cascades. This statistical model for the reconstruction of the distribution by its moments is coupled to a previously developed reduced-set, mean-field, rate theory model. As an illustrative case study, the model is applied to a tungsten plasma facing component under irradiation. Our findings highlight the important role of stochastic atomic fluctuations on the evolution of helium–vacancy cluster size distributions. It is found that when the average bubble size is small (at low dpa levels), the relative spread of the distribution is large and average bubble pressures may be very large. As bubbles begin to grow in size, average bubble pressures decrease, and stochastic fluctuations have a lessened effect. The distribution becomes tighter as it evolves in time, corresponding to a more uniform bubble population. The model is formulated in a general way, capable of including point defect drift due to internal temperature and/or stress gradients. These arise during pulsed irradiation, and also during steady irradiation as a result of externally applied or internally generated non-homogeneous stress fields. Discussion is given into how the model can be extended to include full spatial resolution and how the

Stochastic quantum gravity

International Nuclear Information System (INIS)

Rumpf, H.

1987-01-01

We begin with a naive application of the Parisi-Wu scheme to linearized gravity. This will lead into trouble as one peculiarity of the full theory, the indefiniteness of the Euclidean action, shows up already at this level. After discussing some proposals to overcome this problem, Minkowski space stochastic quantization will be introduced. This will still not result in an acceptable quantum theory of linearized gravity, as the Feynman propagator turns out to be non-causal. This defect will be remedied only after a careful analysis of general covariance in stochastic quantization has been performed. The analysis requires the notion of a metric on the manifold of metrics, and a natural candidate for this is singled out. With this a consistent stochastic quantization of Einstein gravity becomes possible. It is even possible, at least perturbatively, to return to the Euclidean regime. 25 refs. (Author)

Subgingival calculus imaging based on swept-source optical coherence tomography

Science.gov (United States)

Hsieh, Yao-Sheng; Ho, Yi-Ching; Lee, Shyh-Yuan; Lu, Chih-Wei; Jiang, Cho-Pei; Chuang, Ching-Cheng; Wang, Chun-Yang; Sun, Chia-Wei

2011-07-01

We characterized and imaged dental calculus using swept-source optical coherence tomography (SS-OCT). The refractive indices of enamel, dentin, cementum, and calculus were measured as 1.625 +/- 0.024, 1.534 +/- 0.029, 1.570 +/- 0.021, and 2.097 +/- 0.094, respectively. Dental calculus leads strong scattering properties, and thus, the region can be identified from enamel with SS-OCT imaging. An extracted human tooth with calculus is covered with gingiva tissue as an in vitro sample for tomographic imaging.

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

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

Intitialization, Conceptualization, and Application in the Generalized Fractional Calculus

Science.gov (United States)

Lorenzo, Carl F.; Hartley, Tom T.

1998-01-01

This paper provides a formalized basis for initialization in the fractional calculus. The intent is to make the fractional calculus readily accessible to engineering and the sciences. A modified set of definitions for the fractional calculus is provided which formally include the effects of initialization. Conceptualizations of fractional derivatives and integrals are shown. Physical examples of the basic elements from electronics are presented along with examples from dynamics, material science, viscoelasticity, filtering, instrumentation, and electrochemistry to indicate the broad application of the theory and to demonstrate the use of the mathematics. The fundamental criteria for a generalized calculus established by Ross (1974) are shown to hold for the generalized fractional calculus under appropriate conditions. A new generalized form for the Laplace transform of the generalized differintegral is derived. The concept of a variable structure (order) differintegral is presented along with initial efforts toward meaningful definitions.

Initialization, conceptualization, and application in the generalized (fractional) calculus.

Science.gov (United States)

Lorenzo, Carl F; Hartley, Tom T

2007-01-01

This paper provides a formalized basis for initialization in the fractional calculus. The intent is to make the fractional calculus readily accessible to engineering and the sciences. A modified set of definitions for the fractional calculus is provided which formally include the effects of initialization. Conceptualizations of fractional derivatives and integrals are shown. Physical examples of the basic elements from electronics are presented along with examples from dynamics, material science, viscoelasticity, filtering, instrumentation, and electrochemistry to indicate the broad application of the theory and to demonstrate the use of the mathematics. The fundamental criteria for a generalized calculus established by Ross (1974) are shown to hold for the generalized fractional calculus under appropriate conditions. A new generalized form for the Laplace transform of the generalized differintegral is derived. The concept of a variable structure (order) differintegral is presented along with initial efforts toward meaningful definitions.

Calculus in High School--At What Cost?

Science.gov (United States)

Sorge, D. H.; Wheatley, G. H.

1977-01-01

Evidence on the decline in preparation of entering calculus students and the relationship to high school preparation is presented, focusing on the trend toward the de-emphasis of trigonometry and analytic geometry in favor of calculus. Data on students' perception of the adequacy of their preparation are also presented. (Author/MN)

Calculus and Success in a Business School

Science.gov (United States)

Kim, Dong-gook; Garcia, Fernando; Dey, Ishita

2012-01-01

Many business schools or colleges require calculus as a prerequisite for certain classes or for continuing to upper division courses. While there are many studies investigating the relationship between performance in calculus and performance in a single course, such as economics, statistics, and finance, there are very few studies investigating…

Momentum Maps and Stochastic Clebsch Action Principles

Science.gov (United States)

Cruzeiro, Ana Bela; Holm, Darryl D.; Ratiu, Tudor S.

2018-01-01

We derive stochastic differential equations whose solutions follow the flow of a stochastic nonlinear Lie algebra operation on a configuration manifold. For this purpose, we develop a stochastic Clebsch action principle, in which the noise couples to the phase space variables through a momentum map. This special coupling simplifies the structure of the resulting stochastic Hamilton equations for the momentum map. In particular, these stochastic Hamilton equations collectivize for Hamiltonians that depend only on the momentum map variable. The Stratonovich equations are derived from the Clebsch variational principle and then converted into Itô form. In comparing the Stratonovich and Itô forms of the stochastic dynamical equations governing the components of the momentum map, we find that the Itô contraction term turns out to be a double Poisson bracket. Finally, we present the stochastic Hamiltonian formulation of the collectivized momentum map dynamics and derive the corresponding Kolmogorov forward and backward equations.

The stochastic versus the Euclidean approach to quantum fields on a static space-time

International Nuclear Information System (INIS)

De Angelis, G.F.; de Falco, D.

1986-01-01

Equations are presented which modify the definition of the Gaussian field in the Rindler chart in order to make contact with the Wightman state, the Hartle-Hawking state, and the Euclidean field. By taking Ornstein-Uhlenbeck processes the authors have chosen, in the sense of stochastic mechanics, to place precisely the Fulling modes in their harmonic oscillator ground state. In this respect, together with the periodicity of Minkowski space-time, the authors observe that the covariance of the Ornstein-Uhlenbeck process can be obtained by analytical continuation of the Wightman function of the harmonic oscillator at zero temperature

Exploring Ackermann and LQR stability control of stochastic state-space model of hexacopter equipped with robotic arm

Science.gov (United States)

Ibrahim, I. N.; Akkad, M. A. Al; Abramov, I. V.

2018-05-01

This paper discusses the control of Unmanned Aerial Vehicles (UAVs) for active interaction and manipulation of objects. The manipulator motion with an unknown payload was analysed concerning force and moment disturbances, which influence the mass distribution, and the centre of gravity (CG). Therefore, a general dynamics mathematical model of a hexacopter was formulated where a stochastic state-space model was extracted in order to build anti-disturbance controllers. Based on the compound pendulum method, the disturbances model that simulates the robotic arm with a payload was inserted into the stochastic model. This study investigates two types of controllers in order to study the stability of a hexacopter. A controller based on Ackermann’s method and the other - on the linear quadratic regulator (LQR) approach - were presented. The latter constitutes a challenge for UAV control performance especially with the presence of uncertainties and disturbances.

Generalized Cartan Calculus in general dimension

Science.gov (United States)

Wang, Yi-Nan

2015-07-01

We develop the generalized Cartan Calculus for the groups and SO(5 , 5). They are the underlying algebraic structures of d = 9 , 7 , 6 exceptional field theory, respectively. These algebraic identities are needed for the "tensor hierarchy" structure in exceptional field theory. The validity of Poincaré lemmas in this new differential geometry is also discussed. Finally we explore some possible extension of the generalized Cartan calculus beyond the exceptional series.

Superconformal tensor calculus in five dimensions

International Nuclear Information System (INIS)

Fujita, Tomoyuki; Ohashi, Keisuke

2001-01-01

We present a full superconformal tensor calculus in five spacetime dimensions in which the Weyl multiplet has 32 Bose plus 32 Fermi degrees of freedom. It is derived using dimensional reduction from the 6D superconformal tensor calculus. We present two types of 32+32 Weyl multiplets, a vector multiplet, linear multiplet, hypermultiplet and nonlinear multiplet. Their superconformal transformation laws and the embedding and invariant action formulas are given. (author)

Null-strut calculus. I. Kinematics

International Nuclear Information System (INIS)

Kheyfets, A.; LaFave, N.J.; Miller, W.A.

1990-01-01

This paper describes the kinematics of null-strut calculus---a 3+1 Regge calculus approach to general relativity. We show how to model the geometry of spacetime with simplicial spacelike three-geometries (TET's) linked to ''earlier'' and ''later'' momentumlike lattice surfaces (TET * ) entirely by light rays or ''null struts.'' These three-layered lattice spacetime geometries are defined and analyzed using combinatorial formulas for the structure of polytopes. The following paper in this series describes how these three-layered spacetime lattices are used to model spacetimes in full conformity with Einstein's theory of gravity

Fractal electrodynamics via non-integer dimensional space approach

Science.gov (United States)

Tarasov, Vasily E.

2015-09-01

Using the recently suggested vector calculus for non-integer dimensional space, we consider electrodynamics problems in isotropic case. This calculus allows us to describe fractal media in the framework of continuum models with non-integer dimensional space. We consider electric and magnetic fields of fractal media with charges and currents in the framework of continuum models with non-integer dimensional spaces. An application of the fractal Gauss's law, the fractal Ampere's circuital law, the fractal Poisson equation for electric potential, and equation for fractal stream of charges are suggested. Lorentz invariance and speed of light in fractal electrodynamics are discussed. An expression for effective refractive index of non-integer dimensional space is suggested.

Stochastic cooling at Fermilab

International Nuclear Information System (INIS)

Marriner, J.

1986-08-01

The topics discussed are the stochastic cooling systems in use at Fermilab and some of the techniques that have been employed to meet the particular requirements of the anti-proton source. Stochastic cooling at Fermilab became of paramount importance about 5 years ago when the anti-proton source group at Fermilab abandoned the electron cooling ring in favor of a high flux anti-proton source which relied solely on stochastic cooling to achieve the phase space densities necessary for colliding proton and anti-proton beams. The Fermilab systems have constituted a substantial advance in the techniques of cooling including: large pickup arrays operating at microwave frequencies, extensive use of cryogenic techniques to reduce thermal noise, super-conducting notch filters, and the development of tools for controlling and for accurately phasing the system

Stochastic runaway of dynamical systems

International Nuclear Information System (INIS)

Pfirsch, D.; Graeff, P.

1984-10-01

One-dimensional, stochastic, dynamical systems are well studied with respect to their stability properties. Less is known for the higher dimensional case. This paper derives sufficient and necessary criteria for the asymptotic divergence of the entropy (runaway) and sufficient ones for the moments of n-dimensional, stochastic, dynamical systems. The crucial implication is the incompressibility of their flow defined by the equations of motion in configuration space. Two possible extensions to compressible flow systems are outlined. (orig.)

Teaching and learning of pre-calculus: an insights of educators ...

African Journals Online (AJOL)

The high-failure of Calculus courses has bring dilemma to the educators worldwide. This study has focus on teaching and learning of Pre-Calculus, a fundamental course for higher level Calculus courses. A well-designed questionnaire was distributed to all respondents to find the difficulties faced by both lecturers and ...

Backpropagation and ordered derivatives in the time scales calculus.

Science.gov (United States)

Seiffertt, John; Wunsch, Donald C

2010-08-01

Backpropagation is the most widely used neural network learning technique. It is based on the mathematical notion of an ordered derivative. In this paper, we present a formulation of ordered derivatives and the backpropagation training algorithm using the important emerging area of mathematics known as the time scales calculus. This calculus, with its potential for application to a wide variety of inter-disciplinary problems, is becoming a key area of mathematics. It is capable of unifying continuous and discrete analysis within one coherent theoretical framework. Using this calculus, we present here a generalization of backpropagation which is appropriate for cases beyond the specifically continuous or discrete. We develop a new multivariate chain rule of this calculus, define ordered derivatives on time scales, prove a key theorem about them, and derive the backpropagation weight update equations for a feedforward multilayer neural network architecture. By drawing together the time scales calculus and the area of neural network learning, we present the first connection of two major fields of research.

Water content contribution in calculus phantom ablation during Q-switched Tm:YAG laser lithotripsy.

Science.gov (United States)

Zhang, Jian J; Rajabhandharaks, Danop; Xuan, Jason Rongwei; Wang, Hui; Chia, Ray W J; Hasenberg, Tom; Kang, Hyun Wook

2015-01-01

Q-switched (QS) Tm:YAG laser ablation mechanisms on urinary calculi are still unclear to researchers. Here, dependence of water content in calculus phantom on calculus ablation performance was investigated. White gypsum cement was used as a calculus phantom model. The calculus phantoms were ablated by a total 3-J laser pulse exposure (20 mJ, 100 Hz, 1.5 s) and contact mode with N=15 sample size. Ablation volume was obtained on average 0.079, 0.122, and 0.391  mm3 in dry calculus in air, wet calculus in air, and wet calculus in-water groups, respectively. There were three proposed ablation mechanisms that could explain the effect of water content in calculus phantom on calculus ablation performance, including shock wave due to laser pulse injection and bubble collapse, spallation, and microexplosion. Increased absorption coefficient of wet calculus can cause stronger spallation process compared with that caused by dry calculus; as a result, higher calculus ablation was observed in both wet calculus in air and wet calculus in water. The test result also indicates that the shock waves generated by short laser pulse under the in-water condition have great impact on the ablation volume by Tm:YAG QS laser.

Supergravity tensor calculus in 5D from 6D

International Nuclear Information System (INIS)

Kugo, Taichiro; Ohashi, Keisuke

2000-01-01

Supergravity tensor calculus in five spacetime dimensions is derived by dimensional reduction from the d=6 superconformal tensor calculus. In particular, we obtain an off-shell hypermultiplet in 5D from the on-shell hypermultiplet in 6D. Our tensor calculus retains the dilatation gauge symmetry, so that it is a trivial gauge fixing to make the Einstein term canonical in a general matter-Yang-Mills-supergravity coupled system. (author)

The Enriched Effect Calculus: Syntax and Semantics

DEFF Research Database (Denmark)

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

2014-01-01

This article introduces the enriched effect calculus, which extends established type theories for computational effects with primitives from linear logic. The new calculus provides a formalism for expressing linear aspects of computational effects; e.g. the linear usage of imperative features....... The second half of the article investigates models for the enriched effect calculus, based on enriched category theory. We give several examples of such models, relating them to models of standard effect calculi (such as those based on monads), and to models of intuitionistic linear logic. We also prove...

On the Expressive Power of Polyadic Synchronisation in Pi-Calculus

DEFF Research Database (Denmark)

Carbone, Marco; Maffeis, Sergio

2003-01-01

We extend the π-calculus with polyadic synchronisation, a generalisation of the communication mechanism which allows channel names to be composite. We show that this operator embeds nicely in the theory of π-calculus, we suggest that it permits divergence-free encodings of distributed calculi......, and we show that a limited form of polyadic synchronisation can be encoded weakly in π-calculus. After showing that matching cannot be derived in π-calculus, we compare the expressivity of polyadic synchronisation, mixed choice and matching. In particular we show that the degree of synchronisation...

Discrete Calculus as a Bridge between Scales

Science.gov (United States)

Degiuli, Eric; McElwaine, Jim

2012-02-01

Understanding how continuum descriptions of disordered media emerge from the microscopic scale is a fundamental challenge in condensed matter physics. In many systems, it is necessary to coarse-grain balance equations at the microscopic scale to obtain macroscopic equations. We report development of an exact, discrete calculus, which allows identification of discrete microscopic equations with their continuum equivalent [1]. This allows the application of powerful techniques of calculus, such as the Helmholtz decomposition, the Divergence Theorem, and Stokes' Theorem. We illustrate our results with granular materials. In particular, we show how Newton's laws for a single grain reproduce their continuum equivalent in the calculus. This allows introduction of a discrete Airy stress function, exactly as in the continuum. As an application of the formalism, we show how these results give the natural mean-field variation of discrete quantities, in agreement with numerical simulations. The discrete calculus thus acts as a bridge between discrete microscale quantities and continuous macroscale quantities. [4pt] [1] E. DeGiuli & J. McElwaine, PRE 2011. doi: 10.1103/PhysRevE.84.041310

A calculus for attribute-based communication

DEFF Research Database (Denmark)

Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele

2015-01-01

The notion of attribute-based communication seems promising to model and analyse systems with huge numbers of interacting components that dynamically adjust and combine their behaviour to achieve specific goals. A basic process calculus, named AbC, is introduced that has as primitive construct...... of how well-established process calculi could be encoded into AbC is given by considering the translation into AbC of a proto-typical π-calculus process....

Exercise effects in a virtual type 1 diabetes patient: Using stochastic differential equations for model extension

DEFF Research Database (Denmark)

Duun-Henriksen, Anne Katrine; Schmidt, S.; Nørgaard, K.

2013-01-01

extension incorporating exercise effects on insulin and glucose dynamics. Our model is constructed as a stochastic state space model consisting of a set of stochastic differential equations (SDEs). In a stochastic state space model, the residual error is split into random measurement error...

Towards a tensor calculus for κ-supersymmetry

International Nuclear Information System (INIS)

Ivanov, E.A.; Kapustnikov, A.A.

1991-05-01

We present a new manifestly space-time and world-volume supersymmetric formulation of the simplest super p-branes, massive d=2, N=1 superparticle and d=4, N=1 superstring, in terms of properly constrained world-line and world-sheet superfields. We identify the relevant κ-supersymmetries with a kind of local supersymmetry in the world-volume superspaces and, based on this, develop a tensor calculus for constructing higher-order supersymmetric and κ-invariant corrections to the corresponding minimal super p-brane actions. The latter are represented by pure Wess-Zumino terms in the world-volume superspaces. A ''double analyticity'' principle for extending this superfield approach to other super p-branes is suggested. (author). 14 refs

Quantum Regge Calculus of Einstein-Cartan theory

International Nuclear Information System (INIS)

Xue Shesheng

2009-01-01

We study the Quantum Regge Calculus of Einstein-Cartan theory to describe quantum dynamics of Euclidean space-time discretized as a 4-simplices complex. Tetrad field e μ (x) and spin-connection field ω μ (x) are assigned to each 1-simplex. Applying the torsion-free Cartan structure equation to each 2-simplex, we discuss parallel transports and construct a diffeomorphism and local gauge-invariant Einstein-Cartan action. Invariant holonomies of tetrad and spin-connection fields along large loops are also given. Quantization is defined by a bounded partition function with the measure of SO(4)-group valued ω μ (x) fields and Dirac-matrix valued e μ (x) fields over 4-simplices complex.

The impacts of gingivitis and calculus on Thai children's quality of life.

Science.gov (United States)

Krisdapong, Sudaduang; Prasertsom, Piyada; Rattanarangsima, Khanit; Sheiham, Aubrey; Tsakos, Georgios

2012-09-01

To assess associations of socio-demographic, behavioural and the extent of gingivitis and calculus with oral health-related quality of life (OHRQoL) in nationally representative samples of 12- and 15-year-old Thai children. In the Thailand National Oral Health Survey, 1,063 twelve-year olds and 811 fifteen-year olds were clinically examined and interviewed for OHRQoL using the Child-OIDP and OIDP indices, respectively, and completed a behavioural questionnaire. We assessed associations of condition-specific impacts (CS-impacts) with gingivitis and calculus, adjusted for socio-demographic and behavioural factors. Gingivitis and calculus were highly prevalent: 79.3% in 12-year and 81.5% in 15-year olds. CS-impacts relating to calculus and/or gingivitis were reported by 26.0% of 12-year and 29.6% of 15-year olds. Except for calculus without gingivitis, calculus and/or gingivitis in any form was significantly related to any level of CS-impacts. At a moderate or higher level of CS-impacts, there were significant relationships with extensive calculus and/or gingivitis in 12-year olds and for extensive gingivitis and gingivitis without calculus in 15-year olds. Gingivitis was generally associated with any level of CS-impacts attributed to calculus and/or gingivitis. CS-impacts were related more to gingivitis than to calculus. © 2012 John Wiley & Sons A/S.

Path to Stochastic Stability: Comparative Analysis of Stochastic Learning Dynamics in Games

KAUST Repository

Jaleel, Hassan

2018-04-08

Stochastic stability is a popular solution concept for stochastic learning dynamics in games. However, a critical limitation of this solution concept is its inability to distinguish between different learning rules that lead to the same steady-state behavior. We address this limitation for the first time and develop a framework for the comparative analysis of stochastic learning dynamics with different update rules but same steady-state behavior. We present the framework in the context of two learning dynamics: Log-Linear Learning (LLL) and Metropolis Learning (ML). Although both of these dynamics have the same stochastically stable states, LLL and ML correspond to different behavioral models for decision making. Moreover, we demonstrate through an example setup of sensor coverage game that for each of these dynamics, the paths to stochastically stable states exhibit distinctive behaviors. Therefore, we propose multiple criteria to analyze and quantify the differences in the short and medium run behavior of stochastic learning dynamics. We derive and compare upper bounds on the expected hitting time to the set of Nash equilibria for both LLL and ML. For the medium to long-run behavior, we identify a set of tools from the theory of perturbed Markov chains that result in a hierarchical decomposition of the state space into collections of states called cycles. We compare LLL and ML based on the proposed criteria and develop invaluable insights into the comparative behavior of the two dynamics.

Transport stochastic multi-dimensional media

International Nuclear Information System (INIS)

Haran, O.; Shvarts, D.

1996-01-01

Many physical phenomena evolve according to known deterministic rules, but in a stochastic media in which the composition changes in space and time. Examples to such phenomena are heat transfer in turbulent atmosphere with non uniform diffraction coefficients, neutron transfer in boiling coolant of a nuclear reactor and radiation transfer through concrete shields. The results of measurements conducted upon such a media are stochastic by nature, and depend on the specific realization of the media. In the last decade there has been a considerable efforts to describe linear particle transport in one dimensional stochastic media composed of several immiscible materials. However, transport in two or three dimensional stochastic media has been rarely addressed. The important effect in multi-dimensional transport that does not appear in one dimension is the ability to bypass obstacles. The current work is an attempt to quantify this effect. (authors)

Transport stochastic multi-dimensional media

Energy Technology Data Exchange (ETDEWEB)

Haran, O; Shvarts, D [Israel Atomic Energy Commission, Beersheba (Israel). Nuclear Research Center-Negev; Thiberger, R [Ben-Gurion Univ. of the Negev, Beersheba (Israel)

1996-12-01

Many physical phenomena evolve according to known deterministic rules, but in a stochastic media in which the composition changes in space and time. Examples to such phenomena are heat transfer in turbulent atmosphere with non uniform diffraction coefficients, neutron transfer in boiling coolant of a nuclear reactor and radiation transfer through concrete shields. The results of measurements conducted upon such a media are stochastic by nature, and depend on the specific realization of the media. In the last decade there has been a considerable efforts to describe linear particle transport in one dimensional stochastic media composed of several immiscible materials. However, transport in two or three dimensional stochastic media has been rarely addressed. The important effect in multi-dimensional transport that does not appear in one dimension is the ability to bypass obstacles. The current work is an attempt to quantify this effect. (authors).

Giant Calculus In The Mouth Of Partially Edentulous Woman, (Case ...

African Journals Online (AJOL)

Objective: This case report is to create awareness of the presence of giant calculus in the mouth, the possible causes and its prevention. Report: This describes the oral condition of a partially edentulous woman with a giant calculus in the mouth. It highlights the effect of such an enormous calculus in the oral cavity.

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…

Fractional calculus in bioengineering, part 3.

Science.gov (United States)

Magin, Richard L

2004-01-01

Fractional calculus (integral and differential operations of noninteger order) is not often used to model biological systems. Although the basic mathematical ideas were developed long ago by the mathematicians Leibniz (1695), Liouville (1834), Riemann (1892), and others and brought to the attention of the engineering world by Oliver Heaviside in the 1890s, it was not until 1974 that the first book on the topic was published by Oldham and Spanier. Recent monographs and symposia proceedings have highlighted the application of fractional calculus in physics, continuum mechanics, signal processing, and electromagnetics, but with few examples of applications in bioengineering. This is surprising because the methods of fractional calculus, when defined as a Laplace or Fourier convolution product, are suitable for solving many problems in biomedical research. For example, early studies by Cole (1933) and Hodgkin (1946) of the electrical properties of nerve cell membranes and the propagation of electrical signals are well characterized by differential equations of fractional order. The solution involves a generalization of the exponential function to the Mittag-Leffler function, which provides a better fit to the observed cell membrane data. A parallel application of fractional derivatives to viscoelastic materials establishes, in a natural way, hereditary integrals and the power law (Nutting/Scott Blair) stress-strain relationship for modeling biomaterials. In this review, I will introduce the idea of fractional operations by following the original approach of Heaviside, demonstrate the basic operations of fractional calculus on well-behaved functions (step, ramp, pulse, sinusoid) of engineering interest, and give specific examples from electrochemistry, physics, bioengineering, and biophysics. The fractional derivative accurately describes natural phenomena that occur in such common engineering problems as heat transfer, electrode/electrolyte behavior, and sub

Partial Fractions in Calculus, Number Theory, and Algebra

Science.gov (United States)

Yackel, C. A.; Denny, J. K.

2007-01-01

This paper explores the development of the method of partial fraction decomposition from elementary number theory through calculus to its abstraction in modern algebra. This unusual perspective makes the topic accessible and relevant to readers from high school through seasoned calculus instructors.

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…

Thunks and the λ-calculus

DEFF Research Database (Denmark)

Hatcliff, John; Danvy, Olivier

1997-01-01

Thirty-five years ago, thunks were used to simulate call-by-name under call-by-value in Algol 60. Twenty years ago, Plotkin presented continuation-based simulations of call-by-name under call-by-value and vice versa in the λ-calculus. We connect all three of these classical simulations by factori......Thirty-five years ago, thunks were used to simulate call-by-name under call-by-value in Algol 60. Twenty years ago, Plotkin presented continuation-based simulations of call-by-name under call-by-value and vice versa in the λ-calculus. We connect all three of these classical simulations...

Long-time correlations in the stochastic regime

International Nuclear Information System (INIS)

Karney, C.F.F.

1982-11-01

The phase space for Hamiltonians of two degrees of freedom is usually divided into stochastic and integrable components. Even when well into the stochastic regime, integrable orbits may surround small stable regions or islands. The effect of these islands on the correlation function for the stochastic trajectories is examined. Depending on the value of the parameter describing the rotation number for the elliptic fixed point at the center of the island, the long-time correlation function may decay as t -5 or exponentially, but more commonly it decays much more slowly (roughly as t -1 ). As a consequence these small islands may have a profound effect on the properties such as the diffusion coefficient, of the stochastic orbits

Area Regge calculus and discontinuous metrics

International Nuclear Information System (INIS)

Wainwright, Chris; Williams, Ruth M

2004-01-01

Taking the triangle areas as independent variables in the theory of Regge calculus can lead to ambiguities in the edge lengths, which can be interpreted as discontinuities in the metric. We construct solutions to area Regge calculus using a triangulated lattice and find that on a spacelike or timelike hypersurface no such discontinuity can arise. On a null hypersurface however, we can have such a situation and the resulting metric can be interpreted as a so-called refractive wave

A Graph Calculus for Predicate Logic

Directory of Open Access Journals (Sweden)

Paulo A. S. Veloso

2013-03-01

Full Text Available We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents bottom. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we can recognize conflicting situations (equivalent to a formula and its negation.

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...... ensures that errors do not occur outside sandboxes and that authentication and migration only happen when allowed. Futhermore a weak subject reduction result involving partial well sortedness is presented....

Differential Calculus on h-Deformed Spaces

Science.gov (United States)

Herlemont, Basile; Ogievetsky, Oleg

2017-10-01

We construct the rings of generalized differential operators on the h-deformed vector space of gl-type. In contrast to the q-deformed vector space, where the ring of differential operators is unique up to an isomorphism, the general ring of h-deformed differential operators {Diff}_{h},σ(n) is labeled by a rational function σ in n variables, satisfying an over-determined system of finite-difference equations. We obtain the general solution of the system and describe some properties of the rings {Diff}_{h},σ(n).

Multiparametric quantum symplectic phase space

International Nuclear Information System (INIS)

Parashar, P.; Soni, S.K.

1992-07-01

We formulate a consistent multiparametric differential calculus on the quadratic coordinate algebra of the quantum vector space and use this as a tool to obtain a deformation of the associated symplectic phase space involving n(n-1)/2+1 deformation parameters. A consistent calculus on the relation subspace is also constructed. This is achieved with the help of a restricted ansatz and solving the consistency conditions to directly arrive at the main commutation structures without any reference to the R-matrix. However, the non-standard R-matrices for GL r,qij (n) and Sp r,qij (2n) can be easily read off from the commutation relations involving coordinates and derivatives. (author). 9 refs

A MATLAB companion for multivariable calculus

CERN Document Server

Cooper, Jeffery

2001-01-01

Offering a concise collection of MatLab programs and exercises to accompany a third semester course in multivariable calculus, A MatLab Companion for Multivariable Calculus introduces simple numerical procedures such as numerical differentiation, numerical integration and Newton''s method in several variables, thereby allowing students to tackle realistic problems. The many examples show students how to use MatLab effectively and easily in many contexts. Numerous exercises in mathematics and applications areas are presented, graded from routine to more demanding projects requiring some programming. Matlab M-files are provided on the Harcourt/Academic Press web site at http://www.harcourt-ap.com/matlab.html.* Computer-oriented material that complements the essential topics in multivariable calculus* Main ideas presented with examples of computations and graphics displays using MATLAB * Numerous examples of short code in the text, which can be modified for use with the exercises* MATLAB files are used to implem...

The dental calculus metabolome in modern and historic samples

DEFF Research Database (Denmark)

Velsko, Irina M.; Overmyer, Katherine A.; Speller, Camilla

2017-01-01

Introduction: Dental calculus is a mineralized microbial dental plaque biofilm that forms throughout life by precipitation of salivary calcium salts. Successive cycles of dental plaque growth and calcification make it an unusually well-preserved, long-term record of host-microbial interaction...... in the archaeological record. Recent studies have confirmed the survival of authentic ancient DNA and proteins within historic and prehistoric dental calculus, making it a promising substrate for investigating oral microbiome evolution via direct measurement and comparison of modern and ancient specimens. Objective: We...... present the first comprehensive characterization of the human dental calculus metabolome using a multi-platform approach. Methods: Ultra performance liquid chromatography-tandem mass spectrometry (UPLC–MS/MS) quantified 285 metabolites in modern and historic (200 years old) dental calculus, including...

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

Reliability-based Dynamic Network Design with Stochastic Networks

NARCIS (Netherlands)

Li, H.

2009-01-01

Transportation systems are stochastic and dynamic systems. The road capacities and the travel demand are fluctuating from time to time within a day and at the same time from day to day. For road users, the travel time and travel costs experienced over time and space are stochastic, thus desire

Discrete Quantum Gravity in the Regge Calculus Formalism

International Nuclear Information System (INIS)

Khatsymovsky, V.M.

2005-01-01

We discuss an approach to the discrete quantum gravity in the Regge calculus formalism that was developed in a number of our papers. The Regge calculus is general relativity for a subclass of general Riemannian manifolds called piecewise flat manifolds. The Regge calculus deals with a discrete set of variables, triangulation lengths, and contains continuous general relativity as a special limiting case where the lengths tend to zero. In our approach, the quantum length expectations are nonzero and of the order of the Plank scale, 10 -33 cm, implying a discrete spacetime structure on these scales

Semilinear Kolmogorov Equations and Applications to Stochastic Optimal Control

International Nuclear Information System (INIS)

Masiero, Federica

2005-01-01

Semilinear parabolic differential equations are solved in a mild sense in an infinite-dimensional Hilbert space. Applications to stochastic optimal control problems are studied by solving the associated Hamilton-Jacobi-Bellman equation. These results are applied to some controlled stochastic partial differential equations

The absolute differential calculus calculus of tensors

CERN Document Server

Levi-Cività, Tullio

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

Covariant differential calculus on the quantum hyperplane

International Nuclear Information System (INIS)

Wess, J.

1991-01-01

We develop a differential calculus on the quantum hyperplane covariant with respect to the action of the quantum group GL q (n). This is a concrete example of noncommutative differential geometry. We describe the general constraints for a noncommutative differential calculus and verify that the example given here satisfies all these constraints. We also discuss briefly the integration over the quantum plane. (orig.)

Fractional vector calculus and fractional Maxwell's equations

International Nuclear Information System (INIS)

Tarasov, Vasily E.

2008-01-01

The theory of derivatives and integrals of non-integer order goes back to Leibniz, Liouville, Grunwald, Letnikov and Riemann. The history of fractional vector calculus (FVC) has only 10 years. The main approaches to formulate a FVC, which are used in the physics during the past few years, will be briefly described in this paper. We solve some problems of consistent formulations of FVC by using a fractional generalization of the Fundamental Theorem of Calculus. We define the differential and integral vector operations. The fractional Green's, Stokes' and Gauss's theorems are formulated. The proofs of these theorems are realized for simplest regions. A fractional generalization of exterior differential calculus of differential forms is discussed. Fractional nonlocal Maxwell's equations and the corresponding fractional wave equations are considered

The giant calculus within the prostatic urethra.

Science.gov (United States)

Demir, Omer; Kefi, Aykut; Cahangirov, Asif; Cihan, Ahmet; Obuz, Funda; Esen, Adil Ahmet; Celebi, Ilhan

2011-08-01

The giant calculus within the prostatic urethra is a rare clinical entity in the young population. Most of the calculi within the urethra migrate from the urinary bladder and obliterate the urethra. These stones are often composed of calcium phosphate or calcium oxalate. The decision of treatment strategy is affected by the size, shape and position of the calculus and by 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 cases, the giant calculi were extracted via the transvesical approach and external urethrotomy. Our case is the biggest prostatic calculus, known in the literature so far, which was treated endoscopically by the combination of laser and the pneumatic lithotriptor.

Quantum Ito's formula and stochastic evolutions

International Nuclear Information System (INIS)

Hudson, R.L.; Parthasarathy, K.R.

1984-01-01

Using only the Boson canonical commutation relations and the Riemann-Lebesgue integral we construct a simple theory of stochastic integrals and differentials with respect to the basic field operator processes. This leads to a noncommutative Ito product formula, a realisation of the classical Poisson process in Fock space which gives a noncommutative central limit theorem, the construction of solutions of certain noncommutative stochastic differential equations, and finally to the integration of certain irreversible equations of motion governed by semigroups of completely positive maps. The classical Ito product formula for stochastic differentials with respect to Brownian motion and the Poisson process is a special case. (orig.)

Calculus Instructors' and Students' Discourses on the Derivative

Science.gov (United States)

Park, Jungeun

2011-01-01

Recently, there has been an increasing interest in collegiate mathematics education, especially teaching and learning calculus (e.g., Oehrtman, Carlson, & Thompson, 2008; Speer, Smith, & Horvath, 2010). Of many calculus concepts, the derivative is known as a difficult concept for students to understand because it involves various concepts…

Reflections on Our First Calculus Undergraduate Teaching Assistant

Science.gov (United States)

Deshler, Jessica M.

2016-01-01

This article describes some reflections from the first Calculus I undergraduate teaching assistant in our department as she explored the various ways in which she was able to support both novice and experienced Calculus teachers and the effect of her experience on her academic and career plans.

Executable Behaviour and the π-Calculus (extended abstract

Directory of Open Access Journals (Sweden)

Bas Luttik

2015-08-01

Full Text Available Reactive Turing machines extend classical Turing machines with a facility to model observable interactive behaviour. We call a behaviour executable if, and only if, it is behaviourally equivalent to the behaviour of a reactive Turing machine. In this paper, we study the relationship between executable behaviour and behaviour that can be specified in the pi-calculus. We establish that all executable behaviour can be specified in the pi-calculus up to divergence-preserving branching bisimilarity. The converse, however, is not true due to (intended limitations of the model of reactive Turing machines. That is, the pi-calculus allows the specification of behaviour that is not executable up to divergence-preserving branching bisimilarity. Motivated by an intuitive understanding of executability, we then consider a restriction on the operational semantics of the pi-calculus that does associate with every pi-term executable behaviour, at least up to the version of branching bisimilarity that does not require the preservation of divergence.

Investigation of In vitro Mineral forming bacterial isolates from supragingival calculus.

Science.gov (United States)

Baris, O; Demir, T; Gulluce, M

2017-12-01

Although it is known that bacterial mechanisms are involved in dental calculus formation, which is a predisposing factor in periodontal diseases, there have been few studies of such associations, and therefore, information available is limited. The purpose of this study was to isolate and identify aerobic bacteria responsible for direct calcification from supragingival calculus samples. The study was conducted using supragingival calculus samples from patients with periodontal disease, which was required as part of conventional treatment. Isolations were performed by sampling the supragingival calculus with buffer and inoculating the samples on media on which crystallization could be observed. The 16S recombinant DNA of the obtained pure cultures was then amplified and sequenced. A few bacterial species that have not previously been associated with mineralization or identified on bacterial plaque or calculus were detected. The bacteria that caused mineralization an aerobic environment are identified as Neisseria flava, Aggregatibacter segnis, Streptococcus tigurinus, and Morococcus cerebrosus. These findings proved that bacteria potentially play a role in the etiopathology of supragingival calculus. The association between the effects of the identified bacteria on periodontal diseases and calculus formation requires further studies.

Introduction to Integral Calculus Systematic Studies with Engineering Applications for Beginners

CERN Document Server

Rohde, Ulrich L; Poddar, Ajay K; Ghosh, A K

2011-01-01

An accessible introduction to the fundamentals of calculus needed to solve current problems in engineering and the physical sciences I ntegration is an important function of calculus, and Introduction to Integral Calculus combines fundamental concepts with scientific problems to develop intuition and skills for solving mathematical problems related to engineering and the physical sciences. The authors provide a solid introduction to integral calculus and feature applications of integration, solutions of differential equations, and evaluation methods. With logical organization coupled with cle

Enabling quaternion derivatives: the generalized HR calculus

Science.gov (United States)

Xu, Dongpo; Jahanchahi, Cyrus; Took, Clive C.; Mandic, Danilo P.

2015-01-01

Quaternion derivatives exist only for a very restricted class of analytic (regular) functions; however, in many applications, functions of interest are real-valued and hence not analytic, a typical case being the standard real mean square error objective function. The recent HR calculus is a step forward and provides a way to calculate derivatives and gradients of both analytic and non-analytic functions of quaternion variables; however, the HR calculus can become cumbersome in complex optimization problems due to the lack of rigorous product and chain rules, a consequence of the non-commutativity of quaternion algebra. To address this issue, we introduce the generalized HR (GHR) derivatives which employ quaternion rotations in a general orthogonal system and provide the left- and right-hand versions of the quaternion derivative of general functions. The GHR calculus also solves the long-standing problems of product and chain rules, mean-value theorem and Taylor's theorem in the quaternion field. At the core of the proposed GHR calculus is quaternion rotation, which makes it possible to extend the principle to other functional calculi in non-commutative settings. Examples in statistical learning theory and adaptive signal processing support the analysis. PMID:26361555