"Informaatiotieteiden yksikkö - School of Information Sciences" - Selaus tiedekunnan mukaan (- 2018)Erillisteokset ja sarjajulkaisut

Viitteet 1-20 / 90

    • A Portal Banking Solution Research, SQM and Inspire 2012 Tampere Conference 

      Hemming, Jyrki (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 ...

    • Academic Mindtrek Conference 2014 Open Source Software Liferay Solutions- E-Banking Account and MQ File System 

      Nummenmaa, Jyrki; Berki, Eleni; Hemming, Jyrki (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 ...

    • Algoritmit 

      Mäkinen, Erkki; Poranen, Timo
      Informaatiotieteiden yksikön raportteja - Reports in Information Sciences : 1/2011 (Tampereen yliopisto, 2011)
      report

    • An Approach for Designing and Implementing a Visual XML Dataspace System 

      Moilanen, Katja; Niemi, Timo; Kuru, Mikko
      Reports in Information Sciences : 16/2012 (University of Tampere, 2012)
      report

    • Analyysi 1 

      Koivisto, Pertti
      Informaatiotieteiden yksikön raportteja - Reports in Information Sciences : 46/2016 (Tampereen yliopisto, 2016)
      report

    • Bäver-tävlingen i informationsteknik - uppgifterna för år 2010 

      Hintala, Markku; Kiiskinen, Antti; Lempiäinen, Taina; Ots, Karl; Paukkunen, Jenni; Poranen, Timo; Pylkki, Ville; Salminen, Erja; Vartiainen, Juha; Virta, Paavo
      Informaatiotieteiden yksikön raportteja - Reports in Information Sciences : 11/2012 (Tampereen yliopisto, 2012)
      report

    • Changing Faces of Game Innovation. GaIn and GIIP Research Project Report 

      Kultima, Annakaisa; Alha, Kati; Informaatiotieteiden yksikkö - School of Information Sciences; University of Tampere
      TRIM Research Reports : 4 (Tampereen yliopisto, 2011)
      report
      This book is a collection of research and concept papers developed as a result of the Games and Innovation (GaIn) and Games Industry Innovation Processes (GIIP) research projects. The GaIn research project (January 2009-March ...

    • Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality 

      Kieronski, Emanuel; Kuusisto, Antti (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 ...

    • Conversion of XML‐based Open Data into Relational Closed Data 

      Niemi, Timo; Näppilä, Turkka
      Informaatiotieteiden yksikön raportteja - Reports in Information Sciences : 33/2014 (Tampereen yliopisto, 2014)
      report

    • Defining a Double Team Semantics for Generalized Quantifiers 

      Kuusisto, Antti (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 ...

    • Defining a Double Team Semantics for Generalized Quantifiers (Extended Version) 

      Kuusisto, Antti (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 ...

    • Ekosysteemi ja menetelmällinen ohjeisto terveydenhuollon tietojärjestelmäpalvelun hankintaan 

      Nykänen, Pirkko; Tyllinen, Mari; Lääveri, Tinja; Seppälä, Antto; Kaipio, Johanna; Nieminen, Marko
      Informaatiotieteiden yksikön raportteja - Reports in Information Sciences : 45/2016 (Tampereen yliopisto, 2016)
      report

    • Formal Definition of Traceability Graph 

      Junkkari, Marko; Sirkka, Antti
      Reports in Information Sciences : 3 (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 ...

    • Free2Play Research Project Final Report 

      Paavilainen, Janne; Koskinen, Elina; Hamari, Juho; Kinnunen, Jani; Alha, Kati; Keronen, Lauri; Mäyrä, Frans; Informaatiotieteiden yksikkö - School of Information Sciences; University of Tampere
      TRIM Research Reports : 18 (Tampereen yliopisto, 2016)
      report
      The free-to-play revenue model has gained wide popularity in the video games industry. Distributing games for free and monetizing through in-app purchases has been proven to be a lucrative business and a promising ...

    • Games and Innovation Research Seminar 2011 Working Papers 

      Kultima, Annakaisa; Peltoniemi, Mirva; Informaatiotieteiden yksikkö - School of Information Sciences; University of Tampere
      TRIM Research Reports : 7 (Tampereen yliopisto, 2012)
      report
      The games industry carries the image of innovation and creativity, but still we know relatively little about the innovation processes that take place within the domain. To date, games and innovation have been studied in ...

    • Haastattelu tietojenkäsittelytieteen tutkimuksessa 

      Tiainen, Tarja
      Informaatiotieteiden yksikön raportteja - Reports in Information Sciences : 25/2014 (Tampereen yliopisto, 2014)
      report

    • Hybrid Playful Experiences : Playing between Material and Digital - Hybridex Project, Final Report 

      Tyni, Heikki; Kultima, Annakaisa; Nummenmaa, Timo; Alha, Kati; Kankainen, Ville; Mäyrä, Frans
      TRIM Research Reports : 19 (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, ...

    • Infinite networks, halting and local algorithms (Draft) 

      Kuusisto, Antti (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 ...

    • Insights into Modal Slash Logic and Modal Decidability 

      Tulenheimo, Tero
      Reports in Information Sciences : 6 / 2012 (Tampereen yliopisto, 2012)
      report
      The present paper has a two-fold task. On the one hand, it aims to provide an overview on Independence friendly modal logic as defined in (Tulenheimo, 2003; Tulenheimo, 2004) and studied in a number of subsequent publications. ...

    • IS Reviews 2011 

      Järvinen, Pertti; Informaatiotieteiden yksikkö - School of Information Sciences; University of Tampere
      Reports in Information Sciences : 4 / 2011 (Tampereen yliopisto, 2012)
      report