Mathematical Institute
of the Academy of Sciences of the Czech Republic

Evaluation of the Institutional Research Plan and Results of Research, 2000

Educational and International Activities

Educational activities

List of theses (M.S., Ph.D., CSc., habilitation, and DrSc.) written at the Institute or supervised by the Institute’s employees in 1995-1999

M.S. theses

1995 V. Babicky, Destabilization for quasivariational inequalities of reaction-diffusion type, supervisor M. Kucera
1995 T. Burger, Endomorphic universa in alternative set theory, supervisor A. Sochor
1995 M. Kusmirek, Use of directional and plane anisotropy in fractography, supervisor I. Saxl
1996 P. Cizek, On some generalization of Sorson compacta, supervisor M. Fabian
1996 P. Ledvina, Computational complexity of systems with a public key, supervisor P. Pudlak
1996 J. Nemec, A posteriori error estimates for nonlinear elliptic boundary value problems, supervisor M. Krizek
1997 M. Ducanic, On a class of functions holomorphic in the unit disk, supervisor J. Fuka
1997 Z. Matousek, Finite and infinite sums, supervisor O. Dosly
1997 M. Ondrejat, Weak solutions to stochastics evolution equations , supervisor J. Seidler
1997 P. Rehak, Oscillatory theory of linear difference equation, supervisor O. Dosly
1997 P. Slovak, Generalized convexity and its application to the calculus of variations, supervisor O. Dosly
1997 L. Vodstrcilova, Integration of trigonometric and irrational functions, supervisor O. Dosly
1999 J. Hanika, Levy hierarchy in set theory, supervisor A. Sochor
1999 P. Rackova, Extrema of functions, supervisor O. Dosly
1999 J. Reznickova, Curvilinear integral, supervisor O. Dosly
1999 J. Stepanek, Interpretations in weak theories of sets and arithmetics, supervisor A. Sochor

M.S. theses unfinished yet

M. Bilkova, supervisor P. Pudlak
T. Brandejska, Structured matrices and interpolation, supervisor Z. Vavrin
R. Erban, Asymptotic behavior of the solution of Navier-Stokes equations, supervisor E. Feireisl
L. Grigorek, supervisor S. Matusu
J. Solc, Local dependence on finitely many coordinates in Banach spaces, supervisor V. Zizler
T. Tichy, On-line scheduling algorithms, supervisor J. Sgall
T. Vejchodsky, A posteriori error estimates for the solution of a parabolic equation by the method of lines, supervisor K. Segeth
M. Vierer, supervisor M. Krizek

Ph.D. and CSc. theses

1995 J. Horak,  Solution of a problem of linearized theory of coupled thermoelasticity, supervisor I. Hlavacek
1996 V. Kordula, Spectrum in Banach algebras, supervisor V. Muller
1996 J. Lang, Continuity and absolute continuity of norms in Banach function spaces, supervisor M. Krbec
1996 E. Matouskova, Differentiation in Banach spaces, supervisor L. Zajicek
1996 E. Thumel, Ramsey theorems and topological dynamics, supervisor B. Balcar
1997 M. Heisler, Some aspects of differentiability in geometry of Banach spaces, supervisor M. Fabian
1997 M. Pelant, On approximation of solutions of generalized differential equations, supervisor M. Tvrdy
1998 M. Baresova, Diagnostics of the level of grasping the concept of distance, supervisor M. Kubinova
1998 D. Bednarik, On higher order smoothness in a Banach space, supervisor M. Fabian
1998 J. Eisner, Bifurcations for reaction-diffusion systems with conditions given by inclusions, supervisor M. Kucera
1998 E. Fasangova, Long-time behavior of solutions of evolution problems, supervisor E. Feireisl
1998 R. Hilscher, On some aspects of qualitative theory of linear Hamiltonian systems, supervisor O. Dosly
1998 S. Mukhigula, Two point boundary value problems for seshvilli cond order functional differential equations, supervisor A. Lomtatidze
1999 J. Komenda, Modeling, analysis and control of hybrid manufacturing systems, supervisor I. Horova
1999 H. Netuka, Application of an optimalization method for the solution of the contact problem of theory of elasticity, supervisor I. Straskraba
1999 P. Ponizil, Voronoi tessellations generated by point cluster fields, supervisor I. Saxl
1999 V. Pravda, Exact radiative spacetimes: selected problems, supervisor J. Bicak
1999 A. Pravdova, Symmetries of asymptotically flat spacetimes and radiation, supervisor J. Bicak
1999 P. Salac, Optimal design of an elastic rotationally symmetric plate on a unilateral elastic foundation, supervisor I. Hlavacek
1999 M. Zemek ,On impact of geometry to a Banach space, supervisor M. Fabian

Ph.D. theses unfinished yet

J. Nemec, supervisor M. Krizek
P. Novak, Numerical solution of sparse complex linear algebraic systems, supervisor K. Segeth
J. Solc, supervisor V. Zizler
P. Stupka, A posteriori error estimates in the finite element method, supervisor K. Segeth
R. Vodak, supervisor I. Straskraba

Associate professor (habilitation) theses

1995 M. Fabian: On subdifferentiability of non-convex functions
1996 K. Segeth: A posteriori error estimates and grid adjustment in the finite element method of lines
1997 V. Zizler: Contributions to smoothness in Banach spaces

DrSc. theses

1997 B. Maslowski: Asymptotic behaviour of stochastic evolution equations
1997 V. Zizler: Smoothness and structure of Banach spaces
1998 M. Fabian: Differentiability and structure of Banach spaces
1998 M. Markl: Operads in topology, algebra and mathematical physics
1998 J. Pelant: Covers and covering properties of topological and uniform spaces
1999 O. Dosly: Linear Hamiltonian systems
1999 E. Feireisl: Asymptotic behavior of solutions of nonlinear evolution differential equations

List of accredited doctoral programmes

With the Charles University in Prague: Further negotiations are in progress with the Pedagogical Faculty of the Charles University in Prague, University of West Bohemia in Pilsen, Masaryk University in Brno, and Palacky University in Olomouc.

List of universities where employees of the Institute have been teaching (courses, seminars and laboratory practice)

Numbers of hours per year for each year of 1995-1999.

Charles University, Czech Technical University, Czech University of Agriculture (Prague), University of West Bohemia (Pilsen), Masaryk University (Brno), Palacky University (Olomouc).
 
1995
1996
1997
1998
1999
Total
2 194
1 952
2 095
2 040
2 142
10 423

International activities

List of the international co-operations (bi- or multilateral agreements, joint projects, participation in international programs)

Membership in international organizations, collective as well as individual, positions held by employees of the Institute

Long-term (three month and longer) visits by foreign scientists to the Institute

Long-term (three month and longer) visits to foreign institutes and universities

name purpose institution  
J. Chleboun  research University of Westminster, London, UK 1 year 1995
J. Chleboun  research Texas Institute for Computational and Applied Mathe- 3 months in 1998
matics, The University of Texas at Austin, TX, U.S.A.
J. Chleboun  research Texas Institute for Computational and Applied Mathe- 5 months in 1998
matics, The University of Texas at Austin, TX, U.S.A.
E. Feireisl teaching Universite de Franche Comte, Besançon, France 6 months in 1998
research 
E. Feireisl teaching Universite de Franche Comte, Besançon, France 6 months in 1999 
research
P. Hajek research University of Alberta, Edmonton, Alberta, Canada 1 year 1996/97
P. Hajek research Universidad de Madrid, Spain 1 year 1997/98
P. Hajek research Texas A&M University, College Station, TX, U.S.A. 1 year 1998/99
J. Krajicek teaching Mathematical Institute of the University of Oxford, U.K. 2 years 1997/99
P. Krejci  teaching Universite de Technologie de Compi?gne, France 6 months in 1995
P. Krejci research  Weierstrass Institute, Berlin, Germany 4 years 1997/2000
M. Markl  teaching  University of North Carolina, Chapel Hill, NC, U.S.A. 6 months in 1996
research
B. Maslowski research Universitat Passau, Germany 1 year 1994/95
E. Matouskova teaching J. Kepler University, Linz, Austria 3 months in 1996
research
E. Matouskova teaching J. Kepler University, Linz, Austria 9 months in 1997
research
S. Matusu research  Instituto Superior Tecnico, Lisboa, and International Center of Mathematics, Coimbra, Portugal 5 months in 1999
V. Muller  teaching Georgia Institute of Technology, Atlanta, U.S.A.  9 months in 1995/96
research 
V. Muller  teaching  Universitat des Saarlandes, Germany 3 months in 1998
research
B. Opic  research  Florida Atlantic University, Boca Raton, U.S.A. 5 months in 1996
teaching
B. Opic  research  Technical University, Darmstadt, Germany 3 months in 1999
J. Sgall postdoc Hebrew University, Inst. of Computer Science, Jeru-
study salem, Israel 10 months in 1994/95
M. Silhavy  teaching Department of Theoretical Physics, University of Nottingham, U.K.  4 months in 1998
research

 International meetings organized and co-organized by the Institute

International awards, prizes

Contracts with non-R&D institutions

[Mathematical Institute AS CR] [Documents about the Institute]
Last changed August 3, 2000, by Jiri Sgall. Please mail any comments to www@math.cas.cz