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