Researchers
Nikolić, Mladen
Results 21-38 of 38
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2019 | Portfolio theorem proving and prover runtime prediction for geometry | Nikolić, Mladen   ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag | Article | 22M22 |
| 2019 | New pseudo-random number generator based on improved discrete-space chaotic map | Lambić, Dragan ; Nikolić, Mladen | Article | 21M21 |
| 2019 | Cross-species cell type annotation of single cell RNA-Seq data | Minja Zorc; Kovačević, Jovana J. ; Mladen Nikolić ; Nevena Veljković; Peter Dovč | Conference Paper | Mp. category will be shown later |
| 2018 | 3D soil texture mapping with L1 regularized multinomial logistic regression | Milutin Pejović ; Mladen Nikolić ; Bajat, Branislav J. | Conference Paper | Mp. category will be shown later |
| 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 | Article | 21M21 |
| 2017 | Pseudo-random number generator based on discrete-space chaotic map | Lambić, Dragan ; Nikolić, Mladen | Article | 21aM21a |
| 2016 | Portfolio Methods in Theorem Proving for Elementary Geometry | Marinković Pavlović, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 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 | Article | 21M21 |
| 2016 | Feature Extraction for Rasters Using Autoencoders | M. Manić; Nikolić, Mladen S. | Conference Paper | Mp. category will be shown later |
| 2014 | Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving Graphs | Slivka, Jelena ; Nikolić Mladen ; Ristovski Kosta; Radosavljević Vladan; Obradović Zoran | Conference Paper | Mp. category will be shown later |
| 2013 | Simple algorithm portfolio for SAT | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | Article | 22M22 |
| 2013 | Mapping efficiency and information content | Hengl, T.; Nikolić, Mladen ; MacMillan, R.A. | Article | Mp. category will be shown later |
| 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 | Article | 21M21 |
| 2013 | Usmeravanje pretrage u automatskom dokazivanju teorema | Nikolić, Mladen S. | Doctoral theses | 70M70 |
| 2012 | CDCL-Based Abstract State Transition System for Coherent Logic | Nikolić, Mladen ; Janičić, Predrag | Conference Paper | Mp. category will be shown later |
| 2012 | Measuring similarity of graph nodes by neighbor matching | Nikolić, Mladen | Article | 23M23 |
| 2010 | Statistical Methodology for Comparison of SAT Solvers | Nikolić, Mladen | Article | Mp. category will be shown later |
| 2009 | Instance-Based Selection of Policies for SAT Solvers | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Conference Paper | Mp. category will be shown later |