In this paper a formal model will be presented that attempts to organise melodic segments into ‘significant’ musical categories (e.g. motives). Given a segmentation of a melodic surface, the proposed model constructs an appropriate representation for each segment in terms of a number of attributes (these reflect melodic and rhythmic aspects of the segment at the surface and at various abstract ...

We revisit the feasibility of a cosmological test with the geometric distortion focusing on an ambiguous factor of the evolution of bias. Starting from defining estimators for the spatial two-point correlation function and the power spectrum, in a rigorous manner, we derive useful formulas for the two-point clustering statistics which take the light-cone effect and the redshift-space distortion...

This paper explores z-ranking, a technique to rank error reports emitted by static program checking analysis tools. Such tools often use approximate analysis schemes, leading to false error reports. These reports can easily render the error checker useless by hiding real errors amidst the false, and by potentially causing the tool to be discarded as irrelevant. Empirically, all tools that effec...

Enzymes are molecules with a catalytic activity that make them essential for any biochemical reaction. High throughput genomic technics give access to the protein sequence of new enzymes found in living organisms. Guessing the enzyme functional activity from its sequence is a crucial task that can be approached by comparing the new sequences with those of already known enzymes labeled by a fami...

We study the clustering properties of the galaxy clusters detectable for the Planck satellite due to their thermal Sunyaev-Zel’dovich effect. We take the past light-cone effect and the redshift evolution of both the underlying dark matter correlation function and the cluster bias factor into account. A theoretical mass-temperature relation allows us to convert the sensitivity limit of a catalog...

With the launch of the GeneChip® Targeted Genotyping System 1.5, algorithm enhancements have been made to the Molecular Inversion Probe (MIP) data analysis algorithms. These improvements do not affect the overall framework of MIP data analysis described in [1]. Their effect on the data is to improve the quality of genotyping as well as the speed of clustering. Improvements vary according to the...

BACKGROUND We assess the analysis of the data resulting from a field experiment conducted by Pilling et al. (PLoS ONE. doi: 10.1371/journal.pone.0077193, 5) on the potential effects of thiamethoxam on honeybees. The experiment had low levels of replication, so Pilling et al. concluded that formal statistical analysis would be misleading. This would be true if such an analysis merely comprised t...

The modeling, analysis and performance evaluation of largescale systems are difficult tasks. Due to the size and complexity of the considered systems, an approach typically followed by engineers consists in performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique used by computer scientists working on quantitative analysis is ...

the purpose of this research was to identify and prioritize effective factors in social responsibility of professors of islamic azad university of qazvin branch which was conducted in 2014 and 2015. among all statistical population which included 395 professors of the university, 195 professors were selected as statistical subjects from the population. in this research, it was attempted that by...

The paper presents a method of evaluation of questionnaires. The method is supported by formal concept analysis. The role of formal concept analysis consists in providing an expert with a structured view on the data collected from the questionnaires. The method resulted from experiments with IPAQ (International Physical Activity Questionnaire). The structured view on data provided by the method...