Aineistot 1-10 / 17
On Hyperbolic Type Metrics
(Suomalainen tiedeakatemia, 2009-03-20)
On Inner Products Involving Holomorphic Cusp Forms and Maass Forms
(Turku Centre for Computer Science, 2009-10-30)
Conservation Laws in Cellular Automata
(Turku Centre for Computer Science, 2009-04-17)
Conservation laws in physics are numerical invariants of the dynamics of a system. In cellular automata (CA), a similar concept has already been defined and studied. To each local pattern of cell states a real value is ...
On the computation of the class numbers of real Abelian fields
(Turku Centre for Computer Science, 2007-05-18)
On Identifying and Locating-Dominating Codes
(Turku Centre for Computer Science, 2011-06-22)
Structural and Computational Existence Results for Multidimensional Subshifts
(Turku Centre for Computer Science, 2015-07-31)
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 ...
On The Mean Square of Quadratic Dirichlet L-Functions at 1
(Suomalainen tiedeakatemia, 2008-04-16)
Numbers and Languages
(Turku Centre for Computer Science, 2013-03-15)
The thesis presents results obtained during the authors PhD-studies. First systems of language equations of a simple form consisting of just two equations are proved to be computationally universal. These are systems over ...
Class Field Theoretic Methods in the Design of Lattice Signal Constellations
(Turku Centre for Computer Science, 2008-04-16)
On Commutation and Conjugacy of Rational Languages and the Fixed Point Method
(Turku Centre for Computer Science, 2009-04-03)
The research on language equations has been active during last decades. Compared to the equations on words the equations on languages are much more difficult to solve. Even very simple equations that are easy to solve for ...