Väitöskirjat
Uusimmat viitteet

Garbling Schemes and Applications
(TUCS Dissertations No 219, 17.03.2017)The topic of this thesis is garbling schemes and their applications. A garbling scheme is a set of algorithms for realizing secure twoparty computation. A party called a client possesses a private algorithm ... 
Analysis of Highdimensional and Leftcensored Data with Applications in Lipidomics and Genomics
(Annales Universitatis Turkuensis A I 548, 24.11.2016)Recently, there has been an occurrence of new kinds of high throughput measurement techniques enabling biological research to focus on fundamental building blocks of living organisms such as genes, proteins, and lipids. ... 
Rich Words and Balanced Words
(TUCS Dissertations No 213, 23.09.2016)This thesis is mostly focused on palindromes. Palindromes have been studied extensively, in recent years, in the field of combinatorics on words.Our main focus is on rich words, also known as full words. These are words ... 
Privileged Words and Sturmian Words
(TUCS Dissertations No 214, 19.08.2016)This dissertation has two almost unrelated themes: privileged words and Sturmian words. Privileged words are a new class of words introduced recently. A word is privileged if it is a complete ﬁrst return to a shorter ... 
Hierarchy and Expansiveness in TwoDimensional Subshifts of Finite Type
(Turku Center for Computer Science, 11.03.2016)Subshifts are sets of conﬁgurations over an inﬁnite grid deﬁned by a set of forbidden patterns. In this thesis, we study twodimensional subshifts ofﬁnite type (2D SFTs), where the underlying grid is Z2 and the ... 
Deﬁning Contexts in ContextFree Grammars
(TUCS Dissertations No 204, 25.09.2015)This thesis introduces an extension of Chomsky’s contextfree grammars equipped with operators for referring to left and right contexts of strings.The new model is called grammar with contexts. The semantics of ... 
Structural and Computational Existence Results for Multidimensional Subshifts
(TUCS Dissertations No 200, 31.07.2015)Symbolic dynamics is a branch of mathematics that studies the structure of inﬁnite sequences of symbols, or in the multidimensional case, inﬁnite grids of symbols. Classes of such sequences and grids deﬁned by collections ... 
Stability Analysis in Multicriteria Discrete Portfolio Optimization.
(Annales Universitatis Turkuensis A I 507, 20.02.2015)Almost every problem of design, planning and management in the technical and organizational systems has several conflicting goals or interests. Nowadays, multicriteria decision models represent a rapidly developing area ... 
On Distributed Storage Codes
(TUCS Dissertations No 192, 13.02.2015)Distributed storage systems are studied. The interest in such system has become relatively wide due to the increasing amount of information needed to be stored in data centers or different kinds of cloud systems. There are ... 
Combinatorics on Words. New Aspects on Avoidability, Defect Effect, Equations and Palindromes
(TUCS Dissertations No 172, 11.04.2014)In this thesis we examine four wellknown and traditional concepts of combinatorics on words. However the contexts in which these topics are treated are not the traditional ones. More precisely, the question of avoidability ... 
Mathematics inspired by Darwin. Adaptive dynamics of dispersal and cooperation
(Annales Universitatis Turkuensis A I 482, 07.02.2014)In 1859, Charles Darwin published his theory of evolution by natural selection, the process occurring based on fitness benefits and fitness costs at the individual level. Traditionally, evolution has been investigated by ... 
Combinatorics of Pisot Substitutions
(TUCS Dissertations No 164, 25.11.2013) 
Metrics of Hyperbolic Type and Moduli of Continuity of Maps
(Annales Universitatis Turkuensis A I 466, 13.08.2013) 
Hyperbolic type metrics and distortion of quasiconformal map pings
(Annales Universitatis Turkuensis A I 462, 23.05.2013)This Ph.D. thesis consists of four original papers. The papers cover several topics from geometric function theory, more specifically, hyperbolic type metrics, conformal invariants, and the distortion properties of ... 
Qualitative Characteristics and Quantitative Measures of Solution's Reliability in Discrete Optimization: Traditional Analytical Approaches, Innovative Computational Methods and Applicability
(Annales Universitatis Turkuensis A I 451, 18.12.2012)The purpose of this thesis is twofold. The first and major part is devoted to sensitivity analysis of various discrete optimization problems while the second part addresses methods applied for calculating measures of ... 
On Identifying and LocatingDominating Codes in the Infinite King Grid
(TUCS Dissertations No 155, 13.12.2012) 
Word Equations and Related Topics. Independence, Decidability and Characterizations
(TUCS Dissertations No 145, 18.05.2012)The three main topics of this work are independent systems and chains of word equations, parametric solutions of word equations on three unknowns, and unique decipherability in the monoid of regular languages. The ... 
On Identifying and LocatingDominating Codes
(TUCS Dissertations No 137, 22.06.2011) 
Quasiconformal mappings and inequalities involving special functions
(Annales Universitatis Turkuensis A I 420, 20.06.2011)This PhD thesis in Mathematics belongs to the field of Geometric Function Theory. The thesis consists of four original papers. The topic studied deals with quasiconformal mappings and their distortion theory in Euclidean ... 
On Undecidable Dynamical Properties of Reversible OneDimensional Cellular Automata
(TUCS Dissertations No 129, 29.10.2010)Cellular automata are models for massively parallel computation. A cellular automaton consists of cells which are arranged in some kind of regular lattice and a local update rule which updates the state of each cell according ...