SYNASC

Publications

2023

25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023 SYNASC (2023)
Anca Ioana Muscalagiu
Quantum Reinforcement Learning in Protein Folding. SYNASC (2023)
Diana Isabela Crainic, Adrian Iftene
Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction. SYNASC (2023)
Branislav Radomirovic, Luka Jovanovic, Catalin Stoean, Miodrag Zivkovic, Angelina Njegus, Nebojsa Bacanin
Solar Flare Classification using Modified Metaheuristic Optimized XGBoost. SYNASC (2023)
Bogdan-Petru Butunoi, Viorel Negru
Predicting Blood Glucose Levels Using LSTM. SYNASC (2023)
Behiye Begüm Yüzgülen
Neural Architecture Search with Zero-Cost Proxies. SYNASC (2023)
Adrian-Ioan Tuns, Adrian Spataru
Cloud Service Failure Prediction on Google's Borg Cluster Traces Using Traditional Machine Learning. SYNASC (2023)
James H. Davenport
So the problem has poor complexity: what next? SYNASC (2023)
Tiwonge Msulira Banda, Alexandru-Ciprian Zavoianu, Andrei Petrovski, Daniel Wöckinger, Gerd Bramerdorfer
Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D. SYNASC (2023)
Sergiu-Andrei Dinu
Landscape Analysis using Simulated Annealing. SYNASC (2023)
Anca Marginean, George Adrian Muntean, Alexandra Ioana Bucur, Simona Delia Nicoara
Exploring Early Estimation of Treatment Needs for Age-Related Macular Degeneration Patients Using Easily Generated Features. SYNASC (2023)
D. J. Jeffrey, Stephen M. Watt
The Inverse of the Complex Gamma Function. SYNASC (2023)
Shanti Zmuschi, Nicolae-Eugen Croitoru
Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations. SYNASC (2023)
Andreea Alina Ploscar, Anastasia-Daria Marc, Cristina Caterina Aldea, Adriana Mihaela Coroiu
Overview of Machine Learning Methods for Stroke Detection using Weather Data. SYNASC (2023)
Mikolás Janota, Bartosz Piotrowski, Karel Chvalovský
Towards Learning Infinite SMT Models (Work in Progress). SYNASC (2023)
Matthieu Dien, Frédéric Peschanski
Counting Linear Extensions of Modular Partial Orders. SYNASC (2023)
Michail Boulasikis, Flavius Gruian, Gareth Callanan, Jörn W. Janneck
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis. SYNASC (2023)
Ana-Silvia Corlan, Diogen Babuc, Flavia Costi, Darian M. Onchis
Prediction and Classification Models for Hashimoto's Thyroiditis Risk Using Clinical and Paraclinical Data. SYNASC (2023)
Fairouz Kamareddine, Jonathan P. Seldin
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today. SYNASC (2023)
James H. Davenport, Zak P. Tonks, Ali Kemal Uncu
A Poly-algorithmic Approach to Quantifier Elimination. SYNASC (2023)
Sorin Valcan, Mihail Gaianu
Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data. SYNASC (2023)
Matthieu Dien, Martin Pépin
Uniform SAmplINg with BOLTZmann. SYNASC (2023)
Gabriel Iuhasz
Performance and Compliance Anomaly Detection. SYNASC (2023)
Raluca Ioana Bucnaru, Nicolae-Eugen Croitoru
Aesthetic Evolution of Target 3D Volumes in Minecraft. SYNASC (2023)
Vasile Ionut Iga, Gheorghe Cosmin Silaghi
Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge. SYNASC (2023)
Mike Ghesquiere, Stephen M. Watt
Hybrid Intervals and Symbolic Block Matrices. SYNASC (2023)
Marina Adriana Mercioni, Catalin-Daniel Caleanu, Cristina Laura Sîrbu
Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network. SYNASC (2023)
Cristina Popirlan, Claudiu Ionut Popirlan
New Techniques in Numerical Analysis for Artificial Intelligence. SYNASC (2023)
Asma Soualah, Matthieu Martel, Stéphane Abide
. SYNASC (2023)
Siyuan Deng, Gregory J. Reid
Symbolic and numeric computation of symmetries for a class of Schrödinger Equations. SYNASC (2023)
Pranjal Dutta, Mahesh Sreekumar Rajasree
On the Variants of Subset Sum: Projected and Unbounded. SYNASC (2023)
Andrei Busmachiu
Composite clustering crossover operator for improving genetic algorithms. SYNASC (2023)
Andrei Mihalea, Adina Magda Florea
Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles. SYNASC (2023)
Guillermo Torres, Jan Rodriguez Dueñas, Sonia Baeza Mena, Antoni Rosell Gratacós, Carles Sánchez, Debora Gil
Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images. SYNASC (2023)
Gheorghe Balan
Using sequences of API Calls to identify and classify ransomware families. SYNASC (2023)
Robert-Mihail Ungureanu
Dataset Distillation via Multi-objective Genetic Algorithms. SYNASC (2023)
Patricia Mateiu, Adrian Groza
Ontology engineering with Large Language Models. SYNASC (2023)
Ciprian-Octavian Truica, Victor Tudose, Elena Simona Apostol
Semantic Change Detection for the Romanian Language. SYNASC (2023)
Catalin Stoean, Nebojsa Bacanin, Ruxandra Stoean, Leonard Ionescu, Alina-Maria Garau, Cristina-Camelia Ghitescu
Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation. SYNASC (2023)
Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko
On Systems of Linear Homogeneous Algebraic Equations over Truncated Formal Series. SYNASC (2023)
Renata Avros, Saar Keshet, Dvora Toledano-Kitai, Evgeny Vexler, Zeev Volkovich
Detecting Manipulated Citations through Disturbed Node2Vec Embedding. SYNASC (2023)
Marius-Mihai Budurean, Danut Rotar, Sorin Valcan, Mihail Gaianu
LLVM RISC-V Target Backend Instruction for Reshape Operator. SYNASC (2023)
Kristijan Cincar, Todor Ivascu, Viorel Negru
Comparative study of machine learning methods to classify bowel polyps. SYNASC (2023)
Yuval Bistritz
A couple of catch-ups for the modified unit-circle zero location test. SYNASC (2023)
Eneia Nicolae Todoran
Quantitative Programming and Continuous-Time Markov Chains. SYNASC (2023)
Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau
Generic Encodings and Static Analysis of Constructor Rewriting Systems. SYNASC (2023)
Ioana-Gabriela Chelaru
Enhancing the performance of software effort estimation through boosting ensemble learning. SYNASC (2023)
Dávid Nevezi-Strango, Danut Rotar, Sorin Valcan, Mihail Gaianu
Maxpool operator for RISC-V processor. SYNASC (2023)
Johanne Cohen, George Manoussakis, Laurence Pilard
From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms. SYNASC (2023)
Daniela Onita, Ciprian Cucu
Automatic Text Summarization using Kernel Ridge Regression. SYNASC (2023)