The omega failure in the crash-recovery model

190 p.

Aprendizaje basado en problemas, proyectos y casos : diseño e implementación de experiencias en la universidad

239 p.: il.-- [Editores del libro: Genaro Guisasola y Mikel Garmendia]

The Computer Input/Output Subsystem Education in an undergraduate introductory course: a Multiperspective Study

240 p.

Desarrollo de una aplicación para una red de sensores inalámbricos (WSN) mediante Contiki

Durante los últimos años hemos venido observando la tendencia a incorporar capacidad de proce- samiento y comunicación a dispositivos que hasta entonces se utilizaban de modo independiente. La evolución de los móviles a smartphones es un claro ejemplo de dicha tendencia, aunque también cabe mencionar otros ejemplos, como es el caso de los denominados hogares inteligentes, en los que elementos del hogar se encuentran interconectados y pueden actuar de modo conjunto. Esta ten- dencia no se limita a sistemas independientes, sino que propone interconectar todos los elementos disponibles para conformar la denominada Internet de los Objetos/Cosas o Internet of Things, IoT. Una de las mayores dificultades que se presenta en estos sistemas es que las características de es- tos nuevos dispositivos inteligentes, en general limitados en términos de cómputo, almacenamiento, autonomía o comunicación, queda a menudo lejos de los equipos informáticos tradicionales. Esta cuestión, junto con la ausencia de estándares para gestionar estos dispositivos, constituye un impor- tante problema a abordar. Considerando este marco, en este proyecto se ha desarrollado una aplicación orientada a este tipo de dispositivos. Más concretamente, la aplicación tiene como soporte una red de sensores inalámbricos, WSN, con el objetivo de realizar seguimiento de individuos. Cabe destacar que el desarrollo de la aplicación se ha realizado utilizando Contiki OS, sistema ope- rativo diseñado especialmente para dispositivos con características limitadas como los presentados anteriormente y firme candidato a convertirse en estándar.

Aportaciones a la clasificación no supervisada y a su validación. Aplicación a la seguridad informática

220 p.

ANÁLISIS DEL EFECTO DEL CAMBIO DE LA DISTRIBUCIÓN DE CLASES MEDIANTE MÉTODOS DE REMUESTREO INTELIGENTE EN ÁRBOLES DE CLASIFICACIÓN SIMPLES Y CONSOLIDADOS

En los trabajos expuestos en esta memoria de tesis, hemos analizado elefecto que tienen sobre la capacidad de aprendizaje de diferentes algoritmosde clasificación los cambios en la distribución de clases, teniendo encuenta para ello, diferentes métodos de remuestreo de datos.En concreto se ha analizado este efecto en el conocido algoritmo deconstrucción de árboles de clasificación propuesto por Quinlan, el algoritmoC4.5, y en el algoritmo de construcción de árboles consolidados, elalgoritmo CTC, propuesto por el grupo de investigación ALDAPA de laUniversidad del País Vasco que, basado en el mismo C4.5, obtiene un árbol declasificación pero basado en un conjunto de muestras.Así mismo, planteamos cómo encontrar la distribución de clases más adecuadapara un algoritmo de clasificación y método de remuestreo concretos.

Contributions to the efficient use of general purpose coprocessors: kernel density estimation as case study

142 p.

Combination of web usage, content and structure information for diverse web mining applications in the tourism context and the context of users with disabilities

188 p.

Contributions to High-Throughput Computing Based on the Peer-to-Peer Paradigm

XII, 116 p.

Contributions on agreement in dynamic distributed systems

139 p.

Los programas While: bases para una teoría de la computabilidad

La Teoría de la Computabilidad estudia los límites teóricos de los sistemas computacionales. Uno de sus objetivos centrales consiste en clasificar los problemas en computables e incomputables, donde llamamos computable a un problema si admite solución informática. Para desarrollar estos resultados el modelo abstracto de computador más utilizado históricamente es la Máquina de Turing. Los estudiantes de Ingeniería Informática pueden percibir cierta lejanía entre el modelo teórico y los computadores reales por lo que es más adecuado utilizar un modelo más cercano a la programación como son los programas-while. Los Programas-while permiten resolver los mismos problemas que las máquinas de Turing, pero en cambio son mucho más sencillos de utilizar, sobre todo para personas que tienen una experiencia previa en la informática real, pues toman la forma de lenguaje imperativo clásico. Este texto además utiliza los Programas-while aprovechando sus ventajas y reformulándolos de manera que la computación quede definida en términos de manipulación de símbolos arbitrarios, algo que está mucho más en concordancia con la realidad informática. Además de explicar en detalle qué son los programas while y cómo se utilizan, se justifica por qué no es necesario incorporar otras instrucciones o tipos de datos.

Técnicas básicas de computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Frente a las disciplinas y técnicas que día a día amplían el campo de aplicabilidad práctica de los computadores, esta teoría establece una serie de barreras insalvables por ninguna tecnología digital de procesamiento de la información. Los métodos propios de la Teoría de la Computabilidad pueden ser extraordinariamente complejos, sin embargo, existe un núcleo de resultados fundamentales que son abordables mediante técnicas más asequibles, y que tienen la virtud de reflejar razonablemente el concepto central de indecidibilidad computacional. Este informe incluye una descripción de los conceptos y técnicas que configuran ese núcleo básico de la Teoría. Su propósito es dar cuenta de la primera batería de resultados relacionados con la incomputabilidad de algunos problemas conocidos y relevantes en Informática. Los resultados se presentan utilizando como estándar de programación los programas-while, incluyéndose una explicación detallada y sistemática de la técnica de Diagonalización, además de resultados tan importantes como la tesis de Church-Turing, la función universal o el problema de parada.