Sciweavers

3113 search results - page 28 / 623
» Numerical Methods
Sort
View
ISSAC
2007
Springer
106views Mathematics» more  ISSAC 2007»
16 years 1 days ago
Numerical techniques for computing the inertia of products of matrices of rational numbers
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
John P. May, B. David Saunders, David Harlan Wood
SAS
2010
Springer
172views Formal Methods» more  SAS 2010»
15 years 4 months ago
Deriving Numerical Abstract Domains via Principal Component Analysis
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
Gianluca Amato, Maurizio Parton, Francesca Scozzar...

Book
814views
17 years 3 months ago
Numerical Computing with MATLAB
"Numerical Computing with MATLAB is a textbook for an introductory course in numerical methods, Matlab, and technical computing. The emphasis is on informed use of mathematic...
Cleve Moler
SIAMIS
2010
123views more  SIAMIS 2010»
15 years 4 months ago
Numerical Algorithms for Polyenergetic Digital Breast Tomosynthesis Reconstruction
Digital tomosynthesis imaging is becoming increasingly significant in a variety of medical imaging applications. Tomosynthesis imaging involves the acquisition of a series of proj...
Julianne Chung, James G. Nagy, Ioannis Sechopoulos
ISMVL
2009
IEEE
94views Hardware» more  ISMVL 2009»
16 years 16 days ago
Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...
Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler