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 251-300 of 435 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)Rank
2511-Jan-2017A hybrid metaheuristic method for the deterministic and robust uncapacitated multiple allocation p-hub centre problemMišković, Stefan ; Stanimirović, Zorica 
2521-Jan-2017Parallelization of software verification tool LAVZivković, Branislava; Vujošević Janičić, Milena M34
2531-Jan-201770 years of the mathematical society of SerbiaAndrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle 
2541-Jan-2017Fuzzy covering location problems with different aggregation operatorsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
2551-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
2562017Modelling Program Behaviour within Software Verification Tool LAVVujošević Janičić, Milena 
2572017Sistem za generisanje programskih segmenata za ispitivanje u oblasti vremenske složenosti algoritamaPesic, Djordje; Misic, Marko; Protic, Jelica; Vujošević Janičić, Milena M63
2582017First Version of the Data Storage Benchmark. Project Deliverable from Project HOBBITJovanovik, Miloš; Spasić, Mirko 
2592017Annual Public Report of the Second Year. Project Deliverable from Project HOBBITNgonga Ngomo, Axel-Cyrille; Röder, Michael; Georgala, Kleanthi; Speck, René; Stadler, Claus; Jochimsen, Nadine; Sedrakyan, Gayane; Strohbach, Martin; Smirnov, Pavel; Lehmann, Jens; Napolitano, Giulio; Haarmann, Bastian; Korf, Roman; Schumacher, Alexa; Fundulaki, Irini; Saveta, Tzanina; Papakonstantinou, Vassilis; Georgis, Christos; Tzortzis, Grigorios; Rentoumi, Vassiliki; Spasić, Mirko ; Jovanovik, Milos; Kannenberg, Oliver
2602017New 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
2611-Oct-2016Extending SMT solvers with support for finite domain alldifferent constraintBanković, Milan M22
2621-May-2016Parallel VNS for Bus Terminal Location ProblemDjenić, Aleksandar; Radojičić Matić, Nina ; Marić, Miroslav ; Mladenović, Marko
2631-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag M51
2641-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 M21
26520-Jan-2016Memetic algorithm for the balanced resource location problem with preferencesMišković, Stefan ; Stanimirović, Zorica 
2661-Jan-2016Solving finite-domain linear constraints in presence of the alldifferentBanković, Milan M22
2671-Jan-2016An extension of maximal covering location problem based on the Choquet integralTakači, Aleksandar; Štajner-Papuga, Ivana; Drakulić, Darko; Marić, Miroslav 
2681-Jan-2016An RDF dataset generator for the social network benchmark with real-world coherenceSpasić, Mirko ; Jovanovik, Milos; Prat-Pérez, Arnau
2691-Jan-2016New model of maximal covering location problem with fuzzy conditionsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
2701-Jan-2016Hybrid metaheuristic method for solving a multi-period emergency service location problemMišković, Stefan ; Stanimirović, Zorica 
2712016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
2722016Feature Extraction for Rasters Using AutoencodersMiloš Manić; Nikolić, Mladen M33
2732016Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C)Vujošević Janičić, Milena ; Graovac, Jelena ; Radojičić Matić, Nina ; Spasić, Ana; Spasić, Mirko ; An\djelka Zečević
2742016Automatsko utvrđivanje sličnosti kuvarskih recepata upotrebom metoda ekstrakcije informacijaVujičić Stanković, Staša ; Pajić, Vesna
2752016Ekstrakcija informacija vođena ontologijama (Model za srpski jezik)Vujičić Stanković, Staša M70
2762016Annual Public Report of the First Year. Project Deliverable from Project HOBBITJochimsen, Nadine; Ngonga Ngomo, Axel-Cyrille; Röder, Michael; Georgala, Kleanthi; Speck, René; Saillau, Frank; Taelman, Ruben; Strohbach, Martin; Katerinenko, Roman; Lehmann, Jens; Peztka, Henning; Haarmann, Bastian; Korf, Roman; Schumacher, Alexa; Fundulaki, Irini; Saveta, Tzanina; Krithara, Anastasia; Rentoumi, Vassiliki; Spasić, Mirko ; Jovanovik, Milos; Kannenberg, Oliver
2772016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana D
2781-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of Тarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag М22
27915-Jun-2015Automated Theorem Proving in GeoGebra: Current AchievementsBotana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, SimonM21
2801-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.
28117-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 
2821-Apr-2015Hybrid metaheuristic method for determining locations for long-term health care facilitiesMarić, Miroslav ; Stanimirović, Zorica ; Božović, Srdjan
2831-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
2841-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar 
2851-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, Aleksandar
2861-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad 
2871-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna; Janičić, Predrag ; Schreck, PascalM33
2881-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
2892015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, Vesna
2902015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
2912015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
2922015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
2932015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M34
2942015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М33
29514-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
2961-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
2971-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir 
2981-Jan-2014Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, Žarko
2991-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
3001-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33