Viitteet 1-4 / 4
The lattice Boltzmann method, a petaflop and beyond
(Turku Centre for Computer Science (TUCS), 2018-04-20)
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 ...
Servicescape for Digital Wellness Services for Young Elderly
(Åbo Akademi University, 2018-12-14)
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 ...