UniversidaddeCádiz

Área de Biblioteca, Archivo y Publicaciones

Comunidades y colecciones

Mostrando ítems 1-20 de 41

Sistemas integrados de la navegación mediante redes locales inalámbricas

Mariscal Rico, Luis Antonio (2001-01-01)
Verificación formal en ACL2 del algoritmo de Buchberger

Medina Bulo, María Inmaculada (2003-01-01)
Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos

Jiménez Millán, José Antonio (2003-01-01)
Integrating Extra-Functional Properties in Model-Driven Web Service Development

Ortiz Bellot, Guadalupe (2007-04-12)
Búsquedas Genéticas: Métodos de optimización global y optimización combinatoria

Domínguez Jiménez, Juan José (2010-02-10)
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL

Palomo Duarte, Manuel (2011-08-22)
Caracterización experimental y modelado del canal de propagación inalámbrico a 5.8 GHz en entornos marinos

Reyes-Guerrero, J.C. (2013-06-24)
Aplicación de la prueba de mutaciones a composiciones de servicios web en WS-BPEL para la generación de casos de prueba de calidad

Estero Botaro, Antonia (2013-11-25)
Un framework para el despliegue y evaluación de procesos software

Ruiz Rube, Iván (2014-01-10)
Event-driven Principles and Complex Event Processing for Self-adaptive Network Analysis and Surveillance Systems

Gad, Ruediger (2015-11-04)
Evaluación de competencias genéricas basada en indicadores procedentes de registros de actividades de aprendizaje

Balderas Alberico, Antonio (2016-07-27)
Generación Automática de Casos en Procesamiento de Eventos con EPL

Gutiérrez Madroñal, Lorena (2017-03-10)
Prueba de Mutación Evolutiva en Entornos Orientados a Objetos

Delgado Pérez, Pedro (2017-04-21)
Método para el diseño, despliegue y evaluación de escenarios educativos extendidos usando programación visual

Mota Macías, José Miguel (2020-07-24)
Análisis de eventos para evaluar competencias en experiencias de aprendizaje basadas en serious games

Caballero Hernández, Juan Antonio (2020-11-13)
Optimización de problemas dinámicos en presencia de un gran número de objetivos y preferencias del decisor

Macias Escobar, Teodoro Eduardo (2021)
Processing Heterogeneous Data in the Internet of Things

Corral Plaza, David José (2021-03-08)
Learning for Optimization with Virtual Savant

Massobrio, Renzo (2021-05-25)
Navigating diverse datasets in the face of uncertainty

Álvarez Ayllón, Alejandro (2023)
Determinación del efecto del tráfico marítimo en la estimación de la calidad del aire de una ciudad-puerto

Rodríguez García, María Inmaculada (2023)