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

Days: Tuesday, December 7th Wednesday, December 8th Thursday, December 9th Friday, December 10th

Tuesday, December 7th

View this program: with abstractssession overviewtalk overview

10:00-10:50 Session 2: SYNASC Invited Talk (1)
10:00
Computation models in e-origami system Eos (abstract)
11:10-11:50 Session 3: Theory of Computing Session
11:10
Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems (abstract)
11:30
Graphs hard-to-process for greedy algorithm MIN (abstract)
11:50-12:30 Session 4: Symbolic Computation Session (1)
11:50
Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents (abstract)
PRESENTER: Tateaki Sasaki
12:10
Digital Collections of Examples in Mathematical Sciences (abstract)
14:00-14:50 Session 5: SYNASC Invited Talk (2)
14:00
Mechanization of mathematics: some examples for discussion (abstract)
15:10-16:00 Session 6: SYNASC Invited Talk (3)
15:10
Questioning the Assumptions Behind Symbolic Computation Systems (abstract)
16:20-18:00 Session 7A: Symbolic Computation Session (2)
16:20
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving (abstract)
PRESENTER: Gereon Kremer
16:40
Implementing arithmetic over algebraic numbers: A tutorial for Lazard's lifting scheme in CAD (abstract)
PRESENTER: Gereon Kremer
17:00
Tree $T$ and Lambert $W$ (abstract)
17:20
Parametric Linear Algebra in Maple (Work in progress paper) (abstract)
17:40
Resultant-based Elimination for Skew Polynomials (abstract)
16:20-18:20 Session 7B: PhD Students Session
16:20
Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms (abstract)
16:40
Mapping the black pine trees using the integration of CNN and OBIA (abstract)
17:00
Preceptor: A Proposed Architecture for an On-Demand Virtual Learning Platform (abstract)
17:20
On some qualitative properties of Ciric fixed point theorem (abstract)
17:40
Splitting Proximal Algorithms for Convex Optimization Problems on $\CAT(\kappa)$ spaces and Its Applications (abstract)
18:00
Local fixed point results and applications for multivalued generalized contractions (abstract)
Wednesday, December 8th

View this program: with abstractssession overviewtalk overview

11:00-11:50 Session 9: FROM Invited Talk (1)
Location: Room FROM
11:00
Decidability of membership problems in 2 × 2 matrices over rational numbers (abstract)
11:10-12:30 Session 10: Numerical Computing Session
11:10
An analytic and symbolic analysis of a coupled thermo-neutronics problem (abstract)
11:30
Uncertainty treatment of a coupled model of thermohydraulics and neutronicsusing special functions solutions (abstract)
11:50
Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD (abstract)
12:10
Excess intersections and numerical irreducible decompositions (abstract)
PRESENTER: Daniel Bates
12:10-12:50 Session 11: FROM Workshop (1)

Working Formal Methods Symposium 

Location: Room FROM
12:10
Applications of the Lean theorem prover to proof mining (abstract)
12:30
Secure Multiparty Computation in arbitrary rings (abstract)
15:10-16:00 Session 13B: FROM Invited Talk (3)
Location: Room FROM
15:10
Local Reasoning about Parameterized Reconfigurable Distributed Systems (abstract)
16:20-17:00 Session 14: FROM Session (2)

Working Formal Methods Symposium

Location: Room FROM
16:20
DELP: Dynamic Epistemic Logic for Security Protocols (abstract)
PRESENTER: Bogdan Macovei
16:40
Extended Z3 Array (abstract)
17:00-18:00 Session 15A: Logic and Programming Session
17:00
An Editor Calculus With Undo/Redo (abstract)
17:20
A Special Case of Schematic Syntactic Unification (abstract)
17:40
Designing a new Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform (abstract)
17:00-18:20 Session 15B: NCA and ACSSA Session

Natural Computing and Applications Workshop  /  Special Session on Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains

17:00
Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation (abstract)
17:20
A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm (abstract)
17:40
Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration (abstract)
18:00
The Cleisthenes Protocol : A Fair Governance-Based Democratic Consensus Algorithm (abstract)
Thursday, December 9th

View this program: with abstractssession overviewtalk overview

10:00-10:50 Session 16: SYNASC Invited Talk (6)
10:00
Computer Algebra Methods in Probing the Physics at Shortest Distances of the Microcosm (abstract)
11:10-12:50 Session 17A: Artificial Intelligence Session (1)
11:10
Improving WordNet using Word Embeddings (abstract)
11:30
What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models (abstract)
11:50
Severity Prediction of Software Vulnerabilities based on their Text Description (abstract)
12:10
Relation Extraction - A Study on Kernel Functions (abstract)
12:30
New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction (abstract)
11:10-12:50 Session 17B: IAFP Workshop (1)

Workshop on Iterative Approximation of Fixed Points

11:10
A modified iterative approaches for solving fixed-point and minimization problems in Positive curvature metric spaces (abstract)
11:30
An iterative method with inertial extrapolation effect for solving multiple-sets split feasibility problem (abstract)
11:50
A Viscosity-type Scheme for Optimization Problems in Hadamard Spaces With Applications (abstract)
12:10
An Inertial Iterative Method for Solving the Split Variational Inclusion Problems in Hilbert Space (abstract)
12:30
Modified Halpern Type Algorithms of Common Solutions to Fixed Points Problems and Inclusion Problems on Hadamard Manifolds (abstract)
14:00-15:30 Session 18A: SYNASC Tutorial (2)
14:00
Origami programming in E-origami system Eos (abstract)
14:00-14:50 Session 18B: FROM Invited Talk (4)
Location: Room FROM
14:00
On the use of spline functions in motion planning (abstract)
14:00-15:20 Session 18C: IAFP Workshop (2)

Workshop on Iterative Approximation of Fixed Points

14:00
Some New Results for Fixed Point Theory in Modular Spaces (abstract)
14:20
On Common Fixed Point Theorems Satisfying Z_Σ-⊥-Contraction Mappings in Orthogonal Modular b-Metric Spaces (abstract)
14:40
Common fixed points of generalized (alpha,beta )-Geraghty-Simulative contraction in non-Archimedean modular metric spaces (abstract)
15:00
On graphic p-convex contractions (abstract)
15:10-16:00 Session 19: FROM Invited Talk (5)
Location: Room FROM
15:10
Types-to-Sets for Theorem Proving in Higher-Order Logic (abstract)
15:50-16:50 Session 20A: Artificial Intelligence Session (2)
15:50
Approximation of convex polygons by polygons (abstract)
16:10
Ultrametrics and Outlier Identification (abstract)
16:30
Combining weak classifiers: a logical analysis (abstract)
15:50-16:50 Session 20B: IAFP Workshop (3)

Workshop on Iterative Approximation of Fixed Points

15:50
Bounded Solutions of an Iterative Differential Equations (abstract)
16:10
Multivalued *-nonexpansive mapping (abstract)
16:30
Main developments around the concept of almost contractions in generalized metric spaces (abstract)
16:20-17:00 Session 21: FROM Session (3) + Round Table

Working Formal Methods Symposium

Location: Room FROM
16:20
Software Testing Using Formal Methods (abstract)
17:10-18:10 Session 22A: Artificial Intelligence Session (3)
17:10
How the Events in the Life of Painters Influence the Colors of their Paintings (abstract)
17:30
Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification (abstract)
17:50
Glacier Movement Prediction through Computer Vision and Satellite Imagery (abstract)
17:10-18:10 Session 22B: IAFP Workshop (4)

Workshop on Iterative Approximation of Fixed Points

17:10
A fixed point result for a convex type contraction (abstract)
17:30
Common fixed point for enriched contraction under the assumption of R-weakly commuting condition (abstract)
17:50
Kannan and Bianchini fixed point theorems in partially ordered H-distance space (abstract)
Friday, December 10th

View this program: with abstractssession overviewtalk overview

10:00-10:50 Session 23: SYNASC Invited Talk (7)
10:00
Symbolic constraints and quantitative extensions of equality (abstract)
11:10-12:30 Session 24A: DIPMAI Workshop

Workshop on Digital Image Processing for Medical and Automotive Industry

Location: Room FROM
11:10
BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy (abstract)
11:30
Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data (abstract)
11:50
Extracting football players video sprites from broadcast video (abstract)
12:10
Methods of acceleration for feature extractions in medical imaging using GPU processing (abstract)
11:10-12:40 Session 24B: IAFP Workshop (5)

Workshop on Iterative Approximation of Fixed Points

11:10
A Fractional Mathematical Model of the ongoing Coronavirus Disease (COVID-19) Pandemic: A Case Study in Turkey (abstract)
11:30
Shrinking inertial extragradient algorithms for solving split equilibrium and fixed point problems (abstract)
11:50
A New Accelerated common Fixed Point Algorithm with Applications to regression and classification problems (abstract)
PRESENTER: Piti Thongsri
12:10
An accelerated common fixed point algorithm for a countable family of $G$-nonexpansive mappings with applications to image recovery (abstract)
15:10-16:10 Session 27A: Artificial IntelligenceSession (4)
15:10
Continuous Operations and Fully Autonomous of a Social Service Robotic System. (abstract)
15:30
Untangling Braids with Multi-agent Q-Learning (abstract)
15:50
Double distillation for class incremental learning (abstract)
PRESENTER: Darian Onchis
15:10-16:10 Session 27B: IAFP Workshop (6)

Workshop on Iterative Approximation of Fixed Points

Chair:
15:10
Some fixed point theorems on equivalent metric spaces (abstract)
15:30
FIXED POINT THEOREM FOR MAPPINGS SATISFYING A GENERAL CONTRACTIVE CONDITION OF INTEGRAL TYPE VIA THE EQUIVALENT METRIC SPACE (abstract)
15:50
A Centralized Three-Term Conjugate Gradient Method for Variational Inequality Problem over the Common Fixed-Point Constraints (abstract)
16:20-17:00 Session 28A: IAFP Workshop (7)

Workshop on Iterative Approximation of Fixed Points

16:20
Convergence Results for Inertial Krasnoselskii-Mann Iterations in Hilbert Spaces with Applications (abstract)
16:40
Enriching contractive mappings in Banach spaces and convex metric spaces (abstract)
PRESENTER: Vasile Berinde
16:20-17:00 Session 28B: Distributed Computing Session
16:20
An Efficient Maude Formalization of (Rewritable) PT Nets (abstract)
16:40
Equivalence Classes in Performance Evaluation Programming (abstract)