Isolation of single yeast cells by optical trapping

Individual yeast cells can be successfully isolated and recultured on plates with a new isolation method making use of optical trapping with infrared laser light. The cells can be selected on morphological criteria by high resolution microscopy. The isolation device is constructed from two coverslips separated by spacers, in which selected cells are transferred to a plastic capillary, using the optical trap. To test the procedure, selection experiments were done with a mixture of two Saccharomyces cerevisiae strains, distinguishable both in fluorescence microscopy and on agar plates. These experiments showed that only selected cells were isolated, and close to 100% of the isolated stationary-phase cells formed colonies on agar plates, indicating a high recovery. A lower recovery was obtained with exponential-phase cells, possibly because of a higher sensitivity to laser irradiation. Applications for this method may include the isolation of mutants with altered morphology and the isolation of subpopulations of yeast cultures, for their separate investigation or for the initiation of pure cultures.     

Performance and energy task migration model for heterogeneous clusters

The Journal of Supercomputing - This article presents a set of linear regression models to predict the impact of task migration on different objectives, like performance and energy consumption. It...     

Deploying deep learning approaches to left ventricular non-compaction measurement

The Journal of Supercomputing - Left ventricular non-compaction (LVNC) is a rare cardiomyopathy characterized by abnormal trabeculations in the left ventricle cavity. Although traditional computer...     

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).     

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.     

Ethylene-propylene copolymers by a supported Ziegler-Natta catalyst based on TiCl4/MgCl2

Ethylene-propylene copolymers have been prepared by using Ziegler-Natta catalysts based on TiCl₄, MgCl₂, PCl₃ and (n-Bu)₃PO₄. The catalysts TiCl₄/MgCl₂/PCl₃ and TiCl₄/MgCl₂/(n-Bu)₃PO₄ were prepared by reacting TiCl₄ with pretreated MgCl₂. The support was prepared by ball milling of MgCl₂ with varied amounts of PCl₃ or (n-Bu)₃PO₄. The addition of PCl₃ has remarkably increased the MgCl₂ surface area in comparison with (n-Bu)₃PO₄. The effects of PCl₃ and (n-Bu)₃PO₄ on ethylene homopolymerization, ethylene-propylene copolymerization and on copolymer properties were evaluated. The catalyst system containing PCl₃ permitted to synthesize propylene-ethylene copolymers with up to 75% (w/w) of propylene and provided control of copolymer crystallinity. The reduction of the copolymer molecular weight distribution suggested that PCl₃ acted as an internal donor, poisoning some active catalytic sites. Received: 2 April 1997/Revised: 6 June 1997/Accepted: 18 June 1997