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 201-250 of 711 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
2012020Data set of intrinsically disordered proteins analysed at a local protein conformation levelMelarkode Vattekatte, Akhila; Narwani, Tarun Jairaj; Floch, Aline; Maljković Ružičić, Mirjana ; Bisoo, Soubika; Shinada, Nicolas K; Kranjc, Agata; Gelly, Jean-Christophe; Srinivasan, Narayanaswamy; Mitić, Nenad ; de Brevern, Alexandre GM22
2021-Dec-2019Edge Metric Dimension of Some Generalized Petersen GraphsFilipović, Vladimir ; Kartelj, Aleksandar ; Kratica, JozefM21
203Dec-2019DistAA: Database of amino acid distances in proteins and web application for statistical review of distancesMaljković Ružičić, Mirjana M22
20415-Apr-2019From informal to formal proofs in Euclidean geometryStojanović-Djurdjević. Sana M22
20515-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M22
20615-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip M22
20715-Jan-2019Technology enhancing mathematics learning behaviours: Shifting learning goals from “producing the right answer” to “understanding how to address current and future mathematical challenges”Radović, Slaviša; Marić, Miroslav ; Passey, Don
2087-Jan-2019The learnability of the dimensional view of data and what to do with itVujošević, Dušan; Kovačević, Ivana; Vujošević Janičić, Milena M22
2091-Jan-2019Solving balanced multi-weighted attribute set partitioning problem with variable neighborhood searchDžamić, Dušan; Ćendić, Bojana; Marić, Miroslav ; Djenić, AleksandarM22
2101-Jan-2019New pseudo-random number generator based on improved discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M21
2111-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoM22
2121-Jan-2019Hardware in the loop simulation for homing missilesTodic, Ivana; Kuzmanović, Vladimir M33
2131-Jan-2019NgramSPD: Exploring optimal n -gram model for sentiment polarity detection in different languagesGraovac, Jelena ; Mladenović, Miljana; Tanasijević, Ivana M23
2142019Prototype Verifying Virtuoso GeoSPARQL and DE-9IM Compliance, Project deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko 
2152019Prototype Verifying 5D Geospatial Support in Virtuoso. Project Deliverable from Project SAGESpasić, Mirko ; Jovanovik, Miloš; Williams, Hugh
2162019Transforming Geospatial RDF Data into GeoSPARQL-Compliant Data: A Case of Traffic DataJovanovik, Miloš; Spasić, Mirko M33
2172019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике [2. изд]Šćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
2182019Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispitaPešić, Đorđe; Protić, Jelica; Vujošević Janičić, Milena ; Mišić, MarkoM63
2192019Formalizing Algebrization of Geometry StatementsSimić, Danijela M53
2202019Методичка збирка алгоритамских задатака са решењима - C# - основни нивоMarić, Filip ; Alimpić, Nina; Vasiljević, Nebojša; Vugdelija, Milan; Vuković, Duša; Đurišić, Miodrag; Marinković, Vesna ; Matković, Stanka; Hadži-Purić, Jelena; Čabarkapa, Milan
2212019Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C)Vujošević Janičić, Milena ; Kovačević, Jovana ; Simić, Danijela ; Anđelka Zečević; Kocić, Aleksandra
2222019Cross-species cell type annotation of single cell RNA-Seq dataZorc, Minja; Kovačević, Jovana ; Nikolić, Mladen ; Veljković, Nevena; Dovč, PeterM34
2232019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издањеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
2242019Digitalni legati - unapređenjeMijajlović, Žarko; Malkov, Saša ; Mitić, Nenad ; Pejović, Nadežda; Vukša Popović, Nikolina ; Maljković Ružičić, Mirjana ; Stojanović, Biljana; Radović, Viktor; Maksimović, Slavko; Stojanović, SlobodanM80
6752019An integer linear programming formulation for the convex dominating set problemsKratica, Jozef; Filipović, Vladimir ; Matić, Dragan; Kartelj, Aleksandar 
6762019Operativni sistemi [3. izd]Marić, Miroslav 
6772019Toward Automatic Tagging of Cultural Heritage DocumentsTanasijević, Ivana M53
6782019Prediction of alphabets of local protein structures using data mining methodsMaljković Ružičić, Mirjana M70
6792019Unapredjenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSARMilicevic, Djordje; Brkusanin, Mirko; Vujošević Janičić, Milena ; Novkovic, Teodora; Jovanovic, PetarM33
6802019Nacionalni centar za digitalizaciju - prošlost, sadašnjost i budućnostMitić, Nenad ; Malkov, Saša ; Stojanović, Biljana; Maljković Ružičić, Mirjana M64
6812019Unapređenje veb prezentacije Virtuelne biblioteke Matematičkog fakulteta u BeograduMijajlović, Žarko; Vukša Popović, Nikolina ; Mitić, Nenad ; Malkov, Saša ; Maljković Ružičić, Mirjana ; Stojanović, Biljana; Radović, ViktorM80
6822019Improving performance of sorting small arrays on MIPS CPUs using bitonic sort and SIMD instructionsBranković, S.; Marković, A.; Simić, Danijela ; Rikalo, A.M63
6831-Dec-2018A novel metaheuristic approach for collaborative learning group formationLambić, Dragan; Lazović, Bojana; Djenić, Aleksandar; Marić, Miroslav M21
6841-Nov-2018Some possibilities of using fuzzy logic within methods for solving a variant of vehicle routing problemRadojičić Matić, Nina ; Marić, Miroslav M33
6851-Nov-2018Fuzzy GRASP with path relinking for the Risk-constrained Cash-in-Transit Vehicle Routing ProblemRadojičić Matić, Nina ; Djenić, Aleksandar; Marić, Miroslav M21a
6861-Sep-2018Sparse regression interaction models for spatial prediction of soil properties in 3DPejović, Milutin; Nikolić, Mladen ; Heuvelink, Gerard B.M.; Hengl, Tomislav; Kilibarda, Milan; Bajat, BranislavM21
68711-Jun-2018Semi-automatic extraction of multiword terms from domain-specific corporaPajić, Vesna; Vujičić Stanković, Staša ; Stanković, Ranka; Pajić, MilošM22
6881-Feb-2018Prototype implementation of segment assembling softwarePešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena M24
6891-Jan-2018Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge ResultsJovanovik, Milos; Spasić, Mirko M33
6901-Jan-2018An efficient mechanism of cryptographic synchronization within selectively encrypted H.265/HEVC video streamJovanović, Boriša; Gajin, Slavko M21
6911-Jan-2018MOCHA2018: The Mighty Storage Challenge at ESWC 2018Georgala, Kleanthi; Spasić, Mirko ; Jovanovik, Milos; Papakonstantinou, Vassilis; Stadler, Claus; Röder, Michael; Ngomo, Axel Cyrille NgongaM33
6921-Jan-2018A new fuzzy version of the risk-constrained cash-in-transit vehicle routing problemRadojičić Matić, Nina ; Marić, Miroslav ; Takači, AleksandarM23
6932018Annual Public Report of the Third Year. Project Deliverable from Project HOBBITNgonga Ngomo, Axel-Cyrille; Röder, Michael; Georgala, Kleanthi; Speck, René; Stadler, Claus; Jochimsen, Nadine; Sedrakyan, Gayane; Taelman, Ruben; Strohbach, Martin; Smirnov, Pavel; Lehmann, Jens; Napolitano, Giulio; Schumacher, Alexa; Walter, Carolin; Fundulaki, Irini; Saveta, Tzanina; Papakonstantinou, Vassilis; Georgis, Christos; Tzortzis, Grigorios; Rentoumi, Vassiliki; Spasić, Mirko ; Jovanovik, Milos; Teixeira, Filipe; Kannenberg, Oliver
6942018Second Version of the Data Storage Benchmark. Project Deliverable from Project HOBBITSpasić, Mirko ; Jovanovik, Miloš
6952018Uticaj QUIC protokola na tradicionalne mehanizme nadgledanja mrežnih protokolaVuletić, Pavle; Gajin, Slavko M63
6962018Disorder predictors precision and accuracy - a computer science viewMitić, Nenad M64
69720183D Soil Texture Mapping with L1 Regularized Multinomial Logistic RegressionMilutin Pejović; Nikolić, Mladen ; Branislav BajatM34
6982018Bioinformatics analysis of correlation between protein function and intrinsic disorderVinterhalter, Goran; Kovačević, Jovana ; Pavlović-Lažetić, GordanaM64
6992018Application of fuzzy logic in modeling of the max-min diversity problemTakači, Aleksandar; Marić, Miroslav ; Radojičić Matić, Nina ; Došenović, TatjanaM34
7002018First steps towards proving functional equivalence of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M34