Add to ORKGLas Soluciones Numéricas son esencialmente aproximaciones pausibles, de modo que es necesario tener, además, determinadas buenas Estimaciones de Errores. Esta Verificación Computacional puede ayudar a hacer más fiables las Simulaciones de Modelos utilizadas en Ingeniería Computacional.Peer Reviewe
En este artículo se resuelve el problema de estimación de estado con presencia de errores de difícil...
Las últimas estimaciones de costes del proceso de verificación y validación (VV) de sistemas de tiem...
En este artículo se estudian condiciones de existencia de soluciones de problemas de contorno para s...
Las Soluciones Numéricas son esencialmente aproximaciones pausibles, de modo que es necesario tener,...
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verific...
En este trabajo se plantea que la computadora no solamente funciona como una poderosa herramienta pa...
Este estudio muestra el impacto que tienen algunos compiladores y la definición de variables cuando ...
En un análisis de Regresión Lineal, existen varios supuestos o premisas que deben ser considerados a...
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática,...
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemátic...
Esta tesis se inscribe en el campo de la ingeniería de software, y describe un sistema de verificaci...
Los modelos de simulación han demostrado ser útiles para evaluar el rendimiento de diferentes config...
The computerized models need to be validated to demonstrate the confidence level they present. Devel...
Tesis Univ. Granada. Departamento de Ciencias de la Computación e Inteligencia Artificia
Para hacer frente a la creciente complejidad de los sistemas actuales, la investigación en Verificac...
En este artículo se resuelve el problema de estimación de estado con presencia de errores de difícil...
Las últimas estimaciones de costes del proceso de verificación y validación (VV) de sistemas de tiem...
En este artículo se estudian condiciones de existencia de soluciones de problemas de contorno para s...
Las Soluciones Numéricas son esencialmente aproximaciones pausibles, de modo que es necesario tener,...
El objetivo fundamental de esta memoria consiste en desarrollar una primer aproximación a la verific...
En este trabajo se plantea que la computadora no solamente funciona como una poderosa herramienta pa...
Este estudio muestra el impacto que tienen algunos compiladores y la definición de variables cuando ...
En un análisis de Regresión Lineal, existen varios supuestos o premisas que deben ser considerados a...
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática,...
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemátic...
Esta tesis se inscribe en el campo de la ingeniería de software, y describe un sistema de verificaci...
Los modelos de simulación han demostrado ser útiles para evaluar el rendimiento de diferentes config...
The computerized models need to be validated to demonstrate the confidence level they present. Devel...
Tesis Univ. Granada. Departamento de Ciencias de la Computación e Inteligencia Artificia
Para hacer frente a la creciente complejidad de los sistemas actuales, la investigación en Verificac...
En este artículo se resuelve el problema de estimación de estado con presencia de errores de difícil...
Las últimas estimaciones de costes del proceso de verificación y validación (VV) de sistemas de tiem...
En este artículo se estudian condiciones de existencia de soluciones de problemas de contorno para s...