BackBrowsing Informes técnicos y Documentos de trabajo by Issue Date
Now showing items 1-20 of 88
-
Los programas While: bases para una teoría de la computabilidad
Ibáñez Martínez-Conde, Jesús
; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (1996)
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 ... -
While programak: konputagarritasun teoria oinarritzeko tresna
Ibáñez Martínez-Conde, Jesús; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (1998)
Konputagarritasun Teoriaren asmoa sistema konputazionalen muga teorikoak aztertzea da. Bere helburu nagusia problemak konputagarri eta konputaezinen artean bereiztea da, problema konputagarria ebazpide informatikoa onartzen ... -
Konputaezintasun frogapen batzuk diagonalizazio teknika erabiliz
Ibáñez Martínez-Conde, Jesús; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (2000)
Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan ... -
Algunas demostraciones de incomputabilidad usando la técnica de diagonalización
Ibáñez Martínez-Conde, Jesús; Irastorza Goñi, María Aránzazu ; Sánchez Ortega, Ana (2000)
Los supuestos fundamentales de la Teoría de la Computabilidad se establecieron antes de la aparición de los primeros ordenadores (a finales de los años 40), supuestos que muchos años de vertiginoso cambio no han conseguido ... -
Analisis y diagnóstico de episodios de meteorología severa en el País Vasco
Grupo de Medio Ambiente. Escuela Superior de Ingeniería de Bilbao; Gangoiti Bengoa, Gotzon (2002-12-29)
The atmospheric processes prior to and during the outbreak of 2 galernas (July 25, 1995 and May 30, 1996) are analyzed. Data from surface stations, meteorological satellites, the Punta Galea wind profiler radar and numerical ... -
Aplicación de nuevas tecnologías a la enseñanza
; Blanco Arbe, José Miguel; Sánchez Ortega, Ana (2003)
La aplicación de las nuevas tecnologías de la información y las comunicaciones (NTIC) en la enseñanza se presenta, a menudo,como una innovación metodológica. Sin embargo, nuestra participación en algunas experiencias como ... -
Técnicas básicas de computabilidad
Irastorza Goñi, María Aránzazu; Sánchez Ortega, Ana ; Ibáñez Martínez-Conde, Jesús (2003)
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 ... -
Concepción de un proyecto de teleformación para una asignatura universitaria
Bermejo Llopis, Miren Arantzazu; Blanco Arbe, José Miguel; Sánchez Ortega, Ana (2003)
En este trabajo se presenta un modelo de estudio de viabilidad para el desarrollo de iniciativas de creación de software educativo on-line en el entorno universitario. Este modelo se articula de forma que pueda adaptarse ... -
Estudio de 7 situaciones sinópticas durante el año 2002 unidas a galernas o probabilidad de ocurrencia de las mismas
Grupo de Medio Ambiente Atmosférico. Escuela Superior de Ingeniería de Bilbao; Gangoiti Bengoa, Gotzon (2003-01-28)
The analysis of the generation and development of a series of galernas has shown the presence of intense winds from the SW at relatively low altitudes, some hours before the triggering of a typical summer galerna. It is ... -
Hacia la adaptación al crédito europeo en autómatas y lenguajes formales
Sánchez Ortega, Ana (2007)
Durante el curso 2006-2007 la asignatura Autómatas y Lenguajes Formales se ha incorporado al proyecto SICRE (Seguimiento para la Introducción de los CRéditos Europeos). El presente documento recoge cuál ha sido la orientación ... -
Complemento práctico en la enseñanza de lenguajes formales usando las expresiones regulares en el contexto de aplicaciones web
Blanco Arbe, José Miguel; Sánchez Ortega, Ana (2007)
Tradicionalmente la enseñanza de los autómatas y lenguajes formales basa su principal aplicación práctica en la construcción de compiladores. Sin embargo, las tareas de diseño y programación necesarias son excesivamente ... -
A sensitivity study of bias and variance of k-fold cross-validation in prediction error estimation
(2009)In the machine learning field the performance of a classifier is usually measured in terms of prediction error. In most real-world problems, the error cannot be exactly calculated and it must be estimated. Therefore, it’s ... -
MATEDA: A suite of EDA programs in Matlab
Santana Hermida, Roberto; Echegoyen Arruti, Carlos; ; Bielza, Concha; ; Larrañaga Múgica, Pedro; Armañanzas Arnedillo, Rubén; Shakya, Siddartha (2009)
This paper describes MATEDA-2.0, a suite of programs in Matlab for estimation of distribution algorithms. The package allows the optimization of single and multi-objective problems with estimation of distribution algorithms ... -
A quantitative analysis of estimation of distribution algorithms based on Bayesian networks
; ; Santana Hermida, Roberto; (2009)
The successful application of estimation of distribution algorithms (EDAs) to solve different kinds of problems has reinforced their candidature as promising black-box optimization tools. However, their internal behavior is ... -
On the application of estimation of distribution algorithms to multi-marker tagging SNP selection
Santana Hermida, Roberto; ; Zaitlen, Noah; Eskin, Eleazar; (2009)
This paper presents an algorithm for the automatic selection of a minimal subset of tagging single nucleotide polymorphisms (SNPs) using an estimation of distribution algorithm (EDA). The EDA stochastically searches the ... -
KAF: Kyoto Annotation Framework
Agirre Bengoa, Eneko; Artola Zubillaga, Xabier ; Díaz de Ilarraza Sánchez, Arantza ; Rigau Claramunt, Germán ; Soroa Echave, Aitor ; Bosma, Wauter (2009)
This document presents the current draft of KAF: Kyoto Annotation Framework to be used within the KYOTO project. KAF aims to provide a reference format for the representation of semantic annotations. -
Learning Bayesian network classifiers for multidimensional supervised classification problems by means of a multiobjective approach
(2010)A classical supervised classification task tries to predict a single class variable based on a data set composed of a set of labeled examples. However, in many real domains more than one variable could be considered as a ... -
A Preprocessing Procedure for Haplotype Inference by Pure Parsimony
Irurozki, Ekhine; Calvo Molinos, Borja; (2010)
Haplotype data is especially important in the study of complex diseases since it contains more information than genotype data. However, obtaining haplotype data is technically difficult and expensive. Computational methods ... -
Manual de prácticas de minería de datos usando el software WEKA
Moujahid, Abdelmalik; Inza Cano, Iñaki (2010)
... -
El método de reducción en Teoría de la Computabilidad
Sánchez Ortega, Ana; Ibáñez Martínez-Conde, Jesús ; Irastorza Goñi, María Aránzazu (2010)
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 ...