Authors: Artur Plichta, Adam Piasecki
Keywords: road investment, laser scanning, geophysics, ground penetrating radar
Article
Author: Agnieszka M. Zbrzezny
Keywords: SAT-based bounded model checking, ECTL, RTECTL, translation
Article
Authors: German Efremov, Julia Geller
Keywords: optimization, cascade reactors, dynamic programming, polymerization
Article
Authors: Zygmunt Sobol, Tomasz Hebda, Bogusława Łapczyńska-Kordon
Keywords: potato tuber, fried products, texture
Article
Authors: Mirosław Bramowicz, Sławomir Kulesza, Wojciech Sobieski
Keywords: granular beds, porosity, fractal analysis, numerical modelling
Article
Authors: Adam Ciećko, Grzegorz Grunwald
Keywords: GNSS, EGNOS, Safety of Life service, air navigation
Article