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 51-100 of 242 (Search time: 0.007 seconds).

Issue DateTitleAuthor(s)Rank
512021A geosparql compliance benchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko M22
522021Verification supported refactoring of embedded sqlSpasić, Mirko ; Vujošević Janičić, Milena 
532021Expansion of the Neolithic in Southeastern Europe: wave of advance fueled by high fertility and scalar stressPorčić, Marko; Nikolić, Mladen ; Pendić, Jugoslav; Penezić, Kristina; Blagojević, Tamara; Stefanović, SofijaM22
5416-Dec-2020Prediction of PBMC Cell Types Using scRNAseq Reference ProfilesYang, Luning; Zhang, Yihan; Mitić, Nenad ; Keskin, Derin B.; Zhang, Guang Lan; Chitkushev, Lou; Brusic, Vladimir
5516-Dec-2020Single-cell mRNA Profiles in PBMCYang, Luning; Zhang, Yihan; Mitić, Nenad ; Keskin, Derin B.; Zhang, Guang Lan; Chitkushev, Lou; Brusic, Vladimir
5630-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Ðurdević, Sana
5728-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.
581-Aug-2020How well are known protein complexes supported in PPI networks?Grbic, Milana; Crnogorac, Vukasin; Predojevic, Milan; Kartelj, Aleksandar ; Matic, Dragan
591-May-2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena 
601-May-2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko ; Vujošević Janičić, Milena 
611-May-2020Random forest spatial interpolationSekulić, Aleksandar; Kilibarda, Milan; Heuvelink, Gerard B.M.; Nikolić, Mladen ; Bajat, Branislav
621-Apr-2020Two ways for the automatic generation of application ontologies by using BalkaNetMladenović, Miljana; Vujičić Stanković, Staša ; Pajić, Vesna
631-Mar-2020New dynamics in dynamic geometry: Dragging constructed pointsSelaković, Milica; Marinković, Vesna ; Janičić, Predrag 
642-Jan-2020Examining the effects of Geogebra applets on mathematics learning using interactive mathematics textbookRadović, Slaviša; Radojičić, Marija; Veljković, Kristina; Marić, Miroslav 
651-Jan-2020Weakly Convex and Convex Domination Numbers for Generalized Petersen and Flower Snark GraphsKRATICA, JOZEF; MATIC, DRAGAN; Filipović, Vladimir 
661-Jan-2020Verifying Faradžev-Read Type Isomorph-Free Exhaustive GenerationMarić, Filip 
671-Jan-2020Regression verification for automated evaluation of students programsVujošević Janičić, Milena ; Marić, Filip 
681-Jan-2020Exponential quality function for community detection in complex networksDžamić, Dušan; Pei, Jun; Marić, Miroslav ; Mladenović, Nenad; Pardalos, Panos M.
691-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ć, Miodrag
702020A three-phase method for identifying functionally related protein groups in weighted PPI networksGrbić, Milana; Matić, Dragan; Kartelj, Aleksandar ; Vračević, Savka; Filipović, Vladimir 
712020Data 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
722020A 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 G
732020Variable Neighborhood Search for Partitioning Sparse Biological Networks into the Maximum Edge-Weighted k-PlexesGrbic, Milana; Kartelj, Aleksandar ; Jankovic, Savka; Matic, Dragan; Filipović, Vladimir 
741-Dec-2019Edge Metric Dimension of Some Generalized Petersen GraphsFilipović, Vladimir ; Kartelj, Aleksandar ; Kratica, Jozef
7515-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag 
7615-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip 
7715-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
787-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 
791-Jan-2019On thin air reads: Towards an event structures model of relaxed memoryJaničić, Predrag ; Marić, Filip ; Maliković, Marko
801-Jan-2019Solving balanced multi-weighted attribute set partitioning problem with variable neighborhood searchDžamić, Dušan; Ćendić, Bojana; Marić, Miroslav ; Djenić, Aleksandar
811-Jan-2019New pseudo-random number generator based on improved discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen 
821-Dec-2018A novel metaheuristic approach for collaborative learning group formationLambić, Dragan; Lazović, Bojana; Djenić, Aleksandar; Marić, Miroslav 
831-Nov-2018Fuzzy GRASP with path relinking for the Risk-constrained Cash-in-Transit Vehicle Routing ProblemRadojičić Matić, Nina ; Djenić, Aleksandar; Marić, Miroslav 
841-Nov-2018Some possibilities of using fuzzy logic within methods for solving a variant of vehicle routing problemRadojičić Matić, Nina ; Marić, Miroslav 
851-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, Branislav
8611-Jun-2018Semi-automatic extraction of multiword terms from domain-specific corporaPajić, Vesna; Vujičić Stanković, Staša ; Stanković, Ranka; Pajić, Miloš
871-Feb-2018Prototype implementation of segment assembling softwarePešić, Dorde; Mišić, Marko; Protić, Jelica; Vujošević Janičić, Milena 
881-Jan-2018MOCHA2018: The Mighty Storage Challenge at ESWC 2018Georgala, Kleanthi; Spasić, Mirko ; Jovanovik, Milos; Papakonstantinou, Vassilis; Stadler, Claus; Röder, Michael; Ngomo, Axel Cyrille Ngonga
891-Jan-2018A new fuzzy version of the risk-constrained cash-in-transit vehicle routing problemRadojičić Matić, Nina ; Marić, Miroslav 
901-Jan-2018Benchmarking Virtuoso 8 at the Mighty Storage Challenge 2018: Challenge ResultsJovanovik, Milos; Spasić, Mirko 
912018Structural disorder of plasmid-encoded proteins in Bacteria and ArchaeaMitić, Nenad ; Malkov, Saša ; Kovačević, Jovana ; Pavlović-Lažetić, Gordana M; Beljanski, Miloš V
922018Finding Statistically Significant Repeats in Nucleic Acids and ProteinsJelovic, Ana M; Mitić, Nenad ; Eshafah, Samira; Beljanski, Milos V
931-Dec-2017Novel formulations and VNS-based heuristics for single and multiple allocation p-hub maximal covering problemsJanković, Olivera; Mišković, Stefan ; Stanimirović, Zorica ; Todosijević, Raca
941-Oct-2017Pseudo-random number generator based on discrete-space chaotic mapLambić, Dragan; Nikolić, Mladen 
951-Oct-2017A VNS-LP algorithm for the robust dynamic maximal covering location problemMišković, Stefan 
961-Sep-2017Modeling of HILIC retention behavior with theoretical models and new spline interpolation techniqueTumpa, Anja; Mišković, Stefan ; Stanimirović, Zorica ; Jančić-Stojanović, Biljana; Medenica, Mirjana
971-Aug-2017Solving the robust two-stage capacitated facility location problem with uncertain transportation costsMišković, Stefan ; Stanimirović, Zorica ; Grujičić, Igor
981-Jun-2017Efficiency of using VNS algorithm for forming heterogeneous groups for CSCL learningTakači, Đurđica; Marić, Miroslav ; Stankov, Gordana; Djenić, Aleksandar
991-Jun-2017Variable neighborhood search for solving bandwidth coloring problemMatić, Dragan; Kratica, Jozef; Filipović, Vladimir 
1001-Apr-2017A variable neighbourhood search method for solving the long-term care facility location problemDjenić, Aleksandar; Marić, Miroslav ; Stanimirović, Zorica ; Stanojević, Predrag