Software verification and graph similarity for automated evaluation of students' assignments
M Vujošević-Janičić, M Nikolić, D Tošić… - Information and Software …, 2013 - Elsevier
CONTEXT: The number of students enrolled in universities at standard and on-line
programming courses is rapidly increasing. This calls for automated evaluation of students …
programming courses is rapidly increasing. This calls for automated evaluation of students …
[PDF][PDF] Phase Transition In Random SAT Problems
M Vujoševic-Janicic, J Tomaševic - Zbornik radova SYMOPIS, 2006 - poincare.matf.bg.ac.rs
In this paper, we give a brief overview of the phase transition in np-complete problems, with
a special attention given to sat problem and its variants. We introduce a new, k-gd-sat …
a special attention given to sat problem and its variants. We introduce a new, k-gd-sat …
[PDF][PDF] Jelena Graovac
J Graovac - poincare.matf.bg.ac.rs
Jelena Graovac Date and Place of Birth Education Awards and Honors Positions Page 1
Jelena Graovac email: jgraovac@matf.bg.ac.rs dr Jelena Graovac Faculty of Mathematics …
Jelena Graovac email: jgraovac@matf.bg.ac.rs dr Jelena Graovac Faculty of Mathematics …
[PDF][PDF] Datum i mesto ro enja
J Graovac - ncd.matf.bg.ac.rs
Biografija Datum i mesto ro enja Obrazovanje Nagrade i priznanja Zaposlenja Page 1
Biografija Jelena Graovac Matematicki fakultet Studentski trg 16 11000 Beograd Srbija url …
Biografija Jelena Graovac Matematicki fakultet Studentski trg 16 11000 Beograd Srbija url …
[PDF][PDF] MEMORANDUM OF UNDERSTANDING For the implementation of a European Concerted Research Action designated as
C Action - fao.org
5. The Memorandum of Understanding will remain in force for a period of years, calculated
from the date of the first meeting of the Management Committee, unless the duration of the …
from the date of the first meeting of the Management Committee, unless the duration of the …