Haku
Viitteet 11-20 / 322
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
Formal Definition of Traceability Graph
(Tampereen yliopisto, 2011)
- report
Data-centric workflows focus on how the data is transferred between processes and how it is logically stored. In addition to traditional workflow analysis, these can be applied to monitoring, tracing, and analyzing data ...
Parental academic involvement in adolescence as predictor of mental health trajectories over the life course: a prospective population-based cohort study
(2015)
- article
Background
Mental health problems are rising, especially among younger people, indicating a need to identify determinants of the development of mental health over the life course. Parental involvement in their children’s ...
A Method for Continuous Information Technology Supervision: The Case of the Estonian Financial Sector
(Tampere University Press, 2012)
Väitöskirja
Väitöskirja
Nykyään yritykset ja niiden liiketoiminta ovat yhä enemmän riippuvaisia tietotekniikan (IT) ratkaisuista, ja liiketoiminnan IT-riskit lisääntyvät edelleen. Rahoitusala on erityisen herkkä, koska se hallinnoi asiakkaan ...