Comparison of Gross Pathology, Histopathology, and Mycobacterial Culture for the Diagnosis of Tuberculosis in Elk (Cervus elaphus)

Using the isolation of Mycobacterium bovis as the reference standard, this study evaluated the sensitivity, specificity and kappa statistic of gross pathology (abattoir postmortem inspection), histopathology, and parallel or series combinations of the two for the diagnosis of tuberculosis in 430 elk and red deer. Two histopathology interpretations were evaluated: histopathology I, where the presence of lesions compatible with tuberculosis was considered positive, and histopathology II, where lesions compatible with tuberculosis or a select group of additional possible diagnoses were considered positive. In the 73 animals from which M. bovis was isolated, gross lesions of tuberculosis were most often in the lung (48), the retropharyngeal lymph nodes (36), the mesenteric lymph nodes (35), and the mediastinal lymph nodes (16). Other mycobacterial isolates included: 11 M. paratuberculosis, 11 M. avium, and 28 rapidly growing species or M. terrae complex. The sensitivity estimates of gross pathology and histopathology I were 93% (95% confidence limits [CL] 84,97%) and 88% [CL 77,94%], respectively, and the specificity of both was 89% [CL 85,92%]). The sensitivity and specificity of histopathology II were 89% (CL 79,95%) and 77% (CL 72,81%), respectively. The highest sensitivity estimates (93- 95% [CL 84,98%]) were obtained by interpreting gross pathology and histopathology in parallel (where an animal had to be positive on at least one of the two, to be classified as combination positive). The highest specificity estimates (94-95% [CL 91-97%]) were generated when the two tests were interpreted in series (an animal had to be positive on both tests to be classified as combination positive). The presence of gross or microscopic lesions showed moderate to good agreement with the isolation of M. bovis (Kappa = 65-69%). The results show that post-mortem inspection, histopathology and culture do not necessarily recognize the same infected animals and that the spectra of animals identified by the tests overlaps.

Attitudes, Confidence, and Achievement of High-Ability Fifth Grade Math Students

In this action research study of my fifth grade high-ability mathematics class, I investigated student attitudes of mathematics and their confidence in mathematics. Student achievement was compared to two different confidence scales to identify a relationship between confidence and achievement. Six boys and eleven girls gave their consent to the study. I discovered there seems to be a connection between confidence and achievement and that boys are generally more confident than girls. Most students liked math and were comfortable sharing answers and methods of solving problems with other students. As a result of this study I plan to use my survey and interview questions at the beginning of the school year with my new class in order to assess their attitudes and confidence in math. I can use this information to identify potential struggles and better plan for student instruction.

Bacterial leakage along the implant-abutment interface: culture and DNA Checkerboard hybridization analyses

Objective Bacterial species have been found harboring the internal surface of dental implants as consequence of their failed connections. The aim of the present study was to compare the detection frequency of bacterial leakage from human saliva through the implantabutment interface, under non-loading conditions, using either DNA Checkerboard or culture method. Materials and methods Thirty dental implants with hexagonal platforms were connected to pre-machined abutments according to the manufacturers specifications. The assemblies were individually incubated in human saliva under anaerobic conditions for 7 similar to days at 37 degrees C. Afterward, contents from the inner parts of the implants were collected and evaluated with either DNA Checkerboard (s similar to=similar to 15) or culture (n similar to=similar to 15). Subsequently, identification and quantitation of bacterial species from saliva and implants were carried out for the group evaluated with the DNA Checkerboard method. Results Both DNA Checkerboard and culture showed positive signals of bacterial leakage in 6 of the 15 evaluated samples. Capnocytophaga gingivalis and Streptococcus mutans were the most frequently detected species harboring the internal surface of the implants followed by Veillonella parvula. Conclusion Occurrence of bacterial leakage along the implantabutment interface is comparably detected with both DNA Checkerboard hybridization and conventional culture methods.

Modelling Mathematical Reasoning in Physics Education

Many findings from research as well as reports from teachers describe students' problem solving strategies as manipulation of formulas by rote. The resulting dissatisfaction with quantitative physical textbook problems seems to influence the attitude towards the role of mathematics in physics education in general. Mathematics is often seen as a tool for calculation which hinders a conceptual understanding of physical principles. However, the role of mathematics cannot be reduced to this technical aspect. Hence, instead of putting mathematics away we delve into the nature of physical science to reveal the strong conceptual relationship between mathematics and physics. Moreover, we suggest that, for both prospective teaching and further research, a focus on deeply exploring such interdependency can significantly improve the understanding of physics. To provide a suitable basis, we develop a new model which can be used for analysing different levels of mathematical reasoning within physics. It is also a guideline for shifting the attention from technical to structural mathematical skills while teaching physics. We demonstrate its applicability for analysing physical-mathematical reasoning processes with an example.

Definite integrals and operational methods

An operational method, already employed to formulate a generalization of the Ramanujan master theorem, is applied to the evaluation of integrals of various types. This technique provides a very flexible and powerful tool yielding new results encompassing different aspects of the special function theory. Crown Copyright (C) 2012 Published by Elsevier Inc. All rights reserved.

On a new class of abstract integral equations and applications

In this paper we introduce a new class of abstract integral equations which enables us to study in a unified manner several different types of differential equations. (C) 2012 Elsevier Inc. All rights reserved.

A critical analysis on "Active Learning" in the light of Cultural-Historical Activity Theory (CHAT): Implications to Physics Education and to experimental activities as a particular case.

This is a research paper in which we discuss “active learning” in the light of Cultural-Historical Activity Theory (CHAT), a powerful framework to analyze human activity, including teaching and learning process and the relations between education and wider human dimensions as politics, development, emancipation etc. This framework has its origin in Vygotsky's works in the psychology, supported by a Marxist perspective, but nowadays is a interdisciplinary field encompassing History, Anthropology, Psychology, Education for example.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Intrinsic ordering, combinatorial numbers and reliability engineering

[EN]A new algorithm for evaluating the top event probability of large fault trees (FTs) is presented. This algorithm does not require any previous qualitative analysis of the FT. Indeed, its efficiency is independent of the FT logic, and it only depends on the number n of basic system components and on their failure probabilities. Our method provides exact lower and upper bounds on the top event probability by using new properties of the intrinsic order relation between binary strings. The intrinsic order enables one to select binary n-tuples with large occurrence probabilities without necessity to evaluate them. This drastically reduces the complexity of the problem from exponential (2n binary n-tuples) to linear (n Boolean variables)...

Mental concerts: Musical imagery and auditory cortex

Most people intuitively understand what it means to “hear a tune in your head.” Converging evidence now indicates that auditory cortical areas can be recruited even in the absence of sound and that this corresponds to the phenomenological experience of imagining music. We discuss these findings as well as some methodological challenges. We also consider the role of core versus belt areas in musical imagery, the relation between auditory and motor systems during imagery of music performance, and practical implications of this research.

The Mental Health System and Older Adults in the 1990s

Trends in mental health services for older adults during the past decade were used to predict salient issues for the current decade. These include overreliance on inpatient treatment, increased use of general hospitals as treatment sites, inadequate integration with the nursing-home industry, and insufficient mental health referrals from general medical providers. In the decade ahead, the mental health needs of older adults are unlikely to be an identified focus; rather the issues will overlap with other priorities (e.g., biomedical research on brain functioning, alternative treatment programs for the chronically mentally ill, and containing health care costs). Advocates for the elderly will be successful to the extent that they cast aging services within the context of these other concerns.

Does Mental Illness Affect Consumer Direction of Community-Based Care? Lessons From the Arkansas Cash and Counseling Program

Purpose: Previous research from the Cash and Counseling Demonstration and Evaluation (CCDE) in Arkansas, New Jersey, and Florida suggests that giving consumers control over their personal care greatly increases their satisfaction and improves their outlook on life. Still, some argue that consumerdirected care may not be appropriate for consumers with intellectual disabilities or mental health diagnoses. This study examined how Cash and Counseling— a new option allowing consumers to manage an individualized budget equivalent to what agencies would have spent on their care—changes the way consumers with mental health diagnoses meet their personal care needs and how that affects their wellbeing. Design and Methods: Using the Arkansas CCDE baseline and the 9-month follow-up data for individuals in the treatment and control groups, we compared and contrasted the experience of elderly consumers with and without mental health diagnoses utilizing logit regression. Results: After examining several outcome measures, including satisfaction with care arrangements and the paid caregiver’s reliability and schedule, unmet needs, and satisfaction with the relationship with paid caregivers, this study found evidence that, from the perspective of consumers, the Cash and Counseling program works well for participants with mental health diagnoses. Implications: Considering the growing need for long-term-care services and the limited resources available, a consumer-directed option makes sense, and it can be a valuable alternative for persons with mental health needs.

A Comparative Study of Central and Eastern European Social Policy Concernig Mental Disability

The main goal of this project was to identity whether an imported system of social policy can be suitable for a host country, and if not why not. Romanian social policy concerning the mentally disabled represents a paradoxical situation in that while social policy is designed to ensure both an institutional structure and a juridical environment, in practice it is far from successful. The central question which Ms. Ciumageanu asked therefore was whether this failure was due to systemic factors, or whether the problem lay in reworking an imported social policy system to meet local needs. She took a comparative approach, also considering both the Scandinavian model of social policy, particularly the Danish model which has been adopted in Romania, and the Hungarian system, which has inherited a similar universal welfare system and perpetuated it to some extent. In order to verify her hypothesis, she also studied the transformation of the welfare system in Great Britain, which meant a shift from state responsibility towards community care. In all these she concentrated on two major aspects: the structural design within the different countries and, at a micro level, the societal response. Following her analyses of the various in the other countries concerned, Ms. Ciumageanu concluded that the major differences lie first in the difference between the stages of policy design. Here Denmark is the most advanced and Romania the most backwards. Denmark has a fairly elaborate infrastructure, Britain a system with may gaps to bridge, and Hungary and Romania are struggling with severe difficulties owing both to the inherited structure and the limits imposed by an inadequate GDP. While in Denmark and Britain, mental patients are integrated into an elaborate system of care, designed and administered by the state (in Denmark) or communities (in Britain), in Hungary and Romania, the state designs and fails to implement the policy and community support is minimal, partly due to the lack of a fully developed civil society. At the micro level the differences are similar. While in Denmark and Britain there is a consensus about the roles of the state and of civil societies (although at different levels in the two countries, with the state being more supportive in Denmark), in Romania and to a considerable extent in Hungary, civil society tends to expect too much from the state, which in its turn is withdrawing faster from its social roles than from its economic ones, generating a gap between the welfare state and the market economy and disadvantaging the expected transition from a welfare state to a welfare society and, implicitly, the societal response towards those mentally disabled persons in it. On an intermediate level, the factors influencing social policy as a whole were much the same for Hungary and Romania. Economic factors include the accumulated economic resources of both state and citizens, and the inherited pattern of redistribution, as well as the infrastructure; institutional resources include the role of the state and the efficiency of the state bureaucracy, the strength and efficiency of the state apparatus, political stability and the complexity of political democratisation, the introduction of market institutions, the strength of civil society and civic sector institutions. From the standpoint of the societal response, some factors were common to all countries, particularly the historical context, the collective and institutional memories and established patterns of behaviour. In the specific case of Romania, general structural and environmental factors - industrialisation and forced urbanisation - have had a definite influence on family structure, values and behavioural patterns. The analysis of Romanian social policy revealed several causes for failure to date. The first was the instability of the policy and the failure to consider the structural network involved in developing it, rather than just the results obtained. The second was the failure to take into account the relationship between the individual and the group in all its aspects, followed by the lack of active assistance for prevention, re-socialisation or professional integration of persons with mental disabilities. Finally, the state fails to recognise its inability to support an expensive psychiatric enterprise and does not provide any incentive to the private sector. This creates tremendous social costs for both the state and the individual. NGOs working in the field in Romania have been somewhat more successful but are still limited by their lack of funding and personnel and the idea of a combined system is as yet utopian in the circumstances in the country.

Mental health and quality of life after genetic testing for Huntington disease: a long-term effect study in Germany

Predictive genetic testing for Huntington disease (HD) might cause severe short-term psychological reactions in patients with poor mental health. Very few studies exist on the long-term effects of genetic HD testing. The aim of this study was to assess mental health and quality of life in persons who were tested for HD mutation, to compare mental health depending on the result of the genetic test (non-carriers, gene carriers, and patients with HD) and to identify predictors of mental health and quality of life via linear regression. The data were collected by self-report questionnaires. In total, 121 individuals participated in this study: 52 were non-carriers, 54 were gene carriers, and 15 were gene carriers suffering from HD. Non-carriers and gene carriers showed better mental health and quality of life than HD-patients but did not differ from each other. In non-carriers four variables predicted increased depression and low mental quality of life: low perceived social support, no intimate relationship, female sex and younger age. For gene carriers three predictors were found: low perceived social support, the expectation of an unfavorable genetic test result before the testing procedure and being childless. To prevent detrimental effects of HD testing on mental health and mental quality of life, specific attention should be paid to persons with limited social networks during genetic counseling. Assessment of expectations related to the test result and mental health prior to a genetic testing procedure may help to identify gene carriers at risk of poor coping after an unfavorable test result.

Omega-3 fatty acids and the neurovascular responses to mental stress in humans

Hypertension is the most prevalent form of cardiovascular disease (CVD) in the world, and is known to increase the risk for developing other diseases. Recently, the American Heart Association introduced a new classification of blood pressure, prehypertension (PHT). The criteria for PHT include a systolic of 120-139 mmHg and/or a diastolic blood pressure of 80-89 mmHg. It has been observed that individuals with PHT have a higher risk of developing hypertension later in life. Therefore, it is important to understand the mechanisms contributing to PHT in order to possibly prevent hypertension. Omega-3 fatty acids found in fish oils have been suggested as a means of lowering blood pressure. However, little is known on the effects of fish oil in PHT humans. Therefore we conducted two studies. In Study 1 we investigated PHT and normotensive (NT) individuals during a mental stress task. Mental stress is known to contribute to the development of hypertension. In Study 2 PHT and NT subjects were placed in an eight week double-blind placebo controlled study in which subjects consumed 9g/day of either fish oil or placebo (olive oil) in addition to their regular diets. Subjects were tested during a resting baseline (seated and supine), 5 minutes of a mental stress task, and 5 minutes of recovery both pre and post supplementation. We measured arterial pressure (AP), heart rate (HR), muscle sympathetic nerve activity (MSNA), and forearm and calf vascular responses. In Study 1 PHT demonstrated augmented AP and blunted vasodilation during mental stress, but MSNA did not change. In Study 2, fish oil did not directly influence blood pressure, MSNA or vascular responses to mental stress. However, it became clear that fish oil had an effect on some but not all subjects (both PHT and NT). Specifically, subjects who experienced a reduced blood pressure response to fish oil also demonstrated a decrease in MSNA and HR during mental stress. Collectively, the investigations in this dissertation had several novel findings. First, PHT individuals demonstrate an augmented pressor and blunted vascular response to mental stress, a response that may be contributing to the development of hypertension. Second, fish oil does not consistently lower resting blood pressure, but the interindividual responses may be related to MSNA. Third, fish oil attenuated the heart rate and MSNA responses and to mental stress in both PHT and NT. In conclusion, we found that there are both similarities and differences in the way PHT and NT individuals respond to mental stress and fish oil.