Tuple-Generating Dependencies Capture Complex Values. In Dan Olteanu, and Nils Vortmeier (Eds.), Proceedings of the 25th International Conference on Database Theory (ICDT 2022), (220):13:1–13:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Mar 1, 2022. [PUMA: topic_knowledge topic_graph Datalog, FIS_scads chase complexity, existential rules, standard terminating]
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability. ACM SIGAPP Applied Computing Review, (24)3:5–17, Association for Computing Machinery (ACM), New York, Oct 1, 2024. [PUMA: topic_knowledge FIS_scads concrete description domains, expressive logics, model power, theory]
Evonne: Interactive Proof Visualization for Description Logics (System Description). In Jasmin Blanchette, Laura Kovács, and Dirk Pattinson (Eds.), Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings, 271--280, Springer, Berlin u. a., Germany, 2022. [PUMA: topic_knowledge FIS_scads imported]
Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change. Proceedings of the ACM Symposium on Applied Computing, 983--990, Association for Computing Machinery, Mar 27, 2023. [PUMA: topic_knowledge FIS_scads belief change, description logic, ontology repair]
The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 754--761, Association for Computing Machinery (ACM), New York, United States of America, 2024. [PUMA: topic_knowledge FIS_scads imported]
On the Abstract Expressive Power of Description Logics with Concrete Domains. In Ana Ozaki, Carsten Lutz, and Oliver Kutz (Eds.), Proceedings of the 36th International Workshop on Description Logics, (3515)CEUR-WS.org, 2023. [PUMA: topic_knowledge FIS_scads imported]
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version). LTCS-Report, Technische Universität Dresden, 2023. [PUMA: topic_knowledge FIS_scads imported]
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams. In Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, and Hiroyuki Kido (Eds.), Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), (220146):355–356, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: topic_knowledge FIS_scads abstract binary decision diagrams, dialectical frameworks, rust-lang]
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains. In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), (3739)CEUR-WS.org, June 2024. [PUMA: topic_knowledge FIS_scads imported]
NC-Library: Expanding SystemC Capabilities for Nested reConfigurable Hardware Modelling. ACM Transactions on Reconfigurable Technology and Systems, (17)3:1--29, Association for Computing Machinery (ACM), New York, Apr 27, 2024. [PUMA: topic_federatedlearn FIS_scads imported]
Auto-DOK: Compiler-Assisted Automatic Detection of Offload Kernels for FPGA-HBM Architectures. In Smail Niar, Hamza Ouarnoughi, and Amund Skavhaug (Eds.), Proceedings - 2023 26th Euromicro Conference on Digital System Design, DSD 2023, 577--584, Institute of Electrical and Electronics Engineers Inc., United States of America, 2023. [PUMA: topic_federatedlearn (HBM), Architectures Characterization, Code FIS_scads High-bandwidth Memory Parallel] URL
Performance Estimation and Prototyping of Reconfigurable Near-Memory Computing Systems. In Nele Mentens, Nele Mentens, Leonel Sousa, Pedro Trancoso, Nikela Papadopoulou, and Ioannis Sourdis (Eds.), Proceedings - 2023 33rd International Conference on Field-Programmable Logic and Applications, FPL 2023, 357--358, Institute of Electrical and Electronics Engineers Inc., United States of America, Nov 2, 2023. [PUMA: topic_federatedlearn Architectures, Computing, FIS_scads High Near Parallel Prediction bandwidth memories, memory] URL
ArcvaVX: OpenVX Framework for Adaptive Reconfigurable Computer Vision Architectures. In Francesca Palumbo, Georgios Keramidas, Nikolaos Voros, and Pedro C. Diniz (Eds.), Applied Reconfigurable Computing. Architectures, Tools, and Applications - 19th International Symposium, ARC 2023, Proceedings, 97--112, Springer Science and Business Media B.V., Germany, 2023. [PUMA: topic_federatedlearn Computer FIS_scads FPGA, Framework, HLS, OpenVX Vision,] URL
Compiler-Assisted Kernel Selection for FPGA-based Near-Memory Computing Platforms. Proceedings - 31st IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2023, 222, Institute of Electrical and Electronics Engineers Inc., United States of America, 2023. [PUMA: topic_federatedlearn FIS_scads High-bandwidth architectures, characterization, computing, memory, near-memory parallel prediction] URL
RTASS: a RunTime Adaptable and Scalable System for Network-on-Chip-Based Architectures. 2023 26th Euromicro Conference on Digital System Design (DSD), 585--592, IEEE, Sep 8, 2023. [PUMA: topic_federatedlearn Computer Embedded FIS_scads Machine Runtime, Scalability, Shape algorithms, architecture, computing, learning vision,] URL
SetQuence & SetOmic: Deep set transformers for whole genome and exome tumour analysis. BioSystems, (235)Elsevier, January 2024. [PUMA: topic_federatedlearn livinglab Artificial Biomedical Exome/genetics, FIS_scads Humans, Intelligence, Medical Neoplasms/genetics Oncology, Research,]
SetQuence & SetOmic: Deep Set Transformer-based Representations of Cancer Multi-Omics. 2022 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB 2022, 139--147, IEEE, New York u. a., United States of America, 2022. [PUMA: topic_federatedlearn livinglab Deep FIS_scads Network, Neural Representations Set analysis, expression, gene genome, language molecular multi-omics, mutome, natural processing, sequence]
Impact of Training Instance Selection on Automated Algorithm Selection Models for Numerical Black-box Optimization. Proceedings of the Genetic and Evolutionary Computation Conference, 1007 -- 1016, Association for Computing Machinery (ACM), United States of America, Jul 14, 2024. [PUMA: topic_engineering FIS_scads imported]
Dancing to the State of the Art?: How Candidate Lists Influence LKH for Solving the Traveling Salesperson Problem. In Michael Affenzeller, Stephan M. Winkler, Anna V. Kononova, Thomas Bäck, Heike Trautmann, Tea Tusar, and Penousal Machado (Eds.), Parallel Problem Solving from Nature – PPSN XVIII, 100--115, Springer, Berlin u. a., Sep 7, 2024. [PUMA: topic_engineering Algorithm Benchmarking, Configuration, FIS_scads Hardness, Heuristic Problem Salesperson Search, Traveling]
Reinvestigating the R2 Indicator: Achieving Pareto Compliance by Integration. In Michael Affenzeller, Stephan M. Winkler, Anna V. Kononova, Thomas Bäck, Heike Trautmann, Tea Tusar, and Penousal Machado (Eds.), Parallel Problem Solving from Nature – PPSN XVIII, 202--216, Springer, Berlin u. a., Sep 7, 2024. [PUMA: topic_engineering Benchmarking, FIS_scads Multi-objective Pareto Performance R2 Utility assessment, compliance, functions indicator, optimization,]