A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Combining insights from the study of type refinement systems and of monoidal closed chiralities, we show how to reconstruct Lawvere's hyperdoctrine of presheaves using a full and faithful embedding into a monoidal closed bifibration living now over the compact closed category of small categories and distributors. Besides revealing dualities which are not immediately apparent in the traditional presentation of the presheaf hyperdoctrine, this reconstruction leads us to an axiomatic treatment of directed equality predicates (modelled by hom presheaves), realizing a vision initially set out by Lawvere (1970). It also leads to a simple calculus of string diagrams (representing presheaves) that is highly reminiscent of C. S. Peirce's existential graphs for predicate logic, refining an earlier interpretation of existential graphs in terms of Boolean hyperdoctrines by Brady and Trimble. Finally, we illustrate how this work extends to a bifibrational setting a number of fundamental ideas of linear logic.Comment: Identical to the final version of the paper as appears in proceedings of LICS 2016, formatted for on-screen readin

Fijación externa en las fracturas-luxaciones centrales de cadera: a propósito de 3 casos

Se presentan tres casos de fractura-luxación central de cadera tratados mediante estabilización y reducción progresiva con fijación externa. Las ventajas de este tratamiento con respecto al tratamiento conservador o quirúrgico son la estabilización inmediata y la sencillez de realización. Los resultados de fijación externa obtenidos en estos pacientes demuestran una rehabilitación y deambulación precoz e independiente. La recuperación clínica y funcional fue satisfactoria en dos casos. En otro caso, con mala reducción quirúrgica previa, el resultado fue pobre.Three cases of central fracture-dislocation of the hip treated by stabilization and progressive reduction by means of external fixation are presented. The advantages of this procedure over the conservative or even the surgical treatment are the early stabilization and the fact that the technique is a step-forward procedure. The results obtained in these patients with external fixation of the hip led to a good rehabilitation and to an early independent ambulation. The clinical and functional recovery of these patients was satisfactory in two cases. In other with previous failed open reduction the result was poor

Correction: Gustafson et al., Whole Genome Sequencing Revealed Mutations in Two Independent Genes as the Underlying Cause of Retinal Degeneration in an Ashkenazi Jewish Pedigree. Genes 2017, 8, 210.

Following publication of our article [1], we identified discrepancies between the pedigree shown in Figure 1 and the rest of the text.[...]

Pseudosubluxación C2-C3: un hallazgo radiológico frecuente en la infancia

Objetivo: Mostrar un hallazgo radiológico fisiológico de la columna cervical infantil que tiende a ser malinterpretado como patológico: la pseudosubluxación C2-C3. Se presenta un caso de una niña de 14 meses de edad remitida a nuestro centro bajo sospecha de subluxación C2-C3. Se aporta una metodología para el diagnóstico diferencial entre pseudosubluxación C2-C3 y subluxación C2-C3 verdadera. Una anamnesis detallada así como una exploración clínica y radiográfica minuciosas, permiten establecer el diagnóstico en la mayoría de los casos. La normal movilidad en flexión de C2 sobre C3 en la columna cervical infantil puede ser tan pronunciada que llegue a confundirse con una lesión. La interpretación adecuada de las radiografías simples de la columna cervical en los niños requiere el conocimiento de las peculiaridades de este segmento en la edad pediátrica.Objective: To report on a physiological radiographic finding of the cervical spine in childhood that trends to be misjudged as pathologic: C2-C3 pseudosubluxation. We presented a girl, aged 14 months, who was remitted to our Center for clinical suspect of C2-C3 subluxation. A diagnostic methodology is offered to distinguish between C2-C3 pseudosubluxation and a true C2-C3 subluxation. A detailed anamnesis as well as a meticulous radiological and clinical exploration, allow to establish the right diagnosis in most cases, without any other complementary probe. The normal mobility of C2 on C3 in flexion could be so pronounced as to be mistaken for a pathological finding. The suitable radiographic interpretation of the cervical spine in children requires the knowledge of the peculiarities of this segment in the pediatric age

Tratamiento quirúrgico de la escoliosis en el síndrome de Rett: sistema de instrumentación TRANSPINE

El Síndrome de Rett es una afectación neurológica que en los estadios últimos presenta deformidades evolutivas que suelen precisar cirugía. Se han revisado en este estudio 11 pacientes con Síndrome de Rett y deformidad en columna que precisaron cirugía. Se analizaron las magnitudes de las curvas con ángulo de Cobb, alteraciones del plano sagital (cifosis y lordosis), oblicuidad pélvica pre y postoperatoria, niveles de fusión y complicaciones postoperatorias. La corrección media fue del 65%. Se realizó una fusión posterior en todos los pacientes sin incluir sacro pelvis. Los montajes se realizaron principalmente con sistema híbrido de tornillos, ganchos, pinzas y cables laminares TRANSPINE®. Las escoliosis neuromusculares, como el síndrome de Rett, que precisan corrección, pueden controlarse de forma segura y efectiva mediante artrodesis posterior con instrumentación híbrida.Rett Syndrome is a neurological impairment with a typically long C scoliosis curve that often require surgery. In this study it has been reviewed 11 patients with Rett syndrome and spine deformity. We analyzed the magnitudes of the curves with Cobb angle, sagittal plane (kyphosis and lordosis), preoperative and postoperative pelvic obliquity, fusion levels and postoperative complications. The average correction was 65%. Posterior fusion was performed in all patients excluding sacrum pelvis. The assemblies are made mainly with the hybrid system of screws, hooks, clips and cables TRANSPINE®. Neuromuscular scoliosis, such as Rett syndrome, which needs correction, can be controlled safely and effectively by posterior fusion with hybrid constructs

Methodology for characterization, evaluation and optimization of acoustic environments

Currently we are working on methodologies to characterize, evaluate and optimize acoustic environments with different approaches. One methodology is based on the evaluation of temporal energetic behavior of acoustic environment through the use of parameters associated with the autocorrelation function (ACF). In this case the main objective is to verify the variability of the temporal behavior of urban acoustic environment depending of sounds sources that are part of them. We evaluate the temporal energetic behavior in 10 urban acoustic environments using ACF in two main cities, Brasilia (Brazil) and Bogotá (Colombia). The second methodology is based on the design of an experiment to improve and optimize acoustic environments on the basis of the auditory subjective experiences of the people. It has been designed a LabVIEW application for psychoacoustic laboratory tests to evaluate the subjective perception of people. The main objective is to evaluate how adding sound signals in acoustics environments with traffic noise couls improve the experience of the users

New method for carbon dioxide mineralization based on phosphogypsum and aluminium-rich industrial wastes resulting in valuable carbonated by-products

A new carbon mineralization method was designed based on a sequestration agent synthesised exclusively from industrial wastes. Phosphogypsum waste from the fertiliser industry was dissolved into caustic aqueous waste from the aluminium anodising industry. The resulting precipitate consisted of katoite (Ca3Al2(OH)12, a Si-free hydrogrossular solid solution end-member of the Al-containing hydrogarnet) and thenardite (Na2SO4); the latter easily removed by rinsing with water. The carbonation performance of this katoite-rich sequestration agent was evaluated using two different methods, by bubbling in aqueous media and by weathering. Both procedures yielded high carbonation efficiencies (80% and 100%, respectively), and resulted in a solid precipitate composed primarily of calcite (CaCO3) and aluminium hydroxide (Al(OH)3). Priority attention was given to the transfer of trace elements and radionuclides of the uranium series typically present in the phosphogypsum. Results confirmed that the traces were transferred to resulting final solid carbonate at concentrations similar to those present in the raw phosphogypsum. In conclusion, these carbonated minerals would trap substantial amounts of CO2 and produce final materials with similar civil engineering uses to those proposed for current phosphogypsum wastes. This work offers new methods for jointly managing specific industrial wastes oriented to more sustainable industrial processes and controlling CO2 emissionsPeer reviewe

Tratamiento de la escoliosis idiopática mediante artrodesis anterior e instrumentación de Zielke

—Hemos revisado 16 pacientes afectos de escoliosis toracolumbar y lumbar tratados mediante artrodesis anterior e instrumentación de Zielke. La corrección de la curva en el plano anteroposterior ha sido del 68%. La escoliosis torácica asociada se ha corregido de forma espontánea un 30%. La lordosis global final ha sido de 40°, sin embargo la instrumentación provoca un aumento de la cifosis regional de 10°. Las complicaciones de la serie han sido 3 roturas de barra, una progresión de la curva torácica y un derrame pleural.The authors showed the clinical outcome of 16 patients with thoracolumbar and lumbar curvatures treated by Zielke instrumentation and anterior fusion. The correction obtained in the primary curvature was 68%. The average correction in the compensatory thoracic curvature was 30%. The average lordosis correction at follow was 40°. However the Zielke's system lead to an increase of 10° of kyphotic at the instrumented levels. Complications included 3 browen rods, a progression of the thoracic curve and one pleural spilling