Sciweavers

378 search results - page 39 / 76
» Convergence of rank-type equations
Sort
View
ENTCS
2006
103views more  ENTCS 2006»
14 years 12 months ago
Static Equivalence is Harder than Knowledge
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
Johannes Borgström
JSCIC
2008
62views more  JSCIC 2008»
14 years 11 months ago
Robustness of a Spline Element Method with Constraints
The spline element method with constraints is a discretization method where the unknowns are expanded as polynomials on each element and Lagrange multipliers are used to enforce th...
Gerard Awanou
88
Voted
SIAMJO
2008
93views more  SIAMJO 2008»
14 years 11 months ago
Recursive Trust-Region Methods for Multiscale Nonlinear Optimization
A class of trust-region methods is presented for solving unconstrained nonlinear and possibly nonconvex discretized optimization problems, like those arising in systems governed by...
Serge Gratton, Annick Sartenaer, Philippe L. Toint
AMC
2005
87views more  AMC 2005»
14 years 11 months ago
Wavelet based preconditioners for sparse linear systems
A class of efficient preconditioners based on Daubechies family of wavelets for sparse, unsymmetric linear systems that arise in numerical solution of Partial Differential Equatio...
B. V. Rathish Kumar, Mani Mehra
MOC
1998
66views more  MOC 1998»
14 years 11 months ago
The d2-transformation for infinite double series and the D2-transformation for infinite double integrals
New transformations for accelerating the convergence of infinite double series and infinite double integrals are presented. These transformations are generalizations of the univa...
Chen Greif, David Levin