Viitteet 1-2 / 2
A Compiler Approach to Map Algebra for Raster Spatial Modeling
(Turku Centre for Computer Science (TUCS), 2019-08-30)
Modeling and simulation enables the study of spatial phenomena that are otherwise impossible to reproduce in the physical world. On the one hand, digital models replicate the shape and state of the Earth with bits and bytes ...
Formal Analysis of Network Routing Protocols
(Turku Centre for Computer Science (TUCS), 2019-08-23)
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 ...