Forskningsoutput per år
Forskningsoutput per år
Enhetsprofil
Beskrivning
Avdelningen för parallella system samlar tre olika forskningsgrupper. Mathematical Insights into Algorithms for Optimization (MIAO), Embedded Systems Design Laboratory och Lund University Graphics Group (LUGG).
FN:s Globala mål
År 2015 godkände FN:s medlemsstater 17 Globala mål för en hållbar utveckling, utrota fattigdomen, skydda planeten och garantera välstånd för alla. Vårt arbete relaterar till följande Globala mål:
Samarbeten under de senaste fem åren
Externa samarbeten med länder/områden de senaste 5 åren
Profiler
-
Per Andersson
- Institutionen för datavetenskap - Studierektor för grundutbildningen
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication - Medlem i Strategiskt forskningsområde
- Parallella System - Universitetslektor
- LTH profilområde: AI och digitalisering - Profilområdesmedlem
Person
-
Noel Arteche
- Parallella System - Doktorand
- ELLIIT: the Linköping-Lund initiative on IT and mobile communication - Medlem i Strategiskt forskningsområde
- LTH profilområde: AI och digitalisering - Profilområdesmedlem
Person
Forskningsoutput
-
Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, A., 2025 nov. 7, Lund: Department of Computer Science, Lund University. 269 s.Forskningsoutput: Avhandling › Licentiatavhandling
Öppen tillgångFil -
Practically feasible proof logging for pseudo-Boolean optimization
Koops, W., Le Berre, D., Myreen, M. O., Nordström, J., Oertel, A., Tan, Y. K. & Vinyals, M., 2025 aug. 8, Proc. of the 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). Glasgow, Scotland, s. 21:1-21:27 27 s. ( Leibniz International Proceedings in Informatics (LIPIcs); vol. 340).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
Öppen tillgång -
Lifting with colourful sunflowers
de Rezende, S. F. & Vinyals, M., 2025 juli 29, 40th Computational Complexity Conference, CCC 2025: CCC 2025, August 5–8, 2025, Toronto, Canada. Srinivasan, S. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 19 s. (LIPIcs : Leibniz international proceedings in informatics; vol. 339).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
Öppen tillgång
-
Banbrytande kombinatorisk optimering med bevisbar korrekthet
Nordström, J. (PI)
2025/01/01 → 2029/12/31
Projekt: Forskning
-
Improving Artificial Neural Network Efficiency using Analytical GPU Models
Ivanov, A. (Forskare) & Doggett, M. (Handledare)
2024/12/01 → 2029/12/01
Projekt: Avhandling
-
Certified Linear Pseudo-Boolean Optimization
Oertel, A. (Forskare), Nordström, J. (Handledare) & de Rezende, S. (Biträdande handledare)
2021/11/16 → …
Projekt: Avhandling
Aktiviteter
-
High-Performance Graphics 2025
Olajos, R. (organisatör)
2025 juni 23 → 2025 juni 25Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat konferens
-
Complexity as a kaleidoscope
de Rezende, S. (Roll ej angiven)
2025 mars 31 → 2025 apr. 4Aktivitet: Deltagit i eller arrangerat evenemang › Arrangerat workshop/ seminarium/ kurs
-
Invited talk: Some Recent Advancements in Monotone Circuit Complexity
de Rezende, S. (Roll ej angiven)
2025 mars 7Aktivitet: Föredrag eller presentation › Inbjuden talare
Priser och utmärkelser
-
Distinguished Reviewer Award
Oertel, A. (Mottagare), 2025 maj 8
Pris: Pris (inklusive medaljer och utmärkelser)
-
WASP Poster Award 2025
Oertel, A. (Mottagare), 2025 jan. 16
Pris: Pris (inklusive medaljer och utmärkelser)
-
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, S. (Mottagare), Martins, R. (Mottagare), Nordström, J. (Mottagare) & Oertel, A. (Mottagare), 2022
Pris: Pris (inklusive medaljer och utmärkelser)