Resumen: La reutilización de medicamentos aprobados ofrece una alternativa rentable y eficiente en términos de tiempo al desarrollo de medicamentos tradicionales. Sin embargo, la predicción in silico de candidatos a reutilización es un desafío y requiere la colaboración efectiva de especialistas en diversos campos, incluidos la farmacología, la medicina, la biología y la bioinformática.
Leer más →
Resumen: El razonamiento científico a través de modelos de lenguaje grandes en heliofísica implica más que simplemente recordar hechos: requiere incorporar suposiciones físicas, mantener unidades consistentes y proporcionar formatos científicos claros a través de enfoques coordinados.
Leer más →
Resumen: En la resolución pseudobooleana, la estrategia de propagación de unidades más exitosa actualmente es un modo híbrido que combina el esquema literal observado con el método de conteo. Este breve artículo presenta nuevas heurísticas para esta decisión híbrida, que pueden superar drásticamente el método actual en el solucionador RoundingSAT.
Publicado originalmente en export.arxiv.
Leer más →