A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Hawkins electrical guide. Questions, answers & illustrations; a progressive course of study for engineers, electricians, students and those desiring to acquire a working knowledge of electricity and its applications; a practical treatise,

"Credit is largely due to Frank D. Graham ... for the authorship of the Guides, and for the original sketches illustrating electrical principles and construction."--Pref. to no. 1.

Universal Screening for Familial Colorectal Cancer Syndromes at Seattle Cancer Care Alliance: Qualitative Study of Providers involved in Implementation and Patients Experience with First Wave of Testing

Thesis (Master's)--University of Washington, 2016-06

The effects of consumer knowledge on responses to event sponsorships

Research into consumer responses to event sponsorships has grown in recent years. However, the effects of consumer knowledge on sponsorship response have received little consideration. Consumers' event knowledge is examined to determine whether experts and novices differ in information processing of sponsorships and whether a sponsor's brand equity influences perceptions of sponsor-event fit. Six sponsors (three high equity/three low equity) were paired with six events. Results of hypothesis testing indicate that experts generate more total thoughts about a sponsor-event combination. Experts and novices do not differ in sponsor-event congruence for high-brand-equity sponsors, but event experts perceive less of a match between sponsor and event for low-brand-equity sponsors. (C) 2004 Wiley Periodicals, Inc.

The effects of body position on distortion-product Otoacoustic emission testing

Otoacoustic emissions are frequently acquired from patients in a variety of body positions aside from the standard, seated orientation. Yet little knowledge is available regarding whether these deviations will produce nonpathological changes to the clinical results obtained. The present study aimed to describe the effects of body position on the distortion-product otoacoustic emissions of 60 normal-hearing adults. With particular attention given to common clinical practice, the Otodynamics ILO292, and the measurement parameters of amplitude, signal-to-noise ratio, and noise were utilized. Significant position-related effects and interactions were revealed for all parameters. Specifically, stronger emissions in the mid frequencies and higher noise levels at the extreme low and high frequencies were produced by testing subjects while lying on their side compared with the seated position. Further analysis of body position effects on emissions is warranted, in order to determine the need for clinical application of position-dependent normative data.

Adaptation to being at-risk for Huntington's disease and the availability of genetic testing: Application of a stress and coping model

This study examined the utility of a stress/coping model in explaining adaptation in two groups of people at-risk for Huntington's Disease (HD): those who have not approached genetic testing services (non-testees) and those who have engaged a testing service (testees). The aims were (1) to compare testees and non-testees on stress/coping variables, (2) to examine relations between adjustment and the stress/coping predictors in the two groups, and (3) to examine relations between the stress/coping variables and testees' satisfaction with their first counselling session. Participants were 44 testees and 40 non-testees who completed questionnaires which measured the stress/coping variables: adjustment (global distress, depression, health anxiety, social and dyadic adjustment), genetic testing concerns, testing context (HD contact, experience, knowledge), appraisal (control, threat, self-efficacy), coping strategies (avoidance, self-blame, wishful thinking, seeking support, problem solving), social support and locus of control. Testees also completed a genetic counselling session satisfaction scale. As expected, non-testees reported lower self-efficacy and control appraisals, higher threat and passive avoidant coping than testees. Overall, results supported the hypothesis that within each group poorer adjustment would be related to higher genetic testing concerns, contact with HD, threat appraisals, passive avoidant coping and external locus of control, and lower levels of positive experiences with HD, social support, internal locus of control, self-efficacy, control appraisals, problem solving, emotional approach and seeking social support coping. Session satisfaction scores were positively correlated with dyadic adjustment, problem solving and positive experience with HD, and inversely related to testing concerns, and threat and control appraisals. Findings support the utility of the stress/coping model in explaining adaptation in people who have decided not to seek genetic testing for HD and those who have decided to engage a genetic testing service.

Testing alternative models for the conservation of koalas in fragmented rural-urban landscapes

Predicting the various responses of different species to changes in landscape structure is a formidable challenge to landscape ecology. Based on expert knowledge and landscape ecological theory, we develop five competing a priori models for predicting the presence/absence of the Koala (Phascolarctos cinereus) in Noosa Shire, south-east Queensland (Australia). A priori predictions were nested within three levels of ecological organization: in situ (site level) habitat (< 1 ha), patch level (100 ha) and landscape level (100-1000 ha). To test the models, Koala surveys and habitat surveys (n = 245) were conducted across the habitat mosaic. After taking into account tree species preferences, the patch and landscape context, and the neighbourhood effect of adjacent present sites, we applied logistic regression and hierarchical partitioning analyses to rank the alternative models and the explanatory variables. The strongest support was for a multilevel model, with Koala presence best predicted by the proportion of the landscape occupied by high quality habitat, the neighbourhood effect, the mean nearest neighbour distance between forest patches, the density of forest patches and the density of sealed roads. When tested against independent data (n = 105) using a receiver operator characteristic curve, the multilevel model performed moderately well. The study is consistent with recent assertions that habitat loss is the major driver of population decline, however, landscape configuration and roads have an important effect that needs to be incorporated into Koala conservation strategies.

A survey of regular ecstasy users' knowledge and practices around determining pill content and purity: Implications for policy and practice.

Objective: To examine the methods used by a sample of regular ecstasy users to determine the content and purity of ecstasy pills, their knowledge of the limitations of available pill testing methods, and how pill test results would influence their drug use behaviour. Method: Data were collected from regular ecstasy users (n = 810) recruited from all eight capital cities of Australia. Data were analysed using multiple logistic regression and chi-square (chi(2)) tests of association. Open-ended responses were coded for themes. Results: The majority of the sample(84%) reported attempting to find out the content and purity of ecstasy at least some of the time, most commonly asking friends or dealers. Less than one quarter (22%) reported personal use of testing kits. There was a moderate level of awareness of the limitations of testing kits among those who reported having used them. Over half (57%) of those reporting personal use of testing kits reported that they would not take a pill if test results indicated that it contained ketamine and over three quarters (76%) reported that they would not take an "unknown" pill (producing no reaction in a reagent test). Finally, a considerable majority (63%) expressed interest in pill testing should it be more widely available. Conclusions: The majority of regular ecstasy users sampled in this Australian study report previous attempts to determine the content and purity of pills sold as ecstasy. Although only a small proportion have used testing kits, many report that they would do so if they were more widely available. The results of pill tests may influence drug use if they indicate that pills contain substances which ecstasy users do not want to ingest or are of unknown content. More detailed research examining ways in which pill testing may influence drug use is required to inform evidence-based policy. (c) 2006 Elsevier B.V. All rights reserved.

Brand extensions in emerging markets:theory development and testing in China

Brand extensions are increasingly used by multinational corporations in emerging markets such as China. However, understanding how consumers in the emerging markets evaluate brand extensions is hampered by a lack of research in the emerging markets contexts. To address the knowledge void, we built on an established brand extension evaluation framework in the West, namely Aaker and Keller (1990)1. Aaker , D. A. and Keller , K. L. 1990 . Consumer evaluations of brand extensions . Journal of Marketing , 54 ( 1 ) : 27 – 41 . [CrossRef], [Web of Science ®] View all references, and extended the model by incorporating two new factors: perceived fit based on brand image consistency and competition intensity in the brand extension category. The additions of two factors are made in recognition of the uniqueness of the considerations of consumers in the emerging markets in their brand extension evaluations. The extended model was tested by an empirical experiment using consumers in China. The results partly validated the Aaker and Keller model, and evidence that both newly added factors were significant in influencing consumers' evaluation of brand extensions was also found. More important, one new factor proposed, namely, consumer-perceived fit based on brand image consistency, was found to be more significant than all the factors in Aaker and Keller's original model, suggesting that the Aaker and Keller model may be limited in explaining how consumers in the emerging markets evaluate brand extensions. Further research implications and limitations are discussed in the paper.

Bottom-up risk regulation? How nanotechnology risk knowledge gaps challenge federal and state environmental agencies

Nanotechnologies have been called the "Next Industrial Revolution." At the same time, scientists are raising concerns about the potential health and environmental risks related to the nano-sized materials used in nanotechnologies. Analyses suggest that current U.S. federal regulatory structures are not likely to adequately address these risks in a proactive manner. Given these trends, the premise of this paper is that state and local-level agencies will likely deal with many "end-of-pipe" issues as nanomaterials enter environmental media without prior toxicity testing, federal standards, or emissions controls. In this paper we (1) briefly describe potential environmental risks and benefits related to emerging nanotechnologies; (2) outline the capacities of the Toxic Substances Control Act, the Clean Air Act, the Clean Water Act, and the Resources Conservation and Recovery Act to address potential nanotechnology risks, and how risk data gaps challenge these regulations; (3) outline some of the key data gaps that challenge state-level regulatory capacities to address nanotechnologies' potential risks, using Wisconsin as a case study; and (4) discuss advantages and disadvantages of state versus federal approaches to nanotechnology risk regulation. In summary, we suggest some ways government agencies can be better prepared to address nanotechnology risk knowledge gaps and risk management.

Elaboration and testing of new methodologies for automatic abstracting

The primary objective of this research was to understand what kinds of knowledge and skills people use in `extracting' relevant information from text and to assess the extent to which expert systems techniques could be applied to automate the process of abstracting. The approach adopted in this thesis is based on research in cognitive science, information science, psycholinguistics and textlinguistics. The study addressed the significance of domain knowledge and heuristic rules by developing an information extraction system, called INFORMEX. This system, which was implemented partly in SPITBOL, and partly in PROLOG, used a set of heuristic rules to analyse five scientific papers of expository type, to interpret the content in relation to the key abstract elements and to extract a set of sentences recognised as relevant for abstracting purposes. The analysis of these extracts revealed that an adequate abstract could be generated. Furthermore, INFORMEX showed that a rule based system was a suitable computational model to represent experts' knowledge and strategies. This computational technique provided the basis for a new approach to the modelling of cognition. It showed how experts tackle the task of abstracting by integrating formal knowledge as well as experiential learning. This thesis demonstrated that empirical and theoretical knowledge can be effectively combined in expert systems technology to provide a valuable starting approach to automatic abstracting.

Development of a co-culture model of the human lungs for toxicity testing and identification of biomarkers of inhalation toxicity

The airway epithelium is the first point of contact in the lung for inhaled material, including infectious pathogens and particulate matter, and protects against toxicity from these substances by trapping and clearance via the mucociliary escalator, presence of a protective barrier with tight junctions and initiation of a local inflammatory response. The inflammatory response involves recruitment of phagocytic cells to neutralise and remove and invading materials and is oftern modelled using rodents. However, development of valid in vitro airway epithelial models is of great importance due to the restrictions on animal studies for cosmetic compound testing implicit in the 7th amendment to the European Union Cosmetics Directive. Further, rodent innate immune responses have fundamental differences to human. Pulmonary endothelial cells and leukocytes are also involved in the innate response initiated during pulmonary inflammation. Co-culture models of the airways, in particular where epithelial cells are cultured at air liquid interface with the presence of tight junctions and differentiated mucociliary cells, offer a solution to this problem. Ideally validated models will allow for detection of early biomarkers of response to exposure and investigation into inflammatory response during exposure. This thesis describes the approaches taken towards developing an in vitro epithelial/endothelial cell model of the human airways and identification biomarkers of response to exposure to xenobiotics. The model comprised normal human primary microvascular endothelial cells and the bronchial epithelial cell line BEAS-2B or normal human bronchial epithelial cells. BEAS-2B were chosen as their characterisation at air liquid interface is limited but they are robust in culture, thereby predicted to provide a more reliable test system. Proteomics analysis was undertaken on challenged cells to investigate biomarkers of exposure. BEAS-2B morphology was characterised at air liquid interface compared with normal human bronchial epithelial cells. The results indicate that BEAS-2B cells at an air liquid interface form tight junctions as shown by expression of the tight junction protein zonula occludens-1. To this author’s knowledge this is the first time this result has been reported. The inflammatory response of BEAS-2B (measured as secretion of the inflammatory mediators interleukin-8 and -6) air liquid interface mono-cultures to Escherichia coli lipopolysaccharide or particulate matter (fine and ultrafine titanium dioxide) was comparable to published data for epithelial cells. Cells were also exposed to polymers of “commercial interest” which were in the nanoparticle range (and referred to particles hereafter). BEAS-2B mono-cultures showed an increased secretion of inflammatory mediators after challenge. Inclusion of microvascular endothelial cells resulted in protection against LPS- and particle- induced epithelial toxicity, measured as cell viability and inflammatory response, indicating the importance of co-cultures for investigations into toxicity. Two-dimensional proteomic analysis of lysates from particle-challenged cells failed to identify biomarkers of toxicity due to assay interference and experimental variability. Separately, decreased plasma concentrations of serine protease inhibitors, and the negative acute phase proteins transthyretin, histidine-rich glycoprotein and alpha2-HS glycoprotein were identified as potential biomarkers of methyl methacrylate/ethyl methacrylate/butylacrylate treatment in rats.

Designing the System of Remote Knowledge Diagnosing for Students of Technical Specialties

In the article the theoretical aspects of planning of the systems of the controlled from distance diagnosing of level of know ledges of students are resulted on the basis of modern pedagogical theoretical and technological approaches. The practical results of creation of the systems of this type are resulted for organization of testing both in the structure of local networks of higher educational establishments and with access through the global network of Internet.

The Knowledge in Automotive Field Representation with Modern Technologies

Modern technologies have changed the way of presenting information in archives. This makes it possible to introduce new services, which was unimaginable a few years ago. Digitalization, security and virtual presentation of objects in the sphere of motoring by application of technologies, based on knowledge about how to create digital resources is the theme of this project. The aim of AutoKnow project is to carry out a research and create a multi- media digital archive AutoKnow and Experimental Virtual Motor Laboratory (EVML) with Motor Library (ML) from digital multi-media patterns from a selected group of objects in the sphere of automobile technology, presented by NMU. This makes it possible to widely apply multi-media collections in automobile engineering, teaching, research work in that sphere and serve the interests of a large number of auto-amateurs as well in Bulgaria. The research and development of АutoKnow is in the following mutually related fields: - Creation and annotation of collections of objects in the sphere of automobiles; - Creation, analysis and security of a digital archive AutoKnow; - Design and creation of Digital Motor Library; - Socially-oriented applications in education, scientific studies and Experimental Virtual Motor Laboratory; - Informational System for teaching and testing of knowledge in the sphere of automobiles MindCheck.