Jaroslav Skrivánek

Learn More
A 46-year-old man, the son of normal nonconsanguinous parents, had a rare progressive neurological illness that began in midlife and was characterized by seizures, buccolingual dyskinesia, orofacial tics, choreiform movements, areflexia, and neurogenic muscle atrophy. Acanthocytosis was present. The serum creatine kinase level was elevated and(More)
In the calculation of thermodynamic properties and three-dimensional structures of macromolecules, such as proteins, it is important to have an efficient algorithm for computing the solvent-accessible surface area of macromolecules. Here, we propose a new analytical method for this purpose. In the proposed algorithm we consider the transformation that maps(More)
In calculating the solvation energy of proteins, the hydration effects, drug binding, molecular docking, etc., it is important to have an efficient and exact algorithms for computing the solvent accessible surface area and the excluded volume of macro-molecules. Here we present a Fortran package based on the new exact analytical methods for computing volume(More)
Detection and quantitative characterization of the internal cavities in proteins remain an important topic in studying protein structure and function. Here we propose a new analytical method for detecting the existence of cavities in proteins. The method is based on constructing the special enveloping triangulation enclosing the cavities. Based on this(More)
In this note, we show that the model obtained by finite support iteration of a sequence of generic extensions of models of ZFC of length ω is sometimes the smallest common extension of this sequence and very often it is not. Iterated forcing is a transfinite sequence of forcing notions together with a com-mutative system of complete embeddings among(More)