Sciweavers

3614 search results - page 50 / 723
» Numerical Computing with MATLAB
Sort
View
99
Voted
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
15 years 9 months ago
Sensitivity analysis and computational uncertainty with applications to control of nonlinear parabolic partial differential equa
— In this paper we illustrate how sensitivities can be used to provide a practical precursor to dynamic transitions and numerical uncertainty in parameterized nonlinear parabolic...
John A. Burns, Lisa G. Davis
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 6 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
121
Voted
CORR
2007
Springer
76views Education» more  CORR 2007»
15 years 2 months ago
Some problems in asymptotic convex geometry and random matrices motivated by numerical algorithms
Abstract. The simplex method in Linear Programming motivates several problems of asymptotic convex geometry. We discuss some conjectures and known results in two related directions...
Roman Vershynin
114
Voted
ICCS
2005
Springer
15 years 8 months ago
Numerically Stable Real Number Codes Based on Random Matrices
Abstract — Error correction codes defined over realnumber and complex-number fields have been studied and recognized as useful in many applications. However, most real-number a...
Zizhong Chen, Jack Dongarra
97
Voted
TCS
2002
15 years 2 months ago
Arrays, numeration systems and Frankenstein games
We de ne an in nite array A of nonnegative integers based on a linear recurrence, whose second row provides basis elements of an exotic ternary numeration system. Using the numerat...
Aviezri S. Fraenkel