Copper ore type definition from Sossego Mine using X-ray diffraction and cluster analysis technique

This paper presents the classification of 110 copper ore samples from Sossego Mine, based on X-ray diffraction and cluster analysis. The comparison based on the position and the intensity of the diffracted peaks allowed the distinction of seven ore types, whose differences refer to the proportion of major minerals: quartz, feldspar, actinolite, iron oxides, mica and chlorite. There was a strong correlation between the grouping and the location of the samples in Sequeirinho and Sossego orebodies. This relationship is due to different types and intensities of hydrothermal alteration prevailing in each body, which reflect the mineralogical composition and thus the X-ray diffractograms of samples.

The expanded spectrum of neuromyelitis optica - evidences for a new definition

Neuromyelitis optica (NMO) has been traditionally described as the association of recurrent or bilateral optic neuritis and longitudinally extensive transverse myelitis (LETM). Identification of aquaporin-4 antibody (AQP4-IgG) has deeply changed the concept of NMO. A spectrum of NMO disorders (NMOSD) has been formulated comprising conditions which include both AQP4-IgG seropositivity and one of the index events of the disease (recurrent or bilateral optic neuritis and LETM). Most NMO patients harbor asymptomatic brain MRI lesions, some of them considered as typical of NMO. Some patients with aquaporin-4 autoimmunity present brainstem, hypothalamic or encephalopathy symptoms either preceding an index event or occurring isolatedly with no evidence of optic nerve or spinal involvement. On the opposite way, other patients have optic neuritis or LETM in association with typical lesions of NMO on brain MRI and yet are AQP4-IgG seronegative. An expanded spectrum of NMO disorders is proposed to include these cases.

Integrating on-line process control and imperfect corrective maintenance: An economical design

Existing studies of on-line process control are concerned with economic aspects, and the parameters of the processes are optimized with respect to the average cost per item produced. However, an equally important dimension is the adoption of an efficient maintenance policy. In most cases, only the frequency of the corrective adjustment is evaluated because it is assumed that the equipment becomes "as good as new" after corrective maintenance. For this condition to be met, a sophisticated and detailed corrective adjustment system needs to be employed. The aim of this paper is to propose an integrated economic model incorporating the following two dimensions: on-line process control and a corrective maintenance program. Both performances are objects of an average cost per item minimization. Adjustments are based on the location of the measurement of a quality characteristic of interest in a three decision zone. Numerical examples are illustrated in the proposal. (c) 2012 Elsevier B.V. All rights reserved.

Mutations in CTC1, encoding conserved telomere maintenance component 1, cause Coats plus

Coats plus is a highly pleiotropic disorder particularly affecting the eye, brain, bone and gastrointestinal tract. Here, we show that Coats plus results from mutations in CTC1, encoding conserved telomere maintenance component 1, a member of the mammalian homolog of the yeast heterotrimeric CST telomeric capping complex. Consistent with the observation of shortened telomeres in an Arabidopsis CTC1 mutant and the phenotypic overlap of Coats plus with the telomeric maintenance disorders comprising dyskeratosis congenita, we observed shortened telomeres in three individuals with Coats plus and an increase in spontaneous gamma H2AX-positive cells in cell lines derived from two affected individuals. CTC1 is also a subunit of the alpha-accessory factor (AAF) complex, stimulating the activity of DNA polymerase-alpha primase, the only enzyme known to initiate DNA replication in eukaryotic cells. Thus, CTC1 may have a function in DNA metabolism that is necessary for but not specific to telomeric integrity.

Systematic position of the monotypic Azorean genus Falbouria Dyte with notes on the definition of Chrysotus Meigen (Diptera: Dolichopodidae)

The systematic position and the generic status of the monotypic genus Falbouria Dyte (Dolichopodidae: Diaphorinae) are evaluated. The type-species of the genus, F. acorensis (Parent), endemic to the Azores, is re-described, and hypopygial and oviscapt morphology illustrated in detail for the first time. Falbouria is kept as a separate genus, but close to Chrysotus Meigen, which is certainly paraphyletic (or even polyphyletic) in its present composition. A brief discussion on the delimitation of Chrysotus is provided and its laesus-group of species is suggested as the core clade of the genus.

Developing a provisional definition of flare in patients with established gout

Objective Various nonvalidated criteria for disease flare have been used in studies of gout. Our objective was to develop empirical definitions for a gout flare from patient-reported features. Methods Possible elements for flare criteria were previously reported. Data were collected from 210 gout patients at 8 international sites to evaluate potential gout flare criteria against the gold standard of an expert rheumatologist definition. Flare definitions based on the presence of the number of criteria independently associated with the flare and classification and regression tree approaches were developed. Results The mean +/- SD age of the study participants was 56.2 +/- 15 years, 207 of them (98%) were men, and 54 of them (26%) had flares of gout. The presence of any patient-reported warm joint, any patient-reported swollen joint, patient-reported pain at rest score of >3 (010 scale), and patient-reported flare were independently associated with the study gold standard. The greatest discriminating power was noted for the presence of 3 or more of the above 4 criteria (sensitivity 91% and specificity 82%). Requiring all 4 criteria provided the highest specificity (96%) and positive predictive value (85%). A classification tree identified pain at rest with a score of >3, followed by patient self-reported flare, as the rule associated with the gold standard (sensitivity 83% and specificity 90%). Conclusion We propose definitions for a disease flare based on self-reported items in patients previously diagnosed as having gout. Patient-reported flare, joint pain at rest, warm joints, and swollen joints were most strongly associated with presence of a gout flare. These provisional definitions will next be validated in clinical trials.

The expanded spectrum of neuromyelitis optica: evidences for a new definition

Neuromyelitis optica (NMO) has been traditionally described as the association of recurrent or bilateral optic neuritis and longitudinally extensive transverse myelitis (LETM). Identification of aquaporin-4 antibody (AQP4-IgG) has deeply changed the concept of NMO. A spectrum of NMO disorders (NMOSD) has been formulated comprising conditions which include both AQP4-IgG seropositivity and one of the index events of the disease (recurrent or bilateral optic neuritis and LETM). Most NMO patients harbor asymptomatic brain MRI lesions, some of them considered as typical of NMO. Some patients with aquaporin-4 autoimmunity present brainstem, hypothalamic or encephalopathy symptoms either preceding an index event or occurring isolatedly with no evidence of optic nerve or spinal involvement. On the opposite way, other patients have optic neuritis or LETM in association with typical lesions of NMO on brain MRI and yet are AQP4-IgG seronegative. An expanded spectrum of NMO disorders is proposed to include these cases.

Model-based reuse for crosscutting frameworks: assessing reuse and maintenance effort

Abstract Background Over the last years, a number of researchers have investigated how to improve the reuse of crosscutting concerns. New possibilities have emerged with the advent of aspect-oriented programming, and many frameworks were designed considering the abstractions provided by this new paradigm. We call this type of framework Crosscutting Frameworks (CF), as it usually encapsulates a generic and abstract design of one crosscutting concern. However, most of the proposed CFs employ white-box strategies in their reuse process, requiring two mainly technical skills: (i) knowing syntax details of the programming language employed to build the framework and (ii) being aware of the architectural details of the CF and its internal nomenclature. Also, another problem is that the reuse process can only be initiated as soon as the development process reaches the implementation phase, preventing it from starting earlier. Method In order to solve these problems, we present in this paper a model-based approach for reusing CFs which shields application engineers from technical details, letting him/her concentrate on what the framework really needs from the application under development. To support our approach, two models are proposed: the Reuse Requirements Model (RRM) and the Reuse Model (RM). The former must be used to describe the framework structure and the later is in charge of supporting the reuse process. As soon as the application engineer has filled in the RM, the reuse code can be automatically generated. Results We also present here the result of two comparative experiments using two versions of a Persistence CF: the original one, whose reuse process is based on writing code, and the new one, which is model-based. The first experiment evaluated the productivity during the reuse process, and the second one evaluated the effort of maintaining applications developed with both CF versions. The results show the improvement of 97% in the productivity; however little difference was perceived regarding the effort for maintaining the required application. Conclusion By using the approach herein presented, it was possible to conclude the following: (i) it is possible to automate the instantiation of CFs, and (ii) the productivity of developers are improved as long as they use a model-based instantiation approach.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Implementazione di un sistema ERP. Il caso RIBA Composites.

Riba Composites, azienda specializzata nella lavorazione della fibra di materiali compositi avanzati, si trova in una vantaggiosa situazione di sviluppo e ampliamento del proprio raggio d’azione, e dove le informazioni da gestire sono sempre più numerose. E’ quindi risultato necessario un supporto informativo che gestisca le informazioni. Dal punto di vista produttivo, l’introduzione del sistema informativo ha l’obiettivo di rispondere alle problematiche legate alla gestione dei materiali, sia a livello di materie prime, che di semilavorati e prodotti finiti in modo tale da gestirli con efficienza ed evitando le rotture di stock. L’obiettivo di fondo che Riba vuole perseguire é di crescere e svilupparsi in logica di lean production che, nell’ottica della gestione dei magazzini significa “approvvigionare i materiali solamente nel momento in cui si manifesta un fabbisogno”. Quest’approccio abbandona la attuale logica di pianificazione “a spinta” (push) che prevedeva la programmazione degli approvvigionamenti e la produzione di semilavorati e prodotti finiti attraverso previsioni basate sull’analisi di dati storici o di mercato, e non attraverso gli ordini effettivamente acquisiti su cui si basa la logica di produzione “snella” (pull). L’implementazione di un sistema ERP ha richiesto un’analisi approfondita dell’azienda in cui si opera così come del prodotto finito e del processo produttivo, a tal punto da poter riconoscere le esigenze e le necessità a cui dovrà rispondere il sistema informativo. A questa fase di analisi e raccolta dati segue un momento di assestamento del sistema informativo, in cui solo una parte di articoli viene gestita dal sistema per poter procedere contemporaneamente con la graduale formazione del personale. La durata del progetto in questione è stata stimata di circa 20 mesi, tempo necessario per poter adattare il sistema e le diverse personalizzazioni ad un processo così complesso come la lavorazione della fibra di carbonio. Termine previsto Agosto 2010