Sciweavers

62 search results - page 7 / 13
» A Tailored Finite Point Method for Convection-Diffusion-Reac...
Sort
View
ITCC
2005
IEEE
14 years 1 months ago
Disciplined Methods of Software Specification: A Case Study
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
Robert L. Baber, David Lorge Parnas, Sergiy A. Vil...
ADCM
2000
104views more  ADCM 2000»
13 years 7 months ago
On the detection of singularities of a periodic function
We discuss the problem of detecting the location of discontinuities of derivatives of a periodic function, given either finitely many Fourier coefficients of the function, or the ...
Hrushikesh Narhar Mhaskar, Jürgen Prestin
SIAMREV
2010
132views more  SIAMREV 2010»
13 years 2 months ago
A Stochastic Collocation Method for Elliptic Partial Differential Equations with Random Input Data
In this paper we propose and analyze a Stochastic-Collocation method to solve elliptic Partial Differential Equations with random coefficients and forcing terms (input data of the...
Ivo Babuska, Fabio Nobile, Raúl Tempone
SIAMSC
2008
129views more  SIAMSC 2008»
13 years 7 months ago
Iterative Solution of Piecewise Linear Systems
The correct formulation of numerical models for free-surface hydrodynamics often requires the solution of special linear systems whose coefficient matrix is a piecewise constant fu...
Luigi Brugnano, Vincenzo Casulli
MP
2006
80views more  MP 2006»
13 years 7 months ago
Minimizing Polynomials via Sum of Squares over the Gradient Ideal
A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points ...
Jiawang Nie, James Demmel, Bernd Sturmfels