Haku
Viitteet 1-10 / 10
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 ...
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 ...
Defining a Double Team Semantics for Generalized Quantifiers
(Tampereen yliopisto, 2012)
- book
In this brief technical report we sketch a semantics for fi rst-order logic with generalized quantifiers based on double teams. We also define the notion of a generalized atom. Such atoms can be used in order to define ...
Academic Mindtrek Conference 2014 Open Source Software Liferay Solutions- E-Banking Account and MQ File System
(2014)
- book
Internet banking enables customers to save time, take control of their personal finances and even help the environment by opting to receive electronic statements. For Internet banking users, online banking services is the ...