OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PROGRAM Subject: visual programming language Subject: Enseñanza -- Evaluación

Sort by Score Title Year -

1-9 from 9 results (0.028 seconds)

Title: Evaluación de Algoritmos de Tracking 3D para la Simulación de un Brazo Robótico, Mediante kinect.
Author: Ilbay Llangarí, Luis Guido
Language: Español
Repository: 43
Subject: SOFTWARE MATLAB / DISPOSITIVO KINECT / TRACKING / ALGORITMO / SOFTWARE OPENCV / SOFTWARE LIBFREENECT / SISTEMA OPERATIVO LINUX / UBUNTU / ALGORITMO CAMSHIFT / SOFTWARE / TRIDIMENSIONAL

Acceder
Title: Evaluación del rendimiento hidrológico por el medio de la herramienta Budyko Framework en cuencas no instrumentadas
Author: Reyes Torres, Maria de los Angeles
Language: Español
Repository: 40
Subject: Balance hídrico / Budyko Framework / Oferta hídrica / Rendimiento Hídrico / Water Balance / Water Supply / Water Performance / Hidrología / Recursos hídricos

Acceder
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Generación Automática de Casos en Procesamiento de Eventos con EPL / Automatic Generation of Cases in Event Processing using EPL
Author: Gutiérrez-Madroñal, Lorena
Language: Español
Repository: 30
Subject: Generador de eventos / IoT-TEG / Prueba de mutaciones / Event Processing Language / EPL / Esper / eventos de prueba

Acceder
Title: Factibilidad de Proyectos de Inversión mediante Aplicación Informática Integradora de bajo costo.
Author: Zabala Cuadrado, Rosa Mercedes / Mantilla Jácome, Mersi Piedad
Language: Español
Repository: 43
Subject: EMPRENDIMIENTOS / FORMULACIÓN DE PROYECTOS / MODELO DE NEGOCIOS / PROYECTOS DE INVERSIÓN / SQL SERVER (SOFTWARE) / ENTREPRENEURSHIP / PROJECTS FORMULATION / BUSINESS MODEL / INVESTMENT PROJECTS

Acceder
Title: Sensibilidad en el comportamiento dinámico no lineal de sistemas combinados diseñados a partir de diferentes ecuaciones para el periodo fundamental de vibración
Author: González Clavijo, María Claudia
Language: Español
Repository: 21
Subject: Análisis estructural (Ingeniería) - Programas para computador - Investigaciones / Análisis de riesgo sísmico - Investigaciones / Dinámica de estructuras - Investigaciones / Edificios - Vibración - Investigaciones / Pushover (Sismología) - Investigaciones

Acceder
Title: Implementación de algoritmo para la estimación de los parámetros de líneas de transmisión basados en PMU
Language: Español
Repository: 65
Subject: Ingeniería Eléctrica / Sincrofasores / Parámetros de líneas aéreas / Líneas de alta tensión / Sistemas Eléctricos de Potencia / Synchrophasors / Electrical Engineering / High voltage lines / Line parameters / Power systems / AT / PMU / EAT
Title: Prueba de Mutación Evolutiva en Entornos Orientados a Objetos / Evolutionary Mutation Testing in Object-Oriented Environments
Author: Delgado-Pérez, Pedro
Language: Inglés
Repository: 30
Subject: Prueba de mutaciones / Verificación y validación / Prueba de software / Orientación a objetos / Algoritmos evolutivos

Acceder
Title: INTERNACIONALIZACIÓN DE LA INVESTIGACIÓN EN LAS CIENCIAS SOCIALES
Author: Redondo Ramírez, Marlen Isabel / Barrera Rodírguez, Ana María / Duque Gómez, Duque Gómez
Language: Español
Repository: 60

Acceder

« Previous 1 Next »