Table of Contents

• Infrastructure as Code for Heterogeneous ComputingDaniel Vladusic, Dragan Radolovic. 1-2 [doi]
• Deep Visual Domain AdaptationGabriela Csurka. 1-8 [doi]
• Gender Issues in Computer Science: Lessons Learnt and Reflections for the FutureLetizia Jaccheri, Cristina Pereira, Swetlana Fast. 9-16 [doi]
• Sustainable MLOps: Trends and ChallengesDamian A. Tamburri. 17-23 [doi]
• Knot Coloring as VerificationRobert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda. 24-31 [doi]
• The CAD Conundrum: Lex-Least vs OrderScott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran. 32-35 [doi]
• Recent results on the Lambert W functionT. J. Ayoub, K. Basu, D. J. Jeffrey. 36-39 [doi]
• Approximate GCD in Lagrange basesLeili Rafiee Sevyeri, Robert M. Corless. 40-47 [doi]
• A general construction for generating pseudorandom sequences using the digit expansion of real functionsNorbert Tihanyi, Bertalan Borsos. 48-54 [doi]
• Efficient Parallel Simulations of Wireless Signal Wave PropagationDorin-Marian Ionita, Filip-George Manole, Emil-Ioan Slusanschi. 55-62 [doi]
• Numerical simulation algorithm for fractional-order systems implemented in CUDAFlorin Rosu, Cosmin Bonchis, Eva Kaslik. 63-66 [doi]
• Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational SemanticsNatalia Moanga. 67-74 [doi]
• On One Approach to Goal-Driven Proof Search in Classical First-Order LogicAlexander V. Lyaletski, Alexandre Lyaletsky. 75-83 [doi]
• Generating Minimal Unsatisfiable SAT Instances from Strong DigraphsGábor Kusper, Tamás Balla, Csaba Biró, Tibor Tajti, Zijian Gyozo Yang, Imre Baják. 84-92 [doi]
• SPIKE, an automatic theorem prover - revisitedSorin Stratulat. 93-96 [doi]
• An Experiment on Mizar Adjectives with Extra Visible ArgumentsAdam Naumowicz. 97-100 [doi]
• A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction NetworksHamid Rahkooy, Cristian Vargas Montero. 101-108 [doi]
• Results on graceful chromatic number for particular graphsCamelia Obreja. 109-116 [doi]
• A Study of Multiparty Interactions in Continuation SemanticsGabriel Ciobanu, Eneia Nicolae Todoran. 117-124 [doi]
• Hierarchical Scheduling in on-demand GPU-as-a-Service SystemsFederica Filippini, Marco Lattuada 0001, Arezoo Jahani, Michele Ciavotta, Danilo Ardagna, Edoardo Amaldi. 125-132 [doi]
• An Approach to Support Automated Deployment of Applications on Heterogeneous Cloud-HPC InfrastructuresElisabetta Di Nitto, Jesús Gorroñogoitia, Indika Kumara, Georgios Meditskos, Dragan Radolovic, Karthee Sivalingam, Román Sosa González. 133-140 [doi]
• An analysis of aggregated coupling's suitability for software defect predictionDiana-Lucia Miholca, Zsuzsanna Onet-Marian. 141-148 [doi]
• Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement LearningHui Wang 0053, Mike Preuss, Michael Emmerich, Aske Plaat. 149-152 [doi]
• Semantic Image Inpainting via Maximum LikelihoodSebastian Ciobanu, Liviu Ciortuz. 153-160 [doi]
• Extractive Summarization using Cohesion Network Analysis and Submodular Set FunctionsValentin Sergiu Cioaca, Mihai Dascalu, Danielle S. McNamara. 161-168 [doi]
• Machine Learning based models for examining differences between modern and ancient DNA in dental calculusMaria-Iuliana Bocicor, Iulia-Monica Szuhai, Emilia-Loredana Pop, Ioan-Gabriel Mircea. 169-174 [doi]
• Cohesion Network Analysis: Customized Curriculum Management in MoodleGabriel Gutu-Robu, Darius Mihai, Mihai Dascalu, Mihai Carabas, Stefan Trausan-Matu, Sunhea Choi, Keith M. Godfrey, Brigitte Angela Brands, Berthold Koletzko. 175-181 [doi]
• Should I trust a deep learning condition monitoring prediction?Darian M. Onchis. 182-186 [doi]
• Edge map response of dilated and reconstructed classical filtersCiprian Orhei, Victor Bogdan, Cosmin Bonchis. 187-194 [doi]
• What's Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing TechniquesCosmin Titiliuc, Stefan Ruseti, Mihai Dascalu. 195-201 [doi]
• Quality of Pre-trained Deep-Learning Models for Palmprint RecognitionValentin Rosca, Anca Ignat. 202-209 [doi]
• Hybrid Hyper-parameter Optimization for Collaborative FilteringPeter Szabó, Béla Genge. 210-217 [doi]
• Automatic Real-Time Road Crack Identification SystemLucia Georgiana Coca, Ciprian-Gabriel Cusmuliuc, Vladut-Haralambie Morosanu, Teodora Grosu, Adrian Iftene. 218-223 [doi]
• A Sentiment-based Similarity Model for Recommendation SystemsMara Deac-Petrusel, Sergiu Limboi. 224-230 [doi]
• Increasing the Upper Bound for the EvoMan Game CompetitionGabriel-Codrin Cojocaru, Sergiu-Andrei Dinu, Eugen Croitoru. 231-237 [doi]
• Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM SystemsDoru Rotovei, Viorel Negru. 238-245 [doi]
• Lung Tumor Segmentation Accelerated by CUDASorin Valcan, Mihail Gaianu. 246-250 [doi]
• The Driver's Attention LevelIonut-Adrian Tarba, Mihail Gaianu, Sebastian-Aurelian Stefaniga. 251-258 [doi]
• AgriSen - A Dataset for Crop ClassificationTeodora Selea, Marius-Florin Pslaru. 259-263 [doi]
• Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural VegetationValentin Ganchenko, Valery Starovoitov, Xiangtao Zheng. 264-269 [doi]
• Optimizing Deep Learning Models for Object DetectionCalin-George Barburescu, Gabriel Iuhasz. 270-277 [doi]
• A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018Teodor Florin Fortis, Alexandra Emilia Fortis. 278-285 [doi]
• Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile PictureDiana Paula Dudau, Florin Alin Sava, Andrei Rusu, Virgil Cervicescu. 286-293 [doi]
• Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational NodesTogoe Nicolae-Bogdan-Cristian, Spataru Alexe Luca, Ciprian Pungila. 294-301 [doi]
• A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract ExecutionSpataru Alexe Luca, Ciprian Pungila. 302-309 [doi]
• DS Lab Notebook: A new tool for data science applicationsAlexandru Ionascu, Sebastian-Aurelian Stefaniga. 310-314 [doi]
• Business Decisions Support using Sentiment Analysis in CRM SystemsBashar Al Asaad, Doru Rotovei. 315-318 [doi]