Informatics and Computer Science

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 1-50 of 242 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)Rank
122-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
22024A Novel Approach to Source Code Assembling in the Field of Algorithmic ComplexityPešić, Đorđe; Vujošević Janičić, Milena ; Mišić, Marko; Protić, JelicaM23
32024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna 
41-Dec-2023Automated generation of illustrated proofs in geometry and beyondJaničić, Predrag ; Narboux, JulienM22
51-Dec-2023Research in computing-intensive simulations for nature-oriented civil-engineering and related scientific fields, using machine learning and big data: an overview of open problemsBabović, Zoran; Bajat, Branislav; Đokić, Vladan; Đorđević, Filip; Drašković, Dražen; Filipović, Nenad; Furht, Borko; Gačić, Nikola; Ikodinović, Igor; Ilić, Marija; Irfanoglu, Ayhan; Jelenković, Branislav; Kartelj, Aleksandar ; Klimeck, Gerhard; Korolija, Nenad; Kotlar, Miloš; Kovačević, Miloš; Kuzmanović, Vladan; Marinković, Marko; Marković, Slobodan; Mendelson, Avi; Milutinović, Veljko; Nešković, Aleksandar; Nešković, Nataša; Mitić, Nenad ; Nikolić, Boško; Novoselov, Konstantin; Prakash, Arun; Ratković, Ivan; Stojadinović, Zoran; Ustyuzhanin, Andrey; Zak, StanM21a
61-Dec-2023Self-adaptive CMSA for solving the multidimensional multi-way number partitioning problemDjukanović, Marko; Kartelj, Aleksandar ; Blum, ChristianM21a
71-Dec-2023An approach to automatic classification of hate speech in sports domain on social mediaVujičić Stanković, Staša ; Mladenović, MiljanaM21a
81-Dec-2023Teaching computing for complex problems in civil engineering and geosciences using big data and machine learning: synergizing four different computing paradigms and four different management domainsBabović, Zoran; Bajat, Branislav; Barac, Dusan; Bengin, Vesna; Đokić, Vladan; Đorđević, Filip; Drašković, Dražen; Filipović, Nenad; French, Stephan; Furht, Borko; Ilić, Marija; Irfanoglu, Ayhan; Kartelj, Aleksandar ; Kilibarda, Milan; Klimeck, Gerhard; Korolija, Nenad; Kotlar, Miloš; Kovačević, Miloš; Kuzmanović, Vladan; Lehn, Jean Marie; Madić, Dejan; Marinković, Marko; Mateljević, Miodrag; Mendelson, Avi; Mesinger, Fedor; Milovanović, Gradimir; Milutinović, Veljko; Mitić, Nenad ; Nešković, Aleksandar; Nešković, Nataša; Nikolić, Boško; Novoselov, Konstantin; Prakash, Arun; Protić, Jelica; Ratković, Ivan; Rios, Diego; Shechtman, Dan; Stojadinović, Zoran; Ustyuzhanin, Andrey; Zak, StanM21a
91-Dec-2023RILS-ROLS: robust symbolic regression via iterated local search and ordinary least squaresKartelj, Aleksandar ; Djukanović, MarkoM21a
101-Dec-2023Formalization of geometry, automated and interactive geometric reasoningKovács, Zoltán; Janičić, Predrag M22
1122-Nov-2023Intrinsically disordered proteins and liquid-liquid phase separation in SARS-CoV-2 interactomesVasović, Lazar M; Pavlović-Lažetić, Gordana M; Kovačević, Jovana ; Beljanski, Miloš V; Uversky, Vladimir NM22
1220-Aug-2023The LSST AGN Data Challenge: Selection MethodsSavić, Đorđe V.; Jankov, Isidora; Yu, Weixiang; Petrecca, Vincenzo; Temple, Matthew J.; Ni, Qingling; Shirley, Raphael; Kovačević, Anđelka ; Nikolić, Mladen ; Ilić, Dragana ; Popović, Luka; Paolillo, Maurizio; Panda, Swayamtrupta; Ćiprijanović, Aleksandra; Richards, Gordon T.M21
131-Jun-2023Deep Learning of Quasar Lightcurves in the LSST EraKovačević, Anđelka ; Ilić, Dragana ; Popović, Luka; Andrić Mitrović, Nikola; Nikolić, Mladen ; Pavlović, Marina S.; Čvorović-Hajdinjak, Iva; Knežević, Miljan ; Savić, Djordje V.M22
149-Apr-2023BioGraph: Data Model for Linking and Querying Diverse Biological MetadataVeljković, Aleksandar N; Orlov, Yuriy L; Mitić, Nenad M21
151-Apr-2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko ; Vujošević Janičić, Milena М22
161-Mar-2023Controlling highway toll stations using deep learning, queuing theory, and differential evolutionPetrović, Andrija; Nikolić, Mladen ; Bugarić, Uglješa; Delibašić, Boris; Lio, PietroM21a
171-Feb-2023Gaussian conditional random fields for classificationPetrović, Andrija; Nikolić, Mladen ; Jovanović, Miloš; Delibašić, BorisM21a
181-Jan-2023Structured prediction of sparse dependent variables for traffic state estimation in large-scale networksPetrović, Andrija; Radovanović, Sandro; Nikolić, Mladen ; Delibašić, Boris; Jovanović, MilošM21a
192023Dvokriterijumski uopšteni problem postavljanja regeneratora u optičkim mrežamaMrkela, Lazar; Vidojević, Filip ; Stanimirović, Zorica 
202023Variable Neighborhood Search for Weighted Total Domination Problem and Its Application in Social Network Information SpreadingKapunac, Stefan ; Kartelj, Aleksandar ; Djukanović, MarkoM21a
211-Jan-2022Application of A <sup>∗</sup> to the Generalized Constrained Longest Common Subsequence Problem with Many Pattern StringsDjukanovic, Marko; Matic, Dragan; Blum, Christian; Kartelj, Aleksandar 
222022Mathematical formulations and solution methods for the uncapacitated r-allocation p-hub maximal covering problemStančić, Olivera; Stanimirović, Zorica ; Todosijević, Raca; Mišković, Stefan M22
232022The Influence of Interactive Learning Materials on Solving Tasks That Require Different Types of Mathematical ReasoningKaplar, Marija; Radović, Slaviša; Veljković, Kristina; Simić-Muller, Ksenija; Marić, Miroslav 
242022FAIR: Fair adversarial instance re-weightingPetrović, Andrija; Nikolić, Mladen ; Radovanović, Sandro; Delibašić, Boris; Jovanović, Miloš
252022Graph search and variable neighborhood search for finding constrained longest common subsequences in artificial and real gene sequencesDjukanović, Marko; Kartelj, Aleksandar ; Matić, Dragan; Grbić, Milana; Blum, Christian; Raidl, Günther R.
262022Cyber-Aggression, Cyberbullying, and Cyber-groomingMladenovic, Miljana; Ošmjanski, Vera; Vujičić Stanković, Staša M21a
272022Supportness of the protein complex standards in PPI networksGrbić, Milana; Crnogorac, Vukašin; Predojević, Milan; Kartelj, Aleksandar ; Matić, Dragan
282022MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learningVasić, Marko; Petrović, Andrija; Wang, Kaiyuan; Nikolić, Mladen ; Singh, Rishabh; Khurshid, Sarfraz
292022Prediction of structural alphabet protein blocks using data miningMaljković, Mirjana M; Mitić, Nenad ; de Brevern, Alexandre G
302022Theorem Proving as Constraint Solving with Coherent LogicJaničić, Predrag ; Narboux, Julien
312022The uncapacitated r-allocation p-hub center problemBrimberg, Jack; Mišković, Stefan ; Todosijević, Raca; Uroševic, DraganM22
3230-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna; Šukilović, Tijana ; Marić, Filip M33
3330-Dec-2021Automated Generation of Illustrations for Synthetic Geometry ProofsJaničić, Predrag ; Narboux, Julien
3425-Aug-2021Statistical analysis of correlation between weather parameters and new COVID-19 cases: A case study of Bosnia and HerzegovinaZec, Tatjana; Kartelj, Aleksandar ; Djukanovic, Marko; Grbic, Milana; Matic, Dragan
3526-May-2021AUTOCHECK: A Tool for Checking Compliance with Automotive Coding StandardsVujošević Janičić, Milena ; Plavsic, Ognjen; Brkusanin, Mirko; Jovanovic, PetarM33
361-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
371-Jan-2021PBMC Cell Classification from Single Cell mRNA Expression by Artificial Neural Networks, Profiles, Gene Markers, and Protein MarkersLyu, Minjie; Zhang, Yihan; Yang, Luning; Lin, Xin; Li, Yilin; Jin, Huan; Bellotti, Anthony G.; Mitić, Nenad ; Brusic, Vladimir
381-Jan-2021Classification of Single Cell Types using Small Sets of Expressed Genes: Comparative Analysis of Supervised Machine Learning MethodsVeljkovic, Aleksandar; Maljkovic, Mirjana; Mitić, Nenad ; Malkov, Saša ; Lyu, Minjie; Lin, Xin; Michalewicz, Marek; Zhang, Guanglan; Brusic, Vladimir
391-Jan-2021Intrinsically motivated option learning: A comparative study of recent methodsBozic, Dorde; Tadic, Predrag; Nikolić, Mladen M33
401-Jan-2021Applications of single cell profiles of PBMC:Improvements of cell type classificationYang, Luning; Zhang, Yihan; Mitić, Nenad ; Keskin, Derin B.; Zhang, Guang Lan; Chitkushev, Lou T.; Rankin, Richard; Brusic, Vladimir
411-Jan-2021The Use of Fuzzy Logic in Various Combinatorial Optimization ProblemsDrakulić, Darko; Takači, Aleksandar; Marić, Miroslav 
421-Jan-2021Neural Algorithmic Reasoners are Implicit PlannersDeac, Andreea; Velǐckovíc, Petar; Milinković, Ognjen ; Bacon, Pierre Luc; Tang, Jian; Nikolić, Mladen M33
432021Bioinformatics analysis of correlation between protein function and intrinsic disorderVinterhalter, Goran; Kovačević, Jovana ; Uversky, Vladimir N; Pavlović-Lažetić, Gordana MM21
442021Fair classification via Monte Carlo policy gradient methodPetrović, Andrija; Nikolić, Mladen ; Jovanović, Miloš; Bijanić, Miloš; Delibašić, BorisM21
452021Solving the longest common subsequence problem concerning non-uniform distributions of letters in input stringsNikolic, Bojan; Kartelj, Aleksandar ; Djukanovic, Marko; Grbic, Milana; Blum, Christian; Raidl, Günther
462021The roman domination number of some special classes of graphs-convex polytopesKartelj, Aleksandar ; Grbić, Milana; Matić, Dragan; Filipović, Vladimir M22
472021Faradžev Read-type enumeration of non-isomorphic CC systemsBanković, Milan; Marić, Filip M23
482021A multicriteria optimization approach for the stock market feature selectionRadojičić, Dragana; Radojičić Matić, Nina ; Kredatus, SimeonM23
492021Software for the GeoSPARQL compliance benchmarkJovanovik, Milos; Homburg, Timo; Spasić, Mirko 
502021Entropy-driven translocation of disordered proteins through the Gram-positive bacterial cell wallHalladin, David K; Ortega, Fabian E; Ng, Katharine M; Footer, Matthew J; Mitić, Nenad ; Malkov, Saša ; Gopinathan, Ajay; Huang, Kerwyn Casey; Theriot, Julie A