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 301-350 of 475 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)Rank
3011-Jan-2016New model of maximal covering location problem with fuzzy conditionsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
3021-Jan-2016An extension of maximal covering location problem based on the Choquet integralTakači, Aleksandar; Štajner-Papuga, Ivana; Drakulić, Darko; Marić, Miroslav 
3031-Jan-2016Hybrid metaheuristic method for solving a multi-period emergency service location problemMišković, Stefan ; Stanimirović, Zorica 
3041-Jan-2016Packet dispersion strategy evaluation from the perspective of packet loss pattern and VoIP qualityNinkovic, Nemanja; Gajin, Slavko ; Reljin, IriniM23
3052016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
3062016Feature Extraction for Rasters Using AutoencodersMiloš Manić; Nikolić, Mladen M33
3072016Programiranje 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ć
3082016Automatsko utvrđivanje sličnosti kuvarskih recepata upotrebom metoda ekstrakcije informacijaVujičić Stanković, Staša ; Pajić, Vesna
3092016Ekstrakcija informacija vođena ontologijama (Model za srpski jezik)Vujičić Stanković, Staša M70
3102016Annual 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
3112016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana D
3122016Theoretical models and new spline interpolation technique in modeling of HILIC retention behaviour on the example of olanzapine and its eight impuritiesTumpa, Anja; Mišković, Stefan ; Stanimirović, Zorica ; Stojanović, Biljana; Medenica, MirjanaM34
3132016The influence of amino acids physicochemical properties and frequencies on identifying MHC binding ligandsJandrlić, Davorka; Mitić, Nenad ; Pavlović, MirjanaM64`
3142016Application of a Structural Support Vector Machine Method to N-gram Based Text Classification in SerbianKovačević, Jovana ; Graovac, Jelena M53
3152016Wernick's List: A Final UpdateJaničić, Predrag ; Marinković, Vesna ; Schreck, Pascal; Mathis, Pascal
3162016For a brighter QFutureČukić, Ivan M33
3171-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
31815-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
3191-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.
32017-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 
3211-Apr-2015Hybrid metaheuristic method for determining locations for long-term health care facilitiesMarić, Miroslav ; Stanimirović, Zorica ; Božović, Srdjan
3221-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
3231-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar 
3241-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, Aleksandar
3251-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna; Janičić, Predrag ; Schreck, PascalM33
3261-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad 
3271-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
3282015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, Vesna
3292015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
3302015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
3312015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
3322015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M34
3332015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М33
33414-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
3351-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
3361-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir 
3371-Jan-2014Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, Žarko
3381-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33
3391-Jan-2014A hybrid Evolutionary Algorithm for efficient exploration of online social networksStanimirović, Zorica ; Mišković, Stefan 
3401-Jan-2014Two efficient hybrid metaheuristic methods for solving the load balance problemStanimirović, Zorica ; Marić, Miroslav ; Radojičić Matić, Nina ; Bǒzović, Srdjan
3411-Jan-2014Enriching SerbianWordNet and electronic dictionaries with terms from the culinary domainVujičić Stanković, Staša ; Krstev, Cvetana; Vitas, DuškoM33
3421-Jan-2014Memetic algorithm for solving the multilevel uncapacitated facility location problemMarić, Miroslav ; Stanimirović, Zorica ; Djenić, Aleksandar; Stanojević, Predrag
3431-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
3441-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
3452014Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving GraphsJelena Slivka; Nikolić, Mladen ; Kosta Ristovski; Vladan Radosavljević; Zoran ObradovićM33
3462014Regresiona verifikacija softvera koriscenjem sistema LAVVujošević Janičić, Milena 
3472014System LAV and Automated Evaluation of Students’ ProgramsVujošević Janičić, Milena M34
3482014Finite State Transducers for Generating Texts of Meteorological Reports in SerbianPajić, Vesna; Vujičić Stanković, Staša 
3492014Formiranje domenskog korpusa – kulinarska leksikaVujičić Stanković, Staša ; Pajić, Vesna
3502014Benchmark 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