A fast memoryless interval-based algorithm for global optimization
Journal of Global Optimization
Verified Computation of Square Roots of a Matrix
SIAM Journal on Matrix Analysis and Applications
Different Approaches to Forecast Interval Time Series: A Comparison in Finance
Computational Economics
Feasibility-based bounds tightening via fixed points
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
Applied Numerical Mathematics
The Krawczyk algorithm: rigorous bounds for linear equation solution on an FPGA
ARC'11 Proceedings of the 7th international conference on Reconfigurable computing: architectures, tools and applications
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Estimating sample mean under interval uncertainty and constraint on sample variance
International Journal of Approximate Reasoning
Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
An interval difference method for solving hyperbolic partial differential equations
MACMESE'11 Proceedings of the 13th WSEAS international conference on Mathematical and computational methods in science and engineering
Polytope-based computation of polynomial ranges
Computer Aided Geometric Design
Challenges in computer applications for ship and floating structure design and analysis
Computer-Aided Design
A class of fuzzy multisets with a fixed number of memberships
Information Sciences: an International Journal
Optimizing interval multi-objective problems using IEAs with preference direction
ICONIP'11 Proceedings of the 18th international conference on Neural Information Processing - Volume Part II
MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Efficient implementation of interval matrix multiplication
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Floor plan design using block algebra and constraint satisfaction
Advanced Engineering Informatics
Algebraic structures of interval-valued fuzzy ( S,N)-implications
International Journal of Approximate Reasoning
A problem in hydrological model calibration in the case of averaged flux input and flux output
Environmental Modelling & Software
ICN-RE: redundancy elimination for information-centric networking
Proceedings of the second edition of the ICN workshop on Information-centric networking
Timed relational abstractions for sampled data control systems
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
ICISC'11 Proceedings of the 14th international conference on Information Security and Cryptology
Compact relaxations for polynomial programming problems
SEA'12 Proceedings of the 11th international conference on Experimental Algorithms
On lower bounds using additively separable terms in interval b&b
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
Algorithm 924: TIDES, a Taylor Series Integrator for Differential EquationS
ACM Transactions on Mathematical Software (TOMS)
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Electronic Notes in Theoretical Computer Science (ENTCS)
Interval state observer for nonlinear time varying systems
Automatica (Journal of IFAC)
A central-backward difference interval method for solving the wave equation
PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing
Information Sciences: an International Journal
Hybrid systems modeling and verification with DEVS (WIP)
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Technical Section: Point-based rendering of implicit surfaces in R4
Computers and Graphics
Journal of Computational and Applied Mathematics
Robust support vector machine-trained fuzzy system
Neural Networks
Explicit frequency response functions of discretized structures with uncertain parameters
Computers and Structures
From Numeric to Granular Description and Interpretation of Information Granules
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
An efficient twelfth-order iterative method for finding all the solutions of nonlinear equations
Journal of Computational Methods in Sciences and Engineering
Hi-index | 0.00 |
This unique book provides an introduction to a subject whose use has steadily increased over the past 40 years. An update of Ramon Moore s previous books on the topic, it provides broad coverage of the subject as well as the historical perspective of one of the originators of modern interval analysis. The authors provide a hands-on introduction to INTLAB, a high-quality, comprehensive MATLAB toolbox for interval computations, making this the first interval analysis book that does with INTLAB what general numerical analysis texts do with MATLAB. Readers will find the following features of interest: elementary motivating examples and notes that help maximize the reader s chance of success in applying the techniques; exercises and hands-on MATLAB-based examples woven into the text; INTLAB-based examples and explanations integrated into the text, along with a comprehensive set of exercises and solutions, and an appendix with INTLAB commands; an extensive bibliography and appendices that will continue to be valuable resources once the reader is familiar with the subject; and a Web page with links to computational tools and other resources of interest. Audience: Introduction to Interval Analysis will be valuable to engineers and scientists interested in scientific computation, especially in reliability, effects of roundoff error, and automatic verification of results. The introductory material is particularly important for experts in global optimization and constraint solution algorithms. This book is suitable for introducing the subject to students in these areas. Contents: Preface; Chapter 1: Introduction; Chapter 2: The Interval Number System; Chapter 3: First Applications of Interval Arithmetic; Chapter 4: Further Properties of Interval Arithmetic; Chapter 5: Introduction to Interval Functions; Chapter 6: Interval Sequences; Chapter 7: Interval Matrices; Chapter 8: Interval Newton Methods; Chapter 9: Integration of Interval Functions; Chapter 10: Integral and Differential Equations; Chapter 11: Applications; Appendix A: Sets and Functions; Appendix B: Formulary; Appendix C: Hints for Selected Exercises; Appendix D: Internet Resources; Appendix E: INTLAB Commands and Functions; References; Index.