Novedades Ayuda Acceso institucional

Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

2 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Use of generative adversarial networks for the creation and manipulation of facial images in the context of studying false memories and its effects on wrongful conviction cases: implementation of StyleGAN’s generative image modeling and style mixing properties to design an interface for experimentation purposes
Texto / recurso
Acceso abierto Texto / recurso RI ITBA
Use of generative adversarial networks for the creation and manipulation of facial images in the context of studying false memories and its effects on wrongful conviction cases: implementation of StyleGAN’s generative image modeling and style mixing properties to design an interface for experimentation purposes
Lozano, Jimena et al · RI ITBA · 2022
l Laboratorio de Sueño y Memoria from Instituto Tecnológico de Buenos Aires (ITBA) studies the formation of false memories, and how these can be reduced or modified, and is in collaboration with the Innocence Project t...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
An evolutionary approach to translating operational specifications into declarative specifications
Artículo
Material complementario disponible Artículo RI ITBA
An evolutionary approach to translating operational specifications into declarative specifications
Molina, Facundo et al · RI ITBA · 2020 · ISSN 0167-6423
"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...
Idioma en
Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Abrir material Ficha bibliográfica