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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

076952821x, 9780769528212

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor

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

10.1109/scan.2006.9 ◽

2006 ◽

Cited By ~ 3

Author(s):

Benjamin C. Bedregal ◽

Regivan H. N. Santiago

Keyword(s):

Fuzzy Implications

Download Full-text

Efficient 16-bit Floating-Point Interval Processor for Embedded Systems and Applications

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

10.1109/scan.2006.15 ◽

2006 ◽

Cited By ~ 4

Author(s):

Stephane Piskorski ◽

Lionel Lacassagne

Keyword(s):

Embedded Systems ◽

Floating Point

Download Full-text

Hardware Implementation of Continued Logarithm Arithmetic

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

10.1109/scan.2006.23 ◽

2006 ◽

Cited By ~ 2

Author(s):

Tomas Brabec

Keyword(s):

Hardware Implementation

Download Full-text

intpakX - An Interval Arithmetic Package for Maple

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

10.1109/scan.2006.29 ◽

2006 ◽

Author(s):

Walter Kramer

Keyword(s):

Interval Arithmetic

Download Full-text

Computer-Assisted Proofs in Solving Linear Parametric Problems

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

10.1109/scan.2006.12 ◽

2006 ◽

Cited By ~ 10

Author(s):

Evgenija D. Popova

Keyword(s):

Computer Assisted ◽

Parametric Problems

Download Full-text

Guaranteed Bounds for Uncertain Systems: Methods Using Linear Lyapunov-like Functions, Differential Inequalities and a Midpoint Method

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

10.1109/scan.2006.21 ◽

2006 ◽

Cited By ~ 4

Author(s):

Marc Gennat ◽

Bernd Tibken

Keyword(s):

Uncertain Systems ◽

Differential Inequalities ◽

Midpoint Method

Download Full-text

VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers

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

10.1109/scan.2006.47 ◽

2006 ◽

Cited By ~ 23

Author(s):

Andreas Rauh ◽

Eberhard P. Hofer ◽

Ekaterina Auer

Keyword(s):

Initial Value Problem ◽

Initial Value ◽

Problem Solvers

Download Full-text

Guaranteed Robust Tracking with Flatness Based Controllers Applying Interval Methods

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

10.1109/scan.2006.22 ◽

2006 ◽

Cited By ~ 4

Author(s):

Marco Kletting ◽

Eberhard P. Hofer

Keyword(s):

Interval Methods ◽

Robust Tracking

Download Full-text

Interval Analysis of Linear Analog Circuits

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

10.1109/scan.2006.24 ◽

2006 ◽

Cited By ~ 6

Author(s):

Alexander Dreyer

Keyword(s):

Interval Analysis ◽

Analog Circuits ◽

Linear Analog

Download Full-text

A Reliable Convex-Hull Algorithm for Interval-Based Hierarchical Structures

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

10.1109/scan.2006.5 ◽

2006 ◽

Cited By ~ 2

Author(s):

Eva Dyllong

Keyword(s):

Convex Hull ◽

Hierarchical Structures ◽

Convex Hull Algorithm

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor

Efficient 16-bit Floating-Point Interval Processor for Embedded Systems and Applications

Hardware Implementation of Continued Logarithm Arithmetic

intpakX - An Interval Arithmetic Package for Maple

Computer-Assisted Proofs in Solving Linear Parametric Problems

Guaranteed Bounds for Uncertain Systems: Methods Using Linear Lyapunov-like Functions, Differential Inequalities and a Midpoint Method

VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers

Guaranteed Robust Tracking with Flatness Based Controllers Applying Interval Methods

Interval Analysis of Linear Analog Circuits

A Reliable Convex-Hull Algorithm for Interval-Based Hierarchical Structures

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