Han Gao

Esse artigo analisa a estrutura e as aplicações da lógica modal intuicionista L.

Nova técnica CCSO melhora a eficiência da codificação de vídeo e a qualidade visual.

Pesquisadores conseguem controlar com precisão os pontos quânticos em nanofios, ajudando os esforços de computação quântica.