The effect of targeting tolerance of children's negative emotions among anxious parents of children with anxiety disorders: a pilot randomised controlled trial

Following cognitive behavioural therapy for child anxiety a significant minority of children fail to lose their diagnosis status. One potential barrier is high parental anxiety. We designed a pilot RCT to test claims that parental intolerance of the child’s negative emotions may impact treatment outcomes. Parents of 60 children with an anxiety disorder, who were themselves highly anxious, received either brief parent-delivered treatment for child anxiety or the same treatment with strategies specifically targeting parental tolerance of their child’s negative emotions. Consistent with predictions, parental tolerance of the child’s negative emotions significantly improved from pre- to post-treatment. However, there was no evidence to inform the direction of this association as improvements were substantial in both groups. Moreover, while there were significant improvements in child anxiety in both conditions, there was little evidence that this was associated with the improvement in parental tolerance. Nevertheless, findings provide important clinical insight, including that parent-led treatments are appropriate even when the parent is highly anxious and that it may not be necessary to adjust interventions for many families.

Programs to compute magnetization to density ratio and the magnetization inclination from 3-D gravity and magnetic anomalies

Vector field formulation based on the Poisson theorem allows an automatic determination of rock physical properties (magnetization to density ratio-MDR-and the magnetization inclination-MI) from combined processing of gravity and magnetic geophysical data. The basic assumptions (i.e., Poisson conditions) are: that gravity and magnetic fields share common sources, and that these sources have a uniform magnetization direction and MDR. In addition, the previously existing formulation was restricted to profile data, and assumed sufficiently elongated (2-D) sources. For sources that violate Poisson conditions or have a 3-D geometry, the apparent values of MDR and MI that are generated in this way have an unclear relationship to the actual properties in the subsurface. We present Fortran programs that estimate MDR and MI values for 3-D sources through processing of gridded gravity and magnetic data. Tests with simple geophysical models indicate that magnetization polarity can be successfully recovered by MDR-MI processing, even in cases where juxtaposed bodies cannot be clearly distinguished on the basis of anomaly data. These results may be useful in crustal studies, especially in mapping magnetization polarity from marine-based gravity and magnetic data. (c) 2007 Elsevier Ltd. All rights reserved.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Autofluorescence spectroscopy in liver transplantation: Preliminary results from a pilot clinical study

The evaluation of graft function at various stages after transplantation is relevant, particularly at the moment of organ harvest, when a decision must be made whether to use the organ. Autofluorescence spectroscopy is noninvasive technique to monitor the metabolic condition of a liver graft throughout its course, from an initial evaluation in the donor, through cold ischemia transportation, to reperfusion and reoxygenation in the recipient. Preliminary results are presented in six liver transplantations spanning the periods from liver harvest to implant. The laser-induced fluorescence spectrum at 532-mn excitation was investigated before cold perfusion (autofluorescence), during cold ischemia, at the back table procedure, as well as 5 and 60 minutes after reperfusion. The results showed that the fluorescence analysis was sensitive to changes during the transplantation procedure. Fluorescence spectroscopy potentially provides a real-time, noninvasive technique to monitor liver graft function. The information could potentially be valuable for surgical decisions and transplant success.

RECOVERY OF p-TBC FROM A BUTADIENE WASHING STREAM IN A PILOT PLANT

Results obtained in a pilot-scale unit designed for COD removal and p-TBC (p-tert-butylcatechol) recovery from a butadiene washing stream (pH 14, 200,000 mg COD L(-1), highly toxic) at a petrochemical industry are presented. By adding H(3)PO(4), phase separation is achieved and p-TBC is successfully recovered (88 g L(-1) of washing stream). Information (time for phase separation and organic phase characterization) was gathered for designing a future industrial unit. The estimated heat generation rate was 990 kJ min(-1) and 15 min were enough to promote phase separation for a liquid column of approximately 1.15 m.

Important Parameters in Designing and Presenting Exhibits and Planetarium Programs in Science Centers : A Visitor-Based Framework

This dissertation proposes an initial framework for designing and presenting exhibits in science centers and to recommend methods for improving the educational role of planetariums in science centers.

Childbirth self-efficacy inventory in Tanzania : a pilot study

Background. To give birth can be a stressful experience and women cope with thisstress in many different ways and have different personal outcomes. Self-efficacy orconfidence in ability to cope with labour can be considered as an important factoraffecting pregnant women’s motivation of normal childbirth and their interpretation ofthe childbirth event.The aim. The purpose of this study was to test the Chinese short form of theinstrument Childbirth self-efficacy instrument (CBSEI) in Tanzania, that measurepregnant women’s self-confidence and coping abilities during childbirth.Method. The Chinese short form of the CBSEI was used to pilot test the pregnantwomen’s confidence of childbirth to see if the questions were understood in theTanzanian culture. Besides this instrument socio-demographic data was collectedtogether with two open questions asking about attitudes and experiences of childbirth.The instrument was translated into Kiswahili. A sample of 60 pregnant women whowere visiting antenatal clinic (ANC) regularly were asked to participate and with helpfrom midwifes at two ANC places the questionnaires were filled out.Result. The result shows that the validity and reliability of the two subscales OE-16and EE-16 were established. The internal consistency reliability of the two subscaleswere high, suggesting that each of the subscale mean score provides a good overviewof self- reported belief in coping ability for childbirth.The results further show that the instrument, CBSEI in this pilot study is not able toidentify women who need extra support during childbirth.Conclusion. The reliability and validity of information presented in this pilot studysupport the use of the Chinese short form of the CBSEI as a research instrument in theTanzania culture. Further studies are recommended to get a wider understandingabout women’s coping abilities in a culture like Tanzania.

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs : A Preliminary Sociology of Science Analysis

The Survivability of Swedish Emergency Management Related Research Centers and Academic Programs: A Preliminary Sociology of Science Analysis Despite being a relatively safe nation, Sweden has four different universities supporting four emergency management research centers and an equal and growing number of academic programs. In this paper, I discuss how these centers and programs survive within the current organizational environment. The sociology of science or the sociology of scientific knowledge perspectives should provide a theoretical guide. Yet, scholars of these perspectives have produced no research on these related topics. Thus, the population ecology model and the notion of organizational niche provide my theoretical foundation. My data come from 26 interviews from those four institutions, the gathering of documents, and observations. I found that each institution has found its own niche with little or no competition – with one exception. Three of the universities do have an international focus. Yet, their foci have minimal overlap. Finally, I suggest that key aspects of Swedish culture, including safety, and a need aid to the poor, help explain the extensive funding these centers and programs receive to survive. 

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Protocols between programs and proofs

In this paper we describe a new protocol that we call the Curry-Howard protocol between a theory and the programs extracted from it. This protocol leads to the expansion of the theory and the production of more powerful programs. The methodology we use for automatically extracting “correct” programs from proofs is a development of the well-known Curry-Howard process. Program extraction has been developed by many authors, but our presentation is ultimately aimed at a practical, usable system and has a number of novel features. These include 1. a very simple and natural mimicking of ordinary mathematical practice and likewise the use of established computer programs when we obtain programs from formal proofs, and 2. a conceptual distinction between programs on the one hand, and proofs of theorems that yield programs on the other. An implementation of our methodology is the Fred system. As an example of our protocol we describe a constructive proof of the well-known theorem that every graph of even parity can be decomposed into a list of disjoint cycles. Given such a graph as input, the extracted program produces a list of the (non-trivial) disjoint cycles as promised.