Universitat de Lleida
Now showing items 1-5 of 5
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 ...
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 ...
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 ...
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 ...
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, ...
