The Poet X: Disrupting Shakespeare, Healthy Relationships, and Language Dynamics

Anti-racist teaching can be used in a practical manner to disrupt canonical texts. The Poet X, by Elizabeth Acevedo, disrupts William Shakespeare\u27s Romeo and Juliet through focusing in on racial literacy, healthy relationships, and honoring authentic language

Wakanda: Opening the High School Classroom to Afrofuturism

Afrofuturism has a solid place in high school classrooms thanks to the current work of Ryan Coogler, but also to those who have been in this work for decades including the Mother of Afrofuturism herself, Octavia Butler, adrienne maree brown, dream hampton, and a litany of Black poets and artists. This article leaps inside an Afrofuturistic unit curated for high school seniors with feedback and insight from their teachers and also the students who buckled up for a journey through time, space, and place

On Verifying Causal Consistency

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automatically whether the executions of an implementation of a data structure are causally consistent. We consider two problems: (1) checking whether one single execution is causally consistent, which is relevant for developing testing and bug finding algorithms, and (2) verifying whether all the executions of an implementation are causally consistent. We show that the first problem is NP-complete. This holds even for the read-write memory abstraction, which is a building block of many modern distributed systems. Indeed, such systems often store data in key-value stores, which are instances of the read-write memory abstraction. Moreover, we prove that, surprisingly, the second problem is undecidable, and again this holds even for the read-write memory abstraction. However, we show that for the read-write memory abstraction, these negative results can be circumvented if the implementations are data independent, i.e., their behaviors do not depend on the data values that are written or read at each moment, which is a realistic assumption.Comment: extended version of POPL 201

Lipotoxicity in smooth muscle

Thesis (Ph. D.) University of Missouri-Columbia 2006.The entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file.Vita.Atherosclerosis and bladder dysfunction can both result from the high lipid levels that occur with obesity and diabetes and can cause cell dysfunction and death, termed lipotoxicity, in various cell types. However, lipotoxicity has not been shown in smooth muscle. The goal of this dissertation was to determine if lipotoxicity does occur in vascular smooth muscle and to determine how to modulate this lipotoxicity. We found that vascular smooth muscle takes up fatty acid and does not store it adequately, thus rendering it free to cause lipotoxicity in the cell. This lipotoxicity did not seem to be due to an increase in reactive oxygen species (ROS) production the unsaturated fatty acid oleate protected against palmitate-induced apoptosis. Bladder smooth muscle may also be susceptible to lipotoxicity. We found that there were significant differences in the levels of certain peroxisome proliferator-activated receptors (PPARs) between Yucatan and Ossabaw male swine and between male and female Ossabaw swine, suggesting genetic and gender differences in PPARs. These results may explain the differences in prevalence of bladder dysfunctions between males and females and within the sexes. To modulate lipotoxicity in smooth muscle, we overexpressed caveolin-1 (Cav-1), a protein found in caveolae. Cav-1 increased CD36 expression and redistribution inside the cell and increased apoptosis. These studies may have implications for atherosclerosis and bladder dysfunctions that result from obesity, diabetes, and the metabolic syndrome.Includes bibliographical reference

Occupational Therapy Feeding and Eating Interventions for Autism Spectrum Disorders and Pervasive Developmental Disorders: A Systematic Review

Due to the limited evidence and lack of methodological rigor regarding feeding and issues in children with Autism Spectrum Disorders (ASD) and Pervasive Developmental Disorders (PDD), clinicians who treat children with these diagnoses rely on the limited amount of information and many are not aware of evidence-based interventions (Ahearn, Castine, Nault, & Green, 2001; Marshall, Hill, & Dodrill, 2013). The purpose of this scholarly project is to gather, critique, and determine efficacy of occupational therapy feeding and eating interventions for children with ASD and PDD. We systematically reviewed literature for higher-level evidence, as defined by Level III evidence or above, in regards to occupational therapy feeding and eating interventions for children with ASD and PDD in studies that were published between January 2000 and December 2015 and located in PubMed, OT Search, Cumulative Index of Nursing and Allied Health Literature (CINAHL), and the American Journal of Occupational Therapy (AJOT). Our search yielded a total of 7,189 titles and abstracts that were narrowed through the screening process to 27 articles for review. The secondary review resulted in 11 articles, which received a full-text review. A total of 9 articles were found to meet inclusion criteria and be appropriate for critical appraisal. The results of these articles were compiled in an evidence table and a systematic review manuscript was specifically written for the AJOT. Our scholarly project highlights the various discrepancies regarding research for occupational therapy feeding and eating interventions for children with ASD and PDD. Recommendations for future research and implications for occupational therapy practice include the need for higher-level evidence to support the practice of occupational therapy practitioners and the development of a specific protocol to standardize occupational therapy treatment for feeding and eating difficulties among children with ASD and PDD

Dynamic Race Prediction in Linear Time

Writing reliable concurrent software remains a huge challenge for today's programmers. Programmers rarely reason about their code by explicitly considering different possible inter-leavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport's happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact that they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races, while still remaining sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.Comment: 22 pages, 8 figures, 1 algorithm, 1 tabl