A Relational Derivation of a Functional Program

This article is an introduction to the use of relational calculi in deriving programs. Using the relational caluclus Ruby, we derive a functional program that adds one bit to a binary number to give a new binary number. The resulting program is unsurprising, being the standard $quot;column of half-adders$quot;, but the derivation illustrates a number of points about working with relations rather than with functions.

Os paradoxos de Prior e o calculo proposicional deôntico relevante E¹.

Cruz, Ângela Maria Paiva. Os paradoxos de Prior e o cálculo proposicional deôntico relevante. Princípios, Natal, v. 4, p. 05-18, 1996.

Relationship between menopause and periodontal disease: a cross-sectional study in a Portuguese population

Article published under a “Creative Commons Attribution Noncommercial License”, enabling the unrestricted non-commercial use, distribution, and reproduction of the published article in any medium, provided that the original work is properly cited.

Cistolitotomía percutánea en paciente con derivación urinaria compleja tipo mitrofanoff

Los cálculos vesicales son los más frecuentes del tracto urinario bajo (1). El factor predisponente más frecuente para la formación de cálculos vesicales es la obstrucción del tracto de salida. Presentaremos el caso de una paciente con antecedente de trauma uretral por fractura de pelvis; derivada con un Mitrofanoff; con diagnostico de cistolitiasis múltiple con cálculos de hasta 1 cm. El objetivo es mostrar la posibilidad de manejo de la cistolitiasis vía percutánea en una paciente con una derivación urinaria compleja funcionante, procedimiento menos mórbido, con menor tiempo de recuperación y con resultados comparables a otras técnicas. Inicia el procedimiento previa cateterización del Mitrofanoff con sonda Foley 12Fr, realizando punción suprapúbica para mediana izquierda a 2 cm de la rama púbica con aguja Chiba, posteriormente se avanzó guía hidrofílica seguida de varilla y dilatadores secuenciales de Alken 9Fr-27Fr y colocación de camisa Amplatz 28 Fr. Se retiraron dilatadores conservando guía de seguridad, se extrajeron la totalidad de los cálculos. Se ocluyó herida y se dejó sonda Foley conectada a Cystoflo. Egreso al día 1 post operatorio y retiro sonda Foley a los 5 días post operatorio. No se presentaron complicaciones, el tiempo operatorio fue de 1 hora, con 1 día de estancia hospitalaria. Recuperación satisfactoria con un resultado exitoso en cuanto a la extracción completa de los cálculos en 1 sólo tiempo quirúrgico. La cistolitotomía percutánea es una opción de manejo la cual ofrece grandes ventajas. Debe ser considerada no sólo en pacientes con acceso uretral restringido.