Software description
This program consists of using a differential resultant-based implicitisation algorithm for linear DPPEs.
Reference
M-002116/2009
This program consists of using a differential resultant-based implicitisation algorithm for linear DPPEs.
M-002116/2009
Software description Computer application implementing IPSUM Methodology for sustainability Assessment, Implementation and Continuous Improvement (CSR) in any kind of organisation, including the content of the…
Software description The QKD-Cascade program uses the Cascade protocol in the error correction layer on quantum key distribution (QKD) systems. The protocol, defined in Secret-key…
Software description This work is the first contemporary attempt to systematise the analysis and project process for collective housing into a complete data structure with…
Software description This is a software library that makes efficient computing of problems coded as bit strings possible, for the purpose of exploiting current CPUs…
Proyecto OI2018/KAIRÓS-5156 cofinanciado por el Fondo Europeo de Desarrollo Regional de la Unión Europea y de la Comunidad de Madrid