Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Structural stability and reversible unfolding of recombinant porcine S100A12

Porcine S100A12 is a member of the S100 proteins, family of small acidic calcium-binding proteins characterized by the presence of two EF-hand motifs. These proteins are involved in many cellular events such as the regulation of protein phosphorylation, enzymatic activity, protein-protein interaction, Ca(2+) homeostasis, inflammatory processes and intermediate filament polymerization. In addition, members of this family bind Zn(2+) or Ca(2+) with cooperative effect on binding. In this study, the gene sequence encoding porcine S100A12 was obtained by the synthetic gene approach using E. coli codon bias. Additionally, we report a thermodynamic study of the recombinant S100A12 using circular dichroism, fluorescence and isothermal titration calorimetry. The results of urea and temperature induced unfolding and refolding processes indicated a reversible two-state process. Also, the ANS fluorescence studies showed that in presence of divalent ions the protein exposes hydrophobic sites which could facilitate the interaction with other proteins and trigger the physiological responses. (c) 2008 Elsevier B.V. All rights reserved.

The exposure of the hybrid detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays. It consists of a surface array to measure secondary particles at ground level and a fluorescence detector to measure the development of air showers in the atmosphere above the array. The ""hybrid"" detection mode combines the information from the two subsystems. We describe the determination of the hybrid exposure for events observed by the fluorescence telescopes in coincidence with at least one water-Cherenkov detector of the surface array. A detailed knowledge of the time dependence of the detection operations is crucial for an accurate evaluation of the exposure. We discuss the relevance of monitoring data collected during operations, such as the status of the fluorescence detector, background light and atmospheric conditions, that are used in both simulation and reconstruction. (C) 2010 Elsevier B.V. All rights reserved.

Fibroblast growth factor 2 restrains ras-driven proliferation of malignant cells by triggering RhoA-mediated senescence

Fibroblast growth factor 2 (FGF2) is considered to be a bona fide oncogenic factor, although results from our group and others call this into question. Here, we report that exogenous recombinant FGF2 irreversibly inhibits proliferation by inducing senescence in Ras-dependent malignant mouse cells, but not in immortalized nontumorigenic cell lines. We report the following findings in K-Ras-dependent malignant YI adrenocortical cells and H-Ras V12-transformed BALB-3T3 fibroblasts: (a) FGF2 inhibits clonal growth and tumor onset in nude and immunocompetent BALB/c mice, (b) FGF2 irreversibly blocks the cell cycle, and (c) FGF2 induces the senescence-associated -galactosidase with no accompanying signs of apoptosis or necrosis. The tyrosine kinase inhibitor PD173074 completely protected malignant cells from FGF2. In Yl adrenal cells, reducing the constitutively high levels of K-Ras-GTP using the dominant-negative RasN17 mutant made cells resistant to FGF2 cytotoxicity. In addition, transfection of the dominant-negative RhoA-N19 into either YI or 3T3-B61 malignant cell lines yielded stable clonal transfectants that were unable to activate RhoA and were resistant to the FGF2 stress response. We conclude that in Rasdependent malignant cells, FGF2 interacts with its cognate receptors to trigger a senescence-like process involving RboAGTP. Surprisingly, attempts to select FGF2-resistant cells from the Yl and 3T3-B61 cell lines yielded only rare clones that (a) had lost the overexpressed ras oncogene, (b) were dependent on FGF2 for proliferation, and (c) were poorly tumorigenic. Thus, FGF2 exerted a strong negative selection that Rasdependent malignant cells could rarely overcome.

The Arabidopsis bZIP Gene AtbZIP63 Is a Sensitive Integrator of Transient Abscisic Acid and Glucose Signals

Glucose modulates plant metabolism, growth, and development. In Arabidopsis (Arabidopsis thaliana), Hexokinase1 (HXK1) is a glucose sensor that may trigger abscisic acid (ABA) synthesis and sensitivity to mediate glucose-induced inhibition of seedling development. Here, we show that the intensity of short-term responses to glucose can vary with ABA activity. We report that the transient (2 h/4 h) repression by 2% glucose of AtbZIP63, a gene encoding a basic-leucine zipper (bZIP) transcription factor partially involved in the Snf1-related kinase KIN10-induced responses to energy limitation, is independent of HXK1 and is not mediated by changes in ABA levels. However, high-concentration (6%) glucose-mediated repression appears to be modulated by ABA, since full repression of AtbZIP63 requires a functional ABA biosynthetic pathway. Furthermore, the combination of glucose and ABA was able to trigger a synergistic repression of AtbZIP63 and its homologue AtbZIP3, revealing a shared regulatory feature consisting of the modulation of glucose sensitivity by ABA. The synergistic regulation of AtbZIP63 was not reproduced by an AtbZIP63 promoter-5`-untranslated region:beta-glucuronidase fusion, thus suggesting possible posttranscriptional control. A transcriptional inhibition assay with cordycepin provided further evidence for the regulation of mRNA decay in response to glucose plus ABA. Overall, these results indicate that AtbZIP63 is an important node of the glucose-ABA interaction network. The mechanisms by which AtbZIP63 may participate in the fine-tuning of ABA-mediated abiotic stress responses according to sugar availability (i.e., energy status) are discussed.

Increased SOD1 association with chromatin, DNA damage, p53 activation, and apoptosis in a cellular model of SOD1-linked ALS

Mutations in the gene encoding cytosolic Cu,Zn-superoxide dismutase (SOD1) have been linked to familial amyotrophic lateral sclerosis (FALS). However the molecular mechanisms of motor neuron death are multifactorial and remain unclear. Here we examined DNA damage;p53 activity and apoptosis in SH-SY5Y human neuroblastoma cells transfected to achieve low-level expression of either wild-type or mutant Gly(93) --> Ala (G93A) SOD1, typical of FALS. DNA damage was investigated by evaluating the levels of 8-oxo-7,8-dihydro-2`-deoxyguanosine (8-oxodGuo) and DNA strand breaks. Significantly higher levels of DNA damage, increased p53 activity, and a greater percentage of apoptotic cells were observed in SH-SY5Y cells transfected with G93A SOD1 when compared to cells overexpressing wild-type SOD1 and untransfected cells. Western blot, FACS, and confocal microscopy analysis demonstrated that G93A SOD1 is present in the nucleus in association with DNA. Nuclear G93A SOD1 has identical superoxide dismutase activity but displays increased peroxidase activity when compared to wild-type SOD1. These results indicate that the G93A mutant SOD1 association with DNA might induce DNA damage and trigger the apoptotic response by activating p53. This toxic activity of mutant SOD1 in the nucleus may play an important role in the complex mechanisms associated with motor neuron death observed in ALS pathogenesis. (C) 2010 Elsevier B.V. All rights reserved.

Bcl-2 expression and apoptosis induction in human HL60 leukaemic cells treated with a novel organotellurium(IV) compound RT-04

Organotellurium(]V) compounds have been reported to have multiple biological activities including cysteine protease-inhibitory activity, mainly cathepsin B. As cathepsin B is a highly predictive indicator for prognosis and diagnosis of cancer, a possible antitumor potential for these new compounds is expected. In this work, it was investigated the effectiveness of organotellurium(IV) RT-04 to produce lethal effects in the human promyelocytic leukaemia cell line HL60. Using the MTT tetrazolium reduction test, and trypan blue exclusion assay, the IC50 for the compound after 24 h incubation was 6.8 and 0.35 mu M, respectively. Moreover, the compound was found to trigger apoptosis in HL60 cells, inducing DNA fragmentation and caspase-3, -6, and -9 activations. The apoptsosis-induced by RT-04 is probably related to the diminished Bcl-2 expression, observed by RT-PCR, in HL60-treated cells. In vivo studies demonstrated that the RT-04 treatment (2.76 mg/kg given for three consecutive days) produces no significant toxic effects for bone marrow and spleen CFU-GM. However, higher doses (5.0 and 10 mg/kg) produced a dose-dependent reduction in the number of CFU-GM of RT-04-treated mice. These results suggest that RT-04 is able to induce apoptosis in HL60 cells by Bcl-2 expression down-modulation. Further studies are necessary to better clarify the effects of this compound on bone marrow normal cells. (C) 2008 Elsevier Ltd. All rights reserved.

Relative durations of post-vocalic consonants in readaloud Spanish by native Swedish L2-learners

Prosody is said to be a persistent feature in foreign accents, particularly in the speech of adult learners. Native Swedish speakers have been reported to lengthen vowels in Spanish as well as post-vocalic consonants in English and German, more than native speakers of the respective languages. The aim of the present study is to examine whether native Swedish learners of Spanish produce increased postvocalic consonant durations in a reading aloud exercise. The text contains certain words that could be expected to trigger complementary consonant lengthening in native Swedish speakers. The result shows that there is no general tendency for native Swedes to lengthen post-vocalic consonants more than native speakers of Spanish in the present speech material. There are examples of longer consonant durations in the speech of the native,Swedish subjects, but it could be a coincidence. A conclusion is that the text used in the study, and probably Spanish as a language, contains few words that are ideal for triggering lengthening of post-vocalic consonants in native Swedish speakers.

”När man kollar på bilden tänker man så här” : en receptionsstudie av gymnasieelevers uppfattning om bilder som kunskapskällor i historieundervisningen

Images are used in history education for a variety of reasons, not least to generate interest through a better understanding of historical events and people. The aim of this study was to investigate how historical pictures, either illustrated or documentary/photographic, can be used as a resource for activating and improving pupils' historical empathy, in the way described by Stéphane Lévasque. I conducted a reception study on five different focus groups consisting of pupils from different upper secondary schools in Sweden. The pupils varied with regard to number of credits for admission to upper secondary school. A sixth group of pupils was interviewed as a contrasting control group in order to add perspective to the results. The discussions were based on the pupils' interpretations of 34 selected pictures, all of which were taken from the most common history textbooks. Each pupil was asked to choose the picture he/she felt was the most representative historical image. On the basis of the strategies used by the pupils when interpreting the pictures and discussing them, the material was analysed in accordance with Lévesque's categories: imagination, historical contextualisation and morals. The last category, morals, was further divided into three sub-categories: sense of justice, sympathy and progression. The reflections of the pupils and the degree of contextualisation varied. It appeared that the pupils were less inclined to discuss assumptions about the persons in the pictures; instead they chose to discuss the historical context in question. The pictures in this study did not seem to trigger the pupils to fabricate anachronistic reasoning about history; when they did produce lengthy reasoning, it was contextual, structural and metahistorical. In this context, the pupils who belonged to the group with the highest average of credits showed some signs of reflection on the basis of historical context and some criticism about the historical sources. On no occasion did any of the pupils choose a picture as a concrete expression of injustice. One of the questions this study aimed to explore was whether a lack of historical context affects how pictures trigger emotions and reasoning on the basis of moral aspects. Some of the pupils displayed moral standpoints, primarily the degree of morals concerning injustice. One possible interpretation could be that the feeling of being unfairly treated and subjected to insulting behaviour and social injustice was something the pupils could relate to. The group of pupils who had not yet studied history at upper secondary school, the control group, generally made reflections using this sort of reasoning when they discussed the historical aspects of the pictures.

Speed prediction for triggering vehicle activated signs

Accurate speed prediction is a crucial step in the development of a dynamic vehcile activated sign (VAS). A previous study showed that the optimal trigger speed of such signs will need to be pre-determined according to the nature of the site and to the traffic conditions. The objective of this paper is to find an accurate predictive model based on historical traffic speed data to derive the optimal trigger speed for such signs. Adaptive neuro fuzzy (ANFIS), classification and regression tree (CART) and random forest (RF) were developed to predict one step ahead speed during all times of the day. The developed models were evaluated and compared to the results obtained from artificial neural network (ANN), multiple linear regression (MLR) and naïve prediction using traffic speed data collected at four sites located in Sweden. The data were aggregated into two periods, a short term period (5-min) and a long term period (1-hour). The results of this study showed that using RF is a promising method for predicting mean speed in the two proposed periods.. It is concluded that in terms of performance and computational complexity, a simplistic input features to the predicitive model gave a marked increase in the response time of the model whilse still delivering a low prediction error.

A data driven approach for automating vehicle activated signs

Vehicle activated signs (VAS) display a warning message when drivers exceed a particular threshold. VAS are often installed on local roads to display a warning message depending on the speed of the approaching vehicles. VAS are usually powered by electricity; however, battery and solar powered VAS are also commonplace. This thesis investigated devel-opment of an automatic trigger speed of vehicle activated signs in order to influence driver behaviour, the effect of which has been measured in terms of reduced mean speed and low standard deviation. A comprehen-sive understanding of the effectiveness of the trigger speed of the VAS on driver behaviour was established by systematically collecting data. Specif-ically, data on time of day, speed, length and direction of the vehicle have been collected for the purpose, using Doppler radar installed at the road. A data driven calibration method for the radar used in the experiment has also been developed and evaluated. Results indicate that trigger speed of the VAS had variable effect on driv-ers’ speed at different sites and at different times of the day. It is evident that the optimal trigger speed should be set near the 85th percentile speed, to be able to lower the standard deviation. In the case of battery and solar powered VAS, trigger speeds between the 50th and 85th per-centile offered the best compromise between safety and power consump-tion. Results also indicate that different classes of vehicles report differ-ences in mean speed and standard deviation; on a highway, the mean speed of cars differs slightly from the mean speed of trucks, whereas a significant difference was observed between the classes of vehicles on lo-cal roads. A differential trigger speed was therefore investigated for the sake of completion. A data driven approach using Random forest was found to be appropriate in predicting trigger speeds respective to types of vehicles and traffic conditions. The fact that the predicted trigger speed was found to be consistently around the 85th percentile speed justifies the choice of the automatic model.

Review of the effectiveness of vehicle activated signs

This paper reviews the effectiveness of vehicle activated signs. Vehicle activated signs are being reportedly used in recent years to display dynamic information to road users on an individual basis in order to give a warning or inform about a specific event. Vehicle activated signs are triggered individually by vehicles when a certain criteria is met. An example of such criteria is to trigger a speed limit sign when the driver exceeds a pre-set threshold speed. The preset threshold is usually set to a constant value which is often equal, or relative, to the speed limit on a particular road segment. This review examines in detail the basis for the configuration of the existing sign types in previous studies and explores the relation between the configuration of the sign and their impact on driver behavior and sign efficiency. Most of previous studies showed that these signs have significant impact on driver behavior, traffic safety and traffic efficiency. In most cases the signs deployed have yielded reductions in mean speeds, in speed variation and in longer headways. However most experiments reported within the area were performed with the signs set to a certain static configuration within applicable conditions. Since some of the aforementioned factors are dynamic in nature, it is felt that the configurations of these signs were thus not carefully considered by previous researchers and there is no clear statement in the previous studies describing the relationship between the trigger value and its consequences under different conditions. Bearing in mind that different designs of vehicle activated signs can give a different impact under certain conditions of road, traffic and weather conditions the current work suggests that variable speed thresholds should be considered instead.

Triggering Solar-Powered Vehicle Activated Signs using Self Organising Maps with K-means

Solar-powered vehicle activated signs (VAS) are speed warning signs powered by batteries that are recharged by solar panels. These signs are more desirable than other active warning signs due to the low cost of installation and the minimal maintenance requirements. However, one problem that can affect a solar-powered VAS is the limited power capacity available to keep the sign operational. In order to be able to operate the sign more efficiently, it is proposed that the sign be appropriately triggered by taking into account the prevalent conditions. Triggering the sign depends on many factors such as the prevailing speed limit, road geometry, traffic behaviour, the weather and the number of hours of daylight. The main goal of this paper is therefore to develop an intelligent algorithm that would help optimize the trigger point to achieve the best compromise between speed reduction and power consumption. Data have been systematically collected whereby vehicle speed data were gathered whilst varying the value of the trigger speed threshold. A two stage algorithm is then utilized to extract the trigger speed value. Initially the algorithm employs a Self-Organising Map (SOM), to effectively visualize and explore the properties of the data that is then clustered in the second stage using K-means clustering method. Preliminary results achieved in the study indicate that using a SOM in conjunction with K-means method is found to perform well as opposed to direct clustering of the data by K-means alone. Using a SOM in the current case helped the algorithm determine the number of clusters in the data set, which is a frequent problem in data clustering.

An Environmental Analysis Corroborating PDA and the Winthrop Example

Libraries seek active ways to innovate amidst macroeconomic shifts, growing online education to help alleviate ever-growing schedule conflicts as students juggle jobs and course schedules, as well as changing business models in publishing and evolving information technologies. Patron-driven acquisition (PDA), also known as demand-driven acquisition (DDA), offers numerous strengths in supporting university curricula in the context of these significant shifts. PDA is a business model centered on short-term loans and subsequent purchases of ebooks resulting directly from patrons' natural use stemming from their discovery of the ebooks in library catalogs where the ebooks' bibliographic records are loaded at regular intervals established between the library and ebook supplier. Winthrop University's PDA plan went live in October 2011, and this article chronicles the philosophical and operational considerations, the in-library collaboration, and technical preparations in concert with the library system vendor and ebook supplier. Short-term loan is invoked after a threshold is crossed, typically number of pages or time spent in the ebook. After a certain number of short-term loans negotiated between the library and ebook supplier, the next short-term loan becomes an automatic purchase after which the library owns the ebook in perpetuity. Purchasing options include single-user and multi-user licenses. Owing to high levels of need in college and university environments, Winthrop chose the multi-user license as the preferred default purchase. Only where multi-user licenses are unavailable does the automatic purchase occur with single-user title licenses. Data on initial use between October 2011 and February 2013 reveal that of all PDA ebooks viewed, only 30% crossed the threshold into short-term loans. Of all triggered short-term loans, Psychology was the highest-using. Of all ebook views too brief to trigger short-term loans, Business was the highest-using area. Although the data are still too young to draw conclusions after only a few months, thought-provoking usage differences between academic disciplines have begun to emerge. These differences should be considered in library plans for the best possible curricular support for each academic program. As higher education struggles with costs and course-delivery methods libraries have an enduring lead role.

Nhembo'e : enquanto o encanto permanece! : processos e práticas de escolarização nas aldeias Guarani

A escola nas aldeias Guarani do Rio Grande do Sul é um acontecimento recente. Algumas TEKOÁ decidiram não abrigá-la em seu meio, considerando que a educação tradicional, assentada na cosmologia Guarani, é suficiente para o seu viver e, portanto, prescindem dos saberes escolares. Outras, evidenciando a necessidade de saberes que se relacionam à escola – como a escrita, a leitura, a Língua Portuguesa e o sistema monetário, entre outros –, a solicitam e a acolhem, iniciando processos e práticas de escolarização que afirmam o desejo de se apropriar de instrumentos que permitam um diálogo mais eqüitativo com a sociedade não indígena. Num movimento de interlocução com os gestores das políticas públicas, tensionam a Secretaria de Estado da Educação para criar condições de implementar a Escola Específica e Diferenciada nas aldeias. No entanto, experimentam a ambigüidade de uma aproximação e de um afastamento, de um querer e um não querer a escola em suas aldeias, pois intuem as mudanças que poderá desencadear no modo de vida tradicional. Para compreender os processos de implementação da escola do povo Guarani, e os significados que atribuem à educação escolar, dirigi o olhar e aprofundei o estudo em três aldeias do Rio Grande do Sul: TEKOÁ JATAÍTY (Cantagalo, município de Viamão), TEKOÁ ANHETENGUÁ (Lomba do Pinheiro, Porto Alegre) e TEKOÁ IGUA´PORÃ (Pacheca, município de Camaquã). Os movimentos de aproximação com a cosmologia Guarani e com o universo das aldeias, constituído através de um estar-junto sensível, e o com-viver com a totalidade cosmológica de cada lugar pesquisado possibilitou a elaboração de um contorno antropológico etnográfico que busca dizer dos Guarani desde si. A perspectiva teórica, assentada principalmente na aproximação da Educação com uma Antropologia Filosófica latino-americana, possibilitou a compreensão do pensamento indígena e da ambigüidade do “ser” europeu e do “estar” americano, presente nas aldeias e fora delas também. A pesquisa mostra que há nos preceitos educacionais da cosmologia Guarani um admirável mundo a ser desvendado, em que os significados de cada gesto, de cada ação mostram a integridade de um povo que sobrevive e se recria e a escola na aldeia poderá se inserir nesse universo e dialogar com todos os princípios que compõem a educação tradicional e a cosmologia Guarani.