Истраживачи
Nikolić, Mladen
Година
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2018 | Sparse regression interaction models for spatial prediction of soil properties in 3D (✓) | Pejović, Milutin ; Nikolić, Mladen ; Heuvelink, Gerard B. M.; Hengl, Tomislav; Kilibarda, Milan ; Bajat, Branislav | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2017 | Pseudo-random number generator based on discrete-space chaotic map (✓) | Lambić, Dragan ; Nikolić, Mladen | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2016 | Portfolio Methods in Theorem Proving for Elementary Geometry (✓) | Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2016 | The Approximate Bayesian Computation approach to reconstructing population dynamics and size from settlement data: demography of the Mesolithic-Neolithic transition at Lepenski Vir (✓) | Porčić, Marko ; Nikolić, Mladen | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2016 | Feature Extraction for Rasters Using Autoencoders (✓) | M. Manić; Nikolić, Mladen S. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2014 | Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving Graphs (✓) | Slivka, Jelena ; Nikolić Mladen ; Ristovski Kosta; Radosavljević Vladan; Obradović Zoran | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Simple algorithm portfolio for SAT (✓) | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2013 | Mapping efficiency and information content (✓) | Hengl, T.; Nikolić, Mladen ; MacMillan, R.A. | Научни чланак | Мп категорија ће бити приказана накнадно. |
2013 | Software verification and graph similarity for automated evaluation of students’ assignments (✓) | Vujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan ; Kuncak, Viktor | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
2013 | Usmeravanje pretrage u automatskom dokazivanju teorema (✓) | Nikolić, Mladen S. | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2012 | Measuring similarity of graph nodes by neighbor matching (✓) | Nikolić, Mladen | Научни чланак | 23M23 - Рад у међ. часопису |
2012 | CDCL-Based Abstract State Transition System for Coherent Logic (✓) | Nikolić, Mladen ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2010 | Statistical Methodology for Comparison of SAT Solvers (✓) | Nikolić, Mladen | Научни чланак | Мп категорија ће бити приказана накнадно. |
2009 | Instance-Based Selection of Policies for SAT Solvers (✓) | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |