Sökning: "Verifiability"
Visar resultat 1 - 5 av 9 avhandlingar innehållade ordet Verifiability.
1. Secure and Privacy-Preserving Cloud-Assisted Computing
Sammanfattning : Smart devices such as smartphones, wearables, and smart appliances collect significant amounts of data and transmit them over the network forming the Internet of Things (IoT). Many applications in our daily lives (e.g., health, smart grid, traffic monitoring) involve IoT devices that often have low computational capabilities. LÄS MER
2. Cryptographic Tools for Privacy Preservation
Sammanfattning : Data permeates every aspect of our daily life and it is the backbone of our digitalized society. Smartphones, smartwatches and many more smart devices measure, collect, modify and share data in what is known as the Internet of Things. LÄS MER
3. On the Verifiability of the Activated Sludge System Dynamics
Sammanfattning : Wastewater treatment processes are inherently dynamic because of variations in the influent flow rate, concentration, and composition. The adaptive behaviour of the microorganisms further emphasizes this fact. Mathematical models and computer simulations are essential to describe, predict, and control the complicated interactions of the processes. LÄS MER
4. Outsourcing Computations to a Cloud That You Don't Trust
Sammanfattning : In many application scenarios, data need to be collected, stored and processed. Often sensitive data are collected from IoT devices, which are constrained regarding their resources, and, thus, remote, untrusted cloud servers are required to perform the computations. LÄS MER
5. Improved sequential decision-making with structural priors: Enhanced treatment personalization with historical data
Sammanfattning : Personalizing treatments for patients involves a period where different treatments out of a set of available treatments are tried until an optimal treatment is found, for particular patient characteristics. To minimize suffering and other costs, it is critical to minimize this search. LÄS MER