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 468 (Search time: 0.007 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-2016Hybrid metaheuristic method for solving a multi-period emergency service location problemMišković, Stefan ; Stanimirović, Zorica 
3032016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
3042016Feature Extraction for Rasters Using AutoencodersMiloš Manić; Nikolić, Mladen M33
3052016Programiranje 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ć
3062016Automatsko utvrđivanje sličnosti kuvarskih recepata upotrebom metoda ekstrakcije informacijaVujičić Stanković, Staša ; Pajić, Vesna
3072016Ekstrakcija informacija vođena ontologijama (Model za srpski jezik)Vujičić Stanković, Staša M70
3082016Annual 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
3092016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana D
3101-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
31115-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
3121-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.
31317-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 
3141-Apr-2015Hybrid metaheuristic method for determining locations for long-term health care facilitiesMarić, Miroslav ; Stanimirović, Zorica ; Božović, Srdjan
3151-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
3161-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar 
3171-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad 
3181-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna; Janičić, Predrag ; Schreck, PascalM33
3191-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, Aleksandar
3201-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
3212015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, Vesna
3222015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
3232015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
3242015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
3252015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M34
3262015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М33
32714-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
3281-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
3291-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir 
3301-Jan-2014Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, Žarko
3311-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33
3321-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
3331-Jan-2014Two efficient hybrid metaheuristic methods for solving the load balance problemStanimirović, Zorica ; Marić, Miroslav ; Radojičić Matić, Nina ; Bǒzović, Srdjan
3341-Jan-2014A hybrid Evolutionary Algorithm for efficient exploration of online social networksStanimirović, Zorica ; Mišković, Stefan 
3351-Jan-2014Enriching SerbianWordNet and electronic dictionaries with terms from the culinary domainVujičić Stanković, Staša ; Krstev, Cvetana; Vitas, DuškoM33
3361-Jan-2014Memetic algorithm for solving the multilevel uncapacitated facility location problemMarić, Miroslav ; Stanimirović, Zorica ; Djenić, Aleksandar; Stanojević, Predrag
3371-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
3382014Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving GraphsJelena Slivka; Nikolić, Mladen ; Kosta Ristovski; Vladan Radosavljević; Zoran ObradovićM33
3392014Regresiona verifikacija softvera koriscenjem sistema LAVVujošević Janičić, Milena 
3402014System LAV and Automated Evaluation of Students’ ProgramsVujošević Janičić, Milena M34
3412014Finite State Transducers for Generating Texts of Meteorological Reports in SerbianPajić, Vesna; Vujičić Stanković, Staša 
3422014Formiranje domenskog korpusa – kulinarska leksikaVujičić Stanković, Staša ; Pajić, Vesna
3432014Benchmark 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
3442014LDBC Benchmark Auditing Policies. Project Deliverable from Project LDBCErling, Orri; Spasić, Mirko 
3452014A Few New Utilities Developed at University of BelgradeVitas, Duško; Spasić, Mirko ; Krstev, Cvetana; Vasiljević, Nebojša; Šošić, MarkoM33
3462014What 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
3472014What 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
3482014Epitope 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 
3492014Epitope distribution in ordered and disordered protein regions - part A. T-cell epitope frequency, affinity and hydropathyMitić, Nenad ; Pavlović, Mirjana D; Jandrlić, Davorka R
3501-Dec-2013Simple algorithm portfolio for SATNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M22