Han Gao

Este artículo examina la estructura y las aplicaciones de la lógica modal intuicionista L.

Nueva técnica de CCSO mejora la eficiencia de codificación de video y la calidad visual.

Investigadores logran un control preciso sobre puntos cuánticos en nanohilos, ayudando a los esfuerzos de computación cuántica.