Modularization of model transformations through a phasing mechanism

In recent years a great effort has been devoted to understanding the nature of model transformations. As a result, several mechanisms to improve model transformation languages have been proposed. Phasing has been mentioned in some works as a rule scheduling or organization mechanism, but without any detail. In this paper, we present a phasing mechanism in the context of rule-based transformation languages. We explain the structure and the behavior of the mechanism, and how it can be integrated in a language. We also analyze how the mechanism promotes modularity, internal transformation composition and helps to solve usual transformation problems. Besides, we show several examples of application to illustrate the usefulness of the mechanism.     

Constrained domain maximum likelihood estimation for naive Bayes text classification

The naive Bayes assumption in text classification has the advantage of greatly simplifying maximum likelihood estimation of unknown class-conditional word occurrence probabilities. However, these estimates are usually modified by application of a heuristic parameter smoothing technique to avoid (over-fitted) null estimates. In this work, we advocate the reduction of the parameter domain instead of parameter smoothing. This leads to a constrained domain maximum likelihood estimation problem for which we provide an iterative algorithm that solves it optimally.     

A graphical formalism for mixed multi-unit combinatorial auctions

Mixed multi-unit combinatorial auctions are auctions that allow participants to bid for bundles of goods to buy, for bundles of goods to sell, and for transformations of goods. The intuitive meaning of a bid for a transformation is that the bidder is offering to produce a set of output goods after having received a set of input goods. To solve such an auction the auctioneer has to choose a set of bids to accept and decide on a sequence in which to implement the associated transformations. Mixed auctions can potentially be employed for the automated assembly of supply chains of agents. However, mixed auctions can be effectively applied only if we can also ensure their computational feasibility without jeopardising optimality. To this end, we propose a graphical formalism, based on Petri nets, that facilitates the compact represention of both the search space and the solutions associated with the winner determination problem for mixed auctions. This approach allows us to dramatically reduce the number of decision variables required for solving a broad class of mixed auction winner determination problems. An additional major benefit of our graphical formalism is that it provides new ways to formally analyse the structural and behavioural properties of mixed auctions.     

Control of two Electrical Plants

In this paper, a controller is recommended for the regulation of two electrical plants. Since electrical plants generate electricity all the time, the regulation to get that all the plant states reach constant behaviors is important. Two main characteristics of the introduced method are: (i) it is based in the separation of the plant model equations, only some model equations are chosen for the regulation while the other model equations are ignored, it avoids the difficulty in the consideration of the full plant model; (ii) the Lyapunov strategy is employed to analyze the stability of the selected model equations in the electrical plant, it lets to ensure the regulation purpose. The advised method is applied in a gas turbine and a wind turbine for the electricity generation.     

Contribution to the hydrothermal synthesis of zeolite beta and its modifications with gallium

The zeolite beta is a crystalline synthetic aluminosilicate with wide-pore size (6 to 9 Å) and a Si/Al ratio from 5 to 100. In this study, we have investigated the influence of several synthesis parameters on the physicochemical properties of the materials. The synthesis of zeolite beta has been performed by hydrothermal method, the aluminum source and gallium content in the structure being variable. The structural characterization was carried out by means of X-ray diffraction, SEM and ²⁷Al and ⁷¹Ga MAS NMR spectroscopy. When the aluminum sulfate is used as aluminium source, zeolite beta with higher crystallinity is generated. All the samples showed a XRD pattern similar to crystalline zeolite beta and the ²⁷Al and ⁷¹Ga MAS NMR spectrum demonstrated that the incorporation of both heteroatoms was efficient.     

Programming Grid Applications with GRID Superscalar

The aim of GRID superscalar is to reduce the development complexity of Grid applications to the minimum, in such a way that writing an application for a computational Grid may be as easy as writing a sequential application. Our assumption is that Grid applications would be in a lot of cases composed of tasks, most of them repetitive. The granularity of these tasks will be of the level of simulations or programs, and the data objects will be files. GRID superscalar allows application developers to write their application in a sequential fashion. The requirements to run that sequential application in a computational Grid are the specification of the interface of the tasks that should be run in the Grid, and, at some points, calls to the GRID superscalar interface functions and link with the run-time library.GRID superscalar provides an underlying run-time that is able to detect the inherent parallelism of the sequential application and performs concurrent task submission. In addition to a data-dependence analysis based on those input/output task parameters which are files, techniques such as file renaming and file locality are applied to increase the application performance. This paper presents the current GRID superscalar prototype based on Globus Toolkit 2.x, together with examples and performance evaluation of some benchmarks.     

The KPSS Test with Outliers

We investigate the effects of outliers on the KPSS tests. We find that for nonstationary series outliers induce spurious stationarity by lowering the power of these tests. The empirical size of these tests is also found to be sensitive to the location of the outlier. JEL classification: C15, C22 An erratum to this article can be found at     

V1 non-linear properties emerge from local-to-global non-linear ICA

It has been argued that the aim of non-linearities in different visual and auditory mechanisms may be to remove the relations between the coefficients of the signal after global linear ICA-like stages. Specifically, in Schwartz and Simoncelli (2001), it was shown that masking effects are reproduced by fitting the parameters of a particular non-linearity in order to remove the dependencies between the energy of wavelet coefficients. In this work, we present a different result that supports the same efficient encoding hypothesis. However, this result is more general because, instead of assuming any specific functional form for the non-linearity, we show that by using an unconstrained approach, masking-like behavior emerges directly from natural images. This result is an additional indication that Barlow's efficient encoding hypothesis may explain not only the shape of receptive fields of V1 sensors but also their non-linear behavior.     

Design and evaluation of a wireless decision-support system for heart rate variability study in haemodialysis follow-up procedures

In this paper a new wireless decision-support system for haemodialysis patients using heart rate variability (HRV) is presented. The telemedicine system provides connectivity to three participant sites: the general practitioner or nurse at the point of care in the dialysis unit, the remote information and processing server and the cardiologist. At the clinical point of care, the nurse acquires the electrocardiogram (ECG) by using a tailored mobile telecardiology system as well as other relevant physiological information during the clinical procedure, and sends it to the information server. The received information is stored in a secure file server, linked to the patient database and the ECG signal is automatically analyzed by using advanced signal processing tools in the processing server, where a complete clinical results report is generated. The cardiologist can then be linked by means of a web browser to the information server to analyze these results for further clinical diagnosis support. The system has been applied to study HRV in patients undergoing haemodialysis. The clinical report consisted of trends for time- and frequency-domain HRV indexes and other supplementary information automatically calculated, which show the response of the electrical activity of the heart to the dialysis process and that can be helpful for the follow-up of these patients. The telecardiology framework has been successfully evaluated both by the patients and the hospital personnel showing a high compliance with the system. The design and implementation of the telecardiology system have followed the most recent advances in web technologies, biomedical information and storage standards and signal processing techniques. The presented system can be used as a telemedicine tool for clinical diagnosis support and could also be used in other clinical settings.     

Co‐administration of Antimicrobial Peptides Enhances Toll‐like Receptor 4 Antagonist Activity of a Synthetic Glycolipid

This study examines the effect of co‐administration of antimicrobial peptides and the synthetic glycolipid FP7, which is active in inhibiting inflammatory cytokine production caused by TLR4 activation and signaling. The co‐administration of two lipopolysaccharide (LPS)‐neutralizing peptides (a cecropin A–melittin hybrid peptide and a human cathelicidin) enhances by an order of magnitude the potency of FP7 in blocking the TLR4 signal. Interestingly, this is not an additional effect of LPS neutralization by peptides, because it also occurs if cells are stimulated by the plant lectin phytohemagglutinin, a non‐LPS TLR4 agonist. Our data suggest a dual mechanism of action for the peptides, not exclusively based on LPS binding and neutralization, but also on a direct effect on the LPS‐binding proteins of the TLR4 receptor complex. NMR experiments in solution show that peptide addition changes the aggregation state of FP7, promoting the formation of larger micelles. These results suggest a relationship between the aggregation state of lipid A‐like ligands and the type and intensity of the TLR4 response.