|
2. The NCD programming languageAmbrož Bizjak, 2013, undergraduate thesis Keywords: programming language, bactracking, roll-back, event-driven, asynchronous, network configuration, computer science, computer and information science, computer science and mathematics, diploma Full text (file, 536,06 KB) |
|
|
|
6. General Purpose Optimization Library (GPOL)Illya Bakurov, Marco Buzzelli, Mauro Castelli, Leonardo Vanneschi, Raimondo Schettini, 2021, original scientific article Keywords: optimization, evolutionary computation, swarm intelligence, local search, continuous
optimization, combinatorial optimization, inductive programming, supervised machine learning Full text (file, 659,19 KB) This document has more files! More... |
7. Minimizer extraction in polynomial optimization is robustIgor Klep, Janez Povh, Jurij Volčič, 2018, original scientific article Keywords: polynomial optimization, sum of squares, semidefinite programming, moment problem, Hankel matrix, flat extension, GNS construction, noncommutative polynomial, trace Full text (file, 493,08 KB) This document has more files! More... |
8. A new approximation hierarchy for polynomial conic optimizationPeter J. C. Dickinson, Janez Povh, 2019, original scientific article Keywords: Polynomial conic optimization, Polynomial semi-definite programming, Polynomial second-order cone programming, Approximation hierarchy, Linear programming, Semi-definite programming Full text (file, 463,92 KB) This document has more files! More... |
9. Sparse noncommutative polynomial optimizationIgor Klep, Victor Magron, Janez Povh, 2021, original scientific article Keywords: noncommutative polynomial, sparsity pattern, semialgebraic set, semidefinite programming, eigenvalue optimization, trace optimization, GNS construction Full text (file, 560,05 KB) This document has more files! More... |
10. Equality between programs with effectsNiels Frits Willem Voorneveld, 2020, doctoral dissertation Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices Full text (file, 2,42 MB) |