A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

Integrated versus non-integrated management and care for clients with co-occurring mental health and substance use disorders: a qualitative systematic review of randomised controlled trials

The purpose of this paper is to conduct a qualitative review of randomised controlled trials in relation to the treatment of adults with co-occurring mental health and substance use disorder (MH/SUD). In particular, integrated approaches are compared with non-integrated approaches to treatment. Ten articles were identified for inclusion in the review. The findings are equivocal with regard to the superior efficacy of integrated approaches to treatment, although the many limitations of the studies need to be considered in our understanding of this finding. Clearly, this is an extremely challenging client group to engage and maintain in intervention research, and the complexity and variability of the problems render control particularly difficult. The lack of available evidence to support the superiority of integration is discussed in relation to these challenges. Much remains to be investigated with regard to integrated management and care for people with co-occurring and MH/SUD, particularly for specific combinations of dual diagnosis and giving consideration to the level of inter-relatedness between the disorders. (C) 2004 Elsevier Ltd. All rights reserved.

Majority versus minority influence and prediction of behavioral intentions and behavior

Two experiments examined the effects of majority and minority influence on attitude-consistent behavioral intentions. In the first experiment, when attitudes were changed via minority influence there was a greater likelihood to engage in an attitude-consistent behavioral intention than when attitudes were changed via majority influence. This suggests that minority influence leads to stronger attitudes (based on systematic processing) that are more predictive of behavioral intentions, while attitude change via majority influence is due to compliance through non-systematic processing. Further support for this interpretation comes from the finding that the amount of message-congruent elaboration mediated behavioral intention. When there was no attitude change, there was no impact on behavioral intention to engage in an attitude-consistent behavior. Experiment 2 explored the role of personal relevance of the topic and also included a real behavioral measure. When the topic was of low personal relevance, the same pattern was found as Experiment 1. When the topic was of high personal relevance, thus increasing the motivation to engage in systematic processing, attitudes changed by both a majority and minority source increased behavioral intention and actual behavior. The results are consistent with the view that both majorities and minorities can lead to different processes and consequences under different situations. © 2006 Elsevier Inc. All rights reserved.

Social capital, HIV risk behavior and substance use among recent Latino immigrants in South Florida

Social capital, or social cohesion or group connectedness, can influence both HIV risk behavior and substance use. Because recent immigrants undergo a change in environment, one of the consequences can be a change in social capital. There may be an association among changes in social capital, and HIV risk behavior and substance use post immigration. The dissertation focused on the interface of these three variables among recent Latino immigrants (RLIs) in South Florida. The first manuscript is a systematic review of social capital and HIV risk behavior, and served as a partial background for the second and third manuscripts. Twelve papers with a measure of social capital as an independent variable and HIV risk as the dependent variable were included in the analysis. Eleven studies measured social capital at the individual level, and one study measured social capital at the group level. HIV risk was influenced by social capital, but the type of influence was dependent on the type of social capital and on the study population. Cognitive social capital, or levels of collective action, was protective against HIV in both men and women. The role of structural social capital, or levels of civic engagement/group participation, on HIV risk was dependent on the type of structural social capital and varied by gender. Microfinance programs and functional group participation were protective for women, while dysfunctional group participation and peer-level support may have increased HIV risk among men. The second manuscript was an original study assessing changes in social capital and HIV risk behavior pre to post immigration among RLIs in South Florida (n=527). HIV risk behavior was assessed through the frequency of vaginal-penile condom use, and the number of sexual partners. It was a longitudinal study using secondary data analysis to assess changes in social capital and HIV risk behavior pre immigration to two years post immigration, and to determine if there was a relationship between the two variables. There was an 8% decrease in total social capital (p < .05). Reporting of 'Never use' of condoms in the past 90 days increased in all subcategories (p < .05). Single men had a decrease in number of sexual partners (p < .05). Lower social capital measured on the dimension of 'friend and other' was marginally associated with fewer sexual partners. The third manuscript was another original study looking at the association between social capital and substance use among RLIs in South Florida (n=527). Substance use with measured by frequency of hazardous alcoholic drinking, and illicit drug use. It was a longitudinal study of social capital and substance-use from pre to two years post immigration. Post-immigration, social capital, hazardous drinking and illicit drug use decreased (p<.001). After adjusting for time, compared to males, females were less likely to engage in hazardous drinking (OR=.31, p<.001), and less likely to engage in illicit drug use (OR=.67, p=.01). Documentation status was a moderator between social capital and illicit drug use. 'Business' and 'Agency' social capital were associated with changes in illicit drug use for documented immigrants. After adjusting for gender and marital status, on average, documented immigrants with a one-unit increase in 'business' social capital were 1.2 times more likely to engage in illicit drug use (p<.01), and documented immigrants with one-unit increase in 'agency' social capital were 38% less likely to engage in illicit drug use (p<.01). 'Friend and other' social capital was associated with a decrease in illicit drug use among undocumented immigrants. After adjusting for gender and marital status, on average, undocumented immigrants with a one-unit increase in 'friend and other' social capital were 45% less likely to engage in hazardous drinking and 44% less likely to use illicit drugs (p<.01, p<.05). Studying these three domains is relevant because HIV continues to be a public health issue, particularly in Miami-Dade County, which is ranked among other U.S. regions with high rates of HIV/AIDS prevalence. Substance use is associated with HIV risk behavior; in most studies, increased substance use is associated with increased chances of HIV risk behavior. Immigration, which is the hypothesized catalyst for the change in social capital, has an impact on the dynamic of a society. Greater immigration can be burdensome on the host country's societal resources; however immigrants are also potentially a source of additional skilled labor for the workforce. Therefore, successful adaption of immigrants can have a positive influence on receiving communities. With Florida being a major receiver of immigrants to the U.S, this dissertation attempts to address an important public health issue for South Florida and the U.S. at large.

Behavioural Interventions for Severe Obesity Before and/or After Bariatric Surgery : a Systematic Review and Meta-analysis

We would like to thank the following study authors for providing additional data and clarifications: Alison Fielding, Haldis Lier, Monica Nijamkin, Jane Ogden, Anastasios Papalazarou, Manish Parikh, Brian Swenson, Andresa Triffoni, Jean Michel Oppert, Marie-France Langlois, David Sarwer and Dale Bond. We also thank Dr. Kevin Deans and the staff at the bariatric surgery clinic at Aberdeen Royal Infirmary. The Health Services Research Unit, University of Aberdeen, is funded by the Chief Scientist Office of the Scottish Government Health Directorates. The views expressed are those of the authors.

Behavioural Interventions for Severe Obesity Before and/or After Bariatric Surgery : a Systematic Review and Meta-analysis

We would like to thank the following study authors for providing additional data and clarifications: Alison Fielding, Haldis Lier, Monica Nijamkin, Jane Ogden, Anastasios Papalazarou, Manish Parikh, Brian Swenson, Andresa Triffoni, Jean Michel Oppert, Marie-France Langlois, David Sarwer and Dale Bond. We also thank Dr. Kevin Deans and the staff at the bariatric surgery clinic at Aberdeen Royal Infirmary. The Health Services Research Unit, University of Aberdeen, is funded by the Chief Scientist Office of the Scottish Government Health Directorates. The views expressed are those of the authors.

Resonance Energy Transfer-Based Molecular Switch Designed Using a Systematic Design Process Based on Monte Carlo Methods and Markov Chains

A RET network consists of a network of photo-active molecules called chromophores that can participate in inter-molecular energy transfer called resonance energy transfer (RET). RET networks are used in a variety of applications including cryptographic devices, storage systems, light harvesting complexes, biological sensors, and molecular rulers. In this dissertation, we focus on creating a RET device called closed-diffusive exciton valve (C-DEV) in which the input to output transfer function is controlled by an external energy source, similar to a semiconductor transistor like the MOSFET. Due to their biocompatibility, molecular devices like the C-DEVs can be used to introduce computing power in biological, organic, and aqueous environments such as living cells. Furthermore, the underlying physics in RET devices are stochastic in nature, making them suitable for stochastic computing in which true random distribution generation is critical.

In order to determine a valid configuration of chromophores for the C-DEV, we developed a systematic process based on user-guided design space pruning techniques and built-in simulation tools. We show that our C-DEV is 15x better than C-DEVs designed using ad hoc methods that rely on limited data from prior experiments. We also show ways in which the C-DEV can be improved further and how different varieties of C-DEVs can be combined to form more complex logic circuits. Moreover, the systematic design process can be used to search for valid chromophore network configurations for a variety of RET applications.

We also describe a feasibility study for a technique used to control the orientation of chromophores attached to DNA. Being able to control the orientation can expand the design space for RET networks because it provides another parameter to tune their collective behavior. While results showed limited control over orientation, the analysis required the development of a mathematical model that can be used to determine the distribution of dipoles in a given sample of chromophore constructs. The model can be used to evaluate the feasibility of other potential orientation control techniques.

Correlations among behavior, performance and environment in broiler breeders using multivariate analysis

Animal welfare issues have received much attention not only to supply farmed animal requirements, but also to ethical and cultural public concerns. Daily collected information, as well as the systematic follow-up of production stages, produces important statistical data for production assessment and control, as well as for improvement possibilities. In this scenario, this research study analyzed behavioral, production, and environmental data using Main Component Multivariable Analysis, which correlated observed behaviors, recorded using video cameras and electronic identification, with performance parameters of female broiler breeders. The aim was to start building a system to support decision-making in broiler breeder housing, based on bird behavioral parameters. Birds were housed in an environmental chamber, with three pens with different controlled environments. Bird sensitivity to environmental conditions were indicated by their behaviors, stressing the importance of behavioral observations for modern poultry management. A strong association between performance parameters and the behavior at the nest, suggesting that this behavior may be used to predict productivity. The behaviors of ruffling feathers, opening wings, preening, and at the drinker were negatively correlated with environmental temperature, suggesting that the increase of in the frequency of these behaviors indicate improvement of thermal welfare.

Does therapeutic writing help people with long-term conditions? Systematic review, realist synthesis and economic considerations

Background Writing therapy to improve physical or mental health can take many forms. The most researched model of therapeutic writing (TW) is unfacilitated, individual expressive writing (written emotional disclosure). Facilitated writing activities are less widely researched. Data sources Databases including: MEDLINE, EMBASE, PsychINFO, Linguistics and Language Behavior Abstracts, AMED, and CINHAL were searched from inception to March 2013. Review methods Four TW practitioners provided expert advice. Study procedures were conducted by one reviewer and checked by a second. Randomised controlled trials (RCTs) and non-randomised comparative studies were included. Quality was appraised using the Cochrane risk of bias tool. Unfacilitated and facilitated TW studies were analysed separately under ICD-10 chapter headings. Meta-analyses were performed where possible using Revman 5.2. Costs were estimated from an NHS perspective and three cost-consequence case studies were prepared. Realist synthesis followed RAMESES guidelines. Objectives To review the clinical and cost-effectiveness of TW for people with long-term health conditions (LTCs) compared to no writing, or other controls, reporting any relevant clinical outcomes. To conduct a realist synthesis to understand how TW might work, and for whom. Results From 14,658 unique citations, 284 full text papers were reviewed and 64 studies (58 RCTs) were included in the final effectiveness reviews. Five studies examined facilitated TW, these were extremely heterogeneous with unclear or high risk of bias, but suggested that facilitated TW interventions may be beneficial in individual LTCs. Unfacilitated expressive writing was examined in 59 studies of variable, or unreported, quality. Overall there was very little or no evidence of any benefit reported in the following conditions (number of studies): HIV (six); breast cancer (eight); gynaecological and genitourinary cancers (five); mental health (five); asthma (four); psoriasis (three); chronic pain (four). In inflammatory arthropathies (six) there was a reduction in disease severity (n= 191, standardised mean difference (SMD) - 0.61 [95% confidence intervals (95% CI) -0.96, -0.26]) in the short term on meta-analysis of four studies. For all other LTCs there was either no, or sparse, data with no, or inconsistent, evidence of benefit. Meta-analyses conducted across all the LTCs provided no evidence that unfacilitated EW had any effect on depression at short term (n= 1,563, SMD -0.06, 95% CI -0.29 to 0.17, substantial heterogeneity), or long term (n= 778, SMD-0.04 95% CI -0.18 to 0.10, little heterogeneity) follow up, or on anxiety, physiological or biomarker-based outcomes. One study reported costs, none reported cost-effectiveness, twelve reported resource use; meta-analysis suggested reduced medication use but no impact on health centre visits. Estimated costs of intervention were low, but there was insufficient evidence to judge cost-effectiveness. Realist review findings suggested that facilitated TW is a complex intervention and group interaction contributes to the perception of benefit. It was unclear from the available data who might benefit most from facilitated TW. Limitations Difficulties with developing realist review programme theory meant that mechanisms operating during TW remain obscure. Conclusions Overall there is little evidence to support the effectiveness or cost-effectiveness of unfacilitated expressive writing interventions in people with LTCs. Further research focussed on facilitated TW in people with LTCs could be informative.

Healthcare providers’ knowledge, attitude and behaviour towards breast cancer diagnosis and treatment in Malaysia – a mini systematic review

Breast cancer is the most common cancer among women in Malaysia. Therefore, it is important for the public to be educated on breast cancer and to know the steps that need to be taken to detect it early. Healthcare providers are in a unique position to provide public health education due to their good knowledge of health issues and their roles in healthcare. A systematic review of studies conducted from 2008 till 2015 was undertaken to analyze the knowledge, attitudes and behavior of Malaysian healthcare providers regarding breast cancer, in an attempt to obtain an overall picture of how wellequipped the healthcare providers are to provide optimal breast cancer education, and to ascertain their perceptions and actual involvement in such education. The systematic review was conducted via a primary search of various databases and journal websites, and a secondary search of references cited in eligible studies. Criteria for eligibility include studies conducted in Malaysia and published from the year 2008 to 2015, and written in English language. A total of fifteen articles were identified and reviewed but only two studies were eligible for this review. The findings suggest that future and current Malaysian healthcare providers have moderate knowledge of breast cancer, showed a positive disposition towards involvement in breast cancer education, but displayed poor involvement.

Social Capital, HIV Risk Behavior and Substance Use among Recent Latino Immigrants in South Florida

Social capital, or social cohesion or group connectedness, can influence both HIV risk behavior and substance use. Because recent immigrants undergo a change in environment, one of the consequences can be a change in social capital. There may be an association among changes in social capital, and HIV risk behavior and substance use post immigration. The dissertation focused on the interface of these three variables among recent Latino immigrants (RLIs) in South Florida. The first manuscript is a systematic review of social capital and HIV risk behavior, and served as a partial background for the second and third manuscripts. Twelve papers with a measure of social capital as an independent variable and HIV risk as the dependent variable were included in the analysis. Eleven studies measured social capital at the individual level, and one study measured social capital at the group level. HIV risk was influenced by social capital, but the type of influence was dependent on the type of social capital and on the study population. Cognitive social capital, or levels of collective action, was protective against HIV in both men and women. The role of structural social capital, or levels of civic engagement/group participation, on HIV risk was dependent on the type of structural social capital and varied by gender. Microfinance programs and functional group participation were protective for women, while dysfunctional group participation and peer-level support may have increased HIV risk among men. The second manuscript was an original study assessing changes in social capital and HIV risk behavior pre to post immigration among RLIs in South Florida (n=527). HIV risk behavior was assessed through the frequency of vaginal-penile condom use, and the number of sexual partners. It was a longitudinal study using secondary data analysis to assess changes in social capital and HIV risk behavior pre immigration to two years post immigration, and to determine if there was a relationship between the two variables. There was an 8% decrease in total social capital (p ˂ .05). Reporting of ‘Never use’ of condoms in the past 90 days increased in all subcategories (p ˂ .05). Single men had a decrease in number of sexual partners (p ˂ .05). Lower social capital measured on the dimension of ‘friend and other’ was marginally associated with fewer sexual partners. The third manuscript was another original study looking at the association between social capital and substance use among RLIs in South Florida (n=527). Substance use with measured by frequency of hazardous alcoholic drinking, and illicit drug use. It was a longitudinal study of social capital and substance-use from pre to two years post immigration. Post-immigration, social capital, hazardous drinking and illicit drug use decreased (p˂.001). After adjusting for time, compared to males, females were less likely to engage in hazardous drinking (OR=.31, p˂.001), and less likely to engage in illicit drug use (OR=.67, p=.01). Documentation status was a moderator between social capital and illicit drug use. ‘Business’ and ‘Agency’ social capital were associated with changes in illicit drug use for documented immigrants. After adjusting for gender and marital status, on average, documented immigrants with a one-unit increase in ‘business’ social capital were 1.2 times more likely to engage in illicit drug use (p˂.01), and documented immigrants with one-unit increase in ‘agency’ social capital were 38% less likely to engage in illicit drug use (p˂.01). ‘Friend and other’ social capital was associated with a decrease in illicit drug use among undocumented immigrants. After adjusting for gender and marital status, on average, undocumented immigrants with a one-unit increase in ‘friend and other’ social capital were 45% less likely to engage in hazardous drinking and 44% less likely to use illicit drugs (p˂.01, p˂.05). Studying these three domains is relevant because HIV continues to be a public health issue, particularly in Miami-Dade County, which is ranked among other U.S. regions with high rates of HIV/AIDS prevalence. Substance use is associated with HIV risk behavior; in most studies, increased substance use is associated with increased chances of HIV risk behavior. Immigration, which is the hypothesized catalyst for the change in social capital, has an impact on the dynamic of a society. Greater immigration can be burdensome on the host country’s societal resources; however immigrants are also potentially a source of additional skilled labor for the workforce. Therefore, successful adaption of immigrants can have a positive influence on receiving communities. With Florida being a major receiver of immigrants to the U.S, this dissertation attempts to address an important public health issue for South Florida and the U.S. at large.

Health-related And Socio-demographic Factors Associated With Frailty In The Elderly: A Systematic Literature Review.

Frailty is a syndrome that leads to practical harm in the lives of elders, since it is related to increased risk of dependency, falls, hospitalization, institutionalization, and death. The objective of this systematic review was to identify the socio-demographic, psycho-behavioral, health-related, nutritional, and lifestyle factors associated with frailty in the elderly. A total of 4,183 studies published from 2001 to 2013 were detected in the databases, and 182 complete articles were selected. After a comprehensive reading and application of selection criteria, 35 eligible articles remained for analysis. The main factors associated with frailty were: age, female gender, black race/color, schooling, income, cardiovascular diseases, number of comorbidities/diseases, functional incapacity, poor self-rated health, depressive symptoms, cognitive function, body mass index, smoking, and alcohol use. Knowledge of the complexity of determinants of frailty can assist the formulation of measures for prevention and early intervention, thereby contributing to better quality of life for the elderly.

Discovery Of A Rare Pterosaur Bone Bed In A Cretaceous Desert With Insights On Ontogeny And Behavior Of Flying Reptiles.

A pterosaur bone bed with at least 47 individuals (wing spans: 0.65-2.35 m) of a new species is reported from southern Brazil from an interdunal lake deposit of a Cretaceous desert, shedding new light on several biological aspects of those flying reptiles. The material represents a new pterosaur, Caiuajara dobruskii gen. et sp. nov., that is the southermost occurrence of the edentulous clade Tapejaridae (Tapejarinae, Pterodactyloidea) recovered so far. Caiuajara dobruskii differs from all other members of this clade in several cranial features, including the presence of a ventral sagittal bony expansion projected inside the nasoantorbital fenestra, which is formed by the premaxillae; and features of the lower jaw, like a marked rounded depression in the occlusal concavity of the dentary. Ontogenetic variation of Caiuajara dobruskii is mainly reflected in the size and inclination of the premaxillary crest, changing from small and inclined (∼ 115°) in juveniles to large and steep (∼ 90°) in adults. No particular ontogenetic features are observed in postcranial elements. The available information suggests that this species was gregarious, living in colonies, and most likely precocial, being able to fly at a very young age, which might have been a general trend for at least derived pterosaurs.

Bile And Liver Metallothionein Behavior In Copper-exposed Fish.

The present study analyzed metallothionein (MT) excretion from liver to bile in Nile Tilapia (Oreochromis niloticus) exposed to sub-lethal copper concentrations (2mgL(-1)) in a laboratory setting. MTs in liver and bile were quantified by spectrophotometry after thermal incubation and MT metal-binding profiles were characterized by size exclusion high performance liquid chromatography coupled to ICP-MS (SEC-HPLC-ICP-MS). Results show that liver MT is present in approximately 250-fold higher concentrations than bile MT in non-exposed fish. Differences between the MT profiles from the control and exposed group were observed for both matrices, indicating differential metal-binding behavior when comparing liver and bile MT. This is novel data regarding intra-organ MT comparisons, since differences between organs are usually present only with regard to quantification, not metal-binding behavior. Bile MT showed statistically significant differences between the control and exposed group, while the same did not occur with liver MT. This indicates that MTs synthesized in the liver accumulate more slowly than MTs excreted from liver to bile, since the same fish presented significantly higher MT levels in liver when compared to bile. We postulate that bile, although excreted in the intestine and partially reabsorbed by the same returning to the liver, may also release MT-bound metals more rapidly and efficiently, which may indicate an efficient detoxification route. Thus, we propose that the analysis of bile MTs to observe recent metal exposure may be more adequate than the analysis of liver MTs, since organism responses to metals are more quickly observed in bile, although further studies are necessary.

Cervical Spine Involvement In Rheumatoid Arthritis--a Systematic Review.

Rheumatoid arthritis (RA) is a systemic chronic inflammatory disorder that can compromise the cervical spine in up to 80% of the cases. The most common radiological presentations of cervical involvement are atlantoaxial subluxation (AAS), cranial settling and subaxial subluxation (SAS). We performed a systematic review in the PubMed Database of articles published later 2005 to evaluate the prevalence, progression and risk factors for cervical spine involvement in RA patients. Articles were classified according to their level of evidence. Our literature review reported a wide range in the prevalence of cervical spine disease, probably explained by the different studied populations and disease characteristics. Uncontrolled RA is probably the main risk factor for developing a spinal instability. Adequate treatment with DMARD and BA can prevent development of cervical instabilities but did not avoid progression of a pre-existing injury. MRI is the best radiological method for diagnosis cervical spine involvement. AAS is the most common form of RA. Long term radiological follow-up is necessary to diagnosis patients with late instabilities and monitoring progression of diagnosed injuries.