161. Peter Sewell University of Cambridge Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing. http://www.cl.cam.ac.uk/users/pes20/

Peter Sewell Royal Society University Research Fellow and University Lecturer, Computer Laboratory University of Cambridge Here are my contact details , and a picture Teaching I am a Fellow and Director of Studies at Wolfson college . The current supervision arrangements for 2004/2005 are summarised here Notes and example code for the 2004-05 1B Semantics of Programming Languages course are here Undergraduate and Diploma Project suggestions for 2004-2005. Concurrency, Pi, and Semantics for Distributed Systems (a PhD minicourse , October 2001). Research My research is mainly on the foundations of distributed computation, including the design, semantics and implementation of distributed programming languages, behavioural modelling for network protocols, and security issues. Much of my work involves applied semantics, working with operational semantics, type systems, and concurrency theory. Work on distributed programming languages is described in more detail on the Acute and Nomadic Pict pages; work on network semantics is described on the Netsem page. An informal description of my research area, written for the non-technical reader in April 2001, is

162. Math Index Covers derivative and integral conversions as well as calculus rules. Includes practice exercises. http://cne.gmu.edu/modules/dau/calculus/calculus_frm.html

163. Engineering Mechanics Topics Algebra, Geometry, Trigonometry, Analytical Geometry, calculus, Vectors. Teaching material and tests. Pages created by Mehrdad Negahban and the University of Nebraska. http://em-ntserver.unl.edu/Math/mathweb/mathtoc.html

You Are Here: Home Mathematics for Mechanics Mathematics for Mechanics Welcome to the Mathematics for Mechanics Homepage. Click on any of the topics you're interested in learning about! Topics: Algebra Geometry Trigonometry Analytical Geometry ... Vectors Copy and distribute freely for personal use only Department of Engineering Mechanics, University of Nebraska, Lincoln, NE 68588-0526 Department of Engineering Mechanics Phone: (402) 472-2377 W317.4 Nebraska Hall FAX: (402) 472-8292 University of Nebraska-Lincoln E-mail: dgsem@unl.edu Lincoln, NE 68588-0526 Web: http://www.unl.edu/emhome/em.html Contact Dr. M. Negahban with questions and comments regarding this site: mnegahban@unl.edu W317.4 Nebraska Hall Lincoln, NE 68588-0526 Top Home Engineering Mechanics Phone: (402) 472-2377 FAX: (402) 472-8292 E-mail: dgsem@unl.edu

164. Calculus History Interested in how calculus became what it is today? This site offers a historical account of the progression of the study from its infancy to its present state. http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/The_rise_of_calculus.html

A history of the calculus Analysis index History Topics Index Version for printing The main ideas which underpin the calculus developed over a very long period of time indeed. The first steps were taken by Greek mathematicians. To the Greeks numbers were ratios of integers so the number line had "holes" in it. They got round this difficulty by using lengths, areas and volumes in addition to numbers for, to the Greeks, not all lengths were numbers. Zeno of Elea , about 450 BC, gave a number of problems which were based on the infinite. For example he argued that motion is impossible:- If a body moves from A to B then before it reaches B it passes through the mid-point, say B of AB. Now to move to B it must first reach the mid-point B of AB . Continue this argument to see that A must move through an infinite number of distances and so cannot move. Leucippus Democritus and Antiphon all made contributions to the Greek method of exhaustion which was put on a scientific basis by Eudoxus about 370 BC. The method of exhaustion is so called because one thinks of the areas measured expanding so that they account for more and more of the required area.

165. This Page Has Been Moved The online texts listed serve as supplements for studying calculus and Differential Equations. http://www2.ncsu.edu/eos/info/maple_info/www/

This page has been moved to a new location As of May 15th, 2004, all older course content on this service is now being delivered by the legacy.ncsu.edu service. Please update your bookmarks or links to reflect the new location of this page: http://legacy.ncsu.edu/classes-a/maple_info/www/ You will be redirected to the page at it's new location in 5 seconds, or you may click on the link above to go there immediately. For more information regarding this change, see our SysNews post at: http://sysnews.ncsu.edu/news/40a115a0

166. Calculus Bible The calculus Bible by G. S. Gill. http://www.math.byu.edu/Math/CalculusBible/

This document was designed for a frames-capable browser. You can still read the text here

167. Mathematical Sciences, Richard Statman Carnegie Mellon University Theory of computation, lambda calculus, combinatory logic. http://www.math.cmu.edu/people/fac/statman.html

Faculty Visiting Faculty Staff Graduate Students ... Home Richard Statman Professor Ph.D., Stanford University Office: Wean Hall 7214 Phone: (412) 268-8475 E-mail: statman@cs.cmu.edu Research My principal research interests lie in the theory of computation with special emphasis on symbolic computation. In particular, my current research involves lambda calculus and combinatory algebra. This area underwent extensive development in the first half of this century, and then lay dormant until Dana Scott's fundamental work in the 1970's. Part of what has emerged from Scott's work is that lambda calculus forms the foundation of functional programming at both the semantic and syntactic levels. As a result, the area has been revived by an influx of theoretical problems directly related to design and implementation issues. Selected Publications The omega rule is sigma-zero-three hard (with Benedetto Intrigilia), LICS'04 On the lambda Y calculus, LICS '02 Church's lambda delta calculus, LPR '00 The word problem for combinators, RTA '00

168. Lee Lady: Topics In Calculus A set of downloadable lectures. http://www.math.hawaii.edu/~lee/calculus/#Series-Sol

Topics in Calculus Professor Lee Lady University of Hawaii A Conceptual Approach to Applications of Integration The Derivatives of the Sine and Cosine Functions ... Review Problems for Differential Equations In my opinion, calculus is one of the major intellectual achievements of Western civilization - in fact of world civilization. Certainly it has had much more impact in shaping our world today than most of the works commonly included in a Western Civilization course books such as Descartes's Discourse on Method or The Prince by Machiavelli. But at most universities, we have taken this magnificent accomplishment of the human intellect and turned it into a boring course. Sawyer's little book What Is Calculus About? (Another book in the same vein, but more recent, is The Hitchhiker's Guide to Calculus by Michael Spivak.) For many of us mathematicians, calculus is far removed from what we see as interesting and important mathematics. It certainly has no obvious relevance to any of my own research, and if it weren't for the fact that I teach it, I would long ago have forgotten all the calculus I ever learned. But we should remember that calculus is not a mere ``service course.'' For students, calculus is the gateway to further mathematics. And aside from our obligation as faculty to make all our courses interesting, we should remember that if calculus doesn't seem like an interesting and worthwhile subject to students, then they are unlikely to see mathematics as an attractive subject to pursue further.

169. R. K. Shyamasundar's Home Page Tata Institute of Fundamental Research, Mumbai Real-Time and Reactive Programming, Logic Programming, Pi-calculus and Mobile Computing, Parallel Programs, Programming Languages. http://www.tcs.tifr.res.in/~shyam/

R.K. Shyamasundar Picture Address Tata Institute of Fundamental Research Bombay 400 005 India Fax: +91 22 2280 4610 Fax: +91 22 2280 4611 Tel: +91 22 2280 4545 X 2288 e-mail: TCS Group shyam[AT]tcs.tifr.res.in shyam[AT]tifr.res.in shyam[AT]acm.org Secretary, John Barretto (X 2531) TCS john[AT]tcs.tifr.res.in Research Interests and Publications Real-Time and Reactive Programming Logic Programming Pi-Calculus and Mobile Computing Parallel Programs and Scheduling ... Papers on Systems for Ecommerce Computer and Network Security Indian Association for Research in Computing Science IARCS- Charter and Membership Conferences 5th IEEE/ACM International Workshop on Grid Computing Pittsburgh, November 2004 Int. Conf on Distributed Computing and Internet Technology Bhuvaneshwar, December 2004 UML 2004 October 11-15, 2004, Lisbon, Portugal Formal Methods and Models for Codesign, MEMOCODE 2004 June 23rd-25th, 2004 San Diego, California Task Force on Cluster Computing ISCES Collaborators Basant Rajan N. Raja M.R.K. Krishna Rao P. Pandya ... Eric Rutten Academies Fellow, Indian Academy of Sciences

170. UBC Calculus Help Integrals University of British Columbia course notes. Covers integration and series with applications. Illustrated with interactive Java applets. http://www.ugrad.math.ubc.ca/coursedoc/math101/

The UBC Calculus Online Homepage Welcome to UBC Calculus Online. This site is an online supplement to Math 101 being taught within the University of British Columbia Department of Mathematics. Everyone is welcome and feedback is appreciated. Who We Are Course Notes Labs Announcements In-Class Demonstrations Resources Links to some other interesting sites Please send us your comments.

171. Project Links | Home Contains modules for probability and statistics, discreet math, linear systems and advanced calculus. Developed by the Rensselaer Polytechnic Institute. http://links.math.rpi.edu/

Overview Background on the people involved in the project. Assumptions How we intend these modules to be used in the classroom. Hardware and software requirements. For Instructors Information for instructors using our materials. The Project Links Modules by general applied topic by general mathematics topic Hardware and Software Guidelines Recommendations for setting up your computer to maximize your time with Project Links. Developers' Connection Documentation and services for current developers and programmers, and for those with new module ideas. Jobs with Project Links Information for those RPI students with programming skills in Java, HTML, and Director. 2001 ASME Curriculum Innovation Award 2000 NEEDS Premier Award for Excellence in Engineering Education [2/24/03]: The website has been updated. The electromagtic field applets have been fixed, and a preliminary version of the module "compatibility mode" has been deployed.

172. AP Calculus New Hampshire's Alvirne High School web page of sample questions and answers for the advanced placement calculus test. http://homepages.seresc.net/~sray/alvirne.html

173. Analysis, A Tool Dedicated To Calculus Analysis is a tool that can draw 2D and 3D graphs of functions with different characteristics. Implicit f(x,y)=g(x,y)form curves are plot in a xy plane. Free download for all Windows versions http://www.geocities.com/leibowitz.geo/analysis_en.html

174. Elementary Calculus Elementary calculus An Approach a book by H. Jerome Keisler originally published by Prindle, Weber Schmidt (2nd ed 1986) http://www.math.wisc.edu/~keisler/calc.html

Elementary Calculus: An Approach Using Infinitesimals On-line Edition, by H. Jerome Keisler This is a calculus textbook at the college Freshman level based on Abraham Robinson's infinitesimals, which date from 1960. Robinson's modern infinitesimal approach puts the intuitive ideas of the founders of the calculus on a mathematically sound footing, and is easier for beginners to understand than the more common approach via limits. This work is licensed for non-commercial use under a Creative Commons License The whole book in one large file (24 megabytes) Single chapters in much smaller files: Preface to First and Second Editions Contents and Introduction Chapter 1 Real and Hyperreal Numbers Chapter 2 Differentiation Chapter 3 Continuous Functions Chapter 4 Integration Chapter 5 Limits, Analytic Geometry, and Approximations Chapter 6 Applications of the Integral Chapter 7 Trigonometric Functions Chapter 8 Exponential and Logarithmic Functions Chapter 9 Infinite Series Chapter 10 Vectors Chapter 11 Partial Differentiation Chapter 12 Multiple Integrals Chapter 13 Vector Calculus Chapter 14 Differential Equations Appendix Epilogue

175. Charles Stewart Technische Universit¤t Berlin, Theory and Formal Specifications group Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language. http://www.linearity.org/cas/

Charles Alexander Stewart Personal Information I am a postdoctoral researcher in theoretical computer science associated with the International Centre for Computational Logic at Technische Universitaet Dresden. In the past, I have been associated with the Theory and Formal Specifications group of Technische Universitaet Berlin, the Linear Naming and Computation section of the Church Project at Boston University, the Department of Computer Science at Brandeis University, and the Foundations of Computation section of the Programming Research Group at Oxford University. Research Interests My research interests include: Structural proof theory: Deep inference and the Calculus of structures; Natural deduction, sequent calculus, and applications to programming language design and implementation; Modal logic and display logic; Programming language theory: Optimal reductions in the lambda calculus; Linear naming and graph reduction, interaction nets; Continuations in theory and practice; Relationships between functional and logic programming; Graph transformation: Graph transformation and the design of distributed algorithms;

176. Graphing Software For Data, Algebra, Calculus And Trigonometry And Solutions Of Enter first and second order nonlinear ordinary differential in analytical form. The program will generate a numerical solution to the equations and graph multiple curves on a single graph. Can also be used for algebra and calculus formulas. Includes illustrations and free demo. http://www.hanleyinnovations.com/sgstandard.html

Software Airfoil Analysis VisualFoil MultiElement Airfoils Wing Analysis ... MultiSurface Sailboat Sailing- Aerodynamics Graphing Tools Science Graphs eBooks Aerodynamics in Plain English. Services Consulting Purchase OnLine Mail Order Contact Dr. P. Hanley Tel:(352) 687-4466 PO Box 831514 Ocala, FL 34483 Dr. Hanley's Science Graphs Written by Patrick Hanley, Ph.D. Version: 2.0 Standard Standard Price Download Size: 2.73 MB Requirements Windows 95 or later Order by Calling: 1-352-687-4466 Buy Online: Buy CD Now Mail Order: Order Form. Technical: E-mail or (352) 687-4466 Dr. Hanley's Science Graphs tm is an easy to use software package for graphing equations and data using your PC. The new version of Science Graphs can be used to generate numerical solutions of first and second order non-linear ordinary differential equations. This feature is Ideal for checking your analytical solutions against Science Graph's Numerical Answers. However, it can be used to solve problems that are too difficult to obtain by hand calculations. The software is useful for algebra trigonometry calculus , physics, differential equations and engineering . Science Graphs can also be used to graph up to 1,000 x-y data points from an ASCII file.

177. Marino Miculan University of Udine Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. http://www.dimi.uniud.it/~miculan/

Marino Miculan Associate professor at the University of Udine Address: Room SN3, Dipartimento di Matematica e Informatica - via delle Scienze, 206 - 33100 Udine - Italy. Phone: (+39)043255.8486, Fax: (+39)043255.8499, AIM: mclmrn Email: miculan at dimi, uniud, it (My PGP public key RESEARCH Mainly: formal methods, type theory, (categorical) logics and semantics of programs and processes but also: distributed operating systems. Publications Member of the Formal Methods and Logics of Computation group. Current projects I am involved in: DART (IST-2001-33477), TYPES (IST-CA-510996). Past projects: "Levi" TOSCA COMETA TYPES (ESPRIT BRA 6453), TYPES (ESPRIT WG 21900), TYPES (IST WG 29001) CONFERENCES, WORKSHOPS 2005: ACM SIGPLAN (PC); AICA 2005 (PC). 2003: ACM SIGPLAN (PC,OC); COMETA 2003 final workshop (OC). 2002: COMETA kickoff meeting (OC), and GioCoNOpLe (OC). TOSCA'01 Final workshop (OC) PROCEEDINGS, SPECIAL ISSUES ENTCS ? - Proceedings of COMETA'03 (Guest Editor). 2003: TCS 298(3) Special Issue on FOSSACS'01 (Guest Editor). ENTCS 62 - Proceedings of TOSCA'01 (Guest Editor).

178. Calculus Graphics -- Douglas N. Arnold Graphical demonstrations developed by Douglas N. Arnold for the first year calculus student. http://www.ima.umn.edu/~arnold/graphics.html

(animated GIF version) GRAPHICS FOR THE CALCULUS CLASSROOM Douglas N. Arnold These are excerpts from a collection of graphical demonstrations I developed for first year calculus. Those interested in higher math may also want to visit my page of graphics for complex analysis . This page is on the list of the most frequently linked math pages according to MathSearch. Viewing instructions. The animations on this page use the animated GIF format. There is also a Java version of this page . The Java animator allows you to start and stop the animation, advance through the frames manually, and control the speed. Also the animation is a bit smoother, and the frames shuttle (first to last and then backward to first, etc.), which is a bit nicer. Unfortunately, the Java versions of the animation usually take much more time to load, and the Java animator has been know to crash browsers, especially on machines without much memory. An older version of this page using the MPEG animation format is available, but no longer actively maintained, and so not recommended. Differentials and differences This animation expands upon the classic calculus diagram above. The diagram illustrates the local accuracy of the tangent line approximation to a smooth curve, orotherwise statedthe closeness of the differential of a function to the difference of function values due to a small increment of the independent variable. (In the diagram the increment of the independent variable is shown in green, the differentiali.e., the product of the derivative and the incrementin red, and the difference of function values as the red segment plus the yellow segment. The point is that if the green segment is small, the yellow segment is

179. Math Notes Quick reference for basic algebra, trigonometry, geometry, calculus, and physics formulas. Includes online calculators. http://www.geocities.com/tvtronix/mathnotes/

Please get a browser that supports frames.

180. MathServ Calculus ToolKit Online calculators for several calculus functions. http://math.vanderbilt.edu/~pscrooke/toolkit.shtml

The MathServ Calculus Toolkit A short introduction to the MathServ system can be found here Several tools are available to perform specialized calculations e.g. find the equation of the tangent line to the graph of a function at a particular point. Listed below are catagories for the various tools. Algebra Functions Graphing Applications of the Derivative ... Integrals The page was last revised on August 17, 2000.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 9     161-180 of 189    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | 8  | 9  | 10  | Next 20