Selaus asiasanan mukaan kokoelmassa Åbo Akademi

    • Evaluating multidimensional visualization techniques in data mining tasks 

      Marghescu, Dorina
      TUCS Dissertations : 107 (Turku Centre for Computer Science (TUCS), 07.11.2008)
      Visual data mining (VDM) tools employ information visualization techniques in order to represent large amounts of high-dimensional data graphically and to involve the user in exploring data at different levels of detail. ...
    • Examining human-centered design practice in the mobile apps era 

      Eshet, Eyal
      TUCS Dissertations : 212 (Turku Centre for Computer Science (TUCS), 10.06.2016)
      Human-Centered Design (HCD) is a well-recognized approach to the design of interactive computing systems that supports everyday and professional lives of people. To that end, the HCD approach put central emphasis on the ...
    • Formal Analysis of Network Routing Protocols 

      Kamali, Mojgan
      TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)
      The use of wireless networks has been on the rise for some time now, from the ubiquitous smart phones and laptops in use everywhere, to sensor networks collecting large amounts of data. In this dissertation, we focus on ...
    • Formal development and quantitative verification of dependable systems 

      Tarasyuk, Anton
      TUCS Dissertations : 156 (Turku Centre for Computer Science (TUCS), 28.01.2013)
      Modern software-intensive systems are becoming increasingly complex. Yet we are observing the pervasive use of software in such critical infrastructures as transportation systems, healthcare, telecommunication, energy ...
    • Formal development of resilient distributed systems 

      Pereverzeva, Inna
      TUCS Dissertations : 203 (Turku Centre for Computer Science (TUCS), 02.10.2015)
      Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the ...
    • Formal Model Refinement for Complex Biological Systems 

      Sanwal, Muhammad Usman (Åbo Akademi - Åbo Akademi University, 20.03.2020)
      There is a big interest in building large biological models and various approaches are being used for constructing such systems. Larger models are needed in system-level approaches (such as systems biology, systems medicine, ...
    • Formal modelling for digital media distribution 

      Sandvik, Petter
      TUCS Dissertations : 206 (Turku Centre for Computer Science (TUCS), 13.11.2015)
      Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological ...
    • Fraud detection in the banking sector : a multi-agent approach 

      Buoni, Alessandro
      TUCS Dissertations : 150 (Turku Centre for Computer Science (TUCS), 08.11.2012)
      Fraud is an increasing phenomenon as shown in many surveys carried out by leading international consulting companies in the last years. Despite the evolution of electronic payments and hacking techniques there is still ...
    • Fuzzy ontology for knowledge mobilisation and decision support 

      Wikström, Robin (Åbo Akademi - Åbo Akademi University, 13.06.2014)
      A growing concern for organisations is how they should deal with increasing amounts of collected data. With fierce competition and smaller margins, organisations that are able to fully realize the potential in the data ...
    • How computer programmers work : understanding software development in practise 

      Suenson, Espen
      TUCS Dissertations : 197 (Turku Centre for Computer Science (TUCS), 12.06.2015)
      Hur arbetar en framgångsrik programmerare? Uppgifterna att programmera datorspel och att programmera industriella, säkerhetskritiska system verkar tämligen olika. Genom en noggrann empirisk undersökning jämför och kontrasterar ...
    • Knowledge-lean Text Mining 

      Rönnqvist, Samuel
      TUCS Dissertations : 227 (Turku Centre for Computer Science (TUCS), 08.12.2017)
      This thesis explores the process of introducing text mining to new areas of application, which involves both defining appropriate types of analysis and often designing appropriate computational methods to support the ...
    • m-Equine : IS support for the horse industry 

      Leskinen, Sonja
      TUCS Dissertations : 169 (Turku Centre for Computer Science (TUCS), 24.01.2014)
      The horse industry is in many ways still operating the same way as it did in the beginning of the 20th century. At the same time the role of the horse has changed dramatically, from a beast of burden to a top athlete, a ...
    • Mapping financial stability 

      Sarlin, Peter
      TUCS Dissertations : 159 (Turku Centre for Computer Science (TUCS), 07.06.2013)
      The ongoing global financial crisis has demonstrated the importance of a systemwide, or macroprudential, approach to safeguarding financial stability. An essential part of macroprudential oversight concerns the tasks of ...
    • Methods for construction and analysis of computational models in systems biology : applications to the modelling of the heat shock response and the self-assembly of intermediate filaments 

      Mizera, Andrzej
      TUCS Dissertations : 138 (Turku Centre for Computer Science (TUCS), 26.08.2011)
      Systems biology is a new, emerging and rapidly developing, multidisciplinary research field that aims to study biochemical and biological systems from a holistic perspective, with the goal of providing a comprehensive, ...
    • Model-based testing of software systems : functionality and performance 

      Abbors, Fredrik
      TUCS Dissertations : 202 (Turku Centre for Computer Science (TUCS), 04.09.2015)
      Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, ...
    • Model-based Verification and Testing of Web services : Functionality, Robustness and Vulnerability Analysis 

      Siavashi, Faezeh (Åbo Akademi - Åbo Akademi University, 04.04.2020)
      -
    • Model-driven development and verification of fault tolerant systems 

      Javed, Kashif
      TUCS Dissertations : 223 (Turku Centre for Computer Science (TUCS), 24.05.2017)
      Dependability is an ability of a computer-based system to deliver services that can be justifiably trusted. There is a wide range of computer-based systems that provide services that are critical for our society, e.g., ...
    • New Approach for Market Intelligence Using Artificial and Computational Intelligence 

      Yoseph, Fahed (Åbo Akademi - Åbo Akademi University, 10.02.2023)
      Small and medium sized retailers are central to the private sector and a vital contributor to economic growth, but often they face enormous challenges in unleashing their full potential. Financial pitfalls, lack of adequate ...
    • On advancing business intelligence in the electricity retail market 

      Liu, Hongyan
      TUCS Dissertations : 182 (Turku Centre for Computer Science (TUCS), 30.09.2014)
      In recent decades, business intelligence (BI) has gained momentum in real-world practice. At the same time, business intelligence has evolved as an important research subject of Information Systems (IS) within the decision ...
    • On the impact of rigorous approaches on the quality of development 

      Olszewska, Marta
      TUCS Dissertations : 143 (Turku Centre for Computer Science (TUCS), 12.12.2011)
      Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges ...