Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Alexander Maletzky"'
Autor:
Nico Stroh, Harald Stefanits, Alexander Maletzky, Sophie Kaltenleithner, Stefan Thumfart, Michael Giretzlehner, Richard Drexler, Franz L. Ricklefs, Lasse Dührsen, Stefan Aspalter, Philip Rauch, Andreas Gruber, Matthias Gmeiner
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-14 (2023)
Abstract Machine learning (ML) has revolutionized data processing in recent years. This study presents the results of the first prediction models based on a long-term monocentric data registry of patients with microsurgically treated unruptured intra
Externí odkaz:
https://doaj.org/article/d994ca0583cb4cf7b76fcab6b629caf6
Autor:
Alexander Maletzky, Carl Böck, Thomas Tschoellitsch, Theresa Roland, Helga Ludwig, Stefan Thumfart, Michael Giretzlehner, Sepp Hochreiter, Jens Meier
Publikováno v:
JMIR Medical Informatics, Vol 10, Iss 10, p e38557 (2022)
Electronic health records (EHRs) have been successfully used in data science and machine learning projects. However, most of these data are collected for clinical use rather than for retrospective analysis. This means that researchers typically face
Externí odkaz:
https://doaj.org/article/712e200a996542efa54f6f29f66c27fb
Publikováno v:
Data, Vol 8, Iss 1, p 16 (2023)
Advanced Driver Assistance Systems rely on automated traffic sign recognition. Today, Deep Learning methods outperform other approaches in terms of accuracy and processing time; however, they require vast and well-curated data sets for training. In t
Externí odkaz:
https://doaj.org/article/a087e5ab977d4f1fb8c910ea747fb8f3
Publikováno v:
Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 149-185 (2016)
The Theorema project aims at the development of a computer assistant for the working mathematician. Support should be given throughout all phases of mathematical activity, from introducing new mathematical concepts by definitions or axioms, through f
Externí odkaz:
https://doaj.org/article/0e8a05e1a76e4add901829ccc6492c8c
Publikováno v:
IFIP Advances in Information and Communication Technology ISBN: 9783031341069
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71fb99d962cc2d0eb83ccbf8b7a697c3
https://doi.org/10.1007/978-3-031-34107-6_5
https://doi.org/10.1007/978-3-031-34107-6_5
Autor:
Theresa Roland, Carl Böck, Thomas Tschoellitsch, Alexander Maletzky, Sepp Hochreiter, Jens Meier, Günter Klambauer
Publikováno v:
JOURNAL OF MEDICAL SYSTEMS
Many previous studies claim to have developed machine learning models that diagnose COVID-19 from blood tests. However, we hypothesize that changes in the underlying distribution of the data, so called domain shifts, affect the predictive performance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34dbbc118410b8e51a48bc012041aa05
https://zenodo.org/record/8138391
https://zenodo.org/record/8138391
Autor:
Alexander Maletzky
We present a generic and executable formalization of signature-based algorithms (such as Faugere's F 5 ) for computing Grobner bases, as well as their mathematical background, in the Isabelle/HOL proof assistant. Said algorithms are currently the bes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0c74e9d21a8507605b4bbc0a660edf16
http://arxiv.org/abs/2012.02239
http://arxiv.org/abs/2012.02239
Autor:
Alexander Maletzky
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030232498
CICM
CICM
We present an Isabelle/HOL formalization of certain upper bounds on the degrees of Grobner bases in multivariate polynomial rings over fields, due to Dube. These bounds are not only of theoretical interest, but can also be used for computing Grobner
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1662eee8afe86b15430eed824a58c6fc
https://doi.org/10.1007/978-3-030-23250-4_11
https://doi.org/10.1007/978-3-030-23250-4_11
Autor:
Fabian Immler, Alexander Maletzky
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319968117
CICM
CICM
We present an elegant, generic and extensive formalization of Grobner bases, an important mathematical theory in the field of computer algebra, in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-pol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e9ff86a50ba8ee822ba156f5b3441fd
https://doi.org/10.1007/978-3-319-96812-4_16
https://doi.org/10.1007/978-3-319-96812-4_16
Autor:
Alexander Maletzky
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319425467
CICM
CICM
In this paper we present the first-ever computer formalization of the theory of Grobner bases in reduction rings in Theorema. Not only the formalization, but also the formal verification of all key results has already been fully completed by now; thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ecf67ccdf977532191ba4ea048383a4
https://doi.org/10.1007/978-3-319-42547-4_1
https://doi.org/10.1007/978-3-319-42547-4_1