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 151-200 of 674 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
1512021Verification supported refactoring of embedded SQLSpasić, Mirko ; Vujošević Janičić, Milena M22
1522021A multicriteria optimization approach for the stock market feature selectionRadojičić, Dragana; Radojičić Matić, Nina ; Kredatus, SimeonM23
1532021A GeoSPARQL compliance benchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko M22
15416-Dec-2020Single-cell mRNA Profiles in PBMCYang, Luning; Zhang, Yihan; Mitić, Nenad ; Keskin, Derin B.; Zhang, Guang Lan; Chitkushev, Lou; Brusic, VladimirM33
15516-Dec-2020Prediction of PBMC Cell Types Using scRNAseq Reference ProfilesYang, Luning; Zhang, Yihan; Mitić, Nenad ; Keskin, Derin B.; Zhang, Guang Lan; Chitkushev, Lou; Brusic, VladimirM33
15612-Dec-2020HerCulB: content-based information extraction and retrieval for cultural heritage of the BalkansTanasijević, Ivana ; Pavlović-Lažetić, GordanaM22
15730-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Djurdjević. Sana M33
828-Sep-2020Isolation, identification, and stability of Ficin 1c isoform from fig latexMilošević, Jelica; Vrhovac, Lidija; Đurković, Filip; Janković, Brankica; Malkov, Saša ; Lah, Jurij; Polović, Natalija D.
91-Aug-2020How well are known protein complexes supported in PPI networks?Grbic, Milana; Crnogorac, Vukasin; Predojevic, Milan; Kartelj, Aleksandar ; Matic, DraganM33
101-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena M23
111-May-2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko ; Vujošević Janičić, Milena M33
121-May-2020Random forest spatial interpolationSekulić, Aleksandar; Kilibarda, Milan; Heuvelink, Gerard B.M.; Nikolić, Mladen ; Bajat, BranislavM21
131-Apr-2020Two ways for the automatic generation of application ontologies by using BalkaNetMladenović, Miljana; Vujičić Stanković, Staša ; Pajić, VesnaM22
141-Mar-2020New dynamics in dynamic geometry: Dragging constructed pointsSelaković, Milica; Marinković, Vesna ; Janičić, Predrag M22
152-Jan-2020Examining the effects of Geogebra applets on mathematics learning using interactive mathematics textbookRadović, Slaviša; Radojičić, Marija; Veljković, Kristina; Marić, Miroslav M21
161-Jan-2020Corpus‐based analysis of spoken narratives. Introducing a corpus and a search toolWasserscheidt, Philipp; Mandić, Marija; Vollstädt, Nadine; Jovanović, Ana; Tanasijević, Ivana ; Vuković, Teodora; Simović, Ivana Vučina; Yazhinova, Uliana; Zečević, AnđelkaM23
171-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad; Kotlar, Miloš; Krdžavac, Nenad B.; Marić, Filip ; Malkov, Saša ; Milutinović, Veljko; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović-Lažetić, Gordana; Simić, Danijela ; Stojanović-Djurdjević. Sana ; Vujičić Stanković, Staša ; Vujošević Janičić, Milena ; Živković, MiodragM22
181-Jan-2020Exponential quality function for community detection in complex networksDžamić, Dušan; Pei, Jun; Marić, Miroslav ; Mladenović, Nenad; Pardalos, Panos M.M21
191-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip M33
201-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip M23
211-Jan-2020Weakly Convex and Convex Domination Numbers for Generalized Petersen and Flower Snark GraphsKRATICA, JOZEF; MATIC, DRAGAN; Filipović, Vladimir M23
222020Hierarchical Protein Function Prediction with Tail-GNNsStefan Spalević; Petar Velčković; Kovačević, Jovana ; Nikolić, Mladen M33
232020XLVIN: eXecuted Latent Value Iteration NetsAndrea Deac; Petar Velčković; Milinković, Ognjen ; Pierre-Luc Bacon,; Jian Tang; Nikolić, Mladen M33
242020Spatial Interpolation of Daily Percipitation Using Random ForestAleksandar Sekulić; Milan Kilibarda; Gerard Heuvelink; Nikolić, Mladen ; Branislav BajatM34
252020Evaluation of SAGE Analytics for the Data Delivery including Best Practices. Project Deliverable from Project SAGESpasić, Mirko ; Jovanovik, Miloš; Williams, Hugh; Schmenger, Felix
262020Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko 
272020Continuous Query Optimisations in GeoSPARQL. Project Deliverable from Project SAGESpasić, Mirko ; Jovanovik, Miloš; Williams, Hugh
282020Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretuSpasić, Mirko M53
292020The timing, tempo and mode of the Neolithic expansion across the Central BalkansPorčić, Marko; Nikolić, Mladen ; Pendić, Jugoslav; Blagojević, Tamara; Penezić, Kristina; Stefanović, SofijaM34
302020The LDBC Social Network BenchmarkAngles, Renzo; Antal, János Benjamin; Averbuch, Alex; Boncz, Peter A; Erling, Orri; Gubichev, Andrey; Haprian, Vlad; Kaufmann, Moritz; Larriba-Pey, Josep Lluis; Martinez-Bazan, Norbert; Marton, József; Paradies, Marcus; Pham, Minh-Duc; Prat-Pérez, Arnau; Spasić, Mirko ; Steer, Benjamin A; Szárnyas, Gábor; Waudby, Jack
312020Рачунарство и информатика 2 - уџбеник за други разред гимназијеMarić, Filip ; Mашуловић, Драган
322020ML-SPD: Machine Learning based Sentiment Polarity DetectionGraovac, Jelena ; Radović, Marija; Girgin, B. A.M33
332020Topologically sensitive metaheuristicsKartelj, Aleksandar ; Filipović, Vladimir ; Vrećica, Siniša; Živaljević, Rade
342020Random Forest Spatial Interpolation - softversko rešenje za prostornu interpolaciju Random Forest metodom mašinskog učenjaSekulić, Aleksandar; Kilibarda, Milan; Nikolić, Mladen ; Bajat, BranislavM80
352020Variable Neighborhood Search for Partitioning Sparse Biological Networks into the Maximum Edge-Weighted k-PlexesGrbic, Milana; Kartelj, Aleksandar ; Jankovic, Savka; Matic, Dragan; Filipović, Vladimir M21a
362020A three-phase method for identifying functionally related protein groups in weighted PPI networksGrbić, Milana; Matić, Dragan; Kartelj, Aleksandar ; Vračević, Savka; Filipović, Vladimir M22
372020A structural entropy index to analyse local conformations in intrinsically disordered proteinsAkhila, Melarkode Vattekatte; Narwani, Tarun Jairaj; Floch, Aline; Maljković, Mirjana; Bisoo, Soubika; Shinada, Nicolas K; Kranjc, Agata; Gelly, Jean-Christophe; Srinivasan, Narayanaswamy; Mitić, Nenad ; de Brevern, Alexandre GM21
382020Data set of intrinsically disordered proteins analysed at a local protein conformation levelMelarkode Vattekatte, Akhila; Narwani, Tarun Jairaj; Floch, Aline; Maljković, Mirjana; Bisoo, Soubika; Shinada, Nicolas K; Kranjc, Agata; Gelly, Jean-Christophe; Srinivasan, Narayanaswamy; Mitić, Nenad ; de Brevern, Alexandre G
391-Dec-2019Edge Metric Dimension of Some Generalized Petersen GraphsFilipović, Vladimir ; Kartelj, Aleksandar ; Kratica, JozefM21
40Dec-2019DistAA: Database of amino acid distances in proteins and web application for statistical review of distancesMaljković Ružičić, Mirjana M22
4115-Apr-2019From informal to formal proofs in Euclidean geometryStojanović-Djurdjević. Sana M22
4215-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M22
4315-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip M22
4415-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
457-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
461-Jan-2019Solving balanced multi-weighted attribute set partitioning problem with variable neighborhood searchDžamić, Dušan; Ćendić, Bojana; Marić, Miroslav ; Djenić, AleksandarM22
471-Jan-2019New pseudo-random number generator based on improved discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M21
481-Jan-2019NgramSPD: Exploring optimal n -gram model for sentiment polarity detection in different languagesGraovac, Jelena ; Mladenović, Miljana; Tanasijević, Ivana M23
491-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoM22
501-Jan-2019Hardware in the loop simulation for homing missilesTodic, Ivana; Kuzmanović, Vladimir M33