Selaus julkaisuajan mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet
Viitteet 1-20 / 72
-
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. ... -
Teaching mathematics and programming : new approaches with empirical evaluation
TUCS Dissertations : 124 (Turku Centre for Computer Science (TUCS), 27.11.2009)Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that ... -
Tool-supported invariant-based programming
TUCS Dissertations : 127 (Turku Centre for Computer Science (TUCS), 17.08.2010)The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to ... -
Combining model-based testing and stepwise formal development
TUCS Dissertations : 130 (Turku Centre for Computer Science (TUCS), 04.10.2010) -
A practice perspective on organizational implementation of information technology
TUCS Dissertations : 132 (Turku Centre for Computer Science (TUCS), 20.12.2010)Implementering av ett informationssystem ur en organisatorisk synvinkel initieras av en idé om ett system och avslutas då användningen av det inte längre kräver en medveten ansträngning. Ifall tolkningen av implementering ... -
Towards increased productivity and quality in software development using agile, lean and collaborative approaches
TUCS Dissertations : 133 (Turku Centre for Computer Science (TUCS), 11.02.2011)Dagens programvaruindustri står inför alltmer komplicerade utmaningar i en värld där programvara är nästan allstädes närvarande i våra dagliga liv. Konsumenten vill ha produkter som är pålitliga, innovativa och rika i ... -
Solving the puzzle of mobile learning adoption
TUCS Dissertations : 134 (Turku Centre for Computer Science (TUCS), 18.05.2011)The dissertation seeks to explore how to improve users‘ adoption of mobile learning in current education systems. Considering the difference between basic and tertiary education in China, the research consists of two ... -
Some advances in mathematical models for preference relations
TUCS Dissertations : 136 (Turku Centre for Computer Science (TUCS), 10.06.2011)Preference relations, and their modeling, have played a crucial role in both social sciences and applied mathematics. A special category of preference relations is represented by cardinal preference relations, which are ... -
Applications of graph transformation in tools for domain-specific modeling languages
(Åbo Akademi - Åbo Akademi University, 17.06.2011)The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the ... -
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, ... -
A quantitative view on fuzzy numbers
TUCS Dissertations : 142 (Turku Centre for Computer Science (TUCS), 08.12.2011)Since its introduction, fuzzy set theory has become a useful tool in the mathematical modelling of problems in Operations Research and many other fields. The number of applications is growing continuously. In this thesis ... -
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 ... -
Opening the black-box of IT artifacts : looking into mobile service characteristics and individual perception
TUCS Dissertations : 149 (Turku Centre for Computer Science (TUCS), 02.11.2012) -
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 ... -
Searching for keys to successful post-merger integration : a longitudinal case-study following a public sector merger
(Åbo Akademi - Åbo Akademi University, 23.11.2012)Unsuccessful mergers are unfortunately the rule rather than the exception. Therefore it is necessary to gain an enhanced understanding of mergers and post-merger integrations (PMI) as well as learning more about how mergers ... -
Trustworthy context dependency in ubiquitous systems
TUCS Dissertations : 151 (Turku Centre for Computer Science (TUCS), 26.11.2012)The modern society is getting increasingly dependent on software applications. These run on processors, use memory and account for controlling functionalities that are often taken for granted. Typically, applications ... -
Scheduling of guarded command based models
TUCS Dissertations : 152 (Turku Centre for Computer Science (TUCS), 10.12.2012)Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded ... -
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 ... -
Towards combining interactive mobile TV and smart spaces : architectures, tools and application development
TUCS Dissertations : 157 (Turku Centre for Computer Science (TUCS), 15.02.2013)Technological developments in microprocessors and ICT landscape have made a shift to a new era where computing power is embedded in numerous small distributed objects and devices in our everyday lives. These small computing ... -
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 ...
