the frequency response analysis (fra) test has been recognized as one of the sensitive tools available for detecting electrical and mechanical faults inside power transformers. however, there is still no universally systematic interpretation technique for these tests. many research efforts have employed different statistical criteria in order to aid the interpretative capability of the fra, but...

gravitational search algorithm (gsa) is one of the newest swarm based optimization algorithms, which has been inspired by the newtonian laws of gravity and motion. gsa has empirically shown to be an efficient and robust stochastic search algorithm. since introducing gsa a convergence analysis of this algorithm has not yet been developed. this paper introduces the first attempt to a formal conve...

Statistical model checking is an attractive formal analysis method for probabilistic systems such as, for example, cyber-physical systems which are often probabilistic in nature. This paper is about drastically increasing the scalability of statistical model checking, and making such scalability of analysis available to tools like Maude, where probabilistic systems can be specified at a high le...

Current methods for inferring population structure from genetic data do not provide formal significance tests for population differentiation. We discuss an approach to studying population structure (principal components analysis) that was first applied to genetic data by Cavalli-Sforza and colleagues. We place the method on a solid statistical footing, using results from modern statistics to de...

Polymers, including biomolecules such as proteins, have two particularly important types of single-molecule transitions: a helix-coil transition, driven by interactions that are local in the chain, and a collapse transition, driven by nonlocal interactions. A long-standing challenge of polymer statistical mechanics has been to deal with both types of transition in a single theoretical framework...

Describing web resources using formal knowledge (i.e., creating metadata according to a formal representation of a domain of discourse) is the essence of the next evolution step of the Web, termed the Semantic Web. The W3C's RDF/S (Resource Description Framework/Schema Language) enables the creation and exchange of resource metadata as normal web data. In this paper, we investigate the use of R...