Author: Peter Hertling
Publisher: Springer Science & Business Media
ISBN: 3540855203
Category : Computers
Languages : en
Pages : 248
Book Description
This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
Reliable Implementation of Real Number Algorithms: Theory and Practice
Author: Peter Hertling
Publisher: Springer Science & Business Media
ISBN: 3540855203
Category : Computers
Languages : en
Pages : 248
Book Description
This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
Publisher: Springer Science & Business Media
ISBN: 3540855203
Category : Computers
Languages : en
Pages : 248
Book Description
This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in January 2006. The Seminar was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable implementation of real number algorithms. Topics included formal proofs, software libraries, systems and platforms, as well as computational geometry and solid modelling.
Computation and Logic in the Real World
Author: S. Barry Cooper
Publisher: Springer Science & Business Media
ISBN: 3540730001
Category : Computers
Languages : en
Pages : 842
Book Description
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.
Publisher: Springer Science & Business Media
ISBN: 3540730001
Category : Computers
Languages : en
Pages : 842
Book Description
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions.
Elementary Functions
Author: Jean-Michel Muller
Publisher: Birkhäuser
ISBN: 1489979832
Category : Computers
Languages : en
Pages : 297
Book Description
This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exponentials, and the trigonometric functions). Both hardware- and software-oriented algorithms are included, along with issues related to accurate floating-point implementation. This third edition has been updated and expanded to incorporate the most recent advances in the field, new elementary function algorithms, and function software. After a preliminary chapter that briefly introduces some fundamental concepts of computer arithmetic, such as floating-point arithmetic and redundant number systems, the text is divided into three main parts. Part I considers the computation of elementary functions using algorithms based on polynomial or rational approximations and using table-based methods; the final chapter in this section deals with basic principles of multiple-precision arithmetic. Part II is devoted to a presentation of “shift-and-add” algorithms (hardware-oriented algorithms that use additions and shifts only). Issues related to accuracy, including range reduction, preservation of monotonicity, and correct rounding, as well as some examples of implementation are explored in Part III. Numerous examples of command lines and full programs are provided throughout for various software packages, including Maple, Sollya, and Gappa. New to this edition are an in-depth overview of the IEEE-754-2008 standard for floating-point arithmetic; a section on using double- and triple-word numbers; a presentation of new tools for designing accurate function software; and a section on the Toom-Cook family of multiplication algorithms. The techniques presented in this book will be of interest to implementers of elementary function libraries or circuits and programmers of numerical applications. Additionally, graduate and advanced undergraduate students, professionals, and researchers in scientific computing, numerical analysis, software engineering, and computer engineering will find this a useful reference and resource. PRAISE FOR PREVIOUS EDITIONS “[T]his book seems like an essential reference for the experts (which I'm not). More importantly, this is an interesting book for the curious (which I am). In this case, you'll probably learn many interesting things from this book. If you teach numerical analysis or approximation theory, then this book will give you some good examples to discuss in class." — MAA Reviews (Review of Second Edition) "The rich content of ideas sketched or presented in some detail in this book is supplemented by a list of over three hundred references, most of them of 1980 or more recent. The book also contains some relevant typical programs." — Zentralblatt MATH (Review of Second Edition) “I think that the book will be very valuable to students both in numerical analysis and in computer science. I found [it to be] well written and containing much interesting material, most of the time disseminated in specialized papers published in specialized journals difficult to find." — Numerical Algorithms (Review of First Edition)
Publisher: Birkhäuser
ISBN: 1489979832
Category : Computers
Languages : en
Pages : 297
Book Description
This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exponentials, and the trigonometric functions). Both hardware- and software-oriented algorithms are included, along with issues related to accurate floating-point implementation. This third edition has been updated and expanded to incorporate the most recent advances in the field, new elementary function algorithms, and function software. After a preliminary chapter that briefly introduces some fundamental concepts of computer arithmetic, such as floating-point arithmetic and redundant number systems, the text is divided into three main parts. Part I considers the computation of elementary functions using algorithms based on polynomial or rational approximations and using table-based methods; the final chapter in this section deals with basic principles of multiple-precision arithmetic. Part II is devoted to a presentation of “shift-and-add” algorithms (hardware-oriented algorithms that use additions and shifts only). Issues related to accuracy, including range reduction, preservation of monotonicity, and correct rounding, as well as some examples of implementation are explored in Part III. Numerous examples of command lines and full programs are provided throughout for various software packages, including Maple, Sollya, and Gappa. New to this edition are an in-depth overview of the IEEE-754-2008 standard for floating-point arithmetic; a section on using double- and triple-word numbers; a presentation of new tools for designing accurate function software; and a section on the Toom-Cook family of multiplication algorithms. The techniques presented in this book will be of interest to implementers of elementary function libraries or circuits and programmers of numerical applications. Additionally, graduate and advanced undergraduate students, professionals, and researchers in scientific computing, numerical analysis, software engineering, and computer engineering will find this a useful reference and resource. PRAISE FOR PREVIOUS EDITIONS “[T]his book seems like an essential reference for the experts (which I'm not). More importantly, this is an interesting book for the curious (which I am). In this case, you'll probably learn many interesting things from this book. If you teach numerical analysis or approximation theory, then this book will give you some good examples to discuss in class." — MAA Reviews (Review of Second Edition) "The rich content of ideas sketched or presented in some detail in this book is supplemented by a list of over three hundred references, most of them of 1980 or more recent. The book also contains some relevant typical programs." — Zentralblatt MATH (Review of Second Edition) “I think that the book will be very valuable to students both in numerical analysis and in computer science. I found [it to be] well written and containing much interesting material, most of the time disseminated in specialized papers published in specialized journals difficult to find." — Numerical Algorithms (Review of First Edition)
Handbook of Floating-Point Arithmetic
Author: Jean-Michel Muller
Publisher: Birkhäuser
ISBN: 3319765264
Category : Mathematics
Languages : en
Pages : 640
Book Description
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.
Publisher: Birkhäuser
ISBN: 3319765264
Category : Mathematics
Languages : en
Pages : 640
Book Description
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.
Fuzzy Information Processing
Author: Guilherme A. Barreto
Publisher: Springer
ISBN: 3319953125
Category : Computers
Languages : en
Pages : 616
Book Description
This book constitutes the thoroughly refereed proceedings of the 37th IFSA Conference, NAFIPS 2018, held in Fortaleza, Brazil, in July 2018. The 55 full papers presented were carefully reviewed and selected from 73 submissions. The papers deal with a large spectrum of topics, including theory and applications of fuzzy numbers and sets, fuzzy logic, fuzzy inference systems, fuzzy clustering, fuzzy pattern classification, neuro-fuzzy systems, fuzzy control systems, fuzzy modeling, fuzzy mathematical morphology, fuzzy dynamical systems, time series forecasting, and making decision under uncertainty.
Publisher: Springer
ISBN: 3319953125
Category : Computers
Languages : en
Pages : 616
Book Description
This book constitutes the thoroughly refereed proceedings of the 37th IFSA Conference, NAFIPS 2018, held in Fortaleza, Brazil, in July 2018. The 55 full papers presented were carefully reviewed and selected from 73 submissions. The papers deal with a large spectrum of topics, including theory and applications of fuzzy numbers and sets, fuzzy logic, fuzzy inference systems, fuzzy clustering, fuzzy pattern classification, neuro-fuzzy systems, fuzzy control systems, fuzzy modeling, fuzzy mathematical morphology, fuzzy dynamical systems, time series forecasting, and making decision under uncertainty.
Mathematics of Surfaces XII
Author: Ralph Martin
Publisher: Springer Science & Business Media
ISBN: 3540738428
Category : Computers
Languages : en
Pages : 516
Book Description
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007. The 22 revised full papers presented together with 8 invited papers were carefully reviewed and selected from numerous submissions. Among the topics addressed is the applicability of various aspects of mathematics to engineering and computer science, especially in domains such as computer aided design, computer vision, and computer graphics. The papers cover a range of ideas from underlying theoretical tools to industrial uses of surfaces. Research is reported on theoretical aspects of surfaces including topology, parameterization, differential geometry, and conformal geometry, and also more practical topics such as geometric tolerances, computing shape from shading, and medial axes for industrial applications. Other specific areas of interest include subdivision schemes, solutions of differential equations on surfaces, knot insertion, surface segmentation, surface deformation, and surface fitting.
Publisher: Springer Science & Business Media
ISBN: 3540738428
Category : Computers
Languages : en
Pages : 516
Book Description
This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007. The 22 revised full papers presented together with 8 invited papers were carefully reviewed and selected from numerous submissions. Among the topics addressed is the applicability of various aspects of mathematics to engineering and computer science, especially in domains such as computer aided design, computer vision, and computer graphics. The papers cover a range of ideas from underlying theoretical tools to industrial uses of surfaces. Research is reported on theoretical aspects of surfaces including topology, parameterization, differential geometry, and conformal geometry, and also more practical topics such as geometric tolerances, computing shape from shading, and medial axes for industrial applications. Other specific areas of interest include subdivision schemes, solutions of differential equations on surfaces, knot insertion, surface segmentation, surface deformation, and surface fitting.
Progress in Industrial Mathematics at ECMI 2010
Author: Michael Günther
Publisher: Springer Science & Business Media
ISBN: 3642251005
Category : Mathematics
Languages : en
Pages : 613
Book Description
ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16th European Conference on Mathematics for Industry, was held in the historic city hall of Wuppertal in Germany. It covered the mathematics of a wide range of applications and methods, from circuit and electromagnetic device simulation to model order reduction for chip design, uncertainties and stochastics, production, fluids, life and environmental sciences, and dedicated and versatile methods. These proceedings of ECMI 2010 emphasize mathematics as an innovation enabler for industry and business, and as an absolutely essential pre-requiste for Europe on its way to becoming the leading knowledge-based economy in the world.
Publisher: Springer Science & Business Media
ISBN: 3642251005
Category : Mathematics
Languages : en
Pages : 613
Book Description
ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences. In this series, the ECMI 2010, the 16th European Conference on Mathematics for Industry, was held in the historic city hall of Wuppertal in Germany. It covered the mathematics of a wide range of applications and methods, from circuit and electromagnetic device simulation to model order reduction for chip design, uncertainties and stochastics, production, fluids, life and environmental sciences, and dedicated and versatile methods. These proceedings of ECMI 2010 emphasize mathematics as an innovation enabler for industry and business, and as an absolutely essential pre-requiste for Europe on its way to becoming the leading knowledge-based economy in the world.
Modeling, Design, and Simulation of Systems with Uncertainties
Author: Andreas Rauh
Publisher: Springer Science & Business Media
ISBN: 3642159567
Category : Technology & Engineering
Languages : en
Pages : 356
Book Description
To describe the true behavior of most real-world systems with sufficient accuracy, engineers have to overcome difficulties arising from their lack of knowledge about certain parts of a process or from the impossibility of characterizing it with absolute certainty. Depending on the application at hand, uncertainties in modeling and measurements can be represented in different ways. For example, bounded uncertainties can be described by intervals, affine forms or general polynomial enclosures such as Taylor models, whereas stochastic uncertainties can be characterized in the form of a distribution described, for example, by the mean value, the standard deviation and higher-order moments. The goal of this Special Volume on Modeling, Design, and Simulation of Systems with Uncertainties is to cover modern methods for dealing with the challenges presented by imprecise or unavailable information. All contributions tackle the topic from the point of view of control, state and parameter estimation, optimization and simulation. Thematically, this volume can be divided into two parts. In the first we present works highlighting the theoretic background and current research on algorithmic approaches in the field of uncertainty handling, together with their reliable software implementation. The second part is concerned with real-life application scenarios from various areas including but not limited to mechatronics, robotics, and biomedical engineering.
Publisher: Springer Science & Business Media
ISBN: 3642159567
Category : Technology & Engineering
Languages : en
Pages : 356
Book Description
To describe the true behavior of most real-world systems with sufficient accuracy, engineers have to overcome difficulties arising from their lack of knowledge about certain parts of a process or from the impossibility of characterizing it with absolute certainty. Depending on the application at hand, uncertainties in modeling and measurements can be represented in different ways. For example, bounded uncertainties can be described by intervals, affine forms or general polynomial enclosures such as Taylor models, whereas stochastic uncertainties can be characterized in the form of a distribution described, for example, by the mean value, the standard deviation and higher-order moments. The goal of this Special Volume on Modeling, Design, and Simulation of Systems with Uncertainties is to cover modern methods for dealing with the challenges presented by imprecise or unavailable information. All contributions tackle the topic from the point of view of control, state and parameter estimation, optimization and simulation. Thematically, this volume can be divided into two parts. In the first we present works highlighting the theoretic background and current research on algorithmic approaches in the field of uncertainty handling, together with their reliable software implementation. The second part is concerned with real-life application scenarios from various areas including but not limited to mechatronics, robotics, and biomedical engineering.
Topological Methods in Data Analysis and Visualization III
Author: Peer-Timo Bremer
Publisher: Springer Science & Business
ISBN: 3319040995
Category : Mathematics
Languages : en
Pages : 276
Book Description
This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world’s leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine.
Publisher: Springer Science & Business
ISBN: 3319040995
Category : Mathematics
Languages : en
Pages : 276
Book Description
This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world’s leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine.
Informatics in Control, Automation and Robotics
Author: Joaquim Filipe
Publisher: Springer Science & Business Media
ISBN: 3540856404
Category : Technology & Engineering
Languages : en
Pages : 317
Book Description
The present book includes a set of selected papers from the fourth “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2007), held at the University of Angers, France, from 9 to 12 May 2007. The conference was organized in three simultaneous tracks: “Intelligent Control Systems and Optimization”, “Robotics and Automation” and “Systems Modeling, Signal Processing and Control”. The book is based on the same structure. ICINCO 2007 received 435 paper submissions, from more than 50 different countries in all continents. From these, after a blind review process, only 52 where accepted as full papers, of which 22 were selected for inclusion in this book, based on the classifications provided by the Program Committee. The selected papers reflect the interdisciplinary nature of the conference. The diversity of topics is an important feature of this conference, enabling an overall perception of several important scientific and technological trends. These high quality standards will be maintained and reinforced at ICINCO 2008, to be held in Funchal, Madeira - Portugal, and in future editions of this conference. Furthermore, ICINCO 2007 included 3 plenary keynote lectures given by Dimitar Filev (Ford Motor Company), Patrick Millot (Université de Valenciennes) and Mark W. Spong (University of Illinois at Urbana-Champaign).
Publisher: Springer Science & Business Media
ISBN: 3540856404
Category : Technology & Engineering
Languages : en
Pages : 317
Book Description
The present book includes a set of selected papers from the fourth “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2007), held at the University of Angers, France, from 9 to 12 May 2007. The conference was organized in three simultaneous tracks: “Intelligent Control Systems and Optimization”, “Robotics and Automation” and “Systems Modeling, Signal Processing and Control”. The book is based on the same structure. ICINCO 2007 received 435 paper submissions, from more than 50 different countries in all continents. From these, after a blind review process, only 52 where accepted as full papers, of which 22 were selected for inclusion in this book, based on the classifications provided by the Program Committee. The selected papers reflect the interdisciplinary nature of the conference. The diversity of topics is an important feature of this conference, enabling an overall perception of several important scientific and technological trends. These high quality standards will be maintained and reinforced at ICINCO 2008, to be held in Funchal, Madeira - Portugal, and in future editions of this conference. Furthermore, ICINCO 2007 included 3 plenary keynote lectures given by Dimitar Filev (Ford Motor Company), Patrick Millot (Université de Valenciennes) and Mark W. Spong (University of Illinois at Urbana-Champaign).