Selaus asiasanan mukaan kokoelmassa Åbo Akademi
Viitteet 21-40 / 71
-
Evaluating multidimensional visualization techniques in data mining tasks
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
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
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
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
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
(Å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
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
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
(Å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
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
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
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
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
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
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
(Åbo Akademi - Åbo Akademi University, 04.04.2020)- -
Model-driven development and verification of fault tolerant systems
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
(Å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
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
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 ...