Fundamentos lógicos de la programación

Este manuscrito cubre los contenidos de la asignatura Fundamentos Lógicos de la Programación. Incluye demostración formal y semántica de la lógica proposicional, semántica y deducción en lógica de primer orden. Por último se describe el principio de resolución para deducción automática.This manuscript covers the contents of the course Principles of logic in programming. It includes both formal and semantic propositional logic, first order logic, and resolution principle for automatic theorem proving

Semigrupos numéricos proporcionalmente modulares

Tesis Univ. Granada. Departamento de Álgebra. Leída el 3 de junio de 200

Comparative Safety and Effectiveness of Ticagrelor versus Clopidogrel in Patients With Acute Coronary Syndrome: An On-Treatment Analysis From a Multicenter Registry.

The net clinical benefit of ticagrelor over clopidogrel in acute coronary syndrome (ACS) has recently been questioned by observational studies which did not account for time-dependent confounders. We aimed to assess the comparative safety and effectiveness of ticagrelor vs. clopidogrel accounting for non-adherence in a real-life setting. This is a prospective, multicenter cohort study of patients with ACS discharged on ticagrelor or clopidogrel between 2015 and 2019. Major exclusions were previous intracranial bleeding, and the use of prasugrel or oral anticoagulation. Association of P2Y12 inhibitor therapy with 1-year risk of Bleeding Academic Research Consortium Type 3 or 5 bleeding; major adverse cardiac events (MACEs), a composite endpoint of all-cause death, nonfatal myocardial infarction (MI), nonfatal stroke, or urgent target lesion revascularization; definite/probable stent thrombosis; vascular death; and net adverse clinical event (a composite endpoint of major bleeding and MACE) were analyzed according to the "on-treatment" principle, using fully adjusted Cox and Fine-Gray regression models with doubly robust inverse probability of censoring weighted estimators. Among 2,070 patients (mean age 63 years, 27% women, 62.5% ST-elevation MI), 1,035 were discharged on ticagrelor and clopidogrel, respectively. Ticagrelor-treated patients were younger and had few comorbidities, but high rates of medication non-compliance, compared with clopidogrel users. After comprehensive multivariate adjustments, ticagrelor did not increase the risk of major bleeding compared with clopidogrel [subhazard ratio, 1.40; 95% confidence interval (CI), 0.96-2.05], while proved superior in reducing MACE (hazard ratio 0.62; 95% CI, 0.43-0.90), vascular death (subhazard ratio, 0.71; 95% CI, 0.52-0.97) and definite/probable stent thrombosis (subhazard ratio, 0.54; 95% CI, 0.30-0.79); thereby resulting in a favorable net clinical benefit (hazard ratio 0.78; 95% CI, 0.60-0.98) compared with clopidogrel. Results from sensitivity analyses were consistent with those from the primary analysis, whereas those from the intention-to-treat (ITT) analysis went in the opposite direction. Among all-comers with ACS, ticagrelor did not significantly increase the risk of major bleeding, while resulting in a net clinical benefit compared with clopidogrel. Further research is warranted to confirm these findings in high bleeding risk populations. (ClinicalTrials.gov Identifier: NCT02500290); Current pre-specified analysis (ClinicalTrials.gov Identifier: NCT04630288)

Revolution: Museo de las estrellas un paseo por la fama : Hollywood

Convocatoria proyectos de innovación de Extremadura 2020/2021Se describe un proyecto llevado a cabo entre 13 centros educativos extremeños que consistió en desarrollar cinco unidades de trabajo gamificadas, cinco historias detectivescas con misterios por resolver, donde se ponían a prueba las habilidades de lógica, la capacidad de observación, de concentración y de atención de los alumnos. Los objetivos principales de la propuesta fueron: promover la puesta en práctica de proyectos intercentros; impulsar pedagogías activas; desarrollar la competencia digital a través del uso de las pedagogías emergentes lo que ha permitido llevar a cabo una enseñanza presencial, híbrida y virtual y atender a la diversidadExtremaduraES

Biodiversidad 2018. Reporte de estado y tendencias de la biodiversidad continental de Colombia

Las cifras y temáticas contenidos en el presente Reporte, aunque no son el panorama completo del estado del conocimiento de la biodiversidad en Colombia, son un compendio seleccionado de los temas que, desde el Instituto Humboldt, consideramos son relevantes y merecen ser discutidos por el público general. En muchos de los casos, las cifras no son esperanzadoras u son un llamado urgente a la acción. En otro casos son la evidencia de que se requieren acciones a nivel nacional, y más allá de esto, son muchas las iniciativas que están germinando desde los territorios, cada vez desde una mayor variedad de actores.Bogotá, D. C., Colombi

Promoción turística sostenible de la reserva de la biosfera Tajo-Tejo Internacional

Convocatoria proyectos de innovación de Extremadura 2020/2021Se describe un proyecto llevado acabo por varios centros educativos ubicados en la zona de la Reserva de la Biosfera Tajo-Tejo Internacional (RBTTI) que pretendía contribuir a la transformación sostenible del entorno mediante su conocimiento y promoción, implementando las competencias digital, social y ciudadana y la cultura emprendedora mediante metodologías activas como el aprendizaje servicio. Entre los objetivos principales del proyecto destacan: dar a conocer las implicaciones de la RBTTI; diseñar una campaña de promoción de la RBTTI mediante trípticos y vídeos promocionales; conocer la Reserva a través de las principales vías pecuarias y caminos que comunican los pueblos; descubrir los principales elementos socioculturales, históricos y tradicionales de la Reserva; valorar la importancia del territorio para conservar la biodiversidad: paisajes, ecosistemas, fauna y flora representativa; relacionar la trashumancia y las vías pecuarias como rasgos identificativos de la Reserva, vinculándolo con la historia y rasgos culturales de los pueblos y valorar el emprendimiento y la iniciativa personal, el asosiacionismo y creación de redes de cooperación en y entre pueblos como motor de desarrolloExtremaduraES

Evolution over Time of Ventilatory Management and Outcome of Patients with Neurologic Disease∗

OBJECTIVES: To describe the changes in ventilator management over time in patients with neurologic disease at ICU admission and to estimate factors associated with 28-day hospital mortality. DESIGN: Secondary analysis of three prospective, observational, multicenter studies. SETTING: Cohort studies conducted in 2004, 2010, and 2016. PATIENTS: Adult patients who received mechanical ventilation for more than 12 hours. INTERVENTIONS: None. MEASUREMENTS AND MAIN RESULTS: Among the 20,929 patients enrolled, we included 4,152 (20%) mechanically ventilated patients due to different neurologic diseases. Hemorrhagic stroke and brain trauma were the most common pathologies associated with the need for mechanical ventilation. Although volume-cycled ventilation remained the preferred ventilation mode, there was a significant (p < 0.001) increment in the use of pressure support ventilation. The proportion of patients receiving a protective lung ventilation strategy was increased over time: 47% in 2004, 63% in 2010, and 65% in 2016 (p < 0.001), as well as the duration of protective ventilation strategies: 406 days per 1,000 mechanical ventilation days in 2004, 523 days per 1,000 mechanical ventilation days in 2010, and 585 days per 1,000 mechanical ventilation days in 2016 (p < 0.001). There were no differences in the length of stay in the ICU, mortality in the ICU, and mortality in hospital from 2004 to 2016. Independent risk factors for 28-day mortality were age greater than 75 years, Simplified Acute Physiology Score II greater than 50, the occurrence of organ dysfunction within first 48 hours after brain injury, and specific neurologic diseases such as hemorrhagic stroke, ischemic stroke, and brain trauma. CONCLUSIONS: More lung-protective ventilatory strategies have been implemented over years in neurologic patients with no effect on pulmonary complications or on survival. We found several prognostic factors on mortality such as advanced age, the severity of the disease, organ dysfunctions, and the etiology of neurologic disease

Ticagrelor in patients with diabetes and stable coronary artery disease with a history of previous percutaneous coronary intervention (THEMIS-PCI) : a phase 3, placebo-controlled, randomised trial

Background: Patients with stable coronary artery disease and diabetes with previous percutaneous coronary intervention (PCI), particularly those with previous stenting, are at high risk of ischaemic events. These patients are generally treated with aspirin. In this trial, we aimed to investigate if these patients would benefit from treatment with aspirin plus ticagrelor. Methods: The Effect of Ticagrelor on Health Outcomes in diabEtes Mellitus patients Intervention Study (THEMIS) was a phase 3 randomised, double-blinded, placebo-controlled trial, done in 1315 sites in 42 countries. Patients were eligible if 50 years or older, with type 2 diabetes, receiving anti-hyperglycaemic drugs for at least 6 months, with stable coronary artery disease, and one of three other mutually non-exclusive criteria: a history of previous PCI or of coronary artery bypass grafting, or documentation of angiographic stenosis of 50% or more in at least one coronary artery. Eligible patients were randomly assigned (1:1) to either ticagrelor or placebo, by use of an interactive voice-response or web-response system. The THEMIS-PCI trial comprised a prespecified subgroup of patients with previous PCI. The primary efficacy outcome was a composite of cardiovascular death, myocardial infarction, or stroke (measured in the intention-to-treat population). Findings: Between Feb 17, 2014, and May 24, 2016, 11 154 patients (58% of the overall THEMIS trial) with a history of previous PCI were enrolled in the THEMIS-PCI trial. Median follow-up was 3·3 years (IQR 2·8–3·8). In the previous PCI group, fewer patients receiving ticagrelor had a primary efficacy outcome event than in the placebo group (404 [7·3%] of 5558 vs 480 [8·6%] of 5596; HR 0·85 [95% CI 0·74–0·97], p=0·013). The same effect was not observed in patients without PCI (p=0·76, p interaction=0·16). The proportion of patients with cardiovascular death was similar in both treatment groups (174 [3·1%] with ticagrelor vs 183 (3·3%) with placebo; HR 0·96 [95% CI 0·78–1·18], p=0·68), as well as all-cause death (282 [5·1%] vs 323 [5·8%]; 0·88 [0·75–1·03], p=0·11). TIMI major bleeding occurred in 111 (2·0%) of 5536 patients receiving ticagrelor and 62 (1·1%) of 5564 patients receiving placebo (HR 2·03 [95% CI 1·48–2·76], p<0·0001), and fatal bleeding in 6 (0·1%) of 5536 patients with ticagrelor and 6 (0·1%) of 5564 with placebo (1·13 [0·36–3·50], p=0·83). Intracranial haemorrhage occurred in 33 (0·6%) and 31 (0·6%) patients (1·21 [0·74–1·97], p=0·45). Ticagrelor improved net clinical benefit: 519/5558 (9·3%) versus 617/5596 (11·0%), HR=0·85, 95% CI 0·75–0·95, p=0·005, in contrast to patients without PCI where it did not, p interaction=0·012. Benefit was present irrespective of time from most recent PCI. Interpretation: In patients with diabetes, stable coronary artery disease, and previous PCI, ticagrelor added to aspirin reduced cardiovascular death, myocardial infarction, and stroke, although with increased major bleeding. In that large, easily identified population, ticagrelor provided a favourable net clinical benefit (more than in patients without history of PCI). This effect shows that long-term therapy with ticagrelor in addition to aspirin should be considered in patients with diabetes and a history of PCI who have tolerated antiplatelet therapy, have high ischaemic risk, and low bleeding risk