Alexander Maletzky
YOU?
Author Swipe
View article: Machine learning prediction of unexpected readmission or death after discharge from intensive care: A retrospective cohort study
Machine learning prediction of unexpected readmission or death after discharge from intensive care: A retrospective cohort study Open
ML models were able to identify patients that will not need unplanned ICU readmission and will not die within 48 h after discharge.
View article: Machine learning based outcome prediction of microsurgically treated unruptured intracranial aneurysms
Machine learning based outcome prediction of microsurgically treated unruptured intracranial aneurysms Open
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 int…
View article: Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set
Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set Open
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 tra…
View article: Lifting Hospital Electronic Health Record Data Treasures: Challenges and Opportunities
Lifting Hospital Electronic Health Record Data Treasures: Challenges and Opportunities Open
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 typi…
View article: Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests
Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests Open
View article: Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany
Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany Open
We compare the machine readability of pictograms found on Austrian and German traffic signs. To that end, we train classification models on synthetic data sets and evaluate their classification accuracy in a controlled setting. In particul…
View article: Machine Learning based COVID-19 Diagnosis from Blood Tests with Robustness to Domain Shifts
Machine Learning based COVID-19 Diagnosis from Blood Tests with Robustness to Domain Shifts Open
We investigate machine learning models that identify COVID-19 positive patients and estimate the mortality risk based on routinely acquired blood tests in a hospital setting. However, during pandemics or new outbreaks, disease and testing …
View article: A generic and executable formalization of signature-based Gröbner basis algorithms
A generic and executable formalization of signature-based Gröbner basis algorithms Open
View article: Gröbner Bases of Modules and Faugère's $F_4$ Algorithm in Isabelle/HOL
Gröbner Bases of Modules and Faugère's $F_4$ Algorithm in Isabelle/HOL Open
We present an elegant, generic and extensive formalization of Gröbner bases in Isabelle/HOL. The formalization covers all of the essentials of the theory (polynomial reduction, S-polynomials, Buchberger's algorithm, Buchberger's criteria f…
View article: Verifying Buchberger's Algorithm in Reduction Rings
Verifying Buchberger's Algorithm in Reduction Rings Open
In this paper we present the formal, computer-supported verification of a functional implementation of Buchberger's critical-pair/completion algorithm for computing Gröbner bases in reduction rings. We describe how the algorithm can be imp…
View article: Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates Open
We develop a new theory for treating boundary problems for linear ordinary differential equations whose fundamental system may have a singularity at one of the two endpoints of the given interval. Our treatment follows an algebraic approac…