Somali perspectives on physical activity: PhotoVoice to address barriers and resources in San Diego

Although many immigrants enter the United States with a healthy body weight, this health advantage disappears the longer they reside in the United States. To better understand the complexities of obesity change within a cultural framework, a community-based participatory research (CBPR) approach, PhotoVoice, was used, focusing on physical activity among Muslim Somali women. The CBPR partnership was formed to identify barriers and resources to engaging in physical activity with goals of advocacy and program development. Muslim Somali women (n = 8) were recruited to participate, trained and provided cameras, and engaged in group discussions about the scenes they photographed. Participants identified several barriers, including safety concerns, minimal culturally appropriate resources, and financial constraints. Strengths included public resources and a community support system. The CBPR process identified opportunities and challenges to collaboration and dissemination processes. The findings laid the framework for subsequent program development and community engagement.

Crossing international boundaries through doctoral partnerships: Learnings from a Chinese-Australian forum

International forums for doctoral students offer a fertile context for developing strategic partner-ships between higher education institutions, as well as for building the intercultural capacity of early career academics. However, there is limited research investigating the benefits of international doctoral forum partnerships. This paper presents learnings from a recent international doctoral forum held in Beijing, China and attended by doctoral students and academics from Beijing Normal University (China) and Queensland University of Technology (Australia). Drawing on qualitative case study method and a model of boundary crossing mechanisms, we identify the beneficial outcomes of the forum. We describe how the forum arose from a strong ongoing partnership between the Education Faculties of Beijing Normal University and Queensland University of Technology. We then identify how, at the institutional and individual level, international doctoral forum participants can be challenged and benefit in four areas: collaboration, intercultural capacity, academic enhancement and program development. Implications for engaging successfully in international doctoral forum partnerships are also discussed.

A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

Connecting for innovation: Four universities collaboratively preparing pre-service teachers to teach in rural and remote Western Australia

In 2010 a group of teacher educators from four universities, experienced in rural and remote education, formed the Tertiary Educators Rural, Regional and Remote Network (TERRR Network). The collaborative goal was to improve the quality of graduates taking appointments beyond the metropolitan areas of Western Australia. The TERRR Network developed a research project to improve the capacity of universities to prepare teachers for employment in rural and remote locations. A range of outcomes emerged from the project, including: 1) the development of seven rural and remote-oriented curricula modules linked to the Australian Professional Standards for Teachers; 2) a cross-institutional field experience, and; 3) the development of a community of practice involving the Department of Education, universities and schools to address the logistical implications of placing pre-service students in rural and remote locations. This paper reports on the five phases of the project design, with a focus on learning in the field and concludes with reflections on the collaborative process used by the four universities in order to ensure that research evidence informs future policy and program development.

Preparing health science students for interdisciplinary professional practice

In 2002, a number of lecturers from different clinical schools within the Faculty of Health Sciences at La Trobe University embarked on the development of a new interdisciplinary professional practice subject to be undertaken by all final-year undergraduate health science students. The subject was designed to better prepare students for their first professional appointment by introducing them to the concepts of interdisciplinary teamwork, the health care context, and the challenges and constraints that organizational contexts present. This report details the background of the project, the consultation and development that took place in the design of the subject, and implementation of the subject. The uniqueness of the project is explained by the number of disciplines involved, the online delivery, and the focus on a set of generic graduate attributes for health science students. It is hoped that students who have undertaken this subject will have a better understanding of the roles of other health professionals and the context in which they will be working by grappling with many real-life professional issues that they will face when they graduate and enter the workforce.

Criação de um atlas pedagógico do Município do Rio de Janeiro, dentro da arquitetura do sistema brasileiro de televisão digital terrestre.

Esta dissertação visa levantar as possibilidades de uso da Geomática no ambiente de interatividade do Sistema Brasileiro de TV Digital Terrestre (SBTVD), definido pelo Decreto Presidencial 5.820, de 29 de Junho de 2006. O produto desta dissertação compreende a implementação de um Atlas, que terá como seu maior objetivo, o auxílio ao processo pedagógico e de Educação à distância (EAD), democratizando o conhecimento da Cartografia. A metodologia de desenvolvimento terá como base o estudo do município do Rio de Janeiro e como público alvo, professores e jovens de 8 a 12 anos de idade. Entretanto, poderá ser facilmente adaptado para outras regiões e diferentes níveis educacionais. No estudo foram utilizados os fundamentos da Geomática, com suas origens estruturais baseadas em uma natureza multidisciplinar, que é ponto de convergência da Informática, de Geografia, do Planejamento Urbano, das Engenharias, das Estatísticas e das Ciências do Ambiente, focadas em fases de produção definidas e divididas em: Coleta, Análise, Distribuição e Uso. Nesse contexto estudaremos como a Cartografia e o SBTVD terrestre vão se incorporar tecnologicamente na distribuição desses dados.

Avaliação do impacto da gestão de uma organização da sociedade civil de interesse público nas ações desenvolvidas no programa de controle de tuberculose em unidades de saúde em Duque de Caxias.

Entre os anos de 2009 a 2012 o município de Duque de Caxias realizou uma parceria com uma organização social civil de interesse público (OSCIP) para gerir seis unidades mistas de saúde. A tuberculose (TB) é um grave problema de saúde pública no Brasil. Em Duque de Caxias o Programa de Controle de Tuberculose necessitava ampliação e descentralização para o maior acesso à população. Objetivo: Este estudo teve como objetivo avaliar o impacto da gestão de uma OSCIP em seis unidades de saúde do município de Duque de Caxias, Estado do Rio de Janeiro, tendo como base os resultados alcançados no Programa de Controle da Tuberculose (PCT). Metodologia: Realizou-se uma pesquisa quantitativa, descritiva, de evolução temporal dos indicadores do PCT, com base em dados secundários gerados através do banco de dados do SINAN/DC, assim como a análise documental do Livro de Registros das Baciloscopias e Culturas do PCT. Levantamento na literatura sobre o tema. Também através de pesquisa eletrônica pela internet realizou-se um levantamento na literatura sobre o tema. Resultado e Discussão: A parceria com a OSCIP possibilitou a descentralização do Programa de Controle da Tuberculose para os quatro distritos do município. Na análise dos indicadores observou-se melhor desempenho das unidades de saúde sob a gerência da OSCIP em alguns indicadores de processo, como realização do exame anti-HIV e percentual de baciloscopias realizadas. Quanto aos indicadores de resultado, em ambos os tipos de gerência, observou-se baixa atuação no alcance das metas nacionais. Conclusão: Apesar das limitações metodológicas, como o curto período de tempo da análise dos indicadores, a utilização de dados secundários (SINAN), o presente estudo permitiu um olhar inicial das vantagens, desvantagens e limitações da parceria com uma OSCIP no serviço público. Serão necessários novos estudos com período maior de tempo além da inclusão de outros indicadores

Emacs Lisp in Edwin SScheme

The MIT-Scheme program development environment includes a general-purpose text editor, Edwin, that has an extension language, Edwin Scheme. Edwin is very similar to another general-purpose text editor, GNU Emacs, which also has an extension language, Emacs Lisp. The popularity of GNU Emacs has lead to a large library of tools written in Emacs Lisp. The goal of this thesis is to implement a useful subset of Emacs Lisp in Edwin Scheme. This subset was chosen to be sufficient for simple operation of the GNUS news reading program.

The rapid assignment of ruminal fungi to presumptive genera using ITS1 and ITS2 RNA secondary structures to produce group-specific fingerprints

Danny S. Tuckwell, Matthew J. Nicholson, Christopher S. McSweeney, Michael K. Theodorou and Jayne L. Brookman (2005). The rapid assignment of ruminal fungi to presumptive genera using ITS1 and ITS2 RNA secondary structures to produce group-specific fingerprints. Microbiology, 151 (5) pp.1557-1567 Sponsorship: BBSRC / Stapledon Memorial Trust RAE2008

Building Responsive Systems from Physically-correct Specifications

Predictability - the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems - possessing properties such as clairvoyance, caprice, in finite capacity, or perfect timing - cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the CLEOPATRA programming language. CLEOPATRA features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. CLEOPATRA is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of CLEOPATRA has been in use as a specification and simulation language for embedded time-critical robotic processes.

An Ounce of Prevention is Worth a Pound of Cure: Towards Physically-Correct Specifications of Embedded Real-Time Systems

Predictability — the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is a formalism that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Unrealistic systems — possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing — cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed.

OS Support for Portable Bulk Synchronous Parallel Programs

Predictability -- the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements -- is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems – possessing properties such as clairvoyance, caprice, infinite capacity, or perfect timing -- cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems -- not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the Cleopatra programming language. Cleopatra features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. Cleopatra is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of Cleopatra has been in use as a specification and simulation language for embedded time-critical robotic processes.

Establishing a regional, multisite database for quality improvement and service planning in community-based palliative care and hospice.

BACKGROUND: Outpatient palliative care, an evolving delivery model, seeks to improve continuity of care across settings and to increase access to services in hospice and palliative medicine (HPM). It can provide a critical bridge between inpatient palliative care and hospice, filling the gap in community-based supportive care for patients with advanced life-limiting illness. Low capacities for data collection and quantitative research in HPM have impeded assessment of the impact of outpatient palliative care. APPROACH: In North Carolina, a regional database for community-based palliative care has been created through a unique partnership between a HPM organization and academic medical center. This database flexibly uses information technology to collect patient data, entered at the point of care (e.g., home, inpatient hospice, assisted living facility, nursing home). HPM physicians and nurse practitioners collect data; data are transferred to an academic site that assists with analyses and data management. Reports to community-based sites, based on data they provide, create a better understanding of local care quality. CURRENT STATUS: The data system was developed and implemented over a 2-year period, starting with one community-based HPM site and expanding to four. Data collection methods were collaboratively created and refined. The database continues to grow. Analyses presented herein examine data from one site and encompass 2572 visits from 970 new patients, characterizing the population, symptom profiles, and change in symptoms after intervention. CONCLUSION: A collaborative regional approach to HPM data can support evaluation and improvement of palliative care quality at the local, aggregated, and statewide levels.

Developing drugs for developing countries.

Infectious and parasitic diseases create enormous health burdens, but because most of the people suffering from these diseases are poor, little is invested in developing treatments. We propose that developers of treatments for neglected diseases receive a "priority review voucher." The voucher could save an average of one year of U.S. Food and Drug Administration (FDA) review and be sold by the developer to the manufacturer of a blockbuster drug. In a well-functioning market, the voucher would speed access to highly valued treatments. Thus, the voucher could benefit consumers in both developing and developed countries at relatively low cost to the taxpayer.

Teaching neuraxial anesthesia techniques for obstetric care in a Ghanaian referral hospital: achievements and obstacles.

Anesthesia providers in low-income countries may infrequently provide regional anesthesia techniques for obstetrics due to insufficient training and supplies, limited manpower, and a lack of perceived need. In 2007, Kybele, Inc. began a 5-year collaboration in Ghana to improve obstetric anesthesia services. A program was designed to teach spinal anesthesia for cesarean delivery and spinal labor analgesia at Ridge Regional Hospital, Accra, the second largest obstetric unit in Ghana. The use of spinal anesthesia for cesarean delivery increased significantly from 6% in 2006 to 89% in 2009. By 2012, >90% of cesarean deliveries were conducted with spinal anesthesia, despite a doubling of the number performed. A trial of spinal labor analgesia was assessed in a small cohort of parturients with minimal complications; however, protocol deviations were observed. Although subsequent efforts to provide spinal analgesia in the labor ward were hampered by anesthesia provider shortages, spinal anesthesia for cesarean delivery proved to be practical and sustainable.