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 501-550 of 610 (Search time: 0.012 seconds).

Issue DateTitleAuthor(s)Rank
5012013Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter ProofsStojanović-Djurdjević. Sana M33
22013Razvoj novih modela predviđanja retencionog ponašanja u tečnoj hromatografiji hidrofilnih interakcijaRakić, Tijana; Đenić, Aleksandar; Marić, Miroslav ; Stanimirović, Zorica ; Stojanović, Biljana SM63
312-Dec-2012The role of fuzzy sets in improving maximal covering location problem (MCLP)Takači, Aleksandar; Marić, Miroslav ; Drakulić, DarkoM33
41-Dec-2012Measuring similarity of graph nodes by neighbor matchingNikolić, Mladen M23
51-Dec-2012Variable neighborhood search for Multiple Level Warehouse Layout ProblemMatić, Dragan; Kratica, Jozef; Filipović, Vladimir ; Dugošija, Djordje
61-Dec-2012Metaheuristic methods for solving the Bilevel Uncapacitated Facility Location Problem with Clients' PreferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenković, Nikola
71-Dec-2012An integer linear programming formulation and genetic algorithm for the maximum set splitting problemLazović, Bojana; Marić, Miroslav ; Filipović, Vladimir ; Savić, Aleksandar M23
81-Dec-2012Linked open data infrastructure for public sector information: Example from SerbiaJanev, Valentina; Miloševic, Uroš; Spasić, Mirko ; Milojković, Jelena; Vraneš, SanjaM34
91-Dec-2012Information extraction from the weather reports in serbianVujičić Stanković, Staša ; Pajić, VesnaM63
1017-Oct-2012Integrating serbian public data into the LOD cloudJanev, Valentina; Milošević, Uroš; Spasić, Mirko ; Vraneš, Sanja; Milojković, Jelena; Jireček, BrankoM63
1117-Oct-2012The modification of genetic algorithms for solving the balanced location problemFilipović, Vladimir ; Kratica, Jozef; Savić, Aleksandar ; Dugošija, DjordjeM33
1230-Sep-2012URSA: A system for uniform reduction to SATJaničić, Predrag M22
1313-Sep-2012Formalization of incremental simplex algorithm by stepwise refinementSpasić, Mirko ; Marić, Filip M33
1423-Aug-2012Novel approaches to automated personality classification: Ideas and their potentialsKartelj, Aleksandar ; Filipović, Vladimir ; Milutinović, VeljkoM33
1517-Aug-2012Formalizing Frankl's conjecture: FC-familiesMarić, Filip ; Živković, Miodrag; Vučković, BojanM33
1617-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33
1717-Aug-2012CDCL-based abstract state transition system for coherent logicNikolić, Mladen ; Janičić, Predrag M33
1823-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
197-Feb-2012Development and evaluation of LAV: An SMT-based error finding platform: System descriptionVujošević Janičić, Milena ; Kuncak, ViktorM33
201-Jan-2012The area method: A recapitulationJaničić, Predrag ; Narboux, Julien; Quaresma, PedroM21
211-Jan-2012An efficient evolutionary algorithm for locating long-term care facilitiesStanimirović, Zorica ; Marić, Miroslav ; Božović, Srdjan; Stanojević, Predrag
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
232012Hibridni evolutivni algoritam za rešavanje hab lokacijskog problema neograničenih kapaciteta sa jednostrukim alokacijamaStanimirović, Zorica ; Marić, Miroslav 
242012Nov metod ekstrakcije informacija baziran na transduktorimaPajić, Vesna; Pajić, Miloš; Vujičić Stanković, Staša 
252012Transducers for Annotating Weather Information in Meteorological TextsPajić, Vesna; Vujičić Stanković, Staša ; Pajić, Miloš
262012Publishing Statistical Data as Linked Open DataMilošević, Uroš; Janev, Valentina; Spasić, Mirko ; Milojković, Jelena; Vranes, SanjaM33
272012Design and Setup of Benchmarking System. Project Deliverable from Project GeoKnowSpasić, Mirko ; Williams, Hugh; Erling, Orri; Mikhailov, Ivan
282012Implementation of visitor pattern in processing a syntax tree in Qlab projectĐenić, Aleksandar; Marić, Miroslav ; Mladenović, Marko; Božović, Srđan; Netković, MilošM24
292012Computational analysis of position-dependent disorder content in DisProt databaseKovačević, Jovana 
302012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33
312012An efficient heuristic approach for solving the max-min diversity problemRadojičić Matić, Nina ; Marić, Miroslav ; Stanimirović, Zorica ; Božović, Srđan
322012Epitope Location in Ordered and Disordered Regions of Tumor-associated Antigen EBNA 1Pavlović, Mirjana; Jandrlić, Davorka; Simić-Krstić, Jovana B; Mitić, Nenad M33
332012T-cell epitope clustering in different structural regions of cancer/testis antigen proteinsMitić, Nenad ; Pavlović, Mirjana; Jandrlić, Davorka R; Malkov, Saša M63
342012N-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
352012Serbian text categorization using byte level n-gramsGraovac, Jelena M33
362012Digital legacy 'Milutin Milanković"Pejović, Nadežda R; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM64
372012Collaborative EuropeaN Digital/Archive Infrastructure (CENDARI) ProjekatKnežević, Milica; Marinković, Bojan; Ognjanović, Zoran; Čukić, Ivan ; Bulatović, NatašaM64
382012Uticaj udaljenosti industrijske zone na kontaminaciju zemljišta teškim metalimaStefanovic, Violeta Mickovski; Glamočlija, Đorđe; Popović, Vera; Filipović, Vladimir ; Urgenović, Vladan
391-Dec-2011Solving the two-dimensional packing problem with m-M calculusSavić, Aleksandar ; Šukilović, Tijana ; Filipović, Vladimir 
401-Dec-2011A genetic algorithm for solving multiple warehouse layout problemMatić, Dragan; Filipović, Vladimir ; Savić, Aleksandar ; Stanimirović, Zorica 
411-Dec-2011The influence of the use of educational software on the effectiveness of communication models in teachingPećanac, Rajko; Lambić, Dragan; Marić, Miroslav 
421-Dec-2011A metadata-supported distributed approach for data mining based prediction in wireless sensor networksVujičić Stanković, Staša ; Rakočević, Goran; Milutinović, VeljkoM33
431-Dec-2011A new genetic representation for quadratic assignment problemKratica, Jozef; Tošić, Dušan; Filipović, Vladimir ; Dugošija, Dorde
4425-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
458-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
462011Classification of Data Mining Algorithms and Concept Modeling Approaches in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
472011Simulator Strategy for Data Mining and Concept Modeling in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
482011Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceGoertzel, Ben; Geisweiller, Nil; De Souza Coelho, Lucio; Janičić, Predrag ; Pennachin, Cassio
492011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš V
501-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša