Sciweavers

NAA
2000
Springer
93views Mathematics» more  NAA 2000»
14 years 3 months ago
Estimation of the Wheat Losses Caused by the Tropospheric Ozone in Bulgaria and Denmark
Long-term exposures to high ozone concentrations have harmful effect on the crops and reduce the yield. The exposures are measured in terms of AOT40 (Accumulated exposure Over Thre...
Tzvetan Ostromsky, Ivan Dimov, Ilia Tzvetanov, Zah...
NAA
2000
Springer
125views Mathematics» more  NAA 2000»
14 years 3 months ago
Matrix Computations Using Quasirandom Sequences
Abstract. The convergence of Monte Carlo method for numerical integration can often be improved by replacing pseudorandom numbers (PRNs) with more uniformly distributed numbers kno...
Michael Mascagni, Aneta Karaivanova
NAA
2000
Springer
88views Mathematics» more  NAA 2000»
14 years 3 months ago
Schwarz Methods for Convection-Diffusion Problems
Abstract. Various variants of Schwarz methods for a singularly perturbed two dimensional stationary convection-diffusion problem are constructed and analysed. The iteration counts,...
H. MacMullen, Eugene O'Riordan, Grigorii I. Shishk...
NAA
2000
Springer
97views Mathematics» more  NAA 2000»
14 years 3 months ago
Nested-Dissection Orderings for Sparse LU with Partial Pivoting
We describe the implementation and performance of a novel fill-minimization ordering technique for sparse LU factorization with partial pivoting. The technique was proposed by Gilb...
Igor Brainman, Sivan Toledo
NAA
2000
Springer
104views Mathematics» more  NAA 2000»
14 years 3 months ago
A Grid Free Monte Carlo Algorithm for Solving Elliptic Boundary Value Problems
In this work a grid free Monte Carlo algorithm for solving elliptic boundary value problems is investigated. The proposed Monte Carlo approach leads to a random process called a ba...
Todor V. Gurov, Paula A. Whitlock, Ivan Dimov
MPC
2000
Springer
113views Mathematics» more  MPC 2000»
14 years 3 months ago
Proving Pointer Programs in Hoare Logic
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
Richard Bornat
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
14 years 3 months ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
Sergei M. Abramov, Robert Glück
ISSAC
2000
Springer
88views Mathematics» more  ISSAC 2000»
14 years 3 months ago
Solving projective complete intersection faster
Bernard Mourrain, Philippe Trebuchet
ISSAC
2000
Springer
94views Mathematics» more  ISSAC 2000»
14 years 3 months ago
Computing normalizers of permutation groups efficiently using isomorphisms of association schemes
This note presents an algorithm to speed up the computation of normalizers of permutation groups. It is an application of computation of isomorphisms of association schemes. Categ...
Izumi Miyamoto