WorldWideScience

Sample records for two-semester introductory calculus

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

    Science.gov (United States)

    Robinson, William Baker

    1970-01-01

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

  2. Development and Implementation of a Two-Semester Introductory Organic-Bioorganic Chemistry Sequence: Conclusions from the First Six Years

    Science.gov (United States)

    Goess, Brian C.

    2014-01-01

    A two-semester second-year introductory organic chemistry sequence featuring one semester of accelerated organic chemistry followed by one semester of bioorganic chemistry is described. Assessment data collected over a six-year period reveal that such a course sequence can facilitate student mastery of fundamental organic chemistry in the first…

  3. Analyzing Conceptual Gains in Introductory Calculus with Interactively-Engaged Teaching Styles

    Science.gov (United States)

    Thomas, Matthew

    2013-01-01

    This dissertation examines the relationship between an instructional style called Interactive-Engagement (IE) and gains on a measure of conceptual knowledge called the Calculus Concept Inventory (CCI). The data comes from two semesters of introductory calculus courses (Fall 2010 and Spring 2011), consisting of a total of 482 students from the…

  4. An Introductory Calculus-Based Mechanics Investigation

    Science.gov (United States)

    Allen, Bradley

    2017-01-01

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

  5. Introductory analysis a deeper view of calculus

    CERN Document Server

    Bagby, Richard J

    2000-01-01

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

  6. Differential participation in formative assessment and achievement in introductory calculus

    OpenAIRE

    Dibbs, Rebecca-Anne

    2015-01-01

    International audience; Prior formative assessment research has shown positive achievement gains when classes using formative assessment are compared to classes that do not. However, little is known about what, if any, benefits of formative assessment occur within a class. The purpose of this study was to investigate the achievement of the students in introductory calculus using formative assessment at the two different participation levels observed in class. Although there was no significant...

  7. Promoting Metacognition in Introductory Calculus-based Physics Labs

    Science.gov (United States)

    Grennell, Drew; Boudreaux, Andrew

    2010-10-01

    In the Western Washington University physics department, a project is underway to develop research-based laboratory curriculum for the introductory calculus-based course. Instructional goals not only include supporting students' conceptual understanding and reasoning ability, but also providing students with opportunities to engage in metacognition. For the latter, our approach has been to scaffold reflective thinking with guided questions. Specific instructional strategies include analysis of alternate reasoning presented in fictitious dialogues and comparison of students' initial ideas with their lab group's final, consensus understanding. Assessment of student metacognition includes pre- and post- course data from selected questions on the CLASS survey, analysis of written lab worksheets, and student opinion surveys. CLASS results are similar to a traditional physics course and analysis of lab sheets show that students struggle to engage in a metacognitive process. Future directions include video studies, as well as use of additional written assessments adapted from educational psychology.

  8. Calculus introductory theory and applications in physical and life science

    CERN Document Server

    Johnson, R M

    1995-01-01

    This lucid and balanced introduction for first year engineers and applied mathematicians conveys the clear understanding of the fundamentals and applications of calculus, as a prelude to studying more advanced functions. Short and fundamental diagnostic exercises at the end of each chapter test comprehension before moving to new material.Provides a clear understanding of the fundamentals and applications of calculus, as a prelude to studying more advanced functionsIncludes short, useful diagnostic exercises at the end of each chapter

  9. Transversality of Electromagnetic Waves in the Calculus-Based Introductory Physics Course

    Science.gov (United States)

    Burko, Lior M.

    2008-01-01

    Introductory calculus-based physics textbooks state that electromagnetic waves are transverse and list many of their properties, but most such textbooks do not bring forth arguments why this is so. Both physical and theoretical arguments are at a level appropriate for students of courses based on such books, and could be readily used by…

  10. History-Infused Lessons in Introductory Calculus at the Secondary Level: Students' Learning and Perceptions

    Science.gov (United States)

    Poh, Wei Beng; Dindyal, Jaguthsing

    2016-01-01

    A history-infused lesson package developed by a team of teachers in a professional learning community was used to teach introductory calculus in a secondary school. First, we report a quasi-experimental design that showed that students in the experimental group performed significantly better than students in the control group. Second, we report on…

  11. Transversality of Electromagnetic Waves in the Calculus--Based Introductory Physics Course

    Science.gov (United States)

    Burko, Lior M.

    2009-05-01

    Introductory calculus--based physics textbooks state that electromagnetic waves are transverse and list many of their properties, but most such textbooks do not bring forth arguments why this is so. Both physical and theoretical arguments are at a level appropriate for students of courses based on such books, and could be readily used by instructors of such courses. Here, we discuss two physical arguments (based on polarization experiments and on lack of monopole electromagnetic radiation), and the full argument for the transversality of (plane) electromagnetic waves based on the integral Maxwell equations. We also show, at a level appropriate for the introductory course, why the electric and magnetic fields in a wave are in phase and the relation of their magnitudes. We have successfully integrated this approach in the calculus--based introductory physics course at the University of Alabama in Huntsville.

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

    OpenAIRE

    Ayebo, Abraham; Ukkelberg, Sarah; Assuah, Charles

    2017-01-01

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

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

    Science.gov (United States)

    Ayebo, Abraham; Ukkelberg, Sarah; Assuah, Charles

    2017-01-01

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

  14. Transversality of electromagnetic waves in the calculus-based introductory physics course

    International Nuclear Information System (INIS)

    Burko, Lior M

    2008-01-01

    Introductory calculus-based physics textbooks state that electromagnetic waves are transverse and list many of their properties, but most such textbooks do not bring forth arguments why this is so. Both physical and theoretical arguments are at a level appropriate for students of courses based on such books, and could be readily used by instructors of such courses. Here, we discuss two physical arguments (based on polarization experiments and on lack of monopole electromagnetic radiation) and the full argument for the transversality of (plane) electromagnetic waves based on the integral Maxwell equations. We also show, at a level appropriate for the introductory course, why the electric and magnetic fields in a wave are in phase and the relation of their magnitudes

  15. Transversality of electromagnetic waves in the calculus-based introductory physics course

    Science.gov (United States)

    Burko, Lior M.

    2008-11-01

    Introductory calculus-based physics textbooks state that electromagnetic waves are transverse and list many of their properties, but most such textbooks do not bring forth arguments why this is so. Both physical and theoretical arguments are at a level appropriate for students of courses based on such books, and could be readily used by instructors of such courses. Here, we discuss two physical arguments (based on polarization experiments and on lack of monopole electromagnetic radiation) and the full argument for the transversality of (plane) electromagnetic waves based on the integral Maxwell equations. We also show, at a level appropriate for the introductory course, why the electric and magnetic fields in a wave are in phase and the relation of their magnitudes.

  16. Capsule calculus

    CERN Document Server

    Ritow, Ira

    2003-01-01

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

  17. Calculus

    CERN Document Server

    Jones, Patrick

    2014-01-01

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

  18. Calculus

    CERN Document Server

    Larson, Ron

    2014-01-01

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

  19. Calculus

    CERN Document Server

    Grossman, Stanley I

    1981-01-01

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

  20. Assessment of Student Learning in Modern Experiments in the Introductory Calculus-Based Physics Labs

    Science.gov (United States)

    Woodahl, Brian; Ross, John; Lang, Sarah; Scott, Derek; Williams, Jeremy

    2010-10-01

    With the advent of newer microelectronic sensors it's now possible to modernize introductory physics labs with the latest technology and this may allow for enhanced student participation/learning in the experiments. For example, force plate sensors can digitize and record the force on an object, later it can be analyzed in detail (i.e, impulse from force vs. time). Small 3-axis accelerometers can record 3-dim, time-dependent acceleration of objects undergoing complex motions. These devices are small, fairly easy to use, and importantly, are likely to enhance student learning by ``personalizing'' data collection, i.e. making the student an active part of the measurement process and no longer a passive observer. To assess whether these new high-tech labs enhance student learning, we have implemented pre- and post- test sessions to measure the effectiveness of student learning. Four of our calculus-based lab sections were used: Two sections the control group, using the previous ``old technology'' labs, the other two, the experimental group, using the new ``modern technology'' labs. Initial returns of assessment data offer some surprising insight.

  1. Calculus

    CERN Document Server

    Spivak, Michael

    2006-01-01

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

  2. Calculus

    CERN Document Server

    Grossman, Stanley I

    1984-01-01

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

  3. Calculus

    CERN Document Server

    Zandy, Bernard V

    2003-01-01

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

  4. Calculus refresher

    CERN Document Server

    Klaf, A A

    1956-01-01

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

  5. Putting Differentials Back into Calculus

    Science.gov (United States)

    Dray, Tevian; Manogue, Corrine A.

    2010-01-01

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

  6. Thematization of the Calculus Graphing Schema

    Science.gov (United States)

    Cooley, Laurel; Baker, Bernadette; Trigueros, Maria

    2003-01-01

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

  7. Can Earth Materials BE Adequately Covered in a - or Two-Semester Course?

    Science.gov (United States)

    Hefferan, K. P.; O'Brien, J.

    2007-12-01

    Traditional geology programs offer courses in mineralogy, optical mineralogy, igneous petrology, metamorphic petrology, sedimentology and economic geology. At many universities this suite of mineralogy/petrology courses has been supplanted by a one-semester or two-semester Earth Materials course. This interactive poster poses five questions to faculty and students related to the means by which Earth Materials can be delivered: 1) Available online syllabi demonstrate a wide variation in the topics addressed in Earth Materials courses; is there a standard core of key topics that must be covered and in what level of detail? 2) Can a one-semester or two- semester Earth Materials course adequately cover these topics? 3) Excellent textbooks exist in both mineralogy and in petrology; what textbooks, if any, adequately encompass Earth Materials? 4) How has the online environment changed the way in which we use textbooks in the classroom? 5) Given the evolution of geology programs, higher education and the global economy in the past twenty years, what additional changes can be anticipated with respect to delivery and demand of Earth Materials topics? Answers-- or at least related discussions-- to these questions are encouraged via verbal dialogue among participants and/or by comments written on the poster. Our goal is to solicit faculty, student and industry feedback to create a textbook, curricula and online materials that support an Earth Materials course.

  8. Tensor Calculus: Unlearning Vector Calculus

    Science.gov (United States)

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

    2018-01-01

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

  9. The absolute differential calculus calculus of tensors

    CERN Document Server

    Levi-Cività, Tullio

    1926-01-01

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

  10. The Structure of the Introductory Economics Course in United States Colleges.

    Science.gov (United States)

    Sweeney, M. Jane Barr; And Others

    1983-01-01

    This survey examined class size, teaching methods, and the one-semester/two-semester organization of the introductory economics course. Student satisfaction with respect to their institution was also studied. (Author/RM)

  11. Technical calculus with analytic geometry

    CERN Document Server

    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

  12. Two-dimensional calculus

    CERN Document Server

    Osserman, Robert

    2011-01-01

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

  13. Mathematical Rigor in Introductory Physics

    Science.gov (United States)

    Vandyke, Michael; Bassichis, William

    2011-10-01

    Calculus-based introductory physics courses intended for future engineers and physicists are often designed and taught in the same fashion as those intended for students of other disciplines. A more mathematically rigorous curriculum should be more appropriate and, ultimately, more beneficial for the student in his or her future coursework. This work investigates the effects of mathematical rigor on student understanding of introductory mechanics. Using a series of diagnostic tools in conjunction with individual student course performance, a statistical analysis will be performed to examine student learning of introductory mechanics and its relation to student understanding of the underlying calculus.

  14. Introductory real analysis

    CERN Document Server

    Kolmogorov, A N; Silverman, Richard A

    1975-01-01

    Self-contained and comprehensive, this elementary introduction to real and functional analysis is readily accessible to those with background in advanced calculus. It covers basic concepts and introductory principles in set theory, metric spaces, topological and linear spaces, linear functionals and linear operators, and much more. 350 problems. 1970 edition.

  15. Continuation calculus

    NARCIS (Netherlands)

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

    2013-01-01

    Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation. We introduce continuation calculus, or CC, a deterministic model of computation that is evaluated using only head

  16. Calculus light

    CERN Document Server

    Friedman, Menahem

    2011-01-01

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

  17. Multivariate calculus and geometry

    CERN Document Server

    Dineen, Seán

    2014-01-01

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

  18. Tuplix Calculus

    OpenAIRE

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

    2007-01-01

    We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive composition. We define a standard model and prove that CTC is relatively complete with respect to it. The core calculus is extended with operators for choice, information hiding, scalar multiplicatio...

  19. Operational calculus

    CERN Document Server

    Boehme, Thomas K

    1987-01-01

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

  20. Using Isomorphic Problems to Learn Introductory Physics

    Science.gov (United States)

    Lin, Shih-Yin; Singh, Chandralekha

    2011-01-01

    In this study, we examine introductory physics students' ability to perform analogical reasoning between two isomorphic problems which employ the same underlying physics principles but have different surface features. Three hundred sixty-two students from a calculus-based and an algebra-based introductory physics course were given a quiz in the…

  1. Tuplix calculus

    NARCIS (Netherlands)

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

    2008-01-01

    We introduce a calculus for tuplices, which are expressions that generalize matrices and vectors. Tuplices have an underlying data type for quantities that are taken from a zero-totalized field. We start with the core tuplix calculus CTC for entries and tests, which are combined using conjunctive

  2. Students' Benefit from Video with Interactive Quizzes in a First-Year Calculus Course

    DEFF Research Database (Denmark)

    Midtiby, Henrik Skov; Nørgaard, Cita; Kjær, Christopher

    2017-01-01

    The intention of this project was to study the students’ self-reported learning outcome from different formats of videos in an introductory calculus course.......The intention of this project was to study the students’ self-reported learning outcome from different formats of videos in an introductory calculus course....

  3. Continuation calculus

    Directory of Open Access Journals (Sweden)

    Bram Geron

    2013-09-01

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

  4. The Complex Gradient Operator and the CR-Calculus

    OpenAIRE

    Kreutz-Delgado, Ken

    2009-01-01

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

  5. Metaphor Clusters: Characterizing Instructor Metaphorical Reasoning on Limit Concepts in College Calculus

    Science.gov (United States)

    Patel, Rita Manubhai; McCombs, Paul; Zollman, Alan

    2014-01-01

    Novice students have difficulty with the topic of limits in calculus. We believe this is in part because of the multiple perspectives and shifting metaphors available to solve items correctly. We investigated college calculus instructors' personal concepts of limits. Based upon previous research investigating introductory calculus student…

  6. Advanced calculus of a single variable

    CERN Document Server

    Geveci, Tunc

    2016-01-01

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

  7. Advanced calculus

    CERN Document Server

    Nickerson, HK; Steenrod, NE

    2011-01-01

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

  8. CLEP calculus

    CERN Document Server

    Hill, Gregory

    2013-01-01

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

  9. Introductory speeches

    International Nuclear Information System (INIS)

    2001-01-01

    This CD is multimedia presentation of programme safety upgrading of Bohunice V1 NPP. This chapter consist of introductory commentary and 4 introductory speeches (video records): (1) Introductory speech of Vincent Pillar, Board chairman and director general of Slovak electric, Plc. (SE); (2) Introductory speech of Stefan Schmidt, director of SE - Bohunice Nuclear power plants; (3) Introductory speech of Jan Korec, Board chairman and director general of VUJE Trnava, Inc. - Engineering, Design and Research Organisation, Trnava; Introductory speech of Dietrich Kuschel, Senior vice-president of FRAMATOME ANP Project and Engineering

  10. Computer-Automated Approach for Scoring Short Essays in an Introductory Statistics Course

    Science.gov (United States)

    Zimmerman, Whitney Alicia; Kang, Hyun Bin; Kim, Kyung; Gao, Mengzhao; Johnson, Glenn; Clariana, Roy; Zhang, Fan

    2018-01-01

    Over two semesters short essay prompts were developed for use with the Graphical Interface for Knowledge Structure (GIKS), an automated essay scoring system. Participants were students in an undergraduate-level online introductory statistics course. The GIKS compares students' writing samples with an expert's to produce keyword occurrence and…

  11. Adding Resistances and Capacitances in Introductory Electricity

    Science.gov (United States)

    Efthimiou, C. J.; Llewellyn, R. A.

    2005-09-01

    All introductory physics textbooks, with or without calculus, cover the addition of both resistances and capacitances in series and in parallel as discrete summations. However, none includes problems that involve continuous versions of resistors in parallel or capacitors in series. This paper introduces a method for solving the continuous problems that is logical, straightforward, and within the mathematical preparation of students at the introductory level.

  12. Modern calculus and analytic geometry

    CERN Document Server

    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

  13. Matrix calculus

    CERN Document Server

    Bodewig, E

    1959-01-01

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

  14. Calculus diaries

    CERN Document Server

    Ouellette,, Jennifer

    2011-01-01

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

  15. Advanced calculus

    CERN Document Server

    Friedman, Avner

    2007-01-01

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

  16. Advanced calculus

    CERN Document Server

    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

  17. Renal calculus

    CERN Document Server

    Pyrah, Leslie N

    1979-01-01

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

  18. Calculator calculus

    CERN Document Server

    McCarty, George

    1982-01-01

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

  19. Propositional Calculus in Coq

    OpenAIRE

    van Doorn, Floris

    2015-01-01

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

  20. Calculus problems

    CERN Document Server

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

    2016-01-01

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

  1. Introductory Overviews

    NARCIS (Netherlands)

    Jakeman, A.J.; Hamilton, S.H.; Athanasiadis, I.N.; Pierce, S.A.

    2015-01-01

    Introductory Overview articles are designed to provide introductory level background to key themes and topics that caters to the eclectic readership of EMS. It is envisaged that these articles will help to break down barriers to shared understanding and dialogue within multidisciplinary teams, and

  2. Calculus of tensors and differential forms

    CERN Document Server

    Sinha, Rajnikant

    2014-01-01

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

  3. Student Achievement in College Calculus, Louisiana State University 1967-1968.

    Science.gov (United States)

    Scannicchio, Thomas Henry

    An investigation of freshmen achievement in an introductory calculus course was performed on the basis of high school mathematics background to find predictors of college calculus grades. Overall high school academic achievement, overall high school mathematics achievement, number of high school mathematics units, pattern of college preparatory…

  4. Tablet PC: A Preliminary Report on a Tool for Teaching Calculus

    Science.gov (United States)

    Gorgievski, Nicholas; Stroud, Robert; Truxaw, Mary; DeFranco, Thomas

    2005-01-01

    This study examined students' perceptions of the Tablet PC as an instructional tool for teaching Calculus. A thirteen item survey was developed by the researchers and administered to 103 students in an introductory Calculus course at a large university in the Northeast of the United States. The purpose of this survey was to collect data regarding…

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

    Science.gov (United States)

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

    2017-01-01

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

  6. From Random Walks to Brownian Motion, from Diffusion to Entropy: Statistical Principles in Introductory Physics

    Science.gov (United States)

    Reeves, Mark

    2014-03-01

    will present a number of these exercises, with particular focus on the hands-on experiments done by the students, and will give examples of the tangible material that our students work with throughout the two-semester sequence of their course on introductory physics with a bio focus. Supported by NSF DUE.

  7. Introductory remarks

    NARCIS (Netherlands)

    Kiefer, Friedemann; Schulte-Merker, Stefan

    2014-01-01

    This introductory section briefly highlights the subsequent chapters in the context of recent findings and open questions in lymphatic vessel biology. It aims to provide a quick overview and orientation in the contents of this monograph collection.

  8. Calculus of one variable

    CERN Document Server

    Grossman, Stanley I

    1986-01-01

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

  9. Vector Differential Calculus

    OpenAIRE

    HITZER, Eckhard MS

    2002-01-01

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

  10. On the refinement calculus

    CERN Document Server

    Vickers, Trevor

    1992-01-01

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

  11. Fundamentals of calculus

    CERN Document Server

    Morris, Carla C

    2015-01-01

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

  12. Calculus II For Dummies

    CERN Document Server

    Zegarelli, Mark

    2012-01-01

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

  13. Introductory Punjabi.

    Science.gov (United States)

    Bahri, Ujjal Singh; Walia, Paramjit Singh

    This introductory text in Punjabi (also spelled Panjabi) is intended primarily for those whose mother tongue is not Punjabi but are native speakers of other Indian languages. Some familiarity with the Punjabi cultural items is presupposed. The non-Indian may, however, also be able to use this text with profit since the lessons are graded. The…

  14. Noncausal stochastic calculus

    CERN Document Server

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

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

  16. Introductory Life Science Mathematics and Quantitative Neuroscience Courses

    Science.gov (United States)

    Duffus, Dwight; Olifer, Andrei

    2010-01-01

    We describe two sets of courses designed to enhance the mathematical, statistical, and computational training of life science undergraduates at Emory College. The first course is an introductory sequence in differential and integral calculus, modeling with differential equations, probability, and inferential statistics. The second is an…

  17. Basic Math Skills and Performance in an Introductory Economics Class

    Science.gov (United States)

    Ballard, Charles L.; Johnson, Marianne F.

    2004-01-01

    The authors measure math skills with a broader set of explanatory variables than have been used in previous studies. To identify what math skills are important for student success in introductory microeconomics, they examine (1) the student's score on the mathematics portion of the ACT Assessment Test, (2) whether the student has taken calculus,…

  18. Teaching Electrostatics and Entropy in Introductory Physics

    Science.gov (United States)

    Reeves, Mark

    Entropy changes underlie the physics that dominates biological interactions. Indeed, introductory biology courses often begin with an exploration of the qualities of water that are important to living systems. However, one idea that is not explicitly addressed in most introductory physics or biology courses is important contribution of the entropy in driving fundamental biological processes towards equilibrium. I will present material developed to teach electrostatic screening in solutions and the function of nerve cells where entropic effects act to counterbalance electrostatic attraction. These ideas are taught in an introductory, calculus-based physics course to biomedical engineers using SCALEUP pedagogy. Results of student mastering of complex problems that cross disciplinary boundaries between biology and physics, as well as the challenges that they face in learning this material will be presented.

  19. Disappearing renal calculus.

    Science.gov (United States)

    Cui, Helen; Thomas, Johanna; Kumar, Sunil

    2013-04-10

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

  20. Initialized Fractional Calculus

    Science.gov (United States)

    Lorenzo, Carl F.; Hartley, Tom T.

    2000-01-01

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

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

  2. Hands-On Calculus

    Science.gov (United States)

    Sutherland, Melissa

    2006-01-01

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

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

  4. Teaching the Calculus

    Science.gov (United States)

    Sauerheber, Richard D.

    2012-01-01

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

  5. Essential calculus with applications

    CERN Document Server

    Silverman, Richard A

    1989-01-01

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

  6. Multivariable calculus with applications

    CERN Document Server

    Lax, Peter D

    2017-01-01

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

  7. Discrete fractional calculus

    CERN Document Server

    Goodrich, Christopher

    2015-01-01

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

  8. Calculus with applications

    CERN Document Server

    Lax, Peter D

    2014-01-01

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

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

    Science.gov (United States)

    Brosnan, Patricia A.; Ralley, Thomas G.

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

  10. Calculus of variations

    CERN Document Server

    Elsgolc, L E; Stark, M

    1961-01-01

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

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

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

  13. Calculus for dummies

    CERN Document Server

    Ryan, Mark

    2014-01-01

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

  14. Introductory Comments

    Directory of Open Access Journals (Sweden)

    Jolanta Sujecka

    2016-12-01

    Full Text Available Introductory Comments The fifth yearly volume of the Colloquia Humanistica comprises a thematic section on Nation, Natsiya, Ethnie. The subject it discusses has thus far received little attention as a research problem in the Slavia Orthodoxa, the Slavia Romana, the Balkans but also in Central and Eastern Europe.   Uwagi wstępne Piąty numer rocznika "Colloquia Humanistica" przedstawia dział tematyczny, poświęcony kategoriom narodu, nacji i etni. Temat ten, w takiej perspektywie, którą proponujemy, nie spotkał się dotąd z należytym namysłem badawczym w sferze Slavia Otrhodoxa, Slavia Romana i na Bałkanach, jak też w Europie Środkowo-Wschodniej.

  15. A Logical Process Calculus

    Science.gov (United States)

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

    2002-01-01

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

  16. Generalized Gaussian Error Calculus

    CERN Document Server

    Grabe, Michael

    2010-01-01

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

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

  18. The stack calculus

    Directory of Open Access Journals (Sweden)

    Alberto Carraro

    2013-03-01

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

  19. Discounted Duration Calculus

    DEFF Research Database (Denmark)

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

    2016-01-01

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

  20. Calculus of bivariant function

    OpenAIRE

    PTÁČNÍK, Jan

    2011-01-01

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

  1. Quantum Variational Calculus

    OpenAIRE

    Malinowska , Agnieszka B.; Torres , Delfim

    2014-01-01

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

  2. Computing for calculus

    CERN Document Server

    Christensen, Mark J

    1981-01-01

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

  3. Do evidence-based active-engagement courses reduce the gender gap in introductory physics?

    Science.gov (United States)

    Karim, Nafis I.; Maries, Alexandru; Singh, Chandralekha

    2018-03-01

    Prior research suggests that using evidence-based pedagogies can not only improve learning for all students, it can also reduce the gender gap. We describe the impact of physics education research-based pedagogical techniques in flipped and active-engagement non-flipped courses on the gender gap observed with validated conceptual surveys. We compare male and female students’ performance in courses which make significant use of evidence-based active-engagement (EBAE) strategies with courses that primarily use lecture-based (LB) instruction. All courses had large enrolment and often had more than 100 students. The analysis of data for validated conceptual surveys presented here includes data from two-semester sequences of algebra-based and calculus-based introductory physics courses. The conceptual surveys used to assess student learning in the first and second semester courses were the force concept inventory and the conceptual survey of electricity and magnetism, respectively. In the research discussed here, the performance of male and female students in EBAE courses at a particular level is compared with LB courses in two situations: (I) the same instructor taught two courses, one of which was an EBAE course and the other an LB course, while the homework, recitations and final exams were kept the same; (II) student performance in all of the EBAE courses taught by different instructors was averaged and compared with LB courses of the same type also averaged over different instructors. In all cases, on conceptual surveys we find that students in courses which make significant use of active-engagement strategies, on average, outperformed students in courses of the same type using primarily lecture-based instruction even though there was no statistically significant difference on the pre-test before instruction. However, the gender gap persisted even in courses using EBAE methods. We also discuss correlations between the performance of male and female students on

  4. Introductory Comments

    Directory of Open Access Journals (Sweden)

    Jolanta Sujecka

    2017-11-01

    Full Text Available Introductory Comments The sixth issue (not just in the Thematic Section is devoted to the borders of civilization in our memory, in culture, in art, in literature, in the arrangement of political objectives. Both their demarcation and their crossing is a matter of the objectives we can and want to set ourselves in the context of the order that exists and into which we try to fit, transforming it or levelling. The value of this survey of  “images of borders” is its setting in such varied material, owing to which the theoretical speculations gain a representative illustration and, at the same time, a guarantee of being rooted, even if it is only a “contact zone”.   Wprowadzenie Szósty numer (nie tylko sekcja tematyczna jest poświęcony kwestii granic cywilizacji w naszej pamięci, kulturze, sztuce, literaturze, w definiowaniu celów politycznych. Zarówno ich wyznaczanie, jak i przekraczanie, jest kwestią celów, jakie możemy i chcemy postawić sobie w kontekście istniejącego ładu, w który staramy się wpisać, przekształcając go lub dostosowując się do niego. Wartością niniejszego przeglądu "obrazów granic" jest przedstawienie ich poprzez tak zróżnicowany materiał, dzięki czemu rozważania teoretyczne zyskują reprezentatywną ilustrację, a zarazem gwarancję zakorzenienia, nawet jeśli będzie to tylko "sfera kontaktu".

  5. Quantum variational calculus

    CERN Document Server

    Malinowska, Agnieszka B

    2014-01-01

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

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

  7. Topology, calculus and approximation

    CERN Document Server

    Komornik, Vilmos

    2017-01-01

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

  8. Suggested Courseware for the Non-Calculus Physics Student: Measurement, Vectors, and One-Dimensional Motion.

    Science.gov (United States)

    Mahoney, Joyce; And Others

    1988-01-01

    Evaluates 16 commercially available courseware packages covering topics for introductory physics. Discusses the price, sub-topics, program type, interaction, time, calculus required, graphics, and comments of each program. Recommends two packages in measurement and vectors, and one-dimensional motion respectively. (YP)

  9. Maxima and Minima Without Calculus.

    Science.gov (United States)

    Birnbaum, Ian

    1982-01-01

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

  10. The calculus primer

    CERN Document Server

    Schaaf, William L

    2011-01-01

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

  11. A calculus for quality

    DEFF Research Database (Denmark)

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

    2013-01-01

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

  12. Functional Fractional Calculus

    CERN Document Server

    Das, Shantanu

    2011-01-01

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

  13. A Giant Urethral Calculus.

    Science.gov (United States)

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

    2014-01-01

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

  14. Schaum's outline of calculus

    CERN Document Server

    Ayres, Frank

    1999-01-01

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

  15. Discrete Calculus by Analogy

    CERN Document Server

    Izadi, F A; Bagirov, G

    2009-01-01

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

  16. The dagger lambda calculus

    Directory of Open Access Journals (Sweden)

    Philip Atzemoglou

    2014-12-01

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

  17. Assessing expertise in introductory physics using categorization task

    Directory of Open Access Journals (Sweden)

    Andrew Mason

    2011-10-01

    Full Text Available The ability to categorize problems based upon underlying principles, rather than surface features or contexts, is considered one of several proxy predictors of expertise in problem solving. With inspiration from the classic study by Chi, Feltovich, and Glaser, we assess the distribution of expertise among introductory physics students by asking three introductory physics classes, each with more than a hundred students, to categorize mechanics problems based upon similarity of solution. We compare their categorization with those of physics graduate students and faculty members. To evaluate the effect of problem context on students’ ability to categorize, two sets of problems were developed for categorization. Some problems in one set included those available from the prior study by Chi et al. We find a large overlap between calculus-based introductory students and graduate students with regard to their categorizations that were assessed as “good.” Our findings, which contrast with those of Chi et al., suggest that there is a wide distribution of expertise in mechanics among introductory and graduate students. Although the categorization task is conceptual, introductory students in the calculus-based course performed better than those in the algebra-based course. Qualitative trends in categorization of problems are similar between the non-Chi problems and problems available from the Chi study used in our study although the Chi problems used are more difficult on average.

  18. Introductory Raman spectroscopy

    CERN Document Server

    Ferraro, John R

    2012-01-01

    Praise for Introductory Raman Spectroscopy Highlights basic theory, which is treated in an introductory fashion Presents state-of-the-art instrumentation Discusses new applications of Raman spectroscopy in industry and research.

  19. Using isomorphic problems to learn introductory physics

    Directory of Open Access Journals (Sweden)

    Shih-Yin Lin

    2011-08-01

    Full Text Available In this study, we examine introductory physics students’ ability to perform analogical reasoning between two isomorphic problems which employ the same underlying physics principles but have different surface features. Three hundred sixty-two students from a calculus-based and an algebra-based introductory physics course were given a quiz in the recitation in which they had to first learn from a solved problem provided and take advantage of what they learned from it to solve another problem (which we call the quiz problem which was isomorphic. Previous research suggests that the multiple-concept quiz problem is challenging for introductory students. Students in different recitation classes received different interventions in order to help them discern and exploit the underlying similarities of the isomorphic solved and quiz problems. We also conducted think-aloud interviews with four introductory students in order to understand in depth the difficulties they had and explore strategies to provide better scaffolding. We found that most students were able to learn from the solved problem to some extent with the scaffolding provided and invoke the relevant principles in the quiz problem. However, they were not necessarily able to apply the principles correctly. Research suggests that more scaffolding is needed to help students in applying these principles appropriately. We outline a few possible strategies for future investigation.

  20. Using isomorphic problems to learn introductory physics

    Science.gov (United States)

    Lin, Shih-Yin; Singh, Chandralekha

    2011-12-01

    In this study, we examine introductory physics students’ ability to perform analogical reasoning between two isomorphic problems which employ the same underlying physics principles but have different surface features. Three hundred sixty-two students from a calculus-based and an algebra-based introductory physics course were given a quiz in the recitation in which they had to first learn from a solved problem provided and take advantage of what they learned from it to solve another problem (which we call the quiz problem) which was isomorphic. Previous research suggests that the multiple-concept quiz problem is challenging for introductory students. Students in different recitation classes received different interventions in order to help them discern and exploit the underlying similarities of the isomorphic solved and quiz problems. We also conducted think-aloud interviews with four introductory students in order to understand in depth the difficulties they had and explore strategies to provide better scaffolding. We found that most students were able to learn from the solved problem to some extent with the scaffolding provided and invoke the relevant principles in the quiz problem. However, they were not necessarily able to apply the principles correctly. Research suggests that more scaffolding is needed to help students in applying these principles appropriately. We outline a few possible strategies for future investigation.

  1. Calculus and Geometry

    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.

  2. On Functional Calculus Estimates

    NARCIS (Netherlands)

    Schwenninger, F.L.

    2015-01-01

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

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

  4. Calculus Courses' Assessment Data

    Science.gov (United States)

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

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

  6. Giant vesical calculus

    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.

  7. Lacroix and the calculus

    CERN Document Server

    Domingues, João Caramalho

    2008-01-01

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

  8. Weeded Out? Gendered Responses to Failing Calculus.

    Science.gov (United States)

    Sanabria, Tanya; Penner, Andrew

    2017-06-01

    Although women graduate from college at higher rates than men, they remain underrepresented in science, technology, engineering, and mathematics (STEM) fields. This study examines whether women react to failing a STEM weed-out course by switching to a non-STEM major and graduating with a bachelor's degree in a non-STEM field. While competitive courses designed to weed out potential STEM majors are often invoked in discussions around why students exit the STEM pipeline, relatively little is known about how women and men react to failing these courses. We use detailed individual-level data from the National Educational Longitudinal Study (NELS) Postsecondary Transcript Study (PETS): 1988-2000 to show that women who failed an introductory calculus course are substantially less likely to earn a bachelor's degree in STEM. In doing so, we provide evidence that weed-out course failure might help us to better understand why women are less likely to earn degrees.

  9. Introductory life science mathematics and quantitative neuroscience courses.

    Science.gov (United States)

    Duffus, Dwight; Olifer, Andrei

    2010-01-01

    We describe two sets of courses designed to enhance the mathematical, statistical, and computational training of life science undergraduates at Emory College. The first course is an introductory sequence in differential and integral calculus, modeling with differential equations, probability, and inferential statistics. The second is an upper-division course in computational neuroscience. We provide a description of each course, detailed syllabi, examples of content, and a brief discussion of the main issues encountered in developing and offering the courses.

  10. Student Selection of the Textbook for an Introductory Physics Course

    Science.gov (United States)

    Dake, L. S.

    2007-01-01

    Several years ago I had to select a new textbook for my calculus-based introductory physics class. I subscribe to Just-in-Time Teaching methods,1 which require students to read the book before the material is covered in class. Thus, the readability of the text by the students is critical. However, I did not feel that I was the best judge of this…

  11. Introduction to stochastic analysis and Malliavin calculus

    CERN Document Server

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

  12. Using an Isomorphic Problem Pair to Learn Introductory Physics: Transferring from a Two-Step Problem to a Three-Step Problem

    Science.gov (United States)

    Lin, Shih-Yin; Singh, Chandralekha

    2013-01-01

    In this study, we examine introductory physics students' ability to perform analogical reasoning between two isomorphic problems which employ the same underlying physics principles but have different surface features. 382 students from a calculus-based and an algebra-based introductory physics course were administered a quiz in the recitation…

  13. Finite-dimensional calculus

    International Nuclear Information System (INIS)

    Feinsilver, Philip; Schott, Rene

    2009-01-01

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

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

  15. Calculus III essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

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

  16. Boolean integral calculus

    Science.gov (United States)

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

    1988-01-01

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

  17. Pre-calculus essentials

    CERN Document Server

    Woodward, Ernest

    2012-01-01

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

  18. Understanding the calculus

    OpenAIRE

    Tall, David

    1985-01-01

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

  19. The umbral calculus

    CERN Document Server

    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

  20. Graded tensor calculus

    International Nuclear Information System (INIS)

    Scheunert, M.

    1982-10-01

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

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

  2. Calculus with vectors

    CERN Document Server

    Treiman, Jay S

    2014-01-01

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

  3. k-Schur functions and affine Schubert calculus

    CERN Document Server

    Lam, Thomas; Morse, Jennifer; Schilling, Anne; Shimozono, Mark; Zabrocki, Mike

    2014-01-01

    This book gives an introduction to the very active field of combinatorics of affine Schubert calculus, explains the current state of the art, and states the current open problems. Affine Schubert calculus lies at the crossroads of combinatorics, geometry, and representation theory. Its modern development is motivated by two seemingly unrelated directions. One is the introduction of k-Schur functions in the study of Macdonald polynomial positivity, a mostly combinatorial branch of symmetric function theory. The other direction is the study of the Schubert bases of the (co)homology of the affine Grassmannian, an algebro-topological formulation of a problem in enumerative geometry. This is the first introductory text on this subject. It contains many examples in Sage, a free open source general purpose mathematical software system, to entice the reader to investigate the open problems. This book is written for advanced undergraduate and graduate students, as well as researchers, who want to become familiar with ...

  4. Differential Calculus on Quantum Spheres

    OpenAIRE

    Welk, Martin

    1998-01-01

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

  5. Introduction to the operational calculus

    CERN Document Server

    Berg, Lothar

    2013-01-01

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

  6. Exploring the Relationship between Self-Efficacy and Retention in Introductory Physics

    Science.gov (United States)

    Sawtelle, Vashti; Brewe, Eric; Kramer, Laird H.

    2012-01-01

    The quantitative results of Sources of Self-Efficacy in Science Courses-Physics (SOSESC-P) are presented as a logistic regression predicting the passing of students in introductory Physics with Calculus I, overall as well as disaggregated by gender. Self-efficacy as a theory to explain human behavior change [Bandura [1977] "Psychological…

  7. Tale of Two Curricula: The Performance of 2000 Students in Introductory Electromagnetism

    Science.gov (United States)

    Kohlmyer, Matthew A.; Caballero, Marcos D.; Catrambone, Richard; Chabay, Ruth W.; Ding, Lin; Haugan, Mark P.; Marr, M. Jackson; Sherwood, Bruce A.; Schatz, Michael F.

    2009-01-01

    The performance of over 2000 students in introductory calculus-based electromagnetism (E&M) courses at four large research universities was measured using the Brief Electricity and Magnetism Assessment (BEMA). Two different curricula were used at these universities: a traditional E&M curriculum and the Matter & Interactions (M&I)…

  8. Preliminary Investigation of Instructor Effects on Gender Gap in Introductory Physics

    Science.gov (United States)

    Kreutzer, Kimberley; Boudreaux, Andrew

    2012-01-01

    Gender differences in student learning in the introductory, calculus-based electricity and magnetism course were assessed by administering the Conceptual Survey of Electricity and Magnetism pre- and postcourse. As expected, male students outgained females in traditionally taught sections as well as sections that incorporated interactive engagement…

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

    Science.gov (United States)

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

    2016-01-01

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

  10. Early Vector Calculus: A Path through Multivariable Calculus

    Science.gov (United States)

    Robertson, Robert L.

    2013-01-01

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

  11. Proof Nets for Lambek Calculus

    NARCIS (Netherlands)

    Roorda, Dirk

    1992-01-01

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

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

  13. Fluorescence spectroscopy of dental calculus

    Science.gov (United States)

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

    2010-05-01

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

  14. The Calculus of a Vase

    Science.gov (United States)

    Scherger, Nicole

    2012-01-01

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

  15. Probabilistic Mu-Calculus

    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 satisfiability checking by establishing the small model property. An algorithm for deciding the satisfiability problem is developed. As a second major result, we provide a complete axiomatization for the alternation-free fragment of PMC. The completeness proof...

  16. Advanced calculus problem solver

    CERN Document Server

    REA, Editors of

    2012-01-01

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

  17. A Virtual Class Calculus

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

  18. Calculus problems and solutions

    CERN Document Server

    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

  19. Calculus super review

    CERN Document Server

    2012-01-01

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

  20. Calculus of variations

    CERN Document Server

    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

  1. Leveraging Prior Calculus Study with Embedded Review

    Science.gov (United States)

    Nikolov, Margaret C.; Withers, Wm. Douglas

    2016-01-01

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

  2. A generalized nonlocal vector calculus

    Science.gov (United States)

    Alali, Bacim; Liu, Kuo; Gunzburger, Max

    2015-10-01

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

  3. The calculus a genetic approach

    CERN Document Server

    Toeplitz, Otto

    2007-01-01

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

  4. Fluorescence detection of dental calculus

    Science.gov (United States)

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

    2010-11-01

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

  5. The Vectorial $\\lambda$-Calculus

    OpenAIRE

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

    2013-01-01

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

  6. Pre-Calculus For Dummies

    CERN Document Server

    Kuang, Yang

    2012-01-01

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

  7. Mathematics for physics with calculus

    CERN Document Server

    Das, Biman

    2005-01-01

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

  8. Advanced calculus a transition to analysis

    CERN Document Server

    Dence, Thomas P

    2010-01-01

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

  9. Stochastic calculus and applications

    CERN Document Server

    Cohen, Samuel N

    2015-01-01

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

  10. Introduction to stochastic calculus

    CERN Document Server

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

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

  12. Intuitionistic fuzzy calculus

    CERN Document Server

    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.

  13. Feynman integral calculus

    CERN Document Server

    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.

  14. University mathematics teachers' views on the required reasoning in calculus exams

    OpenAIRE

    Bergqvist, Ewa

    2012-01-01

    Students often use imitative reasoning, i.e. copy algorithms or recall facts, when solving mathematical tasks. Research show that this type of imitative reasoning might weaken the students' understanding of the underlying mathematical concepts. In a previous study, the author classified tasks from 16 final exams from introductory calculus courses at Swedish universities. The results showed that it was possible to pass 15 of the exams, and solve most of the tasks, using imitative reasoning. Th...

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

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

  17. Cartooning in Algebra and Calculus

    Science.gov (United States)

    Moseley, L. Jeneva

    2014-01-01

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

  18. Testicular calculus: A rare case.

    Science.gov (United States)

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

    2015-01-01

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

  19. Differential calculus and its applications

    CERN Document Server

    Field, Michael J

    2013-01-01

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

  20. Catwalk: First-Semester Calculus.

    Science.gov (United States)

    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)

  1. Making an Interactive Calculus Textbook.

    Science.gov (United States)

    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)

  2. Means and Variances without Calculus

    Science.gov (United States)

    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.

  3. Neutrosophic Precalculus and Neutrosophic Calculus

    OpenAIRE

    Florentin Smarandache

    2015-01-01

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

  4. Examining issues of underrepresented minority students in introductory physics

    Science.gov (United States)

    Watkins, Jessica Ellen

    In this dissertation we examine several issues related to the retention of under-represented minority students in physics and science. In the first section, we show that in calculus-based introductory physics courses, the gender gap on the FCI is diminished through the use of interactive techniques, but in lower-level introductory courses, the gap persists, similar to reports published at other institutions. We find that under-represented racial minorities perform similar to their peers with comparable academic preparation on conceptual surveys, but their average exam grades and course grades are lower. We also examine student persistence in science majors; finding a significant relationship between pedagogy in an introductory physics course and persistence in science. In the second section, we look at student end-of-semester evaluations and find that female students rate interactive teaching methods a full point lower than their male peers. Looking more deeply at student interview data, we find that female students report more social issues related to the discussions in class and both male and female students cite feeling pressure to obtain the correct answer to clicker questions. Finally, we take a look an often-cited claim for gender differences in STEM participation: cognitive differences explain achievement differences in physics. We examine specifically the role of mental rotations in physics achievement and problem-solving, viewing mental rotations as a tool that students can use on physics problems. We first look at student survey results for lower-level introductory students, finding a low, but significant correlation between performance on a mental rotations test and performance in introductory physics courses. In contrast, we did not find a significant relationship for students in the upper-level introductory course. We also examine student problem-solving interviews to investigate the role of mental rotations on introductory problems.

  5. Topic Order in Introductory Physics and its Impact on the STEM Curricular Ladder

    Directory of Open Access Journals (Sweden)

    Teresa L Larkin

    2017-02-01

    Full Text Available Introductory physics courses are an important rung on the curricular ladder in STEM. These courses help to strengthen students critical thinking and problem solving skills while simultaneously introducing them to many topics they will explore in more detail in later courses in physics and engineering. For these reasons, introductory physics is a required element on the curricular ladder. Most often, introductory physics is offered as a two-semester sequence with basic mechanics being taught in the first semester and electricity and magnetism in the second. In fact, this curricular sequence has not been altered in decades. Is there a reason for this? There are many other enduring questions that arise pertaining to these foundation courses in physics. These questions include: Does taking the introductory course sequence “out of order” have an impact on student learning in physics? What topics should be taught? When should these topics be taught? What topics could be left out? The list of questions is essentially endless. This paper will address some of these questions in part, through a brief discussion on student learning in a second-semester algebra-based physics course. Connections will also be made to the broader curricular ladder in STEM. To this end, an illustration that makes connections to an engineering statics course will be presented. This discussion will conclude by presenting some broader implications for the larger STEM communities.

  6. q-fractional calculus and equations

    CERN Document Server

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

  7. Relationships between Undergraduates' Argumentation Skills, Conceptual Quality of Problem Solutions, and Problem Solving Strategies in Introductory Physics

    Science.gov (United States)

    Rebello, Carina M.

    2012-01-01

    This study explored the effects of alternative forms of argumentation on undergraduates' physics solutions in introductory calculus-based physics. A two-phase concurrent mixed methods design was employed to investigate relationships between undergraduates' written argumentation abilities, conceptual quality of problem solutions, as well…

  8. Student Selection of the Textbook for an Introductory Physics Course

    Science.gov (United States)

    Dake, L. S.

    2007-10-01

    Several years ago I had to select a new textbook for my calculus-based introductory physics class. I subscribe to Just-in-Time Teaching methods, which require students to read the book before the material is covered in class. Thus, the readability of the text by the students is critical. However, I did not feel that I was the best judge of this factor, so I turned the textbook selection into a class project. The students unanimously chose one textbook, which I have now successfully used for three years. The project was decidedly worthwhile, and I gained considerable insight into what students prefer in a textbook.

  9. Evolution of Student Knowledge in a Traditional Introductory Classroom

    Science.gov (United States)

    Sayre, Eleanor C.; Heckler, Andrew F.

    2008-10-01

    In the physics education research community, a common format for evaluation is pre- and post-tests. In this study, we collect student test data many times throughout a course, allowing for the measurement of the changes of student knowledge with a time resolution on the order of a few days. The data cover the first two quarters (mechanics, E&M) of a calculus-based introductory sequence populated primarily by first- and second-year engineering majors. To avoid the possibility of test-retest effects, separate and quasi-random subpopulations of students are evaluated every week of the quarter on a variety of tasks. Unsurprisingly for a traditional introductory course, there is little change on many conceptual questions. However, the data suggest that some student ideas peak and decay rapidly during a quarter, a pattern consistent with memory research yet unmeasurable by pre-/post-testing.

  10. Introductory Physics Gender Gaps: Pre- and Post-Studio Transition

    Science.gov (United States)

    Kohl, Patrick B.; Kuo, H. Vincent

    2009-11-01

    Prior work has characterized the gender gaps present in college-level introductory physics courses. Such work has also shown that research-based interactive engagement techniques can reduce or eliminate these gender gaps. In this paper, we study the gender gaps (and lack thereof) in the introductory calculus-based electricity and magnetism course at the Colorado School of Mines. We present eight semesters' worth of data, totaling 2577 students, with four semesters preceding a transition to Studio physics, and four following. We examine gender gaps in course grades, DFW (D grade, fail, or withdrawal) rates, and normalized gains on the Conceptual Survey of Electricity and Magnetism (CSEM), and consider factors such as student ACT scores and grades in prior math classes. We find little or no gap in male/female course grades and DFW rates, but substantial gaps in CSEM gains that are reduced somewhat by the transition to Studio physics.

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

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

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

  14. Essential AOP: The A Calculus

    DEFF Research Database (Denmark)

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

    2012-01-01

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

  15. Classroom Research: Assessment of Student Understanding of Sampling Distributions of Means and the Central Limit Theorem in Post-Calculus Probability and Statistics Classes

    Science.gov (United States)

    Lunsford, M. Leigh; Rowell, Ginger Holmes; Goodson-Espy, Tracy

    2006-01-01

    We applied a classroom research model to investigate student understanding of sampling distributions of sample means and the Central Limit Theorem in post-calculus introductory probability and statistics courses. Using a quantitative assessment tool developed by previous researchers and a qualitative assessment tool developed by the authors, we…

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

  17. An AP Calculus Classroom Amusement Park

    Science.gov (United States)

    Ferguson, Sarah

    2016-01-01

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

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

  19. Elementary calculus an infinitesimal approach

    CERN Document Server

    Keisler, H Jerome

    2012-01-01

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

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

  1. Introductory photoemission theory

    International Nuclear Information System (INIS)

    Arai, Hiroko; Fujikawa, Takashi

    2010-01-01

    An introductory review is presented on the basis of many-body scattering theory. Some fundamental aspects of photoemission theory are discussed in detail. A few applications are also discussed; photoelectron diffraction, depth distribution function and multi-atom resonant photoemission are also discussed briefly. (author)

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

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

  4. Advanced calculus of several variables

    CERN Document Server

    Edwards, C H

    1995-01-01

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

  5. POGIL in the Calculus Classroom

    Science.gov (United States)

    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…

  6. Portfolio Analysis for Vector Calculus

    Science.gov (United States)

    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…

  7. Reading the World with Calculus

    Science.gov (United States)

    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…

  8. Constructivized Calculus in College Mathematics

    Science.gov (United States)

    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…

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

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

  11. A "Model" Multivariable Calculus Course.

    Science.gov (United States)

    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…

  12. Calculus Student Descending a Staircase.

    Science.gov (United States)

    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)

  13. The Pendulum and the Calculus.

    Science.gov (United States)

    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…

  14. Multivariable calculus and differential geometry

    CERN Document Server

    Walschap, Gerard

    2015-01-01

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

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

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

    Science.gov (United States)

    Sonnert, Gerhard; Sadler, Philip M.

    2014-11-01

    Poor performance on placement exams keeps many US students who pursue a STEM (science, technology, engineering, mathematics) career from enrolling directly in college calculus. Instead, they must take a pre-calculus course that aims to better prepare them for later calculus coursework. In the USA, enrollment in pre-calculus courses in two- and four-year colleges continues to grow, and these courses are well-populated with students who already took pre-calculus in high school. We examine student performance in college calculus, using regression discontinuity to estimate the effects of taking college pre-calculus or not, in a national US sample of 5507 students at 132 institutions. We find that students who take college pre-calculus do not earn higher calculus grades.

  17. Sensors an introductory course

    CERN Document Server

    Kalantar-zadeh, Kourosh

    2013-01-01

    Sensors: An Introductory Course provides an essential reference on the fundamentals of sensors. The book is designed to help readers in developing skills and the understanding required in order to implement a wide range of sensors that are commonly used in our daily lives. This book covers the basic concepts in the sensors field, including definitions and terminologies. The physical sensing effects are described, and devices which utilize these effects are presented. The most frequently used organic and inorganic sensors are introduced and the techniques for implementing them are discussed. This book: Provides a comprehensive representation of the most common sensors and can be used as a reference in relevant fields Presents learning materials in a concise and easy to understand manner Includes examples of how sensors are incorporated in real life measurements Contains detailed figures and schematics to assist in understanding the sensor performance Sensors: An Introductory Course is ideal for university stu...

  18. Introductory graph theory

    CERN Document Server

    Chartrand, Gary

    1984-01-01

    Graph theory is used today in the physical sciences, social sciences, computer science, and other areas. Introductory Graph Theory presents a nontechnical introduction to this exciting field in a clear, lively, and informative style. Author Gary Chartrand covers the important elementary topics of graph theory and its applications. In addition, he presents a large variety of proofs designed to strengthen mathematical techniques and offers challenging opportunities to have fun with mathematics. Ten major topics - profusely illustrated - include: Mathematical Models, Elementary Concepts of Grap

  19. Introductory statistical inference

    CERN Document Server

    Mukhopadhyay, Nitis

    2014-01-01

    This gracefully organized text reveals the rigorous theory of probability and statistical inference in the style of a tutorial, using worked examples, exercises, figures, tables, and computer simulations to develop and illustrate concepts. Drills and boxed summaries emphasize and reinforce important ideas and special techniques.Beginning with a review of the basic concepts and methods in probability theory, moments, and moment generating functions, the author moves to more intricate topics. Introductory Statistical Inference studies multivariate random variables, exponential families of dist

  20. Factors Associated with Success in College Calculus II

    Science.gov (United States)

    Rosasco, Margaret E.

    2013-01-01

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

  1. Teaching assistants’ performance at identifying common introductory student difficulties in mechanics revealed by the Force Concept Inventory

    Directory of Open Access Journals (Sweden)

    Alexandru Maries

    2016-05-01

    Full Text Available The Force Concept Inventory (FCI has been widely used to assess student understanding of introductory mechanics concepts by a variety of educators and physics education researchers. One reason for this extensive use is that many of the items on the FCI have strong distractor choices which correspond to students’ alternate conceptions in mechanics. Instruction is unlikely to be effective if instructors do not know the common alternate conceptions of introductory physics students and explicitly take into account students’ initial knowledge states in their instructional design. Here, we discuss research involving the FCI to evaluate one aspect of the pedagogical content knowledge of teaching assistants (TAs: knowledge of introductory student alternate conceptions in mechanics as revealed by the FCI. For each item on the FCI, the TAs were asked to identify the most common incorrect answer choice of introductory physics students. This exercise was followed by a class discussion with the TAs related to this task, including the importance of knowing student difficulties in teaching and learning. Then, we used FCI pretest and post-test data from a large population (∼900 of introductory physics students to assess the extent to which TAs were able to identify alternate conceptions of introductory students related to force and motion. In addition, we carried out think-aloud interviews with graduate students who had more than two semesters of teaching experience in recitations to examine how they reason about the task. We find that while the TAs, on average, performed better than random guessing at identifying introductory students’ difficulties with FCI content, they did not identify many common difficulties that introductory physics students have after traditional instruction. We discuss specific alternate conceptions, the extent to which TAs are able to identify them, and results from the think-aloud interviews that provided valuable information

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

  3. Toward lattice fractional vector calculus

    Science.gov (United States)

    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.

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

  5. Brownian motion and stochastic calculus

    CERN Document Server

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

  6. Discrete calculus methods for counting

    CERN Document Server

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

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

  8. Analysis of the Impact of Introductory Physics on Engineering Students at Texas A&M University

    Science.gov (United States)

    Perry, Jonathan; Bassichis, William

    Introductory physics forms a major part of the foundational knowledge of engineering majors, independent of discipline and institution. While the content of introductory physics courses is consistent from institution to institution, the manner in which it is taught can vary greatly due to professor, textbook, instructional method, and overall course design. This work attempts to examine variations in student success, as measured by overall academic performance in an engineering major, and matriculation rates, based on the type of introductory physics a student took while enrolled in an engineering degree at Texas A&M University. Specific options for introductory physics at Texas A&M University include two calculus based physics courses, one traditional (UP), and one more mathematically rigorous (DP), transfer credit, and high school (AP or dual) credit. In order to examine the impact of introductory physics on a student's degree progression, data mining analyses are performed on a data set of relatively comprehensive academic records for all students enrolled as an engineering major for a minimum of one academic term. Student data has been collected for years of entering freshman beginning in 1990 and ending in 2010. Correlations will be examined between freshman level courses, including introductory physics, and follow on engineering courses, matriculation rates, and time to graduation.

  9. [Fluorescence control of dental calculus removal].

    Science.gov (United States)

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

    2012-01-01

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

  10. The malliavin calculus and related topics

    CERN Document Server

    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

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

  12. Dental Calculus Arrest of Dental Caries

    OpenAIRE

    Keyes, Paul H.; Rams, Thomas E.

    2016-01-01

    Background An inverse relationship between dental calculus mineralization and dental caries demineralization on teeth has been noted in some studies. Dental calculus may even form superficial layers over existing dental caries and arrest their progression, but this phenomenon has been only rarely documented and infrequently considered in the field of Cariology. To further assess the occurrence of dental calculus arrest of dental caries, this study evaluated a large number of extracted human t...

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

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

    OpenAIRE

    Caputo, M. Cristina

    2009-01-01

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

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

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

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

  18. Generalized vector calculus on convex domain

    Science.gov (United States)

    Agrawal, Om P.; Xu, Yufeng

    2015-06-01

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

  19. Pre-calculus workbook for dummies

    CERN Document Server

    Kuang, Yang

    2011-01-01

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

  20. Mathematization in introductory physics

    Science.gov (United States)

    Brahmia, Suzanne M.

    Mathematization is central to STEM disciplines as a cornerstone of the quantitative reasoning that characterizes these fields. Introductory physics is required for most STEM majors in part so that students develop expert-like mathematization. This dissertation describes coordinated research and curriculum development for strengthening mathematization in introductory physics; it blends scholarship in physics and mathematics education in the form of three papers. The first paper explores mathematization in the context of physics, and makes an original contribution to the measurement of physics students' struggle to mathematize. Instructors naturally assume students have a conceptual mastery of algebra before embarking on a college physics course because these students are enrolled in math courses beyond algebra. This paper provides evidence that refutes the validity of this assumption and categorizes some of the barriers students commonly encounter with quantification and representing ideas symbolically. The second paper develops a model of instruction that can help students progress from their starting points to their instructor's desired endpoints. Instructors recognize that the introductory physics course introduces new ideas at an astonishing rate. More than most physicists realize, however, the way that mathematics is used in the course is foreign to a large portion of class. This paper puts forth an instructional model that can move all students toward better quantitative and physical reasoning, despite the substantial variability of those students' initial states. The third paper describes the design and testing of curricular materials that foster mathematical creativity to prepare students to better understand physics reasoning. Few students enter introductory physics with experience generating equations in response to specific challenges involving unfamiliar quantities and units, yet this generative use of mathematics is typical of the thinking involved in

  1. Dental Calculus Arrest of Dental Caries.

    Science.gov (United States)

    Keyes, Paul H; Rams, Thomas E

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

  2. Dental Calculus Arrest of Dental Caries

    Science.gov (United States)

    Keyes, Paul H.; Rams, Thomas E.

    2016-01-01

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

  3. Modern introductory physics

    CERN Document Server

    Holbrow, Charles H; Amato, Joseph C; Galvez, Enrique; Parks, M. Elizabeth

    2010-01-01

    Modern Introductory Physics, 2nd Edition, by Charles H. Holbrow, James N. Lloyd, Joseph C. Amato, Enrique Galvez, and Beth Parks, is a successful innovative text for teaching introductory college and university physics. It is thematically organized to emphasize the physics that answers the fundamental question: Why do we believe in atoms and their properties?  The book provides a sound introduction to basic physical concepts with particular attention to the nineteenth- and twentieth-century physics underlying our modern ideas of atoms and their structure.  After a review of basic Newtonian mechanics, the book discusses early physical evidence that matter is made of atoms.  With a simple model of the atom Newtonian mechanics can explain the ideal gas laws, temperature, and viscosity.  Basic concepts of electricity and magnetism are introduced along with a more complicated model of the atom to account for the observed electrical properties of atoms. The physics of waves---particularly light and x-rays---an...

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

    Science.gov (United States)

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

    2009-12-01

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

  5. RAMAN-SPECTRA OF HUMAN DENTAL CALCULUS

    NARCIS (Netherlands)

    TSUDA, H; ARENDS, J

    1993-01-01

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

  6. Educating about Sustainability while Enhancing Calculus

    Science.gov (United States)

    Pfaff, Thomas J.

    2011-01-01

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

  7. Calculus and Success in a Business School

    Science.gov (United States)

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

    2012-01-01

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

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

  9. Hybrid Logical Analyses of the Ambient Calculus

    DEFF Research Database (Denmark)

    Bolander, Thomas; Hansen, Rene Rydhof

    2010-01-01

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

  10. A Cross-National Study of Calculus

    Science.gov (United States)

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

    2015-01-01

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

  11. Multiplicative calculus in biomedical image analysis

    NARCIS (Netherlands)

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

    2011-01-01

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

  12. Areas and Volumes in Pre-Calculus

    Science.gov (United States)

    Jarrett, Joscelyn A.

    2008-01-01

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

  13. Improving student learning in calculus through applications

    Science.gov (United States)

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

    2011-07-01

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

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

  15. A Snapshot of the Calculus Classroom

    Science.gov (United States)

    Weathers, Tony D.; Latterell, Carmen M.

    2003-01-01

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

  16. Programming Language Concepts - The Lambda Calculus Approach

    NARCIS (Netherlands)

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

    1987-01-01

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

  17. Imagine Yourself in This Calculus Classroom

    Science.gov (United States)

    Bryan, Luajean

    2007-01-01

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

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

  19. A type system for continuation calculus

    NARCIS (Netherlands)

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

    2014-01-01

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

  20. Matlab differential and integral calculus

    CERN Document Server

    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

  1. A course in advanced calculus

    CERN Document Server

    Borden, Robert S

    1997-01-01

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

  2. Bridging the Vector Calculus Gap

    Science.gov (United States)

    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

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

  4. AP calculus AB/BC

    CERN Document Server

    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

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

  6. Calculus and analysis in Euclidean space

    CERN Document Server

    Shurman, Jerry

    2016-01-01

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

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

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

  9. Effect of written presentation on performance in introductory physics

    Directory of Open Access Journals (Sweden)

    Shawn Ballard

    2010-10-01

    Full Text Available This study examined the written work of students in the introductory calculus-based electricity and magnetism course at the University of Arkansas. The students’ solutions to hourly exams were divided into a small set of countable features organized into three major categories, mathematics, language, and graphics. Each category was further divided into subfeatures. The total number of features alone explained more than 30% of the variance in exam scores and from 9% to 15% of the variance in conceptual posttest scores. If all features and subfeatures are used, between 44% and 49% of the variance in exam scores is explained and between 22% and 28% of the variance in conceptual posttest scores. The use of language is consistently positively correlated with both exam performance and conceptual understanding.

  10. Analysis of student engagement in an online annotation system in the context of a flipped introductory physics class

    Directory of Open Access Journals (Sweden)

    Kelly Miller

    2016-12-01

    Full Text Available We discuss student participation in an online social annotation forum over two semesters of a flipped, introductory physics course at Harvard University. We find that students who engage in high-level discussion online, especially by providing answers to their peers’ questions, make more gains in conceptual understanding than students who do not. This is true regardless of students’ physics background. We find that we can steer online interaction towards more productive and engaging discussion by seeding the discussion and managing the size of the sections. Seeded sections produce higher quality annotations and a greater proportion of generative threads than unseeded sections. Larger sections produce longer threads; however, beyond a certain section size, the quality of the discussion decreases.

  11. Giant calculus: review and report of a case.

    Science.gov (United States)

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

    2013-01-01

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

  12. Using Dynamic Software to Address Common College Calculus Stumbling Blocks

    Science.gov (United States)

    Seneres, Alice W.; Kerrigan, John A.

    2014-01-01

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

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

  14. Introductory Statistics in the Garden

    Science.gov (United States)

    Wagaman, John C.

    2017-01-01

    This article describes four semesters of introductory statistics courses that incorporate service learning and gardening into the curriculum with applications of the binomial distribution, least squares regression and hypothesis testing. The activities span multiple semesters and are iterative in nature.

  15. Introductory statistics for engineering experimentation

    CERN Document Server

    Nelson, Peter R; Coffin, Marie

    2003-01-01

    The Accreditation Board for Engineering and Technology (ABET) introduced a criterion starting with their 1992-1993 site visits that "Students must demonstrate a knowledge of the application of statistics to engineering problems." Since most engineering curricula are filled with requirements in their own discipline, they generally do not have time for a traditional two semesters of probability and statistics. Attempts to condense that material into a single semester often results in so much time being spent on probability that the statistics useful for designing and analyzing engineering/scientific experiments is never covered. In developing a one-semester course whose purpose was to introduce engineering/scientific students to the most useful statistical methods, this book was created to satisfy those needs. - Provides the statistical design and analysis of engineering experiments & problems - Presents a student-friendly approach through providing statistical models for advanced learning techniques - Cove...

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

    Science.gov (United States)

    Sonnert, Gerhard; Sadler, Philip M.

    2014-01-01

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

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

    Science.gov (United States)

    Gibson, Megan

    2013-01-01

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

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

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

  20. Applications of fractional calculus in physics

    CERN Document Server

    2000-01-01

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

  1. Recursive sequences in first-year calculus

    Science.gov (United States)

    Krainer, Thomas

    2016-02-01

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

  2. Pre-calculus workbook for dummies

    CERN Document Server

    Gilman, Michelle Rose; Neal, Karina

    2009-01-01

    Get the confidence and the math skills you need to get started with calculus! Are you preparing for calculus? This easy-to-follow, hands-on workbook helps you master basic pre-calculus concepts and practice the types of problems you'll encounter in your cour sework. You get valuable exercises, problem-solving shortcuts, plenty of workspace, and step-by-step solutions to every problem. You'll also memorize the most frequently used equations, see how to avoid common mistakes, understand tricky trig proofs, and much more. 100s of Problems! Detailed, fully worked-out solutions to problem

  3. AP calculus AB & BC crash course

    CERN Document Server

    Rosebush, J

    2012-01-01

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

  4. A MOOC for Introductory Physics

    Science.gov (United States)

    Schatz, Michael

    2014-03-01

    We describe an effort to develop and to implement a college-level introductory physics (mechanics) MOOC that offers bona fide laboratory experiences. We also discuss efforts to use MOOC curricular materials to ``flip'' the classroom in a large lecture introductory physics course offered on-campus at Georgia Tech. Preliminary results of assessments and surveys from both MOOC and on-campus students will be presented.

  5. News clippings for introductory astronomy

    Science.gov (United States)

    Bobrowsky, Matthew

    1999-09-01

    Most students entering our introductory astronomy course for nonscience majors arrive not merely lacking scientific facts-they also have misconceptions about the nature of science, and many have a handicapping ``science anxiety'' (in addition to math anxiety). So I have added a ``current science'' requirement to our introductory course. Each student must compile a file of five astronomy news articles taken from readily available sources.

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

    OpenAIRE

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

    2016-01-01

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

  7. On Some Syntactic Properties of the Modalized Heyting Calculus

    OpenAIRE

    Muravitsky, Alexei

    2016-01-01

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

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

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

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

    CERN Document Server

    Banner, Adrian

    2009-01-01

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

  11. Intuitive introductory statistics

    CERN Document Server

    Wolfe, Douglas A

    2017-01-01

    This textbook is designed to give an engaging introduction to statistics and the art of data analysis. The unique scope includes, but also goes beyond, classical methodology associated with the normal distribution. What if the normal model is not valid for a particular data set? This cutting-edge approach provides the alternatives. It is an introduction to the world and possibilities of statistics that uses exercises, computer analyses, and simulations throughout the core lessons. These elementary statistical methods are intuitive. Counting and ranking features prominently in the text. Nonparametric methods, for instance, are often based on counts and ranks and are very easy to integrate into an introductory course. The ease of computation with advanced calculators and statistical software, both of which factor into this text, allows important techniques to be introduced earlier in the study of statistics. This book's novel scope also includes measuring symmetry with Walsh averages, finding a nonp...

  12. Fractional Vector Calculus and Fractional Special Function

    OpenAIRE

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

    2010-01-01

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

  13. Newton Binomial Formulas in Schubert Calculus

    OpenAIRE

    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.

  14. Brownian motion, martingales, and stochastic calculus

    CERN Document Server

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

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

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

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

  18. One Answer to "What Is Calculus?"

    Science.gov (United States)

    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)

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

  20. A primer on exterior differential calculus

    Directory of Open Access Journals (Sweden)

    Burton D.A.

    2003-01-01

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

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

  2. The origins of Cauchy's rigorous calculus

    CERN Document Server

    Grabiner, Judith V

    2005-01-01

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

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

  4. Generalized Cartan Calculus in general dimension

    Science.gov (United States)

    Wang, Yi-Nan

    2015-07-01

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

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

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

  7. Łukasiewicz mu-Calculus

    Directory of Open Access Journals (Sweden)

    Matteo Mio

    2013-08-01

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

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

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

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

  11. A phenomenological calculus of Wiener description space.

    Science.gov (United States)

    Richardson, I W; Louie, A H

    2007-10-01

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

  12. Endoscopic vs. tactile evaluation of subgingival calculus.

    Science.gov (United States)

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

    2014-08-01

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

  13. The Case for Infusing Quantitative Literacy into Introductory Geoscience Courses

    Directory of Open Access Journals (Sweden)

    Jennifer M. Wenner

    2009-01-01

    Full Text Available We present the case for introductory geoscience courses as model venues for increasing the quantitative literacy (QL of large numbers of the college-educated population. The geosciences provide meaningful context for a number of fundamental mathematical concepts that are revisited several times in a single course. Using some best practices from the mathematics education community surrounding problem solving, calculus reform, pre-college mathematics and five geoscience/math workshops, geoscience and mathematics faculty have identified five pedagogical ideas to increase the QL of the students who populate introductory geoscience courses. These five ideas include techniques such as: place mathematical concepts in context, use multiple representations, use technology appropriately, work in groups, and do multiple-day, in-depth problems that place quantitative skills in multiple contexts. We discuss the pedagogical underpinnings of these five ideas and illustrate some ways that the geosciences represent ideal places to use these techniques. However, the inclusion of QL in introductory courses is often met with resistance at all levels. Faculty who wish to include quantitative content must use creative means to break down barriers of public perception of geoscience as qualitative, administrative worry that enrollments will drop and faculty resistance to change. Novel ways to infuse QL into geoscience classrooms include use of web-based resources, shadow courses, setting clear expectations, and promoting quantitative geoscience to the general public. In order to help faculty increase the QL of geoscience students, a community-built faculty-centered web resource (Teaching Quantitative Skills in the Geosciences houses multiple examples that implement the five best practices of QL throughout the geoscience curriculum. We direct faculty to three portions of the web resource: Teaching Quantitative Literacy, QL activities, and the 2006 workshop website

  14. A Tale of Two Curricula: The performance of two thousand students in introductory electromagnetism

    Science.gov (United States)

    Schatz, Michael; Kohlmyer, Matthew; Caballero, Marcos; Chabay, Ruth; Sherwood, Bruce; Catrambone, Richard; Marr, Marcus; Haugen, Mark; Ding, Lin

    2009-03-01

    Student performance in introductory calculus-based electromagnetism (E&M) courses at four large research universities was measured using the Brief Electricity and Magnetism Assessment (BEMA). Two different curricula were used at these universities: a traditional E&M curriculum and the Matter & Interactions (M&I) curriculum. At each university, post-instruction BEMA test averages were significantly higher for the M&I curriculum than for the traditional curriculum. The differences in post-test averages cannot be explained by differences in variables such as pre-instruction BEMA scores, grade point average, or SAT scores.

  15. Comparing the efficacy of multimedia modules with traditional textbooks for learning introductory physics content

    Science.gov (United States)

    Stelzer, Timothy; Gladding, Gary; Mestre, José P.; Brookes, David T.

    2009-02-01

    We compared the efficacy of multimedia learning modules with traditional textbooks for the first few topics of a calculus-based introductory electricity and magnetism course. Students were randomly assigned to three groups. One group received the multimedia learning module presentations, and the other two received the presentations via written text. All students were then tested on their learning immediately following the presentations as well as 2weeks later. The students receiving the multimedia learning modules performed significantly better on both tests than the students experiencing the text-based presentations.

  16. Impacts of curricular change: Implications from 8 years of data in introductory physics

    Science.gov (United States)

    Pollock, Steven J.; Finkelstein, Noah

    2013-01-01

    Introductory calculus-based physics classes at the University of Colorado Boulder were significantly transformed beginning in 2004. They now regularly include: interactive engagement using clickers in large lecture settings, Tutorials in Introductory Physics with use of undergraduate Learning Assistants in recitation sections, and a staffed help-room setting where students work on personalized CAPA homework. We compile and summarize conceptual (FMCE and BEMA) pre- and post-data from over 9,000 unique students after 16 semesters of both Physics 1 and 2. Within a single institution with stable pre-test scores, we reproduce results of Hake's 1998 study that demonstrate the positive impacts of interactive engagement on student performance. We link the degree of faculty's use of interactive engagement techniques and their experience levels on student outcomes, and argue for the role of such systematic data collection in sustained course and institutional transformations.

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

    Science.gov (United States)

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

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

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

    Science.gov (United States)

    Davydov, Aleksandr; Sturm-Beiss, Rachel

    2008-01-01

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

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

  20. Investigating the use of mastery-style online homework exercises in introductory algebra-based mechanics in a controlled clinical study

    Science.gov (United States)

    Evans, William R.; Selen, Mats A.

    2017-12-01

    Homework in introductory physics represents an important part of a student's learning experience; therefore, choosing the manner in which homework is presented merits investigation. We performed three rounds of clinical trials comparing the effects of mastery-style homework vs traditional-style homework with students in both algebra-based and calculus-based introductory mechanics. Results indicate a benefit from mastery-style over traditional-style homework, principally for weaker students who are less familiar with the material being covered and on questions that are nearer transfer to the study materials.

  1. Ancient DNA analysis of dental calculus.

    Science.gov (United States)

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

    2015-02-01

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

  2. Developing and validating a conceptual survey to assess introductory physics students’ understanding of magnetism

    Science.gov (United States)

    Li, Jing; Singh, Chandralekha

    2017-03-01

    Development of validated physics surveys on various topics is important for investigating the extent to which students master those concepts after traditional instruction and for assessing innovative curricula and pedagogies that can improve student understanding significantly. Here, we discuss the development and validation of a conceptual multiple-choice survey related to magnetism suitable for introductory physics courses. The survey was developed taking into account common students’ difficulties with magnetism concepts covered in introductory physics courses found in our investigation and the incorrect choices to the multiple-choice questions were designed based upon those common student difficulties. After the development and validation of the survey, it was administered to introductory physics students in various classes in paper-pencil format before and after traditional lecture-based instruction in relevant concepts. We compared the performance of students on the survey in the algebra-based and calculus-based introductory physics courses before and after traditional lecture-based instruction in relevant magnetism concepts. We discuss the common difficulties of introductory physics students with magnetism concepts we found via the survey. We also administered the survey to upper-level undergraduates majoring in physics and PhD students to benchmark the survey and compared their performance with those of traditionally taught introductory physics students for whom the survey is intended. A comparison with the base line data on the validated magnetism survey from traditionally taught introductory physics courses and upper-level undergraduate and PhD students discussed in this paper can help instructors assess the effectiveness of curricula and pedagogies which is especially designed to help students integrate conceptual and quantitative understanding and develop a good grasp of the concepts. In particular, if introductory physics students’ average

  3. Developing and validating a conceptual survey to assess introductory physics students’ understanding of magnetism

    International Nuclear Information System (INIS)

    Li, Jing; Singh, Chandralekha

    2017-01-01

    Development of validated physics surveys on various topics is important for investigating the extent to which students master those concepts after traditional instruction and for assessing innovative curricula and pedagogies that can improve student understanding significantly. Here, we discuss the development and validation of a conceptual multiple-choice survey related to magnetism suitable for introductory physics courses. The survey was developed taking into account common students’ difficulties with magnetism concepts covered in introductory physics courses found in our investigation and the incorrect choices to the multiple-choice questions were designed based upon those common student difficulties. After the development and validation of the survey, it was administered to introductory physics students in various classes in paper–pencil format before and after traditional lecture-based instruction in relevant concepts. We compared the performance of students on the survey in the algebra-based and calculus-based introductory physics courses before and after traditional lecture-based instruction in relevant magnetism concepts. We discuss the common difficulties of introductory physics students with magnetism concepts we found via the survey. We also administered the survey to upper-level undergraduates majoring in physics and PhD students to benchmark the survey and compared their performance with those of traditionally taught introductory physics students for whom the survey is intended. A comparison with the base line data on the validated magnetism survey from traditionally taught introductory physics courses and upper-level undergraduate and PhD students discussed in this paper can help instructors assess the effectiveness of curricula and pedagogies which is especially designed to help students integrate conceptual and quantitative understanding and develop a good grasp of the concepts. In particular, if introductory physics students’ average

  4. Regularization of positive definite matrix fields based on multiplicative calculus

    NARCIS (Netherlands)

    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

  5. Semantics in Teaching Introductory Physics.

    Science.gov (United States)

    Williams, H. Thomas

    1999-01-01

    Contends that the large vocabulary used for precise purposes in physics contains many words that have related but potentially confusing meanings in everyday usage. Analyzes the treatment of Newton's Laws of Motion in several well-known introductory textbooks for evidence of inconsistent language use. Makes teaching suggestions. (Contains 11…

  6. Teaching abstraction in introductory courses

    NARCIS (Netherlands)

    Koppelman, Herman; van Dijk, Betsy

    Abstraction is viewed as a key concept in computer science. It is not only an important concept but also one that is difficult to master. This paper focuses on the problems that novices experience when they first encounter this concept. Three assignments from introductory courses are analyzed, to

  7. Microcomputers in the Introductory Laboratory.

    Science.gov (United States)

    Bare, John K.

    1982-01-01

    A microcomputer was used successfully to replicate Sternberg's 1966 study of retrieval from short-term memory and Sperling's 1960 study on sensory or iconic memory. Computers with a capacity for measuring reaction time are useful in the laboratory for introductory psychology courses. (SR)

  8. Failure Rates in Introductory Programming

    DEFF Research Database (Denmark)

    Bennedsen, Jens; Caspersen, Michael Edelgaard

    2007-01-01

    It is a common conception that CS1 is a very difficult course and that failure rates are high. However, until now there has only been anecdotal evidence for this claim. This article reports on a survey among institutions around the world regarding failure rates in introductory programming courses...

  9. Plasma medicine: an introductory review

    NARCIS (Netherlands)

    Kong, M.G.; Kroesen, G.M.W.; Morfill, G.; Nosenko, T.; Shimizu, T.; Dijk, van J.; Zimmermann, J.L.

    2009-01-01

    This introductory review on plasma health care is intended to provide the interested reader with a summary of the current status of this emerging field, its scope, and its broad interdisciplinary approach, ranging from plasma physics, chemistry and technology, to microbiology, biochemistry,

  10. Concept Maps in Introductory Statistics

    Science.gov (United States)

    Witmer, Jeffrey A.

    2016-01-01

    Concept maps are tools for organizing thoughts on the main ideas in a course. I present an example of a concept map that was created through the work of students in an introductory class and discuss major topics in statistics and relationships among them.

  11. Computational Inquiry in Introductory Statistics

    Science.gov (United States)

    Toews, Carl

    2017-01-01

    Inquiry-based pedagogies have a strong presence in proof-based undergraduate mathematics courses, but can be difficult to implement in courses that are large, procedural, or highly computational. An introductory course in statistics would thus seem an unlikely candidate for an inquiry-based approach, as these courses typically steer well clear of…

  12. Student Misconceptions in Introductory Biology.

    Science.gov (United States)

    Fisher, Kathleen M.; Lipson, Joseph I.

    Defining a "misconception" as an error of translation (transformation, correspondence, interpolation, interpretation) between two different kinds of information which causes students to have incorrect expectations, a Taxonomy of Errors has been developed to examine student misconceptions in an introductory biology course for science…

  13. MRI Experiments for Introductory Physics

    Science.gov (United States)

    Taghizadeh, Sanaz; Lincoln, James

    2018-01-01

    The introductory physics classroom has long educated students about the properties of the atom and the nucleus. But absent from these lessons has been an informed discussion of magnetic resonance imaging (MRI) and its parent science nuclear magnetic resonance (NMR). Physics teachers should not miss the opportunity to instruct upon this highly…

  14. Series expansion in fractional calculus and fractional differential equations

    OpenAIRE

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

    2009-01-01

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

  15. Fuzzy relational calculus theory, applications and software

    CERN Document Server

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

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

  17. A MATLAB companion for multivariable calculus

    CERN Document Server

    Cooper, Jeffery

    2001-01-01

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

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

  19. The giant calculus within the prostatic urethra.

    Science.gov (United States)

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

    2011-08-01

    The giant calculus within the prostatic urethra is a rare clinical entity in the young population. Most of the calculi within the urethra migrate from the urinary bladder and obliterate the urethra. These stones are often composed of calcium phosphate or calcium oxalate. The decision of treatment strategy is affected by the size, shape and position of the calculus and by the status of the urethra. If the stone is large and immovable, it may be extracted via the perineal or the suprapubic approach. In most cases, the giant calculi were extracted via the transvesical approach and external urethrotomy. Our case is the biggest prostatic calculus, known in the literature so far, which was treated endoscopically by the combination of laser and the pneumatic lithotriptor.

  20. White noise calculus and Fock space

    CERN Document Server

    Obata, Nobuaki

    1994-01-01

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

  1. Examining End-of-Chapter Problems across Editions of an Introductory Calculus-Based Physics Textbook

    Science.gov (United States)

    Xiao, Bin

    2016-01-01

    End-Of-Chapter (EOC) problems have been part of many physics education studies. Typically, only problems "localized" as relevant to a single chapter were used. This work examines how well this type of problem represents all EOC problems and whether EOC problems found in leading textbooks have changed over the past several decades. To…

  2. Connecting Symbolic Integrals to Physical Meaning in Introductory Physics

    Science.gov (United States)

    Amos, Nathaniel R.

    This dissertation presents a series of studies pertaining to introductory physics students' abilities to derive physical meaning from symbolic integrals (e.g., the integral of vdt) and their components, namely differentials and differential products (e.g., dt and vdt, respectively). Our studies focus on physical meaning in the form of interpretations (e.g., "the total displacement of an object") and units (e.g., "meters"). Our first pair of studies independently attempted to identify introductory-level mechanics students' common conceptual difficulties with and unproductive interpretations of physics integrals and their components, as well as to estimate the frequencies of these difficulties. Our results confirmed some previously-observed incorrect interpretations, such as the notion that differentials are physically meaningless; however, we also uncovered two new conceptualizations of differentials, the "rate" (differentials are "rates" or "derivatives") and "instantaneous value" (differentials are values of physical variables "at an instant") interpretations, which were exhibited by more than half of our participants at least once. Our next study used linear regression analysis to estimate the strengths of the inter-connections between the abilities to derive physical meaning from each of differentials, differential products, and integrals in both first- and second-semester, calculus-based introductory physics. As part of this study, we also developed a highly reliable, multiple choice assessment designed to measure students' abilities to connect symbolic differentials, differential products, and integrals with their physical interpretations and units. Findings from this study were consistent with statistical mediation via differential products. In particular, students' abilities to extract physical meaning from differentials were seen to be strongly related to their abilities to derive physical meaning from differential products, and similarly differential

  3. Characterizing, modeling, and addressing gender disparities in introductory college physics

    Science.gov (United States)

    Kost-Smith, Lauren Elizabeth

    2011-12-01

    The underrepresentation and underperformance of females in physics has been well documented and has long concerned policy-makers, educators, and the physics community. In this thesis, we focus on gender disparities in the first- and second-semester introductory, calculus-based physics courses at the University of Colorado. Success in these courses is critical for future study and careers in physics (and other sciences). Using data gathered from roughly 10,000 undergraduate students, we identify and model gender differences in the introductory physics courses in three areas: student performance, retention, and psychological factors. We observe gender differences on several measures in the introductory physics courses: females are less likely to take a high school physics course than males and have lower standardized mathematics test scores; males outscore females on both pre- and post-course conceptual physics surveys and in-class exams; and males have more expert-like attitudes and beliefs about physics than females. These background differences of males and females account for 60% to 70% of the gender gap that we observe on a post-course survey of conceptual physics understanding. In analyzing underlying psychological factors of learning, we find that female students report lower self-confidence related to succeeding in the introductory courses (self-efficacy) and are less likely to report seeing themselves as a "physics person". Students' self-efficacy beliefs are significant predictors of their performance, even when measures of physics and mathematics background are controlled, and account for an additional 10% of the gender gap. Informed by results from these studies, we implemented and tested a psychological, self-affirmation intervention aimed at enhancing female students' performance in Physics 1. Self-affirmation reduced the gender gap in performance on both in-class exams and the post-course conceptual physics survey. Further, the benefit of the self

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

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

    Science.gov (United States)

    Robertson, Bill

    2014-01-01

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

  6. A Transition Course from Advanced Placement to College Calculus

    Science.gov (United States)

    Lucas, Timothy A.; Spivey, Joseph

    2011-01-01

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

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

    Science.gov (United States)

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

    2016-01-01

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

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

  9. Computer Managed Instruction Homework Modules for Calculus I.

    Science.gov (United States)

    Goodman-Petrushka, Sharon; Roitberg, Yael

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

  10. ASSESSING STUDENTS' UNDERSTANDING OF PRE-CALCULUS CONCEPTS

    OpenAIRE

    Dr. Jyoti Sharma

    2017-01-01

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

  11. Projects for calculus the language of change

    CERN Document Server

    Stroyan, Keith D

    1999-01-01

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

  12. Multivariable dynamic calculus on time scales

    CERN Document Server

    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.

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

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

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

  16. Hybrid Logical Analyses of the Ambient Calculus

    DEFF Research Database (Denmark)

    Bolander, Thomas; Hansen, René Rydhof

    2007-01-01

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

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

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

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

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

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

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

  3. Ups and downs of using ``kitchen sink'' experiments in an introductory fluid mechanics class

    Science.gov (United States)

    Kaye, Nigel

    2015-11-01

    Both positive and negative experiences from two semesters of using take home ``kitchen sink'' experiments in an introductory civil engineering fluid mechanics class are reported. Four different experimental assignments were given each semester to groups of four students. The students were tasked with using common household equipment to measure various properties of fluids or fluid flows. These included the density of cooking oil, the exit velocity from a garden hose, and the mass flux of air from a compressed air can. Students were given minimal guidance on how to do the measurements and each measurement had to be done in at least two different ways. The labs were used to relate their course work to everyday situations and was also used as a platform for discussing experimental uncertainty and error propagation in calculations. In general the students successfully completed each task using at least one method. Finding a second method sometimes proved problematic. The presentation will discuss the logistics of running the program and the positive and negative aspects from the instructor viewpoint. A summary of student feedback on the labs will also be presented. Links to resources for those interested in implementing such a program will be provided.

  4. A Typed Functional Calculus With State

    NARCIS (Netherlands)

    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

  5. Boolean integral calculus for digital systems

    Science.gov (United States)

    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.

  6. Dogs Don't Need Calculus

    Science.gov (United States)

    Bolt, Mike

    2010-01-01

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

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

  8. Bladder calculus presenting as excessive masturbation.

    Science.gov (United States)

    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.

  9. Continuous fragment of the mu-calculus

    NARCIS (Netherlands)

    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

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

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

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

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

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

  15. Enabling quaternion derivatives: the generalized HR calculus

    Science.gov (United States)

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

    2015-01-01

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

  16. Fractional vector calculus for fractional advection dispersion

    Science.gov (United States)

    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.

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

  18. A Note on Discrete Mathematics and Calculus.

    Science.gov (United States)

    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)

  19. Supercalculators and University Entrance Calculus Examinations.

    Science.gov (United States)

    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…

  20. Using Discovery in the Calculus Class

    Science.gov (United States)

    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)

  1. Exploring Flipped Classroom Instruction in Calculus III

    Science.gov (United States)

    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…

  2. Teaching Calculus Students How to Study.

    Science.gov (United States)

    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)

  3. Some Factors Effected Student's Calculus Learning Outcome

    Science.gov (United States)

    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…

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

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

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

  7. Are Homeschoolers Prepared for College Calculus?

    Science.gov (United States)

    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…

  8. Discrete Calculus as a Bridge between Scales

    Science.gov (United States)

    Degiuli, Eric; McElwaine, Jim

    2012-02-01

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

  9. Students' Difficulties with Vector Calculus in Electrodynamics

    Science.gov (United States)

    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…

  10. Online Calculus: The Course and Survey Results.

    Science.gov (United States)

    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)

  11. Maple Graphing Tools for Calculus III

    Science.gov (United States)

    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…

  12. Elementary Business Calculus with Computer Algebra.

    Science.gov (United States)

    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)

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

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

  15. A planar calculus for infinite index subfactors

    OpenAIRE

    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.

  16. A Planar Calculus for Infinite Index Subfactors

    Science.gov (United States)

    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.

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

  18. Representations in Calculus: Two Contrasting Cases.

    Science.gov (United States)

    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)

  19. Partial differential equations and calculus of variations

    CERN Document Server

    Leis, Rolf

    1988-01-01

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

  20. A TENTATIVE GUIDE, DIFFERENTIAL AND INTEGRAL CALCULUS.

    Science.gov (United States)

    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…

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

  2. Flipping a Calculus Class: One Instructor's Experience

    Science.gov (United States)

    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…

  3. Sharks, Minnows, and Wheelbarrows: Calculus Modeling Projects

    Science.gov (United States)

    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…

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

  5. Optimal control and the calculus of variations

    CERN Document Server

    Pinch, Enid R

    1993-01-01

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

  6. CAS Introductory Course in Italy

    CERN Multimedia

    2008-01-01

    The CERN Accelerator School’s introductory course is a great success. This year the CERN Accelerator School held its "Introduction to Accelerator Physics" course in Frascati, Italy, from 2-14 November in collaboration with the University of Rome "La Sapienza" and the INFN Frascati National Laboratory. The Introductory level course is particularly important since, for the majority of participants, it is the first opportunity to discover the various aspects of accelerator physics. For this school the programme had been significantly revised in order to take into account the new trends currently being developed in the field, thus putting more emphasis on linacs, synchrotron light sources and free-electron lasers. The school was a resounding success with 115 participants of more than 23 nationalities. Feedback from the students praised the expertise of the lecturers, the high standard of the lectures as well as the excellent organizati...

  7. Fractional calculus in bioengineering, part 3.

    Science.gov (United States)

    Magin, Richard L

    2004-01-01

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

  8. Characteristics of subgingival calculus detection by multiphoton fluorescence microscopy

    Science.gov (United States)

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

    2011-06-01

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

  9. Effect of scaffolding on helping introductory physics students solve quantitative problems involving strong alternative conceptions

    Science.gov (United States)

    Lin, Shih-Yin; Singh, Chandralekha

    2015-12-01

    It is well known that introductory physics students often have alternative conceptions that are inconsistent with established physical principles and concepts. Invoking alternative conceptions in the quantitative problem-solving process can derail the entire process. In order to help students solve quantitative problems involving strong alternative conceptions correctly, appropriate scaffolding support can be helpful. The goal of this study is to examine how different scaffolding supports involving analogical problem-solving influence introductory physics students' performance on a target quantitative problem in a situation where many students' solution process is derailed due to alternative conceptions. Three different scaffolding supports were designed and implemented in calculus-based and algebra-based introductory physics courses involving 410 students to evaluate the level of scaffolding needed to help students learn from an analogical problem that is similar in the underlying principles involved but for which the problem-solving process is not derailed by alternative conceptions. We found that for the quantitative problem involving strong alternative conceptions, simply guiding students to work through the solution of the analogical problem first was not enough to help most students discern the similarity between the two problems. However, if additional scaffolding supports that directly helped students examine and repair their knowledge elements involving alternative conceptions were provided, e.g., by guiding students to contemplate related issues and asking them to solve the targeted problem on their own first before learning from the analogical problem provided, students were more likely to discern the underlying similarities between the problems and avoid getting derailed by alternative conceptions when solving the targeted problem. We also found that some scaffolding supports were more effective in the calculus-based course than in the algebra

  10. Investigating and improving introductory physics students’ understanding of symmetry and Gauss’s law

    Science.gov (United States)

    Li, Jing; Singh, Chandralekha

    2018-01-01

    We discuss an investigation of student difficulties with symmetry and Gauss’s law and how the research on students’ difficulties was used as a guide to develop a tutorial related to these topics to help students in the calculus-based introductory physics courses learn these concepts. During the development of the tutorial, we interviewed students individually at various stages of development and administered written tests in the free-response and multiple-choice formats on these concepts to learn about common student difficulties. We also obtained feedback from physics instructors who teach introductory physics courses regularly in which these concepts were covered. The students in several ‘equivalent’ sections worked on the tutorial after traditional lecture-based instruction. We discuss the performance of students on the written pre-test (administered after lecture-based instruction in relevant concepts) and post-test given after students worked on the tutorial. We find that on the pre-test, all sections of the course performed comparably regardless of the instructor. Also, on average, student performance on the post-test after working on the tutorial is significantly better than on the pre-test after lecture-based instruction. We also compare the post-test performance of introductory students in sections of the course in which the tutorial was used versus not used and find that sections in which students engaged with the tutorial outperformed those in which students did not engage with it.

  11. Situated Self-efficacy in Introductory Physics Students

    Science.gov (United States)

    Henderson, Rachel; DeVore, Seth; Michaluk, Lynnette; Stewart, John

    2017-01-01

    Within the general university environment, students' perceived self-efficacy has been widely studied and findings suggest it plays a role in student success. The current research adapted a self-efficacy survey, from the ``Self-Efficacy for Learning Performance'' subscale of the Motivated Learning Strategies Questionnaire and administered it to the introductory, calculus-based physics classes (N=1005) over the fall 2015 and spring 2016 semesters. This assessment measured students' self-efficacy in domains including the physics class, other science and mathematics classes, and their intended future career. The effect of gender was explored with the only significant gender difference (p gender difference was not explained by a student's performance which was measured by test average. However, a mediation analysis showed that students' overall academic self-efficacy, measured by their math and science self-efficacy, acts as a mediator for the effect of test average on self-efficacy towards the physics class domain. This mediation effect was significant for both female (p < . 01) and male students (p < . 001) however, it was more pronounced for male students.

  12. Internet computer coaches for introductory physics problem solving

    Science.gov (United States)

    Xu Ryan, Qing

    The ability to solve problems in a variety of contexts is becoming increasingly important in our rapidly changing technological society. Problem-solving is a complex process that is important for everyday life and crucial for learning physics. Although there is a great deal of effort to improve student problem solving skills throughout the educational system, national studies have shown that the majority of students emerge from such courses having made little progress toward developing good problem-solving skills. The Physics Education Research Group at the University of Minnesota has been developing Internet computer coaches to help students become more expert-like problem solvers. During the Fall 2011 and Spring 2013 semesters, the coaches were introduced into large sections (200+ students) of the calculus based introductory mechanics course at the University of Minnesota. This dissertation, will address the research background of the project, including the pedagogical design of the coaches and the assessment of problem solving. The methodological framework of conducting experiments will be explained. The data collected from the large-scale experimental studies will be discussed from the following aspects: the usage and usability of these coaches; the usefulness perceived by students; and the usefulness measured by final exam and problem solving rubric. It will also address the implications drawn from this study, including using this data to direct future coach design and difficulties in conducting authentic assessment of problem-solving.

  13. A Simplified Stabilizer ZX-calculus

    Directory of Open Access Journals (Sweden)

    Miriam Backens

    2017-01-01

    Full Text Available The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics.The language is sound and complete: a stabilizer ZX-diagram can be transformed into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the essential axioms which potentially capture fundamental structures of quantum mechanics. We thus give a significantly smaller set of axioms and prove that meta-rules like 'colour symmetry' and 'upside-down symmetry', which were considered as axioms in previous versions of the language, can in fact be derived. In particular, we show that the additional symbol and one of the rules which had been recently introduced to keep track of scalars (diagrams with no inputs or outputs are not necessary.

  14. Thunks and the λ-calculus

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1997-01-01

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

  15. Independent variables in 3 + 1 Regge calculus

    International Nuclear Information System (INIS)

    Tuckey, P.A.

    1989-01-01

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

  16. Differential calculus in normed linear spaces

    CERN Document Server

    Mukherjea, Kalyan

    2007-01-01

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

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

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

  19. Semiclassical dynamics and magnetic Weyl calculus

    International Nuclear Information System (INIS)

    Lein, Maximilian Stefan

    2011-01-01

    Weyl quantization and related semiclassical techniques can be used to study conduction properties of crystalline solids subjected to slowly-varying, external electromagnetic fields. The case where the external magnetic field is constant, is not covered by existing theory as proofs involving usual Weyl calculus break down. This is the regime of the so-called quantum Hall effect where quantization of transverse conductance is observed. To rigorously derive semiclassical equations of motion, one needs to systematically develop a magnetic Weyl calculus which contains a semiclassical parameter. Mathematically, the operators involved in the analysis are magnetic pseudodifferential operators, a topic which by itself is of interest for the mathematics and mathematical physics community alike. Hence, we will devote two additional chapters to further understanding of properties of those operators. (orig.)

  20. Semiclassical dynamics and magnetic Weyl calculus

    Energy Technology Data Exchange (ETDEWEB)

    Lein, Maximilian Stefan

    2011-01-19

    Weyl quantization and related semiclassical techniques can be used to study conduction properties of crystalline solids subjected to slowly-varying, external electromagnetic fields. The case where the external magnetic field is constant, is not covered by existing theory as proofs involving usual Weyl calculus break down. This is the regime of the so-called quantum Hall effect where quantization of transverse conductance is observed. To rigorously derive semiclassical equations of motion, one needs to systematically develop a magnetic Weyl calculus which contains a semiclassical parameter. Mathematically, the operators involved in the analysis are magnetic pseudodifferential operators, a topic which by itself is of interest for the mathematics and mathematical physics community alike. Hence, we will devote two additional chapters to further understanding of properties of those operators. (orig.)

  1. Using R for introductory statistics

    CERN Document Server

    Verzani, John

    2014-01-01

    The second edition of a bestselling textbook, Using R for Introductory Statistics guides students through the basics of R, helping them overcome the sometimes steep learning curve. The author does this by breaking the material down into small, task-oriented steps. The second edition maintains the features that made the first edition so popular, while updating data, examples, and changes to R in line with the current version.See What's New in the Second Edition:Increased emphasis on more idiomatic R provides a grounding in the functionality of base R.Discussions of the use of RStudio helps new

  2. Calculus teaching and learning in South Korea

    OpenAIRE

    Natanael Karjanto

    2013-01-01

    This article discusses an experience of teaching Calculus classes for the freshmen students enrolled at Sungkyunkwan University, one of the private universities in South Korea. The teaching and learning approach is a balance combination between the teacher-oriented traditional style of lecturing and other activities that encourage students for active learning and classroom participation. Based on the initial observation during several semesters, some anecdotal evidences show that students'...

  3. Calculus teaching and learning in South Korea

    OpenAIRE

    Karjanto, N.

    2015-01-01

    This article discusses an experience of teaching Calculus classes for the freshmen students enrolled at Sungkyunkwan University, one of the private universities in South Korea. The teaching and learning approach is a balance combination between the teacher-oriented traditional style of lecturing and other activities that encourage students for active learning and classroom participation. Based on the initial observation during several semesters, some anecdotal evidences show that students' le...

  4. Some aspects of q-boson calculus

    International Nuclear Information System (INIS)

    Smirnov, Yu.F.; Kibler, M.R.

    1992-10-01

    The Jordan-Schwinger calculus is discussed, using deformed bosons. This work constitutes a first step toward a complete study of the SU q (2) unit tensor. The objective is to find a realization of the components of this tensor in terms of q-bosons. The q-deformed Schwinger algebra relative to SU q (2) is defined, and an algorithm for producing recurrent relations between Clebsch-Gordan coefficients for SU q (2) is given. (K.A.) 18 refs

  5. Differential calculus on quantized simple Lie groups

    International Nuclear Information System (INIS)

    Jurco, B.

    1991-01-01

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

  6. Time-evolution problem in Regge calculus

    International Nuclear Information System (INIS)

    Sorkin, R.

    1975-01-01

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

  7. Inclusive central region in perturbative Reggeon calculus

    International Nuclear Information System (INIS)

    Pajares, C.; Pascual, R.

    1976-01-01

    The single-particle inclusive cross section and the correlation function are studied in the perturbative approach to Gribov's Reggeon calculus; the leading contributions to both functions are evaluated. The large energy rise of the inclusive cross section appears as a consequence of the Pomerons having an intercept larger than 1. The same set of parameters which describes correctly the cross-section data and the triple-Regge region also describes the inclusive data in the central region

  8. Earlinet single calculus chain: new products overview

    Science.gov (United States)

    D'Amico, Giuseppe; Mattis, Ina; Binietoglou, Ioannis; Baars, Holger; Mona, Lucia; Amato, Francesco; Kokkalis, Panos; Rodríguez-Gómez, Alejandro; Soupiona, Ourania; Kalliopi-Artemis, Voudouri

    2018-04-01

    The Single Calculus Chain (SCC) is an automatic and flexible tool to analyze raw lidar data using EARLINET quality assured retrieval algorithms. It has been already demonstrated the SCC can retrieve reliable aerosol backscatter and extinction coefficient profiles for different lidar systems. In this paper we provide an overview of new SCC products like particle linear depolarization ratio, cloud masking, aerosol layering allowing relevant improvements in the atmospheric aerosol characterization.

  9. Equivariant calculus in the differential envelope

    International Nuclear Information System (INIS)

    Kastler, D.

    1991-01-01

    The author shows how Z/2-graded cyclic cohomology is related to the equivariant calculus of S. Klimek, W. Kondracki, and A. Lesniewski (HUTMP 90/B247 (1990)). He uses the differential envelope of a complex unital differential algebra. After a presentation of fiber-preserved operators on equivariant functions valued in this algebra on a group he considers certain operators on this algebra. Finally he discusses explicitly the case G=Z/2. (HSI)

  10. Equivariant calculus in the differential envelope

    Energy Technology Data Exchange (ETDEWEB)

    Kastler, D. (Centre National de la Recherche Scientifique, 13 - Marseille (France). Centre de Physique Theorique)

    1991-01-01

    The author shows how Z/2-graded cyclic cohomology is related to the equivariant calculus of S. Klimek, W. Kondracki, and A. Lesniewski (HUTMP 90/B247 (1990)). He uses the differential envelope of a complex unital differential algebra. After a presentation of fiber-preserved operators on equivariant functions valued in this algebra on a group he considers certain operators on this algebra. Finally he discusses explicitly the case G=Z/2. (HSI).

  11. Double dumb-bell calculus in childhood

    Directory of Open Access Journals (Sweden)

    Joshi Prashant

    2009-01-01

    Full Text Available An eight-year old male was admitted with complaints of right scrotal swelling, dysuria and intermittent retention of urine for 10 days. On per-rectal examination, a hard mass was palpable in the posterior urethra. An X-ray (KUB of the abdomen revealed a double dumb-bell calculus at the base of bladder, extending into the posterior urethra. A cystolithotomy via the suprapubic approach was successfully curative.

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

  13. Introduction to the calculus of variations

    CERN Document Server

    Sagan, Hans

    1992-01-01

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

  14. Geometrical foundations of tensor calculus and relativity

    OpenAIRE

    Schuller , Frédéric; Lorent , Vincent

    2006-01-01

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

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

    CERN Document Server

    Johnson, George W; Nielsen, Lance

    2015-01-01

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

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

    Directory of Open Access Journals (Sweden)

    Simon J. Gay

    2014-07-01

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

  17. Supergravity tensor calculus in 5D from 6D

    International Nuclear Information System (INIS)

    Kugo, Taichiro; Ohashi, Keisuke

    2000-01-01

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

  18. A Readability Analysis of Selected Introductory Economics.

    Science.gov (United States)

    Gallagher, Daniel J.; Thompson, G. Rodney

    1981-01-01

    To aid secondary school and college level economics teachers as they select textbooks for introductory economics courses, this article recounts how teachers can use the Flesch Reading Ease Test to measure readability. Data are presented on application of the Flesch Reading Ease Test to 15 introductory economics textbooks. (Author/DB)

  19. Introductory Guide to European Corporate Law

    DEFF Research Database (Denmark)

    Fomcenco, Alex

    Introductory Guide to European Corporate Law presents in an easily comprehensible and accessible way the main features and principles that govern European corporate law.......Introductory Guide to European Corporate Law presents in an easily comprehensible and accessible way the main features and principles that govern European corporate law....

  20. Psychology Ethics in Introductory Psychology Textbooks

    Science.gov (United States)

    Zucchero, Renee' A.

    2011-01-01

    Previous research revealed that introductory psychology textbooks included limited information about psychology ethics. This study reviewed 48 current introductory psychology textbooks for research and other APA ethics content. These textbooks included slightly more total ethics content and were more thorough in their review of research ethics…

  1. The Memorability of Introductory Psychology Revisited

    Science.gov (United States)

    Landrum, R. Eric; Gurung, Regan A. R.

    2013-01-01

    Almost 2 million students enroll in introductory psychology each year in the United States, making it the second most popular undergraduate course in the nation. Introductory psychology not only serves as a prerequisite for other courses in the discipline but for some students this course provides their only exposure to psychological science.…

  2. Everyday calculus discovering the hidden math all around us

    CERN Document Server

    Fernandez, Oscar E

    2014-01-01

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

  3. Dental calculus image based on optical coherence tomography

    Science.gov (United States)

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

    2011-03-01

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

  4. Malliavin Calculus With Applications to Stochastic Partial Differential Equations

    CERN Document Server

    Sanz-Solé, Marta

    2005-01-01

    Developed in the 1970s to study the existence and smoothness of density for the probability laws of random vectors, Malliavin calculus--a stochastic calculus of variation on the Wiener space--has proven fruitful in many problems in probability theory, particularly in probabilistic numerical methods in financial mathematics.This book presents applications of Malliavin calculus to the analysis of probability laws of solutions to stochastic partial differential equations driven by Gaussian noises that are white in time and coloured in space. The first five chapters introduce the calculus itself

  5. A Calculus of Communicating Systems with Label Passing

    DEFF Research Database (Denmark)

    Engberg, Uffe Henrik; Nielsen, Mogens

    Milner's Calculus of Communicating Systems (CCS) is extended with a mechanism for label passing - as an attempt to remedy some of the shortcomings of CCS w.r.t. dynamic change of agent interconnections. In the extended calculus, restriction is viewed formally as a binder, and the calculus allows...... dynamic change of scope (of label) in connection with communication. It is proved that algebraic properties of strong (and observational) equivalence for CCS are preserved by the extension. Examples illustrating the expressive power of the calculus and its methods for reasoning are given....

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

    Science.gov (United States)

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

    2015-07-02

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

  7. Command injection attacks, continuations, and the Lambek calculus

    Directory of Open Access Journals (Sweden)

    Hayo Thielecke

    2016-06-01

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

  8. Pre-calculus 1,001 practice problems for dummies

    CERN Document Server

    Sterling, Mary Jane; Sterling

    2014-01-01

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

  9. Improving Student Success in Calculus I Using a Co-Requisite Calculus I Lab

    Science.gov (United States)

    Vestal, Sharon Schaffer; Brandenburger, Thomas; Furth, Alfred

    2015-01-01

    This paper describes how one university mathematics department was able to improve student success in Calculus I by requiring a co-requisite lab for certain groups of students. The groups of students required to take the co-requisite lab were identified by analyzing student data, including Math ACT scores, ACT Compass Trigonometry scores, and…

  10. Unfolding Semantics of the Untyped λ-Calculus with lectrec-Calculus with letrec

    NARCIS (Netherlands)

    Rochel, J.

    2016-01-01

    We investigate the relationship between finite terms in lambda-letrec, the lambda calculus with letrec, and the infinite lambda terms they express. We say that a lambda-letrec term expresses a lambda term if the latter can be obtained as an infinite unfolding of the former. Unfolding is the process

  11. Introductory course on differential equations

    CERN Document Server

    Gorain, Ganesh C

    2014-01-01

    Introductory Course on DIFFERENTIAL EQUATIONS provides an excellent exposition of the fundamentals of ordinary and partial differential equations and is ideally suited for a first course of undergraduate students of mathematics, physics and engineering. The aim of this book is to present the elementary theories of differential equations in the forms suitable for use of those students whose main interest in the subject are based on simple mathematical ideas. KEY FEATURES: Discusses the subject in a systematic manner without sacrificing mathematical rigour. A variety of exercises drill the students in problem solving in view of the mathematical theories explained in the book. Worked out examples illustrated according to the theories developed in the book with possible alternatives. Exhaustive collection of problems and the simplicity of presentation differentiate this book from several others. Material contained will help teachers as well as aspiring students of different competitive examinations.

  12. MRI experiments for introductory physics

    Science.gov (United States)

    Taghizadeh, Sanaz; Lincoln, James

    2018-04-01

    The introductory physics classroom has long educated students about the properties of the atom and the nucleus. But absent from these lessons has been an informed discussion of magnetic resonance imaging (MRI) and its parent science nuclear magnetic resonance (NMR). Physics teachers should not miss the opportunity to instruct upon this highly relevant application of modern physics, especially with so many of our students planning to pursue a career in medicine. This article provides an overview of the physics of MRI and gives advice on how physics teachers can introduce this topic. Also included are some demonstration activities and a discussion of a desktop MRI apparatus that may be used by students in the lab or as a demo.

  13. Quantitative Activities for Introductory Astronomy

    Science.gov (United States)

    Keohane, Jonathan W.; Bartlett, J. L.; Foy, J. P.

    2010-01-01

    We present a collection of short lecture-tutorial (or homework) activities, designed to be both quantitative and accessible to the introductory astronomy student. Each of these involves interpreting some real data, solving a problem using ratios and proportionalities, and making a conclusion based on the calculation. Selected titles include: "The Mass of Neptune” "The Temperature on Titan” "Rocks in the Early Solar System” "Comets Hitting Planets” "Ages of Meteorites” "How Flat are Saturn's Rings?” "Tides of the Sun and Moon on the Earth” "The Gliese 581 Solar System"; "Buckets in the Rain” "How Hot, Bright and Big is Betelgeuse?” "Bombs and the Sun” "What Forms Stars?” "Lifetimes of Cars and Stars” "The Mass of the Milky” "How Old is the Universe?” "Is The Universe Speeding up or Slowing Down?"

  14. Effectiveness of Workshop Style Teaching in Students' Learning of Introductory Electricity and Magnetism

    Science.gov (United States)

    Mehta, Nirav; Cheng, Kelvin

    2012-10-01

    We have developed an interactive workshop-style course for our introductory calculus-based physics sequence at Trinity University. Lecture is limited to approximately 15 min. at the beginning of class, and the remainder of the 50-min. class is devoted to inquiry-based activities and problem solving. So far, lab is done separately and we have not incorporated the lab component into the workshop model. We use the Brief Electricity and Magnetism Assessment (BEMA) to compare learning gains between the workshop and traditional lecture-based course for the Spring 2012 semester. Both the workshop and lecture courses shared the same inquiry-based lab component that involved pre-labs, prediction-observation and post-lab activities. Our BEMA results indicate statistically significant improvement in overall learning gains compared to the traditional course. We compare our workshop BEMA scores both to traditional lecture scores here at Trinity and to those from other institutions.

  15. Assessing the Effectiveness of Studio Physics in Introductory-Level Courses at Georgia State University

    Science.gov (United States)

    Upton, Brianna; Evans, John; Morrow, Cherilynn; Thoms, Brian

    2009-11-01

    Previous studies have shown that many students have misconceptions about basic concepts in physics. Moreover, it has been concluded that one of the challenges lies in the teaching methodology. To address this, Georgia State University has begun teaching studio algebra-based physics. Although many institutions have implemented studio physics, most have done so in calculus-based sequences. The effectiveness of the studio approach in an algebra-based introductory physics course needs further investigation. A 3-semester study assessing the effectiveness of studio physics in an algebra-based physics sequence has been performed. This study compares the results of student pre- and post-tests using the Force Concept Inventory. Using the results from this assessment tool, we will discuss the effectiveness of the studio approach to teaching physics at GSU.

  16. Comparing the Attitudes of Pre-Health Professional and Engineering Students in Introductory Physics Courses

    Science.gov (United States)

    McKinney, Meghan

    2015-04-01

    This talk will discuss using the Colorado Learning Attitudes about Science Survey (CLASS) to compare student attitudes towards the study of physics of two different groups. Northern Illinois University has two levels of introductory mechanics courses, one geared towards biology majors and pre-health professionals, and one for engineering and physics majors. The course for pre-health professionals is an algebra based course, while the course for engineering and physics majors is a calculus based course. We've adapted the CLASS into a twenty question survey that measures student attitudes towards the practice of and conceptions about physics. The survey is administered as a pre and post assessment to look at student attitudes before and after their first course in physics.

  17. Preliminary investigation of instructor effects on gender gap in introductory physics

    Directory of Open Access Journals (Sweden)

    Kimberley Kreutzer1

    2012-05-01

    Full Text Available Gender differences in student learning in the introductory, calculus-based electricity and magnetism course were assessed by administering the Conceptual Survey of Electricity and Magnetism pre- and postcourse. As expected, male students outgained females in traditionally taught sections as well as sections that incorporated interactive engagement (IE techniques. In two of the IE course sections, however, the gains of female students were comparable to those of male students. Classroom observations of the course sections involved were made over an extended period. In this paper, we characterize the observed instructor-student interactions using a framework from educational psychology referred to as wise schooling. Results suggest that instructor practices affect differential learning, and that wise schooling techniques may constitute an effective strategy for promoting gender equity in the physics classroom.

  18. Gender Differences in Both Force Concept Inventory and Introductory Physics Performance

    Science.gov (United States)

    Docktor, Jennifer; Heller, Kenneth

    2008-10-01

    We present data from a decade of introductory calculus-based physics courses for science and engineering students at the University of Minnesota taught using cooperative group problem solving. The data include 40 classes with more than 5500 students taught by 22 different professors. The average normalized gain for males is 0.4 for these large classes that emphasized problem solving. Female students made up approximately 20% of these classes. We present relationships between pre and post Force Concept Inventory (FCI) scores, course grades, and final exam scores for females and males. We compare our results with previous studies from Harvard [2] and the University of Colorado [3,4]. Our data show there is a significant gender gap in pre-test FCI scores that persists post-instruction although there is essentially no gender difference in course performance as determined by course grade.

  19. Preliminary investigation of instructor effects on gender gap in introductory physics

    Science.gov (United States)

    Kreutzer, Kimberley; Boudreaux, Andrew

    2012-06-01

    Gender differences in student learning in the introductory, calculus-based electricity and magnetism course were assessed by administering the Conceptual Survey of Electricity and Magnetism pre- and postcourse. As expected, male students outgained females in traditionally taught sections as well as sections that incorporated interactive engagement (IE) techniques. In two of the IE course sections, however, the gains of female students were comparable to those of male students. Classroom observations of the course sections involved were made over an extended period. In this paper, we characterize the observed instructor-student interactions using a framework from educational psychology referred to as wise schooling. Results suggest that instructor practices affect differential learning, and that wise schooling techniques may constitute an effective strategy for promoting gender equity in the physics classroom.

  20. An analysis of science content and representations in introductory college physics textbooks and multimodal learning resources

    Science.gov (United States)

    Donnelly, Suzanne M.

    This study features a comparative descriptive analysis of the physics content and representations surrounding the first law of thermodynamics as presented in four widely used introductory college physics textbooks representing each of four physics textbook categories (calculus-based, algebra/trigonometry-based, conceptual, and technical/applied). Introducing and employing a newly developed theoretical framework, multimodal generative learning theory (MGLT), an analysis of the multimodal characteristics of textbook and multimedia representations of physics principles was conducted. The modal affordances of textbook representations were identified, characterized, and compared across the four physics textbook categories in the context of their support of problem-solving. Keywords: college science, science textbooks, multimodal learning theory, thermodynamics, representations

  1. Calculus Instructors' and Students' Discourses on the Derivative

    Science.gov (United States)

    Park, Jungeun

    2011-01-01

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

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

    Science.gov (United States)

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

    2016-05-11

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

  3. Dental calculus formation in children and adolescents undergoing hemodialysis.

    Science.gov (United States)

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

    2012-10-01

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

  4. Covariant differential calculus on quantum spheres of odd dimension

    International Nuclear Information System (INIS)

    Welk, M.

    1998-01-01

    Covariant differential calculus on the quantum spheres S q 2N-1 is studied. 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 first and higher order calculi and a symmetry concept. (author)

  5. Towards Model Checking a Spi-Calculus Dialect

    NARCIS (Netherlands)

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

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

  6. Secure Data Flow in a Calculus for Context Awareness

    DEFF Research Database (Denmark)

    Bucur, Doina; Nielsen, Mogens

    2008-01-01

    We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computing agents can provide and discover contextual information and are owners of security policies. Simple access control to contextual...

  7. Utilizing Microsoft Mathematics in Teaching and Learning Calculus

    Science.gov (United States)

    Oktaviyanthi, Rina; Supriani, Yani

    2015-01-01

    The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students' achievement and the effects of the use of Microsoft…

  8. Equality and fixpoints in the calculus of structures

    DEFF Research Database (Denmark)

    Chaudhuri, Kaustuv; Guenot, Nicolas

    2014-01-01

    The standard proof theory for logics with equality and fixpoints suffers from limitations of the sequent calculus, where reasoning is separated from computational tasks such as unification or rewriting. We propose in this paper an extension of the calculus of structures, a deep inference formalism...

  9. Reflections on Our First Calculus Undergraduate Teaching Assistant

    Science.gov (United States)

    Deshler, Jessica M.

    2016-01-01

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

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

    Science.gov (United States)

    Batchelor, John

    2015-01-01

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

  11. Coordinating Multiple Representations in a Reform Calculus Textbook

    Science.gov (United States)

    Chang, Briana L.; Cromley, Jennifer G.; Tran, Nhi

    2016-01-01

    Coordination of multiple representations (CMR) is widely recognized as a critical skill in mathematics and is frequently demanded in reform calculus textbooks. However, little is known about the prevalence of coordination tasks in such textbooks. We coded 707 instances of CMR in a widely used reform calculus textbook and analyzed the distributions…

  12. A Calculus of Circular Proofs and its Categorical Semantics

    DEFF Research Database (Denmark)

    Santocanale, Luigi

    2002-01-01

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

  13. On Flipping the Classroom in Large First Year Calculus Courses

    Science.gov (United States)

    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…

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

    Science.gov (United States)

    Morante, Antonio; Vallejo, Jose A.

    2012-01-01

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

  15. Type Inference for Session Types in the Pi-Calculus

    DEFF Research Database (Denmark)

    Graversen, Eva Fajstrup; Harbo, Jacob Buchreitz; Huttel, Hans

    2014-01-01

    In this paper we present a direct algorithm for session type inference for the π-calculus. Type inference for session types has previously been achieved by either imposing limitations and restriction on the π-calculus, or by reducing the type inference problem to that for linear types. Our approach...

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

    Science.gov (United States)

    Kay, Robin; Kletskin, Ilona

    2010-01-01

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

  17. Partial Fractions in Calculus, Number Theory, and Algebra

    Science.gov (United States)

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

    2007-01-01

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

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

    DEFF Research Database (Denmark)

    Carbone, Marco; Maffeis, Sergio

    2002-01-01

    We extend the pi-calculus with polyadic synchronisation, a generalisation of the communication mechanism which allows channel names to be composite. We show that this operator embeds nicely in the theory of pi-calculus, we suggest that it permits divergence-free encodings of distributed calculi, ...

  19. Giant urinary bladder calculus: Case report | Otieno | East African ...

    African Journals Online (AJOL)

    A vertical calculus weighing more than 100 g is categorised as a giant urinary bladder stone. Giant urinary bladder stones are very rare and very few cases have been reported in English literature and only one case from Africa. This is a case report of a patient with a giant urinary bladder calculus presenting as a rectal ...

  20. Prostatic fossa calculus | El Abiad | Pan African Medical Journal

    African Journals Online (AJOL)

    As part of the evaluation, a plain radiograph was performed and incidentally showed a radiopaque prostatic calculus (Red arrows). A retrograde urethrocystography, performed after a 10-days course of antibiotics, confirmed the presence of an approximately 35 mm non-obstructive calculus occupying almost the whole ...

  1. A Calculus of Circular Proofs and its Categorical Semantics

    DEFF Research Database (Denmark)

    Santocanale, Luigi

    2002-01-01

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

  2. Calculus in High School--At What Cost?

    Science.gov (United States)

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

    1977-01-01

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

  3. Advanced Placement Mathematics Calculus, Grade 12 Curriculum Guide.

    Science.gov (United States)

    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…

  4. DIFFERENTIAL AND INTEGRAL CALCULUS. A TENTATIVE CURRICULUM GUIDE.

    Science.gov (United States)

    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…

  5. Calculus: A Computer Oriented Presentation, Part 1 [and] Part 2.

    Science.gov (United States)

    Stenberg, Warren; Walker, Robert J.

    Parts one and two of a one-year computer-oriented calculus course (without analytic geometry) are presented. The ideas of calculus are introduced and motivated through computer (i.e., algorithmic) concepts. An introduction to computing via algorithms and a simple flow chart language allows the book to be self-contained, except that material on…

  6. Visual Thinking and Gender Differences in High School Calculus

    Science.gov (United States)

    Haciomeroglu, Erhan Selcuk; Chicken, Eric

    2012-01-01

    This study sought to examine calculus students' mathematical performances and preferences for visual or analytic thinking regarding derivative and antiderivative tasks presented graphically. It extends previous studies by investigating factors mediating calculus students' mathematical performances and their preferred modes of thinking. Data were…

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

    Science.gov (United States)

    Boudreaux, Gregory Mark; Walls, Jess E.

    2013-01-01

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

  8. On flipping the classroom in large first year calculus courses

    Science.gov (United States)

    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.

  9. Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

    DEFF Research Database (Denmark)

    Støvring, Kristian

    2006-01-01

    We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional lambda calculus with surjective pairing is consistent....

  10. A compositional proof system for the modal μ-calculus

    DEFF Research Database (Denmark)

    Andersen, Henrik Reif; Stirling, C.; Winskel,, G.

    1994-01-01

    We present a proof system for determining satisfaction between processes in a fairly general process algebra and assertions of the modal μ-calculus. The proof system is compositional in the structure of processes. It extends earlier work on compositional reasoning within the modal μ-calculus and ...

  11. Experimental Design: Utilizing Microsoft Mathematics in Teaching and Learning Calculus

    Science.gov (United States)

    Oktaviyanthi, Rina; Supriani, Yani

    2015-01-01

    The experimental design was conducted to investigate the use of Microsoft Mathematics, free software made by Microsoft Corporation, in teaching and learning Calculus. This paper reports results from experimental study details on implementation of Microsoft Mathematics in Calculus, students' achievement and the effects of the use of Microsoft…

  12. An Introductory Course: The Vector Space Theory of Matter

    Science.gov (United States)

    Matsen, F. A.

    1972-01-01

    A course for superior freshmen for both science and liberal arts majors that satisfies the freshman chemistry requirement is discussed. It has been taught for six years and utilizes the new math'' which is based on the elementary concept of a set. A syllabus for the two semesters is included. (DF)

  13. Differential calculus on quantized simple Lie groups

    Energy Technology Data Exchange (ETDEWEB)

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

    1991-07-01

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

  14. A robust interpretation of duration calculus

    DEFF Research Database (Denmark)

    Franzle, M.; Hansen, Michael Reichhardt

    2005-01-01

    We transfer the concept of robust interpretation from arithmetic first-order theories to metric-time temporal logics. The idea is that the interpretation of a formula is robust iff its truth value does not change under small variation of the constants in the formula. Exemplifying this on Duration...... Calculus (DC), our findings are that the robust interpretation of DC is equivalent to a multi-valued interpretation that uses the real numbers as semantic domain and assigns Lipschitz-continuous interpretations to all operators of DC. Furthermore, this continuity permits approximation between discrete...

  15. Regge calculus and observations. II. Further applications

    International Nuclear Information System (INIS)

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

    1983-03-01

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

  16. Regge calculus and observations. II. Further applications.

    Science.gov (United States)

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

    1984-11-01

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

  17. Giant Submandibular Calculus Eroding Oral Cavity Mucosa.

    Science.gov (United States)

    Lim, Eng Haw; Nadarajah, Sanjeevan; Mohamad, Irfan

    2017-09-01

    Sialolithiasis is the formation of calculi or sialoliths in the salivary gland. It is the most common benign condition of the salivary gland. Sialolithiasis can occur in all salivary glands. The submandibular gland is most commonly affected followed by the parotid gland. Calculi commonly measure less than 10 mm. Calculi of more than 15 mm are termed giant salivary gland calculi and are infrequently reported in the literature. Here, we report a case of unusually large submandibular gland calculus of 5 cm in greatest dimension which caused erosion of the oral cavity.

  18. On d=2 Regge calculus without triangulation

    International Nuclear Information System (INIS)

    Foerster, D.

    1987-01-01

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

  19. Covariant super reggeon calculus for superstrings

    International Nuclear Information System (INIS)

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

    1988-07-01

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

  20. An introduction to the calculus of variations

    CERN Document Server

    Pars, LA

    2009-01-01

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