A tool for a formal pattern modeling language

This paper presents a formal but practical approach for defining and using design patterns. Initially we formalize the concepts commonly used in defining design patterns using Object-Z. We also formalize consistency constraints that must be satisfied when a pattern is deployed in a design model. Then we implement the pattern modeling language and its consistency constraints using an existing modeling framework, EMF, and incorporate the implementation as plug-ins to the Eclipse modeling environment. While the language is defined formally in terms of Object-Z definitions, the language is implemented in a practical environment. Using the plug-ins, users can develop precise pattern descriptions without knowing the underlying formalism, and can use the tool to check the validity of the pattern descriptions and pattern usage in design models. In this work, formalism brings precision to the pattern language definition and its implementation brings practicability to our pattern-based modeling approach.

Typing less common ovarian tumors: A training tool based on a pattern-based algorithm applied to a set of 20 virtual slides.

Context: Ovarian tumors (OT) typing is a competency expected from pathologists, with significant clinical implications. OT however come in numerous different types, some rather rare, with the consequence of few opportunities for practice in some departments. Aim: Our aim was to design a tool for pathologists to train in less common OT typing. Method and Results: Representative slides of 20 less common OT were scanned (Nano Zoomer Digital Hamamatsu®) and the diagnostic algorithm proposed by Young and Scully applied to each case (Young RH and Scully RE, Seminars in Diagnostic Pathology 2001, 18: 161-235) to include: recognition of morphological pattern(s); shortlisting of differential diagnosis; proposition of relevant immunohistochemical markers. The next steps of this project will be: evaluation of the tool in several post-graduate training centers in Europe and Québec; improvement of its design based on evaluation results; diffusion to a larger public. Discussion: In clinical medicine, solving many cases is recognized as of utmost importance for a novice to become an expert. This project relies on the virtual slides technology to provide pathologists with a learning tool aimed at increasing their skills in OT typing. After due evaluation, this model might be extended to other uncommon tumors.

Modeling and simulating a mathematical tool for multi-robot pattern transformation

The work reported in this paper is motivated by the need to investigate general methods for pattern transformation. A formal definition for pattern transformation is provided and four special cases namely, elementary and geometric transformation based on repositioning all and some agents in the pattern are introduced. The need for a mathematical tool and simulations for visualizing the behavior of a transformation method is highlighted. A mathematical method based on the Moebius transformation is proposed. The transformation method involves discretization of events for planning paths of individual robots in a pattern. Simulations on a particle physics simulator are used to validate the feasibility of the proposed method.

Modeling and simulating a mathematical tool for multi-robot pattern transformation

The work reported in this paper is motivated by the need to investigate general methods for pattern transformation. A formal definition for pattern transformation is provided and four special cases namely, elementary and geometric transformation based on repositioning all and some agents in the pattern are introduced. The need for a mathematical tool and simulations for visualizing the behavior of a transformation method is highlighted. A mathematical method based on the Moebius transformation is proposed. The transformation method involves discretization of events for planning paths of individual robots in a pattern. Simulations on a particle physics simulator are used to validate the feasibility of the proposed method.

Headspace solid-phase microextraction combined with mass spectrometry as a powerful analytical tool for profiling the terpenoid metabolomic pattern of hop-essential oil derived from Saaz variety

Hop(HumuluslupulusL.,Cannabaceaefamily)isprizedforitsessentialoilcontents,usedin beer production and, more recently, in biological and pharmacological applications. In this work,a methodinvolvingheadspace solid-phase microextractionand gas chromatography– mass spectrometry was developed and optimized to establish the terpenoid (monoterpenes and sesquiterpenes) metabolomic pattern of hop-essential oil derived from Saaz variety as a mean to explore this matrix as a powerful biological source for newer, more selective, biodegradable and naturally produced antimicrobial and antioxidant compounds. Different parameters affecting terpenoid metabolites extraction by headspace solid-phase microextraction were considered and optimized: type of fiber coatings, extraction temperature, extraction time, ionic strength, and sample agitation. In the optimized method, analytes were extracted for 30 min at 40 C in the sample headspace with a 50/30 m divinylbenzene/carboxen/polydimethylsiloxane coating fiber. The methodology allowed the identification of a total of 27 terpenoid metabolites, representing 92.5% of the total Saaz hop-essential oil volatile terpenoid composition. The headspace composition was dominated by monoterpenes (56.1%, 13 compounds), sesquiterpenes (34.9%, 10), oxygenated monoterpenes (1.41%, 3), and hemiterpenes (0.04%, 1) some of which can probably contribute to the hop of Saaz variety aroma. Mass spectrometry analysis revealed that the main metabolites are the monoterpene -myrcene (53.0±1.1% of the total volatile fraction), and the cyclic sesquiterpenes, -humulene (16.6 ± 0.8%), and -caryophyllene (14.7 ± 0.4%), which together represent about 80% of the total volatile fraction from the hop-essential oil. Thesefindingssuggestthatthismatrixcanbeexploredasapowerfulbiosourceofterpenoid metabolites.

Expression pattern of claudins 1 and 3-an auxiliary tool in predicting behavior of mucoepidermoid carcinoma of salivary gland origin

Claudins (CLDNs) are a family of membrane proteins important for permeability of tight junctions. They have also been implicated in carcinogenesis and tumor progression. We analyzed patterns of distribution and intensity of expression of CLDNs 1, 3, 4, and 7 in mucoepidermoid carcinoma (MEC) of salivary gland in 39 patients. Correlations between the expression of CLDNs, tumor grade, and survival were explored. In immunohistochemical analysis, high expression of CLDN 1 was seen in low-grade MEC, and it appeared to be a suitable auxiliary marker of good prognosis. It classified MEC similarly to histological grading in 89.7% of cases (p=0.001). High CLDN 3 expression was seen in intermediate-and high-grade MEC, while it was low in low-grade MEC. CLDN 3 intensity correctly categorized tumors into grades in 71.8% of cases (p=0.017). However, in multivariate analysis CLDN 1 and CLDN 3 did not achieve significance over tumor grade in predicting patient behavior. We conclude that analysis of staining intensities of CLDN 1 and 3 is useful as an auxiliary diagnostic and prognostic tool in patients with salivary gland MEC.

Cyclopedia of mechanical engineering : a general reference work on machine shop practice, tool making, forging, pattern making, foundry, work, metallurgy, steam boilers and engines, gas producers, gas engines, automobiles, elevators, refrigeration, sheet metal work, mechanical drawing, machine design, etc;

Mode of access: Internet.

Vascular Pattern In Enchondroma And Chondrosarcoma: Clinical And Immunohistologic Study.

Although cartilaginous tumors have low microvascular density, vessels are important for the provision of nutrition so that the tumor can grow and generate metastasis. The aim of this study was to assess the value of the vascular pattern classification as a prognostic tool in chondrosarcomas (CSs) and its relation with vascular endothelial growth factor (VEGF) expression. This was a retrospective study of 21 enchondromas and 57 conventional CSs. Clinical data and outcome were retrieved from medical files. CSs histologic grades (on a scale of 1 to 3) were determined according to the World Health Organization classification. The vascular pattern (on a scale of A to C) was assessed through CD34, according to Kalinski. CD105 and VEGF were also evaluated. Poor outcome was significantly associated with vascular pattern groups B and C. Higher vascular pattern were 6.5 times more frequent in moderate-grade and high-grade CSs than in grade 1 CS. On multivariate analysis, a clear correlation was found between VEGF overexpression and B/C vascular patterns. Only 18 (benign and malignant) tumors stained for CD105. The results point to the use of the vascular pattern classification as a prognostic tool in CSs and to differentiate low-grade from moderate-grade/high-grade CSs. Vascular pattern might be also used to complement histologic grade, VEGF immunostaining, and microvascular density, for indicating a patient's prognosis. Low-grade CSs develop under low neoangiogenesis, which conforms to the slow growth rate of these tumors.

Spatial pattern detection modeling of thrips (Thrips tabaci) on onion fields

Onion (Allium cepa) is one of the most cultivated and consumed vegetables in Brazil and its importance is due to the large laborforce involved. One of the main pests that affect this crop is the Onion Thrips (Thrips tabaci), but the spatial distribution of this insect, although important, has not been considered in crop management recommendations, experimental planning or sampling procedures. Our purpose here is to consider statistical tools to detect and model spatial patterns of the occurrence of the onion thrips. In order to characterize the spatial distribution pattern of the Onion Thrips a survey was carried out to record the number of insects in each development phase on onion plant leaves, on different dates and sample locations, in four rural properties with neighboring farms under different infestation levels and planting methods. The Mantel randomization test proved to be a useful tool to test for spatial correlation which, when detected, was described by a mixed spatial Poisson model with a geostatistical random component and parameters allowing for a characterization of the spatial pattern, as well as the production of prediction maps of susceptibility to levels of infestation throughout the area.

Tool wear aspects when applying high-speed tapping on grey cast iron

Tool wear is a very important subject affecting the economics of machining, especially in tapping, since it is one of the last operations to be performed within most operation sequences. In the present study, some aspects of tapping such as the mechanisms and types of wear were investigated in taps working at conventional and high-speed cutting (HSC). Additionally, different types of coatings and cooling /lubrication conditions were used. The tapping operation (M8 x 1.25) was performed in through holes with two cutting speeds (30 and 60 m/min) in grey cast iron GG25. Lubrication conditions tested were dry and with minimal quantity of lubricant. Tap materials were manufactured by powder metallurgy and coated with (TiAl)N and with TiCN. A go-non-go gauge criterion was used to assess tool life. The wear and surface aspects of the tools and workpiece were evaluated by scanning electron microscopy and energy dissipation spectroscopy. Torque signals were also measured during the tests. The main wear mechanism observed was adhesion, although some abrasion and diffusion may also have occurred, and the main type of wear was flank wear. The adhesion of workpiece material on the tool was the main and decisive factor ending tool life. Tool coatings proved to be an efficient way to minimize adhesion. Torque signals followed the same pattern as the flank wear and no significant change was observed when the cutting speed was increased.

MHM assay: molecular sexing based on the sex-specific methylation pattern of the MHM region in chickens

Bird sex determination using molecular methods has proved to be a valuable tool in different studies. Although it is possible to sex most birds by coupling the CHD assay with others available methods, no sex-determining gene like SRY in mammalians has been identified in birds. The male hypermethylated (MHM) region on the Z chromosome has been found to be hypermethylated in males and hypomethylated in females in birds of the order Galliformes. We analyzed the DNA from feathers of 50 adult chickens to verify the methylation pattern of the MHM region by PCR and the restriction enzyme HpaII (a method named MHM assay). The results, visualized in agarose gel, were compared with PCR amplification of the CHD-Z and CHD-W genes (polyacrylamide gel) and with the birds` phenotype. All males (25) showed hypermethylation of the MHM region, and all females (25) showed hypomethylation. The sexing by MHM assay was in according with phenotype and CHD sexing. To our knowledge, this is the first study that uses the MHM region for sexing birds. Although the real role of the MHM region in the sex determination is still unclear, this could be a universal marker for sexing birds and may be involved in sex determination by its influence on transcriptional processes. The MHM assay could be a good alternative for CHD assay in developmental studies.

Dynamic Analysis and Pattern Visualization of Forest Fires

This paper analyses forest fires in the perspective of dynamical systems. Forest fires exhibit complex correlations in size, space and time, revealing features often present in complex systems, such as the absence of a characteristic length-scale, or the emergence of long range correlations and persistent memory. This study addresses a public domain forest fires catalogue, containing information of events for Portugal, during the period from 1980 up to 2012. The data is analysed in an annual basis, modelling the occurrences as sequences of Dirac impulses with amplitude proportional to the burnt area. First, we consider mutual information to correlate annual patterns. We use visualization trees, generated by hierarchical clustering algorithms, in order to compare and to extract relationships among the data. Second, we adopt the Multidimensional Scaling (MDS) visualization tool. MDS generates maps where each object corresponds to a point. Objects that are perceived to be similar to each other are placed on the map forming clusters. The results are analysed in order to extract relationships among the data and to identify forest fire patterns.