Mladen Nikolic

Learn More
In this paper we promote introducing software verification and control flow graph similarity measurement in automated evaluation of students’ programs. We present a new grading framework that merges results obtained by combination of these two approaches with results obtained by automated testing, leading to improved quality and precision of automated(More)
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic policies. Despite the outstanding progress in SAT solving in recent years, there is still an appealing lack of techniques for selecting policies appropriate for solving specific input(More)
The problem of measuring similarity of graph nodes is important in a range of practical problems. There is a number of proposed measures, usually based on iterative calculation of similarity and the principle that two nodes are as similar as their neighbors are. In our work, we propose one novel method of that sort, with a refined concept of similarity of(More)
Dynamics of many real-world systems are naturally modeled by structured regression of representationally powerful Gaussian conditional random fields (GCRF) on evolving graphs. However, applications are limited to small and sparse evolving graphs due to high computational cost of the GCRF learning and inference. In this study, a new method is proposed to(More)
The importance of algorithm portfolio techniques for SAT has long been noted, and a number of very successful systems have been devised, including the most successful one—SATzilla. However, all these systems are quite complex (to understand, reimplement, or modify). In this paper we present an algorithm portfolio for SAT that is extremely simple, but in the(More)
ETHNOPHARMACOLOGICAL RELEVANCE Chelidonium majus L (Papaveraceae) is widely used in alternative medicine for treatment of various disorders. Antitumor activities of alkaloids isolated from this plant have been reviewed, while there are only a few studies that examine properties of the whole extract. AIM OF THE STUDY The aim of the present study was to(More)
Some new properties of symmetries that disappear as point symmetries after the first reduction of order of an ODE and reappear after the second are analyzed from the aspect of three-dimensional subalgebra of symmetries of differential equations. The form of a hidden symmetry is shown to consist of two parts, one of which always remains preserved as a point(More)