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...

Topology optimization for 2D swirl flows with application in the design of a ventricular...

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