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.014 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
241-Dec-2011The influence of the use of educational software on the effectiveness of communication models in teachingPećanac, Rajko; Lambić, Dragan; Marić, Miroslav M23
251-Dec-2011A genetic algorithm for solving multiple warehouse layout problemMatić, Dragan; Filipović, Vladimir ; Savić, Aleksandar ; Stanimirović, Zorica M51
261-Dec-2011A metadata-supported distributed approach for data mining based prediction in wireless sensor networksVujičić Stanković, Staša ; Rakočević, Goran; Milutinović, VeljkoM33
271-Dec-2011Solving the two-dimensional packing problem with m-M calculusSavić, Aleksandar ; Šukilović, Tijana ; Filipović, Vladimir M51
281-Dec-2011A new genetic representation for quadratic assignment problemKratica, Jozef; Tošić, Dušan; Filipović, Vladimir ; Dugošija, DordeM51
2925-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33
308-Nov-2011Formalization of abstract state transition systems for SATMarić, Filip ; Janičić, Predrag M22
312011Classification of Data Mining Algorithms and Concept Modeling Approaches in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, Veljko
322011Paralelizacija genetskog algoritmaBožović, Srđan; Marić, Miroslav ; Stanimirović, Zorica M63
332011Electromagnetism metaheuristic for probabilistic satisfiability problemFijuljanin, Jasmina; Kartelj, Aleksandar ; Jelena, KojićM64
342011Unapređ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
352011Digitalni legatiVukša Popović, Nikolina ; Vučković, Bojan; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Aleksandar; Stojanović, BiljanaM84
362011Bioinformatics analysis of disordered proteins in prokaryotesPavlović-Lažetić, Gordana M; Mitić, Nenad ; Kovačević, Jovana ; Obradović, Zoran; Malkov, Saša ; Beljanski, Miloš VM21a
372011Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal InferenceGoertzel, Ben; Geisweiller, Nil; De Souza Coelho, Lucio; Janičić, Predrag ; Pennachin, CassioM11
382011Implementation of visitor pattern in processing a syntax tree in QLab ProjectĐenić, A; Marić, Miroslav ; Mladenović, M; Božović, S; Netković, MM33
392011Automated Reasoning: Some Successes and New ChallengesJaničić, Predrag M31
402011Applicability of IBM content manager software in digitized resources managementMitić, Nenad ; Malkov, Saša M64
412011Shotgun assembly of Centaurium erythraea transcriptomeMalkov, Saša ; Simonović, Ana DM64
422011Evolutivni pristup za rešavanje hab lokacijskih problemaStanimirović, Zorica ; Kratica, Jozef; Filipović, Vladimir ; Tošić, DušanM41
432011Unapređ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
442011Neke mogućnosti primene kompromisnog programiranjaRadojičić Matić, Nina M63
452011An Electromagnetism Metaheuristic for the Uncapacitated Multiple Allocation Hub Location ProblemFilipović, Vladimir M20
462011Simulator Strategy for Data Mining and Concept Modeling in Wireless Sensor NetworksVujičić Stanković, Staša ; Vitas, Duško; Rakočević, Goran; Milutinović, VeljkoM33
472011Elektronski 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
481-Dec-2010Customizing a functional programming language for web developmentMalkov, Saša 
4912-Nov-2010Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOLMarić, Filip M22
5010-Aug-2010URBiVA: Uniform reduction to bit-vector arithmeticMarić, Filip ; Janičić, Predrag M33
512-Aug-2010Statistical methodology for comparison of SAT solversNikolić, Mladen M33
521-Feb-2010Geometry constructions languageJaničić, Predrag M21
531-Jan-2010An efficient genetic algorithm for solving the multi-level uncapacitated facility location problemMarić, Miroslav M23
541-Jan-2010Formal correctness proof for dPLL procedureMarić, Filip ; Janičić, Predrag M21a
552010Solving the Task Assignment Problem with a Variable Neighborhood SearchKratica, Jozef; Savić, Aleksandar ; Filipović, Vladimir ; Milanović, Marija
562010Classification of Smoking Cessation Status Using Various Data Mining MethodsKartelj, Aleksandar 
572010Analysis of Amino Acid Distances in ProteinsMitić, Nenad ; Petrović, N; Pavlović-Lažetić, Gordana; Pavlović, Mirjana; Beljanski, MilošM33
582010Reexamination of Correlations of Amino Acids with Particular Secondary StructuresŽivković, Miodrag; Zarić, Snežana; Beljanski, Miloš; Malkov, Saša ; Stojanović, Srđan; Hall, MichaelM34
592010Digitalna arhivaMijajlović, Žarko; Pejović, Nadežda; Malkov, Saša ; Mitić, Nenad M82
602010Odonym Recognition in SerbianVujičić Stanković, Staša ; Vitas, DuškoM33
612010Mathematical optimization for the train timetabling problemStanojević, P; Marić, Miroslav ; Kratica, Jozef; Bojović, Nebojša J; Milenković, Miloš S
622010An Alldifferent constraint solver in SMTBanković, Milan ; Marić, Filip M33
632010Correlations of amino acids with particular secondary structures: comparison of different statistical methodsVeljković, Dušan; Zarić, Snežana; Grubor, Helena; Malkov, Saša M34
642010Milutin Milanković - Digitalni legatMijajlović, Žarko; Malkov, Saša ; Mitić, Nenad ; Pejović, Nadežda; Maljković Ružičić, Mirjana ; Stojanović, BiljanaM82
652010Ontology-driven conceptual document classificationGraovac, Jelena ; Pavlović-Lažetić, GordanaM33
662010Digitalni legatiVukša Popović, Nikolina ; Vučković, Bojan; Malkov, Saša ; Maljković Ružičić, Mirjana ; Mijajlović, Žarko; Mitić, Nenad ; Pejović, Nadežda; Stojanović, BiljanaM82
672010Comparison 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
689-Nov-2009Instance-based selection of policies for SAT solversNikolić, Mladen ; Marić, Filip ; Janičić, Predrag M33
691-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip M21
701-Jan-2009GA inspired heuristic for uncapacitated single allocation hub location problemFilipović, Vladimir ; Kratica, Jozef; Tošić, Dušan; Dugošija, DjordjeМ33