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 601-650 of 735 (Search time: 0.015 seconds).

Issue DateTitleAuthor(s)Rank
6012012Hibridni evolutivni algoritam za rešavanje hab lokacijskog problema neograničenih kapaciteta sa jednostrukim alokacijamaStanimirović, Zorica ; Marić, Miroslav М33
6522012Computational analysis of position-dependent disorder content in DisProt databaseKovačević, Jovana 
6532012Formalization and Implementation of Algebraic Methods in GeometryMarić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag M33
6541-Dec-2011The influence of the use of educational software on the effectiveness of communication models in teachingPećanac, Rajko; Lambić, Dragan; Marić, Miroslav M23
51-Dec-2011A genetic algorithm for solving multiple warehouse layout problemMatić, Dragan; Filipović, Vladimir ; Savić, Aleksandar ; Stanimirović, Zorica M51
61-Dec-2011A metadata-supported distributed approach for data mining based prediction in wireless sensor networksVujičić Stanković, Staša ; Rakočević, Goran; Milutinović, VeljkoM33
71-Dec-2011Solving the two-dimensional packing problem with m-M calculusSavić, Aleksandar ; Šukilović, Tijana ; Filipović, Vladimir M51
81-Dec-2011A new genetic representation for quadratic assignment problemKratica, Jozef; Tošić, Dušan; Filipović, Vladimir ; Dugošija, DordeM51
925-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
108-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
112011Classification of Data Mining Algorithms and Concept Modeling Approaches in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
122011Paralelizacija genetskog algoritmaBožović, Srđan; Marić, Miroslav ; Stanimirović, Zorica M63
132011Electromagnetism metaheuristic for probabilistic satisfiability problemFijuljanin, Jasmina; Kartelj, Aleksandar ; Jelena, KojićM64
142011Unapređ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
152011Digitalni legatiVukša Popović, Nikolina ; Vučković, Bojan; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Aleksandar; Stojanović, BiljanaM84
2662011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš VM21a
2672011Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceGoertzel, Ben; Geisweiller, Nil; De Souza Coelho, Lucio; Janičić, Predrag ; Pennachin, CassioM11
2682011Implementation of visitor pattern in processing a syntax tree in QLab ProjectĐenić, A; Marić, Miroslav ; Mladenović, M; Božović, S; Netković, MM33
2692011Automated Reasoning: Some Successes and New ChallengesJaničić, Predrag M31
2702011Applicability of IBM content manager software in digitized resources managementMitić, Nenad ; Malkov, Saša M64
2712011Shotgun assembly of Centaurium erythraea transcriptomeMalkov, Saša ; Simonović, Ana DM64
2722011Evolutivni pristup za rešavanje hab lokacijskih problemaStanimirović, Zorica ; Kratica, Jozef; Filipović, Vladimir ; Tošić, DušanM41
2732011Unapređ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
2742011Neke mogućnosti primene kompromisnog programiranjaRadojičić Matić, Nina M63
2752011An Electromagnetism Metaheuristic for the Uncapacitated Multiple Allocation Hub Location ProblemFilipović, Vladimir M20
2762011Simulator Strategy for Data Mining and Concept Modeling in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, VeljkoM33
2772011Elektronski 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
2781-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša 
27912-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip M22
28010-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
2812-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen M33
2821-Feb-2010Geometry constructions languageJaničić, Predrag M21
2831-Jan-2010An efficient genetic algorithm for solving the multi-level uncapacitated facility location problemMarić, Miroslav M23
2841-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21a
2852010Solving the Task Assignment Problem with a Variable Neighborhood SearchKratica, Jozef; Savić, Aleksandar ; Filipović, Vladimir ; Milanović, Marija
2862010Classification of Smoking Cessation Status Using Various Data Mining MethodsKartelj, Aleksandar 
2872010Analysis of Amino Acid Distances in ProteinsMitić, Nenad ; Petrović, N; Pavlović-Lažetić, Gordana; Pavlović, Mirjana; Beljanski, MilošM33
2882010Reexamination of Correlations of Amino Acids with Particular Secondary StructuresŽivković, Miodrag; Zarić, Snežana; Beljanski, Miloš; Malkov, Saša ; Stojanović, Srđan; Hall, MichaelM34
2892010Digitalna arhivaMijajlović, Žarko; Pejović, Nadežda; Malkov, Saša ; Mitić, Nenad M82
2902010Odonym Recognition in SerbianVujičić Stanković, Staša ; Vitas, DuškoM33
2912010Mathematical optimization for the train timetabling problemStanojević, P; Marić, Miroslav ; Kratica, Jozef; Bojović, Nebojša J; Milenković, Miloš S
2922010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33
2932010Correlations of amino acids with particular secondary structures: comparison of different statistical methodsVeljković, Dušan; Zarić, Snežana; Grubor, Helena; Malkov, Saša M34
2942010Milutin Milanković - Digitalni legatMijajlović, Žarko; Malkov, Saša ; Mitić, Nenad ; Pejović, Nadežda; Maljković Ružičić, Mirjana ; Stojanović, BiljanaM82
2952010Ontology-driven conceptual document classificationGraovac, Jelena ; Pavlović-Lažetić, GordanaM33
2962010Digitalni legatiVukša Popović, Nikolina ; Vučković, Bojan; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Nadežda; Stojanović, BiljanaM82
2972010Comparison of different statistical methods for calculations of amino acid propensities toward certain secondary structure typesVeljković, Dušan; Grubor, Helene; Malkov, Saša ; Zarić, SnežanaM64
2989-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
2991-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip M21
3001-Jan-2009GA inspired heuristic for uncapacitated single allocation hub location problemFilipović, Vladimir ; Kratica, Jozef; Tošić, Dušan; Dugošija, DjordjeМ33