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: FIS_scads nopdf topic_federatedlearn] 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: FIS_scads nopdf topic_federatedlearn] URL
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: FIS_scads imported topic_federatedlearn xack yaff]
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: FIS_scads imported topic_knowledge xack yaff]
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: FIS_scads nopdf topic_knowledge]
On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version). LTCS-Report, Technische Universität Dresden, 2023. [PUMA: FIS_scads imported nopdf topic_knowledge]
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: FIS_scads imported topic_knowledge yaff]
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: FIS_scads imported topic_knowledge xack yaff]
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: FIS_scads topic_knowledge yaff]
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: FIS_scads imported nopdf topic_knowledge]
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: FIS_scads topic_knowledge xack yaff]
Wikidata: The Making Of. In Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo, Carlos Castillo, and Geert-Jan Houben (Eds.), Companion Proceedings of the ACM Web Conference 2023 (WWW'23), 615–624, Association for Computing Machinery (ACM), New York, United States of America, Apr 30, 2023. [PUMA: FIS_scads topic_knowledge xack]
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces. 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):116–127, IOS Press, Amsterdam u. a., Netherlands, Sep 1, 2022. [PUMA: FIS_scads topic_knowledge zno]
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract). In Laura Giordano, Jean Christoph Jung, and Ana Ozaki (Eds.), Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway, RTWH Aachen, Jun 18, 2024. [PUMA: FIS_scads imported topic_knowledge zno]
Error-Tolerant Reasoning in ℰℒ w.r.t. Optimal ABox Repairs (Extended Abstract). Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, CEUR-WS.org, Sep 2, 2023. [PUMA: FIS_scads imported topic_knowledge xack yaff]
Stability selection enables robust learning of differential equations from limited noisy data. Proceedings of the Royal Society of London : Series A, Mathematical, physical and engineering sciences, (478)2262Royal Society Publishing, June 2022. [PUMA: FIS_scads topic_lifescience xack]
Learning deterministic hydrodynamic equations from stochastic active particle dynamics. Jan 21, 2022. [PUMA: FIS_scads topic_lifescience xack yaff]
A numerical solver for active hydrodynamics in three dimensions and its application to active turbulence. Physics of fluids, (35)10American Institute of Physics, Oct 1, 2023. [PUMA: FIS_scads imported nopdf topic_lifescience xack]
STENCIL-NET for equation-free forecasting from data. Scientific reports, (13)1Nature Publishing Group, December 2023. [PUMA: FIS_scads imported topic_lifescience xack yaff]
Spontaneous flow instabilities of active polar fluids in three dimensions. Physical Review Research, (5)2American Physical Society, College Park, April 2023. [PUMA: FIS_scads imported topic_lifescience yaff]