5030 search results - page 148 / 1006 » cases 2007 |
153
Voted
ADCM
2004
15 years 6 months ago
2004
In 1977 Chung and Yao introduced a geometric characterization in multivariate interpolation in order to identify distributions of points such that the Lagrange functions are produc...
123
click to vote
JSC
2007
15 years 6 months ago
2007
We study the A-discriminant of toric varieties. We reduce its computation to the case of irreducible configurations and describe its behavior under specialization of some of the ...
146
click to vote
APPML
2004
15 years 6 months ago
2004
ABSTRACT.Renormalization group (RG) methods are described for determining the key exponents related to the decay of solutions to nonlinear parabolic differential equations. Higher ...
173
Voted
AUTOMATICA
2002
15 years 6 months ago
2002
Repetitive control is useful if periodic disturbances act on a control system. Perfect (asymptotic) disturbance rejection is achieved if the period-time is exactly known. For thos...
171
Voted
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...