Germany, international justice and the 20th century

No description supplie

A Problem Solving Medicine Wheel

We use a Medicine Wheel to describe our professional understanding of the nature, teaching and learning of problem solving. We developed this understanding via a professional learning project over several years, and based on our observations of children\u27s efforts and struggles to solve rich and open-ended mathematical problems

Disrupting gifted teenager’s mathematical identity with epistemological messiness

Mathematics is widely perceived as a universal and uncontested discipline, contrary to the philosophy of mathematics literature. Other researchers have considered the potential role of philosophy in school, but there is little work with gifted students engaged with issues concerning the nature of mathematics. We developed a philosophy of mathematics unit intended to enlarge gifted students’ perceptions of the nature of mathematics by exposing the uncritical and tidy rendering of mathematics within school math. Using a narrative methodology, we attended to gifted student’s students’ stories of relationship with mathematics, based on the premise that a person’s relationship with mathematics is inextricably woven together with their identity. In this paper, we will focus on the experiences of three gifted teenagers during our philosophy of mathematics unit. We found that these students were disrupted and compartmentalized their school math and philosophy of mathematics experiences and beliefs. We conclude that substantive experiences with the nature of mathematics should be a regular component of school math

Laryngeal lymphoma : the high and low grades of rare lymphoma involvement sites

The larynx is an extremely rare site of involvement by lymphomatous disease.We present two cases of isolated laryngeal high-grade and another low-grade lymphoma, together with a literature review of laryngeal lymphoma management.peer-reviewe

Game Drives of the Aralo-Caspian Region

Game drives of the Aralo-Caspian region is a translated and revised edition of Yagodin’s Strelovidnye Planirovki Ustyurta, originally published in Tashkent in 1991. Based on extensive fieldwork, the volume investigates arrow-shaped structures used for hunting in remote areas of Central Asia between the seventh and 14th centuries AD. This classic study of game drives remains one of the most significant works in Ustyurt archaeology and one of the few that integrates geoarchaeological, ecological and ethnographic data. This first English edition of Game drives of the Aralo-Caspian region has been amended with new material, including the study of satellite imagery, and enriched with many new illustrations

Children\u27s Oncology Group Hospital Membership and Survival of Pediatric Lymphoblastic Leukemia

Acute lymphoblastic leukemia (ALL) predominates in children ages 0-14 years and has an excellent prognosis for cure with 5-year survival exceeding 90% in the United States. However, not all children experience such positive outcomes. The purpose of this quantitative, retrospective cohort study was to evaluate differences in survival of ALL among children who reside in the 32-county Texas-Mexico border region. While factors such as poverty and health insurance have been strongly associated with poorer cancer outcomes, additional factors such as geographic isolation and treatment disparities are not as well-documented in children. This study examined the association between use of Texas Children\u27s Oncology Group (COG) pediatric research facilities and survival among children in Texas diagnosed with ALL. This study used cancer incidence data 1995-2009 from the Texas Cancer Registry. Differences in survival and use of COG facilities were investigated between children who reside within the 32-county Texas-Mexico border region and the combined remaining 222 Texas counties. Chi-square was used to analyze area of residence, gender, race/ethnicity, and poverty status between COG and non-COG reported cases. Logistic regression was used to examine ALL survival differences between COG and non-COG facilities controlling for multiple variables. COG affiliation alone was not a significant predictor of survival. An interaction between race/ethnicity, region, poverty status, and COG facility affiliation was observed as a significant predictor of poorer survival. The results of this study have the potential to promote positive social change by implementing interventions addressing access to equivalent pediatric cancer care in the 32-county Texas-Mexico border area

Book reviews

Reviews of the following items: Excellence in coaching: the industry guide. Edited by Jonathan Passmore. London: Kogan Page, 2010. ISBN 978-0-7494-5667-2. Doing your PGCE at M-level: a guide for students. Edited by Keira Sewell. London: Sage, 2012. ISBN 978-1-4462-0830-4. Contemporary issues in learning and teaching. Edited by Margery McMahon, Christine Forde and Margaret Martin. London: Sage, 2011. ISBN 978-1-84920-128-5. Using museums as an educational resource: an introductory handbook for students and teachers. Graeme Talboys. Aldershot: Ashgate Publishing, 2010. ISBN: 978-1-4094-0145-2

GPUVerify: A Verifier for GPU Kernels

We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in mainstream ker-nel programming languages such as OpenCL and CUDA. Our approach is founded on a novel formal operational se-mantics for GPU programming termed synchronous, delayed visibility (SDV) semantics. The SDV semantics provides a precise definition of barrier divergence in GPU kernels and allows kernel verification to be reduced to analysis of a sequential program, thereby completely avoiding the need to reason about thread interleavings, and allowing existing modular techniques for program verification to be leveraged. We describe an efficient encoding for data race detection and propose a method for automatically inferring loop invari-ants required for verification. We have implemented these techniques as a practical verification tool, GPUVerify, which can be applied directly to OpenCL and CUDA source code. We evaluate GPUVerify with respect to a set of 163 kernels drawn from public and commercial sources. Our evaluation demonstrates that GPUVerify is capable of efficient, auto-matic verification of a large number of real-world kernels