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 693 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)Rank
5512012An efficient heuristic approach for solving the max-min diversity problemRadojičić Matić, Nina ; Marić, Miroslav ; Stanimirović, Zorica ; Božović, Srđan
5522012Epitope Location in Ordered and Disordered Regions of Tumor-associated Antigen EBNA 1Pavlović, Mirjana; Jandrlić, Davorka; Simić-Krstić, Jovana B; Mitić, Nenad M33
5532012T-cell epitope clustering in different structural regions of cancer/testis antigen proteinsMitić, Nenad ; Pavlović, Mirjana; Jandrlić, Davorka R; Malkov, Saša M63
5542012N-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
5552012Serbian text categorization using byte level n-gramsGraovac, Jelena M33
5562012Digital legacy 'Milutin Milanković"Pejović, Nadežda R; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM64
5572012Collaborative EuropeaN Digital/Archive Infrastructure (CENDARI) ProjekatKnežević, Milica; Marinković, Bojan; Ognjanović, Zoran; Čukić, Ivan ; Bulatović, NatašaM64
5582012Uticaj udaljenosti industrijske zone na kontaminaciju zemljišta teškim metalimaStefanovic, Violeta Mickovski; Glamočlija, Đorđe; Popović, Vera; Filipović, Vladimir ; Urgenović, Vladan
5592012Datamining in WSNs Based on Mobile Agents -Knežević, Milica; Mitić, Nenad ; Milutinović, Veljko; Ognjanović, ZoranM30
5602012Automated Personality ClassificationKartelj, Aleksandar ; Milutinović, Veljko M; Filipović, Vladimir M63
5612012Metod optimizacije za efikasno otkrivanje i prevenciju vršnjačkog nasilja na društvenim mrežamaStanimirović, Zorica ; Mišković, Stefan ; Trifunović, DarkoM43
5622012Formalizing Analytic GeometriesMarić, Filip ; Simić, Danijela М30
5632012T-cell epitope frequency in ordered and disordered protein regionsMitić, Nenad ; Pavlović, Mirjana; Jandrlić, DavorkaM64
5642012Transduktori za označavanje podataka o vremenskim prilikama u meteorološkim tekstovima na srpskom jezikuPajić, Vesna; Vujičić Stanković, Staša ; Pajić, MilošM53
5652012ArgoSMTExpression: an SMT-LIB 2.0 compliant expression libraryBanković, Milan M34
5662012T-cell epitope clustering in different structural regions of cancer/testis antigensMitić, Nenad ; Pavlović, Mirjana D; Jandrlić, Davorka R; Malkov, Saša M34
5672012Balcon 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
5682012Agent Based Data Mining in Wireless Sensor Networks: A SurveyKnežević, Milica; Mitić, Nenad ; Milutinović, Veljko; Ognjanović, ZoranM50
5692012Razvoj i primena interaktivnog obrazovnog softvera iz matematike za decu predškolskog uzrastaMarić, Miroslav ; Marić, Milena; Radaković, KM33
5702012GeoGebra - alat za modelovanje i dinamičke konstrukcijeRadojičić, Marija M; Arsić, A; Radović, S; Marić, Miroslav M63
5712012Hibridni evolutivni algoritam za rešavanje hab lokacijskog problema neograničenih kapaciteta sa jednostrukim alokacijamaStanimirović, Zorica ; Marić, Miroslav М33
5722012Computational analysis of position-dependent disorder content in DisProt databaseKovačević, Jovana 
5731-Dec-2011A genetic algorithm for solving multiple warehouse layout problemMatić, Dragan; Filipović, Vladimir ; Savić, Aleksandar ; Stanimirović, Zorica M51
5741-Dec-2011The influence of the use of educational software on the effectiveness of communication models in teachingPećanac, Rajko; Lambić, Dragan; Marić, Miroslav M23
5751-Dec-2011A new genetic representation for quadratic assignment problemKratica, Jozef; Tošić, Dušan; Filipović, Vladimir ; Dugošija, DordeM51
5761-Dec-2011Solving the two-dimensional packing problem with m-M calculusSavić, Aleksandar ; Šukilović, Tijana ; Filipović, Vladimir M51
5771-Dec-2011A metadata-supported distributed approach for data mining based prediction in wireless sensor networksVujičić Stanković, Staša ; Rakočević, Goran; Milutinović, VeljkoM33
57825-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
5798-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
5802011Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceGoertzel, Ben; Geisweiller, Nil; De Souza Coelho, Lucio; Janičić, Predrag ; Pennachin, CassioM11
5812011Simulator Strategy for Data Mining and Concept Modeling in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, VeljkoM33
5822011An Electromagnetism Metaheuristic for the Uncapacitated Multiple Allocation Hub Location ProblemFilipović, Vladimir M20
5832011Elektronski zdravstveni karton pacijenata Klinike za alergologiju i imunologiju Klinickog centra SrbijeGlišović, Nataša; Đurić, Vojislav; Knežević, Milica; Maksimović, Petar; Marković, Zoran; Ognjanović, Zoran; Perić-Popadić, Aleksandra; Rašković, Miodrag; Rašković, Sanvila; Čukić, Ivan M82
5842011Classification of Data Mining Algorithms and Concept Modeling Approaches in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
5852011Paralelizacija genetskog algoritmaBožović, Srđan; Marić, Miroslav ; Stanimirović, Zorica M63
5862011Automated Reasoning: Some Successes and New ChallengesJaničić, Predrag M31
5872011Applicability of IBM content manager software in digitized resources managementMitić, Nenad ; Malkov, Saša M64
5882011Electromagnetism metaheuristic for probabilistic satisfiability problemFijuljanin, Jasmina; Kartelj, Aleksandar ; Jelena, KojićM64
5892011Unapređenje elektronske biblioteke Matematičkog instituta SANUJakšić, Tatjana; Mijajlović, Žarko; Milojković, Nevena; Ognjanović, Zoran; Pejović, Aleksandar; Radojičić Matić, Nina ; Knežević, Milica; Mišković, Stefan ; Šegan, Marija; Vučković, Bojan; Milovanović, MilošM84
5902011Shotgun assembly of Centaurium erythraea transcriptomeMalkov, Saša ; Simonović, Ana DM64
5912011Evolutivni pristup za rešavanje hab lokacijskih problemaStanimirović, Zorica ; Kratica, Jozef; Filipović, Vladimir ; Tošić, DušanM41
5922011Implementation of visitor pattern in processing a syntax tree in QLab ProjectĐenić, A; Marić, Miroslav ; Mladenović, M; Božović, S; Netković, MM33
5932011Unapređenje veb prezentacije Virtuelne biblioteke Matematičkog fakulteta u BeograduVukša Popović, Nikolina ; Vučković, Bojan; Mijajlović, Žarko; Milovanović, Miloš; Pejović, Aleksandar; Pejović, Nadežda; Šegan, Marija; Vučković, Vesna; Maksimović, Slavko; Stojanović, Slobodan; Milisavljević, Slaviša; Višić, Duško; Simonović, AleksandarM84
5942011Neke mogućnosti primene kompromisnog programiranjaRadojičić Matić, Nina M63
5952011Digitalni legatiVukša Popović, Nikolina ; Vučković, Bojan; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Aleksandar; Stojanović, BiljanaM84
5962011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš VM21a
5971-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša 
59812-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip M22
59910-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
6002-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen M33