Ethnic Minority Children’s Active Commuting to School and Association with Physical Activity and Pedestrian Safety Behaviors

Background: Children's active commuting to school, i.e. walking or cycling to school, was associated with greater moderate-to-vigorous physical activity, although studies among ethnic minorities are sparse. Objectives: Among a low-income, ethnic minority sample of fourth grade students from eight public schools, we examined (1) correlates of active commuting to school and (2) the relationship between active commuting to school and moderate-to-vigorous physical activity. Methods: We conducted a cross-sectional analysis of baseline measurements from a sample of participants (n=149) aged 9-12 years from a walk to school intervention study in Houston, Texas. The primary outcome was the weekly rate of active commuting to school. Daily moderate-to-vigorous physical activity, measured by accelerometers, was a secondary outcome. Child self-efficacy (alpha=0.75), parent self-efficacy (alpha=0.88), and parent outcome expectations (alpha=0.78) were independent variables. Participant characteristics (age, gender, race/ethnicity, distance from home to school, acculturation, and BMI percentile) were independent sociodemographic variables. We used mixed-model regression analyses to account for clustering by school and a stepwise procedure with backward elimination of non-significant interactions and covariates to identify significant moderators and predictors. School-level observations of student pedestrians were assessed and compared using chi-square tests of independence. Results: Among our sample, which was 61.7% Latino, the overall rate of active commuting to school was 43%. In the mixed model for active commuting to school, parent self-efficacy (std. beta = 0.18, p=0.018) and age (std. beta = 0.18, p=0.018) were positively related. Latino students had lower rates of active commuting to school than non-Latinos ( 16.5%, p=0.040). Distance from home to school was inversely related to active commuting to school (std. beta = 0.29, p<0.001). In the mixed model for moderate-to-vigorous physical activity, active commuting to school was positively associated (std. beta = 0.31, p <0.001). Among the Latino subsample, child acculturation was negatively associated with active commuting to school (std. beta = -0.23, p=0.01). With regard to school-level pedestrian safety observations, 37% of students stopped at the curb and 2.6% looked left-right-left before crossing the street. Conclusion: Although still below national goals, the rate of active commuting was relatively high, while the rate of some pedestrian safety behaviors was low among this low-income, ethnic minority population. Programs and policies to encourage safe active commuting to school are warranted and should consider the influence of parents, acculturation, and ethnicity.

A Tale of Two States: What We Learn from California and Texas

Teen birth rates and teen pregnancy prevention strategies vary widely across individual states in the US, which has the highest overall teen birth rate among developed nations. California and Texas, the two most populous states currently accounting for a quarter of all teen births, have taken very different approaches to addressing adolescent reproductive health. This case study examines the racial/ethnic composition and socioeconomic factors of these two states from 1981 to 2008. State programs and policies implemented between 1991 and 2008 as well as changes in access to contraception and public–private partnerships are discussed. Based on the lessons learned from California, a similar multifaceted campaign in Texas may be effective in reducing teen births.

Household Hardships, Public Programs, and Their Associations with the Health and Development of Very Young Children: Insights from Children’s HealthWatch

America’s low-income families struggle to protect their children from multiple threats to their health and growth. Many research and advocacy groups explore the health and educational effects of food insecurity, but less is known about these effects on very young children. Children’s HealthWatch, a group of pediatric clinicians and public health researchers, has continuously collected data on the effects of food insecurity alone and in conjunction with other household hardships since 1998. The group’s peer reviewed research has shown that a number of economic risks at the household level, including food, housing and energy insecurity, tend to be correlated. These insecurities alone or in conjunction increase the risk that a young child will suffer various negative health consequences, including increases in lifetime hospitalizations, parental report of fair or poor health,1 or risk for developmental delays.2 Child food insecurity is an incremental risk indicator above and beyond the risk imposed by household-level food insecurity. The Children’sHealthwatch research also suggests public benefits programs modify some of these effects for families experiencing hardships. This empirical evidence is presented in a variety of public venues outside the usual scientific settings, such as congressional hearings, to support the needs of America’s most vulnerable population through policy change. Children’s HealthWatch research supports legislative solutions to food insecurity, including sustained funding for public programs and re-evaluation of the use of the Thrifty Food Plan as the basis of SNAP benefits calculations. Children’s HealthWatch is one of many models to support the American Academy of Pediatrics’ call to “stand up, speak up, and step up for children.”3 No isolated group or single intervention will solve child poverty or multiple hardships. However, working collaboratively each group has a role to play in supporting the health and well-being of young children and their families. 1. Cook JT, Frank DA, Berkowitz C, et al. Food insecurity is associated with adverse health outcomes among human infants and toddlers. J Nutr. 2004;134:1432-1438. 2. Rose-Jacobs R, Black MM, Casey PH, et al. Household food insecurity: associations with at-risk infant and toddler development. Pediatrics. 2008;121:65-72. 3. AAP leader says to stand up, speak up, and step up for child health [news release]. Boston, MA: American Academy of Pediatrics; October 11, 2008. http://www2.aap.org/pressroom/nce/nce08childhealth.htm. Accessed January 1, 2012.

Commentary on "Household Hardships, Public Programs, and Their Associations with the Health and Development of Very Young Children: Insights from Children's HealthWatch"

This commentary, written in response to the article "Household Hardships, Public Programs, and Their Associations with the Health and Development of Very Young Children: Insights from Children's HealthWatch", highlights the importance of the research done by Children's HealthWatch in relation to childhood food insecurity. Childhood food insecurity has been linked with various adverse health effects, including undernutrition, poor or delayed child development, and social and psychological consequences. Children's HealthWatch provides important data that can be used to monitor threats to our children's well-being and address problems with effective interventions.

Protect Children From Household Food Insecurity: Promote Access To Food and Stress-Alleviating Resources

Household food insecurity is associated with threats to children’s intellectual, behavioral, and psycho-emotional development. In addition to poor food quality and quantity, the stress associated with food insecurity can undermine caregiver mental health and family functioning. Evidence demonstrates that national assistance programs and policies are needed to ensure that families and children have access to adequate sources of healthy food and to stress-alleviating resources.

Business as Usual? : An Appraisal of the Implementation of the UNESCO Convention on Cultural Diversity into EU’s Media Law and Policies

Irrespective of the diverse stances taken on the effect of the UNESCO Convention on Cultural Diversity in the external relations context, since its wording is fairly open-ended, it is clear to all observers that the Convention’s impact will largely depend on how it is implemented domestically. The discussion on the national implementation of the Convention, both in the policy and in the academic discourses, is only just emerging. The implementation model of the EU could set an important example for the international community and for the other State Parties that have ratified the UNESCO Convention, as both the EU and its Member States acting individually, have played a critical role in the adoption of the Convention, as well as in the longer process of promoting cultural concerns on the international scene. Against this backdrop, this article analyses the extent to which the EU internal law and policies, in particular in the key area of media, take into account the spirit and the letter of the UNESCO Convention on Cultural Diversity. The article seeks to critically evaluate the present state of affairs and make some recommendations for calibration of future policies.

Business as Usual? : The Implementation of the UNESCO Convention on Cultural Diversity and EU Media Law and Policies

Irrespective of the diverse stances taken on the effect of the UNESCO Convention on Cultural Diversity in the external relations context, since its wording is fairly open-ended, it is clear to all observers that the Convention’s impact will largely depend on how it is implemented domestically. The discussion on the national implementation of the Convention, both in the policy and in the academic discourses, is only just emerging, although six years the Convention’s entry into force have passed. The implementation model of the EU can set an important example for the international community and for the other State Parties that have ratified the UNESCO Convention, as both the EU and its Member States acting individually, have played a critical role in the adoption of the Convention, as well as in the longer process of promoting cultural concerns on the international scene. Against this backdrop, this article analyses the extent to which the EU internal law and policies, in particular in the key area of media, take into account the spirit and the letter of the UNESCO Convention on Cultural Diversity. Next to an assessment of the EU’s implementation of the Convention, the article also offers remarks of normative character – in the sense of what should be done to actually attain the objective of protecting and promoting cultural diversity. The article seeks to critically evaluate the present state of affairs and make some recommendations for calibration of future policies.

Compliance: E-Science Mandates and Policies

Data collected under federally funded research is subject to compliance rules and regulations. Policies affecting what you can and cannot do with your data, who is responsible, and what role your institution plays can vary with funding agencies and the type of data collected. This talk will address many of the compliance issues associated with research data, as well as funder mandates that you need to be aware of to ensure compliance.

A systematic review of organizational workplace wellness programs and their financial and nonfinancial incentives

Workplace wellness programs have revealed immense beneficial results for both the employer and employee. Examples of results include decrease in absenteeism, turnover rate, medical claims and increases in employee satisfaction, productivity, and return on investment. However, the approach taken when implementing requires greater attention since such programs and the financial and/or non-financial incentives chosen have shown to significantly impact employee participation thus the amount of savings the organization experiences. A systematic review was conducted to evaluate the overall effectiveness of workplace wellness programs on employee health status and lifestyle change, recognize the majority types of returns observed by such programs, and identify whether financial or non-financial incentives created a greater effect on the employee. Overall employee health status improvement occurred when participating in wellness programs. The dominant indirect benefit for the organization was employee weight loss leading to a decrease in absenteeism and direct benefits included decreases in medical claims and increases in return on investment. In general, factors such as rate of participation and health status changes were most influenced when a financial incentives was provided in the wellness program. The basis of providing a program with effective incentives resides from efforts made by the employer and their efforts to play a role on every level of the organization regarding planning, implementing, and strategizing the most optimal approach for creating changes for the employees' wellbeing and productivity, thus the organizations overall returns.^

Precise set sharin analysis for java-style programs (and proofs).

Finding useful sharing information between instances in object- oriented programs has recently been the focus of much research. The applications of such static analysis are multiple: by knowing which variables definitely do not share in memory we can apply conventional compiler optimizations, find coarse-grained parallelism opportunities, or, more importantly, verify certain correctness aspects of programs even in the absence of annotations. In this paper we introduce a framework for deriving precise sharing information based on abstract interpretation for a Java-like language. Our analysis achieves precision in various ways, including supporting multivariance, which allows separating different contexts. We propose a combined Set Sharing + Nullity + Classes domain which captures which instances do not share and which ones are definitively null, and which uses the classes to refine the static information when inheritance is present. The use of a set sharing abstraction allows a more precise representation of the existing sharings and is crucial in achieving precision during interprocedural analysis. Carrying the domains in a combined way facilitates the interaction among them in the presence of multivariance in the analysis. We show through examples and experimentally that both the set sharing part of the domain as well as the combined domain provide more accurate information than previous work based on pair sharing domains, at reasonable cost.

Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures

Los tipos de datos concurrentes son implementaciones concurrentes de las abstracciones de datos clásicas, con la diferencia de que han sido específicamente diseñados para aprovechar el gran paralelismo disponible en las modernas arquitecturas multiprocesador y multinúcleo. La correcta manipulación de los tipos de datos concurrentes resulta esencial para demostrar la completa corrección de los sistemas de software que los utilizan. Una de las mayores dificultades a la hora de diseñar y verificar tipos de datos concurrentes surge de la necesidad de tener que razonar acerca de un número arbitrario de procesos que invocan estos tipos de datos de manera concurrente. Esto requiere considerar sistemas parametrizados. En este trabajo estudiamos la verificación formal de propiedades temporales de sistemas concurrentes parametrizados, poniendo especial énfasis en programas que manipulan estructuras de datos concurrentes. La principal dificultad a la hora de razonar acerca de sistemas concurrentes parametrizados proviene de la interacción entre el gran nivel de concurrencia que éstos poseen y la necesidad de razonar al mismo tiempo acerca de la memoria dinámica. La verificación de sistemas parametrizados resulta en sí un problema desafiante debido a que requiere razonar acerca de estructuras de datos complejas que son accedidas y modificadas por un numero ilimitado de procesos que manipulan de manera simultánea el contenido de la memoria dinámica empleando métodos de sincronización poco estructurados. En este trabajo, presentamos un marco formal basado en métodos deductivos capaz de ocuparse de la verificación de propiedades de safety y liveness de sistemas concurrentes parametrizados que manejan estructuras de datos complejas. Nuestro marco formal incluye reglas de prueba y técnicas especialmente adaptadas para sistemas parametrizados, las cuales trabajan en colaboración con procedimientos de decisión especialmente diseñados para analizar complejas estructuras de datos concurrentes. Un aspecto novedoso de nuestro marco formal es que efectúa una clara diferenciación entre el análisis del flujo de control del programa y el análisis de los datos que se manejan. El flujo de control del programa se analiza utilizando reglas de prueba y técnicas de verificación deductivas especialmente diseñadas para lidiar con sistemas parametrizados. Comenzando a partir de un programa concurrente y la especificación de una propiedad temporal, nuestras técnicas deductivas son capaces de generar un conjunto finito de condiciones de verificación cuya validez implican la satisfacción de dicha especificación temporal por parte de cualquier sistema, sin importar el número de procesos que formen parte del sistema. Las condiciones de verificación generadas se corresponden con los datos manipulados. Estudiamos el diseño de procedimientos de decisión especializados capaces de lidiar con estas condiciones de verificación de manera completamente automática. Investigamos teorías decidibles capaces de describir propiedades de tipos de datos complejos que manipulan punteros, tales como implementaciones imperativas de pilas, colas, listas y skiplists. Para cada una de estas teorías presentamos un procedimiento de decisión y una implementación práctica construida sobre SMT solvers. Estos procedimientos de decisión son finalmente utilizados para verificar de manera automática las condiciones de verificación generadas por nuestras técnicas de verificación parametrizada. Para concluir, demostramos como utilizando nuestro marco formal es posible probar no solo propiedades de safety sino además de liveness en algunas versiones de protocolos de exclusión mutua y programas que manipulan estructuras de datos concurrentes. El enfoque que presentamos en este trabajo resulta ser muy general y puede ser aplicado para verificar un amplio rango de tipos de datos concurrentes similares. Abstract Concurrent data types are concurrent implementations of classical data abstractions, specifically designed to exploit the great deal of parallelism available in modern multiprocessor and multi-core architectures. The correct manipulation of concurrent data types is essential for the overall correctness of the software system built using them. A major difficulty in designing and verifying concurrent data types arises by the need to reason about any number of threads invoking the data type simultaneously, which requires considering parametrized systems. In this work we study the formal verification of temporal properties of parametrized concurrent systems, with a special focus on programs that manipulate concurrent data structures. The main difficulty to reason about concurrent parametrized systems comes from the combination of their inherently high concurrency and the manipulation of dynamic memory. This parametrized verification problem is very challenging, because it requires to reason about complex concurrent data structures being accessed and modified by threads which simultaneously manipulate the heap using unstructured synchronization methods. In this work, we present a formal framework based on deductive methods which is capable of dealing with the verification of safety and liveness properties of concurrent parametrized systems that manipulate complex data structures. Our framework includes special proof rules and techniques adapted for parametrized systems which work in collaboration with specialized decision procedures for complex data structures. A novel aspect of our framework is that it cleanly differentiates the analysis of the program control flow from the analysis of the data being manipulated. The program control flow is analyzed using deductive proof rules and verification techniques specifically designed for coping with parametrized systems. Starting from a concurrent program and a temporal specification, our techniques generate a finite collection of verification conditions whose validity entails the satisfaction of the temporal specification by any client system, in spite of the number of threads. The verification conditions correspond to the data manipulation. We study the design of specialized decision procedures to deal with these verification conditions fully automatically. We investigate decidable theories capable of describing rich properties of complex pointer based data types such as stacks, queues, lists and skiplists. For each of these theories we present a decision procedure, and its practical implementation on top of existing SMT solvers. These decision procedures are ultimately used for automatically verifying the verification conditions generated by our specialized parametrized verification techniques. Finally, we show how using our framework it is possible to prove not only safety but also liveness properties of concurrent versions of some mutual exclusion protocols and programs that manipulate concurrent data structures. The approach we present in this work is very general, and can be applied to verify a wide range of similar concurrent data types.

Multicultural education in Clinical Psychology Programs and the needs of racial minority trainees.

With more racial minorities entering the field of clinical psychology, the training needs of racial minority students in doctoral programs must be considered. Few studies address training in multicultural education from the perspective of racial minority students despite their increasing presence in the field. This may be due to assumptions educators make based on their level of competency in the area of multiculturalism. Thus, the goal of this exploratory study is to help determine the multicultural training needs of racial minorities enrolled in clinical psychology programs. This exploratory study was quantitative and used snowball sampling to survey racial minority trainees in doctoral programs in clinical psychology. Sixty one participants completed the survey. Results indicated that multicultural/diversity classes are valued by racial minority students and are relevant to them. However, the majority of students do not feel challenged, suggesting that their needs are not being fully met. It is recommended that their unique needs be included in the curriculum for multicultural education.