Graph-Based Shape Analysis Beyond Context-Freeness

We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to guide concretization and abstraction. This novel extension of context-free graph grammars is powerful enough to model complex data structures such as balanced binary trees with parent pointers, while preserving most desirable properties of context-free graph grammars. One strength of our analysis is that no artifacts apart from grammars are required from the user; it thus offers a high degree of automation. We implemented our analysis and successfully applied it to various programs manipulating AVL trees, (doubly-linked) lists, and combinations of both

Applying Anti Oppressive, Empowerment, and Strengths Based Approaches to Social Work Practice with Hmong Clients

This conceptual article discusses social work practice with Hmong Americans using a framework that embraces anti-oppressive practice, empowerment and strengths-based approaches. Specifically, the Hmong kinship social construct of kwv tij neej tsa (pronounced: ku tee ning ja) is used to elaborate on the importance of upholding family relationships that transcends the worker-client relationship. Social workers are encouraged to empower Hmong to seek and ask for resources that support their collective value of connection to family and group identity, which is a strength that contributes to resilience and buffers against historically oppressive practices and systems

HMong Parent Day/Hnub Txhawb Nqa Niam Txiv: Implementing Psychosociocultural Educational Programming to Honor Rau Siab

This paper describes the interrelated conceptual activities that took a Psychosociocultural (PSC) approach to direct best practices, interactions, and processes to implement HMong Parent Days effectively. The purpose of HMong Parent Day/ Hnub Txhawb Nqa Niam Txiv, a culturally-centered community-focused intervention, was to bring HMong parents onto a midwestern predominantly White university campus for a day of college knowledge. The day honored HMong parents\u27 support of their children into and through higher education via the cultural value of rau siab (hard work). Three levels of learning that emergent as new knowledge for HMong parents were highlighted and discussed relative to the PSC approach. Implications for scholars and university personnel were provided. The benefits of a culturally-centered community-focused intervention were discussed

Optimal Cropping Patterns for Profit Maximization Using a Linear Programming Model: a Case Study in Njawara Village, the Gambia

Source: ICHE Conference Archive - https://mdi-de.baw.de/icheArchive

An oesophageal pulse oximetry system utilising a fibre-optic probe

A dual-wavelength fibre-optic pulse oximetry system is described for the purposes of estimating oxygen saturation (SpO2) from the oesophagus. A probe containing miniature right-angled glass prisms was used to record photoplethysmographic (PPG) signals from the oesophageal wall. Signals were recorded successfully in 19 of 20 patients, demonstrating that PPG signals could be reliably obtained from an internal vascularised tissue site such as the oesophageal epithelium. The value of the mean oxygen saturation recorded from the oesophagus was 94.0 ± 4.0%. These results demonstrate that SpO2 may be estimated in the oesophagus using a fibre-optic probe

Incidence and recurrence of acute otitis media in Taiwan's pediatric population

OBJECTIVE: To report the incidence and recurrence of acute otitis media (AOM) in Taiwan's pediatric population. METHODS: Information from children (aged <= 12 years) with a diagnosis of AOM was retrieved from the 2006 National Healthcare Insurance claims database. We calculated the cumulative incidence rate and the incidence density rate of recurrent AOM within one year after the initial diagnosis in 2006. We used a multivariate logistic regression model to assess the predictors for recurrence of AOM. RESULTS: The annual incidence rate of AOM was estimated to be 64.5 cases per 1,000 children. The overall one-year cumulative incidence rate of recurrence was 33.1%, and the incidence density rate was 33.5 cases per 100 personyears, with the highest figure (41.2 cases per 100 person-years) noted for children aged 0-2 years. Recurrence was significantly associated with age, gender, place of treatment, and physician specialty. CONCLUSION: AOM remains a major threat to children's health in Taiwan. Male children and very young children require more aggressive preventive strategies to reduce the risk of recurrence

Surface Structures Determined by Kinetic Processes: Adsorption and Diffusion of Oxygen on Pd(100)

Atomic oxygen forms a metastable c(2×2) phase on Pd(100) under conditions of rapid adsorption (high pressure) and slow diffusion (low sample temperature). One possible explanation is that oxygen molecules require an 8-fold ensemble of empty sites for dissociative chemisorption, and that subsequent adatom motion is limited and creates no neighboring pairs of filled sites. We describe the properties of the adlayer predicted by such a model

F18 fluorodeoxyglucose uptake in progressive transformation of germinal centres

FDG-PET/CT is a widely established imaging modality for staging, restaging and monitoring therapy response in lymphoma patients. Progressive transformation of germinal centres (PTGC) is a benign condition presenting characteristically as asymptomatic lymphadenopathy. This paper presents a case of a 53-year-old man with a history of Hodgkin’s disease (HD) whose F18 FDG-PET/CT scan showed high uptake in left axillary lymph nodes (SUV 3.8). A subsequent, left axillary lymph node biopsy revealed PTGC. PTGC can present as a false positive finding on FDG-PET/CT in lymphoma patients and biopsy should be done in HD patients in clinical remission but have a positive FDG-PET/CT scan

Fermionic T-duality in the pp-wave limit

AdS5 X S5 and its pp-wave limit are self-dual under transformations involving eight fermionic T-dualities, a property which accounts for symmetries seen in scattering amplitudes in N=4 super-Yang-Mills. Despite strong evidence for similar symmetries in the amplitudes of three-dimensional N=6 ABJM theory, a corresponding self-duality in the dual geometry AdS4 X CP3 currently eludes us. Here, working with the type IIA pp-wave limit of AdS4 X CP3 preserving twenty four supercharges, we show that the pp-wave is self-dual with respect to eight commuting fermionic T-dualities and not the six expected. In addition, we show the same symmetry can be found in a superposition pp-wave and a generic pp-wave with twenty and sixteen unbroken supersymmetries respectively, strongly suggesting that self-duality under fermionic T-duality may be a symmetry of all pp-waves.Comment: 21 pages, typos fixe