• A Compiler Approach to Map Algebra for Raster Spatial Modeling 

      Carabaño Bravo, Jesús (Turku Centre for Computer Science (TUCS), 30.08.2019)
      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 

      Kamali, Mojgan
      TUCS Dissertations : 242 (Turku Centre for Computer Science (TUCS), 23.08.2019)
      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 ...
    • Servicescape for Digital Wellness Services for Young Elderly 

      Allmér, Hans (Åbo Akademi University, 14.12.2018)
    • The lattice Boltzmann method, a petaflop and beyond 

      Robertsén, Fredrik (Turku Centre for Computer Science (TUCS), 20.04.2018)
      With computer simulations real world phenomena can be analyzed in great detail. Computational fluid dynamics, for example, allows simulation of fluid flow phenomena that might not otherwise be observable or researchers ...