Personal information

Other IDs

SciProfiles: 2590627

Countries

Austria

Activities

Collapse all

Works (21)

Machine learning prediction of unexpected readmission or death after discharge from intensive care: A retrospective cohort study

Journal of Clinical Anesthesia
2024-10-14 | Journal article | Writing - original draft, Writing - review & editing, Visualization, Software, Methodology, Investigation, Data curation
DOI: 10.1016/j.jclinane.2024.111654
Contributors: Alexander Maletzky; Thomas Tschoellitsch; Philipp Moser; Philipp Seidl; Carl Böck; Tina Tomic Mahečić; Stefan Thumfart; Michael Giretzlehner; Sepp Hochreiter; Jens Meier
Source: Self-asserted source
Alexander Maletzky

Potential Predictors for Deterioration of Renal Function After Transfusion

Anesthesia & Analgesia
2024-03 | Journal article
DOI: 10.1213/ane.0000000000006720
Part of ISSN: 0003-2999
Contributors: Thomas Tschoellitsch; Philipp Moser; Alexander Maletzky; Philipp Seidl; Carl Böck; Theresa Roland; Helga Ludwig; Susanne Süssner; Sepp Hochreiter; Jens Meier
Source: Self-asserted source
Alexander Maletzky

CaTabRa: Efficient Analysis and Predictive Modeling of Tabular Data

IFIP Advances in Information and Communication Technology
2023 | Book chapter | Author
DOI: 10.1007/978-3-031-34107-6_5
Part of ISBN: 9783031341069
Part of ISBN: 9783031341076
Part of ISSN: 1868-4238
Part of ISSN: 1868-422X
Contributors: Alexander Maletzky; Sophie Kaltenleithner; Philipp Moser; Michael Giretzlehner
Source: Self-asserted source
Alexander Maletzky

Using emergency department triage for machine learning-based admission and mortality prediction

European Journal of Emergency Medicine
2023-12 | Journal article
DOI: 10.1097/mej.0000000000001068
Part of ISSN: 0969-9546
Contributors: Thomas Tschoellitsch; Philipp Seidl; Carl Böck; Alexander Maletzky; Philipp Moser; Stefan Thumfart; Michael Giretzlehner; Sepp Hochreiter; Jens Meier
Source: Self-asserted source
Alexander Maletzky

Machine learning based outcome prediction of microsurgically treated unruptured intracranial aneurysms

Scientific Reports
2023-12-19 | Journal article
DOI: 10.1038/s41598-023-50012-8
Part of ISSN: 2045-2322
Contributors: Nico Stroh; Harald Stefanits; Alexander Maletzky; Sophie Kaltenleithner; Stefan Thumfart; Michael Giretzlehner; Richard Drexler; Franz L. Ricklefs; Lasse Dührsen; Stefan Aspalter et al.
Source: Self-asserted source
Alexander Maletzky

Traffic Sign Detection and Classification on the Austrian Highway Traffic Sign Data Set

Data
2023-01-09 | Journal article | Author
DOI: 10.3390/data8010016
Part of ISSN: 2306-5729
Contributors: Alexander Maletzky; Nikolaus Hofer; Stefan Thumfart; Karin Bruckmüller; Johannes Kasper
Source: Self-asserted source
Alexander Maletzky
grade
Preferred source (of 2)‎

Lifting Hospital Electronic Health Record Data Treasures: Challenges and Opportunities

JMIR Medical Informatics
2022-10-21 | Journal article | Author
DOI: 10.2196/38557
Part of ISSN: 2291-9694
Contributors: Alexander Maletzky; Carl Böck; Thomas Tschoellitsch; Theresa Roland; Helga Ludwig; Stefan Thumfart; Michael Giretzlehner; Sepp Hochreiter; Jens Meier
Source: Self-asserted source
Alexander Maletzky

Domain Shifts in Machine Learning Based Covid-19 Diagnosis From Blood Tests

Journal of Medical Systems
2022-05 | Journal article
DOI: 10.1007/s10916-022-01807-1
Part of ISSN: 1573-689X
Source: Self-asserted source
Alexander Maletzky

A generic and executable formalization of signature-based Gröbner basis algorithms

Journal of Symbolic Computation
2021-09 | Journal article
DOI: 10.1016/j.jsc.2020.12.001
Part of ISSN: 0747-7171
Source: Self-asserted source
Alexander Maletzky

Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany

2021-09-06 | Preprint
ARXIV: arXiv:2109.02362v1
Source: Self-asserted source
Alexander Maletzky

Formalization of Dubé’s Degree Bounds for Gröbner Bases in Isabelle/HOL

Lecture Notes in Computer Science
2019 | Book chapter
DOI: 10.1007/978-3-030-23250-4_11
Part of ISBN: 9783030232498
Part of ISBN: 9783030232504
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Alexander Maletzky

Gröbner Bases of Modules and Faugère’s F4 Algorithm in Isabelle/HOL

Lecture Notes in Computer Science
2018 | Book chapter
DOI: 10.1007/978-3-319-96812-4_16
Part of ISBN: 9783319968117
Part of ISBN: 9783319968124
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Alexander Maletzky

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Mathematical Software – ICMS 2016
2016 | Book chapter
DOI: 10.1007/978-3-319-42432-3_8
Part of ISBN: 9783319424316
Part of ISBN: 9783319424323
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Alexander Maletzky

Mathematical Theory Exploration in Theorema: Reduction Rings

Lecture Notes in Computer Science
2016 | Book chapter
DOI: 10.1007/978-3-319-42547-4_1
Part of ISBN: 9783319425467
Part of ISBN: 9783319425474
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Alexander Maletzky

Theorema 2.0: Computer-Assisted Natural-Style Mathematics

Journal of Formalized Reasoning
2016-01 | Journal article
DOI: 10.6092/issn.1972-5787/4568
Source: Self-asserted source
Alexander Maletzky

Verifying Buchberger's Algorithm in Reduction Rings

Program Verification, Automated Debugging, and Symbolic Computation (Proceedings of PAS 2015, Beijing, China)
2015-10 | Conference paper
Source: Self-asserted source
Alexander Maletzky

Automated Reasoning in Reduction Rings using the Theorema System

Computer Algebra in Scientific Computing (Proceedings of CASC 2015, Aachen, Germany)
2015-09 | Conference paper
DOI: 10.1007/978-3-319-24021-3_23
Source: Self-asserted source
Alexander Maletzky

Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

Computer Algebra in Scientific Computing (Proceedings of CASC 2015, Aachen, Germany)
2015-09 | Conference paper
DOI: 10.1007/978-3-319-24021-3_30
Source: Self-asserted source
Alexander Maletzky

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Mathematical Software - ICMS 2014 (Proceedings of the International Congress on Mathematical Software, Seoul, Korea)
2014-08 | Conference paper
DOI: 10.1007/978-3-662-44199-2_8
Source: Self-asserted source
Alexander Maletzky

Gröbner Bases in Theorema

Mathematical Software - ICMS 2014 (Proceedings of the International Congress on Mathematical Software, Seoul, Korea)
2014-08 | Conference paper
DOI: 10.1007/978-3-662-44199-2_58
Source: Self-asserted source
Alexander Maletzky

Mathematical Theory Exploration in Theorema: Reduction Rings

Conference paper
ARXIV: 1602.04339
Source: Self-asserted source
Alexander Maletzky
How many people are using ORCID?