Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Evolutionary Computation in Combinatorial Optimization: 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, ProceedingsGottlieb, Jens ; Raidl, Günther R Raidl, Günther R. ; Gottlieb, JensBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Petri Automata for Kleene AllegoriesBrunet, Paul ; Pous, Damien2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.68-79Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Metro Maps on Octilinear Grid GraphsBast, Hannah ; Brosi, Patrick ; Storandt, SabineComputer graphics forum, 2020-06, Vol.39 (3), p.357-367 [Periódico revisado por pares]Oxford: Blackwell Publishing LtdTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Obtaining lower bounds from the progressive hedging algorithm for stochastic mixed-integer programsGade, Dinakar ; Hackebeil, Gabriel ; Ryan, Sarah M. ; Watson, Jean-Paul ; Wets, Roger J.-B. ; Woodruff, David L.Mathematical programming, 2016-05, Vol.157 (1), p.47-67 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Hyper Natural DeductionBeckmann, Arnold ; Preining, Norbert2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.547-558Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
A Note on the Complexity of Classical and Intuitionistic ProofsBaaz, Matthias ; Leitsch, Alexander ; Reis, Giselle2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.657-666Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
OSQP: an operator splitting solver for quadratic programsStellato, Bartolomeo ; Banjac, Goran ; Goulart, Paul ; Bemporad, Alberto ; Boyd, StephenMathematical programming computation, 2020-12, Vol.12 (4), p.637-672 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Multidimensional sum-up rounding for integer programming in optimal experimental designYu, Jing ; Anitescu, MihaiMathematical programming, 2021-01, Vol.185 (1-2), p.37-76 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Minimizing finite sums with the stochastic average gradientSchmidt, Mark ; Le Roux, Nicolas ; Bach, FrancisMathematical programming, 2017-03, Vol.162 (1-2), p.83-112 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
A GPU‐Adapted Structure for Unstructured GridsZayer, Rhaleb ; Steinberger, Markus ; Seidel, Hans‐PeterComputer graphics forum, 2017-05, Vol.36 (2), p.495-507 [Periódico revisado por pares]Oxford: Blackwell Publishing LtdTexto completo disponível |