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 709 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)Rank
201Dec-2019DistAA: Database of amino acid distances in proteins and web application for statistical review of distancesMaljković Ružičić, Mirjana M22
20215-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M22
20315-Apr-2019From informal to formal proofs in Euclidean geometryStojanović-Djurdjević. Sana M22
20415-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip M22
20515-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
2067-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
2071-Jan-2019Solving balanced multi-weighted attribute set partitioning problem with variable neighborhood searchDžamić, Dušan; Ćendić, Bojana; Marić, Miroslav ; Djenić, AleksandarM22
2081-Jan-2019Hardware in the loop simulation for homing missilesTodic, Ivana; Kuzmanović, Vladimir M33
2091-Jan-2019New pseudo-random number generator based on improved discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M21
2101-Jan-2019NgramSPD: Exploring optimal n -gram model for sentiment polarity detection in different languagesGraovac, Jelena ; Mladenović, Miljana; Tanasijević, Ivana M23
2111-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoM22
2122019Prototype Verifying Virtuoso GeoSPARQL and DE-9IM Compliance, Project deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko 
2132019Prototype Verifying 5D Geospatial Support in Virtuoso. Project Deliverable from Project SAGESpasić, Mirko ; Jovanovik, Miloš; Williams, Hugh
2142019Transforming Geospatial RDF Data into GeoSPARQL-Compliant Data: A Case of Traffic DataJovanovik, Miloš; Spasić, Mirko M33
2152019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике [2. изд]Šćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
2162019Ispitivanje 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
2172019Formalizing Algebrization of Geometry StatementsSimić, Danijela M53
2182019Методичка збирка алгоритамских задатака са решењима - 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
2192019Programiranje 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
2202019Cross-species cell type annotation of single cell RNA-Seq dataZorc, Minja; Kovačević, Jovana ; Nikolić, Mladen ; Veljković, Nevena; Dovč, PeterM34
2212019Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издањеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip 
2222019Digitalni 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
2232019An integer linear programming formulation for the convex dominating set problemsKratica, Jozef; Filipović, Vladimir ; Matić, Dragan; Kartelj, Aleksandar 
2242019Operativni sistemi [3. izd]Marić, Miroslav 
252019Toward Automatic Tagging of Cultural Heritage DocumentsTanasijević, Ivana M53
262019Prediction of alphabets of local protein structures using data mining methodsMaljković Ružičić, Mirjana M70
272019Unapredjenje programskog prevodioca Clang sa podrškom za standard MISRA/AUTOSARMilicevic, Djordje; Brkusanin, Mirko; Vujošević Janičić, Milena ; Novkovic, Teodora; Jovanovic, PetarM33
282019Nacionalni centar za digitalizaciju - prošlost, sadašnjost i budućnostMitić, Nenad ; Malkov, Saša ; Stojanović, Biljana; Maljković Ružičić, Mirjana M64
292019Unapređ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
302019Improving performance of sorting small arrays on MIPS CPUs using bitonic sort and SIMD instructionsBranković, S.; Marković, A.; Simić, Danijela ; Rikalo, A.M63
311-Dec-2018A novel metaheuristic approach for collaborative learning group formationLambić, Dragan; Lazović, Bojana; Djenić, Aleksandar; Marić, Miroslav M21
321-Nov-2018Some possibilities of using fuzzy logic within methods for solving a variant of vehicle routing problemRadojičić Matić, Nina ; Marić, Miroslav M33
331-Nov-2018Fuzzy GRASP with path relinking for the Risk-constrained Cash-in-Transit Vehicle Routing ProblemRadojičić Matić, Nina ; Djenić, Aleksandar; Marić, Miroslav M21a
341-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
3511-Jun-2018Semi-automatic extraction of multiword terms from domain-specific corporaPajić, Vesna; Vujičić Stanković, Staša ; Stanković, Ranka; Pajić, MilošM22
361-Feb-2018Prototype implementation of segment assembling softwarePešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena M24
371-Jan-2018Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge ResultsJovanovik, Milos; Spasić, Mirko M33
381-Jan-2018A new fuzzy version of the risk-constrained cash-in-transit vehicle routing problemRadojičić Matić, Nina ; Marić, Miroslav ; Takači, AleksandarM23
391-Jan-2018An efficient mechanism of cryptographic synchronization within selectively encrypted H.265/HEVC video streamJovanović, Boriša; Gajin, Slavko M21
401-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
412018Annual 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
422018Second Version of the Data Storage Benchmark. Project Deliverable from Project HOBBITSpasić, Mirko ; Jovanovik, Miloš
432018Uticaj QUIC protokola na tradicionalne mehanizme nadgledanja mrežnih protokolaVuletić, Pavle; Gajin, Slavko M63
442018Disorder predictors precision and accuracy - a computer science viewMitić, Nenad M64
4520183D Soil Texture Mapping with L1 Regularized Multinomial Logistic RegressionMilutin Pejović; Nikolić, Mladen ; Branislav BajatM34
462018Bioinformatics analysis of correlation between protein function and intrinsic disorderVinterhalter, Goran; Kovačević, Jovana ; Pavlović-Lažetić, GordanaM64
472018Application of fuzzy logic in modeling of the max-min diversity problemTakači, Aleksandar; Marić, Miroslav ; Radojičić Matić, Nina ; Došenović, TatjanaM34
482018First steps towards proving functional equivalence of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M34
492018Digitalne kompetencije i nastavni materijali za novo dobaKuzmanović, Vladimir ; Petković, Oliver; Marić, Miroslav M64
502018Machine Learning based Network Anomaly Detection for IoT environmentsTimčenko, Valentina; Gajin, Slavko M33