еНаука - преглед
Преглед према Аутор Malbaški, Dušan
Приказ резултата 1 до 9 од 9
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2013 | A primary estimation of the cardiometabolic risk by using artificial neural networks | Kupusinac, Aleksandar   ; Doroslovački, Rade ; Malbaški, Dušan ; Srdić Galić, Biljana ; Stokić, Edita | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2008 | Automatska sinteza baze pravila u inferentnim sistemima | Brtka, Vladimir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2010 | Dijkstra's interpretation of the approach to solving a problem of program correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Научни чланак | 24M24 - Водећи национални часопис категорије M24 |
| 2014 | Ontološki zasnovana analiza semantičke korektnosti modela podataka primenom sistema automatskog rezonovanja | Kazi, Zoltan | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Predictive values of waist-to-height ratio for metabolic syndrome | Srdić Galić, Biljana ; Stokić, Edita ; Tomić-Naglić, Dragana ; Udicki, Mirjana ; Kupusinac, Aleksandar ; Doroslovački, Rade ; Malbaški, Dušan | Naučni članak | 52M52 - Nacionalni časopis kategorije M52 |
| 2002 | Program testing based on programming logic rules | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Resolution Methods in Proving the Program Correctness | Markoski, Branko ; Hotomski, Petar ; Malbaški, Dušan ; Obradović, Danilo | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Rezolucijska metoda za jednoprolazno simboličko testiranje razgranatih programskih struktura | Markoski, Branko | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |