Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Cuartero Gómez, Fernando"'
Autor:
de la Cruz Calvo, Hernán Indíbil1 (AUTHOR) fernando.cuartero@uclm.es, Cuartero Gómez, Fernando1 (AUTHOR) jose.paulet@uclm.es, Paulet González, José Javier1,2 (AUTHOR), Mezzini, Mauro3 (AUTHOR) mauro.mezzini@uniroma3.it, Pelayo, Fernando López1 (AUTHOR) hernanindibil.cruz@uclm.es
Publikováno v:
Mathematics (2227-7390). Sep2023, Vol. 11 Issue 17, p3742. 20p.
Autor:
Cruz Calvo, Hernán Indíbil de la, Pelayo, Fernando L., Pascual, Vicente, Paulet González, Jose Javier, Cuartero Gómez, Fernando, Llana Díaz, Luis Fernando, Mezzini, Mauro
Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not NP-complete. It is thought to be of comparable difficulty to integer f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______126::4accf43a11f6e645a4b61a5dfc903482
https://eprints.ucm.es/id/eprint/75648/
https://eprints.ucm.es/id/eprint/75648/
Publikováno v:
RUIdeRA. Repositorio Institucional de la UCLM
instname
instname
The use of social networking sites, such as Twitter, for various purposes, continues to grown since its first appearance. This social net is a microblogging site to share short messages on a variety of topics. In particular, political elections are a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::41d20ce1328877b9369cfbd03ab40c1f
http://hdl.handle.net/10578/2972
http://hdl.handle.net/10578/2972
Publikováno v:
RUIdeRA. Repositorio Institucional de la UCLM
instname
instname
Process Algebras, PAs, are formalisms able to capture the behaviour of a computing system by, for example, giving the labelled transition system, LTS, where states are nodes and where all possible evolutions of the system are arcs; The drawing of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3789a425a0bb20d0ce5cc90d0e540e34
http://hdl.handle.net/10578/1775
http://hdl.handle.net/10578/1775
Autor:
Cuartero Gómez, Fernando
Publikováno v:
E-Prints Complutense. Archivo Institucional de la UCM
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
instname
E-Prints Complutense: Archivo Institucional de la UCM
Universidad Complutense de Madrid
El trabajo consiste en un enriquecimiento con probabilidades del modelo algebraíco CSP (Comumnications Sequential Processes), [Hoare 85]. Se asocian probabilidades a los operadores de elección extena e interna. Se espera con ello mejorar la capacid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::081ea879123f1a20269e22e5617def33
https://eprints.ucm.es/3433/
https://eprints.ucm.es/3433/