Search
Now showing items 31-40 of 45
Algunas demostraciones de incomputabilidad usando la técnica de diagonalización
(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 ...
Técnicas básicas de computabilidad
(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 ...
Hacia la adaptación al crédito europeo en autómatas y lenguajes formales
(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
(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 ...
Concepción de un proyecto de teleformación para una asignatura universitaria
(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 ...
Analisis y diagnóstico de episodios de meteorología severa en el País Vasco
(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 ...
Estudio de 7 situaciones sinópticas durante el año 2002 unidas a galernas o probabilidad de ocurrencia de las mismas
(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 ...
[R_Logroño_Muralla] Documentación geométrica del Cubo del Revellín (Logroño, La Rioja)
(2006-06)
[ES] Documentación del exterior y del interior del cubo de la muralla de Logroño. Esta torre tiene una forma aproximadamente cilíndrica de 10 metros de radio. Al interior se compone de dos niveles, el superior (antiguo ...
[R_Logroño_Muralla] Documentación geométrica de la muralla del Cubo del Revellín de Logroño (La Rioja)
(2009-12)
[ES] El tramo de muralla se compone de un lienzo recto de unos 40 metros de longitud y entre 6 y 12 metros de altura visible (según los tramos). En el centro de este tramo se encuentra una puerta monumental (denominada ...
[A_Armentia_SanPrudencio] Documentación geométrica de la Basílica de Armentia (Vitoria-Gasteiz, Álava)
(Laboratorio de Documentación Geométrica del Patrimonio (LDGP), 2004-04)
[ES] Se trata de un edificio románico en piedra que originalmente tenía planta de cruz hasta que en su rehabilitación del siglo XVIII se encerró dentro de un volumen rectangular de unos 20 x 40 metros. Cuenta con torre, ...