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 351-400 of 678 (Search time: 0.067 seconds).

Issue DateTitleAuthor(s)Rank
3512016Solving Minimal Covering Location Problems with Single and Multiple Node CoverageDrakulić, D.; Takači, Aleksandar; Marić, Miroslav 
3522016Video materijali u nastavi matematikePetković, Olivera; Marić, Miroslav m63
3032016Unapređenje veb prezentacije Virtuelne biblioteke Matematičkog fakulteta u BeograduMijajlović, Žarko; Pejović, Nadežda; Vukša Popović, Nikolina ; Mitić, Nenad ; Malkov, Saša ; Maljković Ružičić, Mirjana ; Stojanović, Biljana; Pejović, AleksandarM80
3042016Serbian and International Honors Awarded to Milutin MilankovićPejović, Nadežda; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM53
3052016One structured output learning method for protein function predictionKovačević, Jovana ; Pavlović Lažetić, Gordana; Radivojac, PredragM64
3062016An approach to express the quality of the partitions of a complex network into communitiesDžamić, Dušan; Marić, Miroslav ; Mladenović, NenadM34
3072016Automatsko utvrđivanje sličnosti kuvarskih recepata upotrebom metoda ekstrakcije informacijaVujičić Stanković, Staša ; Pajić, VesnaM63
2582016Rukopisi prvih univerzitetskih predavanja Milutina MilankovićaPejović, Nadežda; Mijajlović, Žarko; Malkov, Saša ; Mitić, Nenad M63
2592016Software tools for simultaneous data visualization and T cell epitopes and disorder prediction in proteinsJandrlić, Davorka R; Lazić, Goran M; Mitić, Nenad ; Pavlović, Mirjana DM21a
2601-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of Тarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag M22
26115-Jun-2015Automated Theorem Proving in GeoGebra: Current AchievementsBotana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, SimonM21
2621-Jun-2015Plant regeneration in leaf culture of Centaurium erythraea Rafn. Part 2: the role of arabinogalactan proteinsSimonović, Ana D.; Filipović, Biljana K.; Trifunović, Milana M.; Malkov, Saša ; Milinković, Vedrana P.; Jevremović, Slađana B.; Subotić, Angelina R.
26317-Apr-2015A hybridization of an evolutionary algorithm and a parallel branch and bound for solving the capacitated single allocation hub location problemStanojević, Predrag; Marić, Miroslav ; Stanimirović, Zorica M21a
2641-Apr-2015Hybrid metaheuristic method for determining locations for long-term health care facilitiesMarić, Miroslav ; Stanimirović, Zorica ; Božović, SrdjanM22
2651-Feb-2015An efficient variable neighborhood search for solving a robust dynamic facility location problem in emergency service networkMišković, Stefan ; Stanimirović, Zorica ; Grujičić, Igor
2661-Jan-2015An improved electromagnetism-like method for feature selectionKartelj, Aleksandar M21a
2671-Jan-2015Milutin Milanković digital legacyPejović, Nada; Malkov, Saša ; Mitić, Nenad ; Mijajlovic, ŽarkoM63
2681-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna ; Janičić, Predrag ; Schreck, PascalM33
1691-Jan-2015Metaheuristic approaches to solving large-scale bilevel uncapacitated facility location problem with clients' preferencesMarić, Miroslav ; Stanimirović, Zorica ; Milenkovíc, Nikola; Djeníc, AleksandarM23
1701-Jan-2015N-gram analysis of COG categorized protein sequencesMarovac, Ulfeta A.; Mitić, Nenad M21a+
4711-Jan-2015Proving correctness of a KRK chess endgame strategy by using isabelle/HOL and Z3Marić, Filip ; Janičić, Predrag ; Maliković, MarkoM33
4722015Distributed Geospatial Querying. Project Deliverable from Project GeoKnowWilliams, Hugh; Spasić, Mirko ; Erling, Orri
4732015Geospatial Clustering. Project Deliverable from Project GeoKnowErling, Orri; Williams, Hugh; Spasić, Mirko 
4742015Continuous Report on Performance Evaluation. Project Deliverable from Project GeoKnowSpasić, Mirko ; Erling, Orri; Williams, Hugh
4252015Predictive models based on support vector machines for structured outputsKovačević, Jovana ; Pavlović Lažetić, GordanaM64
2262015meSAT: Multiple Encodings of CSP to SATStojadinović, Mirko; Marić, Filip M34
6272015A Memetic algorithm for solving Quadratic Assignment ProblemDžamić, Dušan; Marić, Miroslav ; Lazović, BojanaM63
5282015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna M70
5292015Intrinsically Disordered Proteins /Protein Regions: Implications for Environmental Adaptation of Archaea and BacteriaPavlović-Lažetić, Gordana; Mitić, Nenad ; Kovačević, Jovana ; Malkov, Saša ; Beljanski, MilošM34
5302015Digitalizacija zaostavštine Srba u mestu Osredak u Bosni i HercegoviniMaljković Ružičić, Mirjana ; Malbašić, DraganaM64
5312015On-line compendium of triangle construction problems with automatically generated solutionsMarinković, Vesna 
5322015Reactive programming and QtČukić, Ivan M34
5332015Parallel variable neighborhood search algorithm to minimize the makespan on hybrid flow shop problemsDžamić, Dušan; Đenić, Aleksandar; Marić, Miroslav M63
5342015Strukturna predikcija funkcije proteina i odnos funkcionalnih kategorija i neuređenostiKovačević, Jovana M70
5352015Serbian and International Honors Awarded to Milutin MilankovićPejović, Nadežda; Mitić, Nenad ; Malkov, Saša ; Mijajlović, ŽarkoM64
5362015Primena keširanja u metaheuristici zasnovanoj na elektromagnetizmuFilipović, Vladimir ; Kartelj, Aleksandar ; Matić, D.M64
5372015Paralelizovanje na nivou reči srpsko-hrvatskog korpusaSpasić, Mirko М63
5382015Functional Reactive Programming in C++Čukić, Ivan M33
5392015Solving Large Scale Instances of Hub Location Problems with a Sub-problem Using an Exact MethodMarić, Miroslav ; Stanojević, Predrag
5402015Task scheduling with the continuation monadČukić, Ivan M33
5412015Language Independent n-Gram-Based Text Categorization with Weighting Factors: A Case StudyGraovac, Jelena ; Pavlović Lažetić, Gordana; Kovačević, Jovana 
5422015Obrada teksta korišćenjem programskog paketa RZečević, Anđelka; Spasić, Mirko M64
5432015On the GeoGebra supported collaborative learningTakači, Đurđica; Stankov, Gordana; Marić, Miroslav M34
5442015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna M23
5452015Pursuit for transcriptome microsatellites towards estimation of genetic variation, species discrimination and detection of interspecific hybrids within the genus CentauriumBanjanac, Tijana; Belamarić, Mario; Skorić, Marijana; Mišić, Danijela; Malkov, Saša ; Jelić, Mihailo; Šiler, BranislavM34
5462015Digitalizacija arhive studentske službe Matematičkog fakulteta u BeograduMitić, Nenad ; Malkov, Saša ; Vukša Popović, Nikolina ; Stojanović, BiljanaM64
5472015Geogebrom kroz svet matematikeJezdimirović, J.; Radović, S.; Marić, Miroslav M64
5482015Mogućnosti primene IKT-a i platforme eZbirka u nastavnim aktivnostimaRadović, Slaviša; Marić, Miroslav ; Golubović, LjiljanaM33
5492015A Survey of Interactive Theorem ProvingMarić, Filip M14
5502015A strategic approach to providing cloud services for research and education communityGajin, Slavko ; Hackett, Robert; Galeazzi, Fulvio; Pegaime, JoaoM33