1 – 10 of 70
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
EDB-HSTEU-Net : Earthquake-damaged building detection using a novel hybrid swin transformer efficient U-Net (HSTEU-Net) and transfer learning techniques from post-event VHR remote sensing data
- Contribution to journal › Article
-
Mark
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
(2025) 37th International Conference on Computer Aided Verification, CAV 2025 In Lecture Notes in Computer Science 15932 LNCS. p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Low-latency D-MIMO Localization using distributed scalable message-passing algorithm
(2025)
- Working paper/Preprint › Preprint in preprint archive
-
Mark
Reflex-plan : a safety monitoring architecture for thinking fast and slow
(2025) p.562-569
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A scalable all-digital near-memory computing architecture for edge AIoT applications
- Contribution to journal › Article
-
Mark
TinyFoA : Memory Efficient Forward-Only Algorithm for On-Device Learning
(2025) 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 In Proceedings of the AAAI Conference on Artificial Intelligence 39. p.17377-17385
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Reconfigurable Ferroelectric Transistor as An Ultra-Scaled Cell for Low-Power In-Memory Data Processing
- Contribution to journal › Article
-
Mark
Fast Parallelizable Misuse-Resistant Authenticated Encryption : Low Latency (Decryption-Fast) SIV
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
- Contribution to journal › Article
