Date Signature Name ATTACHMENTS: GNU General Public License Version 2 GNU Free Documentation License Version 1.1

The predicate takes five parameters: name of the document at hand ( Document ), name of the parent element/attribute ( ParentDataItemName ), name of the element or attribute to

Thesis for the degree of Doctor of Science in Technology to be presented with due permission for public examination and criticism in Konetalo Building, Auditorium K1702, at

Thesis for the degree of Doctor of Technology to be presented with due permission for public examination and criticism in Festia Building, Auditorium Pieni Sali 1, at Tampere

Volberg under the name of Bellman functions to prove results, old and new: The dyadic version of Carleson’s embedding theorem and the dyadic maximal function are the first

Kuva 8. Arviointiprosessin toteutusvaiheet ja -tasot. Tutkijat seurasivat ja sparrasivat palvelukodeissa sovittujen toimenpiteiden to- teutumista aina alkusyksylle 2010.

For RE over star-free expressions we use a corresponding version of the game to show that the number of stars also gives a full hierarchy in terms of expressive power already in

‘This article is © Emerald Group Publishing and permission has been granted for this version to appear here (www.uva.fi). Emerald does not grant permission for this article to

40.. Accepted Manuscript: This is the author's version of the work. It is posted here by permission of the AAAS for personal use, not for redistribution. S8).. where is a