Sciweavers

22864 search results - page 114 / 4573
» An Integrated and
Sort
View
ADCM
2007
88views more  ADCM 2007»
15 years 1 months ago
Discrete variational integrators and optimal control theory
A geometric derivation of numerical integrators for optimal control problems is proposed. It is based in the classical technique of generating functions adapted to the special fea...
Manuel de León, David Martín de Dieg...
APPML
2007
48views more  APPML 2007»
15 years 1 months ago
Nonlinear integral equations singular in the dependent variable
Nonnegative solutions are established for nonlinear integral equations where the nonlinearity G(t, y) may be singular at y = 0. Existence is established using the Leray–Schauder...
Donal O'Regan, Ravi P. Agarwal, Kanishka Perera
CORR
2008
Springer
93views Education» more  CORR 2008»
15 years 1 months ago
A computer verified, monadic, functional implementation of the integral
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
Russell O'Connor, Bas Spitters
NA
2008
72views more  NA 2008»
15 years 1 months ago
The numerical evaluation of a challenging integral
Standard numerical analysis tools, combined with elementary calculus, are deployed to evaluate a densely and wildly oscillatory integral proposed as a computational problem in the...
Walter Gautschi
ORL
2008
91views more  ORL 2008»
15 years 1 months ago
On the integrality ratio for tree augmentation
We show that the standard linear programming relaxation for the tree augmentation problem in undirected graphs has an integrality ratio that approaches 3 2 . This refutes a conjec...
Joseph Cheriyan, Howard J. Karloff, Rohit Khandeka...