21. 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 Researcher at the Faculty of Science of the University of Udine Address: Room SN13, Dipartimento di Matematica e Informatica - via delle Scienze, 206 - 33100 Udine - Italy. Phone: (+39)043255.8486, Fax: (+39)043255.8499, AIM: mclmrn Email: miculan@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. Actual projects I am involved in: COMETA DART (IST-2001-33477), TYPES (IST WG 29001) Past projects: TOSCA "Levi" TYPES (ESPRIT WG 21900), TYPES (ESPRIT BRA 6453) TEACHING (In Italian) Orario ricevimento studenti : Gio 9-11, Ven 16-18, o su appuntamento. Prenotazione esami (prenotarsi con almeno 3 giorni di anticipo) Sistemi Operativi per la Laurea in Informatica: A.A. Sistemi Operativi per il Diploma in Informatica: A.A. Informatica Generale per la Laurea in Scienze e Tecnologie Multimediali: Sistemi Operativi per il corso IFTS "Tecnico delle reti e dei sistemi informativi": Ambienti di Programmazione per la Didattica per il corso SSIS-A042: Proposte (un po' obsolete) per tesi di laurea CONFERENCES, WORKSHOPS

22. Visual Calculus Short descriptions and examples for limits, derivatives, and integrals. Various plugins are needed to view some of the pages. http://archives.math.utk.edu/visual.calculus/

Tutorials Pre-Calculus Limits and Continuity Derivatives Applications of Differentiation ... Sequences and Series Information What? Who? How? Awards ... Help Page

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

24. MAPLE PROJECTS FOR THE FIRST YEAR OF CALCULUS Maple V.4 worksheets for use with a course at Georgia Tech. http://www.math.gatech.edu/~bourbaki/MapleProjects.html

Maple explorations for Differential Calculus The following items are a collection of mathematical explorations developed for Georgia Tech's Math 1507. They are all formatted with Maple V. Release 4. These worksheets are ready to use, without much prior knowledge of Maple. As you read through them, you simply have to press ENTER to perform the calculations, and if you don't know Maple already you will easily begin learning how it works. After reading through a given worksheet, you can generate your own models and alternative scenarios by cutting and pasting Maple code. In each worksheet a model is introduced with a description of the content and of the level of presentation. These may be down-loaded onto your computer as text files, opened with Maple, and saved as active worksheets. Alternately, you may configure your Web browser to launch Maple as you choose a file. An Introduction to Maple : A modest worksheet to get started, by showing how to define and plot functions. Drawing Graphs : One of the primary uses of the computer will be to give visualization. This worksheet gives syntax for drawing graphs. The

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

Page 2     21-25 of 25    Back | 1  | 2