Matemaatika-informaatikateaduskonnas kaitstud doktoritööd
Kaili Müürisep "Eesti keele arvutigrammatika: süntaks"
Ella Puman "Plastsete kooniliste koorikute optimiseerimine"
Varmo Vene "Categorical Programming with Inductive and Coinductive Types"
Tiina Puolakainen "Eesti keele arvutigrammatika: morfoloogiline ühestamine"
Olga Sokratova "Ω-rings, their flat and projective acts, with some applications"
Maria Zeltser "Investigation of double sequence spaces by soft and hard analytical methods"
Ernst Tungel "Optimization of plastic spherical shells"
Rainis Haller "M(r,s)-inequalities"
Jan Villemson "Size-efficient Interval Time Stamps"
Mart Abel "Structure of Gelfand-Mazur algebras"
Olga Dunajeva "Asymptotic Matrix Methods in statistical inference problems"
Vladimir Kut¨mei "Affine completeness of some Ockham algebras"
Kristiina Hakk "Approximation methods for weakly singular integral equations with discontinuous coefficients"
Märt Möls "Linear mixed models with equivalent predictors"
Tatjana Nahtman "Permutation invariance and reparameterizations in linear models"
Mare Tarang "Stability of the spline collocation method for Volterra integro-differential equations"
Meelis Käärik "Fitting sets to probability distributions"
Inga Parts "Piecewise polynomial collocation methods for solving weakly singular integro-differential equations"
Natalja Saealle "Convergence and summability with speed of functional series"
Tanel Kaart "The Reliability of Linear Mixed Models in genetic Studies"
Kadre Torn "Shear and bending response of inelastic structures to dynamic loads"
Kristel Mikkor "Uniform factorization for compact subsets of Banach spaces of operators"
Darja Saveljeva "Quadratic and cubic spline collocation for Volterra integral equations"
Annely Mürk "Optimization of inelastic plates with cracks"
Kristo Heero "Path Planning and Learning Strategies for Mobile Robots in Dynamic Partially Unknown Environments"
Olga Panova "Real Gelfand-Mazur algebras"
Annemai Raidjõe "Sequence spaces defined by modulus functions and superposition operators"
Härmel Nestra "Iteratively defined transfinite trace semantics and program slicing with respect to them"
Margus Pihlak "Approximation of Multivariate Distribution Functions"
Ene Käärik "Handling Dropouts in Repeated Measurements Using Copulas"
Artur Sepp "Affine Models in Mathematical Finance: an Analytical Approach"
Marina Issakova "Solving of linear equations, linear inequalities and systems of linear equations in interactive learning environment"
Kaja Sõstra "Restriction estimator for domains"
Kaarel Kaljurand "Attempto controlled English as a semantic web language"
Mart Anton "Mechanical modeling of IPMC actuators at large deformations"
Evely Leetma "Solution of smoothing problems with obstacles"
Ants Kaasik "Estimating ruin probabilities in the Cramér-Lundberg model with heavy-tailed claims"
Reimo Palm "Numerical comparison of regularization algorithms for solving ill-posed problems"
Jüri Reimand "Functional analysis of gene lists, networks and regulatory systems"
Indrek Zolk "The commuting bounded approximation property of Banach spaces"
Ahti Peder "Superpositional Graphs and Finding the Description of Structure by Counting Method"
Marek Kolk "Piecewise Polynominal Collocation for Volterra Integral Equations with Singularities"
Vesal Vojdani "Static Data Race Analysis of Heap-Manipulating C Programs"
Larissa Roots "Free vibrations of stepped cylindrical shells containing cracks"
Mark Fi¨el "Optimizing Statistical Machine Translation via Input Modification"
Margus Niitsoo "Black-box Oracle Separation Techniques with Applications in Time-stamping"
Olga Liivapuu "Graded q-differential algebras and algebraic models in noncommutative geometry"
Aleksei Lissitsin "Convex approximation properties of Banach spaces"
Lauri Tart "Morita equivalence of partially ordered semigroups"
Siim Karus "Maintainability of XML Transformations"
Margus Treumuth "A Framework for Asynchronous Dialogue Systems: Concepts, Issues and Design Aspects"
Dmitri Lepp "Solving simplification problems in the domain of exponents, monomials and polynomials in interactive learning environment T-algebra"
Nadežda Bazunova "Differential Calculus d^3=0 on Binary and Ternary Associative Algebras"
Meelis Kull "Statistical enrichment analysis in algorithms for studying gene regulation"
Natalja Lepik "Estimation of domains under retsrictions built upon generalized regression and synthetic estimators"
Bingsheng Zhang "Efficient Cryptographic Protocols for Secure and Private Remote Databases"
Reina Uba "Merging Business Process Models"
Uuno Puus „Structural Performance as a Success Factor in Software Development Projects - Estonian Experience„
Marje Johanson "M(r,s)-ideals of compact operators"
Georg Singer "Web Search Engines and Complex Information Needs"
Vitali Retšnoi "Vector fields and Lie group representations"
Dan Bogdanov "Sharemind: programmable secure computations with practical applications“
Jevgeni Kabanov "Towards a more productive Java EE ecosystem"
Erge Ideon "Rational spline collocation for boundary value problems"
Esta Kägo "Natural vibrations of elastic stepped plates with cracks"
Margus Freudenthal "Simpl: A Toolkit for Domain-Specific Language Development in Enterprise Information Systems"
Boriss Vlassov "Optimization of stepped plates in the case of smooth yield surfaces"
Elena Safiulina "Parallel and semiparallel space-like submanifolds of low dimension in pseudo-Euclidean space"
Raivo Kolde "Methods for re-using public gene expression data"
Vladimir Šor " Statistical approach for memory leak detection in Java applications"
Naved Ahmed "„Deriving Security Requirements from Business Process Models“
Kerli Orav-Puurand „Central Part Interpolation Schemes for Weakly Singular Integral Equations“
Liina Kamm „Privacy-preserving statistical analysis using secure multi-party computation“
Kati Ain „Compactness and null sequences defined by ℓp spaces“
Helle Hallik "Rational Spline Histopolation"
Oleg Košik „Categorical equivalence in algebra”
Kaido Lätt „Singular Fractional Differential Equations and Cordial Volterra Integral Operators“
Abel Armas Cervantes „Diagnosing Behavioral Differences Between Business Process Models“
Fredrik Payman Milani „On Sub-Processes, Process Variation and their Interplay: An Integrated Divide-and-Conquer Method for Modeling Business Processes with Variation“
Johann Langemets "Geometrical structure in diameter 2 Banach spaces"
Huber Raul Flores Macario “Service-Oriented and Evidence-aware Mobile Cloud Computing”