Loading...
Loading...

Go to the content (press return)

Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals

Total activity: 3
Type of activity
Competitive project
Funding entity
AGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
Funding entity code
2017 SGR 786
Amount
31.950,00 €
Start date
2017-01-01
End date
2021-09-30
Keywords
VLSI systems, algorismes, algorithms, algoritmos, ciència de dades, ciència de datos, combinatoria, combinatorics, combinatòria, complejidad, complexitat de problemes, complexity, data science, data structures, especificación, estructuras de datos, formal specification, genomics, genòmica, genómica, grafos, grafs, graphs, heurístiques, metaheurístiques per a grafs i xarxes, sistemas VLSI, sistemes VLSI, transformació de grafs, verificación, verification
Abstract
The primary goal is to produce relevant contributions in the areas of expertise of the group and to disseminate them in renowned international journals and conferences. It is the group's aim that these contributions have a tangible and long-term impact on the scientific community. Technology transfer is considered a byproduct of research excellence and should be sought as a means of increasing the impact of the results, obtaining resources for the group and envisioning new directions for future research.
Scope
Adm. Generalitat
Plan
Estratègia de recerca i innovació per a l'especialització intel·ligent de Catalunya (RIS3CAT)
Call year
2018
Funcding program
RIS3CAT
Funding call
Ajuts per donar suport a les activitats dels grups de recerca de Catalunya
Grant institution
Agència De Gestió D'ajuts Universitaris I De Recerca (agaur)

Participants

Scientific and technological production

1 to 3 of 3 results