21 – 30 of 4399
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
(
- Contribution to journal › Article
-
Mark
Fully Declarative Specification of Static Code Checkers
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Activity Report 2024
2025) In TFRT-4052(
- Book/Report › Report
-
Mark
Formal Analysis of Julia Key Agreement Protocol
2025) 26th International Conference on Information and Communications Security, ICICS 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15057 LNCS. p.171-190(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Stabilized scattering matrix formulation for 2D periodic multilayer dielectrics
2025) In Technical report(
- Book/Report › Report
-
Mark
Breast cancer classification in point-of-care ultrasound imaging—the impact of training data
(
- Contribution to journal › Article
-
Mark
Outcome prediction of prostate cancer patients on active surveillance using weakly supervised deep learning
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Guiding organizations in the digital era : Tools and metrics for success
(
- Contribution to journal › Article
-
Mark
Towards understanding inter-organizational data sharing practices and technical tools needs
(
- Thesis › Licentiate thesis
-
Mark
Minimax Linear Regulator Problems for Positive Systems : with applications to multi-agent synchronization
2025)(
- Thesis › Licentiate thesis