Some general incompleteness results for partial correctness logics

AbstractIt is known that incompleteness of Hoare's logic relative to certain data type specifications can occur due to the ability of partial correctness assertions to code unsolvable problems; cf. Andréka, Németi, and Sain (1979, Lecture Notes in Computer Science Vol. 74, pp. 208–218, Springer-Verlag, New York/Berlin) and Bergstra and Tucker (1982, Theoret. Comput. Sci. 17, 303–315). We improve what we think are the main known theorems of this kind, showing that they depend only on very weak assumptions on the data type specification (ensuring the ability to simulate arbitrarily long finite initial segments of the natural numbers with successor), and pointing out that the recursion theoretic strength of the obtained results can be increased

Diskinesia paroxística kinesiogénica autoinmune

Se trata de un caso de una paciente femenina de 18 años que desde los 6 meses de vida presenta movimientos involuntarios los cuales no son constantes y fluctúan en el día. Estos solo comienzan cuando la paciente está realizando una acción. No se constata su presencia ni en sueño ni en reposo. Ante el tratamiento con fármacos neurolépticos o antiepilépticos no evidencia mejoría pero si se nota mejoría con antibióticos, corticoides y terapia inmunitaria. Asociados a este cuadro se observan una serie de disfunciones inmunológicas (constantes infecciones y estudios inmunológicos anormales). Este cuadro se presenta alternado con periodos de remisión de los síntomas los cuales se caracterizan por mostrar una mejoría gradual, incluso sin medicación, y luego una recaída drástica. Se decide presentar el mismo por su importancia científica, asistencial y docente al ser un caso singular debido a su presentación, etiología y tratamiento

Conociendo a los tutores de Medicina Interna: nuevas necesidades para la formación

Introducción y objetivos Los tutores son los responsables de planificar el aprendizaje de los residentes. El objetivo de este trabajo es conocer la situación de los tutores de Medicina Interna en España y detectar áreas de mejora que puedan facilitar su trabajo. Material y métodos Encuestas online a tutores de Medicina Interna de mayo a julio de 2017 con análisis posterior de los datos. Resultados Respondieron 110 tutores, de 13 comunidades autónomas y hospitales de todos los niveles con docencia en Medicina Interna. Sesenta y tres fueron hombres (57, 3%), la media de edad fue de 48 años y tenían una experiencia como tutores de 8, 5 años. En el 88, 2% de los casos se respeta la ratio de cinco residentes por tutor; un 46% piensa que debería disminuirse esta ratio para optimizar su labor. Un tercio había sido elegido por el responsable del servicio y el 30% nunca ha realizado cursos sobre formación. La entrevista tutor-residentes es utilizada por la mayoría de los tutores (96, 4%) como herramienta de comunicación. En relación a las rotaciones, la cuarta parte no son planificadas por los tutores y, solo la mitad, contacta con los centros donde los residentes realizan las rotaciones externas. El 61% cree que no se realiza bien la evaluación de residentes, con muy escasa utilización de las nuevas herramientas de evaluación. Conclusiones Disminuir la ratio tutor/residente y la formación en técnicas de evaluación y desarrollo del aprendizaje podría mejorar la calidad de la tutorización. Introduction and objectives: Mentors are responsible for planning the residents’ learning. The aim of this study was to determine the situation of internal medicine mentors in Spain and detect areas of improvement that can facilitate their work. Material and methods: Online surveys were sent to internal medicine mentors from May to July 2017, the results of which were subsequently analysed. Results: A total of 110 mentors from 13 autonomous communities and from hospitals of all levels with courses in internal medicine responded to the survey. Of these mentors, 63 were men (57.3%), and the mean age was 48 years. The mean experience as mentors was 8.5 years. Some 88.2% of the cases had a ratio of 5 residents to 1 mentor; 46% of the mentors believed this ratio should be decreased to optimize their work. A third of the mentors were chosen by the heads of the department, and 30% had not previously taken courses on training. The mentor-resident interview was used by most mentors (96.4%) as a communication tool. A quarter of the rotations were not planned by the mentors, and only half had contact with the centres where the residents performed the external rotations. Sixty-one percent of the mentors were of the opinion that resident assessments were not conducted properly, with very little use of the new assessment tools. Conclusions: Reducing the mentor-resident ratio and adding training in assessment techniques and learning development could improve the quality of the mentoring

Freud como filósofo

It is questioned in this paper what we could understand as the proper philosophicalmeaning of the Freudian Psychoanalysis from the crucial significance of the physical conceptof force in the XIXth century, and thereat the metaphysical idea of the force internalaspect. The hermeneutical restoration of Freudian philosophy, in the second place, mightbe understood as a simple reaffirmation of its basic Schopenhauerian frame, made suitablefor the age of the linguistic turn. It should be questioned, therefore, the aim of getting withPsychoanalysis one more device of “total explanation”.Se investiga en este trabajo lo que podríamos entender como el significado propiamente“filosófico” del Psicoanálisis freudiano a partir de la importancia que cobra en el siglo XIXla noción física de fuerza y consiguientemente la idea metafísica de una “cara interna” dela fuerza. La recuperación hermenéutica de la filosofía de Freud, en un segundo momento,se podría entender como una simple reafirmación de su estructura schopenhaueriana fundamental,adaptada a la época del giro lingüístico. Entonces tendría que ser cuestionada lapretensión de haberse logrado con el Psicoanálisis un dispositivo más de “explicación total”

{'en_US': 'Choice of vascular access in a tetraplegic patient on hemodialysis: an obstacle to overcome', 'es_ES': 'Elección de acceso vascular en un paciente tetrapléjico en hemodiálisis: un obstáculo a superar'}

Los accesos vasculares son uno de los pilares fundamentales de la hemodiálisis. El acceso ideal debe proporcionar un flujo adecuado de sangre, ser de larga duración, permitir un abordaje fácil y sin complicaciones. La elección del acceso debe ser individualizada para cada paciente, según diversos aspectos como historia clínica, mapa vascular o preferencias del paciente. La fístula arteriovenosa autóloga es el acceso que más se asemeja a las cualidades del acceso ideal, siendo acceso de primera elección. Se restringen los catéteres venosos centrales tunelizados para situaciones con imposibilidad de conseguir accesos de primera elección. El objetivo de este artículo es mostrar la experiencia de un paciente tetrapléjico en HD, en la búsqueda y elección del acceso vascular. La elección del acceso más adecuado en casos como este tiene importantes connotaciones añadidas, por lo que la decisión no siempre es fácil. Por un lado, los accesos de primera elección pueden limitar o condicionar el quehacer diario de pacientes tetrapléjicos/parapléjicos, y, por otro lado, los catéteres elevan sustancialmente el riesgo de infecciones y la morbimortalidad

Prevalence of Diabetes and Hypertension and Their Associated Risks for Poor Outcomes in Covid-19 Patients

Coronavirus disease 2019 (Covid-19) has affected millions of people and may disproportionately affect those with hypertension and diabetes. Because of inadequate methods in published systematic reviews, the prevalence of diabetes and hypertension and associated risks of poor outcomes in Covid-19 patients are unknown. We searched databases from December 1, 2019, to April 6, 2020, and selected observational peer-reviewed studies in English of patients with Covid-19. Independent reviewers extracted data on study participants, interventions, and outcomes and assessed risk of bias, and the certainty of evidence. We included 65 (15 794 participants) observational studies at moderate to high risk of bias. Overall prevalence of diabetes and hypertension was 12% (95% confidence interval [CI], 10-15; n = 12 870; I 2: 89%), and 17% (95% CI, 13-22; n = 12 709; I 2: 95%), respectively. In severe Covid-19, the prevalence of diabetes and hypertension were 18% (95% CI, 16-20; n = 1099; I 2: 0%) and 32% (95% CI, 16-54; n = 1078; I 2: 63%), respectively. Unadjusted relative risk for intensive care unit admission and mortality were 1.96 (95% CI, 1.19-3.22; n = 8890; I 2: 80%; P = .008) and 2.78 (95% CI, 1.39-5.58; n = 2058; I 2: 75%; P = .0004) for diabetics; and 2.95 (95% CI, 2.18-3.99; n = 1737; I 2: 0%; P < .001) and 2.39 (95% CI, 1.54-3.73; n = 3107; I 2: 66%; P < .001) for hypertensives. Neither diabetes (1.50; 95% CI, 0.90-2.50; n = 1991; I 2: 74%; P = .119) nor hypertension (1.48; 95% CI, 0.99-2.23; n = 2023; I 2: 69%; P = .058) was associated with severe Covid-19. In conclusion, the risk of intensive care unit admission and mortality for patients with diabetes or hypertension who developed Covid-19 is increased compared with those without these comorbidities

Efecto de dos citoquininas, ácido ascórbico y sacarosa en la obtención de plantas in vitro de sorghum bicolor para la formación de callos

Título en ingles: Effect of two cytokinin, ascorbic acid and sucrose to obtain in vitro shoots of sorghum for calli formation Resumen: El trabajo se realizó con el objetivo de obtener brotes in vitro vía organogénesis directa en sorgo variedad CIAP 2E-95, para la formación de callos con estructuras embriogénicas. Se tomaron semillas maduras de plantas que crecían en condiciones controladas, las que se desinfectaron y fueron colocadas a germinación en un medio de cultivo con las sales MS, mioinositol 100 mg L-1, sacarosa 3%, pH 5,7, Fitagel 2,5 g L-1. Para la multiplicación de los brotes, se estudiaron diferentes concentraciones de 6 Bencilaminopurina (6-BAP) y kinetina. El empleo en el medio de cultivo de multiplicación con las sales MS y 6- BAP 0,22 mg L-1, incrementó el número de brotes por explante y se observó la presencia de oxidación fenólica. La oxidación fenólica se contrarrestó con la adición al medio de cultivo de 50 mg L-1 de ácido ascórbico y se incrementó significativamente el número de brotes, altura y número de hojas. En la obtención de brotes in vitro de calidad para la formación de callos, estos fueron engrosados con las sales MS, sin reguladores de crecimiento, ácido ascórbico 50 mg L-1, Fitagel 2,5 g L-1, pH 5,7 y 40 g L-1 de sacarosa. La formación de callos con estructuras embriogénicas a partir del cilindro central de las hojas enrolladas del segmento más próximo a la base de los brotes engrosados se alcanzó a los 45 días de cultivo. Los segmentos del cilindro central de las hojas enrolladas constituyen una fuente segura y promisoria de explantes para la formación de callos embriogénicos. Palabras clave: 6 BAP; brote in vitro; callos con estrucutras embriogénicos; kinetina. Abstract: The current work aimed to obtain in vitro shoots by direct organogenesis from sorghum variety CIAP 2E-95, for the formation of calluses with embryogenic structures. Mature seeds were collected from plants grown under controlled conditions, which were disinfected and were placed in a germination medium with MS salts, myo-inositol 100 mg L-1, 3% sucrose, pH 5.7, phytagel 2.5 g L-1. Different concentrations of 6-benzylaminopurine (6-BAP) and kinetin were studied for shoot multiplication. Using 6 - BAP 0.22 mg L-1 in the multiplication culture medium increased the number of shoots per explant, showing phenolic oxidation. Adding 50 mg L-1 of ascorbic acid to the culture medium resisted phenolic oxidation and the number of sprouts (5.0), height and number of leaves increased significantly. Quality in vitro buds for callus formation were obtained  stimulating the thickening by using MS salts, without growth regulators, ascorbic acid 50 mg L-1, phytagel 2.5 g L-1 and pH 5.7 and 40 g L-1 of sucrose. The largest diameter of shoots, height, number of leaves and roots of in vitro plants, was achieved after 21 days of cultured in MS salts with 40 g L-1 sucrose. Calluses formation with embryogenic structures from the central cylinder of curled leaves of the nearest segment to the base of thickened shoots was achieved after 45 days of culture. Segments from the central cylinder of the curled leaves are a safe source for the formation of embryogenic calli. Key words: 6-BAP; in vitro shoots; callus with embryogenic structures; kineti

100 Conceptos básicos de Astronomía

Se trata de un diccionario de términos astronómicos principalmente dirigido a estudiantes de bachillerato y a profesores de ciencias