Reconstruction of the diaphragmatic surface in movement based on multiple MR temporal...

Formal specification and verification of requirements for air traffic systems

Air conditioning control systems modelling using Petri nets

Analysis of creep forces and the dynamic behavior of wheelset

Automatic reading of measurement devices analogical displays using computer visi...

Sem título em inglês

Design of adsorption systems by topology optimisation

Optimization and manufacturing of piezoelectric devices with functionally graded...

Rotor for a transventricular blood pump

Reinforcement learning applied to vessel navigation in fast-time simulations