We formally define recursively self improving programs and show that such programs exist, but that their algorithmic complexity cannot grow faster than O(log n) given fixed goals.

Mutation testing helps in evaluation of test suite quality and test development. It can be directed to programs of different languages. High cost of a mutation testing process limits its applicability. This paper focuses on mutation testing of Python programs, discussing several issues of mutant creation and execution. It was showed how they can be effectively handled in the Python environment....

In this paper, a static analysis of Prolog programs has been proposed to improve the eeciency by replacing run-time uniication with matching. Programs for which run-time uniication can be replaced by matching are called uniication-free programs. We propose a set of suucient conditions for uniication-freedom improving the existing results and discuss the application of our results in improving W...

Being able to analyze programs function by function, or module by module is a key ingredient to scalable static analyses. The main difficulty for modular static analysis is to be able to do so while not losing too much precision. In this paper, we present a new summarybased approach that builds on previous work of the authors, a zonotopic functional abstraction, that is economical both in space...

Mate pair library sequencing is an effective and economical method for detecting genomic structural variants and chromosomal abnormalities. Unfortunately, the mapping and alignment of mate-pair read pairs to a reference genome is a challenging and time-consuming process for most next-generation sequencing alignment programs. Large insert sizes, introduction of library preparation protocol artif...

Cardiovascular Diseases (CVD) are regarded as a leading cause of death globally, constituting important medical, social and economical problem. Systematic reviews and metaanalyses show the positive effect of exercise-based Cardiac Rehabilitation (CR). Despite wellestablished benefits of CR, many heart failure patients do not attend such programs for a variety of reasons. Cardiac telerehabilitat...

Genetic improvement programs in dairy cattle have until recently focused on increasing net profit by increasing gross income per cow, rather than reducing costs of production [1]. Strong selection pressure on yield traits coupled with management practices aimed at maximizing production may have resulted in undesirable side effects related to decreased fitness [2]. These concerns have been confi...

A number n is said to be economical if the prime power factori-sation of n can be written with no more digits than n itself. We show that under a plausible hypothesis, related to the twin prime conjecture, there are arbitrarily long sequences of consecutive economial numbers, and exhibit such a sequence of length 9.