Zobrazeno 1 - 10
of 1 169
pro vyhledávání: '"A. Schipp"'
We show that restricting the elimination principle of the natural numbers type in Martin-L\"of Type Theory (MLTT) to a universe of types not containing $\Pi$-types ensures that all definable functions are primitive recursive. This extends the concept
Externí odkaz:
http://arxiv.org/abs/2404.01011
Autor:
Julius Watrinet, Daniel Berger, Philipp Blum, Matthias P. Fabritius, Jörg Arnholdt, Rolf Schipp, Wolfgang Reng, Paul Reidler
Publikováno v:
Knee Surgery & Related Research, Vol 36, Iss 1, Pp 1-8 (2024)
Abstract Purpose This retrospective single-center study aimed to investigate incidence and risk factors influencing tibial periprosthetic fractures (TPF) in Oxford unicompartmental knee arthroplasty (UKA), with a specific focus on tibial component po
Externí odkaz:
https://doaj.org/article/94930462d4fa4ba6995b6cecd55a0b50
Autor:
Hart, Christina, Klamroth, Robert, Sachs, Ulrich J., Greil, Richard, Knoebl, Paul, Oldenburg, Johannes, Miesbach, Wolfgang, Pfrepper, Christian, Trautmann-Grill, Karolin, Pekrul, Isabell, Holstein, Katharina, Eichler, Hermann, Weigt, Carmen, Schipp, Dorothea, Werwitzke, Sonja, Tiede, Andreas
Publikováno v:
In Journal of Thrombosis and Haemostasis October 2024 22(10):2692-2701
Autor:
Holmes-Truscott, Elizabeth1,2,3 (AUTHOR) etruscott@acbrd.org.au, Schipp, Jasmine1,2,3,4 (AUTHOR), Cooke, Debbie D.5,6 (AUTHOR), Hendrieckx, Christel1,2,3 (AUTHOR), Coates, Elizabeth J.7 (AUTHOR), Heller, Simon R.8 (AUTHOR), Speight, Jane1,2,3 (AUTHOR)
Publikováno v:
Health & Quality of Life Outcomes. 9/2/2024, Vol. 22 Issue 1, p1-12. 12p.
Autor:
Dozsa, Tamas, Schipp, Ferenc
We consider the interpretation and the numerical construction of the inverse branches of $n$ factor Blaschke-products on the disk and show that these provide a generalization of the $n$-th root function. The inverse branches can be defined on pairwis
Externí odkaz:
http://arxiv.org/abs/2108.02042
Publikováno v:
P. Kovacs, S. Fridli, F. Schipp, Generalized Rational Variable Projection With Application in ECG Compression, IEEE Transactions on Signal Processing, vol. 68, pp. 478 - 492, 2020
In this paper we develop an adaptive transform-domain technique based on rational function systems. It is of general importance in several areas of signal theory, including filter design, transfer function approximation, system identification, contro
Externí odkaz:
http://arxiv.org/abs/2003.00058
Autor:
Tiede, Andreas *, Hart, Christina, Knöbl, Paul, Greil, Richard, Oldenburg, Johannes, Sachs, Ulrich J, Miesbach, Wolfgang, Pfrepper, Christian, Trautmann-Grill, Karolin, Holstein, Katharina, Pilch, Jan, Möhnle, Patrick, Schindler, Christoph, Weigt, Carmen, Schipp, Dorothea, May, Marcus, Dobbelstein, Christiane, Pelzer, Fabius J, Werwitzke, Sonja, Klamroth, Robert
Publikováno v:
In The Lancet Haematology November 2023 10(11):e913-e921
Publikováno v:
In Pathology June 2023 55(4):486-491
Autor:
Knoll, Christine, Schipp, Jasmine, O'Donnell, Shane, Wäldchen, Mandy, Ballhausen, Hanne, Cleal, Bryan, Gajewska, Katarzyna A., Raile, Klemens, Skinner, Timothy, Braune, Katarina
Publikováno v:
In Diabetes Research and Clinical Practice February 2023 196
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.