Software description
This is a library for converting non-ontology resources into ontologies.
Reference
M-001914/2012
This is a library for converting non-ontology resources into ontologies.
M-001914/2012
Software description This program consists of using a differential resultant-based implicitisation algorithm for linear DPPEs. Reference M-002116/2009 Descargar ficha
Software description 1. Computer program description. The software is framed within a reality where the sole constant is change. The difficulty in adapting to this…
Software description One of the main functions included in the system is the possibility of conducting surveys on panellists via their own mobile device (or…
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 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