SYNASC2021: 23RD INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Abraham, Erika	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Abubakar, Jamilu	An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
Abubakar, Jamilu	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Adriana, Mitre	FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE
Ahmed, Idris	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
Akgul, Ali	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
Ancuta, Andrei	Glacier Movement Prediction through Computer Vision and Satellite Imagery
Andrei, Stefan	Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
Apostol, Elena-Simona	Improving WordNet using Word Embeddings
Awada, Alex	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
Awny, Deena	Relation Extraction - A Study on Kernel Functions
B
Babalau, Ion	Severity Prediction of Software Vulnerabilities based on their Text Description
Bacanin, Nebojsa	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Bates, Daniel	Excess intersections and numerical irreducible decompositions
Berinde, Vasile	Enriching contractive mappings in Banach spaces and convex metric spaces
Bluemlein, Johannes	Computer Algebra Methods in Probing the Physics at Shortest Distances of the Microcosm
Boicea, Marinela	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Brandt, Jens	Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD
Brossier, Jean-Marc	Combining weak classifiers: a logical analysis
Buyukkaya, Abdurrahman	On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces
C
Calude, Cristian	Gödel Incompleteness and Proof Assistants
Capra, Lorenzo	An Efficient Maude Formalization of (Rewritable) PT Nets
Cerna, David	A Special Case of Schematic Syntactic Unification
Chaipunya, Parin	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
Chaipunya, Parin	Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications
Cheng, Albert	Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
Cheval, Horatiu	Applications of the Lean theorem prover to proof mining
Chiru, Costin-Gabriel	Improving WordNet using Word Embeddings
Ciprian, Pungila	The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm
Cojocaru, Liliana	Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Corlatescu, Dragos	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models Severity Prediction of Software Vulnerabilities based on their Text Description
Cufoian, Mariana	Some fixed point theorems on equivalent metric spaces
D
Dascalu, Mihai	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models Severity Prediction of Software Vulnerabilities based on their Text Description
Davenport, James H.	Digital Collections of Examples in Mathematical Sciences On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
Deng, Siyuan	Parametric Linear Algebra in Maple (Work in progress paper)
Diekert, Volker	Decidability of membership problems in 2 × 2 matrices over rational numbers
Dinisor, Maria-Alexandra	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Dubois, François	An analytic and symbolic analysis of a coupled thermo-neutronics problem
E
Eklund, David	Excess intersections and numerical irreducible decompositions
England, Matthew	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
F
Florea, Adina	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
Frincu, Marc	Glacier Movement Prediction through Computer Vision and Satellite Imagery
G
Garau, Alina-Maria	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Garodia, Chanchal	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
Gavrilut, Dragos-Teodor	IoT security: The good the bad and the ugly
Gebrie, Anteneh Getachew	An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
Ghitescu, Cristina-Camelia	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Gil, Debora	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
Girgin, Ekber	Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces
Graillat, Stef	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
Grigorescu, Octavian	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models Severity Prediction of Software Vulnerabilities based on their Text Description
H
Hauenstein, Jonathan	Excess intersections and numerical irreducible decompositions
Holm Lundbergh, Magnus	An Editor Calculus With Undo/Redo
Homorodan, Paula	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
Horotan, Aura Ioana	Main developments around the concept of almost contractions in generalized metric spaces
Hoteit, Bilal	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
Hüttel, Hans	An Editor Calculus With Undo/Redo
I
Ibrahim, Alhassan	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
Ida, Tetsuo	Computation models in e-origami system Eos Origami programming in E-origami system Eos
Iftene, Adrian	How the Events in the Life of Painters Influence the Colors of their Paintings Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
Inaba, Daiju	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
Ionascu, Alexandru	Extracting football players video sprites from broadcast video
Ionescu, Alexandru	Improving WordNet using Word Embeddings
Ionescu, Anata-Flavia	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
Ionescu, Leonard	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Iosif, Radu	Local Reasoning about Parameterized Reconfigurable Distributed Systems
Iova, Ana	Software Testing Using Formal Methods
J
Janngam, Kobkoon	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
Jeffrey, David J.	Tree $T$ and Lambert $W$ Parametric Linear Algebra in Maple (Work in progress paper)
Jezequel, Fabienne	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
Jurkiewicz, Marcin	Graphs hard-to-process for greedy algorithm MIN
K
Kambheera, Abhiwat	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
Khammahawong, Konrawut	Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
Khan, Abdullah	Untangling Braids with Multi-agent Q-Learning
Khonchaliew, Manatchanok	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems
Koutschan, Christoph	Approximation of convex polygons by polygons
Kovacs, Gabriella	On graphic p-convex contractions
Kovacs, Laura	Automated Reasoning with Vampire
Kremer, Gereon	On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD
Kumam, Poom	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications
Kumam, Poom	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds
Kutsia, Temur	Symbolic constraints and quantitative extensions of equality
L
Lafitte, Olivier	An analytic and symbolic analysis of a coupled thermo-neutronics problem Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions Combining weak classifiers: a logical analysis
Leuștean, Ioana	DELP: Dynamic Epistemic Logic for Security Protocols
Lichtblau, Daniel	Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation
Liliana, Konyicska	Bounded Solutions of an Iterative Differential Equations
Lisitsa, Alexei	Untangling Braids with Multi-agent Q-Learning
Lungu, Alexandru-Ioan	Extended Z3 Array
M
Macovei, Bogdan	DELP: Dynamic Epistemic Logic for Security Protocols
Mantzius Nielsen, Magnus	An Editor Calculus With Undo/Redo
Marchis, Alexandra	Common fixed point for enriched contraction under the assumption of R-weakly commuting condition
Martínez-Moreno, Jaun	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Miholca, Diana-Lucia	New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
Minut, Mihai-Dimitrie	Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
Mitran, Madalina-Andreea	Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
Mocanu, Ada-Astrid	How the Events in the Life of Painters Influence the Colors of their Paintings
Mocioaca, Ecaterina	Mapping the black pine trees using the integration of CNN and OBIA
Moga, Madalina	On some qualitative properties of Ciric fixed point theorem
Moussa, Abdelqoddous	Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions
Mănăilă, Florin	IBM Federated Learning
N
Nicolae-Bogdan-Cristian, Togoe	The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm
Nimana, Nimit	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
O
Onchis, Darian	Double distillation for class incremental learning
Ozturk, Mahpeyker	Some New Results for Fixed Point Theory in Modular Spaces On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces
P
Pacurar, Madalina	Enriching contractive mappings in Banach spaces and convex metric spaces
Pakkaranang, Nuttapol	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
Pastuszak, Krzysztof	Graphs hard-to-process for greedy algorithm MIN
Pau, Ioana-Cleopatra	Symbolic Techniques for Fuzzy Relations
Paule, Peter	Mechanization of mathematics: some examples for discussion
Peterson, Chris	Excess intersections and numerical irreducible decompositions
Petrot, Narin	Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
Petrovic, Aleksandar	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
Petrusel, Adrian	A fixed point result for a convex type contraction
Petrusel, Gabriela	A fixed point result for a convex type contraction
Phairatchatniyom, Pawicha	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Ponomarchuk, Anton	Approximation of convex polygons by polygons
Popescu, Andrei	Types-to-Sets for Theorem Proving in Higher-Order Logic
Popovici, Dorin-Mircea	Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform
Prangprakhon, Mootta	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
Promsinchai, Porntip	A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints
Prunescu, Mihai	Secure Multiparty Computation in arbitrary rings
Q
Queiros Martins, Enzo	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
R
Radulescu, Vlad	Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
Ramírez, Esmitt	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
Rasheed, Raqeeb	Resultant-based Elimination for Skew Polynomials
Rehman, Habib Ur	An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space
Reid, Greg	Parametric Linear Algebra in Maple (Work in progress paper)
Rendal Kjær, Rasmus	An Editor Calculus With Undo/Redo
S
Salisu, Sani	A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications
Samuila, Ioan	Double distillation for class incremental learning
Sanchez, Carles	BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
Sandescu, Cristian	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models Severity Prediction of Software Vulnerabilities based on their Text Description
Sanuki, Masaru	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
Sasaki, Tateaki	Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
Schicho, Josef	Approximation of convex polygons by polygons
Simovici, Dan	Ultrametrics and Outlier Identification
Socaciu, Liviu-Ignat	Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications
Sorici, Alex	Continuous Operations and Fully Autonomous of a Social Service Robotic System.
Spyropoulos, Maxime	Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
Sriwongsa, Songpon	A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications
Stefaniga, Sebastian-Aurelian	Methods of acceleration for feature extractions in medical imaging using GPU processing
Stoean, Catalin	Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
Stoean, Ruxandra	Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Stoican, Florin	On the use of spline functions in motion planning
Strumberger, Ivana	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
Suantai, Suthep	A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems
Szypulski, Mateusz	Graphs hard-to-process for greedy algorithm MIN
T
Taddele, Guash Haile	An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem
Termkaew, Sakan	Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications
Thongsri, Piti	A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems
Todoran, Eneia Nicolae	Equivalence Classes in Performance Evaluation Programming
Trifoi, Ioan	Multivalued *-nonexpansive mapping
Truică, Ciprian-Octavian	Improving WordNet using Word Embeddings
Trusca, Radu	Local fixed point results and applications for multivalued generalized contractions
U
Uddin, Izhar	A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces
Urdea, Petru	Mapping the black pine trees using the integration of CNN and OBIA
V
Valcan, Sorin	Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data
Vernitski, Alexei	Untangling Braids with Multi-agent Q-Learning
Vladescu, Cristiana	What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Vonica, Maria-Minerva	Glacier Movement Prediction through Computer Vision and Satellite Imagery
W
Watt, Stephen	Questioning the Assumptions Behind Symbolic Computation Systems
Wattanataweekul, Rattanakorn	An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery
Y
Yee, Joshua	Ultrametrics and Outlier Identification
Yusuf, Abdullahi	A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey
Z
Zivkovic, Miodrag	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
Zivkovic, Tamara	A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm

Disclaimer | Powered by EasyChair Smart Program