A Multi-Strategy Tableau Prover

Tverberg type theorems and Van Kampen-Flores type theorems

Using multi-agent systems and social choice theory to design hyper-heuristics for...

The MiTable engine for multi-touch and multi-user tabletop applications

Computer-aided diagnosis of cardiomyophaties: an approach based on multi-slice and...

Computer-aided diagnosis of cardiomyophaties: an approach based on multi-slice and...

PMPI: a multi-platform, multi-language implementation of MPI

Enviromic-based kernels optimize resource allocation with multi-trait multi-environment...

Practical considerations for genotype imputation and multi-trait multi-environment...

Scene compliant spatio-temporal multi-modal multi-agent long-term trajectory for...