Multi-access edge computing (MEC) is a new 5G enabling technology proposed to reduce
latency by bringing cloud computing capability closer to IoT and mobile device users. MEC …

The adoption of electronic patient records in hospitals will provide numerous benefits, but it
will also present new issues. One of these is the creation of deadlocks, which causes delays …

Electronic patient data gives many advantages, but also new difficulties. Deadlocks may
delay procedures like acquiring patient information. Distributed deadlock resolution …

Cell-free protein synthesis provides a flexible platform for the production of difficult-to-
express proteins, because maintaining cell viability is unnecessary. The antimicrobial …

Cloud computing has become a crucial aspect of Information Technology, offering solutions
to many of the challenges faced by internet users. However, the increasing number of users …

This PhD thesis investigates the effective ways of managing the resources of a Multi-Access
Edge Computing Platform (MEC) in 5th Generation Mobile Communication (5G) networks …

Abstract [eng] This master thesis analyzes the correctness of the popular cache system
“Redis Cluster”. The system is investigated using formal methods–in the TLA+ language two …