1679 search results - page 53 / 336 » Strong order equivalence |
EOR
2000
13 years 9 months ago
2000
We introduce two pairs of nondifferentiable multiobjective second order symmetric dual problems with cone constraints over arbitrary closed convex cones, which is different from th...
DCC
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose an algorithm which is an improved version of the Kabatiansky-Tavernier list decoding algorithm for the second order binary Reed-Muller code RM(2, m), of length n = 2m , ...
ICCS
2009
Springer
14 years 4 months ago
2009
Springer
The depth-integrated shallow water equations are frequently used for simulating geophysical flows, such as storm-surges, tsunamis and river flooding. In this paper a parallel sha...
ICLP
2001
Springer
14 years 2 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
MMAS
2010
Springer
13 years 4 months ago
2010
Springer
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...