"FS, VUT, Brno" . "28110" . "ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS"@en . . "Mendel 2001" . "This paper presents mathematical proofs for a new search algorithm - Self-Organizing Migrating Algorithm (SOMA), which can be classified as a memetic algorithm. The principles of this algorithm are given at [12] where C++ source code for Self-Organizing Migrating Algorithm and Differential Evolution (DE) can also be found. At this address the Self-Organizing Migrating Algorithm is explained and then compared with Differential Evolution on various tested functions (15). During these tests 9500 comparative optimizing simulations have been carried out, representing approximately 22x106 cost function evaluations. Because the simulations have shown that Self-Organizing Migrating Algorithm is a viable algorithm, this contribution is focused on some basic proofs for it" . . . . . "[DBE80B96C87C]" . . "Brno" . "Vysok\u00E9 u\u010Den\u00ED technick\u00E9 v Brn\u011B" . . . "P(GA102/00/0526), P(GA102/99/1292), Z(MSM 265200014)" . "1"^^ . . "2001-06-06+02:00"^^ . . "80-214-1894-X" . "103;110" . "RIV/70883521:28110/01:00000090!RIV/2002/GA0/281102/N" . "3"^^ . "0"^^ . "0"^^ . . "ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS" . . . . "8"^^ . "RIV/70883521:28110/01:00000090" . "690038" . . "ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS"@en . . "Nolle, Lars" . "This paper presents mathematical proofs for a new search algorithm - Self-Organizing Migrating Algorithm (SOMA), which can be classified as a memetic algorithm. The principles of this algorithm are given at [12] where C++ source code for Self-Organizing Migrating Algorithm and Differential Evolution (DE) can also be found. At this address the Self-Organizing Migrating Algorithm is explained and then compared with Differential Evolution on various tested functions (15). During these tests 9500 comparative optimizing simulations have been carried out, representing approximately 22x106 cost function evaluations. Because the simulations have shown that Self-Organizing Migrating Algorithm is a viable algorithm, this contribution is focused on some basic proofs for it"@en . "Zelinka, Ivan" . "ON THE THEORETICAL PROOF OF CONVERGENCE FOR A CLASS OF SOMA SEARCH ALGORITHMS" . "SOMA, axiomatic system, proof and proof classification, proof structure"@en . . . . . "Lampinen, Jouni" .