This paper focuses on an asynchronous program evolution in evolutionary computation, which is hard to evolve individuals (i.e., programs) effectively unlike a synchronous program evolution that evolves individuals effectively by selecting good parents after evaluations of all individuals in each generation. To tackle this problem, we explore the mechanism that can promote an asynchronous progra...

This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is now held on the Department of Computer Science at CTU. The first of them deals with a huge semantic gap between the complex structure of real world and its representation in GIS. Some papers describe this problem as a consequen...

We consider herein a concise view of discreet programming models and methods. There has been conducted the models and methods analysis. On the basis of discreet programming models there has been elaborated and offered a new class of problems, i.e. block-symmetry models and methods of applied tasks statements and solutions. Keywords—Discreet programming, block-symmetry, analysis methods, informa...

Robin Milner's paper, 'The use of machines to assist in rigorous proof', introduces methods for automating mathematical reasoning that are a milestone in the development of computer-assisted theorem proving. His ideas, particularly his theory of tactics, revolutionized the architecture of proof assistants. His methodology for automating rigorous proof soundly, particularly his theory of type po...

In this work, we present a short review about the high level design methodology (HLDM), that is based on the use of very high level (VHL) programing language as main, and the use of the intermediate level (IL) language only for the critical processing time. The languages used are Python (VHL) and FORTRAN (IL). Moreover, this methodology, making use of the oriented object programing (OOP), permi...

Dynamic programming seeks to solve complex problems by breaking them down into multiple smaller problems. The solutions of these smaller problems are then combined to reach the overall solution. Deterministic algorithms have the advantage of accuracy but they need large computational power requirements. Heuristic algorithms have the advantage of speed but they provide less accuracy. This paper ...

Myelination is one of the strategies to promote the conduction velocity of axons in order to adjust to evolving environment in vertebrates. It has been shown that myelin formation depends on genetic programing and experience, including multiple factors, intracellular and extracellular molecules, and neuronal activities. Recently, accumulating studies have shown that myelination in the central n...