8,482 research outputs found
Interview of author Tenea D. Johnson at the Zora Neale Hurston Festival in Eatonville, Florida
Tenea D. Johnson, award winning author and founder of Progress By Design, is interviewed by Grace Chun, project coordinator at University of Florida Samuel Proctor Oral History Program, as part of the Zora Neale Hurston Festival in Eatonville, Florida. Tenea speaks about her work, afrofuturism, and how her stories and songs create worlds to examine big questions. She defines speculative fiction anything that doesn't abide by the rules, that is not based in reality. Tenea says she hopes that afrofuturism and Black speculative fiction will become a greater force than just entertainment and that Zora Neale Hurston's ethnographies influenced her the most as she demonstrated confidence not out of ego but of skill, exemplifying bravery and openness
The epidemiology and socioeconomic impact of chronic pancreatitis
Epidemiological studies have been published worldwide in recent decades describing the incidence, mortality, aetiology and trends of chronic pancreatitis. Accumulated evidence suggests that chronic pancreatitis is increasing in incidence and hospital admission rates are rising accordingly. Alcoholic chronic pancreatitis was previously more common in the developed world than elsewhere, but is now increasing worldwide due to growing per capita alcohol consumption in each nation. Supporting alcohol and smoking cessation in individual patients is essential to slow disease progression and improve overall health, as most patients will die of cirrhosis, cardiovascular disease or smoking related cancers rather than chronic pancreatitis. The socioeconomic impact of chronic pancreatitis is difficult to quantify as little data exists, however given the rising incidence the costs to health care and society are likely to increase. This chapter will describe the epidemiology and aetiology of chronic pancreatitis worldwide and discusses the factors that influence its socioeconomic impact
CD117/KIT expression in pancreatic adenocarcinoma
Objective: CD117/KIT overexpression is common in neoplasms such as gastrointestinal stromal tumors and predicts clinical response to tyrosine kinase inhibitors. Pancreatic adenocarcinoma has a poor prognosis, and therefore, targeted molecular therapymay be beneficial. Marked differences in the incidence of CD117/KIT expression have been reported in pancreatic adenocarcinoma. The aim of this study was to test the hypothesis that CD117/KIT expression is unusual in pancreatic adenocarcinoma. Methods: CD117/KIT immunohistochemistry was performed on 23 archival pancreatic adenocarcinoma samples using 2 primary antibodies. Results: Satisfactory internal and external positive control labeling was achieved for both primary antibodies. No tumor cell labeling was identified using one primary antibody, whereas all cases showed cytoplasmic CD117/KIT staining with the second. However, CD117/KIT expression was also identified using the latter within nuclei and benign pancreatic epithelium, suggesting that artifactual staining was occurring. Conclusions: Pancreatic adenocarcinoma does not express CD117/KIT as assessed using the primary immunohistochemical antibody usually used in our laboratory for CD117/KIT detection. The variation in reported incidence of CD117/KIT expression in pancreatic adenocarcinoma is because of methodological differences in immunohistochemical technique. Ideally, immunohistochemical studies of this molecule should be combined with mutational status testing of the c-kit gene
Rigorous engineering of product-line requirements: a case study in failure management
We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated. The need to develop a generic requirement set - for subsequent system instantiation - is complicated by the addition of the high levels of verification demanded by this safety-critical domain, subject to avionics industry standards. We present our case study experience in this area as a candidate method for the engineering, validation and verification of generic requirements using domain engineering and Formal Methods techniques and tools. For a defined class of systems, the case study produces a generic requirement set in UML and an example system instance. Domain analysis and engineering produce a validated model which is integrated with the formal specification/ verification method B by the use of our UML-B profile. The formal verification both of the generic requirement set, and of a simple system instance, is demonstrated using our U2B, ProB and prototype Requirements Manager tools. This work is a demonstrator for a tool-supported method which will be an output of EU project RODIN[This work is conducted in the setting of the EU funded research project: IST 511599 RODIN (Rigorous Open Development Environment for Complex Systems) http://rodin.cs.ncl.ac.uk]The use of existing and prototype formal verification and support tools is discussed. The method, developed in application to this novel combination of product line, failure management and safety-critical engineering, is evaluated and considered to be applicable to a wide range of domains
LGBTI variations in crime reporting: how sexual identity influences decisions to call the cops
Research shows that people vary in their willingness to report crime to police depending on the type of crime experienced, their gender, age, and their race or ethnicity. Whether or not lesbian, gay, bisexual, transgender, and intersex (LGBTI) and heterosexual people vary in their willingness to report crime to the police is not well understood in the extant literature. In this article, I examine variations in LGBTI respondents' attitudes, subjective norms, and perceived behavioral control on their intentions to report crimes to the police. Drawing on a survey of LGBTI individuals sampled from a Gay Pride community event and online LGBTI community forums (N = 329), I use quantitative statistical methods to examine whether LGBTI people's beliefs in police homophobia are also directly associated with the behavioral intention to report crime. Overall, the results indicate that LGBTI and heterosexual people differ significantly in their intention to report crime to the police, and that a belief in police homophobia strongly influences LGBTI people's intention to underreport crime to the police
Meckel-Gruber syndrome
Meckel–Gruber syndrome (MKS) is a rare autosomal recessive condition with an estimated incidence of 1 in 135,000 live births. The incidence is significantly higher in particular endogamous and consanguineous populations. It is considered the most severe ciliopathy since most affected individuals die in utero or within a few hours of birth. The disease has a highly variable multi-organ phenotype, but is generally characterised by the ‘triad’ of polycystic kidneys, occipital encephalocele and polydactyly. Other common features are liver fibrosis, pulmonary hypoplasia, microcephaly, genital malformations and cleft palate. A range of other features are occasionally present. Due to the complex multi-organ phenotype and wide phenotypic variability, diagnosis can be difficult. Prenatal diagnosis is possible using a combination of imaging techniques, α-fetoprotein (AFP) testing of amniotic fluid, and DNA testing of foetus and parents for mutations in one of the ten known MKS genes
Towards a method for rigorous development of generic requirements patterns
We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools
- …
