Handbook on programs of the U.S. Department of Health, Education, and Welfare.

Description based on: 1960.

Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly.

Rebirth of a neighborhood: In streetscape design

This study involves one of the eight neighborhoods in the City of Miami named Little Havana. Little Havana, once a flourishing Hispanic community during the 1960s through the 1980s, is now experiencing housing deterioration, economic disinvestment, and increased social needs. ^ Although the City developed a Community Development Plan for the neighborhood addressing the neighborhood problems, needs, and objectives, it failed to address and take advantage of the area's prominent commercial street, Calle Ocho, as a cultural catalyst for the revitalization of the neighborhood. With an urban study and understanding of the area's needs for transit system improvements, program analysis, and a valuable architectural inventory, an intervention project can be developed. The project will capitalize on the area's historical and cultural assets and serve as a step towards altering the area's decline and revitalizing the street and community to recapture the energy present during the early years of the massive Cuban migration. ^

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.

Historical analysis of the Brazilian cervical cancer screening program from 2006 to 2013: a time for reflection

BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.

Iowa's Adult Literacy Program Benchmark Analysis Report, 2002

The purpose of this document is to present Iowa’s Adult Literacy Benchmark Analysis Report: Program Year 2002. The report is designed to provide a supplemental analysis of the information presented in Tables 5-19 (pp. 16-37) referenced in the publication titled Iowa's Adult Basic Education Program Annual Benchmark Report: Program Year 2002. The original data source for Tables 1-7 is from Iowa’s National Reporting System (NRS) report Tables 4B and 5 and the publication titled Iowa’s Community College Basic Literacy Skills Credential Program: Program Year 2002. (See Appendix B of Iowa’s Adult Basic Education Program Annual Benchmark Report: Program Year 2002, [pp. 54-55] and Iowa’s Community College Basic Literacy Skills Credential Program Annual Report: Program Year 2002 Tables 1-2 [pp. 6-7]).

Integrated Analysis of High-Resolution Gene Expression and Copy Number Profiling Identified Biallelic Deletion of CDKN2A/2B Tumor Suppressor Locus As the Most Frequent and Unique Genomic Abnormality in Diffuse Large B-Cell Lymphoma (DLBCL) with Strong Prognostic Value in Both GCB and ABC Subtypes and Not Overcome by a Dose-Intensive Immunochemotherapy Regimen Plus Rituximab. Results of a Prospective GELA Clinical Trial Program

Background and aim of the study: Genomic gains and losses play a crucial role in the development and progression of DLBCL and are closely related to gene expression profiles (GEP), including the germinal center B-cell like (GCB) and activated B-cell like (ABC) cell of origin (COO) molecular signatures. To identify new oncogenes or tumor suppressor genes (TSG) involved in DLBCL pathogenesis and to determine their prognostic values, an integrated analysis of high-resolution gene expression and copy number profiling was performed. Patients and methods: Two hundred and eight adult patients with de novo CD20+ DLBCL enrolled in the prospective multicentric randomized LNH-03 GELA trials (LNH03-1B, -2B, -3B, 39B, -5B, -6B, -7B) with available frozen tumour samples, centralized reviewing and adequate DNA/RNA quality were selected. 116 patients were treated by Rituximab(R)-CHOP/R-miniCHOP and 92 patients were treated by the high dose (R)-ACVBP regimen dedicated to patients younger than 60 years (y) in frontline. Tumour samples were simultaneously analysed by high resolution comparative genomic hybridization (CGH, Agilent, 144K) and gene expression arrays (Affymetrix, U133+2). Minimal common regions (MCR), as defined by segments that affect the same chromosomal region in different cases, were delineated. Gene expression and MCR data sets were merged using Gene expression and dosage integrator algorithm (GEDI, Lenz et al. PNAS 2008) to identify new potential driver genes. Results: A total of 1363 recurrent (defined by a penetrance > 5%) MCRs within the DLBCL data set, ranging in size from 386 bp, affecting a single gene, to more than 24 Mb were identified by CGH. Of these MCRs, 756 (55%) showed a significant association with gene expression: 396 (59%) gains, 354 (52%) single-copy deletions, and 6 (67%) homozygous deletions. By this integrated approach, in addition to previously reported genes (CDKN2A/2B, PTEN, DLEU2, TNFAIP3, B2M, CD58, TNFRSF14, FOXP1, REL...), several genes targeted by gene copy abnormalities with a dosage effect and potential physiopathological impact were identified, including genes with TSG activity involved in cell cycle (HACE1, CDKN2C) immune response (CD68, CD177, CD70, TNFSF9, IRAK2), DNA integrity (XRCC2, BRCA1, NCOR1, NF1, FHIT) or oncogenic functions (CD79b, PTPRT, MALT1, AUTS2, MCL1, PTTG1...) with distinct distribution according to COO signature. The CDKN2A/2B tumor suppressor locus (9p21) was deleted homozygously in 27% of cases and hemizygously in 9% of cases. Biallelic loss was observed in 49% of ABC DLBCL and in 10% of GCB DLBCL. This deletion was strongly correlated to age and associated to a limited number of additional genetic abnormalities including trisomy 3, 18 and short gains/losses of Chr. 1, 2, 19 regions (FDR < 0.01), allowing to identify genes that may have synergistic effects with CDKN2A/2B inactivation. With a median follow-up of 42.9 months, only CDKN2A/2B biallelic deletion strongly correlates (FDR p.value < 0.01) to a poor outcome in the entire cohort (4y PFS = 44% [32-61] respectively vs. 74% [66-82] for patients in germline configuration; 4y OS = 53% [39-72] vs 83% [76-90]). In a Cox proportional hazard prediction of the PFS, CDKN2A/2B deletion remains predictive (HR = 1.9 [1.1-3.2], p = 0.02) when combined with IPI (HR = 2.4 [1.4-4.1], p = 0.001) and GCB status (HR = 1.3 [0.8-2.3], p = 0.31). This difference remains predictive in the subgroup of patients treated by R-CHOP (4y PFS = 43% [29-63] vs. 66% [55-78], p=0.02), in patients treated by R-ACVBP (4y PFS = 49% [28-84] vs. 83% [74-92], p=0.003), and in GCB (4y PFS = 50% [27-93] vs. 81% [73-90], p=0.02), or ABC/unclassified (5y PFS = 42% [28-61] vs. 67% [55-82] p = 0.009) molecular subtypes (Figure 1). Conclusion: We report for the first time an integrated genetic analysis of a large cohort of DLBCL patients included in a prospective multicentric clinical trial program allowing identifying new potential driver genes with pathogenic impact. However CDKN2A/2B deletion constitutes the strongest and unique prognostic factor of chemoresistance to R-CHOP, regardless the COO signature, which is not overcome by a more intensified immunochemotherapy. Patients displaying this frequent genomic abnormality warrant new and dedicated therapeutic approaches.

Role of hepatitis C virus genotype 3 in liver fibrosis progression : a systematic review and meta-analysis ; et, Impact of nurse vaccination program on hepatitis B immunity in a Swiss HIV clinic

Rôle du génotype 3 du virus de l'hépatite C dans la progression de la fibrose hépatique, une revue systématique avec méta-analyse. On estime à 170 millions le nombre de personnes atteintes d'hépatite C chronique dans le monde. La principale conséquence de cette maladie est la fibrose du foie, qui évolue plus ou moins rapidement, pour aboutir au développement d'une cirrhose et/ou d'un hépatocarcinome. Certains des facteurs accélérateurs de la fibrose, comme l'âge avancé au moment de l'infection, le sexe masculin, la consommation d'alcool, sont bien connus. On a longtemps considéré que les six différents génotypes viraux n'influençaient pas la progression de la fibrose. Des études récentes ont cependant suggéré que certains génotypes, en particulier ie génotype 3, pouvaient entraîner une fibrose plus rapide. Le but de ce travail de thèse était de déterminer à l'aide d'une méta-analyse le rôle du génotype viral dans la progression de la fibrose dans l'infection chronique au virus de l'hépatite C. Les études ont été sélectionnées dans la littérature médicale à partir d'une série de mots-clés. Le degré de fibrose a été estimé par biopsie, en utilisant le score Metavir. Deux types d'études ont décrits de manière différente la durée d'infection. Les premières ont calculé la progression de la fibrose depuis le moment estimée de l'infection (« études avec une biopsie »), les secondes ont exprimés cette durée comme étant l'intervalle entre deux biopsies (« études avec deux biopsies »). L'analyse a permis d'identifier 8 études avec une biopsie pour un collectif total de 3182 patients ainsi que 8 études avec deux biopsies pour un collectif de 896 patients. Dans une méta-analyse de type « random effect », le rapport de cote pour l'association du génotype 3 avec une fibrose accélérée est de 1.52 (95% IC 1.12-2.07, p=0.007) pour les études à une biopsie. Pour les études à deux biopsies, le rapport de cote pour cette association est de 1.37 (95% IC 0.87-2.17, P=0.17). Cette étude montre que les patients avec une hépatite C chronique due au génotype 3 ont une progression de fibrose plus rapide que ceux qui sont infectés par les autres génotypes. Alors que la méta-analyse des études avec une biopsie est clairement significative, celle des études avec deux biopsies est au-dessous du seuil de significativité. Les études à deux biopsies peuvent être limitées par plusieurs facteurs, comprenant un « biais d'indication » (seuls les patients évoluant rapidement vers la cirrhose ont plus de risque d'avoir une deuxième biopsie), une durée d'observation très courte (5 années comparée à 13 années pour les études à 2 biopsies), et un nombre de patient limité (896 pour le études à 2 biopsies comparé à 3182 pour les études à 1 biopsie). Impact d'un programme de vaccination sur l'immunité contre l'hépatite Β dans une clinique suisse du VIH Le virus de l'hépatite Β cause une infection aigûe dont la symptomatologie varie d'une présentation subclinique à une progression fulminante. Dans une minorité de cas, l'infection aigiie est suivie d'une infection chronique pouvant évoluer vers une cirrhose hépatique et/ou un hépatocarcinome. La prévalence de l'hépatite Β aiguë et chronique chez les personnes vivant avec le virus d'immunodéficience humaine (VIH) est supérieure à celle de la population générale. Par ailleurs la co-infection avec le virus du VIH entraine une progression plus rapide de l'hépatite B. Dès lors, l'immunité pour le virus de l'hépatite Β représente un facteur primordial de prévention dans la population infectée par le virus de l'HIV. Bien que l'administration d'un vaccin contre l'hépatite Β soit particulièrement recommandée chez tous les individus infectés par le VIH, la couverture vaccinale dans cette population est souvent insuffisante. Le but de cette étude était de déterminer l'état d'immunisation contre le virus de l'hépatite Β dans la population infectée par le VIH de la cohorte Suisse HIV et d'analyser l'efficacité d'un programme de vaccination administré par le personnel soignant. L'immunité avant et après intervention dans notre centre a été comparée aux autres centres de la cohorte HIV en Suisse. L'immunité pour le centre d'intervention a passé de 32% avant intervention à 76% après intervention alors que pour les autres centres, l'immunité n'a progressé que de 33% à 39% dans le même laps de temps (n=2712, P=0.001). Cette étude montre qu'un contrôle systématique de l'immunité par du personnel soignant augmente de manière significative l'immunité pour le vaccin de l'hépatite Β dans la population HIV.

Cooking and Active Leisure TAS Program, Spain: A Program Impact Pathways (PIP) analysis

Background. The “Cooking and Active Leisure” Tu y Alícia por la Salud (CAL-TAS) Program is a schoolbased pilot that addresses healthy lifestyle needs of Spanish secondary school students with initiatives that research has proven to improve dietary and physical activity behaviors. Objective. The objectives were to perform a Program Impact Pathways (PIP) analysis to describe key activities and processes of the CAL-TAS Program, identify Critical Quality Control Points (CCPs), and identify a suite of common indicators of healthy lifestyles to be applied across participant schools. Methods. The CAL-TAS Program designers and implementation team developed this PIP analysis through an iterative process and presented the results for feedback at the seven-country Healthy Lifestyles Program Evaluation Workshop held in Granada, Spain, 13–14 September 2013, under the auspices of the Mondelēz International Foundation. Results. The team identified three PIP CCPs: teachers’ motivation and training, changes in students’ knowledge of healthy lifestyles, and changes in students’ healthy lifestyle behavior. The selected indicators of the program’s impact on healthy lifestyles are adequacy of food intake, level of knowledge of healthy lifestyles gained, and adequacy of physical activity level according to World Health Organization recommendations. A clear definition of impact indicators, as well as collection of accurate data on healthy lifestyle behaviors and knowledge, is essential to understanding the effectiveness of this program before it can be scaled up. Conclusions. CAL-TAS is an effective secondary school-based program encouraging healthy lifestyles. The PIP analysis was instrumental in identifying CCPs to sustain and improve the quality of the program. The team hopes to sustain and improve the program through these program evaluation recommendations.

Harvesting and wood transport planning with SNAP III program (Scheduling and Network Analysis Program) in a pine plantation in Southeast Brazil

The objective of this study was to verify the potential of SNAP III (Scheduling and Network Analysis Program) as a support tool for harvesting and wood transport planning in Brazil harvesting subsystem definition and establishment of a compatible route were assessed. Initially, machine operational and production costs were determined in seven subsystems for the study area, and quality indexes, construction and maintenance costs of forest roads were obtained and used as SNAP III program input data. The results showed, that three categories of forest road occurrence were observed in the study area: main, secondary and tertiary which, based on quality index, allowed a medium vehicle speed of about 41, 30 and 24 km/hours and a construction cost of about US$ 5,084.30, US$ 2,275.28 and US$ 1,650.00/km, respectively. The SNAP III program used as a support tool for the planning, was found to have a high potential tool in the harvesting and wood transport planning. The program was capable of defining efficiently, the harvesting subsystem on technical and economical basis, the best wood transport route and the forest road to be used in each period of the horizon planning.

Effect of the implementation of the Hazard Analysis Critical Control Point (HACCP) prerequisite program in an institutional foodservice unit in Southern Brazil

The aims of this study were to investigate the hygienic practices in the food production of an institutional foodservice unit in Southern Brazil and to evaluate the effect of implementing good food handling practices and standard operational procedures using microbiological hygiene indicators. An initial survey of the general operating conditions classified the unit as regular in terms of compliance with State safety guidelines for food service establishments. An action plan that incorporated the correction of noncompliance issues and the training of food handlers in good food handling practices and standard operational procedures were then implemented. The results of the microbiological analysis of utensils, preparation surfaces, food handlers' hands, water, and ambient air were recorded before and after the implementation of the action plan. The results showed that the implementation of this type of practice leads to the production of safer foods.

An in-depth analysis of real and perceived barriers to speech and language program participation for children with speech and language delays : a question of barriers to service?

The current study investigated the effects that barriers (both real and perceived) had on participation and completion of speech and language programs for preschool children with communication delays. I compared 36 families of preschool children with an identified communication delay that have completed services (completers) to 13 families that have not completed services (non-completers) prescribed by Speech and Language professionals. Data findings reported were drawn from an interview with the mother, a speech and language assessment of the child, and an extensive package of measures completed by the mother. Children ranged in age from 32 to 71 mos. These data were collected as part of a project funded by the Canadian Language and Literacy Research Networks of Centres of Excellence. Findings suggest that completers and non-completers shared commonalities in a number of parenting characteristics but differed significantly in two areas. Mothers in the noncompleting group were more permissive and had lower maternal education than mothers in the completing families. From a systemic standpoint, families also differed in the number of perceived barriers to treatment experienced during their time with Speech Services Niagara. Mothers in the non-completing group experienced more perceived barriers to treatment than completing mothers. Specifically, these mothers perceived more stressors and obstacles that competed with treatment, perceived more treatment demands and they perceived the relevance of treatment as less important than the completing group. Despite this, the findings suggest that non-completing families were 100% satisfied with services. Contrary to predictions, there were no significant differences in child characterisfics and economic characteristics between completers and non-completers. The findings in this study are considered exploratory and tentative due to the small sample size.

For whom the cruiser rolls: a retrospective analysis of factors relating to recidivism in a sample of graduates from a court-ordered alcohol education and awareness program

This study investigated, retrospectively, whether recidivism in a sample of court-ordered'graduates of an alcohol education and awareness program could be predicted. This alcohol education program was based on adult education principles and was philosophically akin to the thoughts of Drs. Jack Mezirow, Stephen Brookfield, and Patricia Cranton. Data on the sample of 214 Halton IDEA (Impaired Driver Education and Awareness) graduates were entered into a spread sheet. Descriptive statistics were generated. Each of the 214 program graduates had taken several tests during the course of the IDEA program. These tests measured knowledge, attitude about impaired driving, and degree of alcohol involvement. Test scores were analyzed to determine whether those IDEA graduates who recidivated differed in any measurable way from those who had no further criminal convictions after a period of at least three years. Their criminal records were obtained from the Canadian Police Information Centre (CPIC). Those program graduates who reoffended were compared to the vast majority who did not reoffend. Results of the study indicated that there was no way to determine who would recidivate from the data that were collected. Further studies could use a qualitative model. Follow-up interviews could be used to determine what impact, if any, attendance at the IDEA program had on the life of the graduates.