[PDF][PDF] Investigation and implantation of endo-prosthesis in biological experiment on animals
M Žitňanský, Ľ Čaplovič, Ľ Rehák… - … of Achievements in …, 2007 - jamme.acmsse.h2.pl
Purpose: Purpose of this paper is to inform professional public about our research activities
and results in the area of development of implants. Design/methodology/approach: Method …
and results in the area of development of implants. Design/methodology/approach: Method …
[HTML][HTML] Vplyv komplikácií na kvalitu života po stabilizačných operáciách degeneratívnych ochorení lumbálnej chrbtice
M Juríček, Ľ REHÁK, P Tisovský, J Horváth - ACHOT, 2010 - achot.actavia.cz
RESULTS: A total of 30 complications were recorded in 28 patients (13.5%). Revision
surgery was necessary in 18 patients (8.7%). Pedicle screw misplacement was found in eight …
surgery was necessary in 18 patients (8.7%). Pedicle screw misplacement was found in eight …
[PDF][PDF] Stress-strain analysis of the femoral component of ZIREMA total hip endoprosthesis
M Žitňanský, Ľ Rehák, M Naď… - Journal of Achievements in …, 2010 - researchgate.net
Purpose: The results of the research project, which relates to the original design for total hip
joint replacement, are presented in this paper. Solution of this project was recommended …
joint replacement, are presented in this paper. Solution of this project was recommended …
Novel posterior apical short-segment correction of adolescent idiopathic scoliosis: a prospective multicentre study
Ľ Rehák, M Repko, M Grevitt, U Aydinli… - The Spine …, 2016 - thespinejournalonline.com
BACKGROUND CONTEXT: Posterior instrumentation with fusion is routinely utilised to treat
patients with adolescent idiopathic scoliosis (AIS). The implant density and levels requiring …
patients with adolescent idiopathic scoliosis (AIS). The implant density and levels requiring …
Preservation of Spine Motion in the Surgical Treatment of Adolescent Idiopathic Scoliosis Using an Innovative Apical Fusion Technique: A 2-Year Follow-Up Pilot …
…, M Repko, DG Crandall, U Aydinli, Ľ Rehák… - International Journal of …, 2018 - ijssurgery.com
… CRANDALL, UFUK AYDINLI, ĽUBOŠ REHÁK, MARTIN ZABKA, STEVEN SEME and …
Rehák received grants/research support from DePuy Synthes Spine and Kspine. M. Repko …
Rehák received grants/research support from DePuy Synthes Spine and Kspine. M. Repko …
Analysis of segmental mobility following a novel posterior apical short-segment correction for adolescent idiopathic scoliosis
C Nnadi, P Hosseini, Ľ Rehák, M Repko… - The Spine …, 2016 - thespinejournalonline.com
BACKGROUND CONTEXT: The consequence of a spinal fusion is an abnormal load on
adjacent levels with increased risk of future adjacent segment degeneration. PURPOSE: To …
adjacent levels with increased risk of future adjacent segment degeneration. PURPOSE: To …
Three-Dimensional Mechanical Model of the Human Spine and the Versatility of its Use
M Sokol, P Velísková, Ľ Rehák, M Žabka - Slovak Journal of Civil …, 2014 - sciendo.com
The aim of the work is oriented towards the simulation or modeling of the lumbar and thoracic
human spine as a load-bearing 3D system in a computer program (ANSYS). The human …
human spine as a load-bearing 3D system in a computer program (ANSYS). The human …
Mean-payoff optimization in continuous-time Markov chains with parametric alarms
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be
non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event …
non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event …
Extension of PRISM by synthesis of optimal timeouts in fixed-delay CTMC
Ľ Korenčiak, V Řehák, A Farmadin - … , IFM 2016, Reykjavik, Iceland, June 1 …, 2016 - Springer
We present a practically appealing extension of the probabilistic model checker PRISM
rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards, the …
rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards, the …
Optimizing performance of continuous-time stochastic systems using timeout synthesis
We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently
deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified …
deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified …
