Buscar noticias
Buscá por texto y descubrí noticias relacionadas con tu consulta.
Noticias relevantes
Hasta 10 noticias relacionadas por su significado, ordenadas por relevancia.
No encontramos noticias relacionadas por su significado.
Noticias encontradas
Coincidencias en título, descripción, resumen, tags, personas o periodista.
2 resultados para «Jun Liu»
Más recientes primero · Hasta 30 noticias por página
arXiv Computer Science AIGeneración automática de teoremas en lógica de primer orden por construcción a partir de contradicciones estándar triangulares
Se propone un marco constructivo para la generación automática de teoremas (ATG) en lógica de primer orden basado en contradicciones estándar triangulares. El método construye conjuntos de cláusulas mínimamente insatisfacibles para formar teoremas con garantía lógica. Se extiende la familia de generadores $\Delta$ para ofrecer una base para el descubrimiento automático de teoremas.
Medical XpressCompuesto de planta natural puede ayudar a superar la resistencia a medicamentos contra el cáncer
Investigadores de Johns Hopkins descubrieron que el compuesto natural triptolida, extraído de Tripterygium wilfordii, puede superar la resistencia a medicamentos contra el cáncer al bloquear una enzima clave llamada DCTPP1. Al combinar triptolida con el inhibidor de DNMT decitabina, se observó un aumento en la capacidad de los medicamentos para reactivar genes supresores de tumores y matar células cancerosas en modelos de laboratorio. Este hallazgo sugiere una estrategia para expandir el uso de terapias epigenéticas contra diversos tipos de cáncer.