⇑ Corresponding author. E-mail addresses: [email protected] f.uc3m.es (J.M. Valls), [email protected] (R. Aler). Similarity between patterns is commonly used in many distance-based classification algorithms like KNN or RBF. Generalized Euclidean Distances (GED) can be optimized in order to improve the classification success rate in distance-based algorithms. This idea can be extended t...

A natural term rewriting framework for the Bellantoni Cook schemata of predicative recursion, which yields a canonical definition of the polynomial time computable functions, is introduced. In terms of an exponential function both, an upper bound and a lower bound are proved for the resulting derivation lengths of the functions in question. It is proved that any natural reduction strategy yield...

We present a logical relation for proving contextual equivalence in a probabilistic programming language (PPL) with continuous random variables and with a scoring operation for expressing observations and soft constraints. Our PPL model is based on a big-step operational semantics that represents an idealized sampler with likelihood weighting. The semantics treats probabilistic non-determinism ...

This article de nes a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.

A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common practise to estimate these parameter values, using evolutionary and other techniques, by fitting the model behaviour to given data. In this contribution, we extensively investigate the influence of exponentially scale...

We investigate three approaches to Boolean satissability problems. We study and compare the best heuristic algorithm WGSAT and two evolutionary algorithms, an evolution strategy and an evolutionary algorithm adapting its own tness function while running. The results show that the adaptive EA outperforms the other two approaches. The power of this EA originates from the adaptive mechanism, which...

the present study aimed at investigating whether vocabulary-learning strategies had any impact on the vocabulary learning of iranian efl learners. the participants of the study were 67 male and female undergraduate university students, majoring in english translation and english literature at islamic azad university, north tehran branch, who were taking “reading comprehension ii” course. in ord...

in order to confirm the effectiveness of language learning strategies in theiranian context in junior high schools, this study was designed to examine thepatterns of strategy use, the effects of strategy instruction on the students’ strategyuse, and the relationship between the participants’ strategy use and their englishachievement. to achieve this objective, 57 junior high school participants...