Result 1 to 20 of 102 total
Comments on “Analytical expression of explicit MPC solution via lattice piecewise-affine function” [Automatica 45 (2009) 910-917]. (English)
Automatica 48, No. 11, 2993-2994 (2012).
1
A Chaitin $Ω$ number based on compressible strings. (English)
Nat. Comput. 11, No. 1, 117-128 (2012).
2
Numerical methods for equations and its applications. (English)
Boca Raton, FL: CRC Press (ISBN 978-1-57808-753-2/hbk; 978-1-46-651711-0/ebook). viii, 465~p. \sterling~57.99/hbk (2012).
3
On possibility of conditional invariant detection. (English)
König, Andreas (ed.) et al., Knowlege-based and intelligent information and engineering systems. 15th international conference, KES 2011, Kaiserslautern, Germany, September 12‒14, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23862-8/pbk). Lecture Notes in Computer Science 6882. Lecture Notes in Artificial Intelligence, 214-224 (2011).
4
Localizing program logical errors using extraction of knowledge from invariants. (English)
Pardalos, Panos M. (ed.) et al., Experimental algorithms. 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20661-0/pbk). Lecture Notes in Computer Science 6630, 124-135 (2011).
5
Transformation of structure-shy programs with application to XPath queries and strategic functions. (English)
Sci. Comput. Program. 76, No. 6, 516-539 (2011).
6
Smoothing method for mathematical programs with symmetric cone complementarity constraints. (English)
Optimization 60, No. 1-3, 113-128 (2011).
7
An $η$-approximation method for multiobjective program involving invex functions. (Chinese)
Pure Appl. Math. 26, No. 6, 941-948 (2010).
8
Exploiting structured sparsity in large scale semidefinite programming problems. (English)
Fukuda, Komei (ed.) et al., Mathematical software ‒ ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 4-9 (2010).
9
A new representation of Chaitin $Ω$ number based on compressible strings. (English)
Calude, Cristian S. (ed.) et al., Unconventional computation. 9th international conference, UC 2010, Tokyo, Japan, June 21‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13522-4/pbk). Lecture Notes in Computer Science 6079, 127-139 (2010).
10
Comparative study between Lemke’s method and the interior point method for the monotone linear complementarity problem. (English)
Stud. Univ. Babeş-Bolyai, Math. 53, No. 3, 119-132 (2008).
11
Partial exact penalty for mathematical programs with equilibrium constraints. (English)
Set-Valued Anal. 16, No. 5-6, 785-804 (2008).
12
SDPA project: solving large-scale semidefinite programs. (English)
J. Oper. Res. Soc. Japan 50, No. 4, 278-298 (2007).
13
Load balancing in cellular wireless networks. (English)
Resende, Mauricio G. C. (ed.) et al., Handbook of optimization in telecommunications. New York, NY: Springer (ISBN 0-387-30662-5/hbk). 941-978 (2006).
14
Reduced order output feedback control design for PDE systems using proper orthogonal decomposition and nonlinear semidefinite programming. (English)
Linear Algebra Appl. 415, No. 2-3, 542-575 (2006).
15
Algorithms for automatic generating interior nodal points and Delaunay triangulation using advancing front technique. (English)
Commun. Numer. Methods Eng. 22, No. 5, 467-474 (2006).
16
Convergence analysis of an augmented Lagrangian method for mathematical programs with complementarity constraints. (English)
Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 63, No. 5-7, A, e2247-e2256, electronic only (2005).
17
Efficient solution of second-order cone program for model predictive control. (English)
Int. J. Control 77, No. 1, 55-77 (2004).
18
Graded inclusion and point-free geometry. (English)
Int. J. Pure Appl. Math. 11, No. 1, 63-81 (2004).
19
Implementation and evaluation of SDPA 6.0 (SemiDefinite Programming Algorithm 6.0). (English)
Optim. Methods Softw. 18, No. 4, 491-505 (2003).
20
Result 1 to 20 of 102 total