1. Research with MATF

Informatics and Computer Science

View Statistics Email Alert RSS Feed

Card

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 401-450 of 693 (Search time: 0.008 seconds).

Issue DateTitleAuthor(s)Rank
4012015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna M23
4022015Pursuit for transcriptome microsatellites towards estimation of genetic variation, species discrimination and detection of interspecific hybrids within the genus CentauriumBanjanac, Tijana; Belamarić, Mario; Skorić, Marijana; Mišić, Danijela; Malkov, Saša ; Jelić, Mihailo; Šiler, BranislavM34
4032015Digitalizacija arhive studentske službe Matematičkog fakulteta u BeograduMitić, Nenad ; Malkov, Saša ; Vukša Popović, Nikolina ; Stojanović, BiljanaM64
4042015Geogebrom kroz svet matematikeJezdimirović, J.; Radović, S.; Marić, Miroslav M64
4052015Mogućnosti primene IKT-a i platforme eZbirka u nastavnim aktivnostimaRadović, Slaviša; Marić, Miroslav ; Golubović, LjiljanaM33
4062015A Survey of Interactive Theorem ProvingMarić, Filip M14
4072015A strategic approach to providing cloud services for research and education communityGajin, Slavko ; Hackett, Robert; Galeazzi, Fulvio; Pegaime, JoaoM33
4082015Scientific Papers of Milutin Milanković in his Digital LegacyPejović, Nadežda; Malkov, Saša ; Mitić, Nenad ; Mijajlović, ŽarkoM53
4092015Информатика 2 - уџбеник за други разред гимназије [1. izd.]Marić, Filip ; Trajković, Srđan; Trifunović, Duško; Kljajić, Ivan; Gračanin, Olivera
4102015Informaciono-komunikacione tehnologije i obrazovanje učenika sa razvojnim smetnjamaKovačević, Ivana; Džamić, Dušan; Radović, Slaviša; Marić, Miroslav M64
4112015Awaiting for the ranges: C++17Čukić, Ivan M33
4122015Unapređenje veb prezentacije Virtuelne biblioteke Matematičkog fakulteta u BeograduMijajlović, Žarko; Vukša Popović, Nikolina ; Mitić, Nenad ; Malkov, Saša ; Maljković Ružičić, Mirjana ; Stojanović, Biljana; Pejović, Nadežda; Pejović, AleksandarM80
4132015The influence of technology in inclusive learning: Platform "Završni ispit"Radojičić, Marija; Radović, Slaviša; Džamić, Dušan; Marić, Miroslav M64
4142015Stvaranje Cendari digitalnog repozitorijuma o Prvom svetskom ratu I srednjevekovnoj kulturi EvropeKnežević, Milica; Marinković, Bojan; Čukić, Ivan ; Ognjanović, Zoran; Bulatović, Nataša; Todorović, Milan; Jörg Lehmann; Andrei ZamoiskiM64
4152015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, VesnaM63
4162015Simulation of Software Defined Networks in Mininet environmentMisić, M.; Gajin, Slavko M33
4172015Memetic algorithm for the balanced resource location problem with preferencesMišković, Stefan ; Stanimirović, Zorica M33
41814-Oct-2014A note on the use of Choquet and Sugeno integrals in minimal and maximal covering location problemsTakaci, Aleksandar; Stajner-Papuga, Ivana; Marić, Miroslav ; Drakulic, DarkoM33
4191-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir M22
4201-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
4211-Jan-2014Memetic algorithm for solving the multilevel uncapacitated facility location problemMarić, Miroslav ; Stanimirović, Zorica ; Djenić, Aleksandar; Stanojević, Predrag
4221-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
1731-Jan-2014Enriching SerbianWordNet and electronic dictionaries with terms from the culinary domainVujičić Stanković, Staša ; Krstev, Cvetana; Vitas, DuškoM33
1741-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
1751-Jan-2014Two efficient hybrid metaheuristic methods for solving the load balance problemStanimirović, Zorica ; Marić, Miroslav ; Radojičić Matić, Nina ; Bǒzović, Srdjan
1761-Jan-2014A hybrid Evolutionary Algorithm for efficient exploration of online social networksStanimirović, Zorica ; Mišković, Stefan 
1771-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33
1782014Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving GraphsJelena Slivka; Nikolić, Mladen ; Kosta Ristovski; Vladan Radosavljević; Zoran ObradovićM33
1792014Regresiona verifikacija softvera koriscenjem sistema LAVVujošević Janičić, Milena 
1802014System LAV and Automated Evaluation of Students’ ProgramsVujošević Janičić, Milena M34
1812014Benchmark Design for Navigational Pattern Matching Benchmarking. Project Deliverable from Project LDBCPrat, Arnau; Averbuch, Alex; Boncz, Peter; Perez, Marta; Gavalda, Ricard; Angles, Renzo; Erling, Orri; Gubichev, Andrey; Spasić, Mirko ; Pham, Minh-Duc; Martinez, Norbert
1822014LDBC Benchmark Auditing Policies. Project Deliverable from Project LDBCErling, Orri; Spasić, Mirko 
1832014A Few New Utilities Developed at University of BelgradeVitas, Duško; Spasić, Mirko ; Krstev, Cvetana; Vasiljević, Nebojša; Šošić, MarkoM33
1842014Approximate Measures in the Culinary Domain: Ontology and Lexical ResourcesKrstev, Cvetana; Vujičić Stanković, Staša ; Vitas, DuškoM33
1852014Using Small-Step Refinement For Algorithm - Verification In Computer Science EducationSimić, Danijela M33
1862014Unapređenje WEB prezentacije Virtuelne biblioteke Matematičkog fakulteta u BeograduMijalović, Žarko; Pejović, Nadežda R.; Vukša Popović, Nikolina ; Mitić, Nenad ; Malkov, Saša ; Pejović, Aleksandar M.; Maljković Ružičić, Mirjana ; Stojanović, Biljana T.M80
1872014The use of fuzzy logic in Location problemsTakači, Aleksandar A.; Marić, Miroslav ; Drakulić, D.M33
1882014Monads in ChainsČukić, Ivan M34
1892014An Integrative Approach to Relating Genotype, Phenotype and Taxonomic Characteristics in Prokaryotes – An OverviewPavlović-Lažetić, Gordana; Pajić, Vesna; Mitić, Nenad ; Kovačević, Jovana ; Beljanski, MilošM33
1902014Interactions of water molecule with phenyl group in crystal structures of small molecules and proteinsJanjić, Goran; Malkov, Saša ; Živković, Miodrag; Zarić, SnežanaM64
1912014Inovativni pristup nastavi matematike primenom elektronskih materijala za učenjeRadojičić, Marija M; Radović, S; Marić, Miroslav M63
1922014Mogućnosti upotrebe IKT–a i platforme eZbirka u nastavnim aktivnostimaRadović, S; Marić, Miroslav ; Golubović, LjiljanaM63
1932014Mining Associations for Organism Characteristics in Prokaryotes - an Integrative ApproachPavlović-Lažetić, Gordana; Pajić, Vesna; Mitić, Nenad ; Kovačević, Jovana ; Beljanski, MilošM33
1942014CENDARI, a view from the technical sideKnežević, Milica; Marinković, Bojan; Ognjanović, Zoran; Čukić, Ivan ; Bulatović, NatašaM34
1952014Uporedni prikaz i eksperimentalna evaluacija TCP algoritamaŠošić, M; Stojanović, V; Marić, Miroslav M63
1962014Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Williams, Hugh; Erling, Orri; Mikhailov, IvanM80
1972014Koja su preferentna horizontalna pomeranja aromatično-aromatičnih interakcija?Ninković, Dragan; Andrić, Jelena; Malkov, Saša ; Zarić, SnežanaM64
1982014Platforma eZbirkaMarić, Miroslav M63
1992014Poboljšavanje nastavnog plana optimizovanjem broja pokrivenih tematskih oblasti po semestrimaMatić, D; Kratica, Jozef J; Filipović, Vladimir M63
2002014Digitalna arhiva i legatiMijajlović, Žarko; Pejović, Nadežda; Malkov, Saša ; Mitić, Nenad ; Vukša Popović, Nikolina ; Vučković, Bojan; Maljković Ružičić, Mirjana ; Stojanović, Biljana; Vučković, Vesna; Maksimović, Slavko; Stojanović, Slobodan; Milisavljević, Slaviša; Višić, DuškoM80