Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Investigation of the use of Intelligent Systems for Efficient Mapping of Applicati...
Instruments, studies and projects aimed at preserving the industrial landscape
Development of new capabilities for the computer grid simulator iSPD: characterizi...
Study of DC/DC Topologies Associated to Multipulse Rectifiers with differential co...
Numerical methods for the next generation weather and climate models
Effects of the environmental contaminants terbacil and bromacil in prosteatotic li...