Haku
Viitteet 1-10 / 36
Hybrid Playful Experiences : Playing between Material and Digital - Hybridex Project, Final Report
(University of Tampere, 2016)
- report
Some of the future’s most important product innovations will be made at the borderline of physical and immaterial realities. New technologies enable development where immaterial products become materialized in novel ways, ...
IS Reviews 2015
(Tampereen yliopisto, 2015)
- report
State change languages as homomorphic images of Szilard languages
(University of Tampere, 2016)
- report
Infinite networks, halting and local algorithms (Draft)
(2013)
- book
The immediate past has witnessed an increasing amount of interest in local algorithms, i.e., constant time distributed graph algorithms. In the recent survey of local algorithms (Suomela, ACM Computing Surveys, 2013), it ...
Modal Logic and Distributed Message Passing Automata (Preliminary Draft)
(2013)
- book
In a recent article, Lauri Hella and co-authors identify a canonical connection between modal logic and deterministic distributed constant-time algorithms. The paper reports a variety of highly natural logical characterizations ...
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality
(Tampereen yliopisto, 2014)
- book
Uniform one-dimensional fragment UF is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in ...
Modal Logics and Definability
(2013)
- book
In recent years, research into the mathematical foundations of modal logic has become increasingly popular. One of the main reasons for this is the fact that modal logic seems to adapt well to the requirements of a wide ...
On the terms 'knowledge' and 'method' in design research
(University of Tampere, 2016)
- report
It is important to understand some key concepts of the Information Systems (IS), for
example, knowledge and method. In design science there are many different knowledge.
Here we try to differentiate a true value of ...
Software project management summaries 2013
(Tampereen yliopisto, 2013)
- report
Conversion of XML‐based Open Data into Relational Closed Data
(Tampereen yliopisto, 2014)
- report