1. Research with MATF

Nikolić, Mladen

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Nikolić, Mladen
Variants
Nikolić, M.
Nikolic, M
 
Main Affiliation
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

Results 21-36 of 36 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
2115-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M23
21-Jan-2019New pseudo-random number generator based on improved discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M22
31-Sep-2018Sparse regression interaction models for spatial prediction of soil properties in 3DPejović, Milutin; Nikolić, Mladen ; Heuvelink, Gerard B.M.; Hengl, Tomislav; Kilibarda, Milan; Bajat, BranislavM21
420183D Soil Texture Mapping with L1 Regularized Multinomial Logistic RegressionMilutin Pejović; Nikolić, Mladen ; Branislav BajatM34
51-Oct-2017Pseudo-random number generator based on discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M21a
61-Mar-2016The Approximate Bayesian Computation approach to reconstructing population dynamics and size from settlement data: demography of the Mesolithic-Neolithic transition at Lepenski VirPorčić, Marko; Nikolić, Mladen M21
72016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
82016Feature Extraction for Rasters Using AutoencodersMiloš Manić; Nikolić, Mladen M33
92014Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving GraphsJelena Slivka; Nikolić, Mladen ; Kosta Ristovski; Vladan Radosavljević; Zoran ObradovićM33
101-Dec-2013Simple algorithm portfolio for SATNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M22
111-Jun-2013Software verification and graph similarity for automated evaluation of students' assignmentsVujošević Janičić, Milena ; Nikolić, Mladen ; Tošić, Dušan; Kuncak, ViktorM21
121-Jan-2013Mapping efficiency and information contentHengl, T.; MacMillan, R. A.; Nikolić, Mladen 
131-Dec-2012Measuring similarity of graph nodes by neighbor matchingNikolić, Mladen M23
1417-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag M33
152-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen 
169-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33