9th International

Mathematica

            Symposium 2008

June 20-24 | Maastricht, the Netherlands

Electronic Proceedings

The keynotes, presentations, articles, and workshops listed here are contributions to the 9th International Mathematica Symposium. The presentations and the corresponding articles were selected by the IMS’08 program committee insuring quality and relevance to the theme of the symposium. There has been no peer-review process. The authors are responsible for the content of their submission. Please refer to the publications in this electronic proceedings by <<provided shortly>>.


Topics: Keynotes, Calculus, Geometry, Statistics, Combinatorics & Graphs, Numerics & Functions, High-Performance Computing, Computer Science, Graphics & Visualization, Imaging, Life Science, Earth Science, Physics & Chemistry, Engineering, Finance, Education, Miscellaneous & Fun Stuff, and Workshops.


To view the Mathematica notebooks on this site, use the Mathematica Player if you do not have Mathematica installed on your system.

Keynotes:


Guiding Principles of Mathematica - What they are, Why they matter
            Conrad Wolfram, Wolfram Research, Managing Director


Parallel Puzzle Solving
            Roman Maeder, Director of Parallel Computing Technology Wolfram Research

            Switzerland


Doing Physics with Mathematica 6
            Michael Trott, lead developer of the Wolfram functions website and author of the Mathematica Guidebooks

            Wolfram Research, USA

            presentation | software


Teaching and Learning with Mathematica
            Abby Brown, Teacher of the Year 2003,

            Torrey Pines High School, San Diego, CA, USA

            presentation


A Connoisseur's Guide to Front End Interactivity
            Christopher Carlson, Wolfram Research, Lead Developer, Interactive Graphics

            Wolfram Research, USA

            abstract | presentation


New Developments in Mathematica (not disclosed)
            Peter Overmann, Wolfram Research, Director of Software Technology

            Wolfram Research, USA


Radio Astronomy at Effelsberg
            The giant 100 meter dish and the first international LOFAR station

            Norbert Junkes, Max Planck Institute for Radio Astronomy, Bonn, Germany


Forthcoming Technologies (not disclosed)
            Tom Wickham-Jones, Wolfram Research, Director of Kernel Technology

            Wolfram Research, UK

 

Calculus:


Tensor analysis on manifolds
            Toward a computational approach to the modeling of continua
            R. Barrère, University of Franche-Comte, ENSMM, France

            abstract | presentation


Mathematica-aid to study Impulsive System
            János Karsai
            University of Szeged, Hungary

            abstract | presentation1 | presentation2 | article | software


Signal Processing in Angular and Time Domain
            Dipl. Ing. Václav Čejka, Dr. Dipl.Ing. Pavel Šidlof
            VUTS Liberec, Co., Czech Republic

            abstract | presentation | article

Life Science:


Cellular Automata Modeling of Hantavirus Infection
           
Ahmad Izani bin Md. Ismail (1), Mohamad Faisal Abdul Karim (2),

            Hoe Bee Ching (1), Tan Phim Yun (1)
            School of Mathematical Sciences Universiti Sains Malaysia, Malaysia (1)
            School of Distance Education Universiti Sains Malaysia, Malaysia (2)

            abstract

 

Evolution by Exploration of Random Boolean Networks
           
Afshin Esmaeili & Christian Jacob
            Department of Computer Science, University of Calgary, Canada

            abstract | article | software


Cardiac motion estimation using multi-scale optic flow
            A successful application of Mathematica to a life sciences problem

            H. van Assen (1), L. Florack (2), A. Suinesiaputra (3), B. ter Haar Romeny (1)
            (1) Dept. of Biomedical Engineering, Eindhoven University of Technology, Netherlands
            (2) Dept. of Mathematics, Eindhoven University of Technology, Netherlands
            (3) Leiden University Medical Center, Netherlands

            abstract | presentation | software


Multi-Spectral MRI Tissue Classification
           
Martin Korevaar, Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | article


Using Mathematica For Neuronal Modelling
            A Systems Biology Approach
           
Hugo Zeberg, Clas Blomberg, Peter Århem,
            Nobel Institute for Neurophysiology, Department of Neuroscience, Karolinska Institutet, Sweden

            abstract | article


Gene Spotting with Support Vector Machines
           
Hugh Murrell
            University of KwaZulu-Natal, South Africa

            abstract | presentation | article

High-performance Computing:


MathVisionC++ for Efficient Medical Image Processing in Mathematica
            using a mathlink caching scheme
            Erik Franken, Bart Janssen
            Technische Universiteit Eindhoven, The Netherlands

            abstract | presentation


Spectra and Bifurcation Diagrams on the Web
            Benedikt Jiri
            Zapadoceska univerzita v Plzni, Czech Republic

            abstract | article


Chinese Remainder Theorem
            Stefan Porubsky
            Institute of Computer Science, Prague, Czech Republic

            abstract | presentation | article

Geometry:


An exploration of a discrete rhombohedral lattice
            of possible physical or engineering relevance
            Jim McGovern
            Dublin Institute of Technology, Ireland

            abstract | article


Cutting Edge Cores: Aerospace and Origami
            Travel with tesselations
            Yves Klett
            Institute of Aircraft Design, Universität Stuttgart

            abstract | article


Analysis of 2D and 3D Biological Size and Shape Data
            Using Mathematica and webMathematica
            Jonathan Krieger and Norman MacLeod
            the Natural History Museum, London, UK

            abstract | article | software


DGeometrica
            A Mathematica package for classical differential geometry
            Tazawa
            Tokyo Denki University, Japan

            abstract | article | software

Workshops:


DGeometrica
            A Mathematica package for classical differential geometry
            Tazawa
            Tokyo Denki University, Japan

            article | software


Share Your Mathematica
            André Mitra
            Geometria Research and Design, Inc., Canada

            abstract | presentation | article


Epsilon Report Pro
            A system for tracking and analysing project progress
            Jean Pierre Tollenboom
            Claymore-Lowlands, UK

            abstract | presentation | article


Model-Based-Design with MathModelica / Mathematica
            Jan Brugård
            CEO, MathCore Engineering AB, Sweden

            abstract | article


Bond graphs for students and research
            Nicolas Venuti
            Virtual Dynamics, France

            abstract | software


Using M@th Desktop
            LTM notebooks and palettes in the classroom
            Phil Ramsden, Reinhard Simonovits, Bernd Thaller
            University of Graz, Austria

            abstract |article |software

Statistics:


Generation of Synthetic Survival Data
            Barrie Stokes
            University of Newcastle, Australia

            abstract | article


The Entropy Concentration Theorem
            Explanation and Application
            Barrie Stokes
            University oif Newcastle, NSW, Australia

            abstract | article


On the Buffon-Laplace problem
            Throwing needles on different type of grids
            Ivar Johannesen
            Oslo University College, Norway

            abstract | article


Differential Equations Solving under Uncertainty
            Guaranteed Numerical Integration of Nonlinear Parametric ODEs
            Nacim Ramdani and Yves Papegay
            INRIA-COPRIN, France

            abstract | article

Imaging:


Image segmentation - an implementation of the mean shift algorithm
            Mariusz Jankowski
            University of Southern Maine, USA

            abstract | presentation | article


Image Segmentation applied to the detection of melanoma
            Hugo Evéquoz
            HES-SO//Valais, Switzerland

            abstract | article


Algorithms for Image Registration
            Jens-Peer Kuska
            Interdisziplinäres Zentrum für Bioinformatik, Universität Leipzig, Germany

            abstract | article | software


Analysis of distance/similarity measures for Diffusion Tensor Imaging
            P.R. Rodrigues, T.H.J.M. Peeters , A. Vilanova, B.M. ter Haar Romeny
            Department of Biomedical Engineering, Eindhoven University of Technology

            abstract |


Pseudo-linear Scale Space on Diffusion Tensor Image of Brain White Matter
            A Mathematica 6.0 package for computing and visualizing pseudo-linear scale space

            on symmetric positive tensor fields
            Laura Astola, Markus van Almsick, Luc Florack
            Technische Universiteit Eindhoven, Netherlands

            abstract | article | software


MathVisionTools
            A Toolbox for High Level Image Analysis
            Markus van Almsick
            Technische Universiteit Eindhoven, Netherlands

            abstract | software


Deblurring a license plate
            Jasper V. Smit, Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | article


Edge focusing
            Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | article


Vessel enhancement
            Joep van Lier and Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | article | references


Learning filterbanks for Texture Analysis from Eigen-patches
            Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | article


Study of the Multi-Scale Optic Flow Constraint Equation using different orders of Taylor expansion
            Alessandro Becciu, Pieter van Dorst, Hans van Assen, Luc Florack, Bart ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | article


Robust Multi-Scale Optic Flow Using Toppoints
            Pieter van Dorst, Alessandro Becciu, Bart Janssen, Luc Florack, Bart ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | presentation

Combinatorics & Graphs:


Model Checking Cellular Automata
            Klaus Sutner
            Carnegie Mellon University, USA

            abstract


Hamiltonian algorithm approximations
            Explaining Warnsdorff's success

            Brett Collins
            AUT University, Auckland, New Zealand

            abstract | article


Integrating Networks with Mathematica
            Rudolf Strijkers
            University of Amsterdam, Netherlands

            abstract | article


The CISG Network
            Seth J. Chandler
            University of Houston Law Center, USA

            abstract | article | software

Education:


Mathematica empowered applets for learning school algebra and calculus
            André Heck (1) and Wim van Velthoven (2)
            (1) Universiteit van Amsterdam, AMSTEL Institute
            (2) Universiteit Utrecht, Freudenthal Institute

            abstract | presentation


Using webMathematica to assist in the teaching of first year engineering mathematics
            Abraham Konegerie
            Cape Peninsula University of Technology, South Africa

            abstract | presentation


Course in Medical Image Analysis: Techniques and Applications
            Edwin Bennink, Ralph Brecheisen, Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | presentation


Teaching Multi-Scale Medical Image Analysis
            Theory and Applications
            Bart M. ter Haar Romeny
            Eindhoven University of Technology, Netherlands

            abstract | software


A Multifield Educational Project
            study of planetary motion
            Manuel Buisson
            Université de Rennes1, France

            abstract | article


Animating High School Calculus
            Yoshihiko Tazawa
            Tokyo Denki University, Japan

            abstract | article | software


M@th Desktop and LTM
            Design and Realization of e-Learning Material for High Schools
            Phil Ramsden, Reinhard Simonovits, Bernd Thaller
            University of Graz, Austria

            abstract | article


Teaching Math with M@th Desktop Units in High Schools
            Phil Ramsden, Reinhard Simonovits, Bernd Thaller
            University of Graz, Austria

            abstract | article


E-learning unit: Modelling the Thyroid Treatment with Iodine 131 (Exponential function)
            Verena Moser, Katja Rieber
            Graz, Austria

            abstract | article

Numerics & Functions:


Uncertainties`
            A Mathematica Package of Interval Analysis
            Yves Papegay and David Daney
            INRIA-COPRIN, France

            abstract


Hyperfunctions and Integraltransforms
            Visualising and Computing Generalized Functions
            Urs E. Graf
            Elpacos Mathsoftware, Switzerland

            abstract | article


Circular Prolate Spheroidal Functions
            Numeric and Symbolic Computation
            P. E. Falloon, P. C. Abbott and R. Soummer
            Australia

            abstract | article


Arclength Continuation Methods
            Brian G. Higgins & Housam Binous
            Department of Chemical Engineering & Materials Science
            University of California, Davis, USA

            abstract | article


Numerical & Exact Integration within a Finite Element
            Ryszard Walentynski
            Silesian University of Technology, Gliwice, Poland

            abstract | article

Finance:


Financial Calculations in Mathematica, and the King's College London Centre for Financial Grid Computing
            William Shaw
            King's College London, UK

            presentation

Miscellaneous & Fun Stuff:


Virtual Flowers and Education
            János Karsai
            University of Szeged, Hungary

            abstract | presentation


Around the World Virtual Sailing Racer
            Exploring Routing Strategies with Mathematica
            Yves Papegay and Odile Pourtallier
            INRIA-COPRIN, France

            abstract

Engineering:


Mathematica in symbolic evaluations of a boundary problem for the bending of a riser

            for Arctic offshore operations: Impact of an ice feature on a drilling
            Alexander N. Papusha, Ove T. Gudmestad, Tore M. Jonassen
            Continuum Mechanics & Offshore Exploration Department, Murmansk State Technical University, Russia
            StatoilHydro, Stavanger, Stavanger University, Norway
            Department of Computer Science, Oslo University College, Norway

            abstract | article | images


Low Indentation of Glass
            Manuel Buisson
            Institut de Recherche Mathématique, Université de Rennes1, France

            abstract | article

Diffraction tools and speckle demonstrations
            Bova Marco, Bruno Luigi, Poggialini Andrea
            Department of Mechanical Engineering, University of Calabria, Italy

            abstract


Rotary Motor with Deforming Lozenge (RMDL)
            Germon Olivier
            Student of ENSMM, France

            abstract | article | software


Modified Transmission-Line Model for Rectangular
            Patch Antenna Design Using Mathematica

            A. F. Tinoco S., D. C. Nascimento and J. C. da S. Lacava
            Instituto Tecnológico de Aeronáutica - ITA, Brazil
            Laboratório de Antenas e Propagação - LAP, Brazil

            abstract | presentation | article | software


Symbolic Calculation of Closed-Form Spectral Green's Functions for Cylindrically Stratified Media
            A. F. Tinoco S. and J. C. da S. Lacava
            Instituto Tecnológico de Aeronáutica - ITA, Brazil
            Laboratório de Antenas e Propagação - LAP, Brazil

            abstract | article


Online Error Detection with Logic Implications
            Nuno Alves
            Brown University, USA

            abstract

Computer Science:


Evolutionary Algorithms Playing the Tetris Computer Game
            Namrata Khemka, Osama Al-Eryani, Christian Jacob
            University of Calgary, Candace

            abstract | article | software


Time Series HRNN-based Models Creation using CEA
            Using Continual Evolution Algorithm for Time Series Modelling
            with Heterogeneous Recurrent Neural Networks in Mathematica
            Zdenek Buk, Miroslav Snorek
            Department of Computer Science and Engineering FEE, Czech Technical University, Prague, Czech Republic

            abstract | article


Symbolic-numeric duality of nonlinear finite element environment AceFEM
            Joze Korelc
            University of Ljubljana, Slovenia

            abstract | article

Earth Science:


Mathematica Modeling of Submarine Hydrothermal Chimneys
            Mario-César Suárez-Arriaga
            Faculty of Sciences, Michoacan University, Mexico

            abstract | presentation | article

Physics & Chemistry:


Modelling of Mass and Charge transport in Multi-component Systems using Mathematica
            R. Filipek(1), K. Szyszkiewicz(1,2), M. Danielewski(1), and A. Lewenstam(1,3)
            (1) Interdisciplinary Centre of Materials Modeling, AGH University of Science and Technology, Kraków, Poland
            (2) Faculty of Computer Sciences, WSB-NLU, Nowy Sacz, Poland
            (3) Department of Chemistry, Åbo Akademi University, Åbo/Turku, Finland

            abstract


Symbolic solutions for the wave's propagation in porous media
            Volk E. A., Papusha A. N.
            Murmansk State Technical University, Russia

            abstract


Rotating Rectangular Parallel-Plate Capacitor and a Transient Electric Circuit
            Haiduke Sarafian
            The Pennsylvania State University
            University College

            abstract | article


Energy Density of a Particle Moving at Uniform Speed
            Franz Krafft
            Hamburg, Germany

            abstract | software


Using Mathematica for Colour Science and Colour Engineering
            Charles Poynton
            Canada

            abstract

Graphics & Visualization:


Plotting Algebraic Curves
            Joel Langer
            Case Western Reserve University, USA

            abstract


Determining The Aesthetic Value of A Planar Curve
            R.U. Gobithaasan (1), Kenjiro T. Miura (2), J.M. Ali (1)
            (1) School of Mathematical Sciences, University Sains Malaysia, Penang, Malaysia.
            (2) Dept. of Mechanical Engineering, Shizuoka University, Shizuoka, Japan.

            abstract | presentation | article


Visualization Strategies for Evolutionary Algorithms
            Namrata Khemka, Christian Jacob
            University of Calgary, Canada

            abstract | article | software


Evolving ARTLANDIA Computer Art
            Namrata Khemka, Gerald Hushlak, Christian Jacob
            University of Calgary, Canada

            abstract | artic