Abstract is missing.
- Gödel Incompleteness and Proof-Assistants Extended AbstractCristian S. Calude. 1-3 [doi]
- Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CADGereon Kremer, Jens Brandt 0003. 4-10 [doi]
- Resultant-based Elimination for Skew PolynomialsRaqeeb Rasheed. 11-18 [doi]
- Tree $T$ and Lambert $W$D. J. Jeffrey. 19-24 [doi]
- Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-ExponentsTateaki Sasaki, Masaru Sanuki, Daiju Inaba. 25-32 [doi]
- Parametric Linear Algebra in Maple: Reduced Row Echelon FormSiyuan Deng, Greg Reid, D. J. Jeffrey. 33-36 [doi]
- On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories SolvingGereon Kremer, Erika Ábrahám, Matthew England 0001, James H. Davenport. 37-39 [doi]
- Uncertainty treatment of a coupled model of thermohydraulics and neutronics using special functions solutionsAbdelqoddous Moussa, Olivier D. Lafitte. 40-44 [doi]
- Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCDStef Graillat, Fabienne Jézéquel, Enzo Queiros Martins, Maxime Spyropoulos. 45-51 [doi]
- Excess intersections and numerical irreducible decompositionsDaniel J. Bates, David Eklund, Jonathan D. Hauenstein, Chris Peterson. 52-60 [doi]
- An analytic and symbolic analysis of a coupled thermo-neutronic problemFrançois Dubois, Olivier D. Lafitte. 61-65 [doi]
- An Editor Calculus With Undo/RedoRasmus Rendal Kjær, Magnus Holm Lundbergh, Magnus Mantzius, Hans Hüttel. 66-74 [doi]
- A Special Case of Schematic Syntactic UnificationDavid M. Cerna. 75-82 [doi]
- Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor PlatformStefan Andrei, Albert M. K. Cheng, Vlad Radulescu. 83-90 [doi]
- Approximation of convex polygons by polygonsChristoph Koutschan, Anton Ponomarchuk, Josef Schicho. 91-98 [doi]
- Ultrametrics and Outlier IdentificationDan A. Simovici, Joshua Yee. 99-104 [doi]
- How the Events in the Life of Painters Influence the Colors of their PaintingsAda-Astrid Mocanu, Adrian Iftene. 105-112 [doi]
- Glacier Movement Prediction through Computer Vision and Satellite ImageryMaria-Minerva Vonica, Andrei Ancuta, Marc Frîncu. 113-120 [doi]
- Improving WordNet using Word EmbeddingsCostin-Gabriel Chiru, Ciprian-Octavian Truica, Elena Simona Apostol, Alexandru Ionescu. 121-128 [doi]
- Continuous Operations and Fully Autonomy of a Social Service Robotic SystemBilal Hoteit, Imad Alex Awada, Alexandru Sorici, Adina Magda Florea. 129-134 [doi]
- Untangling Braids with Multi-Agent Q-LearningAbdullah Khan, Alexei Vernitski, Alexei Lisitsa. 135-139 [doi]
- What are the Latest Cybersecurity Trends? A Case Study Grounded in Language ModelsCristiana Vladescu, Maria-Alexandra Dinisor, Octavian Grigorescu, Dragos Corlatescu, Cristian Sandescu, Mihai Dascalu. 140-146 [doi]
- Relation Extraction - A Study on Kernel FunctionsDeena Awny. 147-154 [doi]
- Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit ClassificationMihai-Dimitrie Minut, Adrian Iftene. 155-162 [doi]
- New Conceptual Cohesion Metrics: Assessment for Software Defect PredictionDiana-Lucia Miholca. 163-170 [doi]
- Severity Prediction of Software Vulnerabilities based on their Text DescriptionIon Babalau, Dragos Corlatescu, Octavian Grigorescu, Cristian Sandescu, Mihai Dascalu. 171-177 [doi]
- Combining weak classifiers: a logical analysisJean-Marc Brossier, Olivier D. Lafitte. 178-181 [doi]
- Double distillation for class incremental learningDarian M. Onchis, Ioan-Valentin Samuila. 182-185 [doi]
- An Efficient Maude Formalization of (Rewritable) PT NetsLorenzo Capra. 186-193 [doi]
- Equivalence Classes in Performance Evaluation ProgrammingEneia Nicolae Todoran. 194-199 [doi]
- Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution SystemsLiliana Cojocaru. 200-207 [doi]
- Graphs hard-to-process for greedy algorithm MINMarcin Jurkiewicz, Krzysztof Pastuszak, Mateusz Szypulski. 208-213 [doi]
- The Cleisthenes Protocol: A Fair Governance-Based Democratic Consensus AlgorithmTogoe Nicolae-Bogdan-Cristian, Ciprian Pungila. 214-221 [doi]
- Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth DataSorin Valcan. 222-226 [doi]
- BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation BronchoscopyEsmitt Ramírez, Carles Sanchéz Ramos, Debora Gil. 227-233 [doi]
- Methods of acceleration for feature extractions in medical imaging using GPU processingSebastian-Aurelian Stefaniga. 234-241 [doi]
- Extracting football players video sprites from broadcast videoAlexandru Ionascu. 242-245 [doi]
- Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before RestorationRuxandra Stoean, Nebojsa Bacanin, Leonard Ionescu, Marinela Boicea, Alina-Maria Garau, Cristina-Camelia Ghitescu. 246-251 [doi]
- Sentiment Analysis from Stock Market News in Romanian using Chaos Game RepresentationCatalin Stoean, Daniel Lichtblau. 252-258 [doi]
- A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization AlgorithmMiodrag Zivkovic, Catalin Stoean, Aleksandar Petrovic, Nebojsa Bacanin, Ivana Strumberger, Tamara Zivkovic. 259-266 [doi]
- Extended Z3 ArrayLungu Alexandru-Ioan. 267-274 [doi]
- DELP: Dynamic Epistemic Logic for Security ProtocolsIoana Leustean, Bogdan Macovei. 275-282 [doi]
- Secure Multiparty Computation in arbitrary ringsMihai Prunescu. 283-290 [doi]
- Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution AlgorithmsMitran Madalina-Andreea. 291-298 [doi]