|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kuznets, Roman | What Proof Theory Can Do for You | Presentation Vortrag | 17-Jan-2024 |
| 2 | | Ostrowski, Erik ; Shafique, Muhammad | ISLE: A Framework for Image Level Semantic Segmentation Ensemble | Inproceedings Konferenzbeitrag  | 3-Dec-2023 |
| 3 | | Prabakaran, Bharath Srinivas ; Ostrowski, Erik ; Shafique, Muhammad | ReFit: A Framework for Refinement of Weakly Supervised Semantic Segmentation Using Object Border Fitting for Medical Images | Inproceedings Konferenzbeitrag | 1-Dec-2023 |
| 4 | | Prabakaran, Bharath Srinivas ; Mrazek, Vojtech ; Vasicek, Zdenek ; Sekanina, Lukas ; Shafique, Muhammad | Xel-FPGAs: An End-to-End Automated Exploration Framework for Approximate Accelerators in FPGA-Based Systems | Inproceedings Konferenzbeitrag | 30-Nov-2023 |
| 5 |  | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | A decision procedure for IS4 | Inproceedings Konferenzbeitrag   | 31-Oct-2023 |
| 6 |  | Kuznets, Roman | Simplicial approaches to crashing agents | Inproceedings Konferenzbeitrag | 31-Oct-2023 |
| 7 |  | Randrianomentsoa, Rojo Fanamperana ; van Ditmarsch, Hans ; Kuznets, Roman | Impure simplicial complexes: complete axiomatization | Article Artikel | 18-Oct-2023 |
| 8 | | Marchisio, Alberto ; Shafique, Muhammad | Embedded Neuromorphic Using Intel’s Loihi Processor | Book Contribution Buchbeitrag | 10-Oct-2023 |
| 9 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | A Design Methodology for Energy-Efficient Embedded Spiking Neural Networks | Book Contribution Buchbeitrag | 10-Oct-2023 |
| 10 | | Prabakaran, Bharath Srinivas ; Shafique, Muhammad | An End-to-End Embedded Neural Architecture Search and Model Compression Framework for Healthcare Applications and Use-Cases | Book Contribution Buchbeitrag | 7-Oct-2023 |
| 11 | | Marchisio, Alberto ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | Adversarial ML for DNNs, CapsNets, and SNNs at the Edge | Book Contribution Buchbeitrag | 7-Oct-2023 |
| 12 | | Naseer, Mahum ; Bhatti, Iram Tariq ; Hasan, Osman ; Shafique, Muhammad | Considering the Impact of Noise on Machine Learning Accuracy | Book Contribution Buchbeitrag | 7-Oct-2023 |
| 13 | | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo Fanamperana | Simplicial Introduction | Presentation Vortrag | 6-Oct-2023 |
| 14 | | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | An Off-Chip Memory Access Optimization for Embedded Deep Learning Systems | Book Contribution Buchbeitrag | 1-Oct-2023 |
| 15 | | Putra, Rachmad Vidya Wicaksana ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | Massively Parallel Neural Processing Array (MPNA): A CNN Accelerator for Embedded Systems | Book Contribution Buchbeitrag | 1-Oct-2023 |
| 16 |  | Naseer, Mahum ; Hasan, Osman ; Shafique, Muhammad | QuanDA: GPU accelerated quantitative deep neural network analysis | Article Artikel | Oct-2023 |
| 17 |  | van Ditmarsch, Hans ; Kuznets, Roman ; Randrianomentsoa, Rojo | On Two- and Three-valued Semantics for Impure Simplicial Complexes | Inproceedings Konferenzbeitrag | 30-Sep-2023 |
| 18 | | Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz | Intuitionistic S4 and its decidability | Presentation Vortrag | 27-Sep-2023 |
| 19 | | Ahmadi, Mahya Morid ; Alrahis, Lilas ; Sinanoglu, Ozgur ; Shafique, Muhammad | FPGA-Patch: Mitigating Remote Side-Channel Attacks on FPGAs using Dynamic Patch Generation | Inproceedings Konferenzbeitrag | 19-Sep-2023 |
| 20 |  | van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation | Inproceedings Konferenzbeitrag | 14-Sep-2023 |
