Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Daniel Arnström 8 träffar

Titel Författare År Språk
1 Exact Complexity Certification of a Standard Primal Active-Set Method for Quadratic Programming 2019 dec 11-13 FRANCE Nice 58th IEEE Conference on Decision and Control (CDC) Daniel Arnström 2019 Engelska
2-3 On Complexity Certification of Active-Set QP Methods with Applications to Linear MPC (flera utgåvor) Daniel Arnström 2021 Engelska
4-5 Real-time certified MPC - reliable active-set QP solvers (flera utgåvor) Daniel Arnström 2023 Engelska
6 Semi-Explicit Linear MPC Using a Warm-Started Active-Set QP Algorithm with Exact Complexity Guarantees 2021 dec 13-17 ELECTR NETWORK 60th IEEE Conference on Decision and Control (CDC) Daniel Arnström 2021 Engelska
7 Exact Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Linear Programming 2022 06-09 December Mexico Cancun The 61st IEEE Conference on Decision and Control (CDC) Shamisa Shoja 2022 Engelska
8 Overall Complexity Certification of a Standard Branch and Bound Method for Mixed-Integer Quadratic Programming 2022 08-10 June USA GA Atlanta American Control Conference (ACC) Shamisa Shoja 2022 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.