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

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