
2. The NCD programming languageAmbrož Bizjak, 2013, undergraduate thesis Keywords: programming language, bactracking, rollback, eventdriven, asynchronous, network configuration, computer science, computer and information science, computer science and mathematics, diploma Full text (file, 536,06 KB) 


5. 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... 
6. 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... 
7. A new approximation hierarchy for polynomial conic optimizationPeter J. C. Dickinson, Janez Povh, 2019, original scientific article Keywords: Polynomial conic optimization, Polynomial semidefinite programming, Polynomial secondorder cone programming, Approximation hierarchy, Linear programming, Semidefinite programming Full text (file, 463,92 KB) This document has more files! More... 
8. 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... 
9. Equality between programs with effectsNiels Frits Willem Voorneveld, 2020, doctoral dissertation Keywords: Program equivalence, functional programming, callbypushvalue, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices Full text (file, 2,42 MB) 
10. Forecasting electricity pricesMauro Castelli, Aleš Groznik, Aleš Popovič, 2020, original scientific article Keywords: energetics, price, informatics, energy sector, electricity prices, forecasting, machine learning, geometric semantic, based programming Full text (file, 2,00 MB) This document has more files! More... 