A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

Improving Multiclass Text Classification with the Support Vector Machine

We compare Naive Bayes and Support Vector Machines on the task of multiclass text classification. Using a variety of approaches to combine the underlying binary classifiers, we find that SVMs substantially outperform Naive Bayes. We present full multiclass results on two well-known text data sets, including the lowest error to date on both data sets. We develop a new indicator of binary performance to show that the SVM's lower multiclass error is a result of its improved binary performance. Furthermore, we demonstrate and explore the surprising result that one-vs-all classification performs favorably compared to other approaches even though it has no error-correcting properties.

On the Noise Model of Support Vector Machine Regression

Support Vector Machines Regression (SVMR) is a regression technique which has been recently introduced by V. Vapnik and his collaborators (Vapnik, 1995; Vapnik, Golowich and Smola, 1996). In SVMR the goodness of fit is measured not by the usual quadratic loss function (the mean square error), but by a different loss function called Vapnik"s $epsilon$- insensitive loss function, which is similar to the "robust" loss functions introduced by Huber (Huber, 1981). The quadratic loss function is well justified under the assumption of Gaussian additive noise. However, the noise model underlying the choice of Vapnik's loss function is less clear. In this paper the use of Vapnik's loss function is shown to be equivalent to a model of additive and Gaussian noise, where the variance and mean of the Gaussian are random variables. The probability distributions for the variance and mean will be stated explicitly. While this work is presented in the framework of SVMR, it can be extended to justify non-quadratic loss functions in any Maximum Likelihood or Maximum A Posteriori approach. It applies not only to Vapnik's loss function, but to a much broader class of loss functions.

Estudio de la situación ecológica del río Narcea.

Estudio de la contaminación del río Narcea por alumnos de últimos cursos de Bachillerato y COU en los seminarios de Física y Química, Ciencias Naturales y Geografía. Se intentan integrar métodos y conocimientos de Ciencias distintas para averiguar la capacidad de los alumnos en trabajos de investigación. Objeto del trabajo : estudio interdisciplinar de las posibles causas de contaminación del río Narcea, en el que se implica a alumnos de últimos cursos de BUP y COU del Instituto de Bachillerato de Cangas de Narcea. Se estudia la contaminación del río y cómo está determinada por sustancias producidas en tres puntos fundamentales: minas, centros urbanos y la central térmica. Se parte de una recogida de la información y legislación existente sobre el tema. Se efectúan recogida de muestras en el curso del agua, que serán sometidas a análisis físicos y biológicos para estudiar los parámetros indicadores de contaminación, y comprobar si las sustancias anteriormente señaladas son los agentes contaminantes principales. Los alumnos se organizan en grupos de trabajo coordinados por los profesores. Sondas turbimétricas, conductímetros, fluroscopio, aparatos de filtración del agua, densímetros, reostatos, test de oxidabilidad al permanganato potásico, y otra serie de instrumentos de laboratorio para el análisis químico del agua. Recuento de bacterias y prueba normalizada para las del grupo coliforme. Indice de Shannon-Weaver para ver la diversidad de macroinvertebrados. Análisis químicos: color, olor, turbidez, materias decantables, materias en suspensión, determinación de residuos, temperatura, densidad, PH, conductividad eléctrica, alcalinidad, acidez, CO2 libre, O2 disuelto, oxidabilidad al permanganato potásico del agua. Análisis biológicos del agua con elaboración de los índices que expresan la riqueza en macroinvertebrados. Correlación entre: temperatura y PH, CO2, O2 disuelto y conductividad; O2 disuelto y macroinvertebrados, PH y DBO5; residuos en suspensión y macroinvertebrados, etc. La mayor parte de los tramos de la cuenca alta se pueden considerar no contaminados. Se comprueba que los factores de máxima incidencia contaminante son los que se apuntaban al principio: aprovechamientos mineros, vertidos residuales, acción de la central térmica. El trabajo consigue la interdisciplinareidad entre los tres seminarios didácticos que se pretendía y una toma de conciencia de la unidad de la ciencia superando la tradicional visión de la misma como compartimentos estancos aislados. Los alumnos encuentran más facilidad en el tratamiento de fuentes bibliográficas que en la organización del material recogido. Como se parte de conocimientos adquiridos con anterioridad, la experimentación y contrastación de hipótesis por parte de los alumnos se considera aceptable. La aplicación de estas pequeñas investigaciones a la enseñanza de las Ciencias Naturales favorece una mayor valoración del entorno por parte de los alumnos y fomenta la actitud crítica hacia la aplicación de las nuevas tecnologías.

El río: sistema biológico.

Se estudian los rios desde el punto de vista del flujo unidireccional. Se ha pretendido incluir los rudimentos básicos para comprender la complejidad del mundo acuático como un complicado conglomerado de relaciones y dependencias entre los organismos y el ambiente inanimado que los rodea. Trata de proporcionar los suficientes elementos que motiven a los lectores a profundizar en el estudio y análisis de la ecología de los rios, el respeto por su conservación y lucha por la recuperación de los que se han perdido. Consta de dos partes: 1.Descripción del ecosistema con la división clásica entre factores ambientales y comunidades biológicas, 2.Actividades que sirven para poner en práctica y contrastar alguno de los conceptos que se explican en la parte teórica. Se estudia la red fluvial, las características del cauce, medio, organismos acuáticos, sucesión longitudinal de poblaciones de animales, la contaminación y por último las prácticas.

El parque natural de Redes (Asturias) : un paseo por el valle del río Alba.

Resumen basado en la publicación

El Ebro : un río vivo : un río para ser vivido.

Seleccionado en la convocatoria: Ayudas a la innovación e investigación educativa en centros docentes de niveles no universitarios, Gobierno de Aragón 2009-10

Jóvenes investigadores en la naturaleza : el huerto, el campo y el río.

Seleccionado en la convocatoria: Ayudas a la innovación e investigación educativa en centros docentes de niveles no universitarios, Gobierno de Aragón 2008-09

El Ebro : un río vivo, un río para ser vivido II.

Seleccionado en la convocatoria: Ayudas a la innovación e investigación educativa en centros docentes de niveles no universitarios, Gobierno de Aragón 2010-11

Análisis de la política pública de acceso al agua potable. Caso: Río de Oro, Cesar

El propósito de esta investigación fue el de hacer un análisis transversal de la política pública de acceso al agua en Colombia, desde la implementación, funcionamiento y efectividad de la misma, en el contexto del municipio de Río de Oro en el departamento del Cesar.

El Narcea, un río y su entorno.

Realización de una guía didáctica y un vídeo sobre diferentes aspectos de la geografía física, humana y económica de la comarca narceana. Se pretende su difusión en todos los Centros de Educación Primaria y Secundaria de la zona. La memoria se reduce a la presentación del vídeo didáctico. Se trata de un proyecto interdisciplinar que introduce al alumno en el conocimiento de su realidad inmediata y de su entorno próximo para, a partir de ella, poder comprender realidades más generales. Se detallan los objetivos, plan de trabajo, metodología en la que destaca la organización de la actividad en equipo, la planificación de las tareas a realizar, que por tanto será activa, la temporalización que no será rígida al depender de variables climáticas, de desplazamientos, disponibilidad de material, etc.

El Programa Trinacional de la Cuenca Alta del río Lempa, paradigma de cooperación sur-sur en América Latina y el Caribe

La Cuenca Alta del Río lempa se encuentra Ubicada en el territorio conformado por las fronteras entre Guatemala , Honduras y Salvador en el se desarrolla el programa Trinacional del Rio lempa en el marco del Plan Trifinio desarrollado por los tres gobiernos. El programa se presenta como modelo de cooperación sur - sur ya que tres gobiernos se asocian para lograr mejorar la calidad de vida de los habitantes de la región.

Mecanismos intergubernamentales en el manejo integral de cuencas: el caso de la Miami River Commission en el manejo del Río de Miami

El trabajo de grado estudia la creación, planes urbanos y gestión de la Miami River Commission desde la perspectiva del Manejo Integrado de Cuencas.

La Asociación Campesina del Valle del Río Cimitarra como mecanismo de resistencia política a los proyectos latifundistas en el Magdalena Medio. (2006-2010)”

El presente estudio de caso analiza desde la construcción espacial comunitaria del campesinado, las maneras en que la Asociación Campesina del Valle del Rio Cimitarra teje formas de resistencia política a las estructuras latifundistas imperantes en el Magdalena Medio. En un periodo donde el modelo agroindustrial relacionado con la globalización tiene mayor profundización en el sector agrario nacional, se analiza como la organización campesina ejerce una resistencia localizada en defensa de lo territorial, como filón para detener la expansión de los circuitos de acumulación de Capital.