Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Diseño del procedimiento para la validación de los equipos de un sistema de control de acceso de RFID pasivo

[ES]En este documento se realiza el diseño de un procedimiento para la validación de los equipos necesarios a la hora de implantar un sistema de control de acceso mediante RFID pasivo. Para ello, se analizarán los distintos tipos de sistemas RFID y se elige uno para la posterior adquisición de los dispositivos necesarios. Se comprobará la normativa vigente ETSI, que regula las emisiones de potencia de los equipos de identificación por radiofrecuencia, y se verificará que se cumplen los requisitos necesarios para implantar el sistema de control de acceso realizando un análisis funcional en situaciones reales.

Prácticas de psicometría. Manual de procedimiento

Las prácticas de psicometría son actividades diseñadas con la finalidad de fortalecer y afianzar los conocimientos y destrezas propios a la disciplina. Las tareas y trabajos a desarrollar dentro de las prácticas de psicometría facilitan la aprehension de los conceptos, métodos y técnicas necesarias para la construcción de tests, la evaluación de los instrumentos de medida y su correcto uso.

Estudio de impacto ambiental: Procedimiento y herramientas

Este trabajo consta de un manual donde se detallan los pasos necesarios para realizar un Estudio de Impacto Ambiental, acompañado de un libro excel donde se llevarán a cabo las operaciones necesarios para la valoración cualitativa y cuantitativa de los impactos ambientales, así como la colección de indicadores ambientales necesarios para dicha valoración.

Estudio de impacto ambiental: procedimiento y herramientas

2ª edición

Reproducción de una Cédula de Citación remitida a D. Juan Manuel Epalza por el Juzgado de Instrucción Nº 2.

Fecha: 15-3-1935 (>1970 reproducción) / Unidad de instalación: Carpeta 25 - Expediente 23-2 / Nº de pág.: 1 (mecanografiada)

¿Puede realmente una iniciativa legislativa popular convertirse en ley?

uración (en horas): Más de 50 horas. Nivel educativo: Grado

La fiscalidad de las cooperativas. Un modelo que fortalece los fondos propios

[ES] Las cooperativas son un modelo de empresa que tiene unas características particulares, entre las que destacan la distribución y el ejercicio del poder, la manera particular de distribución de resultados, la existencia de unos fondos obligatorios, la autoregulación del régimen de trabajo, el procedimiento de atribución de fondos económicos en el momento de la baja de un socio, y la participación de los asalariados en los resultados económicos positivos.

Visualización interactiva de grafos con el programa Xglore

[ES] El presente manual describe el manejo de grafos de forma interactiva en el entorno 3D que proporciona el programa Xglore (http://sourceforge.net/projects/xglore/). Forma parte del proyecto “Nerthusv2: Base de datos léxica en 3D del inglés antiguo” patrocinado por el Ministerio de Ciencia e Innovación (nº: FFI08-04448/FILO).

3D line drawing from point clouds using chromatic stereo and shading

1 PDF document (8 pp., English).-- Contributed to: VSMM'08: 14th International Conference on Virtual Systems and Multimedia (Limassol, Cyprus, Oct 20-25, 2008)

Medición del valor de marca desde un enfoque formativo

[ES] Las empresas necesitan medir el valor de sus marcas para poder tomar las mejores decisiones tácticas y estratégicas relativas a estos activos intangibles. Es por ello que este trabajo desarrolla un instrumento de medida del valor de marca utilizando un enfoque formativo. A diferencia de investigaciones anteriores, este estudio propone un modelo formativo de orden superior y valida empíricamente dicha conceptualización en dos países, España y el Reino Unido.

¿Bancos con Problemas? Un Sistema de Alerta Temprana para la Prevención de Crisis Bancarias

[ES] Las autoridades reguladoras y supervisoras de los sistemas financieros han probado diversos métodos para intentar encontrar un procedimiento eficaz en la elaboración de un sistema de alerta temprana de las crisis bancarias. Los Modelos de Regresión Logística han sido usados aunque han mostrado algunas debilidades, por lo que se necesitan nuevos y mejores métodos. La crisis bancaria ocurrida en la República Dominicana entre los años 2002 y 2004 se ha usado para comparar la eficacia de la Regresión Logística frente al uso del método Support Vector Machines (SVM) para la detección de crisis bancarias.

Un método para el taladro de aluminio que facilita la unión por remaches de los componentes aeronáuticos

189 p. : il. col.

Estudio de los rayos en el País vasco y su relación con la precipitación

245 p. : il.