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.008 seconds).

Issue DateTitleAuthor(s)Rank
3011-Jan-2016An RDF dataset generator for the social network benchmark with real-world coherenceSpasić, Mirko ; Jovanovik, Milos; Prat-Pérez, Arnau
3021-Jan-2016New model of maximal covering location problem with fuzzy conditionsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
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
572016Ekstrakcija informacija vođena ontologijama (Model za srpski jezik)Vujičić Stanković, Staša M70
582016Annual 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
592016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana D
601-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
6115-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
621-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.
6317-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 
641-Apr-2015Hybrid metaheuristic method for determining locations for long-term health care facilitiesMarić, Miroslav ; Stanimirović, Zorica ; Božović, Srdjan
651-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
661-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar 
671-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
681-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna; Janičić, Predrag ; Schreck, PascalM33
691-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, Aleksandar
701-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad 
712015Upotreba vlastitih imena u kulinarskom domenuVujičić Stanković, Staša ; Pajić, Vesna
722015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
732015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
742015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
752015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M34
762015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М33
7714-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
781-Oct-2014An integer linear formulation for the file transfer scheduling problemDražić, Zorica ; Savić, Aleksandar ; Filipović, Vladimir 
791-Oct-2014Electromagnetism-like algorithm for support vector machine parameter tuningKartelj, Aleksandar ; Mitić, Nenad ; Filipović, Vladimir ; Tošić, Dušan
801-Jan-2014Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, Žarko
811-Jan-2014Memetic algorithm for solving the multilevel uncapacitated facility location problemMarić, Miroslav ; Stanimirović, Zorica ; Djenić, Aleksandar; Stanojević, Predrag
821-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip 
831-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33
841-Jan-2014Case-based reasoning and electromagnetism-like method in construction managementKartelj, Aleksandar ; Šurlan, Nebojša; Cekić, Zoran
851-Jan-2014Two efficient hybrid metaheuristic methods for solving the load balance problemStanimirović, Zorica ; Marić, Miroslav ; Radojičić Matić, Nina ; Bǒzović, Srdjan
861-Jan-2014A hybrid Evolutionary Algorithm for efficient exploration of online social networksStanimirović, Zorica ; Mišković, Stefan 
871-Jan-2014Enriching SerbianWordNet and electronic dictionaries with terms from the culinary domainVujičić Stanković, Staša ; Krstev, Cvetana; Vitas, DuškoM33
882014Distributed Gaussian Conditional Random Fields Based Regression for Large Evolving GraphsJelena Slivka; Nikolić, Mladen ; Kosta Ristovski; Vladan Radosavljević; Zoran ObradovićM33
892014Regresiona verifikacija softvera koriscenjem sistema LAVVujošević Janičić, Milena 
902014System LAV and Automated Evaluation of Students’ ProgramsVujošević Janičić, Milena M34
912014Finite State Transducers for Generating Texts of Meteorological Reports in SerbianPajić, Vesna; Vujičić Stanković, Staša 
922014Formiranje domenskog korpusa – kulinarska leksikaVujičić Stanković, Staša ; Pajić, Vesna
932014Benchmark 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
942014LDBC Benchmark Auditing Policies. Project Deliverable from Project LDBCErling, Orri; Spasić, Mirko 
952014A Few New Utilities Developed at University of BelgradeVitas, Duško; Spasić, Mirko ; Krstev, Cvetana; Vasiljević, Nebojša; Šošić, MarkoM33
962014What 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
972014What 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
982014Epitope 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 
992014Epitope distribution in ordered and disordered protein regions - part A. T-cell epitope frequency, affinity and hydropathyMitić, Nenad ; Pavlović, Mirjana D; Jandrlić, Davorka R
1001-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