Diferencia entre revisiones de «Aplicaciones a bioinformática»
De Lógica computacional y teoría de modelos (2019-20)
| Línea 22: | Línea 22: | ||
**** [[Predicción de la estructura de proteínas 3I | Tercera instancia]] | **** [[Predicción de la estructura de proteínas 3I | Tercera instancia]] | ||
**** [[Predicción de la estructura de proteínas 4I | Cuarta instancia]] | **** [[Predicción de la estructura de proteínas 4I | Cuarta instancia]] | ||
| + | * ''Reparación de redes metabólicas'' | ||
| + | ** [[ Reparación de redes metabólicas | Programa]] | ||
| + | *** Instancias: | ||
| + | **** [[Reparación de redes metabólicas 1I| Primera instancia]] | ||
| + | * ''Completación de redes metabólicas'' | ||
| + | ** [[ Completación de redes metabólicas | Programa]] | ||
| + | *** Instancias: | ||
| + | **** [[Completación de redes metabólicas 1I| Primera instancia]] | ||
| + | **** [[Completación de redes metabólicas 2I | Segunda instancia]] | ||