Herramientas educativas para la enseñanza de la lógica

El software educativo ayuda a motivar y mejorar el proceso de enseñanza/aprendizaje. En este artículo se presenta un proyecto de desarrollo de herramientas didácticas, interactivas y visuales para cursos de Lógica dictados en los primeros años de carreras de Informática. Las herramientas fueron desarrolladas por alumnos de 2º año de la carrera como Trabajo Final de dos materias, una que introduce conceptos de Lógica para Computación y otra que aborda las bases de las técnicas de diseño de algoritmos, permitiéndoles integrar y profundizar en los contenidos de ambas.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

Herramientas educativas para la enseñanza de la lógica

El software educativo ayuda a motivar y mejorar el proceso de enseñanza/aprendizaje. En este artículo se presenta un proyecto de desarrollo de herramientas didácticas, interactivas y visuales para cursos de Lógica dictados en los primeros años de carreras de Informática. Las herramientas fueron desarrolladas por alumnos de 2º año de la carrera como Trabajo Final de dos materias, una que introduce conceptos de Lógica para Computación y otra que aborda las bases de las técnicas de diseño de algoritmos, permitiéndoles integrar y profundizar en los contenidos de ambas.V Workshop de Innovación en Educación en Informática (WIEI).Red de Universidades con Carreras en Informática (RedUNCI

PARP-1 cooperates with Ptc1 to suppress medulloblastoma and basal cell carcinoma

n/

Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP

En los últimos años UML ("Unified Modeling Language") se ha impuesto como un estándar de– facto para expresar modelos orientados a objetos. Es un lenguaje diseñado para especificar, visualizar, construir y documentar “artefactos” de sistemas de software [Booch’99]. A diferencia de los lenguajes visuales que lo precedieron, UML posee una definición semántica más precisa que combina notación gráfica, reglas bien formadas expresadas en OCL [OMG’01] y lenguaje natural. Esta definición semántica da una estructura rigurosa al lenguaje aunque aún varias de sus construcciones están definidas débilmente. Si bien UML estandariza un lenguaje de modelamiento y no impone ningún proceso de desarrollo fue concebido pensando en procesos dirigidos por casos de uso, centrados en arquitecturas, iterativos e incrementales. En noviembre de 2001 OMG presenta “Software Process Engineering Metamodel” (SPEM) que es usado para describir un proceso de desarrollo de software concreto o una familia de procesos que usan UML. El proceso más popular que se ajusta a SPEM es RUP (“Rational Unified Process”) [Krutchen’00]. La existencia de un lenguaje de modelamiento estándar como UML brinda la posibilidad de concentrar esfuerzos en la definición de potentes herramientas CASE UML. Pueden mencionarse entre las numerosas existentes en el mercado a Argo/UML, Together, GDPro, Stp/UML, Rational Rose, MagicDraw/UML, Rhapsody y Objecteering. Las mismas asisten en el análisis, diseño e implementación de sistemas orientados a objetos. Proveen facilidades, si bien limitadas, para homogeneizar diagramas y realizar comprobaciones que detecten inconsistencias y errores como asimismo para procesos de ingeniería directa (forward engineering) e inversa (reverse engineering)Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP

En los últimos años UML ("Unified Modeling Language") se ha impuesto como un estándar de– facto para expresar modelos orientados a objetos. Es un lenguaje diseñado para especificar, visualizar, construir y documentar “artefactos” de sistemas de software [Booch’99]. A diferencia de los lenguajes visuales que lo precedieron, UML posee una definición semántica más precisa que combina notación gráfica, reglas bien formadas expresadas en OCL [OMG’01] y lenguaje natural. Esta definición semántica da una estructura rigurosa al lenguaje aunque aún varias de sus construcciones están definidas débilmente. Si bien UML estandariza un lenguaje de modelamiento y no impone ningún proceso de desarrollo fue concebido pensando en procesos dirigidos por casos de uso, centrados en arquitecturas, iterativos e incrementales. En noviembre de 2001 OMG presenta “Software Process Engineering Metamodel” (SPEM) que es usado para describir un proceso de desarrollo de software concreto o una familia de procesos que usan UML. El proceso más popular que se ajusta a SPEM es RUP (“Rational Unified Process”) [Krutchen’00]. La existencia de un lenguaje de modelamiento estándar como UML brinda la posibilidad de concentrar esfuerzos en la definición de potentes herramientas CASE UML. Pueden mencionarse entre las numerosas existentes en el mercado a Argo/UML, Together, GDPro, Stp/UML, Rational Rose, MagicDraw/UML, Rhapsody y Objecteering. Las mismas asisten en el análisis, diseño e implementación de sistemas orientados a objetos. Proveen facilidades, si bien limitadas, para homogeneizar diagramas y realizar comprobaciones que detecten inconsistencias y errores como asimismo para procesos de ingeniería directa (forward engineering) e inversa (reverse engineering)Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

position paper per un programma di eliminazione della epatite c nella popolazione a rischio dei consumatori di sostanze e dei detenuti

The data recently published in scientific literature identify in substance abuse the most important risk factor for the transmission of HCV. Another population at risk is represented by detainees, mainly because most of them have a history of substance use. Treatment of the population at risk (substance users and detainees) must become a priority for health systems both to ensure fairness of access to care and to achieve the public health goal of eliminating HCV. The programs to take charge should be multi-disciplinary, flexible, tailored, evidence-based, disseminated homogeneously throughout the national territory, and supported by procedures and guidelines including harm reduction actions, as suggested by the WHO

Evaluation of Indirect Fluorescent Antibody Assays Compared to Rapid Influenza Diagnostic Tests for the Detection of Pandemic Influenza A (H1N1) pdm09

Performance of indirect fluorescent antibody (IFA) assays and rapid influenza diagnostic tests (RIDT) during the 2009 H1N1 pandemic was evaluated, along with the relative effects of age and illness severity on test accuracy. Clinicians and laboratories submitted specimens on patients with respiratory illness to public health from April to mid October 2009 for polymerase chain reaction (PCR) testing as part of pandemic H1N1 surveillance efforts in Orange County, CA; IFA and RIDT were performed in clinical settings. Sensitivity and specificity for detection of the 2009 pandemic H1N1 strain, now officially named influenza A(H1N1)pdm09, were calculated for 638 specimens. Overall, approximately 30% of IFA tests and RIDTs tested by PCR were falsely negative (sensitivity 71% and 69%, respectively). Sensitivity of RIDT ranged from 45% to 84% depending on severity and age of patients. In hospitalized children, sensitivity of IFA (75%) was similar to RIDT (84%). Specificity of tests performed on hospitalized children was 94% for IFA and 80% for RIDT. Overall sensitivity of RIDT in this study was comparable to previously published studies on pandemic H1N1 influenza and sensitivity of IFA was similar to what has been reported in children for seasonal influenza. Both diagnostic tests produced a high number of false negatives and should not be used to rule out influenza infection

Milestones to reach Hepatitis C Virus (HCV) elimination in Italy : from free-of-charge screening to regional roadmaps for an HCV-free nation

Although Italy has been on track for Hepatitis C Virus (HCV) elimination since 2019, it fell off track due to the decrease in the number of treated patients. HCV elimination in Italy will be possible if immediate action is taken. A health policy was implemented beginning in 2021, consisting of screening among key populations and birth cohorts (1969-1989), estimated to have a high prevalence of undiagnosed individuals. The active screening requires regional governance that manages the processes' complexity integrating a well-organized network between territory assistance and hospital to achieve an effective HCV care cascade. This document aims to support the regional decision-making process by defining paths for screening and linkage-to-care. Implementing active screening strategies beyond a risk-based approach is required as a General Practitioners' task. Simplified paths must be drawn for the key populations screening. The infrastructure built for COVID-19 vaccination could be used also for HCV screening. According to a multidisciplinary care delivery, screening should be supplemented with rapid linkage-to-care and treatment of newly diagnosed patients. The realization of the proactive screening during the first two years is vital because it will define the tracks for the whole HCV cost-effective screening of 1948-1988 birth cohorts in Italy

Ticagrelor Monotherapy or Dual Antiplatelet Therapy After Drug-Eluting Stent Implantation: Per-Protocol Analysis of the GLOBAL LEADERS Trial.

Background In the GLOBAL LEADERS trial, ticagrelor monotherapy beyond 1 month compared with standard antiplatelet regimens after coronary stent implantation did not improve outcomes at intention-to-treat analysis. Considerable differences in treatment adherence between the experimental and control groups may have affected the intention-to-treat results. In this reanalysis of the GLOBAL LEADERS trial, we compared the experimental and control treatment strategies in a per-protocol analysis of patients who did not deviate from the study protocol. Methods and Results Baseline and postrandomization information were used to classify whether and when patients were deviating from the study protocol. With logistic regressions, we derived time-varying inverse probabilities of nondeviation from protocol to reconstruct the trial population without protocol deviation. The primary end point was a composite of all-cause mortality or nonfatal Q-wave myocardial infarction at 2 years. At 2-year follow-up, 1103 (13.8%) of 7980 patients in the experimental group and 785 (9.8%) of 7988 patients in the control group qualified as protocol deviators. At per-protocol analysis, the rate ratio for the primary end point was 0.88 (95% CI, 0.75-1.03; P=0.10) on the basis of 274 versus 325 events in the experimental versus control group. The rate ratio for the key safety end point of major bleeding was 1.00 (95% CI, 0.79-1.26; P=0.99). The per-protocol and intention-to-treat effect estimates were overall consistent. Conclusions Among patients who complied with the study protocol in the GLOBAL LEADERS trial, ticagrelor plus aspirin for 1 month followed by ticagrelor monotherapy was not superior to 1-year standard dual antiplatelet therapy followed by aspirin alone at 2 years after coronary stenting. Registration URL: https://www.clinicaltrials.gov; Unique identifier: NCT01813435