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 551-600 of 734 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)Rank
5512013Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter ProofsStojanović-Djurdjević. Sana M33
5522013Model sistema za ekstrakciju informacija iz tekstova pisanih na srpskom jezikuVujičić Stanković, Staša 
5532013Different statistical methods for calculations of amino acid propensities toward certain secondary protein structure typesVeljković, Dušan Ž; Grubor, H; Malkov, Saša ; Zarić, Snežana DM34
5542013History of Mathematical Logic in SerbiaBorisavljević, Mirjana; Vukomanović, Đorđe; Gilezan, Silvia; Janičić, Predrag ; Krapež, Aleksandar; Kurilić, Miloš S; Marković, Zoran; Mijajlović, Žarko; Ognjanović, Zoran; Pantović, Jovanka; Petrić, Zoran; Stanković, Miomir; Stanković, Radomir; Stojmenović, IvanM14
55512-Dec-2012The role of fuzzy sets in improving maximal covering location problem (MCLP)Takači, Aleksandar; Marić, Miroslav ; Drakulić, DarkoM33
5561-Dec-2012Variable neighborhood search for Multiple Level Warehouse Layout ProblemMatić, Dragan; Kratica, Jozef; Filipović, Vladimir ; Dugošija, Djordje
5571-Dec-2012An integer linear programming formulation and genetic algorithm for the maximum set splitting problemLazović, Bojana; Marić, Miroslav ; Filipović, Vladimir ; Savić, Aleksandar M23
5581-Dec-2012Metaheuristic methods for solving the Bilevel Uncapacitated Facility Location Problem with Clients' PreferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenković, NikolaM33
5591-Dec-2012Measuring similarity of graph nodes by neighbor matchingNikolić, Mladen M23
5601-Dec-2012Information extraction from the weather reports in serbianVujičić Stanković, Staša ; Pajić, VesnaM63
5611-Dec-2012Linked open data infrastructure for public sector information: Example from SerbiaJanev, Valentina; Miloševic, Uroš; Spasić, Mirko ; Milojković, Jelena; Vraneš, SanjaM34
56217-Oct-2012The modification of genetic algorithms for solving the balanced location problemFilipović, Vladimir ; Kratica, Jozef; Savić, Aleksandar ; Dugošija, DjordjeM33
56317-Oct-2012Integrating serbian public data into the LOD cloudJanev, Valentina; Milošević, Uroš; Spasić, Mirko ; Vraneš, Sanja; Milojković, Jelena; Jireček, BrankoM63
56430-Sep-2012URSA: A system for uniform reduction to SATJaničić, Predrag M22
1513-Sep-2012Formalization of incremental simplex algorithm by stepwise refinementSpasić, Mirko ; Marić, Filip M33
1623-Aug-2012Novel approaches to automated personality classification: Ideas and their potentialsKartelj, Aleksandar ; Filipović, Vladimir ; Milutinović, VeljkoM33
1717-Aug-2012Formalizing Frankl's conjecture: FC-familiesMarić, Filip ; Živković, Miodrag; Vučković, BojanM33
1817-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33
1917-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag M33
2023-Jul-2012A classification and comparison of Data Mining algorithms for Wireless Sensor NetworksVujičić Stanković, Staša ; Rakočevic, Goran; Kojić, Nemanja; Milićev, DraganM33
217-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, ViktorM33
221-Jan-2012A genetic algorithm for the routing and carrier selection problemKratica, Jozef; Kostić, Tijana; Tǒsić, Dušan; Dugǒsija, Djordje; Filipović, Vladimir M22
231-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, PedroM21
241-Jan-2012An efficient evolutionary algorithm for locating long-term care facilitiesStanimirović, Zorica ; Marić, Miroslav ; Božović, Srdjan; Stanojević, Predrag
252012Implementation of visitor pattern in processing a syntax tree in Qlab projectĐenić, Aleksandar; Marić, Miroslav ; Mladenović, Marko; Božović, Srđan; Netković, MilošM24
262012An efficient heuristic approach for solving the max-min diversity problemRadojičić Matić, Nina ; Marić, Miroslav ; Stanimirović, Zorica ; Božović, Srđan
272012Epitope Location in Ordered and Disordered Regions of Tumor-associated Antigen EBNA 1Pavlović, Mirjana; Jandrlić, Davorka; Simić-Krstić, Jovana B; Mitić, Nenad M33
282012T-cell epitope clustering in different structural regions of cancer/testis antigen proteinsMitić, Nenad ; Pavlović, Mirjana; Jandrlić, Davorka R; Malkov, Saša M63
292012N-gram analysis of prokaryotic genomes: characteristics and predictions of genomic islandsMitić, Nenad ; Pavlović, Mirjana; Jandrlić, Davorka R; Kovačević, Jovana ; Malkov, Saša ; Beljanski, MilošM34
302012Serbian text categorization using byte level n-gramsGraovac, Jelena M33
312012Digital legacy 'Milutin Milanković"Pejović, Nadežda R; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM64
322012Uticaj udaljenosti industrijske zone na kontaminaciju zemljišta teškim metalimaStefanovic, Violeta Mickovski; Glamočlija, Đorđe; Popović, Vera; Filipović, Vladimir ; Urgenović, Vladan
332012Datamining in WSNs Based on Mobile Agents -Knežević, Milica; Mitić, Nenad ; Milutinović, Veljko; Ognjanović, ZoranM30
342012Publishing Statistical Data as Linked Open DataMilošević, Uroš; Janev, Valentina; Spasić, Mirko ; Milojković, Jelena; Vranes, SanjaM33
352012ArgoSMTExpression: an SMT-LIB 2.0 compliant expression libraryBanković, Milan M34
362012T-cell epitope clustering in different structural regions of cancer/testis antigensMitić, Nenad ; Pavlović, Mirjana D; Jandrlić, Davorka R; Malkov, Saša M34
372012Balcon project: The preconference tutorial vector on advanced issues in monitoring and control (M+C), by the University of BelgradeKnežević, Milica; Milutinović, Veljko; Mitić, Nenad ; Obradović, ZoranM63
382012Agent Based Data Mining in Wireless Sensor Networks: A SurveyKnežević, Milica; Mitić, Nenad ; Milutinović, Veljko; Ognjanović, ZoranM50
392012Razvoj i primena interaktivnog obrazovnog softvera iz matematike za decu predškolskog uzrastaMarić, Miroslav ; Marić, Milena; Radaković, KM33
402012GeoGebra - alat za modelovanje i dinamičke konstrukcijeRadojičić, Marija M; Arsić, A; Radović, S; Marić, Miroslav M63
412012Nov metod ekstrakcije informacija baziran na transduktorimaPajić, Vesna; Pajić, Miloš; Vujičić Stanković, Staša 
422012Transducers for Annotating Weather Information in Meteorological TextsPajić, Vesna; Vujičić Stanković, Staša ; Pajić, Miloš
432012Automated Personality ClassificationKartelj, Aleksandar ; Milutinović, Veljko M; Filipović, Vladimir M63
442012Metod optimizacije za efikasno otkrivanje i prevenciju vršnjačkog nasilja na društvenim mrežamaStanimirović, Zorica ; Mišković, Stefan ; Trifunović, DarkoM43
452012Formalizing Analytic GeometriesMarić, Filip ; Simić, Danijela М30
462012T-cell epitope frequency in ordered and disordered protein regionsMitić, Nenad ; Pavlović, Mirjana; Jandrlić, DavorkaM64
472012Transduktori za označavanje podataka o vremenskim prilikama u meteorološkim tekstovima na srpskom jezikuPajić, Vesna; Vujičić Stanković, Staša ; Pajić, MilošM53
482012Design and Setup of Benchmarking System. Project Deliverable from Project GeoKnowSpasić, Mirko ; Williams, Hugh; Erling, Orri; Mikhailov, Ivan
492012Computational analysis of position-dependent disorder content in DisProt databaseKovačević, Jovana 
502012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33