Integrating supercomputing clusters into education: a case study in biotechnology

The Journal of Supercomputing - The integration of a Supercomputer in the educational process improves student’s technological skills. The aim of the paper is to study the interaction between...     

Evaluating the influence of multiplexing schemes and buffer implementation on perceived VoIP conversation quality

This work presents a study of RTP multiplexing schemes, which are compared with the normal use of RTP, in terms of experienced quality. Bandwidth saving, latency and packet loss for different options are studied, and some tests of Voice over IP (VoIP) traffic are carried out in order to compare the quality obtained using different implementations of the router buffer. Voice quality is calculated using ITU R-factor, which is a widely accepted quality estimator. The tests show the bandwidth savings of multiplexing, and also the importance of packet size for certain buffers, as latency and packet loss may be affected. The customer’s experience improvement is measured, showing that the use of multiplexing can be interesting in some scenarios, like an enterprise with different offices connected via the Internet. The system is also tested using different numbers of samples per packet, and the distribution of the flows into different tunnels is found to be an important factor in order to achieve an optimal perceived quality for each kind of buffer. Grouping all the flows into a single tunnel will not always be the best solution, as the increase of the number of flows does not improve bandwidth efficiency indefinitely. If the buffer penalizes big packets, it will be better to group the flows into a number of tunnels. The router processing capacity has to be taken into account too, as the limit of packets per second it can manage must not be exceeded. The obtained results show that multiplexing is a good way to improve customer’s experience of VoIP in scenarios where many RTP flows share the same path.     

Confidence voting method ensemble applied to off-line signature verification

In this paper, a new approximation to off-line signature verification is proposed based on two-class classifiers using an expert decisions ensemble. Different methods to extract sets of local and a global features from the target sample are detailed. Also a normalization by confidence voting method is used in order to decrease the final equal error rate (EER). Each set of features is processed by a single expert, and on the other approach proposed, the decisions of the individual classifiers are combined using weighted votes. Experimental results are given using a subcorpus of the large MCYT signature database for random and skilled forgeries. The results show that the weighted combination outperforms the individual classifiers significantly. The best EER obtained were 6.3 % in the case of skilled forgeries and 2.31 % in the case of random forgeries.     

Missing data imputation for fuzzy rule-based classification systems

Fuzzy rule-based classification systems (FRBCSs) are known due to their ability to treat with low quality data and obtain good results in these scenarios. However, their application in problems with missing data are uncommon while in real-life data, information is frequently incomplete in data mining, caused by the presence of missing values in attributes. Several schemes have been studied to overcome the drawbacks produced by missing values in data mining tasks; one of the most well known is based on preprocessing, formerly known as imputation. In this work, we focus on FRBCSs considering 14 different approaches to missing attribute values treatment that are presented and analyzed. The analysis involves three different methods, in which we distinguish between Mamdani and TSK models. From the obtained results, the convenience of using imputation methods for FRBCSs with missing values is stated. The analysis suggests that each type behaves differently while the use of determined missing values imputation methods could improve the accuracy obtained for these methods. Thus, the use of particular imputation methods conditioned to the type of FRBCSs is required.     

Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

The GPU on the simulation of cellular computing models

Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from the structure and functioning of the living cells as well as from the cooperation of cells in tissues, organs, and other higher order structures. This framework provides polynomial time solutions to NP-complete problems by trading space for time, and whose efficient simulation poses challenges in three different aspects: an intrinsic massively parallelism of P systems, an exponential computational workspace, and a non-intensive floating point nature. In this paper, we analyze the simulation of a family of recognizer P systems with active membranes that solves the Satisfiability problem in linear time on different instances of Graphics Processing Units (GPUs). For an efficient handling of the exponential workspace created by the P systems computation, we enable different data policies to increase memory bandwidth and exploit data locality through tiling and dynamic queues. Parallelism inherent to the target P system is also managed to demonstrate that GPUs offer a valid alternative for high-performance computing at a considerably lower cost. Furthermore, scalability is demonstrated on the way to the largest problem size we were able to run, and considering the new hardware generation from Nvidia, Fermi, for a total speed-up exceeding four orders of magnitude when running our simulations on the Tesla S2050 server.     

Deciding bisimilarity is<Emphasis Type="Italic">P</Emphasis>-complete

In finite labelled transition systems the problems of deciding strong bisimilarity, observation equivalence and observation congruence areP-complete under many—oneNC-reducibility. As a consequence, algorithms for automated analysis of finite state systems based on bisimulation seem to be inherently sequential in the following sense: the design of anNC algorithm to solve any of these problems will require an algorithmic breakthrough, which is exceedingly hard to achieve.     

Ovule Development and in Planta Transformation of Paphiopedilum Maudiae by Agrobacterium-Mediated Ovary-Injection

In this paper, the development of the Paphiopedilum Maudiae embryo sac at different developmental stages after pollination was assessed by confocal laser scanning microscopy. The mature seeds of P. Maudiae consisted of an exopleura and a spherical embryo, but without an endosperm, while the inner integument cells were absorbed by the developing embryo. The P. Maudiae embryo sac exhibited an Allium type of development. The time taken for the embryo to develop to a mature sac was 45-50 days after pollination (DAP) and most mature embryo sacs had completed fertilization and formed zygotes by about 50–54 DAP. In planta transformation was achieved by injection of the ovaries by Agrobacterium, resulting in 38 protocorms or seedlings after several rounds of hygromycin selection, corresponding to 2, 7, 5, 1, 3, 4, 9, and 7 plantlets from Agrobacterium-mediated ovary-injection at 30, 35, 42, 43, 45, 48, 50, and 53 DAP, respectively. Transformation efficiency was highest at 50 DAP (2.54%), followed by 2.48% at 53 DAP and 2.45% at 48 DAP. Four randomly selected hygromycin-resistant plants were GUS-positive after PCR analysis. Semi-quantitative PCR and quantitative real-time PCR analysis revealed the expression of the hpt gene in the leaves of eight hygromycin-resistant seedlings following Agrobacterium-mediated ovary-injection at 30, 35, 42, 43, 45, 48, 50, and 53 DAP, while hpt expression was not detected in the control. The best time to inject P. Maudiae ovaries in planta with Agrobacterium is 48-53 DAP, which corresponds to the period of fertilization. This protocol represents the first genetic transformation protocol for any Paphiopedilum species and will allow for expanded molecular breeding programs to introduce useful and interesting genes that can expand its ornamental and horticulturally important characteristics.     

The Chick Chorioallantoic Membrane Model: A New In Vivo Tool to Evaluate Breast Cancer Stem Cell Activity

The high plasticity of cancer stem-like cells (CSCs) allows them to differentiate and proliferate, specifically when xenotransplanted subcutaneously into immunocompromised mice. CSCs are highly tumorigenic, even when inoculated in small numbers. Thus, in vivo limiting dilution assays (LDA) in mice are the current gold standard method to evaluate CSC enrichment and activity. The chick embryo chorioallantoic membrane (CAM) is a low cost, naturally immune-incompetent and reproducible model widely used to evaluate the spontaneous growth of human tumor cells. Here, we established a CAM-LDA assay able to rapidly reproduce tumor specificities—in particular, the ability of the small population of CSCs to form tumors. We used a panel of organotropic metastatic breast cancer cells, which show an enrichment in a stem cell gene signature, enhanced CD44⁺/CD24^−/low cell surface expression and increased mammosphere-forming efficiency (MFE). The size of CAM-xenografted tumors correlate with the number of inoculated cancer cells, following mice xenograft growth pattern. CAM and mice tumors are histologically comparable, displaying both breast CSC markers CD44 and CD49f. Therefore, we propose a new tool for studying CSC prevalence and function—the chick CAM-LDA—a model with easy handling, accessibility, rapid growth and the absence of ethical and regulatory constraints.     

Back-to-Basics tutorial: X-ray diffraction of thin films

Electrocaloric (EC) refrigeration, is accepted as an auspicious method to develop eco-friendly cooling devices. Here, the investigations on the EC response and energy storage performance of heterovalent-doped Ba(Sn, Ti)O₃ relaxor ferroelectrics are carried out. Doping of aliovalent Mn or Nb elements into Ti site would regulate both the EC and energy storage behaviors. An enhanced EC temperature change up to 1.31 K, and a maximal recoverable energy storage density of 0.24 J cm^??3 with the efficiency as high as 87.11?%, can be observed under 70 kV cm^??1 in 0.5?% acceptor-doped Ba(Sn, Ti)O₃ ceramics. It is found that the local internal stress, the local charge fluctuation, and the oxygen deficiencies would benefit the electrical behaviors of this system. These results would shed light on the effect of the heterovalent substitution on the electrical properties of lead-free BaTiO₃ system and provide a novel and simple route to further improve the EC response and energy storage performance.