1. Home
  2. Proceedings
  3. SYNASC
  4. SYNASC 2022
Default Cover Image

2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

Sept. 12 2022 to Sept. 15 2022

Hagenberg / Linz, Austria

ISBN: 978-1-6654-6545-8

Table of Contents

Title Page IFreely available from IEEE.pp. 1-1
Title Page IIIFreely available from IEEE.pp. 3-3
CopyrightFreely available from IEEE.pp. 4-4
Table of ContentsFreely available from IEEE.pp. 5-12
Message from the Program ChairsFreely available from IEEE.pp. 13-14
Chairs and Program CommitteeFreely available from IEEE.pp. 15-20
Invited SpeakersFreely available from IEEE.pp. 21-23
TutorialsFreely available from IEEE.pp. 24-28
Prescriptive Analytics: When Data- and Simulation-based Models Interact in a Cooperative WayFull-text access may be available. Sign in or learn about subscription options.pp. 1-8
by Michael Affenzeller, Michael Bögl, Lukas Fischer, Florian Sobieczky, Kaifeng Yang, Jan Zenisek
Complex Network Analysis using Artificial Intelligence AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 1-3
by Camelia Chira
Implementation Techniques for Mathematical Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 12-15
by Wolfgang Schreiner
What’s New In QBF Solving? : (Invited Talk)Full-text access may be available. Sign in or learn about subscription options.pp. 16-18
by Martina Seidl
Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum NormFull-text access may be available. Sign in or learn about subscription options.pp. 19-26
by Jan-Michael Holzinger, Robert Vajda
Homotopy Techniques for Analytic Combinatorics in Several VariablesFull-text access may be available. Sign in or learn about subscription options.pp. 27-34
by Kisun Lee, Stephen Melczer, Josip Smolčić
Balanced Dense Multivariate Multiplication: The General CaseFull-text access may be available. Sign in or learn about subscription options.pp. 35-42
by Marc Moreno Maza, Haoze Yuan
Detecting Implicit Indeterminates in Symbolic ComputationFull-text access may be available. Sign in or learn about subscription options.pp. 43-50
by Stephen M. Watt
F-polynomials & Newton polytopesFull-text access may be available. Sign in or learn about subscription options.pp. 51-54
by Gleb Koshevoy, Denis Mironov
Artificial Conflict Sampling for Real Satisfiability ProblemsFull-text access may be available. Sign in or learn about subscription options.pp. 55-58
by James H. Davenport, Ali K. Uncu
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic setsFull-text access may be available. Sign in or learn about subscription options.pp. 59-62
by Zoltán Kovács, Christopher W. Brown, Tomás Recio, Róbert Vajda
Algorithm for intersecting symbolic and approximate linear differential varietiesFull-text access may be available. Sign in or learn about subscription options.pp. 63-70
by Siyuan Deng, Zahra Mohammadi, Gregory Reid
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 71-79
by Irene Hiess, Ludwig Kampel, Michael Wagner, Dimitris E. Simos
FERPModels: A Certification Framework for Expansion-Based QBF SolvingFull-text access may be available. Sign in or learn about subscription options.pp. 80-83
by Vedad Hadžić, Roderick Bloem, Ankit Shukla, Martina Seidl
Deciding Whether two Codes Have the Same Ambiguities is in co-NPFull-text access may be available. Sign in or learn about subscription options.pp. 84-91
by Yannick Chevalier, Michael Rusinowitch
Fully-adaptive Model for Broadcasting with Universal ListsFull-text access may be available. Sign in or learn about subscription options.pp. 92-99
by Saber Gholami, Hovhannes A. Harutyunyan
On the bases of Zn latticeFull-text access may be available. Sign in or learn about subscription options.pp. 100-107
by Shashank K Mehta, Mahesh Sreekumar Rajasree
Proof of Useful Work Based on Matrix ComputationFull-text access may be available. Sign in or learn about subscription options.pp. 108-116
by Cojocaru Dragos
Quantitative Programming and Markov Decision ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 117-124
by Eneia Nicolae Todoran
Empirical evaluation of LZW-Compressed Multiple Pattern Matching AlgorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 125-132
by Mario Reja
FB-RO-Offense – A Romanian Dataset and Baseline Models for Detecting Offensive Language in Facebook CommentsFull-text access may be available. Sign in or learn about subscription options.pp. 133-142
by Gabriel-Razvan Busuioc, Andrei Paraschiv, Mihai Dascalu
Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operatorsFull-text access may be available. Sign in or learn about subscription options.pp. 143-149
by Theodor-Alexandru Vlad, Eugen Nicolae Croitoru
Fact-checking with explanationsFull-text access may be available. Sign in or learn about subscription options.pp. 150-157
by Adrian Groza, Áron Katona
Unsupervised Extractive Summarization with BERTFull-text access may be available. Sign in or learn about subscription options.pp. 158-164
by Andreea - Nicoleta Dutulescu, Mihai Dascalu, Stefan Ruseti
Evaluation of Class Activation Methods for Understanding Image Classification TasksFull-text access may be available. Sign in or learn about subscription options.pp. 165-172
by Andrei Dugăeșescu, Adina Magda Florea
Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classificationFull-text access may be available. Sign in or learn about subscription options.pp. 173-180
by Radu-Andrei Rosu, Mihaela-Elena Breaban, Henri Luchian
The Impact of Convolutional Neural Network Parameters in the Binary Classification of MammogramsFull-text access may be available. Sign in or learn about subscription options.pp. 181-188
by Mădălina Dicu, Laura Dioşan, Anca Andreica, Camelia Chira, Alin Cordoş
Advantages of a neuro-symbolic solution for monitoring IT infrastructures alertsFull-text access may be available. Sign in or learn about subscription options.pp. 189-194
by Darian M. Onchis, Codruta Istin, Hogea Eduard-Florin
Using N-Gram Variations in Static Analysis for Malware DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 195-199
by Marco Radovancovici, Darius Galiş, Ciprian Pungilă
Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality MeasuresFull-text access may be available. Sign in or learn about subscription options.pp. 200-207
by Victor Bogdan, Alin Brînduşescu
An Ant Colony Optimisation Approach to the Densest k-Subgraph Problem*Full-text access may be available. Sign in or learn about subscription options.pp. 208-211
by Zoltán Tasnádi, Noémi Gaskó
Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 EraFull-text access may be available. Sign in or learn about subscription options.pp. 212-215
by Andrei Chiș, Ana-Maria Ghiran, Robert Andrei Buchmann
Building customized Named Entity Recognition models for specific process automation tasksFull-text access may be available. Sign in or learn about subscription options.pp. 216-219
by Vasile Ionut Iga, Gheorghe Cosmin Silaghi
Intelligent Agent for Food Recognition in a Smart FridgeFull-text access may be available. Sign in or learn about subscription options.pp. 220-225
by Florin Dumitrescu, Adina Magda Florea, Mihai Trăscău, Alexandru Sorici
Machine Learning Models to Predict Soil Moisture for Irrigation ScheduleFull-text access may be available. Sign in or learn about subscription options.pp. 226-232
by Md Nahin Islam, Doina Logofătu
Learning networks hyper-parameter using multi-objective optimization of statistical performance metricsFull-text access may be available. Sign in or learn about subscription options.pp. 233-238
by Guillermo Torres, Carles Sanchez, Debora Gil
Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth DataFull-text access may be available. Sign in or learn about subscription options.pp. 239-244
by Sorin Valcan, Mihail Găianu
Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 245-249
by Bogdan Ilie Sighencea
Motorage - Computer vision-based self-sufficient smart parking systemFull-text access may be available. Sign in or learn about subscription options.pp. 250-257
by Bogdan Budihală, Todor Ivașcu, Sebastian Ștefănigă
Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Focal Liver Lesion DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 258-263
by Cristina Laura Sîrbu, Georgiana Simion, Cătălin Daniel Căleanu
Semi-Supervised Pipeline for Human Sprites Neural RenderingFull-text access may be available. Sign in or learn about subscription options.pp. 264-267
by Alexandru Ionascu, Sebastian Stefaniga
The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion DetectionFull-text access may be available. Sign in or learn about subscription options.pp. 268-275
by Luka Jovanovic, Dijana Jovanovic, Milos Antonijevic, Miodrag Zivkovic, Nebojsa Budimirovic, Ivana Strumberger, Nebojsa Bacanin
On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional MotifsFull-text access may be available. Sign in or learn about subscription options.pp. 276-283
by Catalin Stoean, Nebojsa Bacanin, Ruxandra Stoean, Leonard Ionescu, Cristian Alecsa, Mircea Hotoleanu, Miguel Atencia, Gonzalo Joya
An Evaluation of Image Texture Descriptors and their Invariant PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 284-292
by Roxana Sipos-Lascu, Laura-Silvia Dioşan
Organic Structures Emerging From Bio-Inspired Graph-Rewriting AutomataFull-text access may be available. Sign in or learn about subscription options.pp. 293-296
by Paul Cousin, Aude Maignan
Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic RegressionFull-text access may be available. Sign in or learn about subscription options.pp. 297-303
by Martin Steiger, Hans-Georg Brachtendorf, Gabriel Kronberger
Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic RegressionFull-text access may be available. Sign in or learn about subscription options.pp. 304-310
by Gabriel Kronberger
Application of Symbolic Regression in Polymer ProcessingFull-text access may be available. Sign in or learn about subscription options.pp. 311-318
by Wolfgang Roland, Michael Kommenda, Gerald R. Berger-Weber
Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressionsFull-text access may be available. Sign in or learn about subscription options.pp. 319-322
by Fabricio Olivetti de Franca
Symbolic Regression with augmented dataset using RuleFitFull-text access may be available. Sign in or learn about subscription options.pp. 323-326
by Fabricio Olivetti de Franca
Steel Phase Kinetics Modeling using Symbolic RegressionFull-text access may be available. Sign in or learn about subscription options.pp. 327-330
by David Piringer, Bernhard Bloder, Gabriel Kronberger
A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 331-337
by Marco Radovancovici, Darius Galiş, Ciprian Pungilă
AlphaFold-based protein analysis pipelineFull-text access may be available. Sign in or learn about subscription options.pp. 338-341
by Octavian-Florin Maghiar
Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCutFull-text access may be available. Sign in or learn about subscription options.pp. 342-346
by Ciprian-Mihai Ceauşescu, Bogdan Alexe
Obfuscation Techniques Based on Random Strings Used in Malicious VBA ScriptsFull-text access may be available. Sign in or learn about subscription options.pp. 347-352
by Lupascu Marilena
Reducing Adversarial Vulnerability Using GANsFull-text access may be available. Sign in or learn about subscription options.pp. 353-358
by Ciprian-Alin Simion
One side class SVM training methods for malware detectionFull-text access may be available. Sign in or learn about subscription options.pp. 359-364
by George Popoiu
Evaluating the effort of building a Machine Learning model for malware detection from ground zeroFull-text access may be available. Sign in or learn about subscription options.pp. 365-370
by Dan-Gabriel Anton
On Measuring the Dissimilarity between Biological SequencesFull-text access may be available. Sign in or learn about subscription options.pp. 371-374
by Alina Cărunta, Mihai Pleşu
Author IndexFreely available from IEEE.pp. 375-376
Showing 68 out of 68