1 – 10 of 216
- 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
Federated Resource Allocation for HPC Services
(2025) 6th Nordic e-Infrastructure Collaboration Conference, NeIC 2024 In Communications in Computer and Information Science 2398 CCIS. p.128-141
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Compositional dataflow analysis via abstract transition systems
(2025)
- Working paper/Preprint › Working paper
-
Mark
Addressing Failures in Robotics Using Vision-Based Language Models (VLMs) and Behavior Trees (BT)
(2025) 16th European Robotics Forum, ERF 2025 In Springer Proceedings in Advanced Robotics 36 SPAR. p.281-287
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How to build nice robots : Ethics from theory to machine implementation
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Improving neural network efficiency with multifidelity and dimensionality reduction techniques
(2025) AIAA SCITECH 2025 Forum
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
- Contribution to journal › Article
-
Mark
Demystifying AMD SEV Performance Penalty for NFV Deployment
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
OT-PCA: New Key-Recovery Plaintext-Checking Oracle Based Side-Channel Attacks on HQC with Offline Templates
- Contribution to journal › Article
-
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
