Usuário

Nome de usuário
Senha
Lembrar usuário
Esqueceu a senha?	Cadastro

Notificações

• Ver
• Assinar

Conteúdo da revista

Pesquisa

Escopo da Busca Todos Autores Título Resumo Termos Texto integral

Navegar

• Edições
• Por autor
• por título
• por Seção
• Outras Revistas
• Categorias

Assinatura Entrar no sistema para verificar sua assinatura

Palavras-chave C++ GPU cloud computing computer algebra convolutional neural networks deep learning differentiable rendering formal verification guided modes histology image segmentation model checking neural networks point cloud ray tracing real time rendering security policy language smoothly irregular waveguide symbolic solution of differential equations symbolic solution of linear equations

Edição corrente

Nº 4 (2025)

Informações

• Para leitores
• Para Autores
• Para Bibliotecários