Observability of Switched Linear Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . D. Gómez-Gutiérrez, G. Ramírez-Prado, A. Ramírez-Treviño, and J. Ruiz-León 127 On Formal Analy...

The Protein Structure Prediction (PSP) problem is concerned about the prediction of the native tertiary structure of a protein in respect to its amino acids sequence. PSP is a challenging and computationally open problem. Therefore, several researches and methodologies have been developed for it. In this way, developers are working to integrate frameworks in order to improve their capabilities ...

Yanming Ma,1,2 Artem R. Oganov,1,3 and Yu Xie2 1Laboratory of Crystallography, Department of Materials, ETH Zurich, Wolfgang-Pauli-Strasse 10, CH-8093 Zurich, Switzerland 2National Laboratory of Superhard Materials, Jilin University, Changchun 130012, People’s Republic of China 3Geology Department, Moscow State University, 119899 Moscow, Russia Received 18 February 2008; revised manuscript rece...

Unmet need reflects the extent of discrepancy between women’s fertility intensions and observed contraception usage behavior. This study was done to assess the epidemiological correlates of unmet need for family planning. Prevalence of unmet need for family planning was 8.3% of which 2.6% were limiters and 5.7% were spacers. With the advancement of age, prevalence of unmet need decreased signif...

Formal methods have been successfully used to establish assurances for safety-critical systems with mathematical rigour. Based on our experience in developing a methodology and corresponding tools for a change management for formal methods, we have generalised this approach to a comprehensive methodology to maintain heterogeneous document collections consisting of both formal and informal docum...

the vast use of linear prediction coefficients (lpc) in speech processing systems has intensified the importance of their accurate computation. this paper is concerned with computing lpc coefficients using evolutionary algorithms: genetic algorithm (ga), particle swarm optimization (pso), dif-ferential evolution (de) and particle swarm optimization with differentially perturbed velocity (pso-dv...

Nowadays, dust phenomenon is one of the important challenges in warm and dry areas. Forecasting the phenomenon before its occurrence helps to take precautionary steps to prevent its consequences. Fuzzy expert systems capabilities have been taken into account to assist and cope with the uncertainty associated to complex environments such as dust forecasting problem. This paper presents novel hyb...

In this paper, optimal placement of Phasor Measurement Unit (PMU) using Global Positioning System (GPS) is discussed. Ant Colony Optimization (ACO), Simulated Annealing (SA), Particle Swarm Optimization (PSO) and Genetic Algorithm (GA) are used for this problem. Pheromone evaporation coefficient and the probability of moving from state x to state y by ant are introduced into the ACO. The modifi...