Organizacije

Rezultati 1,721-1,740 od 2,933

Rezultati obuhvataju radove istraživača koji su TRENUTNO zaposleni u prikazanoj instituciji.

GodinaNaslovAutor(i)Tip rezultataMp-kat.
2015Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3Marić, Filip  ; Janičić, Predrag  ; Maliković, MarkoKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Automatsko utvrđivanje sličnosti kulinarskih recepata upotrebom metoda ekstrakcije informacija iz tekstaVujičić, Staša  ; Pajić, Vesna Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015From Differentiation in Affine Spaces to ConnectionsNikolić, Jovana M.  Naučni članak
Mp kategorija će biti prikazana naknadno.
2015An efficient variable neighborhood search for solving a robust dynamic facility location problem in emergency service networkMišković, Stefan  ; Stanimirović, Zorica  ; Grujičić, IgorNaučni članak
Mp kategorija će biti prikazana naknadno.
2015Some characterization based - exponentiality tests and their Bahadur efficienciesMilošević, Bojana E.  ; Obradović, Marko H.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Some goodness of fit tests based on U-empirical Laplace transformsMilošević, Bojana E.  ; Obradović, Marko H.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Some applications of probabilistic first-order logicsIkodinović, Nebojša  ; Ognjanović, Zoran  ; Rašković, Miodrag  ; Zoran MarkovićKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Isometry groups of 4-dimensional nilpotent Lie groupsŠukilović, Tijana  Naučni članak
Mp kategorija će biti prikazana naknadno.
2015Secular evolution of asteroid families: the role of CeresNovaković, Bojan  ; Tsirvoulis, Georgios; Marò, Stefano; Đošović, Vladimir  ; Maurel, ClaraKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Black hole mass estimates using - gravitational redshift of broad emission - lines in active galactic nucleiIlić, Dragana  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Goodness-of-fit tests for Pareto distribution based on a characterization and their asymptoticsObradović, Marko  ; Jovanović, Milan  ; Milošević, Bojana  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2015Characterization of the generalized Calabi composition of affine hyperspheresAntić, Miroslava  ; Hu, Ze Jun; Li, Ce Ce; Vrancken, LucNaučni članak
22M22 - Međunarodni časopis kategorije M22
2015Classification of left-invariant metrics on the Heisenberg groupVukmirović, Srđan  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2015Time Delay Evolution of Five Active Galactic NucleiKovačević, Anđelka  ; Popović, Luka Č.  ; Shapovalova, A. I.; Ilić, Dragana  ; Burenkov, A. N.; Chavushyan, V. H.Naučni članak
23M23 - Međunarodni časopis kategorije M23
2015Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometryÐurđević, Sana Stojanović  ; Narboux, Julien; Janičić, Predrag  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2015Геометрија четвородимензионих нилпотентних Лијевих групаŠukilović, Tijana Z.  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2015Математика 2 - уџбеник са збирком задатака - за други разред гимназијаИкодиновић, Небојша  ; Димитријевић, Слађана  ; Алексић, Сузана  Udžbenik
Mp kategorija će biti prikazana naknadno.
2015Mogućnosti primene IKT-a i platforme eZbirka u nastavnim aktivnostimaRadović, Slaviša; Marić, Miroslav  ; Golubović, LjiljanaKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Tail index estimation: A generalization of Hill's estimator and some optimization problemsJocković, Jelena  ; Mladenović, Pavle  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2015Bounds for Jacobian of harmonic injective mappings in n-dimensional spaceBožin, Vladimir  ; Mateljević, Miodrag  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21