News Help Institutional access

Search academic resources

Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.

Advanced search
What NODOVOX Discovery brings together: Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
forensic medicine law journals Open Access full text

Results

70 results found.

Resource types: Print book E-book Article Journal Thesis Chapter
Academic search
Iter-T: ITERative Test suite generation for automated program repair
Article
Article
Iter-T: ITERative Test suite generation for automated program repair
Godio, Ariel et al · IEEE · 2026 · ISSN 1939-3520
Test-based automated program repair (TB-APR) techniques automatically fix buggy programs by relying on a failing test suite. This test suite serves a dual purpose: pinpointing bugs and evaluating the validity of potentia...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
Text / resource
Text / resource
Criterios de cobertura sobre RepOK para reducir test suites exhaustivas acotadas: estudio de casos
Gutiérrez Brida, Simón et al · SEDICI UNLP · 2012
La generación exhaustiva acotada de casos de test es una técnica de generación de entradas para programas que consiste en construir todas las posibles entradas válidas hasta cierta cota dada. Aunque el tamaño de la ...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
The M06 suite of density functionals for main group thermochemistry, thermochemical kinetics, noncovalent interactions, excited states, and transition elements: two new functionals and systematic testing of four M06-class functionals and 12 other functionals
Article
Article
The M06 suite of density functionals for main group thermochemistry, thermochemical kinetics, noncovalent interactions, excited states, and transition elements: two new functionals and systematic testing of four M06-class functionals and 12 other functionals
Yan Zhao; Donald G. Truhlar · Theoretical Chemistry Accounts · 2007
We present two new hybrid meta exchange- correlation functionals, called M06 and M06-2X. The M06 functional is parametrized including both transition metals and nonmetals, whereas the M06-2X functional is a high-nonlocal...
Idioma English
Página del recurso disponiblePágina de referencia del recurso. El texto completo no está confirmado automáticamente.
Página del recurso
Ver opciones de acceso Bibliographic record
Data Flow Testing and Tools Review
Article
Article
Data Flow Testing and Tools Review
Abdullah H. Ali et al · University of Mosul, College of Education for Pure Science · 2023 · ISSN 1812-125X
Software engineering always strives to develop and identify software pitfalls and errors before publishing the software product, in testing the software. Bugs can appear during any stage of development or testing, even a...
LCC TENDOkVkdWNhdGlvbg~~; LCC:Science (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A reinforced multi-strategy parrot optimization algorithm and its application in practical engineering optimization
Article
Article
A reinforced multi-strategy parrot optimization algorithm and its application in practical engineering optimization
Run-Meng Ma et al · SAGE Publishing · 2026 · ISSN 1687-8140
To address the issues of low solution accuracy, premature convergence, and susceptibility to local optima in the Parrot Optimization (PO) algorithm, a Reinforced Multi-strategy Parrot Optimization (RMPO) algorithm has be...
LCC TENDOk1lY2hhbmljYWwgZW5naW5lZXJpbmcgYW5kIG1hY2hpbmVyeQ~~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
An analysis of the suitability of test-based patch acceptance criteria
Text / resource
Text / resource
An analysis of the suitability of test-based patch acceptance criteria
Zemín, Luciano et al · RI ITBA · 2019
"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Uso de especificaciones para superar las limitaciones de la reparación automatizada de programas basada en pruebas
Thesis
Thesis
Uso de especificaciones para superar las limitaciones de la reparación automatizada de programas basada en pruebas
Zemin, Luciano · Instituto Tecnológico de Buenos Aires (ITBA) · 2026
Automated program repair often relies on syntactic transformations, generating large numbers of fix candidates whose correctness must be validated. Due to the combinatorial explosion of candidate combinations, existing t...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Hybridizing multi-inver-over evolutionary algorithms with tabu search for the symmetric TSP
Text / resource
Text / resource
Hybridizing multi-inver-over evolutionary algorithms with tabu search for the symmetric TSP
Bermúdez, Carlos et al · SEDICI UNLP · 2001
The travelling salesman problem (TSP) is a NP-hard problem. Techniques as either Branch and Bound or Dynamic Programming supplied the global optimum solution for instances with more than 7000 cities. But, ther needed mor...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Testing popular VaR models in EU new member and candidate states
Article
Article
Testing popular VaR models in EU new member and candidate states
Saša Žiković · Faculty of Economics University of Rijeka · 2007 · ISSN 1331-8004
The impact of allowing banks to calculate their capital requirement based on their internal VaR models, and the impact of regulation changes on banks in transitional countries has not been well studied. This paper examin...
LCC TENDOkVjb25vbWljIHRoZW9yeS4gRGVtb2dyYXBoeQ~~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A 50‐step walking test for analysis of recovery after decompressive surgery for thoracolumbar disc herniation in dogs
Article
Article
A 50‐step walking test for analysis of recovery after decompressive surgery for thoracolumbar disc herniation in dogs
Suzanne Rosen et al · Oxford University Press · 2022 · ISSN 0891-6640
Abstract Background Despite its importance, there is no agreed definition of recovery of ambulation in dogs with spinal cord injury. Objectives To validate a new walking test in dogs recovering from thoracolumbar spinal ...
LCC TENDOlZldGVyaW5hcnkgbWVkaWNpbmU~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A statistical test for network similarity
Article
Article
A statistical test for network similarity
Pierre Miasnikof et al · IOP Publishing · 2026 · ISSN 2632-072X
In this article, we revisit and expand our prior work on graph similarity. As with our earlier work, we focus on a view of similarity which does not require node correspondence between graphs under comparison. Our work i...
LCC TENDOlNjaWVuY2U~; TENDOlBoeXNpY3M~Idioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
Contemporaneous threshold autoregressive models: Estimation, testing and forecasting
Article
Article
Contemporaneous threshold autoregressive models: Estimation, testing and forecasting
Dueker, Michael J. et al · Elsevier Science SA · 2007 · ISSN 0304-4076
This paper proposes a contemporaneous smooth transition threshold autoregressive model (C-STAR) as a modification of the smooth transition threshold autoregressive model surveyed in Teräsvirta [1998. Modelling economic ...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
The Robot Maze Test
Article
Article
The Robot Maze Test
Ian Perera et al · LibraryPress@UF · 2026 · ISSN 2334-0754
With the burgeoning popularity of Large Language Models (LLMs) and their introduction to the workplace in multiple fields, an important question remains unexplored: what are the cognitive skills and attributes that make ...
LCC TENDOlRlY2hub2xvZ3k~; LCC:Electronic computers. Computer scienceIdioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Genetic parameters for production traits in primiparous Holstein cows estimated by random regression models Parâmetros genéticos para características produtivas de vacas primíparas da raça Holandesa estimados por modelos de regressão aleatória
Article
Article
Genetic parameters for production traits in primiparous Holstein cows estimated by random regression models Parâmetros genéticos para características produtivas de vacas primíparas da raça Holandesa estimados por modelos de regressão aleatória
Igor de Oliveira Biassus et al · Sociedade Brasileira de Zootecnia · 2011 · ISSN 1516-3598
The objective of this study was to estimate genetic parameters for milk, fat and protein yields of Holstein cows using 56,508; 35,091 and 8,326 test-day milk records from 7,015, 4,476 and 1,114 cows, calves of 359, 246 a...
LCC LCC:Animal cultureIdioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Heat Transfer Performance and Structural Optimization of a Novel Micro-channel Heat Sink
Article
Article
Heat Transfer Performance and Structural Optimization of a Novel Micro-channel Heat Sink
Jianhua Xiang et al · KeAi Communications Co., Ltd · 2022 · ISSN 1000-9345
Abstract With the advent of the 5G era, the design of electronic equipment is developing towards thinness, intelligence and multi-function, which requires higher cooling performance of the equipment. Micro-channel heat s...
LCC LCC:Ocean engineering; TENDOk1lY2hhbmljYWwgZW5naW5lZXJpbmcgYW5kIG1hY2hpbmVyeQ~~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
HueTools: A modular image processing and ML toolkit for quantitative colorimetric assay development
Article
Article
HueTools: A modular image processing and ML toolkit for quantitative colorimetric assay development
Prava Sharma et al · Elsevier · 2026 · ISSN 2472-6303
Colorimetric assays offer a low-cost, accessible means of diagnostic testing but often suffer from subjective interpretation and variability caused by inconsistent imaging conditions. To address these challenges, we pres...
LCC TENDOkJpb3RlY2hub2xvZ3k~; TENDOk1lZGljYWwgdGVjaG5vbG9neQ~~Idioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
Mapping the HPV Detection Landscape in Botswana: A Narrative Review of Diagnostic Platforms and Their Impact on Cervical Cancer Control
Article
Article
Mapping the HPV Detection Landscape in Botswana: A Narrative Review of Diagnostic Platforms and Their Impact on Cervical Cancer Control
Leabaneng Tawe · Wiley · 2026 · ISSN 2398-8835
ABSTRACT Background and Aim Cervical cancer is a major public health issue in Botswana, driven by high HIV prevalence and limited screening access. Molecular detection of high‐risk human papillomavirus (hrHPV) is cruci...
LCC LCC:MedicineIdioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
The Inflation Threshold and Economic Growth Dynamics in Algeria: A Smooth Transition Regression (STR) Model Study (1980–2024)
Article
Article
The Inflation Threshold and Economic Growth Dynamics in Algeria: A Smooth Transition Regression (STR) Model Study (1980–2024)
Belfodil Kamel · V. N. Karazin Kharkiv National University · 2025 · ISSN 2310-9513
This study aims to explore the complex and nonlinear relationship between inflation and economic growth in Algeria over the period 1980–2024, with a particular focus on identifying the “inflation turning point” at ...
LCC LCC:International relationsIdioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
A Multiobjective Genetic Algorithm for Assessing Service Quality Factors in Banking Environment
Article
Article
A Multiobjective Genetic Algorithm for Assessing Service Quality Factors in Banking Environment
Femi Ayo et al · University of Mosul, College of Education for Pure Science · 2026 · ISSN 1812-125X
This study proposes a multiobjective genetic algorithm-based framework to optimize key determinants of service quality in banking environments, addressing the limitations of conventional SERVQUAL and BSQ model. This stud...
LCC TENDOkVkdWNhdGlvbg~~; LCC:Science (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A comparative analysis of host feeding and life-history traits in parasitoid wasps
Article
Article
A comparative analysis of host feeding and life-history traits in parasitoid wasps
Fischbein, Deborah et al · Wiley Blackwell Publishing, Inc · 2016 · ISSN 0013-8703
Feeding in insect parasitoids can have significant implications from behavioral and evolutionary ecology standpoints. Females of many species not only search for hosts to lay their eggs on, but also may use them as a foo...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
A new hybrid physics-guided AI algorithm for water quality prediction supported by variable coefficients advection-diffusion model
Article
Article
A new hybrid physics-guided AI algorithm for water quality prediction supported by variable coefficients advection-diffusion model
Hussein Karam Abd El-Sattar et al · Springer · 2026 · ISSN 2731-0809
Abstract Physical sciences are essential to the predictive modeling of complex environmental systems, particularly environmental monitoring and sustainability applications, as they provide the deterministic foundation re...
LCC TENDOkNvbXB1dGF0aW9uYWwgbGluZ3Vpc3RpY3MuIE5hdHVyYWwgbGFuZ3VhZ2UgcHJvY2Vzc2luZw~~; LCC:Electronic computers. Computer sciIdioma English
El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.
Material complementario
Ver opciones de acceso Bibliographic record
A structured inventory of spiders (Arachnida, Araneae) in natural and artificial forest gaps at Porto Urucu, Western Brazilian Amazonia Inventário estruturado de aranhas (Arachnida, Araneae) em clareiras naturais e artificiais em Porto Urucu, Amazônia Ocidental Brasileira
Article
Article
A structured inventory of spiders (Arachnida, Araneae) in natural and artificial forest gaps at Porto Urucu, Western Brazilian Amazonia Inventário estruturado de aranhas (Arachnida, Araneae) em clareiras naturais e artificiais em Porto Urucu, Amazônia Ocidental Brasileira
Alexandre B. Bonaldo et al · Instituto Nacional de Pesquisas da Amazônia · 2010 · ISSN 0044-5967
A preliminary survey of the spider fauna in natural and artificial forest gap formations at “Porto Urucu”, a petroleum/natural gas production facility in the Urucu river basin, Coari, Amazonas, Brazil is presented. S...
LCC LCC:Science (General)Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Adult lifespan effects on functional specialization along the hippocampal long axis
Article
Article
Adult lifespan effects on functional specialization along the hippocampal long axis
Caitlin R. Bowman et al · Frontiers Media S.A · 2026 · ISSN 2813-4532
IntroductionThere has been increasing attention to differences in function along the hippocampal long axis, with the posterior hippocampus proposed to have more variable signals that are well-suited to representing idios...
LCC TENDOkNvbnNjaW91c25lc3MuIENvZ25pdGlvbg~~Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
Alkaline Extraction and Ethanol Precipitation of High-Molecular-Weight Xylan Compounds from Eucalyptus Residues
Article
Article
Alkaline Extraction and Ethanol Precipitation of High-Molecular-Weight Xylan Compounds from Eucalyptus Residues
Cabrera, María Noel et al · MDPI · 2025 · ISSN 2073-4360
Alkaline treatment is well -suited for extracting high-molecular-weight hemicelluloses, specifically hardwoods xylans, which, due to their polymer structure and chemical characteristics, enable the production of films wi...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Bibliographic record
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX