12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006)

26-29 Sept. 2006

Filter Results

Displaying Results 1 - 25 of 49
  • 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - Cover

    Publication Year: 2006, Page(s): c1
    Request permission for commercial reuse | |PDF file iconPDF (23 KB)
    Freely Available from IEEE
  • 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - Title

    Publication Year: 2006, Page(s):i - iii
    Request permission for commercial reuse | |PDF file iconPDF (23 KB)
    Freely Available from IEEE
  • 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - Copyright

    Publication Year: 2006, Page(s): iv
    Request permission for commercial reuse | |PDF file iconPDF (48 KB)
    Freely Available from IEEE
  • 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics - Table of contents

    Publication Year: 2006, Page(s):v - ix
    Request permission for commercial reuse | |PDF file iconPDF (36 KB)
    Freely Available from IEEE
  • Foreword

    Publication Year: 2006, Page(s): x
    Request permission for commercial reuse | |PDF file iconPDF (42 KB) | HTML iconHTML
    Freely Available from IEEE
  • Scientific Committee

    Publication Year: 2006, Page(s): xi
    Request permission for commercial reuse | |PDF file iconPDF (21 KB)
    Freely Available from IEEE
  • Scientific Committee

    Publication Year: 2006, Page(s): xii
    Request permission for commercial reuse | |PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • Local Organizing Committee

    Publication Year: 2006, Page(s): xiii
    Request permission for commercial reuse | |PDF file iconPDF (22 KB)
    Freely Available from IEEE
  • Applications of Interval Algorithms in Engineering

    Publication Year: 2006, Page(s): 1
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (834 KB) | HTML iconHTML

    The optimization of the functionality and the guarantee of a safe operation of a technical system are important issues in industry. These aspects become even more important when we have to deal with numerous uncertainties which heavily influence the behavior of the technical system under consideration and - in the worst case - cause system failure. Appropriate interval tools can offer solutions to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Operator Dependant Compensated Algorithms

    Publication Year: 2006, Page(s): 2
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (225 KB) | HTML iconHTML

    Compensated algorithms improve the accuracy of a result evaluating a correcting term that compensates the finite precision of the computation. The implementation core of compensated algorithms is the computation of the rounding errors generated by the floating point operators. We focus this operator dependency discussing how to manage and to benefit from floating point arithmetic implemented throu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Validated computation for infinite dimensional eigenvalue problems

    Publication Year: 2006, Page(s): 3
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (169 KB) | HTML iconHTML

    In this paper we will show how guaranteed bounds for eigenvalues (together with eigenvectors) are obtained and how non-existence of eigenvalues in a concrete region could be assured. Some examples for several types of operators in bounded and unbounded domains will be presented. We will furthermore discuss possible future applications to eigenvalue enclosing/excluding of Schrodinger operator, hope... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interval Tools for ODEs and DAEs

    Publication Year: 2006, Page(s): 4
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (279 KB) | HTML iconHTML

    We overview the current state of interval methods and software for computing bounds on solutions in initial value problems (IVPs)for ordinary differential equations (ODEs). We introduce the VNODE-LP solver for IVP ODEs, a successor of the author's VNODE package. VNODE-LP is implemented entirely using literate programming. A major goal of the VNODE-LP work is to produce an interval solver such that... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computer-assisted proofs

    Publication Year: 2006, Page(s): 5
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (95 KB) | HTML iconHTML

    This paper discusses the problem what makes a computer-assisted proof trustworthy, the quest for an algorithmic support system for computer-assisted proof relations to global optimization, an analysis of some recent proofs, and some current challenges which appear to be amenable to a computer-assisted treatment. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the solution to numerical problems using stochastic arithmetic

    Publication Year: 2006, Page(s): 6
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (178 KB) | HTML iconHTML

    We investigate some algebraic properties of the system of stochastic numbers with the arithmetic operations addition and multiplication by scalars and the relation inclusion and point out certain practically important consequences from these properties. Our idea is to start from a minimal set of empirically known properties and to study these properties by an axiomatic approach. Based on this appr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toward Validating a Simplified Muscle Activation Model in SMARTMOBILE

    Publication Year: 2006, Page(s): 7
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (266 KB) | HTML iconHTML

    In this paper, we apply the validated modeling and simulation environment SMARTMOBILE along with two solvers recently added to its core to the problem of the identification of muscle activation in general motor tasks. The identification of muscle activation is one of the important and still open problems in biomechanics which aims at helping physicians assess an individual therapy for a patient. W... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GRKLib: a Guaranteed Runge Kutta Library

    Publication Year: 2006, Page(s): 8
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (230 KB) | HTML iconHTML

    In this article, we describe a new library for computing guaranteed bounds of the solutions of Initial Value Problems (IVP). Given an initial value problem and an end point, our library computes a sequence of approximation points together with a sequence of approximation errors such that the distance to the true solution of the IVP is below these error terms at each approximation point. These sequ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hardware Implementation of Continued Logarithm Arithmetic

    Publication Year: 2006, Page(s): 9
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (189 KB) | HTML iconHTML

    This paper gives details on architecture of an arithmetic unit built on principles of continued logarithms and provides its sample characterization using FPGA technology. Continued logarithms can be used for exact arithmetic, but similarly to other exact/reliable methods they face the instant problem of poor performance. Their naturally binary character, however, gives them a good potential to be ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rigorous lower bounds for the topological entropy via a verified optimization technique

    Publication Year: 2006, Page(s): 10
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (218 KB) | HTML iconHTML

    Our automatic method developed for the detection of chaos is used for finding rigorous lower bounds for the topological entropy of the classical Henon mapping. We do this within the abstract framework created by Galias and Zgliczynski in 2001, and focus on covering graphs involving different iterations. Our results are compared to those obtained by them. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Nonlinear Adaptive Control of an UncertainWastewater Treatment Model

    Publication Year: 2006, Page(s): 11
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (922 KB) | HTML iconHTML

    A nonlinear model of an anaerobic digester wastewater treatment process is considered. Assuming that the model parameters are unknown but bounded, the asymptotic stabilizability of the control system is studied and a new adaptive stabilizing feedback control law is proposed. Computer simulations are also presented to illustrate the theoretical results. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interval Fuzzy Rule-Based Hand Gesture Recognition

    Publication Year: 2006, Page(s): 12
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (270 KB) | HTML iconHTML

    This paper introduces an interval fuzzy rule-based method for the recognition of hand gestures acquired from a data glove, with an application to the recognition of hand gestures of the Brazilian Sign Language. To deal with the uncertainties in the data provided by the data glove, an approach based on interval fuzzy logic is used. The method uses the set of angles of finger joints and of separatio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor

    Publication Year: 2006, Page(s): 13
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (126 KB) | HTML iconHTML

    This work considers an interval extension of fuzzy implications based on the best interval representation of usual fuzzy implications. The related properties of fuzzy implications can be naturally extended and the interval representation meets the optimality property and preserves the behaviors of the implications in the interval endpoints. Our discussion mainly focuses on the best interval repres... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interval Analysis of Linear Analog Circuits

    Publication Year: 2006, Page(s): 14
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (220 KB) | HTML iconHTML

    Reliable methods for the analysis of tolerance-affected analog circuits are of great importance in nowadays microelectronics. It is impossible to produce circuits with exactly those parameter specifications proposed in the design process. Interval arithmetic can be used to obtain a worst-case analysis of the influence of component tolerances. This paper focuses on a new approach for interval-value... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Reliable Convex-Hull Algorithm for Interval-Based Hierarchical Structures

    Publication Year: 2006, Page(s): 15
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (224 KB) | HTML iconHTML

    This paper presents a new approach for constructing the convex polyhedral enclosure of an interval-based hierarchical structure of any dimension. To reduce the number of points in the hull construction considered, only relevant vertices on the boundary-called presumable extreme points- are involved. Additionally, a suitable update of the presumable extreme points enhances the performance whenever ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parametric Linear System of Equations, Whose Elements are Nonlinear Functions

    Publication Year: 2006, Page(s): 16
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (134 KB) | HTML iconHTML

    This paper addresses the problem of solving parametric linear systems of equations whose coefficients are, in the general case, nonlinear functions of interval parameters. Such systems, are encountered in many practical problems, e.g in electrical engineering and mechanical systems. A C-XSC implementation of a parametric fixed-point iteration method for computing an outer enclosure for the solutio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guaranteed Bounds for Uncertain Systems: Methods Using Linear Lyapunov-like Functions, Differential Inequalities and a Midpoint Method

    Publication Year: 2006, Page(s): 17
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (254 KB) | HTML iconHTML

    In general, models of biological or technical applications are represented by nonlinear systems. Moreover, these systems contain multiple uncertain or unknown parameters. These uncertainties are the reason for some numerical and analytical problems in finding guaranteed bounds for the solution of the state space representation. Unfortunately, several industrial applications are demanding exactly t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.