81 – 90 of 4544
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Scattering computations using a rotationally symmetric solver implemented in open source finite elements
- Book/Report › Report
-
Mark
Falsification of Cyber-physical Systems Using Bayesian Optimization
Ramezani, Zahra ; Šehić, Kenan LU
; Nardi, Luigi
LU
and Åkesson, Knut
(2025)
In ACM Transactions on Embedded Computing Systems
24(3).
- Contribution to journal › Article
-
Mark
Lifting with colourful sunflowers
de Rezende, Susanna F. LU
and Vinyals, Marc
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the automatability of tree-like k-DNF resolution
Carenini, Gaia and de Rezende, Susanna F. LU
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Vowel segmentation impact on machine learning classification for chronic obstructive pulmonary disease
Idrisoglu, Alper ; Moraes, Ana Luiza Dallora ; Cheddad, Abbas ; Anderberg, Peter ; Jakobsson, Andreas LU
and Berglund, Johan Sanmartin
(2025)
In Scientific Reports
15(1).
- Contribution to journal › Article
-
Mark
Synthetic versus real : an analysis of critical scenarios for autonomous vehicle testing
Song, Qunying LU
; Bensoussan, Avner
and Mousavi, Mohammad Reza
(2025)
In Automated Software Engineering
32(2).
- Contribution to journal › Article
-
Mark
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. LU
; Fleming, Noah
LU
; Janett, Duri Andrea
; Nordström, Jakob
LU
and Pang, Shuo
(2025)
57th Annual ACM Symposium on Theory of Computing, STOC 2025
In Proceedings of the Annual ACM Symposium on Theory of Computing
p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Interpretable Parkinson's Disease Detection Using Group-Wise Scaling
Momeni, Niloofar LU
; Whitling, Susanna
LU
and Jakobsson, Andreas
LU
(2025)
In IEEE Access
13.
p.29147-29161
- Contribution to journal › Article
-
Mark
Graph-Based Multi-Bounce Modeling and Channel Parameter Estimation for Indoor Sensing
- Contribution to journal › Article
-
Mark
Sampling and Update Frequencies in Proximal Variance-Reduced Stochastic Gradient Methods
Morin, Martin LU and Giselsson, Pontus LU
(2025)
In Journal of Optimization Theory and Applications
205(3).
- Contribution to journal › Article