2023
Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen)
Effect of Group Based Synchronization on User Anonymity in Mix Networks
18th International Conference on Availability, Reliability and Security, ARES 2023 (Benevento, ITA, 29. August 2023 - 1. September 2023)
In: ACM International Conference Proceeding Series 2023
DOI: 10.1145/3600160.3604998
, :
LAVA: Log Authentication and Verification Algorithm
12th International Conference on IT Security Incident Management & IT Forensics (IMF 2023) (Munich, Germany, 23. Mai 2023 - 24. Mai 2023)
DOI: 10.1145/3609233
, , , , :
Frequency-Domain Analysis of Traces for the Detection of AI-based Compression
International Workshop on Biometrics and Forensics 2023 (Barcelona, 19. April 2023 - 20. April 2023)
In: IEEE (Hrsg.): 2023 International Workshop on Biometrics and Forensics (IWBF) 2023
DOI: 10.1109/iwbf57495.2023.10157489
URL: https://faui1-files.cs.fau.de/public/publications/mmsec/2023-Bergmann-IWBF.pdf
, , , , :
Windows memory forensics: Identification of (malicious) modifications in memory-mapped image files
In: Forensic Science International: Digital Investigation 45 (2023), Art.Nr.: 301561
ISSN: 2666-2817
DOI: 10.1016/j.fsidi.2023.301561
:
Basic Secure Services for Standard RISC-V Architectures
In: Computers & Security 133 (2023), Art.Nr.: 103415
ISSN: 0167-4048
DOI: 10.1016/j.cose.2023.103415
URL: https://authors.elsevier.com/a/1hZ8Rc43v0a1t
, :
"You're not smart enough for it. You can't do it anyway." - Experiences and Coping Strategies of Female System Administrators
2023 CHI Conference on Human Factors in Computing Systems, CHI 2023 (Hamburg, DEU, 23. April 2023 - 28. April 2023)
In: Conference on Human Factors in Computing Systems - Proceedings 2023
DOI: 10.1145/3544549.3585648
, , :
Möglichkeiten und Grenzen KI-gestützter Analyse digitaler Spuren
(2023), S. 43-46
, , , , , :
Sicherheit in der Digitalisierung des Alltags: Definition eines ethnografisch-informatischen Forschungsfeldes für die Lösung alltäglicher Sicherheitsprobleme
(2023)
DOI: 10.15475/sidial.2023
URL: https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/1372
(Techreport)
, , , , :
Zum Umgang mit Erkenntnissen der IT-Sicherheitsforschung
In: Sebastian Golla, Dominik Brodowski (Hrsg.): IT-Sicherheitsforschung und IT-Strafrecht, Tübingen: Mohr Siebeck, 2023, S. 21-33
ISBN: 978-3-16-162179-6
DOI: 10.1628/978-3-16-162184-0
:
Systematic Evaluation of Forensic Data Acquisition using Smartphone Local Backup
Digital Forensics Research Conference USA (DFRWS USA) 2023 (Baltimore, MD, 9. Juli 2023 - 12. Juli 2023)
In: Proceedings of the Digital Forensics Research Conference USA (DFRWS USA) 2023 2023
, , :
Identifizierung von Malware-Infrastruktur mittels verteilter Spamtrap-Systeme
Sicherheit in vernetzten Systemen: 30. DFN-Konferenz (Hamburg, 8. Februar 2023 - 10. Februar 2023)
In: Albrecht Ude (Hrsg.): Sicherheit in vernetzten Systemen: 30. DFN-Konferenz 2023
:
Contamination of digital evidence: Understanding an underexposed risk
In: Forensic Science International: Digital Investigation 44 (2023), Art.Nr.: 301501
ISSN: 2666-2817
DOI: 10.1016/j.fsidi.2023.301501
, , :
A Formal Treatment of Expressiveness and Relevance of Digital Evidence
In: Digital Threats: Research and Practice (2023)
ISSN: 2576-5337
DOI: 10.1145/3608485
, :
Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction
Digital Forensics Research Conference Europe (DFRWS EU 2023) (Bonn, 21. März 2023 - 24. März 2023)
In: Edita Bajramovic and Ricardo J. Rodríguez (Hrsg.): Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU) 2023
Open Access: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
URL: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
, , , :
Faktoren erfolgreicher Cybercrime-Ermittlungen: Ergebnisse einer Expertenbefragung
In: Kriminalistik 77 (2023), S. 266 - 271
ISSN: 0023-4699
, , :
A Functional Classification of Forensic Access to Storage and its Legal Implications
12th International Conference on IT Security Incident Management & IT Forensics (Munich, 23. Mai 2023 - 24. Mai 2023)
In: Proceedings of the 12th International Conference on IT Security Incident Management & IT Forensics 2023
DOI: 10.1145/3609231
, , , :
Bayesian Convolutional Neural Networks for Limited Data Hyperspectral Remote Sensing Image Classification
In: IEEE Geoscience and Remote Sensing Letters 20 (2023), Art.Nr.: 5506305
ISSN: 1545-598X
DOI: 10.1109/LGRS.2023.3287504
, , , , :
LORD: Leveraging Open-Set Recognition with Unknown Data
International Conference on Computer Vision Workshop (ICCVW) (Paris, 2. Oktober 2023 - 6. Oktober 2023)
In: 2023 IEEE/CVF International Conference on Computer Vision Workshops (ICCVW) 2023
DOI: 10.1109/ICCVW60793.2023.00473
URL: https://faui1-files.cs.fau.de/public/publications/mmsec/2023-Koch-ICCVW.pdf
, , :
Reliable Machine Learning Methods in Image Forensics (Dissertation, 2023)
URL: https://nbn-resolving.org/urn:nbn:de:bvb:29-opus4-217322
:
On the Security of the One-and-a-Half-Class Classifier for SPAM Feature-Based Image Forensics
In: IEEE Transactions on Information Forensics and Security (2023)
ISSN: 1556-6013
DOI: 10.1109/TIFS.2023.3266168
URL: https://faui1-files.cs.fau.de/public/publications/mmsec/2023-Lorch-OSO.pdf
, , , :
Zuverlässigkeit von KI in der Multimedia-Forensik
In: Datenschutz und Datensicherheit (2023)
ISSN: 1614-0702
DOI: 10.1007/s11623-023-1748-2
, :
Point to the Hidden: Exposing Speech Audio Splicing via Signal Pointer Nets
Interspeech 2023, 24th Annual Conference of the International Speech Communication Association (Dublin, 20. August 2023 - 24. August 2023)
In: ISCA (Hrsg.): Proc. INTERSPEECH 2023 2023
DOI: 10.21437/Interspeech.2023-996
URL: https://faui1-files.cs.fau.de/public/publications/mmsec/2023-Moussa-Interspeech.pdf
, , , :
An Experimental Assessment of Inconsistencies in Memory Forensics
In: ACM Transactions on Privacy and Security 27 (2023), Art.Nr.: 2
ISSN: 2471-2566
DOI: 10.1145/3628600
, , :
As if Time Had Stopped – Checking Memory Dumps for Quasi-Instantaneous Consistency
Digital Forensics Research Conference USA (DFRWS USA) 2023 (Baltimore, MD, 9. Juli 2023 - 12. Juli 2023)
In: Proceedings of the Digital Forensics Research Conference USA (DFRWS USA) 2023 2023
, , , :
User Acceptance Factors of Usage-Based Insurance
6th International Conference on Intelligent Traffic and Transportation, ICITT 2022 (Paris, FRA, 25. September 2022 - 27. September 2022)
In: Mahmoud Shafik (Hrsg.): Advances in Transdisciplinary Engineering 2023
DOI: 10.3233/ATDE230018
, , , :
Veto: Prohibit Outdated Edge System Software from Booting
9th International Conference on Information Systems Security and Privacy (ICISSP) (Lisbon, 22. Februar 2023 - 24. Februar 2023)
In: In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP) 2023
DOI: 10.5220/0011627700003405
, , :
Messengerdienst-Nachrichten als Beweismittel im Strafverfahren – am Beispiel der Auswertung von WhatsApp-Chats
In: Juristische Rundschau 2023 (2023), S. 366-378
ISSN: 0022-6920
DOI: 10.1515/juru-2023-2051
, , , :
Towards an Empirical Study to Determine the Effectiveness of Support Systems against E-Mail Phishing Attacks
2023 CHI Conference on Human Factors in Computing Systems, CHI 2023 (Hamburg, DEU, 23. April 2023 - 28. April 2023)
In: Conference on Human Factors in Computing Systems - Proceedings 2023
DOI: 10.1145/3544549.3585658
, , :
Benchmarking Probabilistic Deep Learning Methods for License Plate Recognition
In: IEEE Transactions on Intelligent Transportation Systems (2023), S. 1-14
ISSN: 1524-9050
DOI: 10.1109/TITS.2023.3278533
, , , :
On the Trustworthiness of Digital Evidence and How It Can Be Established (Dissertation, 2023)
DOI: 10.25593/open-fau-103
:
Interplay of Security, Privacy and Usability in Videoconferencing
2023 CHI Conference on Human Factors in Computing Systems, CHI 2023 (Hamburg, DEU, 23. April 2023 - 28. April 2023)
In: Conference on Human Factors in Computing Systems - Proceedings 2023
DOI: 10.1145/3544549.3585683
, , :
Lehrstuhl für Informatik 2 (Programmiersysteme)
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs (Best Paper Award)
Proceedings of the 19th International Workshop on OpenMP, IWOMP 2023 (Bristol, GBR, 13. September 2023 - 15. September 2023)
In: Simon McIntosh-Smith, Tom Deakin, Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg (Hrsg.): OpenMP: Advanced Task-Based, Device and Compiler Programming 2023
DOI: 10.1007/978-3-031-40744-4_10
, , :
Multipurpose Cacheing to Accelerate OpenMP Target Regions on FPGAs [Data set]
14114 (2023), S. 147 - 162
ISSN: 0302-9743
DOI: 10.5281/zenodo.8055889
(online publication)
, , :
Visualisierung der Statik, Dynamik und Infrastruktur von Software mit Hilfe der Stadt‐Metapher (Dissertation, 2023)
URL: https://opus4.kobv.de/opus4-fau/files/23373/DissertationVeronikaDashuberPress.pdf
:
Evaluation of (Un-)Supervised Machine-Learning-Based Detection, Classification, and Localization Methods of GNSS Interference in the Real World
In: Proc. Intl. Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+) 2023
, , , , , , :
Practical Flaky Test Prediction using Common Code Evolution and Test History Data
16th IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 (Dublin, 16. April 2023 - 20. April 2023)
In: IEEE (Hrsg.): Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023 2023
DOI: 10.1109/ICST57152.2023.00028
, , , , :
Practical Flaky Test Prediction using Common Code Evolution and Test History Data [replication package]
figshare (2023)
DOI: 10.6084/m9.figshare.21363075
(online publication)
, , , , :
Employing Polyhedral Methods to Reduce Data Movement in FPGA Stencil Codes
Languages and Compilers for Parallel Computing (LCPC 2022) (Chicago, IL, 12. Oktober 2022 - 14. Oktober 2022)
In: Charith Mendis, Lawrence Rauchwerger (Hrsg.): Proc. of the 35rd Intl. Workshop on Languages and Compilers for Parallel Computing (LCPC 2022), Cham: 2023
DOI: 10.1007/978-3-031-31445-2_4
, , :
Benchmarking Visual-Inertial Deep Multimodal Fusion for Relative Pose Regression and Odometry-aided Absolute Pose Regression
(2023), S. 1-29
DOI: 10.48550/arXiv.2208.00919
(Working Paper)
, , , , , , :
Multipath Delay Estimation in Complex Environments using Transformer
13th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Nuremberg, Germany, 25. September 2023 - 28. September 2023)
In: Proc. 13th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2023) 2023
DOI: 10.1109/IPIN57070.2023.10332470
, , , , :
Forschungsdaten Test-Eintrag 1 (weiterer Typ, online, Band) [Data set]
Zenodo (2023)
DOI: 10.5281/zenodo.2558378
URL: https://zenodo.org/record/2558378
(online publication)
:
Forschungsdaten Test-Eintrag 2 (weiterer Typ, anderer, Band) [Data set]
Zenodo (2023)
DOI: 10.5281/zenodo.2558378
URL: https://zenodo.org/record/2558378
(anderer)
:
Uncertainty-based Fingerprinting Model Selection for Radio Localization
13th International Conference on Indoor Positioning and Indoor Navigation (IPIN) (Nuremberg, Germany, 25. September 2023 - 28. September 2023)
In: Proc. 13th International Conference on Indoor Positioning and Indoor Navigation (IPIN 2023) 2023
DOI: 10.1109/IPIN57070.2023.10332531
, , , , :
Indoor Localization with Robust Global Channel Charting: A Time-Distance-Based Approach
In: IEEE Transactions on Machine Learning in Communications and Networking 1 (2023), S. 1-15
ISSN: 2831-316X
DOI: 10.1109/TMLCN.2023.3256964
, , , , :
Low-cost COTS GNSS interference monitoring, detection, and classification system
In: Sensors 23 (2023), S. 1-42
ISSN: 1424-8220
DOI: 10.3390/s23073452
, , , , , , , , :
Lehrstuhl für Informatik 3 (Rechnerarchitektur)
Gamified Network Trace Analysis: An Educational Escape Room to Raise Learners' Awareness of Data Privacy and Data Encryption
15th International Conference on Education and New Learning Technologies (Palma, 3. Juli 2023 - 5. Juli 2023)
DOI: 10.21125/edulearn.2023.1630
:
The Benefits of Continuous Assessment: A Case Study on the Effectiveness of Weekly Online Quizzes in Computer Science Courses
16th International Conference of Education, Research and Innovation (Sevilla, 13. November 2023 - 15. November 2023)
DOI: 10.21125/iceri.2023.1161
URL: https://library.iated.org/view/BAUMEISTER2023BEN
, , :
Analytical performance estimation during code generation on modern GPUs
In: Journal of Parallel and Distributed Computing 173 (2023), S. 152-167
ISSN: 0743-7315
DOI: 10.1016/j.jpdc.2022.11.003
, , , , :
Memristive computing in Germany
In: it - Information Technology (2023)
ISSN: 1611-2776
DOI: 10.1515/itit-2023-0017
:
Heterogeneous Framework Architecture of Specialized Accelerators for Vehicle Sensors
In: AmE 2023 – Automotive meets Electronics; 14. GMM Symposium 2023
URL: https://ieeexplore.ieee.org/abstract/document/10227705
, , :
Implementation of Real-Time Automotive SAR Imaging
2023 20th European Radar Conference (Berlin, 20. September 2023 - 22. September 2023)
DOI: 10.23919/EuRAD58043.2023.10289475
, , , , , , :
Optimizing multi-level ReRAM memory for low latency and low energy consumption
In: it - Information Technology (2023)
ISSN: 1611-2776
DOI: 10.1515/itit-2023-0022
, , , :
Optimization of OLAP In-Memory Database Management Systems with Processing-In-Memory Architecture
36th International Conference on Architecture of Computing Systems, ARCS 2023 (Athens, GRC, 13. Juni 2023 - 15. Juni 2023)
In: Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-42785-5_18
, , :
Work in Progress: Extending Virtual Prototypes of Microprocessor Architectures with Accuracy Tracing
13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (Rome, 12. Juli 2023 - 14. Juli 2023)
In: Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH 2023
DOI: 10.5220/0012131800003546
, :
Most Resource Efficient Matrix Vector Multiplication on FPGAs
In: IEEE Access (2023), S. 1-1
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2023.3234622
, , , , :
A Low-Power Ternary Adder Using Ferroelectric Tunnel Junctions
In: Electronics 12 (2023), Art.Nr.: 1163
ISSN: 2079-9292
DOI: 10.3390/electronics12051163
, , , :
A Reference-less Sense Amplifier to Sense pA Currents in Ferroelectric Tunnel Junction Memories
12th International Conference on Modern Circuits and Systems Technologies, MOCAST 2023 (Athens, 28. Juni 2023 - 30. Juni 2023)
In: 2023 12th International Conference on Modern Circuits and Systems Technologies, MOCAST 2023 - Proceedings 2023
DOI: 10.1109/MOCAST57943.2023.10176774
, , :
Advancing Compilation of DNNs for FPGAs Using Operation Set Architectures
In: IEEE Computer Architecture Letters 22 (2023), S. 9-12
ISSN: 1556-6056
DOI: 10.1109/LCA.2022.3227643
, , , , , :
DOSA: Organic Compilation for Neural Network Inference on Distributed FPGAs
7th IEEE International Conference on Edge Computing and Communications, EDGE 2023 (Hybrid, Chicago, IL, USA, 2. Juli 2023 - 8. Juli 2023)
In: Claudio Ardagna, Feras Awaysheh, Hongyi Bian, Carl K. Chang, Rong N. Chang, Flavia Delicato, Nirmit Desai, Jing Fan, Geoffrey C. Fox, Andrzej Goscinski, Zhi Jin, Anna Kobusinska, Omer Rana (Hrsg.): Proceedings - IEEE International Conference on Edge Computing 2023
DOI: 10.1109/EDGE60047.2023.00019
, , , , , :
The Congenital Cardiology Cloud - Optimizing long-term care by connecting ambulatory and hospital medical attendance via telemedicine
In: Klinische Pädiatrie (2023)
ISSN: 0300-8630
DOI: 10.1055/a-2154-6659
, , , , , , , , , , :
Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)
carbond: An Operating-System Daemon for Carbon Awareness
2nd Workshop on Sustainable Computer Systems, HotCarbon 2023 (Boston, MA, USA, 9. Juli 2023)
In: 2nd Workshop on Sustainable Computer Systems, HotCarbon 2023 2023
DOI: 10.1145/3604930.3605707
, , , , , :
FusionClock: Energy-Optimal Clock-Tree Reconfigurations for Energy-Constrained Real-Time Systems
35th Euromicro Conference on Real-Time Systems (ECRTS '23) (Vienna, Austria)
In: Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS '23) 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.6
, , , :
FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)
In: Dagstuhl Artifacts Series, 2023, S. 2:1--2:3 (Dagstuhl Artifacts Series, Bd.9)
DOI: 10.4230/DARTS.9.1.2
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18023/pdf/DARTS-9-1-2.pdf
(anderer)
, , , :
Micro Replication
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '23) (Porto, Portugal, 27. Juni 2023 - 30. Juni 2023)
In: Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '23) 2023
DOI: 10.1109/DSN58367.2023.00024
, , :
Luci: Loader-based Dynamic Software Updates for Off-the-shelf Shared Objects
2023 USENIX Annual Technical Conference (Boston, MA, 10. Juli 2023 - 12. Juli 2023)
In: 2023 USENIX Annual Technical Conference (USENIX ATC 23) 2023
Open Access: https://www.usenix.org/system/files/atc23-heinloth.pdf
URL: https://www.usenix.org/system/files/atc23-heinloth.pdf
, , :
Generic Checkpointing Support for Stream-based State-Machine Replication
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '23) (Rome, 8. Mai 2023 - 8. Mai 2023)
DOI: 10.1145/3578358.3591329
URL: https://sys.cs.fau.de/publications/2023/lawniczak_23_papoc.pdf
, , :
SEMPAI: a Self-Enhancing Multi-Photon Artificial Intelligence for Prior-Informed Assessment of Muscle Function and Pathology
In: Advanced Science (2023)
ISSN: 2198-3844
DOI: 10.1002/advs.202206319
, , , , , , , , , , , , , , , :
NVall: A Crash-Resistant and Kernel-Compatible Memory Allocator for NVRAM
FG-BS Herbsttreffens 2023 (Bamberg, 28. September 2023 - 29. September 2023)
DOI: 10.18420/fgbs2023h-02
URL: https://dl.gi.de/items/8d0686f6-a88e-4e96-af34-2743d49b99a4
, , , :
Towards Just-In-Time Compiling of Operating Systems
12th Workshop on Programming Languages and Operating Systems (PLOS 2023)
DOI: 10.1145/3623759.3624551
, , , :
Back to the Core-Memory Age: Running Operating Systems in NVRAM only
Architecture of Computing Systems. ARCS 2023 (Athen, 13. Juni 2023 - 15. Juni 2023)
In: Georgios Goumas, Sven Tomforde, Jürgen Brehm, Stefan Wildermann, Thilo Pionteck (Hrsg.): Lecture Notes in Computer Science 2023
DOI: 10.1007/978-3-031-42785-5_11
, , , , , , :
On the Performance of NVRAM-based Operating Systems: A Case Study with Linux and FreeBSD
(2023)
ISSN: 2191-5008
DOI: 10.25593/issn.2191-5008/CS-2023-01
(Techreport)
, , , , , , :
Ecology-Aware Material Use as a Pervasive Trait in Intermittent Real-Time Systems
35th Euromicro Conference on Real-Time Systems, Real-Time Pitches session (Vienna, Austria, 11. Juli 2023 - 14. Mai 2023)
Open Access: https://sys.cs.fau.de/publications/2023/raffeck_23_ecrts-poster.pdf
URL: https://sys.cs.fau.de/publications/2023/raffeck_23_ecrts-poster.pdf
, :
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact)
9 (2023), S. 1:1-1:3
ISSN: 2509-8195
DOI: 10.4230/DARTS.9.1.1
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18022/
(anderer)
, , :
A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems
35th Euromicro Conference on Real-Time Systems (ECRTS 2023) (Vienna, 11. Juli 2023 - 14. Juli 2023)
In: Papadopoulos, Alessandro V. (Hrsg.): 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Dagstuhl, Germany: 2023
DOI: 10.4230/LIPIcs.ECRTS.2023.11
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18040/
, , :
Thread-Level Attack-Surface Reduction
24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2023 (Orlando, FL, USA, 18. Juni 2023)
In: Bernhard Egger, Dongyoon Lee (Hrsg.): Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2023
DOI: 10.1145/3589610.3596281
, , , , :
Veto: Prohibit Outdated Edge System Software from Booting
9th International Conference on Information Systems Security and Privacy (ICISSP) (Lisbon, 22. Februar 2023 - 24. Februar 2023)
In: In Proceedings of the 9th International Conference on Information Systems Security and Privacy (ICISSP) 2023
DOI: 10.5220/0011627700003405
, , :
On energy awareness in NVRAM-based operating systems – NEON and PAVE
In: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (Hrsg.): Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES), 2023, S. 43-44 (Dagstuhl Reports, Bd.Dagstuhl Seminar 22341)
DOI: 10.4230/DagRep.12.8.31
, :
Lehrstuhl für Informatik 5 (Mustererkennung)
Measuring Phonological Precision in Children with Cleft Lip and Palate
24th International Speech Communication Association, Interspeech 2023 (Dublin, 20. August 2023 - 24. August 2023)
In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2023
DOI: 10.21437/Interspeech.2023-2099
, , , , , , :
Robust Hough and Spatial-To-Angular Transform Based Rotation Estimation for Orthopedic X-Ray Images
26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023 (Vancouver, BC, CAN, 8. Oktober 2023 - 12. Oktober 2023)
In: Hayit Greenspan, Hayit Greenspan, Anant Madabhushi, Parvin Mousavi, Septimiu Salcudean, James Duncan, Tanveer Syeda-Mahmood, Russell Taylor (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-43990-2_42
, , , , , :
Classification of stuttering – The ComParE challenge and beyond
In: Computer Speech and Language 81 (2023), Art.Nr.: 101519
ISSN: 0885-2308
DOI: 10.1016/j.csl.2023.101519
, , , , , , , :
Classifying Dementia in the Presence of Depression: A Cross-Corpus Study
24th International Speech Communication Association, Interspeech 2023 (Dublin, IRL, 20. August 2023 - 24. August 2023)
In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2023
DOI: 10.21437/Interspeech.2023-1997
, , , , , , , , , :
Oral-diadochokinesis rates for Spanish, German and Czech: reference values for normotypical adults Diadococinesia oral para el español, el alemán y el checo: valores de referencia para adultos normotípicos
In: Revista de Investigación en Logopedia 13 (2023), Art.Nr.: e85834
ISSN: 2174-5218
DOI: 10.5209/rlog.85834
, , , :
An Automatic Multimodal Approach to Analyze Linguistic and Acoustic Cues on Parkinson's Disease Patients
24th International Speech Communication Association, Interspeech 2023 (Dublin, IRL, 20. August 2023 - 24. August 2023)
In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2023
DOI: 10.21437/Interspeech.2023-2287
, , , , , :
Abstract: Fiducial Marker Recovery and Detection From Severely Truncated Data in Navigation-Assisted Spine Surgery
Bildverarbeitung für die Medizin 2023 (Braunschweig, 2. Juli 2023 - 4. Juli 2023)
In: Deserno, T.M., Handels, H., Maier, A., Maier-Hein, K., Palm, C., Tolxdorff, T. (Hrsg.): Bildverarbeitung für die Medizin 2023, Wiesbaden: 2023
DOI: 10.1007/978-3-658-41657-7_4
URL: https://link.springer.com/chapter/10.1007/978-3-658-41657-7_4
, , , , :
RadarSleepNet: Sleep Pose Classification via PointNet++ and 5D Radar Point Clouds
2023 IEEE Microwaves, Antennas, and Propagation Conference (Ahmedabad, 11. Dezember 2023 - 14. Dezember 2023)
In: 2023 IEEE Microwaves, Antennas, and Propagation Conference (MAPCON), New York City: 2023
DOI: 10.1109/MAPCON58678.2023.10463831
, , , , , , :
Assessment of Handwriting in Patients With Parkinson's Disease Using Non-Intrusive Tasks
20th IEEE International Symposium on Biomedical Imaging, ISBI 2023 (Cartagena, COL, 18. April 2023 - 21. April 2023)
In: Proceedings - International Symposium on Biomedical Imaging 2023
DOI: 10.1109/ISBI53787.2023.10230617
, , , , , , :
Cavity Segmentation in X-ray Microscopy Scans of Mouse Tibiae
Bildverarbeitung für die Medizin Workshop, BVM 2023 (Braunschweig, DEU, 2. Juli 2023 - 4. Juli 2023)
In: Thomas M. Deserno, Heinz Handels, Andreas Maier, Klaus Maier-Hein, Christoph Palm, Thomas Tolxdorff (Hrsg.): Informatik aktuell 2023
DOI: 10.1007/978-3-658-41657-7_56
, , , , , , , , , , , , :
ORCA-SPY enables killer whale sound source simulation, detection, classification and localization using an integrated deep learning-based segmentation
In: Scientific Reports 13 (2023), Art.Nr.: 11106
ISSN: 2045-2322
DOI: 10.1038/s41598-023-38132-7
, , , , , , , , :
ORCA-SPY: Killer Whale Sound Source Simulation and Detection, Classification and Localization in PAMGuard Utilizing Integrated Deep Learning Based Segmentation
In: Scientific Reports UNDER REVIEW (2023)
ISSN: 2045-2322
, , , , , , , , :
SLS-Printed E-Band Waveguides and the Impact of Surface Roughness
European Microwave Conference (EuMC) (Berlin, 17. September 2023 - 22. September 2023)
, , , , , :
AI Makes Medicine More Efficient, Individual and Preventive
Springer Fachmedien Wiesbaden, 2023
ISBN: 9783658402327
DOI: 10.1007/978-3-658-40232-7_33
:
Benchmarking ChatGPT-4 on a radiation oncology in-training exam and Red Journal Gray Zone cases: potentials and challenges for AI-assisted medical education and decision making in radiation oncology
In: Frontiers in Oncology 13 (2023), S. 1-13
ISSN: 2234-943X
DOI: 10.3389/fonc.2023.1265024
, , , , , , , , , , , , , , :
Deep learning for perspective deformation correction in X-ray imaging
In: Radiotherapy and Oncology 182 (2023), S. S1404
ISSN: 0167-8140
DOI: 10.1016/S0167-8140(23)66608-3
, , , , , , , :
Speaking Clearly, Understanding Better: Predicting the L2 Narrative Comprehension of Chinese Bilingual Kindergarten Children Based on Speech Intelligibility Using a Machine Learning Approach
Interspeech 2023 (Dublin, 20. August 2023 - 24. August 2023)
In: Interspeech 2023 2023
DOI: 10.21437/Interspeech.2023-2057
, , , , :
A principled representation of elongated structures using heatmaps
In: Scientific Reports 13 (2023), Art.Nr.: 15253
ISSN: 2045-2322
DOI: 10.1038/s41598-023-41221-2
, , , , , :
Smart forecasting of artifacts in contrast-enhanced breast MRI before contrast agent administration
In: European Radiology (2023)
ISSN: 0938-7994
DOI: 10.1007/s00330-023-10469-7
, , , , , , , , , , , :
Transient Hemodynamics Prediction Using an Efficient Octree-Based Deep Learning Model
28th International Conference on Information Processing in Medical Imaging, IPMI 2023 (San Carlos de Bariloche, 18. Juni 2023 - 23. Juni 2023)
In: Alejandro Frangi, Marleen de Bruijne, Demian Wassermann, Nassir Navab (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-34048-2_15
, , , , , , , , :
SEMPAI: a Self-Enhancing Multi-Photon Artificial Intelligence for Prior-Informed Assessment of Muscle Function and Pathology
In: Advanced Science (2023)
ISSN: 2198-3844
DOI: 10.1002/advs.202206319
, , , , , , , , , , , , , , , :
Deep Learning-assisted delineation of brain metastases: a workflow focusing on AI-expert interaction
ESTRO 2023 (Vienna, 13. Mai 2023 - 16. Mai 2023)
In: ESTRO (Hrsg.): Radiotherapy and Oncology 2023
DOI: 10.1016/S0167-8140(23)08461-X
, , , , , , , , , :
Automatic Assessment of Alzheimer's across Three Languages Using Speech and Language Features
24th International Speech Communication Association, Interspeech 2023 (Dublin, IRL, 20. August 2023 - 24. August 2023)
In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2023
DOI: 10.21437/Interspeech.2023-2079
, , , , , , , , , , , , :
Transferring Quantified Emotion Knowledge for the Detection of Depression in Alzheimer’s Disease Using Forestnets
International Conference on Acoustics, Speech, and Signal Processing (ICASSP) (Rhodes Island, 4. Juni 2023 - 10. Juni 2023)
In: ICASSP 2023 2023
DOI: 10.1109/ICASSP49357.2023.10095219
, , , , , , , , , :
Automatic Pronunciation Assessment of Non-native English Based on Phonological Analysis
Springer Science and Business Media Deutschland GmbH, 2023
ISBN: 9783031404979
DOI: 10.1007/978-3-031-40498-6_30
, , , , , :
Automatic Classification of Hypokinetic and Hyperkinetic Dysarthria based on GMM-Supervectors
24th International Speech Communication Association, Interspeech 2023 (Dublin, IRL, 20. August 2023 - 24. August 2023)
In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2023
DOI: 10.21437/Interspeech.2023-2146
, , , :
Swallowing disorders analysis using surface EMG biomarkers and classification models
In: Digital Signal Processing 133 (2023), Art.Nr.: 103815
ISSN: 1051-2004
DOI: 10.1016/j.dsp.2022.103815
, , :
Analysis of electrophysiological and mechanical dimensions of swallowing by non-invasive biosignals
In: Biomedical Signal Processing and Control 82 (2023), Art.Nr.: 104533
ISSN: 1746-8094
DOI: 10.1016/j.bspc.2022.104533
, , , , :
Performance of Continuous Hydrogen Production from Perhydro Benzyltoluene by Catalytic Distillation and Heat Integration Concepts with a Fuel Cell
In: Energy Technology (2023)
ISSN: 2194-4288
DOI: 10.1002/ente.202201366
, , , , , , , :
Obstacle Fusion and Scene Interpretation for Autonomous Driving with Occupancy Grids (Dissertation, 2023)
URL: https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/21351
:
Coincidence detection and integration behavior in spiking neural networks
In: Cognitive Neurodynamics (2023)
ISSN: 1871-4080
DOI: 10.1007/s11571-023-10038-0
, , , , :
Multi-class Detection of Pathological Speech with Latent Features: How does it perform on unseen data?
24th International Speech Communication Association, Interspeech 2023 (Dublin, IRL, 20. August 2023 - 24. August 2023)
In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2023
DOI: 10.21437/Interspeech.2023-464
, , , , , , :
Impact of Including Pathological Speech in Pre-training on Pathology Detection
TSD 2023: Text, Speech, and Dialogue (Pilsen, 4. September 2023 - 6. September 2023)
In: Kamil Ekštein, František Pártl, Miloslav Konopík (Hrsg.): Text, Speech, and Dialogue, Cham: 2023
DOI: 10.1007/978-3-031-40498-6_13
, , , , , , , , :
Impact of Including Pathological Speech in Pre-training on Pathology Detection
Springer Science and Business Media Deutschland GmbH, 2023
ISBN: 9783031404979
DOI: 10.1007/978-3-031-40498-6_13
, , , , , , , , :
Multi-scanner Canine Cutaneous Squamous Cell Carcinoma Histopathology Dataset
Bildverarbeitung für die Medizin Workshop, BVM 2023 (Braunschweig, 2. Juli 2023 - 4. Juli 2023)
In: Thomas M. Deserno, Heinz Handels, Andreas Maier, Klaus Maier-Hein, Christoph Palm, Thomas Tolxdorff (Hrsg.): Informatik aktuell 2023
DOI: 10.1007/978-3-658-41657-7_46
, , , , , , , , , :
Abstract: Pan-tumor CAnine CuTaneous Cancer Histology (CATCH) Dataset
Bildverarbeitung für die Medizin Workshop, BVM 2023 (Braunschweig, 2. Juli 2023 - 4. Juli 2023)
In: Thomas M. Deserno, Heinz Handels, Andreas Maier, Klaus Maier-Hein, Christoph Palm, Thomas Tolxdorff (Hrsg.): Informatik aktuell 2023
DOI: 10.1007/978-3-658-41657-7_45
, , , , , , , , , , :
Pan-tumor T-lymphocyte detection using deep neural networks: Recommendations for transfer learning in immunohistochemistry
In: Journal of Pathology Informatics 14 (2023), Art.Nr.: 100301
ISSN: 2229-5089
DOI: 10.1016/j.jpi.2023.100301
, , , , , , , , , , :
Multi-Modal Biomarker Extraction Framework for Therapy Monitoring of Social Anxiety and Depression Using Audio and Video
International Conference on Machine Learning (Workshop on Machine Learning for Multimodal Healthcare) (Hawaii Convention Center, 1801 Kalākaua Ave, Honolulu, HI 96815, United States, 29. Juli 2023 - 29. Juli 2023)
In: International Conference on Machine Learning (Workshop on Machine Learning for Multimodal Healthcare) 2023
, , , , , , , :
Road to Net Zero. Strategic Pathways for Sustainability-Driven Business Transformation.
Cham: 2023
ISBN: 9783031422232
DOI: 10.1007/978-3-031-42224-9
, , , , , , (Hrsg.):
Lehrstuhl für Informatik 6 (Datenmanagement)
The Evolution of LeanStore
2023 Datenbanksysteme fur Business, Technologie und Web, BTW 2023 - 2023 Database Systems for Business, Technology and Web, BTW 2023 (Dresden, DEU, 6. März 2023 - 10. März 2023)
In: Birgitta Konig-Ries, Stefanie Scherzinger, Wolfgang Lehner, Gottfried Vossen (Hrsg.): Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) 2023
DOI: 10.18420/BTW2023-13
, , :
Scalable and Robust Snapshot Isolation for High-Performance Storage Engines
In: Proceedings of the VLDB Endowment 16 (2023), S. 1426-1438
ISSN: 2150-8097
DOI: 10.14778/3583140.3583157
, :
SKYSHARK: A Benchmark with Real-world Data for Line-rate Stream Processing with FPGAs
Lernen, Wissen, Daten, Analysen (LWDA) (Marburg, 9. Oktober 2023 - 11. Oktober 2023)
In: Leyer M, Wichmann J (Hrsg.): Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Marburg, Germany, October 9-11, 2023 2023
Open Access: https://ceur-ws.org/Vol-3630/LWDA2023-paper9.pdf
URL: https://ceur-ws.org/Vol-3630/LWDA2023-paper9.pdf
, , :
Write-Aware Timestamp Tracking: Effective and Efficient Page Replacement for Modern Hardware
49th International Conference on Very Large Data Bases (Vancouver, 28. August 2023 - 1. September 2023)
In: VLDB Endownment (Hrsg.): Proceedings of the VLDB Endowment 2023
DOI: 10.14778/3611479.3611529
URL: https://leanstore.io
, :
Cloud Analytics Benchmark
In: Proceedings of the VLDB Endowment 16 (2023), S. 1413-1425
ISSN: 2150-8097
DOI: 10.14778/3583140.3583156
, :
Lehrstuhl für Informatik 7 (Rechnernetze und Kommunikationssysteme)
Multipath TCP for Short Flows Supported by SDN in Heterogeneous Networks
8th International Conference on Computer and Communication Systems, ICCCS 2023 (Hybrid, Guangzhou, CHN, 21. April 2023 - 24. April 2023)
In: 2023 8th International Conference on Computer and Communication Systems, ICCCS 2023 2023
DOI: 10.1109/ICCCS57501.2023.10150613
, , , , , :
Estimating the Influence of SDN Controller Intervention on Smart Grid Services
2023 IEEE Green Energy and Smart Systems Conference, IGESSC 2023 (Long Beach, CA, 13. November 2023 - 14. November 2023)
In: 2023 IEEE Green Energy and Smart Systems Conference, IGESSC 2023 2023
DOI: 10.1109/IGESSC59090.2023.10321752
, , , :
Optimization of Bandwidth Utilization and Gate Control List Configuration in 802.1Qbv Networks
In: IEEE Access (2023), S. 1-1
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2023.3324957
, , :
Joint Task and Flow Scheduling for Time-Triggered and Strict-Priority Networks
2023 International Conference on Computing, Networking and Communications (ICNC) (Honolulu, HI, 20. Februar 2023 - 23. Februar 2023)
In: 2023 International Conference on Computing, Networking and Communications (ICNC) 2023
DOI: 10.1109/ICNC57223.2023.10074288
URL: https://ieeexplore.ieee.org/document/10074288
, , , , :
Methodology and Performance Assessment of Three-Dimensional Vehicular Ad-Hoc Network Simulation
In: IEEE Access 11 (2023), S. 36349-36364
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2023.3264668
, , :
CUBIC Local Loss Recovery vs. BBR on (Satellite) Internet Paths
29th IEEE International Symposium on Local and Metropolitan Area Networks, LANMAN 2023 (London, 10. Juli 2023 - 11. Juli 2023)
In: IEEE Workshop on Local and Metropolitan Area Networks 2023
DOI: 10.1109/LANMAN58293.2023.10189417
, , :
Internet via Satellite: GEO vs. LEO, OpenVPN vs. Wireguard, and CUBIC vs. BBR
SatCom '23: 1st ACM MobiCom Workshop on Satellite Networking and Computing (Madrid, 6. Oktober 2023 - 6. Oktober 2023)
In: Proceedings of the 1st ACM MobiCom Workshop on Satellite Networking and Computing, New York: 2023
DOI: 10.1145/3614454.3622998
, , , :
Towards Synthesizing Datasets for IEEE 802.1 Time-sensitive Networking
(2023)
DOI: 10.48550/arXiv.2308.10255
(anderer)
, , , , :
Evaluating Optimistic Synchronization of Network Graphs in Mobile Networks With MEC Support
IEEE International Conference on Cloud Networking (CLOUDNET) 2023 (Hoboken, New Jersey, USA, 1. November 2023 - 3. November 2023)
DOI: 10.1109/CloudNet59005.2023.10490031
, , :
Unraveling the role of adapting risk perception during the COVID-19 pandemic in Europe
In: Chaos Solitons & Fractals 177 (2023), Art.Nr.: 114264
ISSN: 0960-0779
DOI: 10.1016/j.chaos.2023.114264
, :
The demand potential of shared autonomous vehicles: a large-scale simulation using mobility survey data
In: Journal of Intelligent Transportation Systems (2023)
ISSN: 1547-2450
DOI: 10.1080/15472450.2023.2205021
, , , :
Performance of the QUIC Transport Protocol over Geostationary Satellite Links
40th International Communications Satellite Systems Conference (ICSSC 2023) (Bradford, 24. Oktober 2023 - 26. Oktober 2023)
In: 40th International Communications Satellite Systems Conference (ICSSC 2023) 2023
DOI: 10.1049/icp.2024.0851
URL: https://ieeexplore.ieee.org/document/10572049
, , , :
Redundant Sensor-Based Perception Sensor Reliability Estimation from Field Tests without Reference Truth
In: SAE Technical Papers (2023)
ISSN: 0148-7191
DOI: 10.4271/2023-01-5078
, , , , :
Combining Static and Dynamic Traffic with Delay Guarantees in Time-Sensitive Networking
ValueTools 2023 – International Conference on Performance Evaluation Methodologies and Tools (Heraklion, 6. September 2023 - 7. September 2023)
, , :
On the Validity of Credit-Based Shaper Delay Guarantees in Decentralized Reservation Protocols
31st International Conference on Real-Time Networks and Systems, RTNS 2023 (Dortmund, DEU, 7. Juni 2023 - 8. Juni 2023)
In: ACM International Conference Proceeding Series 2023
DOI: 10.1145/3575757.3593644
, , , , :
Towards a 5G Satellite Communication Framework for V2X
Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23) (Würzburg, 28. Juni 2023 - 30. Juni 2023)
In: Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23), Würzburg: 2023
DOI: 10.25972/OPUS-32214
URL: https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/32214
, , , :
Multiple DCLC Routing Algorithms for Ultra-Reliable and Time-Sensitive Applications
In: KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS’23) 2023
DOI: 10.25972/OPUS-32217
, , :
Enhancing Vehicular Cooperative Downloading with Continuous Seeding through Deep Reinforcement Learning
2023 IEEE Latin-American Conference on Communications (LATINCOM) (Panama-Stadt, Panama, 15. November 2023 - 17. November 2023)
DOI: 10.1109/LATINCOM59467.2023.10361894
, , :
On the Benefits of Opportunistic WiFi in Cooperative Downloading
2023 IEEE 97th Vehicular Technology Conference (Florenz, 20. Juni 2023 - 23. Juni 2023)
In: 2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring) 2023
DOI: 10.1109/VTC2023-Spring57618.2023.10200187
, , , :
Transparency and Involvement of the Energy-Related Industry in a Data Sharing Platform
1st Conference on Research Data Infrastructure (CoRDI) - Connecting Communities (Karlsruhe, 12. September 2023 - 14. September 2023)
In: Vol. 1 (2023): 1st Conference on Research Data Infrastructure (CoRDI) - Connecting Communities 2023
DOI: 10.52825/cordi.v1i.270
, , , , , :
Wasserstoff in der Metropolregion Nürnberg – Analyse der Kompetenzen, Chancen und Herausforderungen
(2023)
DOI: 10.5281/zenodo.7628146
(Techreport)
, , , , , , , , , , , , , , :
Improved sensor error definitions for reliability analysis of multi-sensor systems
The 7th International Conference on System Reliability and Safety (Bologna, 22. November 2023 - 24. November 2023)
, , , :
Lehrstuhl für Informatik 8 (Theoretische Informatik)
On Kripke, Vietoris and Hausdorff Polynomial Functors
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023 (Bloomington, IN, 19. Juni 2023 - 21. Juni 2023)
In: Paolo Baldan, Valeria de Paiva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CALCO.2023.21
, , :
Nominal Topology for Data Languages
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023 (Paderborn, 10. Juli 2023 - 14. Juli 2023)
In: Kousha Etessami, Uriel Feige, Gabriele Puppis (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.ICALP.2023.114
, , :
Weighted and Branching Bisimilarities from Generalized Open Maps
26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 (Paris, 22. April 2023 - 27. April 2023)
In: Orna Kupferman, Pawel Sobocinski (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-30829-1_15
, :
Quantitative Hennessy-Milner Theorems via Notions of Density
31st EACSL Annual Conference on Computer Science Logic, CSL 2023 (Warsaw, 13. Februar 2023 - 16. Februar 2023)
In: Bartek Klin, Elaine Pimentel (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CSL.2023.22
, , , , , :
Positive Data Languages
In: LIPIcs : Leibniz International Proceedings in Informatics 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) (2023), S. 48:1-48:15
ISSN: 1868-8969
DOI: 10.4230/LIPIcs.MFCS.2023.48
URL: https://drops.dagstuhl.de/opus/volltexte/2023/18582
, , :
Representing Guardedness in Call-By-Value
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023 (Rome, 3. Juli 2023 - 6. Juli 2023)
In: Marco Gaboardi, Femke van Raamsdonk (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.FSCD.2023.34
:
Shades of Iteration: From Elgot to Kleene
26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 (Aveiro, PRT, 28. Juni 2022 - 30. Juni 2022)
In: Alexandre Madeira, Manuel A. Martins (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-43345-0_5
:
A point-free perspective on lax extensions and predicate liftings
In: Mathematical Structures in Computer Science (2023)
ISSN: 0960-1295
DOI: 10.1017/S096012952300035X
, , , , :
Kantorovich Functors and Characteristic Logics for Behavioural Distances
26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, held as part of the 26th European Joint Conferences on Theory and Practice of Software, ETAPS 2023 (Paris, FRA, 22. April 2023 - 27. April 2023)
In: Orna Kupferman, Pawel Sobocinski (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-30829-1_3
, , , , :
Higher-Order Mathematical Operational Semantics
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023 (Bloomington, IN, USA, 19. Juni 2023 - 21. Juni 2023)
In: Paolo Baldan, Valeria de Paiva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CALCO.2023.24
, , , , :
Towards a Higher-Order Mathematical Operational Semantics
In: Proceedings of the ACM on Programming Languages 7 (2023), S. 632-658
ISSN: 2475-1421
DOI: 10.1145/3571215
, , , , :
A Formal Treatment of Expressiveness and Relevance of Digital Evidence
In: Digital Threats: Research and Practice (2023)
ISSN: 2576-5337
DOI: 10.1145/3608485
, :
Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction
Digital Forensics Research Conference Europe (DFRWS EU 2023) (Bonn, 21. März 2023 - 24. März 2023)
In: Edita Bajramovic and Ricardo J. Rodríguez (Hrsg.): Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU) 2023
Open Access: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
URL: https://dfrws.org/wp-content/uploads/2023/03/2023-03-20_formal-verification-of-ne-se_gruber_dfrws-proc.pdf
, , , :
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29 (Rome, 1. Juli 2023 - 4. Juli 2023)
In: Brigitte Pientka, Cesare Tinelli (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-38499-8_14
, , , , , :
Duality theory for enriched Priestley spaces
In: Journal of Pure and Applied Algebra 227 (2023), Art.Nr.: 107231
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2022.107231
, :
Common Knowledge of Abstract Groups
Thirty-Seventh AAAI Conference on Artificial Intelligence Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence Thirteenth Symposium on Educational Advances in Artificial Intelligence (Washington DC, 7. Februar 2023 - 14. Februar 2023)
DOI: 10.1609/aaai.v37i5.25791
, :
CRDTs, Coalgebraically
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023 (Bloomington, IN, USA, 19. Juni 2023 - 21. Juni 2023)
In: Paolo Baldan, Valeria de Paiva (Hrsg.): Leibniz International Proceedings in Informatics, LIPIcs 2023
DOI: 10.4230/LIPIcs.CALCO.2023.22
, , , :
As if Time Had Stopped – Checking Memory Dumps for Quasi-Instantaneous Consistency
Digital Forensics Research Conference USA (DFRWS USA) 2023 (Baltimore, MD, 9. Juli 2023 - 12. Juli 2023)
In: Proceedings of the Digital Forensics Research Conference USA (DFRWS USA) 2023 2023
, , , :
Morphism Equality in Theory Graphs
Proceedings of the 16th Conference on Intelligent Computer Mathematics, CICM 2023 (Cambridge, GBR, 5. September 2023 - 8. September 2023)
In: Catherine Dubois, Manfred Kerber (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-42753-4_12
, :
Weak Similarity in Higher-Order Mathematical Operational Semantics
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023 (Boston, MA, USA, 26. Juni 2023 - 29. Juni 2023)
In: Proceedings - Symposium on Logic in Computer Science 2023
DOI: 10.1109/LICS56636.2023.10175706
, , , , :
Lehrstuhl für Informatik 9 (Graphische Datenverarbeitung)
3D segmentation of plant root systems using spatial pyramid pooling and locally adaptive field-of-view inference
In: Frontiers in Plant Science 14 (2023), Art.Nr.: 1120189
ISSN: 1664-462X
DOI: 10.3389/fpls.2023.1120189
, , , , , , :
A Realistic Radar Ray Tracing Simulator for Hand Pose Imaging
EuRAD 2023 (Berlin)
, , , , , :
An Ultra-Efficient Approach for High-Resolution MIMO Radar Imaging of Human Hand Poses
In: IEEE Transactions on Radar Systems (2023), S. 1-13
ISSN: 2832-7357
DOI: 10.1109/TRS.2023.3309574
, , , , , , :
Deep Learning by Domain Transfer for Early Tumor Detection in the Urinary Bladder
In: Current Directions in Biomedical Engineering 9 (2023), S. 53-56
ISSN: 2364-5504
DOI: 10.1515/cdbme-2023-1014
, , , , , , :
LiveNVS: Neural View Synthesis on Live RGB-D Streams
Siggraph Asia 2023 (Sydney, 12. Dezember 2023 - 15. Dezember 2023)
In: ACM (Hrsg.): Siggraph Asia 2023 Proceedings 2023
URL: https://arxiv.org/abs/2311.16668
, , , , :
Efficient Rendering for Light Field Displays using Tailored Projective Mappings
In: Proceedings of the ACM on Computer Graphics and Interactive Techniques 6 (2023), Art.Nr.: 3
ISSN: 2577-6193
DOI: 10.1145/3585498
, , , :
VET: Visual Error Tomography for Point Cloud Completion and High-Quality Neural Rendering
Siggraph Asia 2023 (Sydney, 12. Dezember 2023 - 15. Dezember 2023)
In: ACM SIGGRAPH Asia 2023 Conference Proceedings 2023
DOI: 10.1145/3610548.3618212
URL: https://www.lgdv.tf.fau.de/?p=2638
, , , , :
Light field processing for media applications
In: Immersive Video Technologies, Elsevier, 2023, S. 227--264
, , , , , , , , :
Comparing ensemble methods combined with different aggregating models using micrograph cell segmentation as an initial application example
In: Journal of Pathology Informatics 14 (2023), Art.Nr.: 100304
ISSN: 2229-5089
DOI: 10.1016/j.jpi.2023.100304
, , , , , , , :
Inovis: Instant Novel-View Synthesis
SIGGRAPH Asia 2023 Sydney (Sydney, 12. Dezember 2023 - 15. Dezember 2023)
In: Association for Computing Machinery (Hrsg.): ACM SIGGRAPH Asia 2023 Conference Proceedings 2023
DOI: 10.1145/3610548.3618216
URL: https://reality.tf.fau.de/publications/2023/harrerfranke2023inovis
, , , , :
Lymph node metastases detection in Whole Slide Images using prototypical patterns and transformer-guided multiple instance learning
In: Current Directions in Biomedical Engineering 9 (2023), S. 166-169
ISSN: 2364-5504
DOI: 10.1515/cdbme-2023-1042
, , , , , , , , :
Joint Segmentation and Sub-pixel Localization in Structured Light Laryngoscopy
26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023 (Vancouver, BC, 8. Oktober 2023 - 12. Oktober 2023)
In: Hayit Greenspan, Hayit Greenspan, Anant Madabhushi, Parvin Mousavi, Septimiu Salcudean, James Duncan, Tanveer Syeda-Mahmood, Russell Taylor (Hrsg.): Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2023
DOI: 10.1007/978-3-031-43987-2_4
, , , :
Joint Neural Denoising of Surfaces and Volumes
ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games (Bellevue, WA, United States, 3. Mai 2023 - 5. Mai 2023)
In: Proceedings of the ACM on Computer Graphics and Interactive Techniques 2023
DOI: 10.1145/3585497
URL: https://research.nvidia.com/publication/2023-03_joint-neural-denoising-surfaces-and-volumes
, , :
Identification of Surgical Instruments Using a Low Frequency Magnetic Field
In: Current Directions in Biomedical Engineering 9 (2023), S. 57-60
ISSN: 2364-5504
DOI: 10.1515/cdbme-2023-1015
, , :
Magnifying Augmented Mirrors for Accurate Alignment Tasks
2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2023 (Shanghai, CHN, 25. März 2023 - 29. März 2023)
In: Proceedings - 2023 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2023 2023
DOI: 10.1109/VRW58643.2023.00185
, , , , , , :
Injured Avatars: The Impact of Embodied Anatomies and Virtual Injuries on Well-being and Performance
In: IEEE Transactions on Visualization and Computer Graphics (2023), S. 1-11
ISSN: 1077-2626
DOI: 10.1109/TVCG.2023.3320224
, , , , , :
Robust Model-based Face Reconstruction through Weakly-Supervised Outlier Segmentation
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 (Vancouver, BC, 18. Juni 2023 - 22. Juni 2023)
In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition 2023
DOI: 10.1109/CVPR52729.2023.00044
, , , , :
GAN-Based LiDAR Intensity Simulation
Proceedings of the 4th International Conference on Deep Learning Theory and Applications, DeLTA 2023 (Rome, ITA, 13. Juli 2023 - 14. Juli 2023)
In: Donatello Conte, Ana Fred, Oleg Gusikhin, Carlo Sansone (Hrsg.): Communications in Computer and Information Science 2023
DOI: 10.1007/978-3-031-39059-3_28
, , , :
For5G: Systematic approach for creating digital twins of cherry orchards
43. GIL-Jahrestagung, Resiliente Agri-Food-Systeme (Osnabrück, Germany, 13. Februar 2023 - 14. Februar 2023)
In: 43. GIL-Jahrestagung, Resiliente Agri-Food-Systeme, Bonn: 2023
URL: https://dl.gi.de/items/2dc43956-e3e5-4f72-8608-032e41b542fc
, , , , , , , , , , :
DeNos22: A Pipeline to Learn Object Tracking Using Simulated Depth
Proceedings of the 18th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 5: VISAPP, (Lisbon, 19. Februar 2023 - 21. Februar 2023)
In: Volume 5: VISAPP, 2023
DOI: 10.5220/0011635100003417
, , , , :
Exploring the Capabilities of a Language Model-Only Approach for Depression Detection in Text Data
IEEE EMBS International Conference on Biomedical and Health Informatics (BHI) 2023 (Pittsburgh, PA, USA, 15. Oktober 2023 - 18. Oktober 2023)
In: IEEE EMBS International Conference on Biomedical and Health Informatics (BHI) 2023
DOI: 10.1109/BHI58575.2023.10313367
URL: https://ieeexplore.ieee.org/document/10313367
, , , , , , , , :
Das Modellprojekt "Pflege 2030" - in Echtzeit
In: Pflege Zeitschrift 76 (2023), S. 10-13
ISSN: 0945-1129
DOI: 10.1007/s41906-023-2026-5
, , , :
Behind the Complex Interplay of Phonation: Investigating Elasticity of Vocal Folds With Pipette Aspiration Technique During Ex Vivo Phonation Experiments
In: Journal of Voice (2023)
ISSN: 0892-1997
DOI: 10.1016/j.jvoice.2023.03.001
, , , , , , :
Achieving Efficient and Realistic Full-Radar Simulations and Automatic Data Annotation by Exploiting Ray Meta Data from a Radar Ray Tracing Simulator
2023 IEEE Radar Conference (RadarConf23) (2023 IEEE Radar Conference (RadarConf23). San Antonio, TX, US, 21. Juni 2023 - 26. Juni 2023)
In: Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) (Grant Number: 44241933) (Hrsg.): IEEE Xplore 2023
DOI: 10.1109/RadarConf2351548.2023.10149641
, , , , , , :
BOSS: Bones, organs and skin shape model
In: Computers in Biology and Medicine 165 (2023), Art.Nr.: 107383
ISSN: 0010-4825
DOI: 10.1016/j.compbiomed.2023.107383
, , , , , , :
PLIKS: A Pseudo-Linear Inverse Kinematic Solver for 3D Human Body Estimation
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023 (Vancouver, BC, 18. Juni 2023 - 22. Juni 2023)
In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition 2023
DOI: 10.1109/CVPR52729.2023.00063
, , , , , , :
State of the Art in Dense Monocular Non-Rigid 3D Reconstruction
In: Computer Graphics Forum 42 (2023), S. 485-520
ISSN: 0167-7055
DOI: 10.1111/cgf.14774
, , , , , , , , , :
Markerless RGB-D Hand Pose Estimation for Activity Monitoring of Musculoskeletal Diseases
IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI’23) (Pittsburgh, USA, 15. Oktober 2023 - 18. Oktober 2023)
, , , , , , , , , , :
ShaRPy: Shape Reconstruction and Hand Pose Estimation from RGB-D with Uncertainty
International Conference on Computer Vision (ICCV) Workshops (Paris, 2. Oktober 2023 - 6. Oktober 2023)
In: Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) Workshops 2023
Open Access: https://openaccess.thecvf.com/content/ICCV2023W/CVAMD/html/Wirth_ShaRPy_Shape_Reconstruction_and_Hand_Pose_Estimation_from_RGB-D_with_ICCVW_2023_paper.html
, , , , , , , , , , :
Lehrstuhl für Informatik 10 (Systemsimulation)
Shallow Water DG Simulations on FPGAs: Design and Comparison of a Novel Code Generation Pipeline
High Performance Computing 38th International Conference, ISC High Performance 2023 (Hamburg, 21. Mai 2023 - 25. Mai 2023)
In: High Performance Computing. ISC High Performance 2023, Cham: 2023
DOI: 10.1007/978-3-031-32041-5_5
, , , , , , , , :
Generating Coupling Interfaces for Multiphysics Simulations with ExaStencils and waLBerla
International Parallel and Distributed Processing Symposium (IPDPS) (St. Petersburg, Florida USA, 15. Mai 2023 - 19. Mai 2023)
In: 2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Los Alamitos, CA, USA: 2023
DOI: 10.1109/IPDPSW59300.2023.00112
URL: https://ieeexplore.ieee.org/document/10196550
, , :
Solver comparison for Poisson-like equations on tokamak geometries
In: Journal of Computational Physics 488 (2023), S. 112249
ISSN: 0021-9991
DOI: 10.1016/j.jcp.2023.112249
, , , , , , , , , :
Detectron2 for Lesion Detection in Diabetic Retinopathy
In: Algorithms 16 (2023), Art.Nr.: 147
ISSN: 1999-4893
DOI: 10.3390/a16030147
, :
Self-supervised machine learning pushes the sensitivity limit in label-free detection of single proteins below 10 kDa
In: Nature methods (2023)
ISSN: 1548-7105
DOI: 10.1038/s41592-023-01778-2
, , , , :
Analytical performance estimation during code generation on modern GPUs
In: Journal of Parallel and Distributed Computing 173 (2023), S. 152-167
ISSN: 0743-7315
DOI: 10.1016/j.jpdc.2022.11.003
, , , , :
Discontinuous Galerkin method for the shallow water equations on complex domains using masked block-structured grids
In: Advances in Water Resources 182 (2023), Art.Nr.: 104584
ISSN: 0309-1708
DOI: 10.1016/j.advwatres.2023.104584
, , , , , :
Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods
In: SIAM Journal on Scientific Computing 45 (2023), S. C233-C254
ISSN: 1064-8275
DOI: 10.1137/22M1531348
, , :
Scalable Flow Simulations with the Lattice Boltzmann Method
20th ACM International Conference on Computing Frontiers, CF 2023 (Bologna, 9. Mai 2023 - 11. Mai 2023)
In: Proceedings of the 20th ACM International Conference on Computing Frontiers 2023, CF 2023 2023
DOI: 10.1145/3587135.3592176
, , , , , , , , , :
Efficient and scalable sediment transport simulations in waLBerla
GESINUS-Treffen (Bundesanstalt für Wasserbau, Karlsruhe, 17. Juli 2023 - 18. Juli 2023)
:
Walberla: a Multi-Physics Open-Source Software Framework for Scalable and Efficient CFD
SIAM Conference on Computational Science and Engineering (Amsterdam, 26. Februar 2023 - 3. März 2023)
, :
Geometrically Resolved Simulation of Upstream Migrating Antidune Formation and Propagation
40th IAHR World Congres (Wien, 21. August 2023 - 25. August 2023)
, , , , , , , :
Fundamental data structures for matrix-free finite elements on hybrid tetrahedral grids
In: International Journal of Parallel, Emergent and Distributed Systems (2023)
ISSN: 1744-5760
DOI: 10.1080/17445760.2023.2266875
, , , :
Evolving Nonlinear Multigrid Methods With Grammar-Guided Genetic Programming
2023 Genetic and Evolutionary Computation Conference Companion, GECCO 2023 Companion (Lisbon, PRT, 15. Juli 2023 - 19. Juli 2023)
In: GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion 2023
DOI: 10.1145/3583133.3590734
, , :
Design and route optimisation for an airship with onboard solar energy harvesting
In: International Journal of Sustainable Energy 42 (2023), S. 289-303
ISSN: 1478-6451
DOI: 10.1080/14786451.2023.2189488
, , :
MD-Bench: A Generic Proxy-App Toolbox for State-of-the-Art Molecular Dynamics Algorithms
In: Parallel Processing and Applied Mathematics. PPAM 2022., Springer, Cham, 2023, S. 321-332 (Lecture Notes in Computer Science (LNCS), Bd.13826)
ISBN: 978-3-031-30441-5
DOI: 10.1007/978-3-031-30442-2_24
, , , :
MD-Bench: A performance-focused prototyping harness for state-of-the-art short-range molecular dynamics algorithms
In: Future Generation Computer Systems-The International Journal of Grid Computing Theory Methods and Applications (2023)
ISSN: 0167-739X
DOI: 10.1016/j.future.2023.06.023
, , , , , :
MD-Bench: A performance-focused prototyping harness for state-of-the-art short-range molecular dynamics algorithms
In: Future Generation Computer Systems-The International Journal of Grid Computing Theory Methods and Applications 149 (2023), S. 25-38
ISSN: 0167-739X
DOI: 10.1016/j.future.2023.06.023
, , , , , :
On the use of packing models for the prediction of fluvial sediment porosity
In: Earth Surface Dynamics 11 (2023), S. 1097-1115
ISSN: 2196-6311
DOI: 10.5194/esurf-11-1097-2023
, , , , :
Particle laden flows around a circular cylinder from the hydrodynamic to granular regime
In: International Journal of Multiphase Flow 165 (2023), Art.Nr.: 104487
ISSN: 0301-9322
DOI: 10.1016/j.ijmultiphaseflow.2023.104487
, , :
Comparison of free-surface and conservative Allen–Cahn phase-field lattice Boltzmann method
In: Journal of Computational Physics 473 (2023), Art.Nr.: 111753
ISSN: 0021-9991
DOI: 10.1016/j.jcp.2022.111753
, , , , , :
Particle-resolved simulation of antidunes in free-surface flows
In: Journal of Fluid Mechanics 961 (2023), S. R1
ISSN: 0022-1120
DOI: 10.1017/jfm.2023.262
, , , , , , , :
Particle-resolved simulations of antidune migration in supercritical flows
EGU General Assembly (Wien, 23. April 2023 - 28. April 2023)
URL: https://www10.cs.fau.de/publications/posters/2023/Kemmler_EGU_2023.pdf
, , , , , , , :
Analysis and comparison of boundary condition variants in the free‐surface lattice Boltzmann method
In: International Journal For Numerical Methods in Fluids (2023)
ISSN: 0271-2091
DOI: 10.1002/fld.5173
, :
Model-Based Performance Analysis of the HyTeG Finite Element Framework
DOI: 10.1145/3592979.3593422
, :
Lehrstuhl für Informatik 11 (Software-Engineering)
Es wurden leider keine Publikationen gefunden.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Artificial Intelligence for Molecular Communication
In: it - Information Technology (2023)
ISSN: 1611-2776
DOI: 10.1515/itit-2023-0029
, , :
Special Issue on Approximate Computing: Challenges, Methodologies, Algorithms, and Architectures for Dependable and Secure Systems
In: IEEE Design & Test 40 (2023), S. 5-7
ISSN: 2168-2356
DOI: 10.1109/MDAT.2022.3221909
, , , , :
Reduction of Mobile Device Modem Energy via Adapative and Power-efficient Hybrid Online/Offline Grant Prediction for the Protocol Standards LTE and 5G (Dissertation, 2023)
URL: https://nbn-resolving.org/urn:nbn:de:bvb:29-opus4-233190
:
microYOLO: Towards Single-Shot Object Detection on Microcontrollers
4th Workshop on IoT, Edge, and Mobile for Embedded Machine Learning (ITEM) (Torino, 18. September 2023 - 22. September 2023)
Open Access: https://arxiv.org/abs/2408.15865
, , :
Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen MBMV’23 (Freiburg, 23. März 2023 - 24. März 2023)
In: VDE (Hrsg.): MBMV 2023; 26th Workshop 2023
Open Access: https://arxiv.org/abs/2205.10369
URL: https://ieeexplore.ieee.org/document/10173060
, , , :
RAVEN: Reinforcement Learning for Generating Verifiable Run-time Requirement Enforcers for MPSoCs
Workshop on Next Generation Real-Time Embedded Systems Co-located with HiPEAC 2023 (Toulouse, 18. Januar 2023 - 18. Januar 2023)
In: Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), Dagstuhl, Germany: 2023
DOI: 10.4230/OASIcs.NG-RES.2023.7
URL: https://drops.dagstuhl.de/opus/volltexte/2023/17738
, , , , :
Automatic Synthesis of FSMs for Enforcing Non-Functional Requirements on MPSoCs Using Multi-Objective Evolutionary Algorithms
In: ACM Transactions on Design Automation of Electronic Systems 28 (2023), S. 1-20
ISSN: 1084-4309
DOI: 10.1145/3617832
, , :
An FPGA Avro Parser Generator for Accelerated Data Stream Processing
2nd Workshop on Novel Data Management Ideas on Heterogeneous (Co-)Processors (NoDMC) (Dresden, 6. März 2023 - 10. März 2023)
In: Proceedings of the 2nd Workshop on Novel Data Management Ideas on Heterogeneous (Co-)Processors (NoDMC) 2023
DOI: 10.18420/BTW2023-46
, , , :
SPEAR-JSON: Selective parsing of JSON to enable accelerated stream processing on FPGAs
International Conference on Field-Programmable Logic and Applications (FPL) (Göteborg, 4. September 2023 - 8. September 2023)
In: IEEE Proceedings of the 33rd International Conference on Field-Programmable Logic and Applications 2023
DOI: 10.1109/FPL60245.2023.00034
, , :
Fast Approximate AIG-Based Synthesis
In: Rolf Drechsler, Sebastian Huhn (Hrsg.): Advanced Boolean Techniques, Springer, 2023, S. 17 -- 32
ISBN: 978-3-031-28915-6
DOI: 10.1007/978-3-031-28916-3
, :
Special Session - Non-Volatile Memories: Challenges and Opportunities for Embedded System Architectures with Focus on Machine Learning Applications
International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES) (HAMBURG, 18. September 2023 - 20. September 2023)
In: Proceedings of the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES) 2023
, , , , , , , , , , , , , , , :
Throughput and Memory Optimization for Parallel Implementations of Dataflow Networks using Multi-Reader Buffers
Fourth Workshop on Next Generation Real-Time Embedded Systems (Toulouse, 18. Januar 2023 - 18. Januar 2023)
In: Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), Germany: 2023
DOI: 10.4230/OASIcs.NG-RES.2023.6
URL: https://drops.dagstuhl.de/opus/volltexte/2023/17737/
, , :
To Spike or Not to Spike? A Quantitative Comparison of SNN and CNN FPGA Implementations
(2023)
Open Access: https://arxiv.org/abs/2306.12742
URL: https://arxiv.org/abs/2306.12742
(online publication)
, , , :
Efficient Table-based Function Approximation on FPGAs using Interval Splitting and BRAM Instantiation
In: ACM Transactions on Embedded Computing Systems 22 (2023), S. 1-24
ISSN: 1539-9087
DOI: 10.1145/3580737
, , :
Robust and Tiny Binary Neural Networks using Gradient-based Explainability Methods
EuroMLSys '23: Proceedings of the 3rd Workshop on Machine Learning and Systems (Rome, Italy, 8. Mai 2023 - 8. Mai 2023)
In: Eiko Yoneki, Luigi Nardi (Hrsg.): EuroMLSys '23: Proceedings of the 3rd Workshop on Machine Learning and System, New York(NY) United States: 2023
DOI: 10.1145/3578356.3592595
URL: https://dl.acm.org/doi/10.1145/3578356.3592595
, , , , :
Seque: Lean and Energy-aware Data Management for IoT Gateways
IEEE International Conference on Edge Computing and Communications (EDGE) (Chicago, Illinois USA, 2. Juli 2023 - 8. Juli 2023)
DOI: 10.1109/EDGE60047.2023.00030
, , , :
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) (Hamburg, 21. September 2023 - 23. September 2023)
In: 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) 2023
DOI: 10.1145/3610579.3611091
, , , , :
A Learning-Based Methodology for Scenario-Aware Mapping of Soft Real-Time Applications onto Heterogeneous MPSoCs
In: ACM Transactions on Design Automation of Electronic Systems 28 (2023), S. 4:1 - 4:40
ISSN: 1084-4309
DOI: 10.1145/3529230
, , :
Automation Approaches for the Application of Side-Channel Analysis in Real-World Scenarios (Dissertation, 2023)
URL: https://open.fau.de/items/e894c57d-0839-4677-8614-ab7ac59edc91
:
Design, Calibration, and Evaluation of Real-Time Waveform Matching on an FPGA-based Digitizer at 10 GS/s
In: ACM Transactions on Reconfigurable Technology and Systems (2023), S. 1-27
ISSN: 1936-7406
DOI: 10.1145/3635719
URL: https://dl.acm.org/doi/10.1145/3635719
, , , , :
Gradient-Free Adversarial Attacks on 3D Point Clouds from LiDAR Sensors
In: Springer International Publishing (Hrsg.): Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems, 2023, S. 225 - 256
ISBN: 978-3-031-28015-3
DOI: 10.1007/978-3-031-28016-0_7
URL: https://link.springer.com/chapter/10.1007/978-3-031-28016-0_7
, , , :
Declarative Programming Techniques for Hardware Synthesis of Image Processing Applications (Dissertation, 2023)
:
Professur (Medizininformatik - Forschungsgruppe M)
Es wurden leider keine Publikationen gefunden.
Professur für Didaktik der Informatik
Learning Support Systems based on Mathematical Knowledge Management
16th Conference on Intelligent Computer Mathematics (CICM 2023) (Cambridge, 4. September 2023 - 8. September 2023)
In: Lecture Notes in Computer Science, Cham: 2023
, , , , , :
Exploring the Potential of Large Language Models to Generate Formative Programming Feedback
In: Proceedings of the 2023 IEEE ASEE Frontiers in Education Conference 2023
, , :
Learning with ALeA: Tailored experiences through annotated course material
Workshop KI-Bildung (Berlin, 28. September 2023 - 28. September 2023)
In: Maike Klein, Daniel Krupka, Cornelia Winter, Volker Wohlgemuth (Hrsg.): INFORMATIK 2023. Designing Futures: Zukünfte gestalten, Bonn: 2023
URL: https://nextcloud.gi.de/s/Y28MkNMjGnE2JY9
, , , , , :
Ab an die Kiste: Konzeption eines mobilen Lernlabors zu KI
INFOS 2023 - Informatikunterricht zwischen Aktualität und Zeitlosigkeit. (Würzburg, 20. September 2023 - 22. September 2023)
In: Lutz Hellmig, Martin Hennecke (Hrsg.): Informatikunterricht zwischen Aktualität und Zeitlosigkeit, Bonn: 2023
DOI: 10.18420/infos2023-052
URL: https://dl.gi.de/server/api/core/bitstreams/e905016e-ca00-417f-914c-691afbd032ef/content
, , , :
Implementing a Portable Learning Lab on Artificial Intelligence: It’s AI in a Box!
ISSEP 2023. The 16th International Conference on Informatics in Schools (HEP Vaud, Lausanne, 23. Oktober 2023 - 25. Oktober 2023)
In: Jean-Philippe Pellet and Gabriel Parriaux (Hrsg.): Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education. ISSEP 2023., Cham: 2023
DOI: 10.1007/978-3-031-44900-0_3
URL: https://link.springer.com/chapter/10.1007/978-3-031-44900-0_3
, , , :
KI in der Kiste: Unterrichtsaktivitäten aus einem Lernlabor zum Thema Künstliche Intelligenz
In: Informatische Bildung in Schulen 1 (2023)
DOI: 10.18420/ibis-01-01-03
URL: https://www.informatischebildung.de/index.php/ibis/issue/view/2
, , , :
Von Autonomem Fahren bis Zahnarzt - Vorstellungen von Schüler:innen zu Künstlicher Intelligenz und ihre Integration in den Informatikunterricht
INFOS 2023 - Informatikunterricht zwischen Aktualität und Zeitlosigkeit (Würzburg, 20. September 2023 - 22. September 2023)
In: Lutz Hellmig, Martin Hennecke (Hrsg.): Informatikunterricht zwischen Aktualität und Zeitlosigkeit, Bonn: 2023
DOI: 10.18420/infos2023-007
URL: https://dl.gi.de/items/dfb642cb-71e1-4cd4-a1b8-71365f2d882e
, , , , :
The Y-Model - Formalization of Computer-Science Tasks in the Context of Adaptive Learning Systems
IEEE German Education Conference (GeCon) (Berlin, 2. August 2023 - 4. August 2023)
DOI: 10.1109/GECon58119.2023.10295148
, , , , :
The Potential of Answer Classes in Large-scale Written Computer-Science Exams
Hochschuldidaktik Informatik (HDI) 2021 (Aachen, 13. September 2023 - 14. September 2023)
, , , :
Professur für Höchstleistungsrechnen
Making applications faster by asynchronous execution: Slowing down processes or relaxing MPI collectives
In: Future Generation Computer Systems-The International Journal of Grid Computing Theory Methods and Applications (2023)
ISSN: 0167-739X
DOI: 10.1016/j.future.2023.06.017
, , , :
Physical Oscillator Model for Supercomputing
14th IEEE/ACM Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS23) (Denver, CO, USA, 12. November 2023 - 17. November 2023)
In: 14th IEEE/ACM Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS23) 2023
DOI: 10.1145/3624062.3625535
, , :
SPEChpc 2021 Benchmarks on Ice Lake and Sapphire Rapids Infiniband Clusters: A Performance and Energy Case Study
14th IEEE/ACM Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS23) (Denver, CO, USA, 12. November 2023 - 17. November 2023)
In: 14th IEEE/ACM Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS23) 2023
DOI: 10.1145/3624062.3624197
, , :
Exploring Techniques for the Analysis of Spontaneous Asynchronicity in MPI-Parallel Applications
14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022 (Gdansk, Poland, 11. September 2022 - 14. Juni 2023)
In: Wyrzykowski, R., Dongarra, J., Deelman, E., Karczewski, K. (Hrsg.): Lecture Notes in Computer Science 2023
DOI: 10.1007/978-3-031-30442-2_12
, , , :
Analytical performance estimation during code generation on modern GPUs
In: Journal of Parallel and Distributed Computing 173 (2023), S. 152-167
ISSN: 0743-7315
DOI: 10.1016/j.jpdc.2022.11.003
, , , , :
2D-dwell-time analysis with simulations of ion-channel gating using high-performance computing.
In: Biophysical Journal (2023)
ISSN: 0006-3495
DOI: 10.1016/j.bpj.2023.02.023
, , , , , , :
MD-Bench: A Generic Proxy-App Toolbox for State-of-the-Art Molecular Dynamics Algorithms
In: Parallel Processing and Applied Mathematics. PPAM 2022., Springer, Cham, 2023, S. 321-332 (Lecture Notes in Computer Science (LNCS), Bd.13826)
ISBN: 978-3-031-30441-5
DOI: 10.1007/978-3-031-30442-2_24
, , , :
MD-Bench: A performance-focused prototyping harness for state-of-the-art short-range molecular dynamics algorithms
In: Future Generation Computer Systems-The International Journal of Grid Computing Theory Methods and Applications (2023)
ISSN: 0167-739X
DOI: 10.1016/j.future.2023.06.023
, , , , , :
MD-Bench: A performance-focused prototyping harness for state-of-the-art short-range molecular dynamics algorithms
In: Future Generation Computer Systems-The International Journal of Grid Computing Theory Methods and Applications 149 (2023), S. 25-38
ISSN: 0167-739X
DOI: 10.1016/j.future.2023.06.023
, , , , , :
Professur für Informatik (Visualisierung)
Personality Trait Recognition Based on Smartphone Typing Characteristics in the Wild
In: IEEE Transactions on Affective Computing (2023), S. 1-11
ISSN: 1949-3045
DOI: 10.1109/TAFFC.2023.3253202
, , , , :
CherryPicker: Semantic Skeletonization and Topological Reconstruction of Cherry Trees
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops (Vancouver, Kanada, 18. Juni 2023 - 22. Juni 2023)
In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops 2023 2023
URL: https://openaccess.thecvf.com/content/CVPR2023W/AgriVision/html/Meyer_CherryPicker_Semantic_Skeletonization_and_Topological_Reconstruction_of_Cherry_Trees_CVPRW_2023_paper.html
, , , :
For5G: Systematic approach for creating digital twins of cherry orchards
43. GIL-Jahrestagung, Resiliente Agri-Food-Systeme (Osnabrück, Germany, 13. Februar 2023 - 14. Februar 2023)
In: 43. GIL-Jahrestagung, Resiliente Agri-Food-Systeme, Bonn: 2023
URL: https://dl.gi.de/items/2dc43956-e3e5-4f72-8608-032e41b542fc
, , , , , , , , , , :
Professur für Open Source Software
A Research Model for the Economic Assessment of Inner Source Software Development
Proceedings of the 56th Hawaii International Conference on System Sciences, HICSS '23 (Maui, 3. Januar 2023 - 6. Januar 2023)
URL: https://scholarspace.manoa.hawaii.edu/items/e729771b-1c6f-4396-88de-9a7e7785579e
, :
The Business Impact of Inner Source and How to Quantify It
In: ACM Computing Surveys (2023)
ISSN: 0360-0300
DOI: 10.1145/3611648
URL: https://dl.acm.org/doi/10.1145/3611648
, :
Open Source Software Governance: A Case Study Evaluation of Supply Chain Management Best Practices
56th Hawaii International Conference on System Sciences, HICSS '23 (Maui, HI, 3. Januar 2023 - 6. Januar 2023)
URL: https://oss.cs.fau.de/wp-content/uploads/2022/09/hicss-2023-harutyunyan-riehlepdf.pdf
, :
A Systematic Analysis of Problems in Open Collaborative Data Engineering
In: ACM Transactions on Social Computing 6 (2023), S. 1-30
ISSN: 2469-7826
DOI: 10.1145/3629040
, :
Challenges to Open Collaborative Data Engineering
Hawaii International Conference on System Sciences 2023 (Hyatt Regency Maui, 3. Januar 2023 - 6. Januar 2023)
In: Bui, Tung X (Hrsg.): Proceedings of the 56th Hawaii International Conference on System Sciences 2023
URL: https://hdl.handle.net/10125/102714
, :
A Solution for Automated Grading of QDA Homework
56th Hawaii International Conference on System Sciences (Lahaina, 3. Januar 2023 - 6. Januar 2023)
In: HICSS Proceedings 2023
URL: https://hdl.handle.net/10125/102635
, , , :
The QDAcity-RE-RS Method for Creating Complete, Consistent, and Traceable Requirements Specifications (Dissertation, 2023)
DOI: 10.25593/open-fau-30
:
Challenges of Working From Home in Software Development During COVID-19 Lockdowns
In: Acm Transactions on Software Engineering and Methodology 32 (2023), S. 1-44
ISSN: 1049-331X
, , , , :
Open Source Usability and User Experience
In: IEEE Computer 56 (2023), S. 106-110
ISSN: 0018-9162
DOI: 10.1109/MC.2022.3219634
, :
The Future of the Open Source Definition
In: IEEE Computer 56 (2023), S. 95-99
ISSN: 0018-9162
DOI: 10.1109/MC.2023.3311648
:
Open Source License Inconsistencies on GitHub
In: Acm Transactions on Software Engineering and Methodology 32 (2023), S. 1-23
ISSN: 1049-331X
, , , :