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 101-150 of 243 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)Rank
1011-Apr-2017A variable neighbourhood search method for solving the long-term care facility location problemDjenić, Aleksandar; Marić, Miroslav ; Stanimirović, Zorica ; Stanojević, Predrag
1021-Jan-2017MOCHA 2017 as a challenge for VirtuosoSpasić, Mirko ; Jovanovik, Milos
1031-Jan-2017Parallelization of software verification tool LAVZivković, Branislava; Vujošević Janičić, Milena 
1041-Jan-201770 years of the mathematical society of SerbiaAndrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle 
1051-Jan-2017A New Course on R&D Project Management in Computer Science and Engineering: Subjects Taught, Rationales Behind, and Lessons LearnedMilutinović, Veljko; Draskovic, Drazen; Misic, Marko; Vujičić Stanković, Staša ; Jovic, Aleksandar; Furundzic, Danilo
1061-Jan-2017Hierarchical vs. Flat n-gram-based text categorization: Can we do better?Graovac, Jelena ; Kovačević, Jovana ; Pavlović-Lažetić, Gordana
1071-Jan-2017Fuzzy covering location problems with different aggregation operatorsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
1081-Jan-2017MOCHA2017: The mighty storage challenge at ESWC 2017Georgala, Kleanthi; Spasić, Mirko ; Jovanovik, Milos; Petzka, Henning; Röder, Michael; Ngomo, Axel Cyrille Ngonga
1091-Jan-2017A two-phase optimization method for solving the multi-type maximal covering location problem in emergency service networksStanimirović, Zorica ; Mišković, Stefan ; Trifunović, Darko; Veljović, Veselin
1101-Jan-2017A hybrid metaheuristic method for the deterministic and robust uncapacitated multiple allocation p-hub centre problemMišković, Stefan ; Stanimirović, Zorica 
1112017New software for collecting data from the organized cervical cancer screening program in Serbia. Are we on the threshold of a new screening registry? - A multicentric studyNaumovic, Tamara; Lakic, Vesna; Jovicevic, Ana; Ilic, Dragan; Milosevic, Predrag; Stevic-Gajic, Vesna; Antonijevic, Ana; Milovanovic, Nada; Magdic, Ivica; Koricanac, Rajko; Malkov, Saša ; Grkavac, Igor; Mihajlovic, Milos; Djuricic, Slavisa; Zivkovic, Branislava; Stegic, Uros; Milovanovic, Zorka; Opric, Dejan; Knezevic, Marija; Jovanovic, Verica; Todorovic, Zoran; Todorovic, Dusan
1121-May-2016Parallel VNS for Bus Terminal Location ProblemDjenić, Aleksandar; Radojičić Matić, Nina ; Marić, Miroslav ; Mladenović, Marko
1131-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 
1141-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag 
11520-Jan-2016Memetic algorithm for the balanced resource location problem with preferencesMišković, Stefan ; Stanimirović, Zorica 
1161-Jan-2016An extension of maximal covering location problem based on the Choquet integralTakači, Aleksandar; Štajner-Papuga, Ivana; Drakulić, Darko; Marić, Miroslav 
1171-Jan-2016Hybrid metaheuristic method for solving a multi-period emergency service location problemMišković, Stefan ; Stanimirović, Zorica 
1181-Jan-2016An RDF dataset generator for the social network benchmark with real-world coherenceSpasić, Mirko ; Jovanovik, Milos; Prat-Pérez, Arnau
1191-Jan-2016New model of maximal covering location problem with fuzzy conditionsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
1202016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana D
1211-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of tarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag 
12215-Jun-2015Automated Theorem Proving in GeoGebra: Current AchievementsBotana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon
1231-Jun-2015Plant regeneration in leaf culture of Centaurium erythraea Rafn. Part 2: the role of arabinogalactan proteinsSimonović, Ana D.; Filipović, Biljana K.; Trifunović, Milana M.; Malkov, Saša ; Milinković, Vedrana P.; Jevremović, Slađana B.; Subotić, Angelina R.
12417-Apr-2015A hybridization of an evolutionary algorithm and a parallel branch and bound for solving the capacitated single allocation hub location problemStanojević, Predrag; Marić, Miroslav ; Stanimirović, Zorica 
1251-Apr-2015Hybrid metaheuristic method for determining locations for long-term health care facilitiesMarić, Miroslav ; Stanimirović, Zorica ; Božović, Srdjan
1261-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
1271-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, Aleksandar
1281-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar 
1291-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna; Janičić, Predrag ; Schreck, Pascal
1301-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, Marko
1311-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad 
13214-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, Darko
1331-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
1341-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir 
1351-Jan-2014Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, Žarko
1361-Jan-2014Memetic algorithm for solving the multilevel uncapacitated facility location problemMarić, Miroslav ; Stanimirović, Zorica ; Djenić, Aleksandar; Stanojević, Predrag
1371-Jan-2014A hybrid Evolutionary Algorithm for efficient exploration of online social networksStanimirović, Zorica ; Mišković, Stefan 
1381-Jan-2014A vernacular for coherent logicStojanović, Sana; Narboux, Julien; Bezem, Marc; Janičić, Predrag 
1391-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
1401-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
1411-Jan-2014Two efficient hybrid metaheuristic methods for solving the load balance problemStanimirović, Zorica ; Marić, Miroslav ; Radojičić Matić, Nina ; Bǒzović, Srdjan
1421-Jan-2014Enriching SerbianWordNet and electronic dictionaries with terms from the culinary domainVujičić Stanković, Staša ; Krstev, Cvetana; Vitas, Duško
1432014What are preferred water-aromatic interactions in proteins and crystal structures of small molecules?Janjić, Goran V; Malkov, Saša ; Zivković, Miodrag V; Zarić, Snežana D
1442014What are the preferred horizontal displacements of aromatic-aromatic interactions in proteins? Comparison with the calculated benzene-benzene potential energy surfaceNinković, Dragan B; Andrić, Jelena M; Malkov, Saša ; Zarić, Snežana D
1452014Epitope distribution in ordered and disordered protein regions. Part B - Ordered regions and disordered binding sites are targets of T- and B-cell immunityPavlović, Mirjana D; Jandrlić, Davorka R; Mitić, Nenad 
1462014Epitope distribution in ordered and disordered protein regions - part A. T-cell epitope frequency, affinity and hydropathyMitić, Nenad ; Pavlović, Mirjana D; Jandrlić, Davorka R
1471-Dec-2013Simple algorithm portfolio for SATNikolić, Mladen ; Marić, Filip ; Janičić, Predrag 
1481-Dec-2013Comparison of interpolation polynomials with divided differences, interpolation polynomials with finite differences, and quadratic functions obtained by the least squares method in modeling of chromatographic responsesRakić, Tijana; Stanimirović, Zorica ; Denić, Aleksandar; Marić, Miroslav ; Jančić-Stojanovic, Biljana; Medenica, Mirjana
1491-Dec-2013Solving minimal covering location problem (MinCLP) with the aid of fuzzy setsTakači, Aleksandar; Marić, Miroslav ; Drakulić, Darko
15031-Oct-2013Efficient metaheuristic approaches for exploration of online social networksStanimirović, Zorica ; Mišković, Stefan