Informatics and Computer Science

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 151-200 of 674 (Search time: 0.019 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
15828-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.
1591-Aug-2020How well are known protein complexes supported in PPI networks?Grbic, Milana; Crnogorac, Vukasin; Predojevic, Milan; Kartelj, Aleksandar ; Matic, DraganM33
1601-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena M23
1611-May-2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko ; Vujošević Janičić, Milena M33
1621-May-2020Random forest spatial interpolationSekulić, Aleksandar; Kilibarda, Milan; Heuvelink, Gerard B.M.; Nikolić, Mladen ; Bajat, BranislavM21
1631-Apr-2020Two ways for the automatic generation of application ontologies by using BalkaNetMladenović, Miljana; Vujičić Stanković, Staša ; Pajić, VesnaM22
1641-Mar-2020New dynamics in dynamic geometry: Dragging constructed pointsSelaković, Milica; Marinković, Vesna ; Janičić, Predrag M22
1652-Jan-2020Examining the effects of Geogebra applets on mathematics learning using interactive mathematics textbookRadović, Slaviša; Radojičić, Marija; Veljković, Kristina; Marić, Miroslav M21
1661-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
1671-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
1681-Jan-2020Exponential quality function for community detection in complex networksDžamić, Dušan; Pei, Jun; Marić, Miroslav ; Mladenović, Nenad; Pardalos, Panos M.M21
1691-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip M33
1701-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip M23
1711-Jan-2020Weakly Convex and Convex Domination Numbers for Generalized Petersen and Flower Snark GraphsKRATICA, JOZEF; MATIC, DRAGAN; Filipović, Vladimir M23
1722020Hierarchical Protein Function Prediction with Tail-GNNsStefan Spalević; Petar Velčković; Kovačević, Jovana ; Nikolić, Mladen M33
1732020XLVIN: eXecuted Latent Value Iteration NetsAndrea Deac; Petar Velčković; Milinković, Ognjen ; Pierre-Luc Bacon,; Jian Tang; Nikolić, Mladen M33
1742020Spatial Interpolation of Daily Percipitation Using Random ForestAleksandar Sekulić; Milan Kilibarda; Gerard Heuvelink; Nikolić, Mladen ; Branislav BajatM34
1752020Evaluation of SAGE Analytics for the Data Delivery including Best Practices. Project Deliverable from Project SAGESpasić, Mirko ; Jovanovik, Miloš; Williams, Hugh; Schmenger, Felix
1762020Verification of New Feature Implementation Using the HOBBIT Benchmark Platform. Project Deliverable from Project SAGEJovanovik, Miloš; Williams, Hugh; Spasić, Mirko 
1772020Continuous Query Optimisations in GeoSPARQL. Project Deliverable from Project SAGESpasić, Mirko ; Jovanovik, Miloš; Williams, Hugh
1782020Životni ciklus povezanih podataka kroz razvoj skupa podataka vozila u pokretuSpasić, Mirko M53
1792020The timing, tempo and mode of the Neolithic expansion across the Central BalkansPorčić, Marko; Nikolić, Mladen ; Pendić, Jugoslav; Blagojević, Tamara; Penezić, Kristina; Stefanović, SofijaM34
1802020The 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
1812020Рачунарство и информатика 2 - уџбеник за други разред гимназијеMarić, Filip ; Mашуловић, Драган
1822020ML-SPD: Machine Learning based Sentiment Polarity DetectionGraovac, Jelena ; Radović, Marija; Girgin, B. A.M33
1832020Topologically sensitive metaheuristicsKartelj, Aleksandar ; Filipović, Vladimir ; Vrećica, Siniša; Živaljević, Rade
1842020Random Forest Spatial Interpolation - softversko rešenje za prostornu interpolaciju Random Forest metodom mašinskog učenjaSekulić, Aleksandar; Kilibarda, Milan; Nikolić, Mladen ; Bajat, BranislavM80
1852020Variable Neighborhood Search for Partitioning Sparse Biological Networks into the Maximum Edge-Weighted k-PlexesGrbic, Milana; Kartelj, Aleksandar ; Jankovic, Savka; Matic, Dragan; Filipović, Vladimir M21a
1862020A three-phase method for identifying functionally related protein groups in weighted PPI networksGrbić, Milana; Matić, Dragan; Kartelj, Aleksandar ; Vračević, Savka; Filipović, Vladimir M22
872020A 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
882020Data 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
891-Dec-2019Edge Metric Dimension of Some Generalized Petersen GraphsFilipović, Vladimir ; Kartelj, Aleksandar ; Kratica, JozefM21
90Dec-2019DistAA: Database of amino acid distances in proteins and web application for statistical review of distancesMaljković Ružičić, Mirjana M22
9115-Apr-2019From informal to formal proofs in Euclidean geometryStojanović-Djurdjević. Sana M22
9215-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M22
9315-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip M22
9415-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
957-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
961-Jan-2019Solving balanced multi-weighted attribute set partitioning problem with variable neighborhood searchDžamić, Dušan; Ćendić, Bojana; Marić, Miroslav ; Djenić, AleksandarM22
971-Jan-2019New pseudo-random number generator based on improved discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen M21
981-Jan-2019NgramSPD: Exploring optimal n -gram model for sentiment polarity detection in different languagesGraovac, Jelena ; Mladenović, Miljana; Tanasijević, Ivana M23
991-Jan-2019Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess ConjectureJaničić, Predrag ; Marić, Filip ; Maliković, MarkoM22
1001-Jan-2019Hardware in the loop simulation for homing missilesTodic, Ivana; Kuzmanović, Vladimir M33