-
, encryption/decryption and compression; use of microelectronics devices (including COTS); implementation, inference, verification and validation of algorithms** on processing hardware platforms for space
-
on the resulting algorithms and pipelines. As an emerging paradigm, differentiable programming builds upon several areas of computer science and applied mathematics, including automatic differentiation, graphical
-
profile, experience and research proposal. Planning and autonomy: The objective is to study the state of the art of planning algorithms that would support onboard autonomous operations of a rover system on
-
optimisation, distributed-parallel-GPU optimisation (e.g. pagmo2), Taylor-based numerical integration of ODEs (e.g. heyoka), differential algebra and high order automated differentiation (audi), quantum