Haku
Viitteet 1-10 / 12
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 ...
Kiina liiketoimintaympäristönä. Haastattelututkimus suomalaisjohtajien kokemuksista Kiinassa
(Tampereen yliopisto, 2011)
- book
Kiina liiketoimintaympäristönä sivustojen julkaisun tavoitteena on koota ajankohtaista ja suomalaisyritysten toiminnan kannalta relevanttia tietoa, jota voidaan hyödyntää sekä investointipäätösten valmistelussa että Kiinan ...
IDENTITEETISTÄ INFORMAATIOLUKUTAITOON: tavoitteena itsenäinen ja yhteisöllinen oppija
(Tampere University Press, 2015)
- book
Tavoitteena itsenäinen oppija –
identiteetin ja informaatiolukutaitojen vahvistaminen koulutuksessa
Peruskoulutuksen uusi, vuonna 2014 vahvistettu opetussuunnitelma korostaa oppimistavoitteena laaja-alaista osaamista ...
A Portal Banking Solution Research, SQM and Inspire 2012 Tampere Conference
(2012)
- book
Abstract
The growth of the Internet as a financial business and core banking has done possible for everyday life for everyone. Core Banking solutions are banking applications on a platform enabling a phased, strategic ...
Logics of Imperfect Information without Identity
(2011)
- book
We investigate the expressive power of sentences of the family of independence friendly (IF) logics in the equality-free setting. Various natural equality-free fragments of logics in this family translate into the version ...
Rainbows, Unicorns and Hoverboards Making of OASIS Story of a dream at the University of Tampere
(Tampereen yliopisto, 2014)
- book
OASIS is a social learning and research space at the University of Tampere. The key characteristic of the space is its playful, elevated auditorium-like floor plan with bookshelves and four group stations with TV screens ...
Defining a Double Team Semantics for Generalized Quantifiers (Extended Version)
(Tampereen yliopisto, 2013)
- book
In this brief technical report we sketch a semantics for first-order logic with generalized quantifi ers based on double teams. We also defi ne the notion of a generalized atom. Such atoms can be used in order to defi ne ...