MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

A computer-controlled color vision test for children based on the Cambridge Colour Test

The present study aimed at providing conditions for the assessment of color discrimination in children using a modified version of the Cambridge Colour Test (CCT, Cambridge Research Systems Ltd., Rochester, UK). Since the task of indicating the gap of the Landolt C used in that test proved counterintuitive and/or difficult for young children to understand, we changed the target Stimulus to a patch of color approximately the size of the Landolt C gap (about 7 degrees Of Visual angle at 50 cm from the monitor). The modifications were performed for the CCT Trivector test which measures color discrimination for the protan, deutan and tritan confusion lines. Experiment I Sought to evaluate the correspondence between the CCT and the child-friendly adaptation with adult subjects (n = 29) with normal color vision. Results showed good agreement between the two test versions. Experiment 2 tested the child-friendly software with children 2 to 7 years old (n = 25) using operant training techniques for establishing and maintaining the subjects` performance. Color discrimination thresholds were progressively lower as age increased within the age range tested (2 to 30 years old), and the data-including those obtained for children-fell within the range of thresholds previously obtained for adults with the CCT. The protan and deutan thresholds were consistently lower than tritan thresholds, a pattern repeatedly observed in adults tested with the CCT. The results demonstrate that the test is fit for assessment of color discrimination in young children and may be a useful tool for the establishment of color vision thresholds during development.

Plasticity of stomatal distribution pattern and stem tracheid dimensions in Podocarpus lambertii: an ecological study

Leaf and wood plasticity are key elements in the survival of widely distributed plant species. Little is known, however, about variation in stomatal distribution in the leaf epidermis and its correlation with the dimensions of conducting cells in wood. This study aimed at testing the hypothesis that Podocarpus lambertii, a conifer tree, possesses a well-defined pattern of stomatal distribution, and that this pattern can vary together with the dimensions of stem tracheids as a possible strategy to survive in climatically different sites. Leaves and wood were sampled from trees growing in a cold, wet site in south-eastern Brazil and in a warm, dry site in north-eastern Brazil. Stomata were thoroughly mapped in leaves from each study site to determine a spatial sampling strategy. Stomatal density, stomatal index and guard cell length were then sampled in three regions of the leaf: near the midrib, near the leaf margin and in between the two. This sampling strategy was used to test for a pattern and its possible variation between study sites. Wood and stomata data were analysed together via principal component analysis. The following distribution pattern was found in the south-eastern leaves: the stomatal index was up to 25 higher in the central leaf region, between the midrib and the leaf margin, than in the adjacent regions. The inverse pattern was found in the north-eastern leaves, in which the stomatal index was 10 higher near the midrib and the leaf margin. This change in pattern was accompanied by smaller tracheid lumen diameter and length. Podocarpus lambertii individuals in sites with higher temperature and lower water availability jointly regulate stomatal distribution in leaves and tracheid dimensions in wood. The observed stomatal distribution pattern and variation appear to be closely related to the placement of conducting tissue in the mesophyll.

Automatic aspect discrimination in data clustering

The attributes describing a data set may often be arranged in meaningful subsets, each of which corresponds to a different aspect of the data. An unsupervised algorithm (SCAD) that simultaneously performs fuzzy clustering and aspects weighting was proposed in the literature. However, SCAD may fail and halt given certain conditions. To fix this problem, its steps are modified and then reordered to reduce the number of parameters required to be set by the user. In this paper we prove that each step of the resulting algorithm, named ASCAD, globally minimizes its cost-function with respect to the argument being optimized. The asymptotic analysis of ASCAD leads to a time complexity which is the same as that of fuzzy c-means. A hard version of the algorithm and a novel validity criterion that considers aspect weights in order to estimate the number of clusters are also described. The proposed method is assessed over several artificial and real data sets.

Using the Hard, Randy, and Rittler Test to Evaluate Color Vision in Capuchins (Cebus libidinosus)

The identification of color vision types in primates is fundamental to understanding the evolution and biological function of color perception. The Hard, Randy, and Rittler (HRR) pseudoisochromatic test categorizes human color vision types successfully. Here we provide an experimental setup to employ HRR in a nonhuman primate, the capuchin (Cebus libidinosus), a platyrrhine with polymorphic color vision. The HRR test consists of plates with a matrix composed of gray circles that vary in size and brightness. Differently colored circles form a geometric shape (X, O, or Delta) that is discriminated visually from the gray background pattern. The ability to identify these shapes determines the type of dyschromatopsy (deficiency in color vision). We tested six capuchins in their own cages under natural sunlight. The subjects chose between two HRR plates in each trial: one with the gray pattern only and the other with a colored shape, presented on the left or right side at random. We presented the test 40 times and calculated the 95 % confidence limits for chance performance based on the binomial test. We also genotyped all subjects for exons 3 and 5 of the X-linked opsin genes. The HRR test diagnosed two subjects as protan dichromats (missing or defective L-cone), three as deutan dichromats (missing or defective M-cone), and one female as trichromat. Genetic analysis supported the behavioral data for all subjects. These findings show that the HRR test can be applied to diagnose color vision in nonhuman primates.

Transcription profiling of Prss16 (Tssp) can be used to find additional peptidase genes that are candidates for self-peptide generation in the thymus

Positive selection (PS) in the thymus involves the presentation of self-peptides that are bound to MHC class II on the surface of cortical thymus epithelial cells (cTECs). Prss16 gene corresponds to one important element regulating the PS of CD4(+) T lymphocytes, which encodes Thymus-specific serine protease (Tssp), a cTEC serine-type peptidase involved in the proteolytic generation of self-peptides. Nevertheless, additional peptidase genes participating in the generation of self-peptides need to be found. Because of its role in the mechanism of PS and its expression in cTECs, the Prss16 gene might be used as a transcriptional marker to identify new genes that share the same expression profile and that encode peptidases in the thymus. To test this hypothesis, we compared the differential thymic expression of 4,500 mRNAs of wild-type (WT) C57BL/6 mice with their respective Prss16-knockout (KO) mutants by using microarrays. From these, 223 genes were differentially expressed, of which 115 had known molecular/biological functions. Four endopeptidase genes (Casp1, Casp2, Psmb3 and Tpp2) share the same expression profile as the Prss16 gene; i.e., induced in WT and repressed in KO while one endopeptidase gene, Capns1, features opposite expression profile. The Tpp2 gene is highlighted because it encodes a serine-type endopeptidase functionally similar to the Tssp enzyme. Profiling of the KO mice featured down-regulation of Prss16, as expected, along with the genes mentioned above. Considering that the Prss16-KO mice featured impaired PS, the shared regulation of the four endopeptidase genes suggested their participation in the mechanism of self-peptide generation and PS.

Divide to conquer: a complex pattern of biodiversity depicted by vertebrate components in the Brazilian Atlantic Forest

The identification of northern and southern components in different vertebrate species led researchers to accept a two-component hypothesis for the Brazilian Atlantic forest (BAF). Nevertheless, neither a formal proposal nor a meta-analysis to confirm this coincidence was ever made. Our main objective here was therefore to systematically test in how many vertebrate components the BAF could be divided by analysing existing empirical data. We used two approaches: (1) mapping and comparing the proposed areas of vertebrate endemism in the BAF and (2) analysing studies mentioning spatial subdivisions in distinct forest-dependent vertebrates within the biome, by the use of panbiogeography. The four large-scale endemism area components together with the six small-scale panbiogeographical ones allowed the definition of three BAF greater regions, subdivided into nine vertebrate components, latitudinally and longitudinally organized. Empirical time estimates of the diversification events within the BAF were also reviewed. Diversification of these vertebrates occurred not only in the Pleistocene but also throughout the Miocene. Our results confirm the BAF's complex history, both in space and time. We propose that future research should be small-scale and focused in the vertebrate components identified herein. Given the BAF's heterogeneity, studying via sections will be much more useful in identifying the BAF's historical biogeography. (c) 2012 The Linnean Society of London, Biological Journal of the Linnean Society, 2012, 107, 39-55.

A model of road effect using line integrals and a test of the performance of two new road indices using the distribution of small mammals in an Atlantic Forest landscape

Effects of roads on wildlife and its habitat have been measured using metrics, such as the nearest road distance, road density, and effective mesh size. In this work we introduce two new indices: (1) Integral Road Effect (IRE), which measured the sum effects of points in a road at a fixed point in the forest; and (2) Average Value of the Infinitesimal Road Effect (AVIRE), which measured the average of the effects of roads at this point. IRE is formally defined as the line integral of a special function (the infinitesimal road effect) along the curves that model the roads, whereas AVIRE is the quotient of IRE by the length of the roads. Combining tools of ArcGIS software with a numerical algorithm, we calculated these and other road and habitat cover indices in a sample of points in a human-modified landscape in the Brazilian Atlantic Forest, where data on the abundance of two groups of small mammals (forest specialists and habitat generalists) were collected in the field. We then compared through the Akaike Information Criterion (AIC) a set of candidate regression models to explain the variation in small mammal abundance, including models with our two new road indices (AVIRE and IRE) or models with other road effect indices (nearest road distance, mesh size, and road density), and reference models (containing only habitat indices, or only the intercept without the effect of any variable). Compared to other road effect indices, AVIRE showed the best performance to explain abundance of forest specialist species, whereas the nearest road distance obtained the best performance to generalist species. AVIRE and habitat together were included in the best model for both small mammal groups, that is, higher abundance of specialist and generalist small mammals occurred where there is lower average road effect (less AVIRE) and more habitat. Moreover, AVIRE was not significantly correlated with habitat cover of specialists and generalists differing from the other road effect indices, except mesh size, which allows for separating the effect of roads from the effect of habitat on small mammal communities. We suggest that the proposed indices and GIS procedures could also be useful to describe other spatial ecological phenomena, such as edge effect in habitat fragments. (C) 2012 Elsevier B.V. All rights reserved.

IMPROVEMENT TO THE MARGINAL COPING FIT OF COMMERCIALLY PURE TITANIUM CAST IN PHOSPHATE-BONDED INVESTMENT BY USING A SIMPLE PATTERN COATING TECHNIQUE

Statement of problem. Coatings of zirconite, Y2O3 or ZrO2 on wax patterns before investing in phosphate-bonded investments have been recommended to reduce the reaction layer in titanium castings, but they are not easily obtainable. Spinel-based investments are relatively stable with molten titanium and could be used as coatings to improve the quality of castings made with those investments. Purpose. The purpose of this study was to evaluate the effect of pattern coating with a commercial spinel-based investment before investing in 1 of 3 phosphate-bonded investments on the marginal coping fit and surface roughness of commercially pure titanium castings. Material and methods. Ten square acrylic resin patterns (12 x 12 x 2 mm) per group were invested in the phosphate-bonded investments Rematitan Plus (RP), Rema Exakt (RE), and Castorit Super C (CA) with or without a coating of the spinel-based investment, Rematitan Ultra (RU). After casting, the specimens were cleaned and the surface roughness was measured with a profilometer. Copings for dental implants with conical abutment were invested, eliminated, and cast as previously described. The copings were cleaned and misfit was measured with a profile projector (n=10). For both tests, the difference between the mean value of RU only and each value of the phosphate-bonded investment was calculated, and the data were analyzed by 2-way ANOVA and Tukey's HSD test (alpha=.05). In addition, the investment roughness was measured in bar specimens (30 x 10 x 10 mm), and the data (n=10) were analyzed by 1-way ANOVA and Tukey's HSD post hoc test (alpha=.05). Results. Two-way ANOVA for casting surface roughness was significant because of the investment, the coating technique, and the interaction between variables. One-way ANOVA was performed to prove the interaction term, and Tukey's post hoc test showed that RP with coating had the lowest mean, while RP had the highest. CA with coating was not different from RP with coating or CA without coating. RE with coating was similar to CA, while RE was different from all groups. For coping marginal fit, the 2-way ANOVA was significant for the investment, the coating technique, and the interaction between variables. The interaction was analyzed by1-way ANOVA and Tukey's HSD test that showed no significant difference among the coated groups, which had better marginal fit than the groups without coating. Among the groups without coating, CA had significant lower marginal misfit than RP, while RE was not different from CA and RP. For the investment surface roughness, the 1-way ANOVA was significant. CA and RU were smoother than RE and RP (P<.001). Conclusions. The coating technique improved the quality of castings fabricated with phosphate-bonded investments. (J Prosthet Dent 2012;108:51-57)

Maternal Melatonin Programs the Daily Pattern of Energy Metabolism in Adult Offspring

Background: Shift work was recently described as a factor that increases the risk of Type 2 diabetes mellitus. In addition, rats born to mothers subjected to a phase shift throughout pregnancy are glucose intolerant. However, the mechanism by which a phase shift transmits metabolic information to the offspring has not been determined. Among several endocrine secretions, phase shifts in the light/dark cycle were described as altering the circadian profile of melatonin production by the pineal gland. The present study addresses the importance of maternal melatonin for the metabolic programming of the offspring. Methodology/Principal Findings: Female Wistar rats were submitted to SHAM surgery or pinealectomy (PINX). The PINX rats were divided into two groups and received either melatonin (PM) or vehicle. The SHAM, the PINX vehicle and the PM females were housed with male Wistar rats. Rats were allowed to mate and after weaning, the male and female offspring were subjected to a glucose tolerance test (GTT), a pyruvate tolerance test (PTT) and an insulin tolerance test (ITT). Pancreatic islets were isolated for insulin secretion, and insulin signaling was assessed in the liver and in the skeletal muscle by western blots. We found that male and female rats born to PINX mothers display glucose intolerance at the end of the light phase of the light/dark cycle, but not at the beginning. We further demonstrate that impaired glucose-stimulated insulin secretion and hepatic insulin resistance are mechanisms that may contribute to glucose intolerance in the offspring of PINX mothers. The metabolic programming described here occurs due to an absence of maternal melatonin because the offspring born to PINX mothers treated with melatonin were not glucose intolerant. Conclusions/Significance: The present results support the novel concept that maternal melatonin is responsible for the programming of the daily pattern of energy metabolism in their offspring.

On reducing test length for FSMs with extra states

A long-standing problem when testing from a deterministic finite state machine is to guarantee full fault coverage even if the faults introduce extra states in the implementations. It is well known that such tests should include the sequences in a traversal set which contains all input sequences of length defined by the number of extra states. This paper suggests the SPY method, which helps reduce the length of tests by distributing sequences of the traversal set and reducing test branching. It is also demonstrated that an additional assumption about the implementation under test relaxes the requirement of the complete traversal set. The results of the experimental comparison of the proposed method with an existing method indicate that the resulting reduction can reach 40%. Experimental results suggest that the additional assumption about the implementation can help in further reducing the test suite length. Copyright (C) 2011 John Wiley & Sons, Ltd.

Development of a high sensitive automatic setup for screening of microcystins in surface waters by employing a LED-based photometric detector

In this manuscript, an automatic setup for screening of microcystins in surface waters by employing photometric detection is described. Microcystins are toxins delivered by cyanobacteria within an aquatic environment, which have been considered strongly poisonous for humans. For that reason, the World Health Organization (WHO) has proposed a provisional guideline value for drinking water of 1 mu g L-1. In this work, we developed an automated equipment setup, which allows the screening of water for concentration of microcystins below 0.1 mu g V. The photometric method was based on the enzyme-linked immunosorbent assay (ELISA) and the analytical signal was monitored at 458 nm using a homemade LED-based photometer. The proposed system was employed for the detection of microcystins in rivers and lakes waters. Accuracy was assessed by processing samples using a reference method and applying the paired t-test between results. No significant difference at the 95% confidence level was observed. Other useful features including a linear response ranging from 0.05 up to 2.00 mu g L-1 (R-2 =0.999) and a detection limit of 0.03 mu g L-1 microcystins were achieved. (C) 2011 Elsevier B.V. All rights reserved.

Infiltration of a mixture of immune cells may be related to good prognosis in patients with differentiated thyroid carcinoma

Objective Immune responses against differentiated thyroid carcinomas (DTC) have long been recognized. We aimed to investigate the role of immune cell infiltration in the progression of DTC. Design We studied 398 patients 253 with papillary and 13 with follicular thyroid cancers, as well as 132 with nonmalignant tissues. Patients and measurements Immune cell infiltration was identified using CD3, CD4, CD8, CD20, CD68 and FoxP3 immunohistochemical markers. In addition, we assessed colocalization of CD4 and IL-17 to identify Th17 lymphocytic infiltration and colocalization of CD33 and CD11b to identify infiltration of myeloid-derived suppressor cells (MDSC). Results Immune cells infiltrated malignant tissues more often than benign lesions. The presence of chronic lymphocytic thyroiditis (CLT) concurrent to DTC, CD68+, CD4+, CD8+, CD20+, FoxP3+ and Th17 lymphocytes but not MDSCs was associated with clinical and pathological features of lower tumour aggressiveness and a more favourable patient outcome. A log-rank test confirmed an association between concurrent CLT, tumour-associated macrophage infiltration, and CD8+ lymphocytes and an increased in disease-free survival, suggesting that evidence of these immune reactions is associated with a favourable prognosis. Conclusion Our data suggest that the tumour or peri-tumoural microenvironment may act to modify the observed pattern of immune response. Immune cell infiltration and the presence of concurrent CLT helped characterize specific tumour histotypes associated with favourable prognostic features.

From Amazonia to the Atlantic forest: Molecular phylogeny of Phyzelaphryninae frogs reveals unexpected diversity and a striking biogeographic pattern emphasizing conservation challenges

Documenting the Neotropical amphibian diversity has become a major challenge facing the threat of global climate change and the pace of environmental alteration. Recent molecular phylogenetic studies have revealed that the actual number of species in South American tropical forests is largely underestimated, but also that many lineages are millions of years old. The genera Phyzelaphryne (1 sp.) and Adelophryne (6 spp.), which compose the subfamily Phyzelaphryninae, include poorly documented, secretive, and minute frogs with an unusual distribution pattern that encompasses the biotic disjunction between Amazonia and the Atlantic forest. We generated >5.8 kb sequence data from six markers for all seven nominal species of the subfamily as well as for newly discovered populations in order to (1) test the monophyly of Phyzelaphryninae, Adelophryne and Phyzelaphryne, (2) estimate species diversity within the subfamily, and (3) investigate their historical biogeography and diversification. Phylogenetic reconstruction confirmed the monophyly of each group and revealed deep subdivisions within Adelophryne and Phyzelaphryne, with three major clades in Adelophryne located in northern Amazonia, northern Atlantic forest and southern Atlantic forest. Our results suggest that the actual number of species in Phyzelaphryninae is, at least, twice the currently recognized species diversity, with almost every geographically isolated population representing an anciently divergent candidate species. Such results highlight the challenges for conservation, especially in the northern Atlantic forest where it is still degraded at a fast pace. Molecular dating revealed that Phyzelaphryninae originated in Amazonia and dispersed during early Miocene to the Atlantic forest. The two Atlantic forest clades of Adelophryne started to diversify some 7 Ma minimum, while the northern Amazonian Adelophryne diversified much earlier, some 13 Ma minimum. This striking biogeographic pattern coincides with major events that have shaped the face of the South American continent, as we know it today. (C) 2012 Elsevier Inc. All rights reserved.