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 727 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)Rank
4011-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
4022015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
4032015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
4042015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
4052015Predictive models based on support vector machines for structured outputsKovačević, Jovana ; Pavlović Lažetić, GordanaM64
4062015meSAT: Multiple Encodings of CSP to SATStojadinović, Mirko; Marić, Filip M34
4072015A Memetic algorithm for solving Quadratic Assignment ProblemDžamić, Dušan; Marić, Miroslav ; Lazović, BojanaM63
4082015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna M70
4092015Intrinsically Disordered Proteins /Protein Regions: Implications for Environmental Adaptation of Archaea and BacteriaPavlović-Lažetić, Gordana; Mitić, Nenad ; Kovačević, Jovana ; Malkov, Saša ; Beljanski, MilošM34
4102015Digitalizacija zaostavštine Srba u mestu Osredak u Bosni i HercegoviniMaljković Ružičić, Mirjana ; Malbašić, DraganaM64
4112015On-line compendium of triangle construction problems with automatically generated solutionsMarinković, Vesna 
4122015Reactive programming and QtČukić, Ivan M34
4132015Parallel variable neighborhood search algorithm to minimize the makespan on hybrid flow shop problemsDžamić, Dušan; Đenić, Aleksandar; Marić, Miroslav M63
4142015Strukturna predikcija funkcije proteina i odnos funkcionalnih kategorija i neuređenostiKovačević, Jovana M70
4152015Serbian and International Honors Awarded to Milutin MilankovićPejović, Nadežda; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM64
4162015Primena keširanja u metaheuristici zasnovanoj na elektromagnetizmuFilipović, Vladimir ; Kartelj, Aleksandar ; Matić, D.M64
4172015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М63
4182015Functional Reactive Programming in C++Čukić, Ivan M33
4192015Solving Large Scale Instances of Hub Location Problems with a Sub-problem Using an Exact MethodMarić, Miroslav ; Stanojević, Predrag
4202015Task scheduling with the continuation monadČukić, Ivan M33
4212015Language Independent n-Gram-Based Text Categorization with Weighting Factors: A Case StudyGraovac, Jelena ; Pavlović Lažetić, Gordana; Kovačević, Jovana 
4222015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M64
4232015On the GeoGebra supported collaborative learningTakači, Đurđica; Stankov, Gordana; Marić, Miroslav M34
4242015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna M23
4252015Pursuit 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
4262015Digitalizacija arhive studentske službe Matematičkog fakulteta u BeograduMitić, Nenad ; Malkov, Saša ; Vukša Popović, Nikolina ; Stojanović, BiljanaM64
4272015Geogebrom kroz svet matematikeJezdimirović, J.; Radović, S.; Marić, Miroslav M64
4282015Mogućnosti primene IKT-a i platforme eZbirka u nastavnim aktivnostimaRadović, Slaviša; Marić, Miroslav ; Golubović, LjiljanaM33
4292015A Survey of Interactive Theorem ProvingMarić, Filip M14
4302015A strategic approach to providing cloud services for research and education communityGajin, Slavko ; Hackett, Robert; Galeazzi, Fulvio; Pegaime, JoaoM33
4312015Scientific Papers of Milutin Milanković in his Digital LegacyPejović, Nadežda; Malkov, Saša ; Mitić, Nenad ; Mijajlović, ŽarkoM53
4322015Информатика 2 - уџбеник за други разред гимназије [1. izd.]Marić, Filip ; Trajković, Srđan; Trifunović, Duško; Kljajić, Ivan; Gračanin, Olivera
4332015Informaciono-komunikacione tehnologije i obrazovanje učenika sa razvojnim smetnjamaKovačević, Ivana; Džamić, Dušan; Radović, Slaviša; Marić, Miroslav M64
4342015Awaiting for the ranges: C++17Čukić, Ivan M33
4352015Unapređ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
4362015The influence of technology in inclusive learning: Platform "Završni ispit"Radojičić, Marija; Radović, Slaviša; Džamić, Dušan; Marić, Miroslav M64
4372015Stvaranje 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
4382015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, VesnaM63
4392015Memetic algorithm for the balanced resource location problem with preferencesMišković, Stefan ; Stanimirović, Zorica M33
4402015Simulation of Software Defined Networks in Mininet environmentMisić, M.; Gajin, Slavko M33
44114-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
4421-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
4431-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir M22
4441-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
4451-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
4461-Jan-2014Memetic algorithm for solving the multilevel uncapacitated facility location problemMarić, Miroslav ; Stanimirović, Zorica ; Djenić, Aleksandar; Stanojević, Predrag
4471-Jan-2014Enriching SerbianWordNet and electronic dictionaries with terms from the culinary domainVujičić Stanković, Staša ; Krstev, Cvetana; Vitas, DuškoM33
4481-Jan-2014A hybrid Evolutionary Algorithm for efficient exploration of online social networksStanimirović, Zorica ; Mišković, Stefan 
4491-Jan-2014Two efficient hybrid metaheuristic methods for solving the load balance problemStanimirović, Zorica ; Marić, Miroslav ; Radojičić Matić, Nina ; Bǒzović, Srdjan
4501-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33