Haku
Viitteet 61-70 / 70
Proactive management of video transcoding services
(Turku Centre for Computer Science (TUCS), 2017-05-04)
The consumption of digital video has tremendously increased in the last decade due to advances in information technology, computational capability and communication networks. Following that, video processing applications ...
Optimizing Stateful Serverless Computing
(Åbo Akademi University, 2021-05-28)
Stateful serverless computing is a new paradigm within cloud computing. It successfully incorporates state management with serverless computing. Serverless computing is a form of cloud computing where the servers necessary ...
DIANA : Distributed and Safe Autonomous Navigation for a Swarm of Autonomous Vehicles
(Åbo Akademi University, 2021-05-07)
The autonomous systems are typical examples of complex distributed cyber-physical systems (CPS). The main characteristics of such systems is the use of autonomous vehicles. They are increasingly used in various mission-critical ...
Predicting Risk and Return in Peer-to-Peer Lending with Machine Learning : A Decision Making Approach
(Åbo Akademi University, 2021-12-03)
Credit risk is one of the prominent risk types in the financial industry. It is the risk associated with lending money to borrowers, where the risk is the likelihood of not receiving back the money as a result of borrowers ...
Scalable Multicore Computing Using Dataflow and Task‐based Models
(Åbo Akademi University, 2021-11-26)
Most of modern digital electronic devices and systems rely nowadays on multicore processors, in order to deliver a growing list of added‐value features and services. In this way multicore architectures have been able to ...
Computational Network Analytics for Applications in Biomedicine
(Åbo Akademi - Åbo Akademi University, 2022-06-03)
Network medicine has recently emerged as a field of research focusing on the analysis of networks modelling complex biological systems, for a better understanding of diseases and corresponding treatment. Building on results ...
Target Controllability of Cancer Networks
(Åbo Akademi University, 2020-06-12)
Advances in the field of complex networks theory and network biology pave a new way to define human health through the study of networks of proteins, genes, metabolites, modules across cell signaling pathways, and clinical ...
Model-based Verification and Testing of Web services : Functionality, Robustness and Vulnerability Analysis
(Åbo Akademi - Åbo Akademi University, 2020-04-04)
-
Formal Model Refinement for Complex Biological Systems
(Åbo Akademi - Åbo Akademi University, 2020-03-20)
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, ...
Contract-Based Design of Dataflow Programs
(Åbo Akademi - Åbo Akademi University, 2024-01-19)
Quality and correctness are becoming increasingly important aspects of software development, as our reliance on software systems in everyday life continues to increase. Highly complex software systems are today found in ...