Universitat de Lleida
Ara mostrant els elements 1-5 de 5
La modelització matemàtica és una habilitat necessària per a la biologia de sistemes i la biologia sintètica. No obstant això, dominar la creació de models matemàtics per a la biologia molecular de sistemes sol implicar ...
Introducció: Des de l'any 2008, la tecnologia blockchain ha sofert una transformació important. Va ser introduïda per primera vegada com la base tecnològica de Bitcoin, la primera criptomoneda descentralitzada. Durant ...
La xarxa de clavegueram és crucial per recollir i transportar les aigües residuals a les plantes de tractament, evitant l'estancament i els problemes de salut, ecològics i econòmics relacionats. Tanmateix, la infraestructura ...
Els registres de càncer basats poblacionals són crucials per controlar i estudiar la incidència, mortalitat i supervivència del càncer. A més, explorar fonts d'informació externes per complementar aquests registres permet ...
Aquest document presenta els resultats de la tesi "Synergies and Applications of Maximum Satisfiability and Automatic Configuration", on hem treballat amb la tecnologia de la Màxima Satisfactibilitat (MaxSAT) i la tecnologia ...
