Visualizing Volume to Help Students Understand the Disk Method on Calculus Integral Course
Tasman, F.; Ahmad, D.
2018-04-01
Many research shown that students have difficulty in understanding the concepts of integral calculus. Therefore this research is interested in designing a classroom activity integrated with design research method to assist students in understanding the integrals concept especially in calculating the volume of rotary objects using disc method. In order to support student development in understanding integral concepts, this research tries to use realistic mathematical approach by integrating geogebra software. First year university student who takes a calculus course (approximately 30 people) was chosen to implement the classroom activity that has been designed. The results of retrospective analysis show that visualizing volume of rotary objects using geogebra software can assist the student in understanding the disc method as one way of calculating the volume of a rotary object.
Tucker, Jerry H.; Tapia, Moiez A.; Bennett, A. Wayne
1988-01-01
The concept of Boolean integration is developed, and different Boolean integral operators are introduced. Given the changes in a desired function in terms of the changes in its arguments, the ways of 'integrating' (i.e. realizing) such a function, if it exists, are presented. The necessary and sufficient conditions for integrating, in different senses, the expression specifying the changes are obtained. Boolean calculus has applications in the design of logic circuits and in fault analysis.
Smirnov, Vladimir A
2006-01-01
The problem of evaluating Feynman integrals over loop momenta has existed from the early days of perturbative quantum field theory. The goal of the book is to summarize those methods for evaluating Feynman integrals that have been developed over a span of more than fifty years. `Feynman Integral Calculus' characterizes the most powerful methods in a systematic way. It concentrates on the methods that have been employed recently for most sophisticated calculations and illustrates them with numerous examples, starting from very simple ones and progressing to nontrivial examples. It also shows how to choose adequate methods and combine them in a non-trivial way. This is a textbook version of the previous book (Evaluating Feynman integrals, STMP 211) of the author. Problems and solutions have been included, Appendix G has been added, more details have been presented, recent publications on evaluating Feynman integrals have been taken into account and the bibliography has been updated.
Areas and Volumes in Pre-Calculus
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…
International Nuclear Information System (INIS)
Smirnov, V.A.
2006-01-01
The goal of the book is to summarize those methods for evaluating Feynman integrals that have been developed over a span of more than fifty years. The book characterizes the most powerful methods and illustrates them with numerous examples starting from very simple ones and progressing to nontrivial examples. The book demonstrates how to choose adequate methods and combine evaluation methods in a non-trivial way. The most powerful methods are characterized and then illustrated through numerous examples. This is an updated textbook version of the previous book (Evaluating Feynman integrals, STMP 211) of the author. (orig.)
Energy Technology Data Exchange (ETDEWEB)
Smirnov, V.A. [Lomonosov Moscow State Univ. (Russian Federation). Skobeltsyn Inst. of Nuclear Physics
2006-07-01
The goal of the book is to summarize those methods for evaluating Feynman integrals that have been developed over a span of more than fifty years. The book characterizes the most powerful methods and illustrates them with numerous examples starting from very simple ones and progressing to nontrivial examples. The book demonstrates how to choose adequate methods and combine evaluation methods in a non-trivial way. The most powerful methods are characterized and then illustrated through numerous examples. This is an updated textbook version of the previous book (Evaluating Feynman integrals, STMP 211) of the author. (orig.)
Matlab differential and integral calculus
Lopez, Cesar
2014-01-01
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java. MATLAB Differential and Integral Calculus introduces you to the MATLAB language with practical hands-on instructions and results, allowing you to quickly achieve your goals. In addition to givi
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.
Stochastic integration by parts and functional Itô calculus
Vives, Josep
2016-01-01
This volume contains lecture notes from the courses given by Vlad Bally and Rama Cont at the Barcelona Summer School on Stochastic Analysis (July 2012). The notes of the course by Vlad Bally, co-authored with Lucia Caramellino, develop integration by parts formulas in an abstract setting, extending Malliavin's work on abstract Wiener spaces. The results are applied to prove absolute continuity and regularity results of the density for a broad class of random processes. Rama Cont's notes provide an introduction to the Functional Itô Calculus, a non-anticipative functional calculus that extends the classical Itô calculus to path-dependent functionals of stochastic processes. This calculus leads to a new class of path-dependent partial differential equations, termed Functional Kolmogorov Equations, which arise in the study of martingales and forward-backward stochastic differential equations. This book will appeal to both young and senior researchers in probability and stochastic processes, as well as to pract...
Boolean integral calculus for digital systems
Tucker, J. H.; Tapia, M. A.; Bennett, A. W.
1985-01-01
The concept of Boolean integration is introduced and developed. When the changes in a desired function are specified in terms of changes in its arguments, then ways of 'integrating' (i.e., realizing) the function, if it exists, are presented. Boolean integral calculus has applications in design of logic circuits.
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
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
Zandy, Bernard V
2003-01-01
We take great notes-and make learning a snap When it comes to pinpointing the stuff you really need to know, nobody does it better than CliffsNotes. This fast, effective tutorial helps you master core Calculus concepts-from functions, limits, and derivatives to differentials, integration, and definite integrals- and get the best possible grade. At CliffsNotes, we're dedicated to helping you do your best, no matter how challenging the subject. Our authors are veteran teachers and talented writers who know how to cut to the chase- and zero in on the essential information you need to succeed.
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
An operator calculus for surface and volume modeling
Gordon, W. J.
1984-01-01
The mathematical techniques which form the foundation for most of the surface and volume modeling techniques used in practice are briefly described. An outline of what may be termed an operator calculus for the approximation and interpolation of functions of more than one independent variable is presented. By considering the linear operators associated with bivariate and multivariate interpolation/approximation schemes, it is shown how they can be compounded by operator multiplication and Boolean addition to obtain a distributive lattice of approximation operators. It is then demonstrated via specific examples how this operator calculus leads to practical techniques for sculptured surface and volume modeling.
DIFFERENTIAL AND INTEGRAL CALCULUS. A TENTATIVE CURRICULUM GUIDE.
BRANT, VINCENT; GERARDI, WILLIAM
A GUIDE FOR A 1-YEAR COURSE IN DIFFERENTIAL AND INTEGRAL CALCULUS PREREQUISITED KNOWLEDGE IN ALGEBRA, ANALYTIC TRIGONOMETRY, AND ELEMENTARY ANALYSIS. EACH ASSIGNMENT CONTAINED BOTH NEW AND REVIEW WORK TO REINFORCE THE NEW WORK. THERE WERE ELEVEN UNITS OF STUDY USING THE FOLLOWING FOUR BOOKS--"CALCULUS AND ANALYTIC GEOMETRY, THIRD…
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
A TENTATIVE GUIDE, DIFFERENTIAL AND INTEGRAL CALCULUS.
BRANT, VINCENT; GERARDI, WILLIAM
THE COURSE IS INTENDED TO GO BEYOND THE REQUIREMENTS OF THE ADVANCED PLACEMENT PROGRAM IN MATHEMATICS AS DESIGNED BY THE COLLEGE ENTRANCE EXAMINATION BOARD. THE ADVANCED PLACEMENT PROGRAM CONSISTS OF A 1-YEAR COURSE COMBINING ANALYTIC GEOMETRY AND CALCULUS. PRESUPPOSED HERE ARE--A SEMESTER COURSE IN ANALYTIC GEOMETRY AND A THOROUGH KNOWLEDGE OF…
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.
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.)
Formalization of the Integral Calculus in the PVS Theorem Prover
Directory of Open Access Journals (Sweden)
Ricky Wayne Butler
2009-04-01
Full Text Available The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
Formalization of the Integral Calculus in the PVS Theorem Prover
Butler, Ricky W.
2004-01-01
The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.
Integrating Precalculus Review with the First Course in Calculus.
Sevilla, Alicia; Somers, Kay
1993-01-01
Describes a course designed by Moravian College, Pennsylvania, to integrate precalculus topics as needed into a first calculus course. The textbook developed for the course covers the concepts of functions, Cartesian coordinates, limits, continuity, infinity, and the derivative. Examples are discussed. (MDH)
Introduction to Integral Calculus Systematic Studies with Engineering Applications for Beginners
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
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…
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
Calculus of the radical integrals in electrons
International Nuclear Information System (INIS)
Soto Vargas, C.W.
1996-01-01
The radial integrals which arise from the distorted wave treatment of photon emission processes in electron and positron scattering, involve products of the electron's (or positron's) in going and outgoing wave functions and the radial part of the electromagnetic Green's function. They can be performed analytically for point Dirac-Coulomb wave functions, but are difficult to evaluate because they involve slowly converging doubly infinite series. We present a discussion and review of the formulation and methods employed to calculate these basic integral at a given value of the energy transferred. (author) [es
Multiple integrals in the calculus of variations
Morrey, Charles B
1966-01-01
From the reviews: "…the book contains a wealth of material essential to the researcher concerned with multiple integral variational problems and with elliptic partial differential equations. The book not only reports the researches of the author but also the contributions of his contemporaries in the same and related fields. The book undoubtedly will become a standard reference for researchers in these areas. …The book is addressed mainly to mature mathematical analysts. However, any student of analysis will be greatly rewarded by a careful study of this book." M. R. Hestenes in Journal of Optimization Theory and Applications "The work intertwines in masterly fashion results of classical analysis, topology, and the theory of manifolds and thus presents a comprehensive treatise of the theory of multiple integral variational problems." L. Schmetterer in Monatshefte für Mathematik "The book is very clearly exposed and contains the last modern theory in this domain. A comprehensive bibliography ends the book...
Path integral in area tensor Regge calculus and complex connections
International Nuclear Information System (INIS)
Khatsymovsky, V.M.
2006-01-01
Euclidean quantum measure in Regge calculus with independent area tensors is considered using example of the Regge manifold of a simple structure. We go over to integrations along certain contours in the hyperplane of complex connection variables. Discrete connection and curvature on classical solutions of the equations of motion are not, strictly speaking, genuine connection and curvature, but more general quantities and, therefore, these do not appear as arguments of a function to be averaged, but are the integration (dummy) variables. We argue that upon integrating out the latter the resulting measure can be well-defined on physical hypersurface (for the area tensors corresponding to certain edge vectors, i.e. to certain metric) as positive and having exponential cutoff at large areas on condition that we confine ourselves to configurations which do not pass through degenerate metrics
Surface area and volume determination of subgingival calculus using laser fluorescence.
Shakibaie, Fardad; Walsh, Laurence J
2014-03-01
Visible red (655 nm) laser fluorescence (LF) devices are currently used for identifying deposits of subgingival calculus on the root surfaces of teeth during dental examination and treatment; however, it is not known how the fluorescence readings produced by commercially available LF systems correlate to the nature of the deposits. This laboratory study explored the correlation between LF digital readings and the surface area and volume of subgingival calculus deposits on teeth. A collection of 30 extracted human posterior teeth with various levels of subgingival deposits of calculus across 240 sites were used in a clinical simulation, with silicone impression material used to replicate periodontal soft tissues. The teeth were scored by two examiners by using three commercial LF systems (DIAGNOdent, DIAGNOdent Pen and KEY3). The silicone was removed, and the teeth were removed for photography at × 20 magnification under white or ultraviolet light. The surface area, thickness, and volume were calculated, and both linear least squares regression and nonlinear (Spearman's rank method) correlation coefficients were determined. Visible red LF digital readings showed better correlation to calculus volume than to surface area. Overall, the best performance was found for the KEY3 system (Spearman coefficient 0.59), compared to the Classic DIAGNOdent (0.56) and the DIAGNOdent Pen (0.49). These results indicate that while visible red LF systems vary somewhat in performance, their LF readings provide a useful estimation of the volume of subgingival calculus deposits present on teeth.
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…
Yaacob, Yuzita; Wester, Michael; Steinberg, Stanly
2010-01-01
This paper presents a prototype of a computer learning assistant ILMEV (Interactive Learning-Mathematica Enhanced Vector calculus) package with the purpose of helping students to understand the theory and applications of integration in vector calculus. The main problem for students using Mathematica is to convert a textbook description of a…
Salleh, Tuan Salwani; Zakaria, Effandi
2016-01-01
The objective of this research is to investigate the effectiveness of a learning strategy using Maple in integral calculus. This research was conducted using a quasi-experimental nonequivalent control group design. One hundred engineering technology students at a technical university were chosen at random. The effectiveness of the learning…
Graphical calculus of volume, inverse volume and Hamiltonian operators in loop quantum gravity
Energy Technology Data Exchange (ETDEWEB)
Yang, Jinsong [Guizhou University, Department of Physics, Guiyang (China); Academia Sinica, Institute of Physics, Taipei (China); Ma, Yongge [Beijing Normal University, Department of Physics, Beijing (China)
2017-04-15
To adopt a practical method to calculate the action of geometrical operators on quantum states is a crucial task in loop quantum gravity. In this paper, the graphical calculus based on the original Brink graphical method is applied to loop quantum gravity along the line of previous work. The graphical method provides a very powerful technique for simplifying complicated calculations. The closed formula of the volume operator and the actions of the Euclidean Hamiltonian constraint operator and the so-called inverse volume operator on spin-network states with trivalent vertices are derived via the graphical method. By employing suitable and non-ambiguous graphs to represent the action of operators as well as the spin-network states, we use the simple rules of transforming graphs to obtain the resulting formula. Comparing with the complicated algebraic derivation in some literature, our procedure is more concise, intuitive and visual. The resulting matrix elements of the volume operator is compact and uniform, fitting for both gauge-invariant and gauge-variant spin-network states. Our results indicate some corrections to the existing results for the Hamiltonian operator and inverse volume operator in the literature. (orig.)
Feynman path integral in area tensor Regge calculus and positivity
International Nuclear Information System (INIS)
Khatsymovsky, V.M.
2004-01-01
The versions of quantum measure in the area tensor Regge calculus constructed in the previous paper are studied on the simplest configurations of the system. These are found to be positively defined in the Euclidean case on physical surface corresponding to the ordinary Regge calculus (but not outside this surface), that is, adopt probabilistic interpretation. (Since Euclidean measure is defined via analytical continuation, positivity is not evident property.) An argument for positivity on physical surface on general configurations of area tensor Regge calculus is given
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
Calculus for cognitive scientists derivatives, integrals and models
Peterson, James K
2016-01-01
This book provides a self-study program on how mathematics, computer science and science can be usefully and seamlessly intertwined. Learning to use ideas from mathematics and computation is essential for understanding approaches to cognitive and biological science. As such the book covers calculus on one variable and two variables and works through a number of interesting first-order ODE models. It clearly uses MatLab in computational exercises where the models cannot be solved by hand, and also helps readers to understand that approximations cause errors – a fact that must always be kept in mind.
Revised Bloom's Taxonomy and Integral Calculus: Unpacking the Knowledge Dimension
Radmehr, Farzad; Drake, Michael
2017-01-01
In this paper, the knowledge dimension for Revised Bloom's taxonomy (RBT) is unpacked for integral calculus. As part of this work, the 11 subtypes of the knowledge dimension are introduced, and through document analysis of chapter 4 of the RBT handbook, these subtypes are defined. Then, by consulting materials frequently used for teaching integral…
Integrating Supplementary Application-Based Tutorials in the Multivariable Calculus Course
Verner, I. M.; Aroshas, S.; Berman, A.
2008-01-01
This article presents a study in which applications were integrated in the Multivariable Calculus course at the Technion in the framework of supplementary tutorials. The purpose of the study was to test the opportunity of extending the conventional curriculum by optional applied problem-solving activities and get initial evidence on the possible…
Jukic Matic, Ljerka; Dahl, Bettina
2014-01-01
This paper reports a study on retention of differential and integral calculus concepts of a second-year student of physical chemistry at a Danish university. The focus was on what knowledge the student retained 14 months after the course and on what effect beliefs about mathematics had on the retention. We argue that if a student can quickly…
Misu, La; Ketut Budayasa, I.; Lukito, Agung
2018-03-01
This study describes the metacognition profile of mathematics and mathematics education students in understanding the concept of integral calculus. The metacognition profile is a natural and intact description of a person’s cognition that involves his own thinking in terms of using his knowledge, planning and monitoring his thinking process, and evaluating his thinking results when understanding a concept. The purpose of this study was to produce the metacognition profile of mathematics and mathematics education students in understanding the concept of integral calculus. This research method is explorative method with the qualitative approach. The subjects of this study are mathematics and mathematics education students who have studied integral calculus. The results of this study are as follows: (1) the summarizing category, the mathematics and mathematics education students can use metacognition knowledge and metacognition skills in understanding the concept of indefinite integrals. While the definite integrals, only mathematics education students use metacognition skills; and (2) the explaining category, mathematics students can use knowledge and metacognition skills in understanding the concept of indefinite integrals, while the definite integrals only use metacognition skills. In addition, mathematics education students can use knowledge and metacognition skills in understanding the concept of both indefinite and definite integrals.
Topology, calculus and approximation
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...
Vaninsky, Alexander
2015-04-01
Defining the logarithmic function as a definite integral with a variable upper limit, an approach used by some popular calculus textbooks, is problematic. We discuss the disadvantages of such a definition and provide a way to fix the problem. We also consider a definition-based, rigorous derivation of the derivative of the exponential function that is easier, more intuitive, and complies with the standard definitions of the number e, the logarithmic, and the exponential functions.
Yuliana, Yuliana; Tasari, Tasari; Wijayanti, Septiana
2017-01-01
The objectives of this research are (1) to develop Guided Discovery Learning in integral calculus subject; (2) to identify the effectiveness of Guided Discovery Learning in improving the students' understanding toward integral calculus subject. This research was quasy experimental research with the students of even semester in Mathematics Education Widya Dharma University as the sample. Cluster Random sampling was conducted to determine control group that was taught using Conventional model a...
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
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...
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
Module for Learning Integral Calculus with Maple: Lecturers' Views
Awang, Tuan Salwani; Zakaria, Effandi
2012-01-01
Engineering technology students can attain a meaningful mathematics learning if they are allowed to actively participate in hands-on activities. However, the current dissemination of knowledge in the classroom still focuses on teacher-centered paradigm of teaching. A study to explore lecturers' views regarding a newly developed integral calculus…
A symbolic summation approach to Feynman integral calculus
International Nuclear Information System (INIS)
Bluemlein, Johannes; Klein, Sebastian
2010-11-01
Given a Feynman parameter integral, depending on a single discrete variable N and a real parameter ε, we discuss a new algorithmic framework to compute the first coefficients of its Laurent series expansion in ε. In a first step, the integrals are expressed by hypergeometric multi sums by means of symbolic transformations. Given this sum format, we develop new summation tools to extract the first coefficients of its series expansion whenever they are expressible in terms of indefinite nested product-sum expressions. In particular, we enhance the known multi-sum algorithms to derive recurrences for sums with complicated boundary conditions, and we present new algorithms to find formal Laurent series solutions of a given recurrence relation. (orig.)
A symbolic summation approach to Feynman integral calculus
Energy Technology Data Exchange (ETDEWEB)
Bluemlein, Johannes [Deutsches Elektronen-Synchrotron (DESY), Zeuthen (Germany); Klein, Sebastian [Technische Hochschule Aachen (Germany). Inst. fuer Theoretische Teilchenphysik und Kosmologie; Schneider, Carsten; Stan, Flavia [Johannes Kepler Univ. Linz (AT). Research Inst. for Symbolic Computation (RISC)
2010-11-15
Given a Feynman parameter integral, depending on a single discrete variable N and a real parameter {epsilon}, we discuss a new algorithmic framework to compute the first coefficients of its Laurent series expansion in {epsilon}. In a first step, the integrals are expressed by hypergeometric multi sums by means of symbolic transformations. Given this sum format, we develop new summation tools to extract the first coefficients of its series expansion whenever they are expressible in terms of indefinite nested product-sum expressions. In particular, we enhance the known multi-sum algorithms to derive recurrences for sums with complicated boundary conditions, and we present new algorithms to find formal Laurent series solutions of a given recurrence relation. (orig.)
Applications of fractional calculus in physics
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
Tensor Calculus: Unlearning Vector Calculus
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…
Misu, L.; Budayasa, I. K.; Lukito, A.
2018-01-01
This research is to describe metacognition profile of female and male mathematics’ pre-service teachers in understanding the concept of integral calculus. The subjects of this study are one female and 1 male mathematics’ pre-service teachers who have studied integral calculus. This research type is an explorative study with the qualitative approach. The main data collection of this research was obtained by using Interview technique. In addition, there are supporting data which is the result of the written work of research subjects (SP) in understanding the question of integral calculus. The results of this study are as follows: There is a difference in metacognition profiles between male and female mathematics’ pre-service teachers in the understanding concept of integral calculus in the interpreting category, especially the definite integral concept. While in the category of exemplifying, there is no difference in metacognition profile between male and female mathematics’ pre-service teachers either the definite integral concept and the indefinite integral concept.
Ogawa, Shigeyoshi
2017-01-01
This book presents an elementary introduction to the theory of noncausal stochastic calculus that arises as a natural alternative to the standard theory of stochastic calculus founded in 1944 by Professor Kiyoshi Itô. As is generally known, Itô Calculus is essentially based on the "hypothesis of causality", asking random functions to be adapted to a natural filtration generated by Brownian motion or more generally by square integrable martingale. The intention in this book is to establish a stochastic calculus that is free from this "hypothesis of causality". To be more precise, a noncausal theory of stochastic calculus is developed in this book, based on the noncausal integral introduced by the author in 1979. After studying basic properties of the noncausal stochastic integral, various concrete problems of noncausal nature are considered, mostly concerning stochastic functional equations such as SDE, SIE, SPDE, and others, to show not only the necessity of such theory of noncausal stochastic calculus but ...
Essential calculus with applications
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.
Ricceri, Biagio
2005-01-01
We deal with the integral functional of the calculus of variations assuming that the gradient of the integrand is Lipschitzian. We then prove that if this gradient does not vanish at zero, then the functional has a unique minimum and a unique maximum on each sphere, centered at zero, with radius small enough.
Differential and Integral Calculus in careers of technical sciences. Specificities of their teaching
Directory of Open Access Journals (Sweden)
Iván Javier Villamar-Alvarado
2017-12-01
Full Text Available The Differential and Integral Calculus has great relevance for the professionals of the technical sciences since it provides them with a solid theoretical-conceptual body to process information, to use models that simulate real processes, to solve technical problems, to work in multidisciplinary projects and to communicate with precision. In spite of this relevance, there are numerous international dissatisfactions related to their learning by training engineers. The objective was to unveil the specificities of the teaching-learning process of this discipline that favor a successful appropriation of its content by the future engineers. The result was to unveil the didactic need to resolve the dialectical contradiction that manifests itself between the systematization of the engineering functionality of the aforementioned content and its contextualized interdisciplinary generalization. As a consequence, the need arises to create new didactic proposals that overcome this contradiction, as a way to perfect the teaching-learning process of this discipline in the engineering careers.
Multivariable calculus with applications
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...
Friedman, Avner
2007-01-01
This rigorous two-part treatment advances from functions of one variable to those of several variables. Intended for students who have already completed a one-year course in elementary calculus, it defers the introduction of functions of several variables for as long as possible, and adds clarity and simplicity by avoiding a mixture of heuristic and rigorous arguments.The first part explores functions of one variable, including numbers and sequences, continuous functions, differentiable functions, integration, and sequences and series of functions. The second part examines functions of several
Fitzpatrick, Patrick M
2009-01-01
Advanced Calculus is intended as a text for courses that furnish the backbone of the student's undergraduate education in mathematical analysis. The goal is to rigorously present the fundamental concepts within the context of illuminating examples and stimulating exercises. This book is self-contained and starts with the creation of basic tools using the completeness axiom. The continuity, differentiability, integrability, and power series representation properties of functions of a single variable are established. The next few chapters describe the topological and metric properties of Euclide
Directory of Open Access Journals (Sweden)
Yuliana Yuliana
2017-01-01
Full Text Available The objectives of this research are (1 to develop Guided Discovery Learning in integral calculus subject; (2 to identify the effectiveness of Guided Discovery Learning in improving the students’ understanding toward integral calculus subject. This research was quasy experimental research with the students of even semester in Mathematics Education Widya Dharma University as the sample. Cluster Random sampling was conducted to determine control group that was taught using Conventional model and experimental group that was taught using Guided Discovery Learning model. The instruments of this research included pre-test, post-test, and student’s response questionnaire. The data of post-test was analyzed using T-test. The result was H0 was rejected for the level of significance The result of this data analysis found out that Guide Discovery Learning was more effective than Conventional Model. It was supported by the result questionnaire. The result of questionnaire that more than 75% questionnaire items got 67.65% positive response. It means Guided Discovery Learning can increase students’ interest in joining integral calculus class.
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
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
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
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...
Introduction to the operational calculus
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
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
Indian Academy of Sciences (India)
IAS Admin
Sphere–Cylinder Theorem, vol- ume and surface area of the torus, volume and surface area of a slice of a solid sphere. The author earned his PhD degree in mathematics. (topology), in 2000, from. Panjab University,. Chandigarh and since then he has been teaching analysis, algebra, calculus and discrete mathematics at.
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
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.
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
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.
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.
A generalized nonlocal vector calculus
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.
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,
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
From Calculus to Wavelets: ANew Mathematical Technique
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 2; Issue 4. From Calculus to Wavelets: A New Mathematical Technique Wavelet Analysis Physical Properties. Gerald B Folland. General Article Volume 2 Issue 4 April 1997 pp 25-37 ...
Investigating student difficulties on integral calculus based on critical thinking aspects
Directory of Open Access Journals (Sweden)
Farida Nursyahidah
2017-11-01
Full Text Available Students of Mathematics education often struggle with integration problem, but yet the root of the problem related to critical thinking is rarely investigated. This article reports research where the first-year students of Mathematics Education of PGRI University Semarang were given an integral problem, then individually they were interviewed related to the answer they have made. The findings of students' difficulties in working on integration problem were confirmed through several questions in the interview which aimed to uncover their critical thinking process related to concepts, procedures, and problem solving. This study shows that student difficulties in Integration by disc method such as failure in identifying radius of a rotary object, specify partition, and integration bounds are closely related to their failure to think critically related to concept, skills, and problem solving aspects of critical thinking.
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...
REA, Editors of
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Calculus III includes vector analysis, real valued functions, partial differentiation, multiple integrations, vector fields, and infinite series.
Generalized vector calculus on convex domain
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.
Bodewig, E
1959-01-01
Matrix Calculus, Second Revised and Enlarged Edition focuses on systematic calculation with the building blocks of a matrix and rows and columns, shunning the use of individual elements. The publication first offers information on vectors, matrices, further applications, measures of the magnitude of a matrix, and forms. The text then examines eigenvalues and exact solutions, including the characteristic equation, eigenrows, extremum properties of the eigenvalues, bounds for the eigenvalues, elementary divisors, and bounds for the determinant. The text ponders on approximate solutions, as well
Ouellette,, Jennifer
2011-01-01
Jennifer Ouellette never took maths in the sixth form, mostly because she like most of us assumed she wouldn't need it much in real life. But then the English graduate, now an award-winning science-writer, had a change of heart and decided to revisit the equations and formulas that had haunted her youth. The Calculus Diaries is the fun and fascinating account of a year spent confronting her numbers-phobia head on. With wit and verve, Ouellette explains how she discovered that maths could apply to everything from petrol mileages to dieting, rollercoaster rides to winning in Las Vegas.
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...
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...
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.
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.)
Elementary calculus an infinitesimal approach
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
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...
Baronti, Marco; van der Putten, Robertus; Venturi, Irene
2016-01-01
This book, intended as a practical working guide for students in Engineering, Mathematics, Physics, or any other field where rigorous calculus is needed, includes 450 exercises. Each chapter starts with a summary of the main definitions and results, which is followed by a selection of solved exercises accompanied by brief, illustrative comments. A selection of problems with indicated solutions rounds out each chapter. A final chapter explores problems that are not designed with a single issue in mind but instead call for the combination of a variety of techniques, rounding out the book’s coverage. Though the book’s primary focus is on functions of one real variable, basic ordinary differential equations (separation of variables, linear first order and constant coefficients ODEs) are also discussed. The material is taken from actual written tests that have been delivered at the Engineering School of the University of Genoa. Literally thousands of students have worked on these problems, ensuring their real-...
Distributed mean curvature on a discrete manifold for Regge calculus
International Nuclear Information System (INIS)
Conboye, Rory; Miller, Warner A; Ray, Shannon
2015-01-01
The integrated mean curvature of a simplicial manifold is well understood in both Regge Calculus and Discrete Differential Geometry. However, a well motivated pointwise definition of curvature requires a careful choice of the volume over which to uniformly distribute the local integrated curvature. We show that hybrid cells formed using both the simplicial lattice and its circumcentric dual emerge as a remarkably natural structure for the distribution of this local integrated curvature. These hybrid cells form a complete tessellation of the simplicial manifold, contain a geometric orthonormal basis, and are also shown to give a pointwise mean curvature with a natural interpretation as the fractional rate of change of the normal vector. (paper)
Distributed mean curvature on a discrete manifold for Regge calculus
Conboye, Rory; Miller, Warner A.; Ray, Shannon
2015-09-01
The integrated mean curvature of a simplicial manifold is well understood in both Regge Calculus and Discrete Differential Geometry. However, a well motivated pointwise definition of curvature requires a careful choice of the volume over which to uniformly distribute the local integrated curvature. We show that hybrid cells formed using both the simplicial lattice and its circumcentric dual emerge as a remarkably natural structure for the distribution of this local integrated curvature. These hybrid cells form a complete tessellation of the simplicial manifold, contain a geometric orthonormal basis, and are also shown to give a pointwise mean curvature with a natural interpretation as the fractional rate of change of the normal vector.
Series expansion in fractional calculus and fractional differential equations
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...
Calculus and analysis in Euclidean space
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...
Calculus Problem Solution And Simulation Using GUI Of Matlab
Directory of Open Access Journals (Sweden)
Syaharuddin
2017-09-01
Full Text Available This research aims to develop the project application in teaching and learning Calculus using Grapichal User Interface GUI of Matlab. The scope of the development result includes 1 PreCalculus 2 Function Limit 3 Derivative and its application and 4 Integral and its application. Every aspect of development is presented according to the standards of material competence learning achievement indicators and solutions or settlement steps on each issue presented. This project application can be used by lecturers and students in universities to improve motivation mastery of material and student learning outcomes in the Calculus course. Development of this project application is done through 4 stages called 4-D namely Define Design Development and Dissemination. Based on the data analysis the results obtained at the validation stage of expert validity level average of 3.575 which means quite valid. Then on a limited trial the average student gave a response of 92.00 which means very good. While in the first field trial the average student gave a response of 89.30 which means very good and in the second field trial the average student gave a responded of 90.15 which means very good. Besides that we also solve computational calculus problems in Edwin J. Purcell Dale Varbergs Book of Volume 1 of Edition 5 of 48 questions that are divided into 64 cases.
2012-01-01
Get all you need to know with Super Reviews! Each Super Review is packed with in-depth, student-friendly topic reviews that fully explain everything about the subject. The Calculus I Super Review includes a review of functions, limits, basic derivatives, the definite integral, combinations, and permutations. Take the Super Review quizzes to see how much you've learned - and where you need more study. Makes an excellent study aid and textbook companion. Great for self-study!DETAILS- From cover to cover, each in-depth topic review is easy-to-follow and easy-to-grasp - Perfect when preparing for
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)
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.
One Answer to "What Is Calculus?"
Shilgalis, Thomas W.
1979-01-01
A number of questions are posed that can be answered with the aid of calculus. These include best value problems, best shape problems, problems involving integration, and growth and decay problems. (MP)
The origins of Cauchy's rigorous calculus
Grabiner, Judith V
2005-01-01
This text examines the reinterpretation of calculus by Augustin-Louis Cauchy and his peers in the 19th century. These intellectuals created a collection of well-defined theorems about limits, continuity, series, derivatives, and integrals. 1981 edition.
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.
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...
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.
Expressing intrinsic volumes as rotational integrals
DEFF Research Database (Denmark)
Auneau, Jeremy Michel; Jensen, Eva Bjørn Vedel
2010-01-01
A new rotational formula of Crofton type is derived for intrinsic volumes of a compact subset of positive reach. The formula provides a functional defined on the section of X with a j-dimensional linear subspace with rotational average equal to the intrinsic volumes of X. Simplified forms of the ...
Introduction to stochastic calculus
Karandikar, Rajeeva L
2018-01-01
This book sheds new light on stochastic calculus, the branch of mathematics that is most widely applied in financial engineering and mathematical finance. The first book to introduce pathwise formulae for the stochastic integral, it provides a simple but rigorous treatment of the subject, including a range of advanced topics. The book discusses in-depth topics such as quadratic variation, Ito formula, and Emery topology. The authors briefly address continuous semi-martingales to obtain growth estimates and study solution of a stochastic differential equation (SDE) by using the technique of random time change. Later, by using Metivier–Pellumail inequality, the solutions to SDEs driven by general semi-martingales are discussed. The connection of the theory with mathematical finance is briefly discussed and the book has extensive treatment on the representation of martingales as stochastic integrals and a second fundamental theorem of asset pricing. Intended for undergraduate- and beginning graduate-level stud...
Lei, Qian
2017-01-01
This book offers a comprehensive and systematic review of the latest research findings in the area of intuitionistic fuzzy calculus. After introducing the intuitionistic fuzzy numbers’ operational laws and their geometrical and algebraic properties, the book defines the concept of intuitionistic fuzzy functions and presents the research on the derivative, differential, indefinite integral and definite integral of intuitionistic fuzzy functions. It also discusses some of the methods that have been successfully used to deal with continuous intuitionistic fuzzy information or data, which are different from the previous aggregation operators focusing on discrete information or data. Mainly intended for engineers and researchers in the fields of fuzzy mathematics, operations research, information science and management science, this book is also a valuable textbook for postgraduate and advanced undergraduate students alike.
Is Calculus a Failure in Cryptography?
Indian Academy of Sciences (India)
Home; Journals; Resonance – Journal of Science Education; Volume 21; Issue 3. Is Calculus a Failure in Cryptography? P Vanchinathan. General Article Volume 21 Issue 3 March 2016 pp 239-245. Fulltext. Click here to view fulltext PDF. Permanent link: https://www.ias.ac.in/article/fulltext/reso/021/03/0239-0245. Keywords.
Alternative occupied volume integrity (OVI) tests and analyses.
2013-10-01
FRA, supported by the Volpe Center, conducted research on alternative methods of evaluating occupied volume integrity (OVI) in passenger railcars. Guided by this research, an alternative methodology for evaluating OVI that ensures an equivalent or gr...
Knight, Brian
1975-01-01
Each chapter in this book deals with a single mathematical topic, which ideally should form the basis of a single lecture. The chapter has been designed as a mixture of the following ingredients: -(i) Illustrative examples and notes for the student's pre-lecture reading. (ii) Class discussion exercises for study in a lecture or seminar. (iii) Graded problems for assignment work. Contents 1 Sets, functions page 11 2 Limits and continuity 17 3 The exponential and related functions 25 4 Inverse functions 30 5 Differentiation 35 6 Differentiation of implicit functions 44 7 Maxima and minima 50 8 Curve sketching 54 9 Expansion in series 61 10 Newton's method 67 11 Area and integration 72 12 Standard integrals 80 13 Applications of the fundamental theorem 87 14 Substitution in integrals 94 15 Use of partial fractions 100 16 Integration by parts 106 Answers to problems 110 Index 116 1 Sets, Functions A set is a collection of distinct objects. The objects be longing to a set are the elements (or members) of the set...
Stochastic calculus and applications
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...
Water content contribution in calculus phantom ablation during Q-switched Tm:YAG laser lithotripsy.
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.
Finite volume form factors in the presence of integrable defects
International Nuclear Information System (INIS)
Bajnok, Z.; Buccheri, F.; Hollo, L.; Konczer, J.; Takacs, G.
2014-01-01
We developed the theory of finite volume form factors in the presence of integrable defects. These finite volume form factors are expressed in terms of the infinite volume form factors and the finite volume density of states and incorporate all polynomial corrections in the inverse of the volume. We tested our results, in the defect Lee–Yang model, against numerical data obtained by truncated conformal space approach (TCSA), which we improved by renormalization group methods adopted to the defect case. To perform these checks we determined the infinite volume defect form factors in the Lee–Yang model exactly, including their vacuum expectation values. We used these data to calculate the two point functions, which we compared, at short distance, to defect CFT. We also derived explicit expressions for the exact finite volume one point functions, which we checked numerically. In all of these comparisons excellent agreement was found
Advanced Placement Mathematics Calculus, Grade 12 Curriculum Guide.
Scharf, John; And Others
This document is a guide to the advanced placement program in calculus for grade 12 in the city schools in Warren, Ohio. The program covers analytic geometry, differential and integral calculus of algebraic functions, elementary transcendental functions, and applications of differentiation and integration. The philosophy and aims of the program…
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)
Integration of wind generation forecasts. Volume 2
International Nuclear Information System (INIS)
Ahlstrom, M.; Zavadil, B.; Jones, L.
2005-01-01
WindLogics is a company that specializes in atmospheric modelling, visualization and fine-scale forecasting systems for the wind power industry. A background of the organization was presented. The complexities of wind modelling were discussed. Issues concerning location and terrain, shear, diurnal and interannual variability were reviewed. It was suggested that wind power producers should aim to be mainstream, and that variability should be considered as intrinsic to fuel supply. Various utility operating impacts were outlined. Details of an Xcel NSP wind integration study were presented, as well as a studies conducted in New York state and Colorado. It was concluded that regulations and load following impacts with wind energy integration are modest. Overall impacts are dominated by costs incurred to accommodate wind generation variability and uncertainty in the day-ahead time frame. Cost impacts can be reduced with adjustments to operating strategies, improvements in wind forecasting and access to real-time markets. Details of WindLogic's wind energy forecast system were presented, as well as examples of day ahead and hour ahead forecasts and wind speed and power forecasts. Screenshots of control room integration, EMS integration and simulations were presented. Details of a utility-scale wind energy forecasting system funded by Xcel Renewable Development Fund (RDF) were also presented. The goal of the system was to optimize the way that wind forecast information is integrated into the control room environment. Project components were outlined. It was concluded that accurate day-ahead forecasting can lead to significant asset optimization. It was recommended that wind plants share data, and aim to resolve issues concerning grid codes and instrumentation. refs., tabs., figs
Brownian motion, martingales, and stochastic calculus
Le Gall, Jean-François
2016-01-01
This book offers a rigorous and self-contained presentation of stochastic integration and stochastic calculus within the general framework of continuous semimartingales. The main tools of stochastic calculus, including Itô’s formula, the optional stopping theorem and Girsanov’s theorem, are treated in detail alongside many illustrative examples. The book also contains an introduction to Markov processes, with applications to solutions of stochastic differential equations and to connections between Brownian motion and partial differential equations. The theory of local times of semimartingales is discussed in the last chapter. Since its invention by Itô, stochastic calculus has proven to be one of the most important techniques of modern probability theory, and has been used in the most recent theoretical advances as well as in applications to other fields such as mathematical finance. Brownian Motion, Martingales, and Stochastic Calculus provides a strong theoretical background to the reader interested i...
A Generalized Nonlocal Calculus with Application to the Peridynamics Model for Solid Mechanics
Alali, Bacim; Liu, Kuo; Gunzburger, Max
2014-01-01
A nonlocal vector calculus was introduced in [2] that has proved useful for the analysis of the peridynamics model of nonlocal mechanics and nonlocal diffusion models. A generalization 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...
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.
Initialized Fractional Calculus
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.
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
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
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…
Brownian motion and stochastic calculus
Karatzas, Ioannis
1998-01-01
This book is designed as a text for graduate courses in stochastic processes. It is written for readers familiar with measure-theoretic probability and discrete-time processes who wish to explore stochastic processes in continuous time. The vehicle chosen for this exposition is Brownian motion, which is presented as the canonical example of both a martingale and a Markov process with continuous paths. In this context, the theory of stochastic integration and stochastic calculus is developed. The power of this calculus is illustrated by results concerning representations of martingales and change of measure on Wiener space, and these in turn permit a presentation of recent advances in financial economics (option pricing and consumption/investment optimization). This book contains a detailed discussion of weak and strong solutions of stochastic differential equations and a study of local time for semimartingales, with special emphasis on the theory of Brownian local time. The text is complemented by a large num...
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...
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...
Impact of Calculus Reform in a Liberal Arts Calculus Course.
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…
Feynman's operational calculus and beyond noncommutativity and time-ordering
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...
Directory of Open Access Journals (Sweden)
Nilda Iglesias Domecq
2018-05-01
Full Text Available The current information society demands that civil engineers have an adequate command of the contents of Differential and Integral Calculus as a basis for their successful professional performance. However, there are many national and international reports of learning difficulties of these contents during the undergraduate training period. The objective of this article is to explain the interdisciplinary dynamic that underlies the teaching-learning process of Differential and Integral Calculus by Civil Engineering students. The research methods used were the content analysis of relevant theoretical sources and holistic-configurational modeling. The main result reveals the interdisciplinary logic established between the systematization and engineering functionality of the content of Differential and Integral Calculus and its projective-structural generalization, which constitutes an essential necessary condition for the development of competence for the application of the referred content to the resolution of projective-structural problems. Keywords: The current information society demands that civil engineers have an adequate command of the contents of Differential and Integral Calculus as a basis for their successful professional performance. However, there are many national and international reports of learning difficulties of these contents during the undergraduate training period. The objective of this article is to explain the interdisciplinary dynamic that underlies the teaching-learning process of Differential and Integral Calculus by Civil Engineering students. The research methods used were the content analysis of relevant theoretical sources and holistic-configurational modeling. The main result reveals the interdisciplinary logic established between the systematization and engineering functionality of the content of Differential and Integral Calculus and its projective-structural generalization, which constitutes an essential
On Flipping the Classroom in Large First Year Calculus Courses
Jungic, Veselin; Kaur, Harpreet; Mulholland, Jamie; Xin, Cindy
2015-01-01
Over the course of two years, 2012-2014, we have implemented a "flipping" the classroom approach in three of our large enrolment first year calculus courses: differential and integral calculus for scientists and engineers. In this article we describe the details of our particular approach and share with the reader some experiences of…
Evaluating the Use of Learning Objects for Improving Calculus Readiness
Kay, Robin; Kletskin, Ilona
2010-01-01
Pre-calculus concepts such as working with functions and solving equations are essential for students to explore limits, rates of change, and integrals. Yet many students have a weak understanding of these key concepts which impedes performance in their first year university Calculus course. A series of online learning objects was developed to…
On flipping the classroom in large first year calculus courses
Jungić, Veselin; Kaur, Harpreet; Mulholland, Jamie; Xin, Cindy
2015-05-01
Over the course of two years, 2012--2014, we have implemented a 'flipping' the classroom approach in three of our large enrolment first year calculus courses: differential and integral calculus for scientists and engineers. In this article we describe the details of our particular approach and share with the reader some experiences of both instructors and students.
Partial differential equations and calculus of variations
Leis, Rolf
1988-01-01
This volume contains 18 invited papers by members and guests of the former Sonderforschungsbereich in Bonn (SFB 72) who, over the years, collaborated on the research group "Solution of PDE's and Calculus of Variations". The emphasis is on existence and regularity results, on special equations of mathematical physics and on scattering theory.
Modern calculus and analytic geometry
Silverman, Richard A
2012-01-01
A self-contained text for an introductory course, this volume places strong emphasis on physical applications. Key elements of differential equations and linear algebra are introduced early and are consistently referenced, all theorems are proved using elementary methods, and numerous worked-out examples appear throughout. The highly readable text approaches calculus from the student's viewpoint and points out potential stumbling blocks before they develop. A collection of more than 1,600 problems ranges from exercise material to exploration of new points of theory - many of the answers are fo
A study of ∇-discrete fractional calculus operator on the radial ...
African Journals Online (AJOL)
The fractional calculus includes concepts of integrals and derivatives of any complex or real order. The fractional calculus is as old as the usual calculus. Recently, many scientists have been studying on this eld to provide the development and applicability to various areas of mathematics, physics, engineering and other ...
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
Stochastic calculus in physics
International Nuclear Information System (INIS)
Fox, R.F.
1987-01-01
The relationship of Ito-Stratonovich stochastic calculus to studies of weakly colored noise is explained. A functional calculus approach is used to obtain an effective Fokker-Planck equation for the weakly colored noise regime. In a smooth limit, this representation produces the Stratonovich version of the Ito-Stratonovich calculus for white noise. It also provides an approach to steady state behavior for strongly colored noise. Numerical simulation algorithms are explored, and a novel suggestion is made for efficient and accurate simulation of white noise equations
The stochastic quality calculus
DEFF Research Database (Denmark)
Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis
2014-01-01
We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated...... with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics...
Local and Global Illumination in the Volume Rendering Integral
Energy Technology Data Exchange (ETDEWEB)
Max, N; Chen, M
2005-10-21
This article is intended as an update of the major survey by Max [1] on optical models for direct volume rendering. It provides a brief overview of the subject scope covered by [1], and brings recent developments, such as new shadow algorithms and refraction rendering, into the perspective. In particular, we examine three fundamentals aspects of direct volume rendering, namely the volume rendering integral, local illumination models and global illumination models, in a wavelength-independent manner. We review the developments on spectral volume rendering, in which visible light are considered as a form of electromagnetic radiation, optical models are implemented in conjunction with representations of spectral power distribution. This survey can provide a basis for, and encourage, new efforts for developing and using complex illumination models to achieve better realism and perception through optical correctness.
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
Ricceri, Biagio
2006-12-01
Given a bounded domain [Omega][subset of]Rn, we prove that if is a C1 function whose gradient is Lipschitzian in Rn+1 and non-zero at 0, then, for each r>0 small enough, the restriction of the integral functional to the sphere has a unique global minimum and a unique global maximum.
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.
Generalized Gaussian Error Calculus
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...
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.
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.
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....
Calculus of bivariant function
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...
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...
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
Transcranial sonography: integration into target volume definition for glioblastoma multiforme
International Nuclear Information System (INIS)
Vordermark, Dirk; Becker, Georg; Flentje, Michael; Richter, Susanne; Goerttler-Krauspe, Irene; Koelbl, Oliver
2000-01-01
Purpose: Recent studies indicate that transcranial sonography (TCS) reliably displays the extension of malignant brain tumors. The effect of integrating TCS into radiotherapy planning for glioblastoma multiforme (GBM) was investigated herein. Methods and Materials: Thirteen patients subtotally resected for GBM underwent TCS during radiotherapy planning and were conventionally treated (54 to 60 Gy). Gross tumor volumes (GTVs) and stereotactic boost planning target volumes (PTVs, 3-mm margin) were created, based on contrast enhancement on computed tomography (CT) only (PTV CT ) or the combined CT and TCS information (PTV CT+TCS ). Noncoplonar conformal treatment plans for both PTVs were compared. Tumor progression patterns and preoperative magnetic resonance imaging (MRI) were related to both PTVs. Results: A sufficient temporal bone window for TCS was present in 11 of 13 patients. GTVs as defined by TCS were considerably larger than the respective CT volumes: Of the composite GTV CT+TCS (median volume 42 ml), 23%, 13%, and 66% (medians) were covered by the overlap of both methods, CT only and TCS only, respectively. Median sizes of PTV CT and PTV CT+TCS were 34 and 74 ml, respectively. Addition of TCS to CT information led to a median increase of the volume irradiated within the 80% isodose by 32 ml (median factor 1.51). PTV CT+TCS volume was at median 24% of a 'conventional' MRI(T2)-based PTV. Of eight progressions analyzed, three and six occurred inside the 80% isodose of the plans for PTV CT and for PTV CT+TCS , respectively. Conclusion: Addition of TCS tumor volume to the contrast-enhancing CT volume in postoperative radiotherapy planning for GBM increases the treated volume by a median factor of 1.5. Since a high frequency of marginal recurrences is reported from dose-escalation trials of this disease, TCS may complement established methods in PTV definition
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
The absolute differential calculus calculus of tensors
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
Integral dose and evaluation of irradiated tissue volume
International Nuclear Information System (INIS)
Sivachenko, T.P.; Kalina, V.K.; Belous, A.K.; Gaevskij, V.I.
1984-01-01
Two parameters having potentialities of radiotherapy planning improvement are under consideration. One of these two parameters in an integral dose. An efficiency of application of special tables for integral dose estimation is noted. These tables were developed by the Kiev Physician Improvement Institute and the Cybernetics Institute of the Ukrainian SSR Academy of Science. The meaning of the term of ''irradiated tissue volume'' is specified, and the method of calculation of the irradiated tissue effective mass is considered. It is possible to evaluate with higher accuracy tolerance doses taking into account the irradiated mass
European market integration for gas? Volume flexibility and political risk
International Nuclear Information System (INIS)
Asche, Frank; Tveteras, Ragnar; Osmundsen, Petter
2002-01-01
Long-term take-or-pay contracts regulating gas exports to the Continent are described and analyzed. We thereafter examine whether the German gas market is integrated. Time series of Norwegian, Dutch and Russian gas export prices to Germany in 1990-1998 are examined. Cointegration tests show that that the different border prices for gas to Germany move proportionally over time, indicating an integrated gas market. We find differences in mean prices, with Russian gas being sold at prices systematically lower than Dutch and Norwegian gas. Among the explanatory factors for price discrepancies are differences in volume flexibility (swing) and perceived political risk
Iterative algorithm for the volume integral method for magnetostatics problems
International Nuclear Information System (INIS)
Pasciak, J.E.
1980-11-01
Volume integral methods for solving nonlinear magnetostatics problems are considered in this paper. The integral method is discretized by a Galerkin technique. Estimates are given which show that the linearized problems are well conditioned and hence easily solved using iterative techniques. Comparisons of iterative algorithms with the elimination method of GFUN3D shows that the iterative method gives an order of magnitude improvement in computational time as well as memory requirements for large problems. Computational experiments for a test problem as well as a double layer dipole magnet are given. Error estimates for the linearized problem are also derived
A Note on Discrete Mathematics and Calculus.
O'Reilly, Thomas J.
1987-01-01
Much of the current literature on the topic of discrete mathematics and calculus during the first two years of an undergraduate mathematics curriculum is cited. A relationship between the recursive integration formulas and recursively defined polynomials is described. A Pascal program is included. (Author/RH)
Using Discovery in the Calculus Class
Shilgalis, Thomas W.
1975-01-01
This article shows how two discoverable theorems from elementary calculus can be presented to students in a manner that assists them in making the generalizations themselves. The theorems are the mean value theorems for derivatives and for integrals. A conjecture is suggested by pictures and then refined. (Author/KM)
Multivariable dynamic calculus on time scales
Bohner, Martin
2016-01-01
This book offers the reader an overview of recent developments of multivariable dynamic calculus on time scales, taking readers beyond the traditional calculus texts. Covering topics from parameter-dependent integrals to partial differentiation on time scales, the book’s nine pedagogically oriented chapters provide a pathway to this active area of research that will appeal to students and researchers in mathematics and the physical sciences. The authors present a clear and well-organized treatment of the concept behind the mathematics and solution techniques, including many practical examples and exercises.
Community biomass handbook volume 4: enterprise development for integrated wood manufacturing
Eini Lowell; D.R. Becker; D. Smith; M. Kauffman; D. Bihn
2017-01-01
The Community Biomass Handbook Volume 4: Enterprise Development for Integrated Wood Manufacturing is a guide for creating sustainable business enterprises using small diameter logs and biomass. This fourth volume is a companion to three Community Biomass Handbook volumes: Volume 1: Thermal Wood Energy; Volume 2: Alaska, Where Woody Biomass Can Work; and Volume 3: How...
A MATLAB companion for multivariable calculus
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...
Inner volume leakage during integrated leakage rate testing
International Nuclear Information System (INIS)
Glover, J.P.
1987-01-01
During an integrated leak rate test (ILRT), the containment structure is maintained at test pressure with most penetrations isolated. Since penetrations typically employ dual isolation, the possibility exists for the inner isolation to leak while the outer holds. In this case, the ILRT instrumentation system would indicate containment out-leakage when, in fact, only the inner volume between closures is being pressurized. The problem is compounded because this false leakage is not readily observable outside of containment by standard leak inspection techniques. The inner volume leakage eventually subsides after the affected volumes reach test pressure. Depending on the magnitude of leakage and the size of the volumes, equalization could occur prior to the end of the pretest stabilization period, or significant false leakages may persist throughout the entire test. Two simple analyses were performed to quantify the effects of inside volume leakages. First, a lower bound for the equalization time was found. A second analysis was performed to find an approximate upper bound for the stabilization time. The results of both analyses are shown
A transition calculus for Boolean functions. [logic circuit analysis
Tucker, J. H.; Bennett, A. W.
1974-01-01
A transition calculus is presented for analyzing the effect of input changes on the output of logic circuits. The method is closely related to the Boolean difference, but it is more powerful. Both differentiation and integration are considered.
Forest Carbon Uptake and the Fundamental Theorem of Calculus
Zobitz, John
2013-01-01
Using the fundamental theorem of calculus and numerical integration, we investigate carbon absorption of ecosystems with measurements from a global database. The results illustrate the dynamic nature of ecosystems and their ability to absorb atmospheric carbon.
Intitialization, Conceptualization, and Application in the Generalized Fractional Calculus
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.
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.
Putting Differentials Back into Calculus
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.
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...
Verification and validation guidelines for high integrity systems. Volume 1
Energy Technology Data Exchange (ETDEWEB)
Hecht, H.; Hecht, M.; Dinsmore, G.; Hecht, S.; Tang, D. [SoHaR, Inc., Beverly Hills, CA (United States)
1995-03-01
High integrity systems include all protective (safety and mitigation) systems for nuclear power plants, and also systems for which comparable reliability requirements exist in other fields, such as in the process industries, in air traffic control, and in patient monitoring and other medical systems. Verification aims at determining that each stage in the software development completely and correctly implements requirements that were established in a preceding phase, while validation determines that the overall performance of a computer system completely and correctly meets system requirements. Volume I of the report reviews existing classifications for high integrity systems and for the types of errors that may be encountered, and makes recommendations for verification and validation procedures, based on assumptions about the environment in which these procedures will be conducted. The final chapter of Volume I deals with a framework for standards in this field. Volume II contains appendices dealing with specific methodologies for system classification, for dependability evaluation, and for two software tools that can automate otherwise very labor intensive verification and validation activities.
Verification and validation guidelines for high integrity systems. Volume 1
International Nuclear Information System (INIS)
Hecht, H.; Hecht, M.; Dinsmore, G.; Hecht, S.; Tang, D.
1995-03-01
High integrity systems include all protective (safety and mitigation) systems for nuclear power plants, and also systems for which comparable reliability requirements exist in other fields, such as in the process industries, in air traffic control, and in patient monitoring and other medical systems. Verification aims at determining that each stage in the software development completely and correctly implements requirements that were established in a preceding phase, while validation determines that the overall performance of a computer system completely and correctly meets system requirements. Volume I of the report reviews existing classifications for high integrity systems and for the types of errors that may be encountered, and makes recommendations for verification and validation procedures, based on assumptions about the environment in which these procedures will be conducted. The final chapter of Volume I deals with a framework for standards in this field. Volume II contains appendices dealing with specific methodologies for system classification, for dependability evaluation, and for two software tools that can automate otherwise very labor intensive verification and validation activities
Maxima and Minima Without Calculus.
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)
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...
Functional Fractional Calculus
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
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.
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
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.
Advanced calculus of a single variable
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...
Two cosmological solutions of Regge calculus
International Nuclear Information System (INIS)
Lewis, S.M.
1982-01-01
Two cosmological solutions of Regge calculus are presented which correspond to the flat Friedmann-Robertson-Walker and the Kasner solutions of general relativity. By taking advantage of the symmetries that are present, I am able to show explicitly that a limit of Regge calculus does yield Einstein's equations for these cases. The method of averaging these equations when taking limits is important, especially for the Kasner model. I display the leading error term that arises from keeping the Regge equations in discrete form rather than using their continuum limit. In particular, this work shows that for the ''Reggeized'' Friedmann model the minimum volume is a velocity-dominated singularity as in the continuum Friedmann model. However, unlike the latter, the Regge version has a nonzero minimum volume
On Functional Calculus Estimates
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
Provability Calculus of Constructions
DEFF Research Database (Denmark)
Nyblad, Kasten
This thesis presents a type system, Provability Calculus of Constructions (PCoC) that can be used for the formalization of logic. In a theorem prover based on the system, the user can extend the prover with new inference rules in a logically consistent manner. This is done by representing PCo...
Calculus Courses' Assessment Data
Pauna, Matti
2017-01-01
In this paper we describe computer-aided assessment methods used in online Calculus courses and the data they produce. The online learning environment collects a lot of time-stamped data about every action a student makes. Assessment data can be harnessed into use as a feedback, predictor, and recommendation facility for students and instructors.…
Duration Calculus: Logical Foundations
DEFF Research Database (Denmark)
Hansen, Michael Reichhardt; Chaochen, Zhou
1997-01-01
The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...
African Journals Online (AJOL)
Giant vesical calculus. A case report. H. H. LAUBSCHER. Summary. An exceptional case of bladder stone is presented. The case is unusual as regards the size of the stone and the fact that the patient did··not seek medical assistance much earlier, as this was readily avail- able. Furthermore, recovery after removal of the.
Miniature endoscopic optical coherence tomography for calculus detection.
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.
Quantum stochastic calculus and representations of Lie superalgebras
Eyre, Timothy M W
1998-01-01
This book describes the representations of Lie superalgebras that are yielded by a graded version of Hudson-Parthasarathy quantum stochastic calculus. Quantum stochastic calculus and grading theory are given concise introductions, extending readership to mathematicians and physicists with a basic knowledge of algebra and infinite-dimensional Hilbert spaces. The develpment of an explicit formula for the chaotic expansion of a polynomial of quantum stochastic integrals is particularly interesting. The book aims to provide a self-contained exposition of what is known about Z_2-graded quantum stochastic calculus and to provide a framework for future research into this new and fertile area.
Fractional calculus in bioengineering, part 3.
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
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'.
Multivariate calculus and geometry
Dineen, Seán
2014-01-01
Multivariate calculus can be understood best by combining geometric insight, intuitive arguments, detailed explanations and mathematical reasoning. This textbook has successfully followed this programme. It additionally provides a solid description of the basic concepts, via familiar examples, which are then tested in technically demanding situations. In this new edition the introductory chapter and two of the chapters on the geometry of surfaces have been revised. Some exercises have been replaced and others provided with expanded solutions. Familiarity with partial derivatives and a course in linear algebra are essential prerequisites for readers of this book. Multivariate Calculus and Geometry is aimed primarily at higher level undergraduates in the mathematical sciences. The inclusion of many practical examples involving problems of several variables will appeal to mathematics, science and engineering students.
On paragrassmann differential calculus
International Nuclear Information System (INIS)
Filippov, A.T.; Isaev, A.P.; Kurdikov, A.B.
1992-01-01
The paper significantly extends and generalizes our previous paper. Here we discuss explicit general constructions for paragrassmann calculus with one and many variables. For one variable nondegenerate differentiation algebras are identified and shown to be equivalent to the algebra of (p+1)x(p+1) complex matrices. For many variables we give a general construction of the differentiation algebras. Some particular examples are related to the multiparametric quantum deformations of the harmonic oscillators. 18 refs
Woodward, Ernest
2012-01-01
REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Pre-Calculus reviews sets, numbers, operations and properties, coordinate geometry, fundamental algebraic topics, solving equations and inequalities, functions, trigonometry, exponents
Tall, David
1985-01-01
A number of significant changes have have occurred recently that give us a golden opportunity to review the teaching of calculus. The most obvious is the arrival of the microcomputer in the mathematics classroom, allowing graphic demonstrations and individual investigations into the mathematical ideas. But equally potent are new\\ud insights into mathematics and mathematics education that suggest new ways of approaching the subject.\\ud In this article I shall consider some of the difficulties ...
Roman, Steven
2005-01-01
Geared toward upper-level undergraduates and graduate students, this elementary introduction to classical umbral calculus requires only an acquaintance with the basic notions of algebra and a bit of applied mathematics (such as differential equations) to help put the theory in mathematical perspective. Subjects include Sheffer sequences and operators and their adjoints, with numerous examples of associated and other sequences. Related topics encompass the connection constants problem and duplication formulas, the Lagrange inversion formula, operational formulas, inverse relations, and binomial
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.)
Differential Calculus on Quantum Spheres
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.
Neutrix calculus and finite quantum field theory
International Nuclear Information System (INIS)
Ng, Y Jack; Dam, H van
2005-01-01
In general, quantum field theories (QFT) require regularizations and infinite renormalizations due to ultraviolet divergences in their loop calculations. Furthermore, perturbation series in theories like quantum electrodynamics are not convergent series, but are asymptotic series. We apply neutrix calculus, developed in connection with asymptotic series and divergent integrals, to QFT, obtaining finite renormalizations. While none of the physically measurable results in renormalizable QFT is changed, quantum gravity is rendered more manageable in the neutrix framework. (letter to the editor)
Introduction to the calculus of variations
Sagan, Hans
1992-01-01
Excellent text provides basis for thorough understanding of the problems, methods and techniques of the calculus of variations and prepares readers for the study of modern optimal control theory. Treatment limited to extensive coverage of single integral problems in one and more unknown functions. Carefully chosen variational problems and over 400 exercises. ""Should find wide acceptance as a text and reference.""-American Mathematical Monthly. 1969 edition. Bibliography.
Complex integration and Cauchy's theorem
Watson, GN
2012-01-01
This brief monograph by one of the great mathematicians of the early twentieth century offers a single-volume compilation of propositions employed in proofs of Cauchy's theorem. Developing an arithmetical basis that avoids geometrical intuitions, Watson also provides a brief account of the various applications of the theorem to the evaluation of definite integrals.Author G. N. Watson begins by reviewing various propositions of Poincaré's Analysis Situs, upon which proof of the theorem's most general form depends. Subsequent chapters examine the calculus of residues, calculus optimization, the
Fractional and multivariable calculus model building and optimization problems
Mathai, A M
2017-01-01
This textbook presents a rigorous approach to multivariable calculus in the context of model building and optimization problems. This comprehensive overview is based on lectures given at five SERC Schools from 2008 to 2012 and covers a broad range of topics that will enable readers to understand and create deterministic and nondeterministic models. Researchers, advanced undergraduate, and graduate students in mathematics, statistics, physics, engineering, and biological sciences will find this book to be a valuable resource for finding appropriate models to describe real-life situations. The first chapter begins with an introduction to fractional calculus moving on to discuss fractional integrals, fractional derivatives, fractional differential equations and their solutions. Multivariable calculus is covered in the second chapter and introduces the fundamentals of multivariable calculus (multivariable functions, limits and continuity, differentiability, directional derivatives and expansions of multivariable ...
International Nuclear Information System (INIS)
Takei, Norio; Ishikawa, Noriko; Ito, Fuyumi; Nishimura, Akihiko; Oka, Kiyoshi
2010-01-01
For low infestation treatment on pancreatolithiasis, we propose that laser peening phenomena by use of a composite-type optical fiberscope are useful to crush pancreatic a calculus into fragments, Nanosecond laser pulses go through the composite-type optical fiberscope and are focused on the surface of the pancreatic calculus. Laser processed fracture shapes on the calculus were observed and the pulse energy dependence were measured. The essential points for system integration were discussed. (author)
On certain fractional calculus operators involving generalized Mittag-Leffler function
Dinesh Kumar
2016-01-01
The object of this paper is to establish certain generalized fractional integration and differentiation involving generalized Mittag-Leffler function defined by Salim and Faraj [25]. The considered generalized fractional calculus operators contain the Appell's function $F_3$ [2, p.224] as kernel and are introduced by Saigo and Maeda [23]. The Marichev-Saigo-Maeda fractional calculus operators are the generalization of the Saigo fractional calculus operators. The established results provide ex...
Polynomial Calculus: Rethinking the Role of Calculus in High Schools
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…
Early Vector Calculus: A Path through Multivariable Calculus
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.)
A continuous time formulation of the Regge calculus
International Nuclear Information System (INIS)
Brewin, Leo
1988-01-01
A complete continuous time formulation of the Regge calculus is presented by developing the associated continuous time Regge action. It is shown that the time constraint is, by way of the Bianchi identities conserved by the evolution equations. This analysis leads to an explicit first integral for each of the evolution equations. The dynamical equations of the theory are therefore reduced to a set of first-order differential equations. In this formalism the time constraints reduce to a simple sum of the integration constants. This result is unique to the Regge calculus-there does not appear to be a complete set of first integrals available for the vacuum Einstein equations. (author)
Proof Nets for Lambek Calculus
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;
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
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.
DEFF Research Database (Denmark)
Larsen, Kim Guldstrand; Mardare, Radu Iulian; Xue, Bingtian
2016-01-01
We introduce a version of the probabilistic µ-calculus (PMC) built on top of a probabilistic modal logic that allows encoding n-ary inequational conditions on transition probabilities. PMC extends previously studied calculi and we prove that, despite its expressiveness, it enjoys a series of good...... metaproperties. Firstly, we prove the decidability of satisﬁability checking by establishing the small model property. An algorithm for deciding the satisﬁability problem is developed. As a second major result, we provide a complete axiomatization for the alternation-free fragment of PMC. The completeness proof...
Advanced calculus problem solver
REA, Editors of
2012-01-01
Each Problem Solver is an insightful and essential study and solution guide chock-full of clear, concise problem-solving gems. All your questions can be found in one convenient source from one of the most trusted names in reference solution guides. More useful, more practical, and more informative, these study aids are the best review books and textbook companions available. Nothing remotely as comprehensive or as helpful exists in their subject anywhere. Perfect for undergraduate and graduate studies.Here in this highly useful reference is the finest overview of advanced calculus currently av
DEFF Research Database (Denmark)
Ernst, Erik; Ostermann, Klaus; Cook, William Randall
2006-01-01
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They resemble inner classes, which are also defined within a class, but virtual classes are accessed through object instances...... model for virtual classes has been a long-standing open question. This paper presents a virtual class calculus, vc, that captures the essence of virtual classes in these full-fledged programming languages. The key contributions of the paper are a formalization of the dynamic and static semantics of vc...
Calculus problems and solutions
Ginzburg, Abraham
2011-01-01
Ideal for self-instruction as well as for classroom use, this text helps students improve their understanding and problem-solving skills in analysis, analytic geometry, and higher algebra. More than 1,200 problems appear in the text, with concise explanations of the basic notions and theorems to be used in their solution. Many are followed by complete answers; solutions for the others appear at the end of the book. Topics include sequences, functions of a single variable, limit of a function, differential calculus for functions of a single variable, fundamental theorems and applications of dif
Elsgolc, Lev D
2007-01-01
This concise text offers both professionals and students an introduction to the fundamentals and standard methods of the calculus of variations. In addition to surveys of problems with fixed and movable boundaries, it explores highly practical direct methods for the solution of variational problems.Topics include the method of variation in problems with fixed boundaries; variational problems with movable boundaries and other problems; sufficiency conditions for an extremum; variational problems of constrained extrema; and direct methods of solving variational problems. Each chapter features nu
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)
Calculus of Elementary Functions, Part IV. Teacher's Commentary. Preliminary Edition.
Herriot, Sarah T.; And Others
This teacher's guide is designed for use with the SMSG textbook "Calculus of Elementary Functions." It contains solutions to exercises found in Chapter 9, Integration Theory and Technique; Chapter 10, Simple Differential Equations; Appendix 5, Area and Integral; Appendix 6; Appendix 7, Continuity Theory; and Appendix 8, More About…
Leveraging Prior Calculus Study with Embedded Review
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…
Factors Associated with Success in a Calculus Course: An Examination of Personal Variables
Ubuz, Behiye
2011-01-01
This study examined relationships between students' personal variables (gender, prior achievements, age and academic major) and their success in the first year undergraduate calculus course. The study sample consisted of 59 first year undergraduate students taking Math 154 Calculus II course. A written test about integral, sequence and series…
6th Conference on Non-integer Order Calculus and Its Applications
Łukaniszyn, Marian; Stanisławski, Rafał
2015-01-01
This volume presents selected aspects of non-integer, or fractional order systems, whose analysis, synthesis and applications have increasingly become a real challenge for various research communities, ranging from science to engineering. The spectrum of applications of the fractional order calculus has incredibly expanded, in fact it would be hard to find a science/engineering-related subject area where the fractional calculus had not been incorporated. The content of the fractional calculus is ranged from pure mathematics to engineering implementations and so is the content of this volume. The volume is subdivided into six parts, reflecting particular aspects of the fractional order calculus. The first part contains a single invited paper on a new formulation of fractional-order descriptor observers for fractional-order descriptor continous LTI systems. The second part provides new elements to the mathematical theory of fractional-order systems. In the third part of this volume, a bunch of new results in ap...
Using Origami Boxes to Explore Concepts of Geometry and Calculus
Wares, Arsalan
2011-01-01
The purpose of this classroom note is to provide an example of how a simple origami box can be used to explore important concepts of geometry and calculus. This article describes how an origami box can be folded, then it goes on to describe how its volume and surface area can be calculated. Finally, it describes how the box could be folded to…
[Percentage of uric acid calculus and its metabolic character in Dongjiang River valley].
Chong, Hong-Heng; An, Geng
2009-02-15
To study the percentage of uric acid calculus in uroliths and its metabolic character in Dongjiang River valley. To analyze the chemical composition of 290 urinary stones by infrared (IR) spectroscopy and study the ratio changes of uric acid calculus. Uric acid calculus patients and healthy people were studied. Personal characteristics, dietary habits were collected. Conditional logistic regression was used for data analysis and studied the dietary risk factors of uric acid calculus. Patients with uric acid calculus, calcium oxalate and those without urinary calculus were undergone metabolic evaluation analysis. The results of uric acid calculus patients compared to another two groups to analysis the relations between the formation of uric acid calculus and metabolism factors. Uric acid calculi were found in 53 cases (18.3%). The multiple logistic regression analysis suggested that low daily water intake, eating more salted and animal food, less vegetable were very closely associated with uric acid calculus. Comparing to calcium oxalate patients, the urine volume, the value of pH, urine calcium, urine oxalic acid were lower, but uric acid was higher than it. The value of pH, urine oxalic acid and citric acid were lower than them, but uric acid and urine calcium were higher than none urinary calculus peoples. Blood potassium and magnesium were lower than them. The percentage of uric acid stones had obvious advanced. Less daily water intake, eating salted food, eating more animal food, less vegetables and daily orange juice intake, eating sea food are the mainly dietary risk factors to the formation of uric acid calculus. Urine volume, the value of pH, citric acid, urine calcium, urine uric acid and the blood natrium, potassium, magnesium, calcium, uric acid have significant influence to the information of uric acid stones.
The calculus a genetic approach
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
Fluorescence detection of dental calculus
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.
The Vectorial $\\lambda$-Calculus
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...
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
Mathematics for physics with calculus
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.
Advanced calculus a transition to analysis
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
Waste pipe calculus extensions
International Nuclear Information System (INIS)
O'Connell, W.J.
1979-01-01
The waste pipe calculus provides a rapid method, using Laplace transforms, to calculate the transport of a pollutant such as nuclear waste, by a network of one-dimensional flow paths. The present note extends previous work as follows: (1) It provides an alternate approximation to the time-domain function (inverse Laplace transform) for the resulting transport. This algebraic approximation may be viewed as a simpler and more approximate model of the transport process. (2) It identifies two scalar quantities which may be used as summary consequence measures of the waste transport (or inversely, waste retention) system, and provides algebraic expressions for them. (3) It includes the effects of radioactive decay on the scalar quantity results, and further provides simplifying approximations for the cases of medium and long half-lives. This algebraic method can be used for quick approximate analyses of expected results, uncertainty and sensitivity, in evaluating selection and design choices for nuclear waste disposal systems
Multivariable calculus with Matlab with applications to geometry and physics
Lipsman, Ronald L
2017-01-01
This comprehensive treatment of multivariable calculus focuses on the numerous tools that MATLAB® brings to the subject, as it presents introductions to geometry, mathematical physics, and kinematics. Covering simple calculations with MATLAB®, relevant plots, integration, and optimization, the numerous problem sets encourage practice with newly learned skills that cultivate the reader’s understanding of the material. Significant examples illustrate each topic, and fundamental physical applications such as Kepler’s Law, electromagnetism, fluid flow, and energy estimation are brought to prominent position. Perfect for use as a supplement to any standard multivariable calculus text, a “mathematical methods in physics or engineering” class, for independent study, or even as the class text in an “honors” multivariable calculus course, this textbook will appeal to mathematics, engineering, and physical science students. MATLAB® is tightly integrated into every portion of this book, and its graphical ...
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....
Cartooning in Algebra and Calculus
Moseley, L. Jeneva
2014-01-01
This article discusses how teachers can create cartoons for undergraduate math classes, such as college algebra and basic calculus. The practice of cartooning for teaching can be helpful for communication with students and for students' conceptual understanding.
Testicular calculus: A rare case.
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.
Differential calculus and its applications
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.
Catwalk: First-Semester Calculus.
Speiser, Bob; Walter, Chuck
1994-01-01
Describes the use of time-lapse photographs of a running cat as a model to investigate the concepts of function and derivative in a college calculus course. Discusses student difficulties and implications for teachers. (MKR)
Making an Interactive Calculus Textbook.
Larson, Timothy R.
1995-01-01
Presents a case study of the design and production of "Interactive Calculus," an interactive multimedia textbook. Discusses reasons for using multimedia textbooks; what an interactive textbook is; content, organization, graphic design, authoring and composition; and work flow. (AEF)
Means and Variances without Calculus
Kinney, John J.
2005-01-01
This article gives a method of finding discrete approximations to continuous probability density functions and shows examples of its use, allowing students without calculus access to the calculation of means and variances.
Neutrosophic Precalculus and Neutrosophic Calculus
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...
Indian Academy of Sciences (India)
IAS Admin
time when Archimedes (287 BC{212 BC) was computing volumes and .... will look like a right circular cylinder. We know how ... approximations have been made that may lead to wrong ... compute volume and surface area, we use these tech-.
The Initial Conditions of Fractional Calculus
International Nuclear Information System (INIS)
Trigeassou, J. C.; Maamri, N.
2011-01-01
During the past fifty years , Fractional Calculus has become an original and renowned mathematical tool for the modelling of diffusion Partial Differential Equations and the design of robust control algorithms. However, in spite of these celebrated results, some theoretical problems have not yet received a satisfying solution. The mastery of initial conditions, either for Fractional Differential Equations (FDEs) or for the Caputo and Riemann-Liouville fractional derivatives, remains an open research domain. The solution of this fundamental problem, also related to the long range memory property, is certainly the necessary prerequisite for a satisfying approach to modelling and control applications. The fractional integrator and its continuously frequency distributed differential model is a valuable tool for the simulation of fractional systems and the solution of initial condition problems. Indeed, the infinite dimensional state vector of fractional integrators allows the direct generalization to fractional calculus of the theoretical results of integer order systems. After a reminder of definitions and properties related to fractional derivatives and systems, this presentation is intended to show, based on the results of two recent publications [1,2], how the fractional integrator provides the solution of the initial condition problem of FDEs and of Caputo and Riemann-Liouville fractional derivatives. Numerical simulation examples illustrate and validate these new theoretical concepts.
Making Implicit Multivariable Calculus Representations Explicit: A Clinical Study
McGee, Daniel; Moore-Russo, Deborah; Martinez-Planell, Rafael
2015-01-01
Reviewing numerous textbooks, we found that in both differential and integral calculus textbooks the authors commonly assume that: (i) students can generalize associations between representations in two dimensions to associations between representations of the same mathematical concept in three dimensions on their own; and (ii) explicit…
Calculus of One and More Variables with Maple
Samkova, Libuse
2012-01-01
This is a guide to using Maple in teaching fundamental calculus of one, two and three variables (limits, derivatives, integrals, etc.), also suitable for Maple beginners. It outlines one of the ways to effective use of computers in the teaching process. It scans advantages and disadvantages of using Maple in relation to students and teacher. The…
The history of the calculus and its conceptual development
Boyer, Carl B
1959-01-01
Fluent description of the development of both the integral and differential calculus. Early beginnings in antiquity, medieval contributions, and a century of anticipation lead up to a consideration of Newton and Leibniz, the period of indecison that followed them, and the final rigorous formulation that we know today.
A Team Taught Interdisciplinary Approach To Physics and Calculus Education.
Johnson, David B.
The Special Intensive Program for Scientists and Engineers (SIPSE) at Diablo Valley College in California replaces the traditional engineering calculus and physics sequences with a single sequence that combines the two subjects into an integrated whole. The project report provides an overview of SIPSE, a section that traces the project from…
Life sciences payload definition and integration study. Volume 3: Appendices
1972-01-01
Detail design information concerning payloads for biomedical research projects conducted during space missions is presented. Subjects discussed are: (1) equipment modules and equipment item lists, (2) weight and volume breakdown by payload and equipment units, (3) longitudinal floor arrangement configuration, and (4) nonbaseline second generation layouts.
Fractional dynamic calculus and fractional dynamic equations on time scales
Georgiev, Svetlin G
2018-01-01
Pedagogically organized, this monograph introduces fractional calculus and fractional dynamic equations on time scales in relation to mathematical physics applications and problems. Beginning with the definitions of forward and backward jump operators, the book builds from Stefan Hilger’s basic theories on time scales and examines recent developments within the field of fractional calculus and fractional equations. Useful tools are provided for solving differential and integral equations as well as various problems involving special functions of mathematical physics and their extensions and generalizations in one and more variables. Much discussion is devoted to Riemann-Liouville fractional dynamic equations and Caputo fractional dynamic equations. Intended for use in the field and designed for students without an extensive mathematical background, this book is suitable for graduate courses and researchers looking for an introduction to fractional dynamic calculus and equations on time scales. .
Equations involving Malliavin calculus operators applications and numerical approximation
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...
AC/ARNG Integrated Division Concept Study, Appendices, Volume 3
National Research Council Canada - National Science Library
Twohig, John
1997-01-01
...) division headquarters. The US Army Training and Doctrine Command (TRADOC) was tasked to conduct a viability assessment of the AC/ARNG Integrated Division concept and focus on merits and implementation issues...
Economic development through biomass system integration: Volume 1
Energy Technology Data Exchange (ETDEWEB)
DeLong, M.M. [Northern States Power Co., Minneapolis, MN (United States)
1995-10-01
This report documents a feasibility study for an integrated biomass power system, where an energy crop (alfalfa) is the feedstock for a processing plant and a power plant (integrated gasification combined cycle) in a way that benefits the facility owners. Chapters describe alfalfa basics, production risks, production economics, transportation and storage, processing, products, market analysis, business analysis, environmental impact, and policy issues. 69 figs., 63 tabs.
Indian Academy of Sciences (India)
Sphere–Cylinder Theorem; volume and surface area of the torus; volume and surface area of a slice of a solid sphere. Author Affiliations. Keeri Vardhan Madahar1. Assistant Professor in Mathematics (DES) Panjab University Chandigarh, India. Resonance – Journal of Science Education. Current Issue : Vol. 23, Issue 4.
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)
Quantum calculus new concepts, impulsive IVPs and BVPs, inequalities
Ahmad, Bashir; Tariboon, Jessada
2016-01-01
The main objective of this book is to extend the scope of the q-calculus based on the definition of q-derivative [Jackson (1910)] to make it applicable to dense domains. As a matter of fact, Jackson's definition of q-derivative fails to work for impulse points while this situation does not arise for impulsive equations on q-time scales as the domains consist of isolated points covering the case of consecutive points. In precise terms, we study quantum calculus on finite intervals.In the first part, we discuss the concepts of qk-derivative and qk-integral, and establish their basic properties. As applications, we study initial and boundary value problems of impulsive qk-difference equations and inclusions equipped with different kinds of boundary conditions. We also transform some classical integral inequalities and develop some new integral inequalities for convex functions in the context of qk-calculus. In the second part, we develop fractional quantum calculus in relation to a new qk-shifting operator and e...
Calculus in physics classes at UFRGS: an exploratory study
Directory of Open Access Journals (Sweden)
Maria Cecilia Pereira Santarosa
2011-11-01
Full Text Available This study is part f a larger one whose general objective is to investigate and to develop a new strategy for teaching Differential and Integral Calculus I, specifically for physics majors, through a possible integration with the teaching of General and Experimental Physics I. With the specific objective of identifying physics problem-situations that may help in making sense of the mathematical concepts used in Calculus I, and languages and notations that might be used in the teaching of Calculus to favor physics learning, it was investigates, through an ethnographic study, the may mathematics is transposed to classes of General and Experimental Physics I, in classes of physics courses at the Federal University of Rio Grande do Sul (UFRGS. Some findings of this study confirmed those reported in the literature regarding the teaching and learning process in introductory college physics courses. These findings will subsidize the preparation of potentially meaningful instructional materials that will be used in a second stage of the research designed to investigate the learning of declarative and procedural knowledge in basic college physics under an approach that integrates problem-situation in physics and calculus mathematical concepts.
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.
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
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....
Introduction to stochastic analysis and Malliavin calculus
Prato, Giuseppe
2014-01-01
This volume presents an introductory course on differential stochastic equations and Malliavin calculus. The material of the book has grown out of a series of courses delivered at the Scuola Normale Superiore di Pisa (and also at the Trento and Funchal Universities) and has been refined over several years of teaching experience in the subject. The lectures are addressed to a reader who is familiar with basic notions of measure theory and functional analysis. The first part is devoted to the Gaussian measure in a separable Hilbert space, the Malliavin derivative, the construction of the Brownian motion and Itô's formula. The second part deals with differential stochastic equations and their connection with parabolic problems. The third part provides an introduction to the Malliavin calculus. Several applications are given, notably the Feynman-Kac, Girsanov and Clark-Ocone formulae, the Krylov-Bogoliubov and Von Neumann theorems. In this third edition several small improvements are added and a new section devo...
DNFSB Recommendation 94-1 Hanford Site Integrated Stabilization Management Plan. Volume 2
International Nuclear Information System (INIS)
Gerber, E.W.
1995-10-01
The Hanford Site Integrated Stabilization Management Plan (SISMP) was developed in support of the US Department of Energy's (DOE) Defense Nuclear Facilities Safety Board (DNFSB) Recommendation 94-1 Integrated Program Plan (IPP). Volume 1 of the SISMP identifies the technical scope and costs associated with Hanford Site plans to resolve concerns identified in DNFSB Recommendation 94-1. Volume 2 of the SISMP provides the Resource Loaded Integrated Schedules for Spent Nuclear Fuel Project and Plutonium Finishing Plant activities identified in Volume 1 of the SISMP. Appendix A provides the schedules and progress curves related to spent nuclear fuel management. Appendix B provides the schedules and progress curves related to plutonium-bearing material management. Appendix C provides programmatic logic diagrams that were referenced in Volume 1 of the SISMP
An efficient explicit marching on in time solver for magnetic field volume integral equation
Sayed, Sadeed Bin; Ulku, H. Arda; Bagci, Hakan
2015-01-01
An efficient explicit marching on in time (MOT) scheme for solving the magnetic field volume integral equation is proposed. The MOT system is cast in the form of an ordinary differential equation and is integrated in time using a PE(CE)m multistep
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.
An AP Calculus Classroom Amusement Park
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.…
Sequent Calculus and Equational Programming
Directory of Open Access Journals (Sweden)
Nicolas Guenot
2015-07-01
Full Text Available Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We show here that the equational approach corresponds to the use of a focused presentation of a type theory expressed as a sequent calculus. A typed functional language is presented, based on a sequent calculus, that we relate to the syntax and internal language of Agda. In particular, we discuss the use of patterns and case splittings, as well as rules implementing inductive reasoning and dependent products and sums.
Hybrid Finite Element and Volume Integral Methods for Scattering Using Parametric Geometry
DEFF Research Database (Denmark)
Volakis, John L.; Sertel, Kubilay; Jørgensen, Erik
2004-01-01
n this paper we address several topics relating to the development and implementation of volume integral and hybrid finite element methods for electromagnetic modeling. Comparisons of volume integral equation formulations with the finite element-boundary integral method are given in terms of accu...... of vanishing divergence within the element but non-zero curl. In addition, a new domain decomposition is introduced for solving array problems involving several million degrees of freedom. Three orders of magnitude CPU reduction is demonstrated for such applications....
Fort Stewart integrated resource assessment. Volume 3: Resource assessment
Energy Technology Data Exchange (ETDEWEB)
Sullivan, G.P.; Keller, J.M.; Stucky, D.J.; Wahlstrom, R.R.; Larson, L.L.
1993-10-01
The US Army Forces Command (FORSCOM) has tasked the US Department of Energy (DOE) Federal Energy Management Program (FEMP), supported by the Pacific Northwest Laboratory, to identify, evaluate, and assist in acquiring all cost-effective energy projects at Fort Stewart. This is part of a model program that PNL is designing to support energy-use decisions in the federal sector. This report provides the results of the fossil fuel and electric energy resource opportunity (ERO) assessments performed by PNL at the FORSCOM Fort Stewart facility located approximately 25 miles southwest of Savannah, Georgia. It is a companion report to Volume 1, Executive Summary, and Volume 2, Baseline Detail. The results of the analyses of EROs are presented in 11 common energy end-use categories (e.g., boilers and furnaces, service hot water, and building lighting). A narrative description of each ERO is provided, along with a table detailing information on the installed cost, energy and dollar savings; impacts on operations and maintenance (O&M); and, when applicable, a discussion of energy supply and demand, energy security, and environmental issues. A description of the evaluation methodologies and technical and cost assumptions is also provided for each ERO. Summary tables present the cost-effectiveness of energy end-use equipment before and after the implementation of each ERO. The tables also present the results of the life-cycle cost (LCC) analysis indicating the net present value (NPV) and savings to investment ratio (SIR) of each ERO.
Integral Engine Inlet Particle Separator. Volume 2. Design Guide
1975-08-01
herein will be used in the design of integral inlet particle separators for future Army aircraft gas turbine engines. Apprupriate technical personnel...into the comprensor at some future date. 5. A typical scavenge vane design Js; shown in Figures 85 and 86. The important features of the scavenge...service passageweys, for cooling of oil, and for directing sand and air into the scroll. Orientetion of the vanes is set by collection efficiency
Lindstrom, Peter A.; And Others
This document consists of four units. The first of these views calculus applications to work, area, and distance problems. It is designed to help students gain experience in: 1) computing limits of Riemann sums; 2) computing definite integrals; and 3) solving elementary area, distance, and work problems by integration. The second module views…
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...
Integrated Unmanned Air-Ground Robotics System, Volume 4
2001-08-20
3) IPT Integrated Product Team IRP Intermediate Power Rating JAUGS TBD JCDL TBD Joint Vision 2020 TBD Km Kilometer lbs. pounds MAE Mechanical and...compatible with emerging JCDL and/or JAUGS . 2.3.2.2. Payload must be “plug and play.” 2.3.3. Communications 2.3.3.1. System communications shall be robust...Power JCDL JAUGS Joint Architecture for Unmanned Ground Systems JP-8 Jet Propulsion Fuel 8 km Kilometer lbs. Pounds LOS Line Of Sight MAE Mechanical
A Calculus for Trust Management
DEFF Research Database (Denmark)
Carbone, Marco; Nielsen, Mogens; Sassone, Vladimiro
2004-01-01
principals to policies. We elect to formalise policies using a Datalog-like logic, and to express protocols in the process algebra style. This yields an expressive calculus very suitable for the global computing scenarios, and provides a formalisation of notions such as trust evolution. For ctm we define...
Advanced calculus of several variables
Edwards, C H
1995-01-01
Modern conceptual treatment of multivariable calculus, emphasizing the interplay of geometry and analysis via linear algebra and the approximation of nonlinear mappings by linear ones. At the same time, ample attention is paid to the classical applications and computational methods. Hundreds of examples, problems and figures. 1973 edition.
POGIL in the Calculus Classroom
Bénéteau, Catherine; Guadarrama, Zdenka; Guerra, Jill E.; Lenz, Laurie; Lewis, Jennifer E.; Straumanis, Andrei
2017-01-01
In this paper, we will describe the experience of the authors in using process-oriented guided inquiry learning (POGIL) in calculus at four institutions across the USA. We will briefly examine how POGIL compares to and fits in with other kinds of inquiry-based learning approaches. In particular, we will first discuss the unique structure of a…
Portfolio Analysis for Vector Calculus
Kaplan, Samuel R.
2015-01-01
Classic stock portfolio analysis provides an applied context for Lagrange multipliers that undergraduate students appreciate. Although modern methods of portfolio analysis are beyond the scope of vector calculus, classic methods reinforce the utility of this material. This paper discusses how to introduce classic stock portfolio analysis in a…
Reading the World with Calculus
Verzosa, Debbie
2015-01-01
It is now increasingly recognized that mathematics is not a neutral value-free subject. Rather, mathematics can challenge students' taken-for-granted realities and promote action. This article describes two issues, namely deforestation and income inequality. These were specifically chosen because they can be related to a range of calculus concepts…
Constructivized Calculus in College Mathematics
Lawrence, Barbara Ann
2012-01-01
The purpose of this study is to present some of the classical concepts, definitions, and theorems of calculus from the constructivists' point of view in the spirit of the philosophies of L.E.J. Brouwer and Errett Bishop. This presentation will compare the classical statements to the constructivized statements. The method focuses on giving…
Stochastic Pi-calculus Revisited
DEFF Research Database (Denmark)
Cardelli, Luca; Mardare, Radu Iulian
2013-01-01
We develop a version of stochastic Pi-calculus with a semantics based on measure theory. We dene the behaviour of a process in a rate environment using measures over the measurable space of processes induced by structural congruence. We extend the stochastic bisimulation to include the concept of...
A "Model" Multivariable Calculus Course.
Beckmann, Charlene E.; Schlicker, Steven J.
1999-01-01
Describes a rich, investigative approach to multivariable calculus. Introduces a project in which students construct physical models of surfaces that represent real-life applications of their choice. The models, along with student-selected datasets, serve as vehicles to study most of the concepts of the course from both continuous and discrete…
Calculus Student Descending a Staircase.
Mueller, William
1999-01-01
Common student attitudes toward reform methods are conveyed through the thoughts of a student leaving a multivariable calculus exam and musings range over textbooks, homework, workload, group work, writing, noncomputational problems, instructional problems, instructional styles, and classroom activities. (Author/ASK)
The Pendulum and the Calculus.
Sworder, Steven C.
A pair of experiments, appropriate for the lower division fourth semester calculus or differential equations course, are presented. The second order differential equation representing the equation of motion of a simple pendulum is derived. The period of oscillation for a particular pendulum can be predicted from the solution to this equation. As a…
Multivariable calculus and differential geometry
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.
Integrated thermal treatment system study: Phase 1 results. Volume 1
International Nuclear Information System (INIS)
Feizollahi, F.; Quapp, W.J.; Hempill, H.G.; Groffie, F.J.
1994-07-01
An integrated systems engineering approach is used for uniform comparison of widely varying thermal treatment technologies proposed for management of contact-handled mixed low-level waste (MLLW) currently stored in the US Department of Energy complex. Ten different systems encompassing several incineration design options are studied. All subsystems, including facilities, equipment, and methods needed for integration of each of the ten systems are identified. Typical subsystems needed for complete treatment of MLLW are incoming waste receiving and preparation (characterization, sorting, sizing, and separation), thermal treatment, air pollution control, primary and secondary stabilization, metal decontamination, metal melting, mercury recovery, lead recovery, and special waste and aqueous waste treatment. The evaluation is performed by developing a preconceptual design package and planning life-cycle cost (PLCC) estimates for each system. As part of the preconceptual design process, functional and operational requirements, flow sheets and mass balances, and conceptual equipment layouts are developed for each system. The PLCC components estimated are technology development, production facility construction, pre-operation, operation and maintenance, and decontamination and decommissioning. Preconceptual design data and other technology information gathered during the study are examined and areas requiring further development, testing, and evaluation are identified and recommended. Using a qualitative method, each of the ten systems are ranked
Srivastava, H. M.; Saxena, R. K.; Parmar, R. K.
2018-01-01
Our present investigation is inspired by the recent interesting extensions (by Srivastava et al. [35]) of a pair of the Mellin-Barnes type contour integral representations of their incomplete generalized hypergeometric functions p γ q and p Γ q by means of the incomplete gamma functions γ( s, x) and Γ( s, x). Here, in this sequel, we introduce a family of the relatively more general incomplete H-functions γ p,q m,n ( z) and Γ p,q m,n ( z) as well as their such special cases as the incomplete Fox-Wright generalized hypergeometric functions p Ψ q (γ) [ z] and p Ψ q (Γ) [ z]. The main object of this paper is to study and investigate several interesting properties of these incomplete H-functions, including (for example) decomposition and reduction formulas, derivative formulas, various integral transforms, computational representations, and so on. We apply some substantially general Riemann-Liouville and Weyl type fractional integral operators to each of these incomplete H-functions. We indicate the easilyderivable extensions of the results presented here that hold for the corresponding incomplete \\overline H -functions as well. Potential applications of many of these incomplete special functions involving (for example) probability theory are also indicated.
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...
The impact of taking a college pre-calculus course on students' college calculus performance
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.
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.
Gemignani, Michael C
2006-01-01
Topics include applications of the derivative, sequences and series, the integral and continuous variates, discrete distributions, hypothesis testing, functions of several variables, and regression and correlation. 1970 edition. Includes 201 figures and 36 tables.
A primer on the calculus of variations and optimal control theory
Mesterton-Gibbons, Mike
2009-01-01
The calculus of variations is used to find functions that optimize quantities expressed in terms of integrals. Optimal control theory seeks to find functions that minimize cost integrals for systems described by differential equations. This book is an introduction to both the classical theory of the calculus of variations and the more modern developments of optimal control theory from the perspective of an applied mathematician. It focuses on understanding concepts and how to apply them. The range of potential applications is broad: the calculus of variations and optimal control theory have been widely used in numerous ways in biology, criminology, economics, engineering, finance, management science, and physics. Applications described in this book include cancer chemotherapy, navigational control, and renewable resource harvesting. The prerequisites for the book are modest: the standard calculus sequence, a first course on ordinary differential equations, and some facility with the use of mathematical softwa...
Fast Near-Field Calculation for Volume Integral Equations for Layered Media
DEFF Research Database (Denmark)
Kim, Oleksiy S.; Meincke, Peter; Breinbjerg, Olav
2005-01-01
. Afterwards, the scattered electric field can be easily computed at a regular rectangular grid on any horizontal plane us-ing a 2-dimensional FFT. This approach provides significant speedup in the near-field calculation in comparison to a straightforward numerical evaluation of the ra-diation integral since......An efficient technique based on the Fast Fourier Transform (FFT) for calculating near-field scattering by dielectric objects in layered media is presented. A higher or-der method of moments technique is employed to solve the volume integral equation for the unknown induced volume current density...
Energy Technology Data Exchange (ETDEWEB)
Sabzikar, Farzad, E-mail: sabzika2@stt.msu.edu [Department of Statistics and Probability, Michigan State University, East Lansing, MI 48823 (United States); Meerschaert, Mark M., E-mail: mcubed@stt.msu.edu [Department of Statistics and Probability, Michigan State University, East Lansing, MI 48823 (United States); Chen, Jinghua, E-mail: cjhdzdz@163.com [School of Sciences, Jimei University, Xiamen, Fujian, 361021 (China)
2015-07-15
Fractional derivatives and integrals are convolutions with a power law. Multiplying by an exponential factor leads to tempered fractional derivatives and integrals. Tempered fractional diffusion equations, where the usual second derivative in space is replaced by a tempered fractional derivative, govern the limits of random walk models with an exponentially tempered power law jump distribution. The limiting tempered stable probability densities exhibit semi-heavy tails, which are commonly observed in finance. Tempered power law waiting times lead to tempered fractional time derivatives, which have proven useful in geophysics. The tempered fractional derivative or integral of a Brownian motion, called a tempered fractional Brownian motion, can exhibit semi-long range dependence. The increments of this process, called tempered fractional Gaussian noise, provide a useful new stochastic model for wind speed data. A tempered fractional difference forms the basis for numerical methods to solve tempered fractional diffusion equations, and it also provides a useful new correlation model in time series.
Sabzikar, Farzad; Meerschaert, Mark M.; Chen, Jinghua
2015-07-01
Fractional derivatives and integrals are convolutions with a power law. Multiplying by an exponential factor leads to tempered fractional derivatives and integrals. Tempered fractional diffusion equations, where the usual second derivative in space is replaced by a tempered fractional derivative, govern the limits of random walk models with an exponentially tempered power law jump distribution. The limiting tempered stable probability densities exhibit semi-heavy tails, which are commonly observed in finance. Tempered power law waiting times lead to tempered fractional time derivatives, which have proven useful in geophysics. The tempered fractional derivative or integral of a Brownian motion, called a tempered fractional Brownian motion, can exhibit semi-long range dependence. The increments of this process, called tempered fractional Gaussian noise, provide a useful new stochastic model for wind speed data. A tempered fractional difference forms the basis for numerical methods to solve tempered fractional diffusion equations, and it also provides a useful new correlation model in time series.
International Nuclear Information System (INIS)
Sabzikar, Farzad; Meerschaert, Mark M.; Chen, Jinghua
2015-01-01
Fractional derivatives and integrals are convolutions with a power law. Multiplying by an exponential factor leads to tempered fractional derivatives and integrals. Tempered fractional diffusion equations, where the usual second derivative in space is replaced by a tempered fractional derivative, govern the limits of random walk models with an exponentially tempered power law jump distribution. The limiting tempered stable probability densities exhibit semi-heavy tails, which are commonly observed in finance. Tempered power law waiting times lead to tempered fractional time derivatives, which have proven useful in geophysics. The tempered fractional derivative or integral of a Brownian motion, called a tempered fractional Brownian motion, can exhibit semi-long range dependence. The increments of this process, called tempered fractional Gaussian noise, provide a useful new stochastic model for wind speed data. A tempered fractional difference forms the basis for numerical methods to solve tempered fractional diffusion equations, and it also provides a useful new correlation model in time series
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.)
The perturbative Regge-calculus regime of loop quantum gravity
International Nuclear Information System (INIS)
Bianchi, Eugenio; Modesto, Leonardo
2008-01-01
The relation between loop quantum gravity and Regge calculus has been pointed out many times in the literature. In particular the large spin asymptotics of the Barrett-Crane vertex amplitude is known to be related to the Regge action. In this paper we study a semiclassical regime of loop quantum gravity and show that it admits an effective description in terms of perturbative area-Regge-calculus. The regime of interest is identified by a class of states given by superpositions of four-valent spin networks, peaked on large spins. As a probe of the dynamics in this regime, we compute explicitly two- and three-area correlation functions at the vertex amplitude level. We find that they match with the ones computed perturbatively in area-Regge-calculus with a single 4-simplex, once a specific perturbative action and measure have been chosen in the Regge-calculus path integral. Correlations of other geometric operators and the existence of this regime for other models for the dynamics are briefly discussed
Factors Associated with Success in College Calculus II
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…
Calculus & ordinary differential equations
Pearson, David
1995-01-01
Professor Pearson's book starts with an introduction to the area and an explanation of the most commonly used functions. It then moves on through differentiation, special functions, derivatives, integrals and onto full differential equations. As with other books in the series the emphasis is on using worked examples and tutorial-based problem solving to gain the confidence of students.
Elements of stochastic calculus and analysis
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.
Reggeon calculus at collider energies
International Nuclear Information System (INIS)
Pajares, C.; Varias, A.; Yepes, P.
1983-01-01
The phenomenology of the perturbative reggeon calculus at collider energies is studied. It is found that the graphs which were neglected at ISR energies are still negligeable at √s=540 GeV. The perturbative series for the total cross section still converges reasonably fast. The values of the different parameters which describe rightly the data up to ISR energies give rise to a total cross section of around 60 mb at √s=540 GeV. For these values, the corresponding low mass and high mass eikonal series converges much more slowly. The non perturbative reggeon calculus gives rise to a total cross section less than 60 mb. (orig.)
Toward lattice fractional vector calculus
Tarasov, Vasily E.
2014-09-01
An analog of fractional vector calculus for physical lattice models is suggested. We use an approach based on the models of three-dimensional lattices with long-range inter-particle interactions. The lattice analogs of fractional partial derivatives are represented by kernels of lattice long-range interactions, where the Fourier series transformations of these kernels have a power-law form with respect to wave vector components. In the continuum limit, these lattice partial derivatives give derivatives of non-integer order with respect to coordinates. In the three-dimensional description of the non-local continuum, the fractional differential operators have the form of fractional partial derivatives of the Riesz type. As examples of the applications of the suggested lattice fractional vector calculus, we give lattice models with long-range interactions for the fractional Maxwell equations of non-local continuous media and for the fractional generalization of the Mindlin and Aifantis continuum models of gradient elasticity.
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
Discrete calculus methods for counting
Mariconda, Carlo
2016-01-01
This book provides an introduction to combinatorics, finite calculus, formal series, recurrences, and approximations of sums. Readers will find not only coverage of the basic elements of the subjects but also deep insights into a range of less common topics rarely considered within a single book, such as counting with occupancy constraints, a clear distinction between algebraic and analytical properties of formal power series, an introduction to discrete dynamical systems with a thorough description of Sarkovskii’s theorem, symbolic calculus, and a complete description of the Euler-Maclaurin formulas and their applications. Although several books touch on one or more of these aspects, precious few cover all of them. The authors, both pure mathematicians, have attempted to develop methods that will allow the student to formulate a given problem in a precise mathematical framework. The aim is to equip readers with a sound strategy for classifying and solving problems by pursuing a mathematically rigorous yet ...
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
Bagci, Hakan; Andriulli, Francesco P.; Cools, Kristof; Olyslager, Femke; Michielssen, Eric
2010-01-01
A well-conditioned coupled set of surface (S) and volume (V) electric field integral equations (S-EFIE and V-EFIE) for analyzing wave interactions with densely discretized composite structures is presented. Whereas the V-EFIE operator is well
Analysis of Buried Dielectric Objects Using Higher-Order MoM for Volume Integral Equations
DEFF Research Database (Denmark)
Kim, Oleksiy S.; Meincke, Peter; Breinbjerg, Olav
2004-01-01
A higher-order method of moments (MoM) is applied to solve a volume integral equation for dielectric objects in layered media. In comparison to low-order methods, the higher-order MoM, which is based on higher-order hierarchical Legendre vector basis functions and curvilinear hexahedral elements,...
[Fluorescence control of dental calculus removal].
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).
The malliavin calculus and related topics
Nualart, David
1995-01-01
The Malliavin calculus (or stochastic calculus of variations) is an infinite-dimensional differential calculus on the Wiener space Originally, it was developed to prove a probabilistic proof to Hörmander's "sum of squares" theorem, but more recently it has found application in a variety of stochastic differential equation problems This monograph presents the main features of the Malliavin calculus and discusses in detail its connection with the anticipating stochastic calculus The author begins by developing analysis on the Wiener space, and then uses this to analyze the regularity of probability laws and to prove Hörmander's theorem Subsequent chapters apply the Malliavin calculus to anticipating stochastic differential equations and to studying the Markov property of solutions to stochastic differential equations with boundary conditions
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
Cartier, Pierre; DeWitt-Morette, Cecile
2010-06-01
Acknowledgements; List symbols, conventions, and formulary; Part I. The Physical and Mathematical Environment: 1. The physical and mathematical environment; Part II. Quantum Mechanics: 2. First lesson: gaussian integrals; 3. Selected examples; 4. Semiclassical expansion: WKB; 5. Semiclassical expansion: beyond WKB; 6. Quantum dynamics: path integrals and operator formalism; Part III. Methods from Differential Geometry: 7. Symmetries; 8. Homotopy; 9. Grassmann analysis: basics; 10. Grassmann analysis: applications; 11. Volume elements, divergences, gradients; Part IV. Non-Gaussian Applications: 12. Poisson processes in physics; 13. A mathematical theory of Poisson processes; 14. First exit time: energy problems; Part V. Problems in Quantum Field Theory: 15. Renormalization 1: an introduction; 16. Renormalization 2: scaling; 17. Renormalization 3: combinatorics; 18. Volume elements in quantum field theory Bryce DeWitt; Part VI. Projects: 19. Projects; Appendix A. Forward and backward integrals: spaces of pointed paths; Appendix B. Product integrals; Appendix C. A compendium of gaussian integrals; Appendix D. Wick calculus Alexander Wurm; Appendix E. The Jacobi operator; Appendix F. Change of variables of integration; Appendix G. Analytic properties of covariances; Appendix H. Feynman's checkerboard; Bibliography; Index.
Dental Calculus Arrest of Dental Caries
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
Graphics calculators use in Precalculus and achievement in Calculus
Gómez, Pedro; Fernández, Felipe
1997-01-01
Most studies on the effects of graphics calculators on students' achievement in precalculus use specially designed tests that are implemented immediately after the introduction of the technology. In many cases, the way the new technology is integrated into the curriculum is not taken into account. This study analyzed the achievement on calculus of students who took a curriculum innovation in a precalculus course that involved graphics calculators use. Even though no differences were found bet...
Time scales: from Nabla calculus to Delta calculus and vice versa via duality
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 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...
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....
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.)
Pre-calculus workbook for dummies
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
Integrated operations plan for the MFTF-B Mirror Fusion Test Facility. Volume I. Organization plan
International Nuclear Information System (INIS)
1981-12-01
This plan and the accompanying MFTF-B Integrated Operations Plan are submitted in response to UC/LLNL Purchase Order 3883801, dated July 1981. The organization plan also addresses the specific tasks and trade studies directed by the scope of work. The Integrated Operations Plan, which includes a reliability, quality assurance, and safety plan and an integrated logistics plan, comprises the burden of the report. In the first section of this volume, certain underlying assumptions and observations are discussed setting the requirements and limits for organization. Section B presents the recommended structure itself. Section C Device Availability vs Maintenance and Support Efforts and Section D Staffing Levels and Skills provide backup detail and justification. Section E is a trade study on maintenance and support by LLNL staff vs subcontract and Section F is a plan for transitioning from the construction phase into operation. A brief summary of schedules and estimated costs concludes the volume
Dental calculus: the calcified biofilm and its role in disease development.
Akcalı, Aliye; Lang, Niklaus P
2018-02-01
Dental calculus represents the first fossilized record of bacterial communities as a testimony of evolutionary biology. The development of dental calculus is a dynamic process that starts with a nonmineralized biofilm which eventually calcifies. Nonmineralized dental biofilm entraps particles from the oral cavity, including large amounts of oral bacteria, human proteins, viruses and food remnants, and preserves their DNA. The process of mineralization involves metabolic activities of the bacterial colonies and strengthens the attachment of nonmineralized biofilms to the tooth surface. From a clinical point of view, dental calculus always harbors a living, nonmineralized biofilm, jeopardizing the integrity of the dento-gingival or implanto-mucosal unit. This narrative review presents a brief historical overview of dental calculus formation and its clinical relevance in modern periodontal practice. © 2017 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.
Dental Calculus Arrest of Dental Caries.
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
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
K East basin sludge volume estimates for integrated water treatment system
International Nuclear Information System (INIS)
Pearce, K.L.
1998-01-01
This document provides estimates of the volume of sludge expected from Integrated Process Strategy (IPS) processing of the fuel elements and in the fuel storage canisters in K East Basin. The original estimates were based on visual observations of fuel element condition in the basin and laboratory measurements of canister sludge density. Revision 1 revised the volume estimates of sludge from processing of the fuel elements based on additional data from evaluations of material from the KE Basin fuel subsurface examinations. A nominal Working Estimate and an upper level Working Bound is developed for the canister sludge and the fuel wash sludge components in the KE Basin
Effect of Ramadan fasting on urinary risk factors for calculus formation.
Miladipour, Amir Hossein; Shakhssalim, Nasser; Parvin, Mahmoud; Azadvari, Mohaddeseh
2012-01-01
Even though dehydration could aggravate formation of urinary calculi, the effects of fluid and food restriction on calculus formation is not thoroughly defined. The purpose of this study is to evaluate the effects of fluid and food restriction in Ramadan fasting on urinary factors in kidney and urinary calculus formation. Fifty-seven men aged 30 to 55 years old, including 37 recurrent calcium calculus formers and 20 with no history of kidney calculi were evaluated for blood tests, ultrasonography investigations, urinalysis, urine culture, and also 24-hour urine collection test. Metabolites including calcium, oxalate, citrate, uric acid, magnesium, phosphate, potassium, sodium, and creatinine were measured before and during Ramadan fasting. The values of calculus-precipitating solutes as well as inhibitory factors were documented thoroughly. Total excretion of calcium, phosphate, and magnesium in 24-hour urine and also urine volume during fasting were significantly lower than those in the nonfasting period. Urine concentration of calcium during fasting was significantly lower than nonfasting (P calculus formation. We did not find enough evidence in favor of increased risks of calculus formation during Ramadan fasting.
Molar excess volumes of liquid hydrogen and neon mixtures from path integral simulation
International Nuclear Information System (INIS)
Challa, S.R.; Johnson, J.K.
1999-01-01
Volumetric properties of liquid mixtures of neon and hydrogen have been calculated using path integral hybrid Monte Carlo simulations. Realistic potentials have been used for the three interactions involved. Molar volumes and excess volumes of these mixtures have been evaluated for various compositions at 29 and 31.14 K, and 30 atm. Significant quantum effects are observed in molar volumes. Quantum simulations agree well with experimental molar volumes. Calculated excess volumes agree qualitatively with experimental values. However, contrary to the existing understanding that large positive deviations from ideal mixtures are caused due to quantum effects in Ne - H 2 mixtures, both classical as well as quantum simulations predict the large positive deviations from ideal mixtures. Further investigations using two other Ne - H 2 potentials of Lennard - Jones (LJ) type show that excess volumes are very sensitive to the cross-interaction potential. We conclude that the cross-interaction potential employed in our simulations is accurate for volumetric properties. This potential is more repulsive compared to the two LJ potentials tested, which have been obtained by two different combining rules. This repulsion and a comparatively lower potential well depth can explain the positive deviations from ideal mixing. copyright 1999 American Institute of Physics
Classical Mechanics and Symplectic Integration
DEFF Research Database (Denmark)
Nordkvist, Nikolaj; Hjorth, Poul G.
2005-01-01
Content: Classical mechanics: Calculus of variations, Lagrange’s equations, Symmetries and Noether’s theorem, Hamilton’s equations, cannonical transformations, integrable systems, pertubation theory. Symplectic integration: Numerical integrators, symplectic integrators, main theorem on symplectic...
Study on bioactive compounds of in vitro cultured Calculus Suis and natural Calculus Bovis.
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.
Thematization of the Calculus Graphing Schema
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,…
RAMAN-SPECTRA OF HUMAN DENTAL CALCULUS
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
Educating about Sustainability while Enhancing Calculus
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…
Calculus and Success in a Business School
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…
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...
A Cross-National Study of Calculus
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…
An Introductory Calculus-Based Mechanics Investigation
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…
Multiplicative calculus in biomedical image analysis
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,
Improving student learning in calculus through applications
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.
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 Snapshot of the Calculus Classroom
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.
Programming Language Concepts - The Lambda Calculus Approach
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:
Imagine Yourself in This Calculus Classroom
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…
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 type system for continuation calculus
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
Technical calculus with analytic geometry
Gersting, Judith L
2010-01-01
This well-thought-out text, filled with many special features, is designed for a two-semester course in calculus for technology students with a background in college algebra and trigonometry. The author has taken special care to make the book appealing to students by providing motivating examples, facilitating an intuitive understanding of the underlying concepts involved, and by providing much opportunity to gain proficiency in techniques and skills.Initial chapters cover functions and graphs, straight lines and conic sections, new coordinate systems, the derivative, using the derivative, in
Bridging the Vector Calculus Gap
Dray, Tevian; Manogue, Corinne
2003-05-01
As with Britain and America, mathematicians and physicists are separated from each other by a common language. In a nutshell, mathematics is about functions, but physics is about things. For the last several years, we have led an NSF-supported effort to "bridge the vector calculus gap" between mathematics and physics. The unifying theme we have discovered is to emphasize geometric reasoning, not (just) algebraic computation. In this talk, we will illustrate the language differences between mathematicians and physicists, and how we are trying reconcile them in the classroom. For further information about the project go to: http://www.physics.orst.edu/bridge
Quantum chemistry and scientific calculus
International Nuclear Information System (INIS)
Gervais, H.P.
1988-01-01
The 1988 progress report of the Polytechnic School research team, concerning the quantum chemistry and the scientific calculus. The research program involves the following topics: the transition metals - carbon monoxide systems, which are a suitable model for the chemisorption phenomena; the introduction of the vibronic perturbations in the magnetic screen constants; the gauge invariance method (used in the calculation of the magnetic perturbations), extended to the case of the static or dynamic electrical polarizabilities. The published papers, the congress communications and the thesis are listed [fr
Schwartz, Stu
2013-01-01
All Access for the AP® Calculus AB & BC Exams Book + Web + Mobile Everything you need to prepare for the Advanced Placement® exam, in a study system built around you! There are many different ways to prepare for an Advanced Placement® exam. What's best for you depends on how much time you have to study and how comfortable you are with the subject matter. To score your highest, you need a system that can be customized to fit you: your schedule, your learning style, and your current level of knowledge. This book, and the free online tools that come with it, will help you personalize your AP® Cal
Quantum stochastic calculus associated with quadratic quantum noises
International Nuclear Information System (INIS)
Ji, Un Cig; Sinha, Kalyan B.
2016-01-01
We first study a class of fundamental quantum stochastic processes induced by the generators of a six dimensional non-solvable Lie †-algebra consisting of all linear combinations of the generalized Gross Laplacian and its adjoint, annihilation operator, creation operator, conservation, and time, and then we study the quantum stochastic integrals associated with the class of fundamental quantum stochastic processes, and the quantum Itô formula is revisited. The existence and uniqueness of solution of a quantum stochastic differential equation is proved. The unitarity conditions of solutions of quantum stochastic differential equations associated with the fundamental processes are examined. The quantum stochastic calculus extends the Hudson-Parthasarathy quantum stochastic calculus
Quantum stochastic calculus associated with quadratic quantum noises
Energy Technology Data Exchange (ETDEWEB)
Ji, Un Cig, E-mail: uncigji@chungbuk.ac.kr [Department of Mathematics, Research Institute of Mathematical Finance, Chungbuk National University, Cheongju, Chungbuk 28644 (Korea, Republic of); Sinha, Kalyan B., E-mail: kbs-jaya@yahoo.co.in [Jawaharlal Nehru Centre for Advanced Scientific Research, Jakkur, Bangalore-64, India and Department of Mathematics, Indian Institute of Science, Bangalore-12 (India)
2016-02-15
We first study a class of fundamental quantum stochastic processes induced by the generators of a six dimensional non-solvable Lie †-algebra consisting of all linear combinations of the generalized Gross Laplacian and its adjoint, annihilation operator, creation operator, conservation, and time, and then we study the quantum stochastic integrals associated with the class of fundamental quantum stochastic processes, and the quantum Itô formula is revisited. The existence and uniqueness of solution of a quantum stochastic differential equation is proved. The unitarity conditions of solutions of quantum stochastic differential equations associated with the fundamental processes are examined. The quantum stochastic calculus extends the Hudson-Parthasarathy quantum stochastic calculus.
Summability calculus a comprehensive theory of fractional finite sums
Alabdulmohsin, Ibrahim M
2018-01-01
This book develops the foundations of "summability calculus", which is a comprehensive theory of fractional finite sums. It fills an important gap in the literature by unifying and extending disparate historical results. It also presents new material that has not been published before. Importantly, it shows how the study of fractional finite sums benefits from and contributes to many areas of mathematics, such as divergent series, numerical integration, approximation theory, asymptotic methods, special functions, series acceleration, Fourier analysis, the calculus of finite differences, and information theory. As such, it appeals to a wide audience of mathematicians whose interests include the study of special functions, summability theory, analytic number theory, series and sequences, approximation theory, asymptotic expansions, or numerical methods. Richly illustrated, it features chapter summaries, and includes numerous examples and exercises. The content is mostly developed from scratch using only undergr...
Ranamukhaarachchi, Sahan A.; Padeste, Celestino; Dübner, Matthias; Häfeli, Urs O.; Stoeber, Boris; Cadarso, Victor J.
2016-07-01
Therapeutic drug monitoring (TDM) typically requires painful blood drawn from patients. We propose a painless and minimally-invasive alternative for TDM using hollow microneedles suitable to extract extremely small volumes (microneedle is functionalized to be used as a micro-reactor during sample collection to trap and bind target drug candidates during extraction, without requirements of sample transfer. An optofluidic device is integrated with this microneedle to rapidly quantify drug analytes with high sensitivity using a straightforward absorbance scheme. Vancomycin is currently detected by using volumes ranging between 50-100 μL with a limit of detection (LoD) of 1.35 μM. The proposed microneedle-optofluidic biosensor can detect vancomycin with a sample volume of 0.6 nL and a LoD of <100 nM, validating this painless point of care system with significant potential to reduce healthcare costs and patients suffering.
Splines and their reciprocal-bases in volume-integral equations
International Nuclear Information System (INIS)
Sabbagh, H.A.
1993-01-01
The authors briefly outline the use of higher-order splines and their reciprocal-bases in discretizing the volume-integral equations of electromagnetics. The discretization is carried out by means of the method of moments, in which the expansion functions are the higher-order splines, and the testing functions are the corresponding reciprocal-basis functions. These functions satisfy an orthogonality condition with respect to the spline expansion functions. Thus, the method is not Galerkin, but the structure of the resulting equations is quite regular, nevertheless. The theory is applied to the volume-integral equations for the unknown current density, or unknown electric field, within a scattering body, and to the equations for eddy-current nondestructive evaluation. Numerical techniques for computing the matrix elements are also given
Energy Technology Data Exchange (ETDEWEB)
Allen, B J
1979-02-01
This documentation describes the PIES Integrating Model as it existed on January 1, 1978. This volume contains two chapters. In Chapter I, Overview, the following subjects are briefly described: supply data, EIA projection series and scenarios, demand data and assumptions, and supply assumptions - oil and gas availabilities. Chapter II contains supply and demand data tables and sources used by the PIES Integrating Model for the mid-range scenario target years 1985 and 1990. Tabulated information is presented for demand, price, and elasticity data; coal data; imports data; oil and gas data; refineries data; synthetics, shale, and solar/geothermal data; transportation data; and utilities data.
Sayed, Sadeed Bin
2016-11-02
An explicit marching on-in-time scheme for analyzing transient electromagnetic wave interactions on ferromagnetic scatterers is described. The proposed method solves a coupled system of time domain magnetic field volume integral and Landau-Lifshitz-Gilbert (LLG) equations. The unknown fluxes and fields are discretized using full and half Schaubert-Wilton-Glisson functions in space and bandlimited temporal interpolation functions in time. The coupled system is cast in the form of an ordinary differential equation and integrated in time using a PE(CE)m type linear multistep method to obtain the unknown expansion coefficients. Numerical results demonstrating the stability and accuracy of the proposed scheme are presented.
Sayed, Sadeed Bin; Ulku, Huseyin Arda; Bagci, Hakan
2016-01-01
An explicit marching on-in-time scheme for analyzing transient electromagnetic wave interactions on ferromagnetic scatterers is described. The proposed method solves a coupled system of time domain magnetic field volume integral and Landau-Lifshitz-Gilbert (LLG) equations. The unknown fluxes and fields are discretized using full and half Schaubert-Wilton-Glisson functions in space and bandlimited temporal interpolation functions in time. The coupled system is cast in the form of an ordinary differential equation and integrated in time using a PE(CE)m type linear multistep method to obtain the unknown expansion coefficients. Numerical results demonstrating the stability and accuracy of the proposed scheme are presented.
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...
IEA Wind Task 24 Integration of Wind and Hydropower Systems; Volume 2: Participant Case Studies
Energy Technology Data Exchange (ETDEWEB)
Acker, T.
2011-12-01
This report describes the background, concepts, issues and conclusions related to the feasibility of integrating wind and hydropower, as investigated by the members of IEA Wind Task 24. It is the result of a four-year effort involving seven IEA member countries and thirteen participating organizations. The companion report, Volume 2, describes in detail the study methodologies and participant case studies, and exists as a reference for this report.
DEFF Research Database (Denmark)
Kim, Oleksiy S.; Meincke, Peter; Breinbjerg, Olav
2007-01-01
The problem of electromagnetic scattering by composite metallic and dielectric objects is solved using the coupled volume-surface integral equation (VSIE). The method of moments (MoM) based on higher-order hierarchical Legendre basis functions and higher-order curvilinear geometrical elements...... with the analytical Mie series solution. Scattering by more complex metal-dielectric objects are also considered to compare the presented technique with other numerical methods....
Mixed waste focus area integrated technical baseline report. Phase I, Volume 2: Revision 0
International Nuclear Information System (INIS)
1996-01-01
This document (Volume 2) contains the Appendices A through J for the Mixed Waste Focus Area Integrated Technical Baseline Report Phase I for the Idaho National Engineering Laboratory. Included are: Waste Type Managers' Resumes, detailed information on wastewater, combustible organics, debris, unique waste, and inorganic homogeneous solids and soils, and waste data information. A detailed list of technology deficiencies and site needs identification is also provided
Wang, Yongming; Zou, Zhiling; Song, Hongwen; Xu, Xiaodan; Wang, Huijun; d?Oleire Uquillas, Federico; Huang, Xiting
2016-01-01
Mobile phone dependence (MPD) is a behavioral addiction that has become an increasing public mental health issue. While previous research has explored some of the factors that may predict MPD, the underlying neural mechanisms of MPD have not been investigated yet. The current study aimed to explore the microstructural variations associated with MPD as measured with functional Magnetic Resonance Imaging (fMRI). Gray matter volume (GMV) and white matter (WM) integrity [four indices: fractional ...
Near-ultraviolet removal rates for subgingival dental calculus at different irradiation angles
Schoenly, Joshua E.; Seka, Wolf D.; Rechmann, Peter
2011-07-01
The laser ablation rate of subgingival dental calculus irradiated at a 400-nm-wavelength, 7.4-mJ pulse energy, and 85- and 20-deg irradiation angles is measured using laser triangulation. Three-dimensional images taken before and after irradiation create a removal map with 6-μm axial resolution. Fifteen human teeth with subgingival calculus are irradiated in vitro under a cooling water spray with an ~300-μm-diam, tenth-order super-Gaussian beam. The average subgingival calculus removal rates for irradiation at 85 and 20 deg are 11.1+/-3.6 and 11.5+/-5.9 μm/pulse, respectively, for depth removal and 4.5+/-1.7×105 and 4.8+/-2.3×105 μm3/pulse, respectively, for volume removal. The ablation rate is constant at each irradiation site but varies between sites because of the large differences in the physical and optical properties of calculus. Comparison of the average depth- and volume-removal rates does not reveal any dependence on the irradiation angle and is likely due to the surface topology of subgingival calculus samples that overshadows any expected angular dependence.
Toward lattice fractional vector calculus
International Nuclear Information System (INIS)
Tarasov, Vasily E
2014-01-01
An analog of fractional vector calculus for physical lattice models is suggested. We use an approach based on the models of three-dimensional lattices with long-range inter-particle interactions. The lattice analogs of fractional partial derivatives are represented by kernels of lattice long-range interactions, where the Fourier series transformations of these kernels have a power-law form with respect to wave vector components. In the continuum limit, these lattice partial derivatives give derivatives of non-integer order with respect to coordinates. In the three-dimensional description of the non-local continuum, the fractional differential operators have the form of fractional partial derivatives of the Riesz type. As examples of the applications of the suggested lattice fractional vector calculus, we give lattice models with long-range interactions for the fractional Maxwell equations of non-local continuous media and for the fractional generalization of the Mindlin and Aifantis continuum models of gradient elasticity. (papers)
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.
Raw beef bones as chewing items to reduce dental calculus in Beagle dogs.
Marx, F R; Machado, G S; Pezzali, J G; Marcolla, C S; Kessler, A M; Ahlstrøm, Ø; Trevizan, L
2016-01-01
Evaluate the effect of raw bovine cortical bone (CB) (medullary bone cross-sectioned) and marrow or epiphyseal 'spongy' bone (SB) as chew items to reduce dental calculus in adult dogs. Eight 3-year-old Beagle dogs were observed in two study periods. In the first study, the dogs each received a piece of bovine femur CB (122 ± 17 g) daily and in the second study, a piece of bovine femur SB (235 ± 27 g). The first study lasted 12 days and the second 20 days. Dental calculus was evaluated using image integration software. At the start of the studies, dental calculus covered 42.0% and 38.6% of the dental arcade areas, respectively. In study one, the chewing reduced the established dental calculus area to 27.1% (35.5% reduction) after 3 days and after 12 days the dental calculus covering was reduced to 12.3% (70.6% reduction). In study two, the dental calculus covered 16.8% (56.5% reduction) after 3 days, 7.1% (81.6% reduction) after 12 days and 4.7% (87.8% reduction) after 20 days. The CB remained largely intact after 24 h, but SB was reduced to smaller pieces and in some cases totally consumed after 24 h. No complications such as tooth fractures, pieces of bone stuck between teeth or intestinal obstructions were observed during the studies. Chewing raw bovine bones was an effective method of removing dental calculus in dogs. The SB bones removed dental calculus more efficiently in the short term. © 2016 Australian Veterinary Association.
Jones, Kennie H.; Randall, Donald P.; Stallcup, Scott S.; Rowell, Lawrence F.
1988-01-01
The Environment for Application Software Integration and Execution, EASIE, provides a methodology and a set of software utility programs to ease the task of coordinating engineering design and analysis codes. EASIE was designed to meet the needs of conceptual design engineers that face the task of integrating many stand-alone engineering analysis programs. Using EASIE, programs are integrated through a relational data base management system. In volume 2, the use of a SYSTEM LIBRARY PROCESSOR is used to construct a DATA DICTIONARY describing all relations defined in the data base, and a TEMPLATE LIBRARY. A TEMPLATE is a description of all subsets of relations (including conditional selection criteria and sorting specifications) to be accessed as input or output for a given application. Together, these form the SYSTEM LIBRARY which is used to automatically produce the data base schema, FORTRAN subroutines to retrieve/store data from/to the data base, and instructions to a generic REVIEWER program providing review/modification of data for a given template. Automation of these functions eliminates much of the tedious, error prone work required by the usual approach to data base integration.
A first course in the calculus of variations
Kot, Mark
2014-01-01
This book is intended for a first course in the calculus of variations, at the senior or beginning graduate level. The reader will learn methods for finding functions that maximize or minimize integrals. The text lays out important necessary and sufficient conditions for extrema in historical order, and it illustrates these conditions with numerous worked-out examples from mechanics, optics, geometry, and other fields. The exposition starts with simple integrals containing a single independent variable, a single dependent variable, and a single derivative, subject to weak variations, but stead
Generalized Functions for the Fractional Calculus
Lorenzo, Carl F.; Hartley, Tom T.
1999-01-01
Previous papers have used two important functions for the solution of fractional order differential equations, the Mittag-Leffler functionE(sub q)[at(exp q)](1903a, 1903b, 1905), and the F-function F(sub q)[a,t] of Hartley & Lorenzo (1998). These functions provided direct solution and important understanding for the fundamental linear fractional order differential equation and for the related initial value problem (Hartley and Lorenzo, 1999). This paper examines related functions and their Laplace transforms. Presented for consideration are two generalized functions, the R-function and the G-function, useful in analysis and as a basis for computation in the fractional calculus. The R-function is unique in that it contains all of the derivatives and integrals of the F-function. The R-function also returns itself on qth order differ-integration. An example application of the R-function is provided. A further generalization of the R-function, called the G-function brings in the effects of repeated and partially repeated fractional poles.
q-fractional calculus and equations
Annaby, Mahmoud H
2012-01-01
This nine-chapter monograph introduces a rigorous investigation of q-difference operators in standard and fractional settings. It starts with elementary calculus of q-differences and integration of Jackson’s type before turning to q-difference equations. The existence and uniqueness theorems are derived using successive approximations, leading to systems of equations with retarded arguments. Regular q-Sturm–Liouville theory is also introduced; Green’s function is constructed and the eigenfunction expansion theorem is given. The monograph also discusses some integral equations of Volterra and Abel type, as introductory material for the study of fractional q-calculi. Hence fractional q-calculi of the types Riemann–Liouville; Grünwald–Letnikov; Caputo; Erdélyi–Kober and Weyl are defined analytically. Fractional q-Leibniz rules with applications in q-series are also obtained with rigorous proofs of the formal results of Al-Salam-Verma, which remained unproved for decades. In working ...
Giant calculus: review and report of a case.
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.
Using Dynamic Software to Address Common College Calculus Stumbling Blocks
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…
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
Tensor calculus, relativity, and cosmology a first course
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
Directory of Open Access Journals (Sweden)
Yu Zhang
Full Text Available The aim of the study was to evaluate the value of assessing white matter integrity using diffusion tensor imaging (DTI for classification of mild cognitive impairment (MCI and prediction of cognitive impairments in comparison to brain atrophy measurements using structural MRI. Fifty-one patients with MCI and 66 cognitive normal controls (CN underwent DTI and T1-weighted structural MRI. DTI measures included fractional anisotropy (FA and radial diffusivity (DR from 20 predetermined regions-of-interest (ROIs in the commissural, limbic and association tracts, which are thought to be involved in Alzheimer's disease; measures of regional gray matter (GM volume included 21 ROIs in medial temporal lobe, parietal cortex, and subcortical regions. Significant group differences between MCI and CN were detected by each MRI modality: In particular, reduced FA was found in splenium, left isthmus cingulum and fornix; increased DR was found in splenium, left isthmus cingulum and bilateral uncinate fasciculi; reduced GM volume was found in bilateral hippocampi, left entorhinal cortex, right amygdala and bilateral thalamus; and thinner cortex was found in the left entorhinal cortex. Group classifications based on FA or DR was significant and better than classifications based on GM volume. Using either DR or FA together with GM volume improved classification accuracy. Furthermore, all three measures, FA, DR and GM volume were similarly accurate in predicting cognitive performance in MCI patients. Taken together, the results imply that DTI measures are as accurate as measures of GM volume in detecting brain alterations that are associated with cognitive impairment. Furthermore, a combination of DTI and structural MRI measurements improves classification accuracy.
The Impact of Taking a College Pre-Calculus Course on Students' College Calculus Performance
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…
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…
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
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)
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
Recursive sequences in first-year calculus
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.
Pre-calculus workbook for dummies
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
AP calculus AB & BC crash course
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
Restricted diversity of dental calculus methanogens over five centuries, France
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...
On Some Syntactic Properties of the Modalized Heyting Calculus
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.
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
Generalized Multiparameters Fractional Variational Calculus
Directory of Open Access Journals (Sweden)
Om Prakash Agrawal
2012-01-01
Full Text Available This paper builds upon our recent paper on generalized fractional variational calculus (FVC. Here, we briefly review some of the fractional derivatives (FDs that we considered in the past to develop FVC. We first introduce new one parameter generalized fractional derivatives (GFDs which depend on two functions, and show that many of the one-parameter FDs considered in the past are special cases of the proposed GFDs. We develop several parts of FVC in terms of one parameter GFDs. We point out how many other parts could be developed using the properties of the one-parameter GFDs. Subsequently, we introduce two new two- and three-parameter GFDs. We introduce some of their properties, and discuss how they can be used to develop FVC. In addition, we indicate how these formulations could be used in various fields, and how the generalizations presented here can be further extended.
Jet calculus beyond leading logarithms
International Nuclear Information System (INIS)
Kalinowski, J.; Konishi, K.; Taylor, T.R.
1981-01-01
It is shown that the evolution of hadronic jets produced in hard processes can be studied in terms of a simple parton branching picture, beyond the leading log approximation of QCD. The jet calculus is generalized to any given order of logs (but always to all orders of αsub(s)). We discuss the general structure of the formalism. Universality of jet evolution is discussed. We consider also a jet calorimetry measure and the multiplicity distribution of final states in a form which allows a systematic improvement of approximation. To the next-to-leading order, we prove the finiteness and elucidate the scheme dependence of parton subprocess probabilities. The physical inclusive cross section is shown to be scheme independent: next-to-leading results for e + e - → q (nonsinglet) + X agree with those of Curci and others. (orig.)
Four Ways to Skin a Definite Integral
Dence, Thomas; Dence, Joseph
2010-01-01
The integral of 1/(1 + x[superscript 2]) is standard in elementary calculus, but the related integral 1/(1 + x[superscript 4]) rarely appears. In this article we examine the latter integral, computing its value by four different methods; several that involve standard elementary calculus techniques, and several involving complex integration.
International Nuclear Information System (INIS)
Gilardi, Giovanni; Beccherelli, Romeo
2013-01-01
We propose and numerically investigate an integrated optics refractometric nano-opto-fluidic sensor based on whispering gallery modes in sapphire microspheres. A measurand fluid is injected in a micromachined reservoir defined in between the microsphere and an optical waveguide. The wavelength shift due to changes in the refractive index of the measurand fluid are studied for a set of different configurations by the finite element method and a high sensitivity versus fluid volume is found. The proposed device can be tailored to work with a minimum fluid volume of 1 pl and a sensitivity up of 2000 nm/(RIU·nl). We introduce a figure of merit which quantifies the amplifying effect on the sensitivity of high quality factor resonators and allows us to compare different devices. (paper)
Bagci, Hakan
2010-08-01
A well-conditioned coupled set of surface (S) and volume (V) electric field integral equations (S-EFIE and V-EFIE) for analyzing wave interactions with densely discretized composite structures is presented. Whereas the V-EFIE operator is well-posed even when applied to densely discretized volumes, a classically formulated S-EFIE operator is ill-posed when applied to densely discretized surfaces. This renders the discretized coupled S-EFIE and V-EFIE system ill-conditioned, and its iterative solution inefficient or even impossible. The proposed scheme regularizes the coupled set of S-EFIE and V-EFIE using a Calderón multiplicative preconditioner (CMP)-based technique. The resulting scheme enables the efficient analysis of electromagnetic interactions with composite structures containing fine/subwavelength geometric features. Numerical examples demonstrate the efficiency of the proposed scheme. © 2006 IEEE.
The calculus lifesaver all the tools you need to excel at calculus
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
Baranovskaya T. P.; Loyko V. I.; Makarevich O. A.; Bogoslavskiy S. N.
2014-01-01
The article suggests a mathematical model of optimization of the volume of material flows: the model for the ideal conditions; the model for the working conditions; generalized model of determining the optimal input parameters. These models optimize such parameters of inventory management in technology-integrated grain production systems, as the number of cycles supply, the volume of the source material and financial flows. The study was carried out on the example of the integrated system of ...
Data Quality Indicators Composition and Calculus: Engineering and Information Systems Approaches
Directory of Open Access Journals (Sweden)
Leon REZNIK
2015-02-01
Full Text Available Big Data phenomenon is a result of novel technological developments in sensor, computer and communication technologies. Nowadays more and more data are produced by nanoscale photonic, optoelectronic and electronic devices. However, their quality characteristics could be very low. The paper proposes new methods of the data management with huge data amounts that is based on associating of data quality indicators with each data entity. To achieve this goal, one needs to define the composition of the data quality indicators and to develop their integration calculus. As data quality evaluation involves multi-disciplinary research, various metrics have been investigated. The paper describes two major approaches in assigning the data quality indicators and developing their integration calculus. The information systems approach employs traditional high-level metrics like data accuracy, consistency and completeness. The engineering approach utilizes signal characteristics processed with the probability based calculus. The data quality metrics composition and calculus are discussed. The tools developed to automate the metrics selection and calculus procedures are presented. The user- friendly interface examples are provided.
This study presents the integrated volume method for estimating saturation pressure and enthalpy of vaporization of a whole aerosol distribution. We measure the change of total volume of an aerosol distribution between a reference state and several heated states, with the heating...
Fractional Vector Calculus and Fractional Special Function
Li, Ming-Fan; Ren, Ji-Rong; Zhu, Tao
2010-01-01
Fractional vector calculus is discussed in the spherical coordinate framework. A variation of the Legendre equation and fractional Bessel equation are solved by series expansion and numerically. Finally, we generalize the hypergeometric functions.
Newton Binomial Formulas in Schubert Calculus
Cordovez, Jorge; Gatto, Letterio; Santiago, Taise
2008-01-01
We prove Newton's binomial formulas for Schubert Calculus to determine numbers of base point free linear series on the projective line with prescribed ramification divisor supported at given distinct points.
Extending Stochastic Network Calculus to Loss Analysis
Directory of Open Access Journals (Sweden)
Chao Luo
2013-01-01
Full Text Available Loss is an important parameter of Quality of Service (QoS. Though stochastic network calculus is a very useful tool for performance evaluation of computer networks, existing studies on stochastic service guarantees mainly focused on the delay and backlog. Some efforts have been made to analyse loss by deterministic network calculus, but there are few results to extend stochastic network calculus for loss analysis. In this paper, we introduce a new parameter named loss factor into stochastic network calculus and then derive the loss bound through the existing arrival curve and service curve via this parameter. We then prove that our result is suitable for the networks with multiple input flows. Simulations show the impact of buffer size, arrival traffic, and service on the loss factor.
Differential calculus for q-deformed twistors
International Nuclear Information System (INIS)
Akulov, V.P.; Duplij, S.A.; Chitov, V.V.
1998-01-01
Brief type of q-deformed differential calculus at light cone with using of twistor representation is suggested. Commutative relations between coordinates and moments are obtained. Considered quasiclassical limit gives exact form of vanish from mass shell
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
The contracted Bianchi identities in Regge calculus
International Nuclear Information System (INIS)
Williams, Ruth M
2012-01-01
In this note, we show explicitly how the linearized contracted Bianchi identities at a vertex in four-dimensional Regge calculus are related to a sum of the equations of motion for all the edges meeting at that vertex. (note)
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 calculus of exterior differential forms on differential manifolds is presented. Stokes' theorem, the Lie derivative, linear connections and their curvature, torsion and non-metricity are discussed. Numerous examples using differential calculus are given and some detailed comparisons are made with their traditional 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 machinery, are stressed throughout the article. .
Introductory analysis a deeper view of calculus
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
Algorithms, The λ Calculus and Programming
Indian Academy of Sciences (India)
IAS Admin
developed a model to understand ... Hence the ¸ calculus also served as an alternate model ...... Practical programming using usual languages based on .... and return values as. 'answers'. This style of programming that emerges is therefore.
Al Jarro, Ahmed; Salem, Mohamed; Bagci, Hakan; Benson, Trevor; Sewell, Phillip D.; Vuković, Ana
2012-01-01
An explicit marching-on-in-time (MOT) scheme for solving the time domain volume integral equation is presented. The proposed method achieves its stability by employing, at each time step, a corrector scheme, which updates/corrects fields computed by the explicit predictor scheme. The proposedmethod is computationally more efficient when compared to the existing filtering techniques used for the stabilization of explicit MOT schemes. Numerical results presented in this paper demonstrate that the proposed method maintains its stability even when applied to the analysis of electromagnetic wave interactions with electrically large structures meshed using approximately half a million discretization elements.
Houbec, Keith; Tillman, Barry; Connolly, Janis
2010-01-01
For decades, Space Life Sciences and NASA as an Agency have considered NASA-STD-3000, Man-Systems Integration Standards, a significant contribution to human spaceflight programs and to human-systems integration in general. The document has been referenced in numerous design standards both within NASA and by organizations throughout the world. With research program and project results being realized, advances in technology and new information in a variety of topic areas now available, the time arrived to update this extensive suite of requirements and design information. During the past several years, a multi-NASA center effort has been underway to write the update to NASA-STD-3000 with standards and design guidance that would be applicable to all future human spaceflight programs. NASA-STD-3001 - Volumes 1 and 2 - and the Human Integration Design Handbook (HIDH) were created. Volume 1, Crew Health, establishes NASA s spaceflight crew health standards for the pre-flight, in-flight, and post-flight phases of human spaceflight. Volume 2, Human Factors, Habitability and Environmental Health, focuses on the requirements of human-system integration and how the human crew interacts with other systems, and how the human and the system function together to accomplish the tasks for mission success. The HIDH is a compendium of human spaceflight history and knowledge, and provides useful background information and research findings. And as the HIDH is a stand-alone companion to the Standards, the maintenance of the document has been streamlined. This unique and flexible approach ensures that the content is current and addresses the fundamental advances of human performance and human capabilities and constraints research. Current work focuses on the development of new sections of Volume 2 and collecting updates to the HIDH. The new sections in development expand the scope of the standard and address mission operations and support operations. This effort is again collaboration
Al Jarro, Ahmed
2012-11-01
An explicit marching-on-in-time (MOT) scheme for solving the time domain volume integral equation is presented. The proposed method achieves its stability by employing, at each time step, a corrector scheme, which updates/corrects fields computed by the explicit predictor scheme. The proposedmethod is computationally more efficient when compared to the existing filtering techniques used for the stabilization of explicit MOT schemes. Numerical results presented in this paper demonstrate that the proposed method maintains its stability even when applied to the analysis of electromagnetic wave interactions with electrically large structures meshed using approximately half a million discretization elements.
International Nuclear Information System (INIS)
Lezoch, P.; Trost, H.; Strohbusch, U.
1981-01-01
The magnitudes of volume integrals per interacting nucleon pair J/sub R/' calculated from a compilation of 6 Li potentials vary between 100 and 500 MeV fm 3 . They are grouped in discrete branches with J/sub R/(A) smoothly increasing with decreasing target mass. Comparison with the results for lighter projectiles restricts the ''physically meaningful'' branches to those characterized by J/sub R/ (A> or =48) 3 . ( 6 Li,d) reaction analyses yield the same fit qualities for 6 Li potentials of the different discrete families, but deduced spectroscopic factors jump (by factors of approx.3) when changing between successive families
DEFF Research Database (Denmark)
Kim, Oleksiy S.; Jørgensen, Erik; Meincke, Peter
2004-01-01
An efficient higher-order method of moments (MoM) solution of volume integral equations is presented. The higher-order MoM solution is based on higher-order hierarchical Legendre basis functions and higher-order geometry modeling. An unstructured mesh composed of 8-node trilinear and/or curved 27...... of magnitude in comparison to existing higher-order hierarchical basis functions. Consequently, an iterative solver can be applied even for high expansion orders. Numerical results demonstrate excellent agreement with the analytical Mie series solution for a dielectric sphere as well as with results obtained...
Generalized Cartan Calculus in general dimension
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.
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....
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
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.
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.
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....
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)
A phenomenological calculus of Wiener description space.
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.
An efficient explicit marching on in time solver for magnetic field volume integral equation
Sayed, Sadeed Bin
2015-07-25
An efficient explicit marching on in time (MOT) scheme for solving the magnetic field volume integral equation is proposed. The MOT system is cast in the form of an ordinary differential equation and is integrated in time using a PE(CE)m multistep scheme. At each time step, a system with a Gram matrix is solved for the predicted/corrected field expansion coefficients. Depending on the type of spatial testing scheme Gram matrix is sparse or consists of blocks with only diagonal entries regardless of the time step size. Consequently, the resulting MOT scheme is more efficient than its implicit counterparts, which call for inversion of fuller matrix system at lower frequencies. Numerical results, which demonstrate the efficiency, accuracy, and stability of the proposed MOT scheme, are presented.
Endoscopic vs. tactile evaluation of subgingival calculus.
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.
Time-division multiplexing vs network calculus: A comparison
DEFF Research Database (Denmark)
Puffitsch, Wolfgang; Sørensen, Rasmus Bo; Schoeberl, Martin
2015-01-01
that time-division multiplexing leads to better worst-case latencies, while network calculus supports higher bandwidths. Furthermore, time-division multiplexing leads to a simpler hardware implementation, while dynamically scheduled networks-on-chip allow the integration of best-effort traffic in the on......Networks-on-chip are increasingly common in modern multicore architectures. However, general-purpose networks-on-chip are not always well suited for real-time applications that require bandwidth and latency guarantees. Two approaches to provide real-time guarantees have emerged: time......-chip network in a more natural way....
Teaching calculus using module based on cooperative learning strategy
Arbin, Norazman; Ghani, Sazelli Abdul; Hamzah, Firdaus Mohamad
2014-06-01
The purpose of the research is to evaluate the effectiveness of a module which utilizes the cooperative learning for teaching Calculus for limit, derivative and integral. The sample consists of 50 semester 1 students from the Science Programme (AT 16) Sultan Idris Education University. A set of questions of related topics (pre and post) has been used as an instrument to collect data. The data is analyzed using inferential statistics involving the paired sample t-test and the independent t-test. The result shows that students have positive inclination towards the modulein terms of understanding.
International Nuclear Information System (INIS)
Nayak, A.K.; Vijayan, P.K.; Saha, D.; Venkat Raj, V.; Aritomi, Masanori
1998-01-01
Theoretical and experimental investigations were carried out to study the adequacy of power-to-volume scaling philosophy for the simulation of natural circulation and to establish the scaling philosophy applicable for the design of the Integral Test Facility (ITF-AHWR) for the Indian Advanced Heavy Water Reactor (AHWR). The results indicate that a reduction in the flow channel diameter of the scaled facility as required by the power-to-volume scaling philosophy may affect the simulation of natural circulation behaviour of the prototype plants. This is caused by the distortions due to the inability to simulate the frictional resistance of the scaled facility. Hence, it is recommended that the flow channel diameter of the scaled facility should be as close as possible to the prototype. This was verified by comparing the natural circulation behaviour of a prototype 220 MWe Indian PHWR and its scaled facility (FISBE-1) designed based on power-to-volume scaling philosophy. It is suggested from examinations using a mathematical model and a computer code that the FISBE-1 simulates the steady state and the general trend of transient natural circulation behaviour of the prototype reactor adequately. Finally the proposed scaling method was applied for the design of the ITF-AHWR. (author)
New Internet search volume-based weighting method for integrating various environmental impacts
Energy Technology Data Exchange (ETDEWEB)
Ji, Changyoon, E-mail: changyoon@yonsei.ac.kr; Hong, Taehoon, E-mail: hong7@yonsei.ac.kr
2016-01-15
Weighting is one of the steps in life cycle impact assessment that integrates various characterized environmental impacts as a single index. Weighting factors should be based on the society's preferences. However, most previous studies consider only the opinion of some people. Thus, this research proposes a new weighting method that determines the weighting factors of environmental impact categories by considering public opinion on environmental impacts using the Internet search volumes for relevant terms. To validate the new weighting method, the weighting factors for six environmental impacts calculated by the new weighting method were compared with the existing weighting factors. The resulting Pearson's correlation coefficient between the new and existing weighting factors was from 0.8743 to 0.9889. It turned out that the new weighting method presents reasonable weighting factors. It also requires less time and lower cost compared to existing methods and likewise meets the main requirements of weighting methods such as simplicity, transparency, and reproducibility. The new weighting method is expected to be a good alternative for determining the weighting factor. - Highlight: • A new weighting method using Internet search volume is proposed in this research. • The new weighting method reflects the public opinion using Internet search volume. • The correlation coefficient between new and existing weighting factors is over 0.87. • The new weighting method can present the reasonable weighting factors. • The proposed method can be a good alternative for determining the weighting factors.
New Internet search volume-based weighting method for integrating various environmental impacts
International Nuclear Information System (INIS)
Ji, Changyoon; Hong, Taehoon
2016-01-01
Weighting is one of the steps in life cycle impact assessment that integrates various characterized environmental impacts as a single index. Weighting factors should be based on the society's preferences. However, most previous studies consider only the opinion of some people. Thus, this research proposes a new weighting method that determines the weighting factors of environmental impact categories by considering public opinion on environmental impacts using the Internet search volumes for relevant terms. To validate the new weighting method, the weighting factors for six environmental impacts calculated by the new weighting method were compared with the existing weighting factors. The resulting Pearson's correlation coefficient between the new and existing weighting factors was from 0.8743 to 0.9889. It turned out that the new weighting method presents reasonable weighting factors. It also requires less time and lower cost compared to existing methods and likewise meets the main requirements of weighting methods such as simplicity, transparency, and reproducibility. The new weighting method is expected to be a good alternative for determining the weighting factor. - Highlight: • A new weighting method using Internet search volume is proposed in this research. • The new weighting method reflects the public opinion using Internet search volume. • The correlation coefficient between new and existing weighting factors is over 0.87. • The new weighting method can present the reasonable weighting factors. • The proposed method can be a good alternative for determining the weighting factors.
Hemorrhagic shock impairs myocardial cell volume regulation and membrane integrity in dogs
International Nuclear Information System (INIS)
Horton, J.W.
1987-01-01
An in vitro myocardial slice technique was used to quantitate alterations in cell volume regulation and membrane integrity after 2 h or hemorrhagic shock. After in vitro incubation in Krebs-Ringer-phosphate medium containing trace [ 14 C]inulin, values (ml H 2 O/g dry wt) for control nonshocked myocardial slices were 4.03 /plus minus/ 0.11 (SE) for total water, 2.16 /plus minus/ 0.07 for inulin impermeable space, and 1.76 /plus minus/ 0.15 for inulin diffusible space. Shocked myocardial slices showed impaired response to cold incubation. After 2 h of in vivo shock, total tissue water, inulin diffusible space, and inulin impermeable space increased significantly for subendocardium, whereas changes in subepicardium parameters were minimal. Shock-induced cellular swelling was accompanied by an increased total tissue sodium, but no change in tissue potassium. Calcium entry blockade in vivo significantly reduced subendocardial total tissue water as compared with shock-untreated dogs. In addition, calcium entry blockade reduced shock-induced increases in inulin diffusible space. In vitro myocardial slice studies confirm alterations in subendocardial membrane integrity after 2 h of in vivo hemorrhagic shock. Shock-induced abnormalities in myocardial cell volume regulation are reduced by calcium entry blockade in vivo
Process automation system for integration and operation of Large Volume Plasma Device
International Nuclear Information System (INIS)
Sugandhi, R.; Srivastava, P.K.; Sanyasi, A.K.; Srivastav, Prabhakar; Awasthi, L.M.; Mattoo, S.K.
2016-01-01
Highlights: • Analysis and design of process automation system for Large Volume Plasma Device (LVPD). • Data flow modeling for process model development. • Modbus based data communication and interfacing. • Interface software development for subsystem control in LabVIEW. - Abstract: Large Volume Plasma Device (LVPD) has been successfully contributing towards understanding of the plasma turbulence driven by Electron Temperature Gradient (ETG), considered as a major contributor for the plasma loss in the fusion devices. Large size of the device imposes certain difficulties in the operation, such as access of the diagnostics, manual control of subsystems and large number of signals monitoring etc. To achieve integrated operation of the machine, automation is essential for the enhanced performance and operational efficiency. Recently, the machine is undergoing major upgradation for the new physics experiments. The new operation and control system consists of following: (1) PXIe based fast data acquisition system for the equipped diagnostics; (2) Modbus based Process Automation System (PAS) for the subsystem controls and (3) Data Utilization System (DUS) for efficient storage, processing and retrieval of the acquired data. In the ongoing development, data flow model of the machine’s operation has been developed. As a proof of concept, following two subsystems have been successfully integrated: (1) Filament Power Supply (FPS) for the heating of W- filaments based plasma source and (2) Probe Positioning System (PPS) for control of 12 number of linear probe drives for a travel length of 100 cm. The process model of the vacuum production system has been prepared and validated against acquired pressure data. In the next upgrade, all the subsystems of the machine will be integrated in a systematic manner. The automation backbone is based on 4-wire multi-drop serial interface (RS485) using Modbus communication protocol. Software is developed on LabVIEW platform using
Process automation system for integration and operation of Large Volume Plasma Device
Energy Technology Data Exchange (ETDEWEB)
Sugandhi, R., E-mail: ritesh@ipr.res.in; Srivastava, P.K.; Sanyasi, A.K.; Srivastav, Prabhakar; Awasthi, L.M.; Mattoo, S.K.
2016-11-15
Highlights: • Analysis and design of process automation system for Large Volume Plasma Device (LVPD). • Data flow modeling for process model development. • Modbus based data communication and interfacing. • Interface software development for subsystem control in LabVIEW. - Abstract: Large Volume Plasma Device (LVPD) has been successfully contributing towards understanding of the plasma turbulence driven by Electron Temperature Gradient (ETG), considered as a major contributor for the plasma loss in the fusion devices. Large size of the device imposes certain difficulties in the operation, such as access of the diagnostics, manual control of subsystems and large number of signals monitoring etc. To achieve integrated operation of the machine, automation is essential for the enhanced performance and operational efficiency. Recently, the machine is undergoing major upgradation for the new physics experiments. The new operation and control system consists of following: (1) PXIe based fast data acquisition system for the equipped diagnostics; (2) Modbus based Process Automation System (PAS) for the subsystem controls and (3) Data Utilization System (DUS) for efficient storage, processing and retrieval of the acquired data. In the ongoing development, data flow model of the machine’s operation has been developed. As a proof of concept, following two subsystems have been successfully integrated: (1) Filament Power Supply (FPS) for the heating of W- filaments based plasma source and (2) Probe Positioning System (PPS) for control of 12 number of linear probe drives for a travel length of 100 cm. The process model of the vacuum production system has been prepared and validated against acquired pressure data. In the next upgrade, all the subsystems of the machine will be integrated in a systematic manner. The automation backbone is based on 4-wire multi-drop serial interface (RS485) using Modbus communication protocol. Software is developed on LabVIEW platform using
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.
On the Presentation of Pre-Calculus and Calculus Topics: An Alternate View
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…
A MATLAB-Aided Method for Teaching Calculus-Based Business Mathematics
Liang, Jiajuan; Pan, William S. Y.
2009-01-01
MATLAB is a powerful package for numerical computation. MATLAB contains a rich pool of mathematical functions and provides flexible plotting functions for illustrating mathematical solutions. The course of calculus-based business mathematics consists of two major topics: 1) derivative and its applications in business; and 2) integration and its…
Intra-Mathematical Connections Made by High School Students in Performing Calculus Tasks
García-García, Javier; Dolores-Flores, Crisólogo
2018-01-01
In this article, we report the results of research that explores the intra-mathematical connections that high school students make when they solve Calculus tasks, in particular those involving the derivative and the integral. We consider mathematical connections as a cognitive process through which a person relates or associates two or more ideas,…
Timing analysis of rate-constrained traffic in TTEthernet using network calculus
DEFF Research Database (Denmark)
Zhao, Luxi; Pop, Paul; Li, Qiao
2017-01-01
calculus (NC) to determine the worst-case end-to-end delays of RC traffic in TTEthernet. The main contribution of this paper is capturing the effects of all the integration policies on the latency bounds of RC traffic using NC, and the consideration of relative frame offsets of TT traffic to reduce...
What Do Croatian Pre-Service Teachers Remember from Their Calculus Course?
Jukic, Ljerka; Brückler, Franka Miriam
2014-01-01
This paper reports a study on retention of core concepts in differential and integral calculus by examining the knowledge of two pre-service mathematics students. The study is conducted using a mixed method approach and the obtained data were analyzed using theory of three worlds of mathematics. The results showed that having good understanding of…
Electronic Algebra and Calculus Tutor
Directory of Open Access Journals (Sweden)
Larissa Fradkin
2012-06-01
Full Text Available Modern undergraduates join science and engineering courses with poorer mathematical background than most contemporaries of the current faculty had when they were freshers. The problem is very acute in the United Kingdom but more and more countries adopt less resource intensive models of teaching and the problem spreads. University tutors and lecturers spend more and more time covering the basics. However, most of them still rely on traditional methods of delivery which presuppose that learners have a good memory and considerable time to practice, so that they can memorize disjointed facts and discover for themselves various connections between the underlying concepts. These suppositions are particularly unrealistic when dealing with a large number of undergraduates who are ordinary learners with limited mathematics background. The first author has developed a teaching system that allows such adult learners achieve relatively deep learning of mathematics – and remarkably quickly – through a teacher-guided (often called Socratic dialog, which aims at the frequent reinforcement of basic mathematical abstractions through Eulerian sequencing. These ideas have been applied to create a prototype of a Cognitive Mathematics Tutoring System aimed at teaching basic mathematics to University freshers., an electronic Personal Algebra and Calculus Tutor (e- PACT.
Gratton, Steven
2011-09-01
In this paper we present a path integral formulation of stochastic inflation. Volume weighting can be naturally implemented from this new perspective in a very straightforward way when compared to conventional Langevin approaches. With an in-depth study of inflation in a quartic potential, we investigate how the inflaton evolves and how inflation typically ends both with and without volume weighting. The calculation can be carried to times beyond those accessible to conventional Fokker-Planck approaches. Perhaps unexpectedly, complex histories sometimes emerge with volume weighting. The reward for this excursion into the complex plane is an insight into how volume-weighted inflation both loses memory of initial conditions and ends via slow roll. The slow-roll end of inflation mitigates certain “Youngness Paradox”-type criticisms of the volume-weighted paradigm. Thus it is perhaps time to rehabilitate proper-time volume weighting as a viable measure for answering at least some interesting cosmological questions.
International Nuclear Information System (INIS)
Gratton, Steven
2011-01-01
In this paper we present a path integral formulation of stochastic inflation. Volume weighting can be naturally implemented from this new perspective in a very straightforward way when compared to conventional Langevin approaches. With an in-depth study of inflation in a quartic potential, we investigate how the inflaton evolves and how inflation typically ends both with and without volume weighting. The calculation can be carried to times beyond those accessible to conventional Fokker-Planck approaches. Perhaps unexpectedly, complex histories sometimes emerge with volume weighting. The reward for this excursion into the complex plane is an insight into how volume-weighted inflation both loses memory of initial conditions and ends via slow roll. The slow-roll end of inflation mitigates certain ''Youngness Paradox''-type criticisms of the volume-weighted paradigm. Thus it is perhaps time to rehabilitate proper-time volume weighting as a viable measure for answering at least some interesting cosmological questions.
FY 1996 solid waste integrated life-cycle forecast characteristics summary. Volumes 1 and 2
Energy Technology Data Exchange (ETDEWEB)
Templeton, K.J.
1996-05-23
For the past six years, a waste volume forecast has been collected annually from onsite and offsite generators that currently ship or are planning to ship solid waste to the Westinghouse Hanford Company`s Central Waste Complex (CWC). This document provides a description of the physical waste forms, hazardous waste constituents, and radionuclides of the waste expected to be shipped to the CWC from 1996 through the remaining life cycle of the Hanford Site (assumed to extend to 2070). In previous years, forecast data has been reported for a 30-year time period; however, the life-cycle approach was adopted this year to maintain consistency with FY 1996 Multi-Year Program Plans. This document is a companion report to two previous reports: the more detailed report on waste volumes, WHC-EP-0900, FY1996 Solid Waste Integrated Life-Cycle Forecast Volume Summary and the report on expected containers, WHC-EP-0903, FY1996 Solid Waste Integrated Life-Cycle Forecast Container Summary. All three documents are based on data gathered during the FY 1995 data call and verified as of January, 1996. These documents are intended to be used in conjunction with other solid waste planning documents as references for short and long-term planning of the WHC Solid Waste Disposal Division`s treatment, storage, and disposal activities over the next several decades. This document focuses on two main characteristics: the physical waste forms and hazardous waste constituents of low-level mixed waste (LLMW) and transuranic waste (both non-mixed and mixed) (TRU(M)). The major generators for each waste category and waste characteristic are also discussed. The characteristics of low-level waste (LLW) are described in Appendix A. In addition, information on radionuclides present in the waste is provided in Appendix B. The FY 1996 forecast data indicate that about 100,900 cubic meters of LLMW and TRU(M) waste is expected to be received at the CWC over the remaining life cycle of the site. Based on
FY 1996 solid waste integrated life-cycle forecast characteristics summary. Volumes 1 and 2
International Nuclear Information System (INIS)
Templeton, K.J.
1996-01-01
For the past six years, a waste volume forecast has been collected annually from onsite and offsite generators that currently ship or are planning to ship solid waste to the Westinghouse Hanford Company's Central Waste Complex (CWC). This document provides a description of the physical waste forms, hazardous waste constituents, and radionuclides of the waste expected to be shipped to the CWC from 1996 through the remaining life cycle of the Hanford Site (assumed to extend to 2070). In previous years, forecast data has been reported for a 30-year time period; however, the life-cycle approach was adopted this year to maintain consistency with FY 1996 Multi-Year Program Plans. This document is a companion report to two previous reports: the more detailed report on waste volumes, WHC-EP-0900, FY1996 Solid Waste Integrated Life-Cycle Forecast Volume Summary and the report on expected containers, WHC-EP-0903, FY1996 Solid Waste Integrated Life-Cycle Forecast Container Summary. All three documents are based on data gathered during the FY 1995 data call and verified as of January, 1996. These documents are intended to be used in conjunction with other solid waste planning documents as references for short and long-term planning of the WHC Solid Waste Disposal Division's treatment, storage, and disposal activities over the next several decades. This document focuses on two main characteristics: the physical waste forms and hazardous waste constituents of low-level mixed waste (LLMW) and transuranic waste (both non-mixed and mixed) (TRU(M)). The major generators for each waste category and waste characteristic are also discussed. The characteristics of low-level waste (LLW) are described in Appendix A. In addition, information on radionuclides present in the waste is provided in Appendix B. The FY 1996 forecast data indicate that about 100,900 cubic meters of LLMW and TRU(M) waste is expected to be received at the CWC over the remaining life cycle of the site. Based on
Li, Xiao-Shi; Quan, Chang-Yi; Li, Gang; Cai, Qi-Liang; Hu, Bin; Wang, Jiu-Wei; Niu, Yuan-Jie
2013-02-01
To study the etiology, clinical manifestation, diagnosis and treatment of giant prostatic calculus with neurogenic bladder disease and prostate diverticulum. We retrospectively analyzed the clinical data of a case of giant prostatic calculus with neurogenic bladder disease and prostate diverticulum and reviewed the relevant literature. The patient was a 37-year-old man, with urinary incontinence for 22 years and intermittent dysuria with frequent micturition for 9 years, aggravated in the past 3 months. He had received surgery for spina bifida and giant vesico-prostatic calculus. The results of preoperative routine urinary examination were as follows: WBC 17 -20/HPF, RBC 12 - 15/HPF. KUB, IVU and pelvic CT revealed spina bifida occulta, neurogenic bladder and giant prostatic calculus. The patient underwent TURP and transurethral lithotripsy with holmium-YAG laser. The prostatic calculus was carbonate apatite in composition. Urinary dynamic images at 2 weeks after surgery exhibited significant improvement in the highest urine flow rate and residual urine volume. Seventeen months of postoperative follow-up showed dramatically improved urinary incontinence and thicker urine stream. Prostate diverticulum with prostatic giant calculus is very rare, and neurogenic bladder may play a role in its etiology. Cystoscopy is an accurate screening method for its diagnosis. For the young patients and those who wish to retain sexual function, TURP combined with holmium laser lithotripsy can be employed, and intraoperative rectal examination should be taken to ensure complete removal of calculi.
Ancient DNA analysis of dental calculus.
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.
Parallel, explicit, and PWTD-enhanced time domain volume integral equation solver
Liu, Yang
2013-07-01
Time domain volume integral equations (TDVIEs) are useful for analyzing transient scattering from inhomogeneous dielectric objects in applications as varied as photonics, optoelectronics, and bioelectromagnetics. TDVIEs typically are solved by implicit marching-on-in-time (MOT) schemes [N. T. Gres et al., Radio Sci., 36, 379-386, 2001], requiring the solution of a system of equations at each and every time step. To reduce the computational cost associated with such schemes, [A. Al-Jarro et al., IEEE Trans. Antennas Propagat., 60, 5203-5215, 2012] introduced an explicit MOT-TDVIE method that uses a predictor-corrector technique to stably update field values throughout the scatterer. By leveraging memory-efficient nodal spatial discretization and scalable parallelization schemes [A. Al-Jarro et al., in 28th Int. Rev. Progress Appl. Computat. Electromagn., 2012], this solver has been successfully applied to the analysis of scattering phenomena involving 0.5 million spatial unknowns. © 2013 IEEE.
Sayed, Sadeed Bin; Uysal, Ismail Enes; Bagci, Hakan; Ulku, H. Arda
2018-01-01
Quantum tunneling is observed between two nanostructures that are separated by a sub-nanometer gap. Electrons “jumping” from one structure to another create an additional current path. An auxiliary tunnel is introduced between the two structures as a support for this so that a classical electromagnetic solver can account for the effects of quantum tunneling. The dispersive permittivity of the tunnel is represented by a Drude model, whose parameters are obtained from the electron tunneling probability. The transient scattering from the connected nanostructures (i.e., nanostructures plus auxiliary tunnel) is analyzed using a time domain volume integral equation solver. Numerical results demonstrating the effect of quantum tunneling on the scattered fields are provided.
Regularization of positive definite matrix fields based on multiplicative calculus
Florack, L.M.J.; Bruckstein, A.M.; Haar Romeny, ter B.M.; Bronstein, A.M.; Bronstein, M.M.
2012-01-01
Multiplicative calculus provides a natural framework in problems involving positive images and positivity preserving operators. In increasingly important, complex imaging frameworks, such as diffusion tensor imaging, it complements standard calculus in a nontrivial way. The purpose of this article
Fuzzy relational calculus theory, applications and software
Peeva, Ketty
2004-01-01
This book examines fuzzy relational calculus theory with applications in various engineering subjects. The scope of the text covers unified and exact methods with algorithms for direct and inverse problem resolution in fuzzy relational calculus. Extensive engineering applications of fuzzy relation compositions and fuzzy linear systems (linear, relational and intuitionistic) are discussed. Some examples of such applications include solutions of equivalence, reduction and minimization problems in fuzzy machines, pattern recognition in fuzzy languages, optimization and inference engines in textile and chemical engineering, etc. A comprehensive overview of the authors' original work in fuzzy relational calculus is also provided in each chapter. The attached CD-Rom contains a toolbox with many functions for fuzzy calculations, together with an original algorithm for inverse problem resolution in MATLAB. This book is also suitable for use as a textbook in related courses at advanced undergraduate and graduate level...
Calculus of tensors and differential forms
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.
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
The giant calculus within the prostatic urethra.
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.
White noise calculus and Fock space
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.
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.
Science 101: How Do We Use Calculus in Science?
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…
A Transition Course from Advanced Placement to College Calculus
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…
Improving Calculus II and III through the Redistribution of Topics
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…
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.
Computer Managed Instruction Homework Modules for Calculus I.
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.…
ASSESSING STUDENTS' UNDERSTANDING OF PRE-CALCULUS CONCEPTS
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.
Reduced caudate volume and enhanced striatal-DMN integration in chess experts.
Duan, Xujun; He, Sheng; Liao, Wei; Liang, Dongmei; Qiu, Lihua; Wei, Luqing; Li, Yuan; Liu, Chengyi; Gong, Qiyong; Chen, Huafu
2012-04-02
The superior capability of chess experts largely depends on quick automatic processing skills which are considered to be mediated by the caudate nucleus. We asked whether continued practice or rehearsal of the skill over a long period of time can lead to structural changes in this region. We found that, comparing to novice controls, grandmaster and master level Chinese chess players (GM/Ms), who had a mean period of over 10years of tournament and training practice, exhibited significant smaller gray-matter volume in the bilateral caudate nuclei. When these regions were used as seeds in functional connectivity analysis in resting-state fMRI, significantly enhanced integration was found in GM/Ms between the caudate and the default mode network (DMN), a constellation of brain areas important for goal-directed cognitive performance and theory of mind. These findings demonstrate the structural changes in the caudate nucleus in response to its extensive engagement in chess problem solving, and its enhanced functional integration with widely distributed circuitry to better support high-level cognitive control of behavior. Copyright Â© 2012 Elsevier Inc. All rights reserved.
Projects for calculus the language of change
Stroyan, Keith D
1999-01-01
Projects for Calculus is designed to add depth and meaning to any calculus course. The fifty-two projects presented in this text offer the opportunity to expand the use and understanding of mathematics. The wide range of topics will appeal to both instructors and students. Shorter, less demanding projects can be managed by the independent learner, while more involved, in-depth projects may be used for group learning. Each task draws on special mathematical topics and applications from subjects including medicine, engineering, economics, ecology, physics, and biology.Subjects including:* Medicine* Engineering* Economics* Ecology* Physics* Biology
Dynamical Regge calculus as lattice gravity
International Nuclear Information System (INIS)
Hagura, Hiroyuki
2001-01-01
We propose a hybrid approach to lattice quantum gravity by combining simultaneously the dynamical triangulation with the Regge calculus, called the dynamical Regge calculus (DRC). In this approach lattice diffeomorphism is realized as an exact symmetry by some hybrid (k, l) moves on the simplicial lattice. Numerical study of 3D pure gravity shows that an entropy of the DRC is not exponetially bounded if we adopt the uniform measure Π i dl i . On the other hand, using the scale-invariant measure Π i dl i /l i , we can calculate observables and observe a large hysteresis between two phases that indicates the first-order nature of the phase transition
Variational calculus with constraints on general algebroids
Energy Technology Data Exchange (ETDEWEB)
Grabowska, Katarzyna [Physics Department, Division of Mathematical Methods in Physics, University of Warsaw, Hoza 69, 00-681 Warszawa (Poland); Grabowski, Janusz [Institute of Mathematics, Polish Academy of Sciences, Sniadeckich 8, PO Box 21, 00-956 Warszawa (Poland)], E-mail: konieczn@fuw.edu.pl, E-mail: jagrab@impan.gov.pl
2008-05-02
Variational calculus on a vector bundle E equipped with a structure of a general algebroid is developed, together with the corresponding analogs of Euler-Lagrange equations. Constrained systems are introduced in the variational and geometrical settings. The constrained Euler-Lagrange equations are derived for analogs of holonomic, vakonomic and nonholonomic constraints. This general model covers the majority of first-order Lagrangian systems which are present in the literature and reduces to the standard variational calculus and the Euler-Lagrange equations in classical mechanics for E = TM.
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
Hybrid Logical Analyses of the Ambient Calculus
DEFF Research Database (Denmark)
Bolander, Thomas; Hansen, René Rydhof
2007-01-01
In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...... in a natural way. We show that hybrid logic is very well suited to express the semantic structure of the ambient calculus and how features of hybrid logic can be exploited to reduce the "administrative overhead" of the analysis specification and thus simplify it. Finally, we use HyLoTab, a fully automated...
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...
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.)
Variational calculus with constraints on general algebroids
International Nuclear Information System (INIS)
Grabowska, Katarzyna; Grabowski, Janusz
2008-01-01
Variational calculus on a vector bundle E equipped with a structure of a general algebroid is developed, together with the corresponding analogs of Euler-Lagrange equations. Constrained systems are introduced in the variational and geometrical settings. The constrained Euler-Lagrange equations are derived for analogs of holonomic, vakonomic and nonholonomic constraints. This general model covers the majority of first-order Lagrangian systems which are present in the literature and reduces to the standard variational calculus and the Euler-Lagrange equations in classical mechanics for E = TM
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.)
A sequent calculus for signed interval logic
DEFF Research Database (Denmark)
Rasmussen, Thomas Marthedal
2001-01-01
We propose and discuss a complete sequent calculus formulation for Signed Interval Logic (SIL) with the chief purpose of improving proof support for SIL in practice. The main theoretical result is a simple characterization of the limit between decidability and undecidability of quantifier-free SIL....... We present a mechanization of SIL in the generic proof assistant Isabelle and consider techniques for automated reasoning. Many of the results and ideas of this report are also applicable to traditional (non-signed) interval logic and, hence, to Duration Calculus....
A Time Marching Scheme for Solving Volume Integral Equations on Nonlinear Scatterers
Bagci, Hakan
2015-01-01
Transient electromagnetic field interactions on inhomogeneous penetrable scatterers can be analyzed by solving time domain volume integral equations (TDVIEs). TDVIEs are oftentimes solved using marchingon-in-time (MOT) schemes. Unlike finite difference and finite element schemes, MOT-TDVIE solvers require discretization of only the scatterers, do not call for artificial absorbing boundary conditions, and are more robust to numerical phase dispersion. On the other hand, their computational cost is high, they suffer from late-time instabilities, and their implicit nature makes incorporation of nonlinear constitutive relations more difficult. Development of plane-wave time-domain (PWTD) and FFT-based schemes has significantly reduced the computational cost of the MOT-TDVIE solvers. Additionally, latetime instability problem has been alleviated for all practical purposes with the development of accurate integration schemes and specially designed temporal basis functions. Addressing the third challenge is the topic of this presentation. I will talk about an explicit MOT scheme developed for solving the TDVIE on scatterers with nonlinear material properties. The proposed scheme separately discretizes the TDVIE and the nonlinear constitutive relation between electric field intensity and flux density. The unknown field intensity and flux density are expanded using half and full Schaubert-Wilton-Glisson (SWG) basis functions in space and polynomial temporal interpolators in time. The resulting coupled system of the discretized TDVIE and constitutive relation is integrated in time using an explicit P E(CE) m scheme to yield the unknown expansion coefficients. Explicitness of time marching allows for straightforward incorporation of the nonlinearity as a function evaluation on the right hand side of the coupled system of equations. Consequently, the resulting MOT scheme does not call for a Newton-like nonlinear solver. Numerical examples, which demonstrate the applicability
A Time Marching Scheme for Solving Volume Integral Equations on Nonlinear Scatterers
Bagci, Hakan
2015-01-07
Transient electromagnetic field interactions on inhomogeneous penetrable scatterers can be analyzed by solving time domain volume integral equations (TDVIEs). TDVIEs are oftentimes solved using marchingon-in-time (MOT) schemes. Unlike finite difference and finite element schemes, MOT-TDVIE solvers require discretization of only the scatterers, do not call for artificial absorbing boundary conditions, and are more robust to numerical phase dispersion. On the other hand, their computational cost is high, they suffer from late-time instabilities, and their implicit nature makes incorporation of nonlinear constitutive relations more difficult. Development of plane-wave time-domain (PWTD) and FFT-based schemes has significantly reduced the computational cost of the MOT-TDVIE solvers. Additionally, latetime instability problem has been alleviated for all practical purposes with the development of accurate integration schemes and specially designed temporal basis functions. Addressing the third challenge is the topic of this presentation. I will talk about an explicit MOT scheme developed for solving the TDVIE on scatterers with nonlinear material properties. The proposed scheme separately discretizes the TDVIE and the nonlinear constitutive relation between electric field intensity and flux density. The unknown field intensity and flux density are expanded using half and full Schaubert-Wilton-Glisson (SWG) basis functions in space and polynomial temporal interpolators in time. The resulting coupled system of the discretized TDVIE and constitutive relation is integrated in time using an explicit P E(CE) m scheme to yield the unknown expansion coefficients. Explicitness of time marching allows for straightforward incorporation of the nonlinearity as a function evaluation on the right hand side of the coupled system of equations. Consequently, the resulting MOT scheme does not call for a Newton-like nonlinear solver. Numerical examples, which demonstrate the applicability
Aikio, Sanna; Hiltunen, Jussi; Hiitola-Keinänen, Johanna; Hiltunen, Marianne; Kontturi, Ville; Siitonen, Samuli; Puustinen, Jarkko; Karioja, Pentti
2016-02-08
Flexible photonic integrated circuit technology is an emerging field expanding the usage possibilities of photonics, particularly in sensor applications, by enabling the realization of conformable devices and introduction of new alternative production methods. Here, we demonstrate that disposable polymeric photonic integrated circuit devices can be produced in lengths of hundreds of meters by ultra-high volume roll-to-roll methods on a flexible carrier. Attenuation properties of hundreds of individual devices were measured confirming that waveguides with good and repeatable performance were fabricated. We also demonstrate the applicability of the devices for the evanescent wave sensing of ambient refractive index. The production of integrated photonic devices using ultra-high volume fabrication, in a similar manner as paper is produced, may inherently expand methods of manufacturing low-cost disposable photonic integrated circuits for a wide range of sensor applications.
Flows and stochastic Taylor series in Itô calculus
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.
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.
Directory of Open Access Journals (Sweden)
Chieh-Fan Chen
2011-01-01
Full Text Available This study analyzed meteorological, clinical and economic factors in terms of their effects on monthly ED revenue and visitor volume. Monthly data from January 1, 2005 to September 30, 2009 were analyzed. Spearman correlation and cross-correlation analyses were performed to identify the correlation between each independent variable, ED revenue, and visitor volume. Autoregressive integrated moving average (ARIMA model was used to quantify the relationship between each independent variable, ED revenue, and visitor volume. The accuracies were evaluated by comparing model forecasts to actual values with mean absolute percentage of error. Sensitivity of prediction errors to model training time was also evaluated. The ARIMA models indicated that mean maximum temperature, relative humidity, rainfall, non-trauma, and trauma visits may correlate positively with ED revenue, but mean minimum temperature may correlate negatively with ED revenue. Moreover, mean minimum temperature and stock market index fluctuation may correlate positively with trauma visitor volume. Mean maximum temperature, relative humidity and stock market index fluctuation may correlate positively with non-trauma visitor volume. Mean maximum temperature and relative humidity may correlate positively with pediatric visitor volume, but mean minimum temperature may correlate negatively with pediatric visitor volume. The model also performed well in forecasting revenue and visitor volume.
Yang, Sam
The dissertation presents the mathematical formulation, experimental validation, and application of a volume element model (VEM) devised for modeling, simulation, and optimization of energy systems in their early design stages. The proposed model combines existing modeling techniques and experimental adjustment to formulate a reduced-order model, while retaining sufficient accuracy to serve as a practical system-level design analysis and optimization tool. In the VEM, the physical domain under consideration is discretized in space using lumped hexahedral elements (i.e., volume elements), and the governing equations for the variable of interest are applied to each element to quantify diverse types of flows that cross it. Subsequently, a system of algebraic and ordinary differential equations is solved with respect to time and scalar (e.g., temperature, relative humidity, etc.) fields are obtained in both spatial and temporal domains. The VEM is capable of capturing and predicting dynamic physical behaviors in the entire system domain (i.e., at system level), including mutual interactions among system constituents, as well as with their respective surroundings and cooling systems, if any. The VEM is also generalizable; that is, the model can be easily adapted to simulate and optimize diverse systems of different scales and complexity and attain numerical convergence with sufficient accuracy. Both the capability and generalizability of the VEM are demonstrated in the dissertation via thermal modeling and simulation of an Off-Grid Zero Emissions Building, an all-electric ship, and a vapor compression refrigeration (VCR) system. Furthermore, the potential of the VEM as an optimization tool is presented through the integrative thermodynamic optimization of a VCR system, whose results are used to evaluate the trade-offs between various objective functions, namely, coefficient of performance, second law efficiency, pull-down time, and refrigerated space temperature, in
Success in Introductory Calculus: The Role of High School and Pre-calculus Preparation
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...
Ulku, Huseyin Arda
2014-07-06
Effects of material nonlinearities on electromagnetic field interactions become dominant as field amplitudes increase. A typical example is observed in plasmonics, where highly localized fields “activate” Kerr nonlinearities. Naturally, time domain solvers are the method of choice when it comes simulating these nonlinear effects. Oftentimes, finite difference time domain (FDTD) method is used for this purpose. This is simply due to the fact that explicitness of the FDTD renders the implementation easier and the material nonlinearity can be easily accounted for using an auxiliary differential equation (J.H. Green and A. Taflove, Opt. Express, 14(18), 8305-8310, 2006). On the other hand, explicit marching on-in-time (MOT)-based time domain integral equation (TDIE) solvers have never been used for the same purpose even though they offer several advantages over FDTD (E. Michielssen, et al., ECCOMAS CFD, The Netherlands, Sep. 5-8, 2006). This is because explicit MOT solvers have never been stabilized until not so long ago. Recently an explicit but stable MOT scheme has been proposed for solving the time domain surface magnetic field integral equation (H.A. Ulku, et al., IEEE Trans. Antennas Propag., 61(8), 4120-4131, 2013) and later it has been extended for the time domain volume electric field integral equation (TDVEFIE) (S. B. Sayed, et al., Pr. Electromagn. Res. S., 378, Stockholm, 2013). This explicit MOT scheme uses predictor-corrector updates together with successive over relaxation during time marching to stabilize the solution even when time step is as large as in the implicit counterpart. In this work, an explicit MOT-TDVEFIE solver is proposed for analyzing electromagnetic wave interactions on scatterers exhibiting Kerr nonlinearity. Nonlinearity is accounted for using the constitutive relation between the electric field intensity and flux density. Then, this relation and the TDVEFIE are discretized together by expanding the intensity and flux - sing half
Lee, Ho; Ryan, Robert T; Kim, Jeehyun; Choi, Bernard; Arakeri, Navanit V; Teichman, Joel M H; Welch, A J
2004-08-01
During pulsed laser lithotripsy, the calculus is subject to a strong recoil momentum which moves the calculus away from laser delivery and prolongs the operation. This study was designed to quantify the recoil momentum during Ho:YAG laser lithotripsy. The correlation among crater shape, debris trajectory, laser-induced bubble and recoil momentum was investigated. Calculus phantoms made from plaster of Paris were ablated with free running Ho:YAG lasers. The dynamics of recoil action of a calculus phantom was monitored by a high-speed video camera and the laser ablation craters were examined with Optical Coherent Tomography (OCT). Higher radiant exposure resulted in larger ablation volume (mass) which increased the recoil momentum. Smaller fibers produced narrow craters with a steep contoured geometry and decreased recoil momentum compared to larger fibers. In the presence of water, recoil motion of the phantom deviated from that of phantom in air. Under certain conditions, we observed the phantom rocking towards the fiber after the laser pulse. The shape of the crater is one of the major contributing factors to the diminished recoil momentum of smaller fibers. The re-entrance flow of water induced by the bubble collapse is considered to be the cause of the rocking of the phantom.
A Typed Functional Calculus With State
Rensink, Arend; Müllhäuser, M.
1997-01-01
We extend the simple typed \\lambda-calculus with statements. A statement (which can also be thought of as a method or transition) is an abstraction similar to function abstraction: it can be instantiated by providing it with a source state, whereafter it yields a pair of values consisting of an
Bolt, Mike
2010-01-01
Many optimization problems can be solved without resorting to calculus. This article develops a new variational method for optimization that relies on inequalities. The method is illustrated by four examples, the last of which provides a completely algebraic solution to the problem of minimizing the time it takes a dog to retrieve a thrown ball,…
Spinor calculus on 5-dimensional spacetimes
International Nuclear Information System (INIS)
Gomez-Lobo, Alfonso Garcia-Parrado; Martin-Garcia, Jose M
2010-01-01
We explain how Penrose's spinor calculus of 4-dimensional Lorentzian geometry is implemented in a 5-dimensional Lorentzian manifold. A number of issues, such as the essential spin algebra, the spin covariant derivative and the algebro-differential properties of the curvature spinors are discussed.
Bladder calculus presenting as excessive masturbation.
De Alwis, A C D; Senaratne, A M R D; De Silva, S M P D; Rodrigo, V S D
2006-09-01
Masturbation in childhood is a normal behaviour which most commonly begins at 2 months of age, and peaks at 4 years and in adolescence. However excessive masturbation causes anxiety in parents. We describe a boy with a bladder calculus presenting as excessive masturbation.
Continuous fragment of the mu-calculus
Fontaine, G.
2008-01-01
In this paper we investigate the Scott continuous fragment of the modal μ-calculus. We discuss its relation with constructivity, where we call a formula constructive if its least fixpoint is always reached in at most ω steps. Our main result is a syntactic characterization of this continuous
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.''
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.)
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)
A new approach to the Regge calculus
International Nuclear Information System (INIS)
Porter, J.
1987-01-01
The paper develops a new approach to Regge calculus, a numerical technique used for the calculation of general relativistic spacetimes. The method is developed in an original '3 + 1' form in such a way that it can be applied to inhomogeneous spacetimes. (author)
Note on 3-dimensional Regge calculus
International Nuclear Information System (INIS)
Soda, Jiro
1991-01-01
We shall study 3-dimensional Regge calculus with concentrating the role of the Bianchi identity. As a result, the number of the physical variables is determined to be 12g - 12(g > 1). The reason why Rocek and Williams derived the exact result of Deser, Jackiw and 'tHooft is clarified. (author)
Enabling quaternion derivatives: the generalized HR calculus
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
Fractional vector calculus for fractional advection dispersion
Meerschaert, Mark M.; Mortensen, Jeff; Wheatcraft, Stephen W.
2006-07-01
We develop the basic tools of fractional vector calculus including a fractional derivative version of the gradient, divergence, and curl, and a fractional divergence theorem and Stokes theorem. These basic tools are then applied to provide a physical explanation for the fractional advection-dispersion equation for flow in heterogeneous porous media.
On varitional iteration method for fractional calculus
Directory of Open Access Journals (Sweden)
Wu Hai-Gen
2017-01-01
Full Text Available Modification of the Das’ variational iteration method for fractional differential equations is discussed, and its main shortcoming involved in the solution process is pointed out and overcome by using fractional power series. The suggested computational procedure is simple and reliable for fractional calculus.
Supercalculators and University Entrance Calculus Examinations.
Hong, Ye Yoon; Thomas, Mike; Kiernan, Christine
2000-01-01
Investigates whether the use of computer algebra systems could provide a significant advantage to students taking standard university entrance calculus examinations. Indicates that supercalculators would probably provide a significant advantage, particularly for lower-achieving students. Demonstrates that it is possible to write questions in which…
Exploring Flipped Classroom Instruction in Calculus III
Wasserman, Nicholas H.; Quint, Christa; Norris, Scott A.; Carr, Thomas
2017-01-01
In an undergraduate Calculus III class, we explore the effect of "flipping" the instructional delivery of content on both student performance and student perceptions. Two instructors collaborated to determine daily lecture notes, assigned the same homework problems, and gave identical exams; however, compared to a more traditional…
Teaching Calculus Students How to Study.
Boelkins, Matthew R.; Pfaff, Thomas J.
1998-01-01
Addresses the problem of poor study habits in calculus students and presents techniques to teach students how to study consistently and effectively. Concludes that many students greatly appreciate the added structure, work harder than in previous courses, and witness newfound success as a consequence. (Author/ASK)
Some Factors Effected Student's Calculus Learning Outcome
Rajagukguk, Wamington
2016-01-01
The purpose of this study is to determine the factors effected calculus learning outcome of the student. This study was conducted with 176 respondents, which were selected randomly. The data were obtained by questionnaire, and then analyzed by using multiple regressions, and correlation, at level of a = 0.05. The findings showed there is the…
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
Symbolic boundary calculus and feedback operators
DEFF Research Database (Denmark)
Pedersen, Michael
1991-01-01
The recent developments in microlocal analysis and pseudodifferential boundary calculus are well suited tools in the investigation of a large number of problems occurring in control theory for partial differential equations. We explain some of the basic ideas of a pseudodifferential model...
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
Are Homeschoolers Prepared for College Calculus?
Wilkens, Christian P.; Wade, Carol H.; Sonnert, Gerhard; Sadler, Philip M.
2015-01-01
Homeschooling in the United States has grown considerably over the past several decades. This article presents findings from the Factors Influencing College Success in Mathematics (FICSMath) survey, a national study of 10,492 students enrolled in tertiary calculus, including 190 students who reported homeschooling for a majority of their high…
Discrete Calculus as a Bridge between Scales
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
Students' Difficulties with Vector Calculus in Electrodynamics
Bollen, Laurens; van Kampen, Paul; De Cock, Mieke
2015-01-01
Understanding Maxwell's equations in differential form is of great importance when studying the electrodynamic phenomena discussed in advanced electromagnetism courses. It is therefore necessary that students master the use of vector calculus in physical situations. In this light we investigated the difficulties second year students at KU Leuven…
Online Calculus: The Course and Survey Results.
Allen, G. Donald
2001-01-01
Describes the development and implementation of a Web-based calculus course at Texas A & M University. Discusses the course design, layout of content and the contrast with textbook structure, results of course surveys that included student reactions, and how students learn form Web-based materials. (Author/LRW)
Maple Graphing Tools for Calculus III
Cook, Darwyn
2006-01-01
For those instructors lacking artistic skills, teaching 3-dimensional calculus can be a challenge. Although some instructors spend a great deal of time working on their illustrations, trying to get them just right, students nevertheless often have a difficult time understanding some of them. To address this problem, the author has written a series…
Elementary Business Calculus with Computer Algebra.
Judson, Phoebe T.
1990-01-01
Described are various ways that a computer algebra system (MAPLE) was used to facilitate the resequencing of skills and applications within an elementary college-level business calculus course. Experimental results confirmed earlier findings that skills acquisition is not a prerequisite to conceptual understanding or problem-solving ability. (JJK)
Full Lambek Calculus with Contraction is Undecidable
Czech Academy of Sciences Publication Activity Database
Chvalovský, Karel; Horčík, Rostislav
2016-01-01
Roč. 81, č. 2 (2016), s. 524-540 ISSN 0022-4812 R&D Projects: GA ČR GAP202/11/1632 Institutional support: RVO:67985807 Keywords : substructural logic * full Lambek calculus * contraction rule * square-increasing residuated lattice * equational theory * decidability Subject RIV: BA - General Mathematics Impact factor: 0.511, year: 2016
A planar calculus for infinite index subfactors
Penneys, David
2011-01-01
We develop an analog of Jones' planar calculus for II_1-factor bimodules with arbitrary left and right von Neumann dimension. We generalize to bimodules Burns' results on rotations and extremality for infinite index subfactors. These results are obtained without Jones' basic construction and the resulting Jones projections.
A Planar Calculus for Infinite Index Subfactors
Penneys, David
2013-05-01
We develop an analog of Jones' planar calculus for II 1-factor bimodules with arbitrary left and right von Neumann dimension. We generalize to bimodules Burns' results on rotations and extremality for infinite index subfactors. These results are obtained without Jones' basic construction and the resulting Jones projections.
Hybrid Logical Analyses of the Ambient Calculus
DEFF Research Database (Denmark)
Bolander, Thomas; Hansen, René Rydhof
2007-01-01
In this paper, hybrid logic is used to formulate a rational reconstruction of a previously published control flow analysis for the mobile ambients calculus and we further show how a more precise flow-sensitive analysis, that takes the ordering of action sequences into account, can be formulated...
Representations in Calculus: Two Contrasting Cases.
Aspinwall, Leslie; Shaw, Kenneth L.
2002-01-01
Illustrates the contrasting thinking processes of two beginning calculus students' geometric and analytic schemes for the derivative function. Suggests that teachers can enhance students' understanding by continuing to demonstrate how different representations of the same mathematical concept provide additional information. (KHR)
A Temporal Concurrent Constraint Programming Calculus
DEFF Research Database (Denmark)
Palamidessi, Catuscia; Valencia Posso, Frank Darwin
2001-01-01
The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to tcc the capability of modeling asynchronous and non-deterministic timed behavior. We call this tcc extension the ntcc calculus...
Flipping a Calculus Class: One Instructor's Experience
Palmer, Katrina
2015-01-01
This paper describes one instructor's experiences during a year of flipping four calculus classes. The first exploration attempts to understand student expectations of a math class and their preference towards a flipped classroom. The second examines success of students from a flipped classroom, and the last investigates relationships with student…
Sharks, Minnows, and Wheelbarrows: Calculus Modeling Projects
Smith, Michael D.
2011-01-01
The purpose of this article is to present two very active applied modeling projects that were successfully implemented in a first semester calculus course at Hollins University. The first project uses a logistic equation to model the spread of a new disease such as swine flu. The second project is a human take on the popular article "Do Dogs Know…
The lambda sigma calculus and strong normalization
DEFF Research Database (Denmark)
Schack-Nielsen, Anders; Schürmann, Carsten
Explicit substitution calculi can be classified into several dis- tinct categories depending on whether they are confluent, meta-confluent, strong normalization preserving, strongly normalizing, simulating, fully compositional, and/or local. In this paper we present a variant of the λσ-calculus, ...
Optimal control and the calculus of variations
Pinch, Enid R
1993-01-01
This introduction to optimal control theory is intended for undergraduate mathematicians and for engineers and scientists with some knowledge of classical analysis. It includes sections on classical optimization and the calculus of variations. All the important theorems are carefully proved. There are many worked examples and exercises for the reader to attempt.