From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Disambiguating Symbolic Expressions in Informal Documents., и . ICLR, OpenReview.net, (2021)Learning Support Systems Based on Mathematical Knowledge Management., , , , , и . CICM, том 14101 из Lecture Notes in Computer Science, стр. 84-97. Springer, (2023)Modelling Epidermal Homeostasis as an Approach for Clinical Bioinformatics., , , , , и . MIE, том 124 из Studies in Health Technology and Informatics, стр. 105-110. IOS Press, (2006)Structuring Theories with Implicit Morphisms., и . WADT, том 11563 из Lecture Notes in Computer Science, стр. 154-173. Springer, (2018)Representing Structural Language Features in Formal Meta-languages., , , и . CICM, том 12236 из Lecture Notes in Computer Science, стр. 206-221. Springer, (2020)Knowledge Management across Formal Libraries.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, том 1785 из CEUR Workshop Proceedings, стр. 98-101. CEUR-WS.org, (2016)Mathematical Knowledge Management Across Formal Libraries (Mathematisches Wissensmanagement Über Formale Bibliotheksgrenzen Hinaus). University of Erlangen-Nuremberg, Germany, (2019)base-search.net (ftuniverlangen:oai:ub.uni-erlangen.de-opus:12359).Explaining Image Classifications with Near Misses, Near Hits and Prototypes - Supporting Domain Experts in Understanding Decision Boundaries., , , и . ICPRAI (2), том 13364 из Lecture Notes in Computer Science, стр. 419-430. Springer, (2022)Minimax estimation of the mode of functional data.. J. Multivar. Anal., (2023)The Y-Model - Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems., , , , и . GECon, стр. 1-6. IEEE, (2023)