Viitteet 1-10 / 12
Rainbows, Unicorns and Hoverboards Making of OASIS Story of a dream at the University of Tampere
(Tampereen yliopisto, 2014)
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)
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 ...
Academic Mindtrek Conference 2014 Open Source Software Liferay Solutions- E-Banking Account and MQ File System
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 ...
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality
(Tampereen yliopisto, 2014)
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 ...
Infinite networks, halting and local algorithms (Draft)
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)
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 ...
Modal Logics and Definability
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 ...
Defining a Double Team Semantics for Generalized Quantifiers
(Tampereen yliopisto, 2012)
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 ...
Kiina liiketoimintaympäristönä. Haastattelututkimus suomalaisjohtajien kokemuksista Kiinassa
(Tampereen yliopisto, 2011)
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 ...
A Portal Banking Solution Research, SQM and Inspire 2012 Tampere Conference
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 ...