SYNASC 2023: 25TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Abbott, John	Testing Cyclotomicity and related results
Abide, Stéphane	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach
Abraham, Erika	Seven Years of SC-Square
Abramov, Sergei	On systems of linear homogeneous algebraic equations over truncated formal series
Aliefendioglu, Huseyin Sabri	Experimental comparison of real root isolation implementations
Apostol, Elena-Simona	Semantic Change Detection for the Romanian Language
Avros, Renata	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
B
Babuc, Diogen	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
Bacanin, Nebojsa	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation Solar flare classification using modified metaheuristic optimized XGBoost
Baeza Mena, Sonia	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Balan, Gheorghe	Using sequences of API Calls to identify and classify ransomware families
Banda, Tiwonge Msulira	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Berinde, Vasile	Strictly Pseudocontractive Mappings Beyond Linear Spaces Proximal-type methods for Approximation of Solutions to Equilibrium Problems over the Set of Fixed Points of Enriched Nonexpansive Mappings An early survey on enriched contractive type mappings
Bistritz, Yuval	A couple of catch ups for the modified unit-circle zero location test
Boonyam, Natthaya	Proximal-type methods for Approximation of Solutions to Equilibrium Problems over the Set of Fixed Points of Enriched Nonexpansive Mappings
Boulasikis, Michail	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Bramerdorfer, Gerd	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Brown, Christopher	Towards a New Projection for Cylindrical Algebraic Decomposition
Buchberger, Bruno	A Personal Tribute to James Davenport
Bucnaru, Raluca Ioana	Aesthetic Evolution of Target 3D Volumes in Minecraft
Bucur, Alexandra	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Budurean, Marius-Mihai	LLVM RISC-V Target Backend Instruction for Reshape Operator
Butunoi, Bogdan-Petru	Predicting Blood Glucose Levels Using LSTM
Bușmachiu, Andrei	Composite clustering crossover operator for improving genetic algorithms
C
Caleanu, Catalin Daniel	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
Callanan, Gareth	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Chelaru, Ioana-Gabriela	Enhancing the performance of software effort estimation through boosting ensemble learning
Chvalovský, Karel	Towards Learning Infinite SMT Models
Cincar, Kristijan	Comparative Study of Machine learning methods to classify bowel polyps
Cohen, Johanne	From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Corlan, Ana-Silvia	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
Coroiu, Adriana Mihaela	Overview of Machine Learning Methods for Stroke Detection using Weather Data
Costi, Flavia	Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
Crainic, Diana Isabela	Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction
Croitoru, Eugen	Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations Aesthetic Evolution of Target 3D Volumes in Minecraft
Cucu, Ciprian	Automatic Text Summarization using Kernel Ridge Regression
D
Davenport, James H.	A Poly-algorithmic Approach to Quantifier Elimination
Deng, Siyuan	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
Dien, Matthieu	Uniform SAmplINg with BOLTZmann Counting Linear Extensions of Modular Partial Orders
Dinu, Sergiu-Andrei	Landscape Analysis using Simulated Annealing
Dutta, Pranjal	On the Variants of Subset Sum: Projected and Unbounded
E
England, Matthew	Can Explainable AI Give Insights for Symbolic Computation
F
Filip, Alexandru-Darius	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
Filip, Alexandru-Darius	Metric conditions, graphic contractions and weakly Picard operators
Florea, Adina Magda	Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles
G
Gaianu, Mihail	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data Maxpool operator for RISC-V processor LLVM RISC-V Target Backend Instruction for Reshape Operator
Garau, Alina-Maria	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Gerhard, Jürgen	The Maple legacy of James Davenport
Gherghinescu, Mihai	IoT-based Traffic Management System
Ghesquiere, Mike	Hybrid Intervals and Symbolic Block Matrices
Ghitescu, Cristina-Camelia	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Gil, Debora	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Groza, Adrian	Ontology engineering with Large Language Models
Gruian, Flavius	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
I
Iftene, Adrian	Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction
Iga, Vasile Ionut	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
Ionascu, Alexandru	Animatable Characters as Pixel Point Clouds
Ionescu, Leonard	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Ivascu, Todor	IoT-based Traffic Management System Comparative Study of Machine learning methods to classify bowel polyps
J
Janneck, Jorn W	Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Janota, Mikolas	Towards Learning Infinite SMT Models
Jeffrey, David	Rubi: Rule based integration The Inverse of the Complex Gamma Function
Jovanovic, Luka	Solar flare classification using modified metaheuristic optimized XGBoost
K
Keshet, Saar	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
Kumam, Poom	Strictly Pseudocontractive Mappings Beyond Linear Spaces Proximal-type methods for Approximation of Solutions to Equilibrium Problems over the Set of Fixed Points of Enriched Nonexpansive Mappings
Kuti-Kreszacs, Matyas	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
M
Manoussakis, George	From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Marc, Anastasia-Daria	Overview of Machine Learning Methods for Stroke Detection using Weather Data
Marginean, Anca	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Martel, Matthieu	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach
Mateiu, Patricia	Ontology engineering with Large Language Models
McCallum, Scott	On validating Lazard's projection in CAD (with James' help)
Mercioni, Marina Adriana	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
Mihalea, Andrei	Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles
Moga, Madalina	Fixed point results for multi-valued nonlinear graph contractions on a set with two metrics
Moreno Maza, Marc	Decomposition and QE algorithms over the reals and over the integers
Moroz-Dubenco, Cristiana	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
Muntean, George Adrian	Treatment requirements prediction for Age-Related Macular Degeneration patients based on features extracted from optical coherence tomography B-scans
Munteanu, Stefan Andrei	Animatable Characters as Pixel Point Clouds
Mursa, Bogdan-Eduard-Madalin	Statistical relevance of neural networks and decision trees in the forecasting of a popular beverage consumption
Muscalagiu, Anca Ioana	Quantum Reinforcement Learning in Protein Folding
N
Negru, Viorel	Predicting Blood Glucose Levels Using LSTM Comparative Study of Machine learning methods to classify bowel polyps
Nevezi-Strango, Dávid	Maxpool operator for RISC-V processor
Njegus, Angelina	Solar flare classification using modified metaheuristic optimized XGBoost
O
Onchiș, Darian	Machine Learning Predictive Models Applied on COVID-19 Datasets to Estimate Infection Risk in Specific Geographic Regions Prediction and Classification Models for Hashimoto’s Thyroiditis Risk Using Clinical and Paraclinical Data
Onita, Daniela	Automatic Text Summarization using Kernel Ridge Regression
P
Pacurar, Madalina	r-Cyclic asynchronous cyclic contractions
Peschanski, Frederic	Counting Linear Extensions of Modular Partial Orders
Petrovski, Andrei	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Petrusel, Adrian	A Feng-Liu type fixed point theorem on a set endowed with two metrics
Petrusel, Gabriela	A Feng-Liu type fixed point theorem on a set endowed with two metrics
Pilard, Laurence	From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Piotrowski, Bartosz	Towards Learning Infinite SMT Models
Ploscar, Andreea Alina	Overview of Machine Learning Methods for Stroke Detection using Weather Data
Popirlan, Claudiu-Ionut	New Techniques in Numerical Analysis for Artificial Intelligence
Popirlan, Cristina	New Techniques in Numerical Analysis for Artificial Intelligence
Pépin, Martin	Uniform SAmplINg with BOLTZmann
R
Radomirovic, Bratislav	Solar flare classification using modified metaheuristic optimized XGBoost
Rajasree, Mahesh	On the Variants of Subset Sum: Projected and Unbounded
Reid, Gregory	Symbolic and numeric computation of symmetries for a class of Schrodinger Equations
Rodríguez Dueñas, Jan	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Rosell Gratacós, Antoni	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Rosian, Vasile Adrian	Towards a virtual/mixed-reality graphical programming language
Rotar, Dănuț	Maxpool operator for RISC-V processor LLVM RISC-V Target Backend Instruction for Reshape Operator
Ryabenko, Anna	On systems of linear homogeneous algebraic equations over truncated formal series
S
Salisu, Sani	Strictly Pseudocontractive Mappings Beyond Linear Spaces
Sanchez, Carles	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Silaghi, Gheorghe Cosmin	Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
Sirbu, Alexandru-Gabriel	Cyber vulnerabilities surveillance via web-scraped specialized documents
Socaciu, Liviu-Ignat	Weak snd Strong Convergence Theorems for Krasnoselskii Iterative algorithm in the class of enriched strictly pseudocontractive and enriched nonexpansive operators in Hilbert Spaces
Soualah, Asma	Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach
Sousa, Carlos	PortfolioX – Multi-conjecture proving system
Spataru, Adrian	Prediction of Cloud Service Failure using traditional Machine Learning
Sriwongsa, Songpon	Strictly Pseudocontractive Mappings Beyond Linear Spaces
Stefaniga, Sebastian-Aurelian	Animatable Characters as Pixel Point Clouds IoT-based Traffic Management System
Stoean, Catalin	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation Solar flare classification using modified metaheuristic optimized XGBoost
Stoean, Ruxandra	Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Sîrbu, Cristina Laura	Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
T
Todoran, Eneia Nicolae	Quantitative Programming and Continuous Time Markov Chains
Toledano Kitai, Dvora	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
Tonks, Zak	A Poly-algorithmic Approach to Quantifier Elimination
Torres, Guillermo	Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Trifoi, Ioan	Fixed Point Theorems for Enriched Multivalued Nonexpansive Mappings in Hilbert Spaces
Truică, Ciprian-Octavian	Semantic Change Detection for the Romanian Language
Trusca, Radu	Some stability results for multi-valued nonlinear graph contractions on a set with two metrics
Tudose, Victor	Semantic Change Detection for the Romanian Language
Tuns, Adrian	Prediction of Cloud Service Failure using traditional Machine Learning
U
Uncu, Ali Kemal	A Poly-algorithmic Approach to Quantifier Elimination
Ungureanu, Robert-Mihail	Dataset Distillation via Multi-objective Genetic Algorithms
V
Valcan, Sorin	Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data Maxpool operator for RISC-V processor LLVM RISC-V Target Backend Instruction for Reshape Operator
Vexler, Evgeny	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
Volkovich, Zeev	Detecting Manipulated Citations through Disturbed Node2Vec Embedding
W
Watt, Stephen	Hybrid Intervals and Symbolic Block Matrices The Inverse of the Complex Gamma Function
Wöckinger, Daniel	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Y
Yuzgulen, Begum	Neural Architecture Search with Zero-Cost Proxies
Z
Zafeirakopoulos, Zafeirakis	Experimental comparison of real root isolation implementations
Zivkovic, Miodrag	Solar flare classification using modified metaheuristic optimized XGBoost
Zmuschi, Shanti	Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations
Zăvoianu, Alexandru-Ciprian	Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D

Disclaimer | Powered by EasyChair Smart Program