Haku
Viitteet 1-10 / 89
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, ...
Tuovi 14 : Interaktiivinen tekniikka koulutuksessa 2016-konferenssin tutkijatapaamisen artikkelit
(Tampereen yliopisto, 2016)
- report
IS Reviews 2015
(Tampereen yliopisto, 2015)
- report
Tietotekniikan Majava-kilpailu - vuoden 2014 tehtävät
(Tampereen yliopisto, 2015)
- report
State change languages as homomorphic images of Szilard languages
(University of Tampere, 2016)
- report
KINOSTE - kirjastojen informaatioteknologian osaaminen Pilottihankkeen loppuraportti
(Tampereen yliopisto, 2014)
- report
Tampereen yliopiston TRIM-tutkimuskeskus toteutti 1.1.2014–30.6.2014 välisenä aikana Kinoste-verkkopalvelun, jossa kirjastojen työntekijät voivat arvioida omaa tieto- ja viestintätekniikan osaamistaan ja kirjastonsa ...
Suomalaisten omahoito ‐ ja terveystaltio ‐ ratkaisujen tarkastelua kansallisen kehityksen näkökulmasta
(Tampereen yliopisto, 2014)
- report
Analyysi 1
(Tampereen yliopisto, 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 ...