Geometric multiplicity margin for a submatrix

AMS Classification: 15A18, 15A21, 15A60.

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.

Exámenes resueltos de matemáticas III LADE

En la asignatura de Matemáticas III, en la Licenciatura en Administración y Dirección de Empresas, se complementan los estudios de Algebra Lineal introducidos en Matemáticas I y se estudian en profundidad los problemas de programación lineal, imprescindibles en estos estudios. En la primera parte de esta asignatura se aborda el problema de la diagonalización de matrices y el estudio de las formas cuadráticas. La segunda parte de la asignatura se dedica a la programación lineal, incidiendo especialmente en el análisis gráfico de este tipo de tipo de problemas y en el método simplex, que permite resolver estos problemas cuando el número de variables aumenta. Así mismo, se insiste en el correcto planteamiento de estos problemas y en el análisis de sensibilidad. Todos estos conceptos son necesarios en los estudios de Administración y Dirección de Empresas (LADE). Esta publicación recoge la resolución de todos los exámenes propuestos en la asignatura de Matemáticas III, Licenciatura en Administración y Dirección de Empresas, en la Facultad de Ciencias Económicas y Empresariales de la UPV\EHU entre los cursos 2001-2002 y 2009-2010. Los exámenes están dispuestos en el orden en que se realizaron, esto es, los últimos que aparecen son los más recientes.

Forma canónica de Kronecker

Este libro trata de explicar con claridad y sencillez la forma canónica de Kronecker de haces de matrices para la relación de equivalencia estricta. El tema es importante para los ingenieros, físicos, químicos, economistas y otros científicos que estudian sistemas lineales con control, por lo que una introducción asequible y rigurosa se echa de menos. También esperamos que el libro sea de utilidad para los matemáticos en un segundo curso de álgebra lineal como complemento natural del estudio de la forma canónica de Jordan. La forma canónica de Kronecker es llamada igualmente de Weierstrass-Kronecker, ya que Weierstrass desarrolla la teoría de los divisores elementales y Kronecker la de los índices minimales. Desde un punto de vista epistemológico e histórico deben relacionarse estas teorías con el estudio geométrico de los haces de cónicas y cuádricas para la formación del estudiante de matemáticas. Este libro no intenta establecer estas conexiones. Al lector que desee proseguir en los precedentes históricos le recomendamos el libro sobre historia de las matemáticas de Bourbaki y también artículos de Robert Thompson, Frank Uhlig y otros en la revista Linear Algebra and Its Applications en los años 1980.

PICC vs Catéter central insertado en vena subclavia en pacientes críticos

[Es]Introducción: actualmente, en servicios como UCIs, quirófanos y Urgencias cada vez es más común el empleo de CVCS y PICC. Ambos están asociados a graves complicaciones como CLABSI, TVP, EP, arritmia, etc. Dado que la enfermería juega un papel importante tanto en la inserción de estos dispositivos, como en el mantenimiento y prevención de las adversidades, es necesario poseer los conocimientos y habilidades adecuados para su afrontamiento. Objetivo y metodología: determinar cuál de los dos supone menor riesgo de complicaciones en pacientes críticos mediante la evidencia científica y utilizando la EBE. Para ello se ha realizado una revisión bibliográfica de estudios encontrados en bases de datos como Pubmed, Cochrane y Cinhal mediante la combinación de términos MeSH y palabras clave con operadores booleanos. Resultados y discusión: se han incluido en total 13 publicaciones (6 RS, 4 estudios de cohorte, 1 ECA y 2 GPC), de las cuales 3 poseen calidad alta, 3 media y 5 baja. Tanto los PICC como los CVCS implican diversas complicaciones, divididas en infecciosas, trombo-embolicas y mecánicas/otras. Existe insuficiente evidencia científica y gran heterogeneidad entre los artículos, lo que dificulta su extrapolación. Conclusiones: en pacientes críticos los PICC poseen mayor riesgo de TVP, los CVCS de complicaciones mecánicas, y ambos presentan tasas similares de CLABSI. Es importante escoger de forma individualizada el catéter a implantar, estimando los riesgos-beneficios de cada uno. Los cuidados preventivos son fundamentales en la reducción de estas contingencias. Son necesarios más estudios prospectivos comparativos.

Structural Synthesis of 3-DoF Spatial Fully Parallel Manipulators

In this paper, the architectures of three degrees of freedom (3-DoF) spatial, fully parallel manipulators (PMs), whose limbs are structurally identical, are obtained systematically. To do this, the methodology followed makes use of the concepts of the displacement group theory of rigid body motion. This theory works with so-called 'motion generators'. That is, every limb is a kinematic chain that produces a certain type of displacement in the mobile platform or end-effector. The laws of group algebra will determine the actual motion pattern of the end-effector. The structural synthesis is a combinatorial process of different kinematic chains' topologies employed in order to get all of the 3-DoF motion pattern possibilities in the end-effector of the fully parallel manipulator.

Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.