Buscar recursos académicos

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

Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.

Resultados

17 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
ATR: Template-based repair for alloy specifications
Artículo
Acceso abierto Artículo RI ITBA
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
ECOLE: a pedagogical environment for non procedural languages
Artículo
Acceso abierto Artículo SEDICI UNLP
Zegour, D. E. et al · SEDICI UNLP · 2007
The work described in this paper is related to three areas in the programming world : logic, functional and object programming. The main objective is essentially pedagogical since it is question here to make a synthesis...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Introduction to automata theory, languages and computation
Artículo
Página del recurso disponible Artículo OpenAlex
Mathematics and Computers in Simulation · 1981
Materias / palabras clave: Exposition (narrative); Computer science; Automaton; Computation; Theory of computation; Theoretical computer science; Automata theory; Formal language; Model of computation; Programming language; Art; Literature
Idioma en
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso
Fortran Refactorings for Legacy Systems
Artículo
Acceso abierto Artículo SEDICI UNLP
Méndez, Mariano · SEDICI UNLP · 2011
This thesis is based on a certain type of legacy software that came from scientific research. Scientists have become one of the most important legacy code producers for many reasons. One of these is long-lived field (abo...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
A pattern language to join early and late requirements
Artículo
Acceso abierto Artículo SEDICI UNLP
Martínez, Alicia et al · SEDICI UNLP · 2005
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Logical foundations and implementation of an extension of temporal logic
Artículo
Acceso abierto Artículo SEDICI UNLP
Cobo, María Laura et al · SEDICI UNLP · 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of t...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
fastp: an ultra-fast all-in-one FASTQ preprocessor
Artículo
Página del recurso disponible Artículo OpenAlex
Shifu Chen; Yanqing Zhou; Yaru Chen; Jia Gu · Bioinformatics · 2018
Motivation: Quality control and preprocessing of FASTQ files are essential to providing clean data for downstream analysis. Traditionally, a different tool is used for each operation, such as quality control, adapter tri...
Idioma en
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso
Numerical optimization
Capítulo
Material complementario disponible Capítulo OpenAlex
W. John Braun; Duncan J. Murdoch · Cambridge University Press eBooks · 2021
This third edition of Braun and Murdoch's bestselling textbook now includes discussion of the use and design principles of the tidyverse packages in R, including expanded coverage of ggplot2, and R Markdown. The expanded...
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
A multi-paradigm approach for mobile agents development
Artículo
Acceso abierto Artículo SEDICI UNLP
Belloni, Edgardo A · SEDICI UNLP · 2001
Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed and heterogeneous systems. In this article, a multi-paradigm approach for the development of i...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
R: A Language for Data Analysis and Graphics
Artículo
Material complementario disponible Artículo OpenAlex
Ross Ihaka; Robert Gentleman · Journal of Computational and Graphical Statistics · 1996
Abstract In this article we discuss our experience designing and implementing a statistical computing language. In developing this new language, we sought to combine what we felt were useful features from two existing co...
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
The VideoToolbox software for visual psychophysics: transforming numbers into movies
Artículo
Material complementario disponible Artículo OpenAlex
Denis G. Pelli · Spatial Vision · 1997
The VideoToolbox is a free collection of two hundred C subroutines for Macintosh computers that calibrates and controls the computer-display interface to create accurately specified visual stimuli. High-level platform-in...
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
WordNet
Artículo
Material complementario disponible Artículo OpenAlex
George A. Miller · Communications of the ACM · 1995
Because meaningful sentences are composed of meaningful words, any system that hopes to process natural languages as people do must have information about words and their meanings. This information is traditionally provi...
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
Open modeling and simulation framework for evolutive analysis
Texto / recurso
Material complementario disponible Texto / recurso SEDICI UNLP
De Giusti, Marisa Raquel et al · SEDICI UNLP · 2008
Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities, an internal state, a set of input variables ...
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
Simulation framework for teaching in modeling and simulation areas
Artículo
Acceso abierto Artículo SEDICI UNLP
De Giusti, Marisa Raquel et al · SEDICI UNLP · 2008
Simulation is the process of executing a model that describes a system with enough detail; this model has its entities, an internal state, some input and output variables and a list of processes bound to these variables....
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Storage of simulation and entities history in discrete models
Texto / recurso
Material complementario disponible Texto / recurso SEDICI UNLP2 fuentes relacionadas
De Giusti, Marisa Raquel et al · SEDICI UNLP · 2008
2 fuentes relacionadas
SEDICI UNLP OAI-PMH Idioma: Inglés · Document · Acceso abierto
SEDICI UNLP OAI-PMH Idioma: Inglés · Artículo · Acceso abierto
Simulation is the process of executing a model, that is a representation of a system with enough detail to describe it but not too excessive. This model has a set of entities an internal state, a set of input variable th...
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
Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques
Artículo
Acceso abierto Artículo SEDICI UNLP
Dolz, Daniel et al · SEDICI UNLP · 2008
Microsoft's .NET Framework, and JAVA platforms, are based in a just-in-time compilation philosophy. Software developed using these technologies is executed in a hardware independent framework, which provides a full objec...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Open Babel: An open chemical toolbox
Artículo
Página del recurso disponible Artículo OpenAlex
Noel M. O’Boyle; Michael Banck; Craig A. James; Chris Morley; Tim Vandermeersch; Geoffrey Hutchison · Journal of Cheminformatics · 2011
BACKGROUND: A frequent problem in computational modeling is the interconversion of chemical structures between different formats. While standard interchange formats exist (for example, Chemical Markup Language) and de fa...
Idioma en
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso