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

3 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Automated workarounds from Java Program specifications based on SAT solving
Texto / recurso
Acceso abierto Texto / recurso RI ITBA
Automated workarounds from Java Program specifications based on SAT solving
Uva, Marcelo et al · RI ITBA · 2020 · ISSN 1433-2787
"The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
ATR: Template-based repair for alloy specifications
Artículo
Acceso abierto Artículo RI ITBA
ATR: Template-based repair for alloy specifications
Zheng, Guolong et al · RI ITBA · 2023 · ISSN 4503-9379
"Automatic Program Repair (APR) is a practical research topic that studies techniques to automatically repair programs to fix bugs. Most existing APR techniques are designed for imperative programming languages, such as ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica
Analyzing the quality of Twitter data streams
Artículo
Material complementario disponible Artículo RI ITBA
Analyzing the quality of Twitter data streams
Arolfo, Franco et al · RI ITBA · 2022 · ISSN 1572-9419
"There is a general belief that the quality of Twitter data streams is generally low and unpredictable, making, in some way, unreliable to take decisions based on such data. The work presented here addresses this problem...
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