181 – 190 of 1763
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Automating algebraic proof systems is NP-hard
De Rezende, Susanna F. LU
; Göös, Mika
; Nordström, Jakob
LU
; Pitassi, Toniann
; Robere, Robert
and Sokolov, Dmitry
LU
(2021)
53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.209-222
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Test automation with grad-CAM Heatmaps - A future pipe segment in MLOps for Vision AI?
(2021) 14th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021 p.175-181
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Demonstration: A cloud-control system equipped with intrusion detection and mitigation
Akbarian, Fatemeh LU ; Tärneberg, William LU ; Fitzgerald, Emma LU
and Kihl, Maria
LU
(2021)
The Conference on Networked Systems (NetSys 2021)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visualizing and Communicating Errors in Rendered Images
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Faster enclave transitions for IO-intensive network applications
Svenningsson, Jakob ; Paladi, Nicolae LU
and Vahidi, Arash
(2021)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse Steiner triple systems of order 21
- Contribution to journal › Article
-
Mark
Using Program Analysis to Identify the Use of Vulnerable Functions
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Progger: Programming by Errors (Work In Progress)
McCabe, Alan LU ; Söderberg, Emma LU
and Church, Luke
LU
(2021)
Psychology of Programming Interest Group Annual Workshop 2021
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Online and Approximate Network Construction from Bounded Connectivity Constraints
Jansson, Jesper LU ; Levcopoulos, Christos LU
and Lingas, Andrzej
LU
(2021)
12th International Conference on Algorithms and Complexity (CIAC 2021)
In Lecture Notes in Computer science
12701.
p.314-325
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
User evaluation of a national e-library for standardized chemotherapy regimens
Persson, Johanna LU ; Fyhr, Ann-Sofie LU and Ek, Åsa LU
(2021)
21st Congress of the International Ergonomics Association, IEA 2021
In Lecture Notes in Networks and Systems
222.
p.175-181
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding