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 733 (Search time: 0.024 seconds).

Issue DateTitleAuthor(s)Rank
4011-Feb-2015An efficient variable neighborhood search for solving a robust dynamic facility location problem in emergency service networkMišković, Stefan ; Stanimirović, Zorica ; Grujičić, Igor
4021-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar M21a
4031-Jan-2015Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, ŽarkoM33
4041-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, AleksandarM23
1551-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
1561-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna ; Janičić, Predrag ; Schreck, PascalM33
1571-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad M21a+
1582015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
1592015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
1602015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
1612015Predictive models based on support vector machines for structured outputsKovačević, Jovana ; Pavlović Lažetić, GordanaM64
1622015meSAT: Multiple Encodings of CSP to SATStojadinović, Mirko; Marić, Filip M34
1632015A Memetic algorithm for solving Quadratic Assignment ProblemDžamić, Dušan; Marić, Miroslav ; Lazović, BojanaM63
1642015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna M70
1652015Intrinsically 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
1662015Digitalizacija zaostavštine Srba u mestu Osredak u Bosni i HercegoviniMaljković Ružičić, Mirjana ; Malbašić, DraganaM64
1672015On-line compendium of triangle construction problems with automatically generated solutionsMarinković, Vesna 
1682015Reactive programming and QtČukić, Ivan M34
1692015Parallel variable neighborhood search algorithm to minimize the makespan on hybrid flow shop problemsDžamić, Dušan; Đenić, Aleksandar; Marić, Miroslav M63
1702015Strukturna predikcija funkcije proteina i odnos funkcionalnih kategorija i neuređenostiKovačević, Jovana M70
1712015Serbian and International Honors Awarded to Milutin MilankovićPejović, Nadežda; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM64
1722015Primena keširanja u metaheuristici zasnovanoj na elektromagnetizmuFilipović, Vladimir ; Kartelj, Aleksandar ; Matić, D.M64
1732015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М63
1742015Functional Reactive Programming in C++Čukić, Ivan M33
1752015Solving Large Scale Instances of Hub Location Problems with a Sub-problem Using an Exact MethodMarić, Miroslav ; Stanojević, Predrag
1762015Task scheduling with the continuation monadČukić, Ivan M33
1772015Language Independent n-Gram-Based Text Categorization with Weighting Factors: A Case StudyGraovac, Jelena ; Pavlović Lažetić, Gordana; Kovačević, Jovana 
1782015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M64
1792015On the GeoGebra supported collaborative learningTakači, Đurđica; Stankov, Gordana; Marić, Miroslav M34
1802015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna M23
1812015Pursuit 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
1822015Digitalizacija arhive studentske službe Matematičkog fakulteta u BeograduMitić, Nenad ; Malkov, Saša ; Vukša Popović, Nikolina ; Stojanović, BiljanaM64
1832015Geogebrom kroz svet matematikeJezdimirović, J.; Radović, S.; Marić, Miroslav M64
1842015Mogućnosti primene IKT-a i platforme eZbirka u nastavnim aktivnostimaRadović, Slaviša; Marić, Miroslav ; Golubović, LjiljanaM33
1852015A Survey of Interactive Theorem ProvingMarić, Filip M14
1862015A strategic approach to providing cloud services for research and education communityGajin, Slavko ; Hackett, Robert; Galeazzi, Fulvio; Pegaime, JoaoM33
1872015Scientific Papers of Milutin Milanković in his Digital LegacyPejović, Nadežda; Malkov, Saša ; Mitić, Nenad ; Mijajlović, ŽarkoM53
1882015Информатика 2 - уџбеник за други разред гимназије [1. izd.]Marić, Filip ; Trajković, Srđan; Trifunović, Duško; Kljajić, Ivan; Gračanin, Olivera
1892015Informaciono-komunikacione tehnologije i obrazovanje učenika sa razvojnim smetnjamaKovačević, Ivana; Džamić, Dušan; Radović, Slaviša; Marić, Miroslav M64
1902015Awaiting for the ranges: C++17Čukić, Ivan M33
1912015Unapređ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
1922015The influence of technology in inclusive learning: Platform "Završni ispit"Radojičić, Marija; Radović, Slaviša; Džamić, Dušan; Marić, Miroslav M64
1932015Stvaranje 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
1942015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, VesnaM63
1952015Memetic algorithm for the balanced resource location problem with preferencesMišković, Stefan ; Stanimirović, Zorica M33
1962015Simulation of Software Defined Networks in Mininet environmentMisić, M.; Gajin, Slavko M33
19714-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
1981-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
1991-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir M22
2001-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran