Searching...
Advanced Search
S
SCAN
2006
12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006)
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006)
Duisburg, Germany
September 26-September 29
ISBN: 0-7695-2821-X
Table of Contents
Introduction
Foreword
(PDF)
pp. x
ABSTRACT
PDF
Scientific Committee
(PDF)
pp. xi
ABSTRACT
PDF
Scientific Committee
(PDF)
pp. xii
ABSTRACT
PDF
Local Organizing Committee
(PDF)
pp. xiii
ABSTRACT
PDF
Invited Lectures
Applications of Interval Algorithms in Engineering
(Abstract)
pp. 1
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Operator Dependant Compensated Algorithms
(Abstract)
pp. 2
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Validated computation for infinite dimensional eigenvalue problems
(Abstract)
pp. 3
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Interval Tools for ODEs and DAEs
(Abstract)
pp. 4
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Computer-assisted proofs
(Abstract)
pp. 5
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Regular Lectures
On the solution to numerical problems using stochastic arithmetic
(Abstract)
pp. 6
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Toward Validating a Simplified Muscle Activation Model in SMARTMOBILE
(Abstract)
pp. 7
ABSTRACT
PDF
PURCHASE ARTICLE: $19
GRKLib: a Guaranteed Runge Kutta Library
(Abstract)
Olivier Bouissou
Matthieu Martel
pp. 8
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Hardware Implementation of Continued Logarithm Arithmetic
(Abstract)
Tomas Brabec
pp. 9
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Rigorous lower bounds for the topological entropy via a verified optimization technique
(Abstract)
Bal?azs B?anhelyi
Tibor Csendes
Barnab?as M. Garay
pp. 10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Nonlinear Adaptive Control of an UncertainWastewater Treatment Model
(Abstract)
Neli Dimitrova
Mikhail Krastanov
pp. 11
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Interval Fuzzy Rule-Based Hand Gesture Recognition
(Abstract)
Benjamin R. Callejas Bedregal
Gracaliz P. Dimuro
Ant?onio C. Rocha Costa
pp. 12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor
(Abstract)
Benjamin C. Bedregal
Regivan H. N. Santiago
pp. 13
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Interval Analysis of Linear Analog Circuits
(Abstract)
Alexander Dreyer
pp. 14
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Reliable Convex-Hull Algorithm for Interval-Based Hierarchical Structures
(Abstract)
Eva Dyllong
pp. 15
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Parametric Linear System of Equations, Whose Elements are Nonlinear Functions
(Abstract)
pp. 16
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Guaranteed Bounds for Uncertain Systems: Methods Using Linear Lyapunov-like Functions, Differential Inequalities and a Midpoint Method
(Abstract)
Marc Gennat
Bernd Tibken
pp. 17
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Approximation of Linear AE-Solution Sets
(Abstract)
Alexandre Goldsztejn
Gilles Chabert
pp. 18
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Rigorous Inner Approximation of the Range of Functions
(Abstract)
Alexandre Goldsztejng
Wayne Hayes
pp. 19
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Ensuring Numerical Quality in Grid Computing
(Abstract)
Andreas Frommer
Matthias Husken
pp. 20
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Interval Version of the Backward Differentiation (BDF) Method
(Abstract)
Magorzata Jankowska
Andrzej Marcinak
pp. 21
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A workload analysis tool for discrete-time semi-Markovian servers
(Abstract)
Sebastian Kempken
pp. 22
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Efficient 16-bit Floating-Point Interval Processor for Embedded Systems and Applications
(Abstract)
Stephane Piskorski
Lionel Lacassagne
pp. 23
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Guaranteed Robust Tracking with Flatness Based Controllers Applying Interval Methods
(Abstract)
Marco Kletting
Eberhard P. Hofer
pp. 24
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Interval Observer Design Based on Taylor Models for Nonlinear Uncertain Continuous-Time Systems
(Abstract)
Marco Kletting
Andreas Rauh
Eberhard P. Hofer
pp. 25
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Strong Unboundedness of Interval Linear Programming Problems
(Abstract)
Jana Konickova
pp. 26
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
intpakX - An Interval Arithmetic Package for Maple
(Abstract)
Walter Kr?amer
pp. 27
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards Interval Techniques for Processing Educational Data
(Abstract)
Olga Kosheleva
Vladik Kreinovich1
Luc Longpre
Mourat Tschoshanov
Gang Xiang
pp. 28
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Towards Combining Probabilistic, Interval, Fuzzy Uncertainty, and Constraints: An Example Using the Inverse Problem in Geophysics
(Abstract)
V. Kreinovich
S. A. Starks
R. Araiza
G. Xiang
A. A. Velasco
M. G. Averill
G. R. Keller
pp. 29
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Adding Constraints to Situations When, In Addition to Intervals,We Also Have Partial Information about Probabilities
(Abstract)
Martine Ceberio
Vladik Kreinovich
Gang Xiang
Scott Ferson
Cliff Joslyn
pp. 30
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fast and Accurate Multi-Argument Interval Evaluation of Polynomials
(Abstract)
Andreas Frommer
Bruno Lang
pp. 31
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Vectorised/Semi-Parallel Interval Multiplication
(Abstract)
Eoin Malins
Marek Szularz
Bryan Scotney
pp. 32
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the interval Gaussian algorithm
(Abstract)
G?unter Mayer
pp. 33
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Numerical Computation of the Mapping Degree using Computational Homology
(Abstract)
Kansaku Nakakura
Sunao Murashige
pp. 34
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computer-Assisted Proofs in Solving Linear Parametric Problems
(Abstract)
Evgenija D. Popova
pp. 35
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers
(Abstract)
Andreas Rauh
Eberhard P. Hofer
Ekaterina Auer
pp. 36
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Interval Techniques for Design of Optimal and Robust Control Strategies
(Abstract)
Andreas Rauh
Johanna Minisini
Eberhard P. Hofer
pp. 37
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Deterministic Global Optimization for Dynamic Systems Using Interval Analysis
(Abstract)
Youdong Lin
Mark A. Stadtherr
pp. 38
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computing the Jordan canonical form in finite precision arithmetic
(Abstract)
Toshio Suzuki
Tomohiro Suzuki
pp. 39
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Fundamental Theorems of Interval Analysis
(Abstract)
M.H. van Emden
B. Moa
pp. 40
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Expression Defined Accuracy
(Abstract)
A. Pokorny
J.Wolff von Gudenberg
pp. 41
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
