SYNASC2022: 24TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Adabala, Madhugnea	A Neural Network based approach to find solutions to diffusion equations
Alecsa, Cristian	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Alexe, Bogdan	Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
Andreica, Anca	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Anton, Dan-Gabriel	Building a Machine Learning Model for Malware Detection from Ground Zero
Antonijevic, Milos	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Asofroniei, Andreea-Roxana	AI-based healthcare application for medical image processing and diagnosis prediction
Atencia, Miguel	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
B
Bacanin, Nebojsa	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Berger-Weber, Gerald	Application of Symbolic Regression in Polymer Processing
Berinde, Vasile	Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators
Bessonov, Mariya	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
Bloder, Bernhard	Steel Phase Kinetics Modeling using Symbolic Regression
Bloem, Roderick	FERPModels: A Certification Framework for Expansion-Based QBF Solving
Bogdan, Victor	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
Brachtendorf, Hans-Georg	Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
Breaban, Mihaela-Elena	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
Brindusescu, Alin	Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
Brown, Christopher	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets
Budihala, Bogdan	Motorage - Computer vision-based self-sufficient smart parking system
Budimirovic, Nebojsa	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Busuioc, Gabriel-Razvan	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
Butunoi, Bogdan	Data cleansing in Continuous Glucose Monitor time series
C
Ceaușescu, Ciprian-Mihai	Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
Chevalier, Yannick	Deciding Whether two Codes Have the Same Ambiguities is in co-NP
Chira, Camelia	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Chis, Andrei	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
Cordoș, Alin	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Cousin, Paul	Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
Croitoru, Eugen	Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
Cufoian, Mariana	An integral type fixed point theorem
Căleanu, Cătălin Daniel	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
Cărunta, Alina	Different approaches for biological strings
D
Danut, Rotar	Hardware-software co-design
Dascalu, Mihai	Unsupervised Extractive Summarization with BERT FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
Davenport, James H.	Artificial Conflict Sampling for Real Satisfiability Problems Why is quantifier elimination doubly exponential?
Deng, Siyuan	Algorithm for intersecting symbolic and approximate linear differential varieties
Dicu, Mădălina	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Dioșan, Laura	The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms An Evaluation of Image Texture Descriptors and their Invariant Properties
Dragos, Cojocaru	Proof of Computation
Dugaesescu, Andrei	Evaluation of Class Activation Methods for Understanding Image Classification Tasks
Dumitrescu, Florin	Intelligent Agent for Food Recognition in a Smart Fridge
Dutulescu, Andreea	Unsupervised Extractive Summarization with BERT
F
Florea, Adina-Magda	Intelligent Agent for Food Recognition in a Smart Fridge Evaluation of Class Activation Methods for Understanding Image Classification Tasks
Florea, Toni-Andrei-Marian	AI-based healthcare application for medical image processing and diagnosis prediction
Freudenthaler, Bernhard	The new COMET Centre INTEGRATE
G
Gaianu, Mihail	Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
Galis, Darius	Using N-Gram Variations in Static Analysis for Malware Detection A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
Gaskó, Noémi	An Ant Colony Optimization Approach to the Densest $k$-Subgraph Problem
George, Popoiu	One side class SVM training methods for malware detection
Ghelbere, Vladut-Gabriel	Game Digger Creating an adaptive recommender system
Ghiran, Ana-Maria	Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
Gholami, Saber	Fully-adaptive Model for Broadcasting with Universal Lists
Gil, Debora	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
Groza, Adrian	Fact-checking with explanations
H
Hadžić, Vedad	FERPModels: A Certification Framework for Expansion-Based QBF Solving
Harutyunyan, Hovhannes A.	Fully-adaptive Model for Broadcasting with Universal Lists
Hiess, Irene	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Hogea, Eduard	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
Holzinger, Jan-Michael	Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
Homorodan, Paula	Kannan and Bianchini fixed point theorems in partially ordered H-distance space
Hotoleanu, Mircea	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
I
Iga, Vasile Ionut	Building customized Named Entity Recognition models for specific process automation tasks
Ilmer, Ilia	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
Ionascu, Alexandru	Semi-Supervised Pipeline for Human Sprites Neural Rendering
Ionescu, Leonard	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Islam, Md Nahin	Machine Learning Models to Predict Soil Moisture for Irrigation Schedule (online)
Istin, Codruta	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
Ivascu, Todor	Motorage - Computer vision-based self-sufficient smart parking system Game Digger Creating an adaptive recommender system
J
Jovanovic, Dijana	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Jovanovic, Luka	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Joya, Gonzalo	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
K
Kaltenleithner, Sophie	Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models
Kampel, Ludwig	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Katona, Áron	Fact-checking with explanations
Kommenda, Michael	Application of Symbolic Regression in Polymer Processing
Konstantinova, Tatiana	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
Koshevoy, Gleb	F-polynomials and Newton polytopes
Kovács, Zoltán	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets
Kritzinger, Stefanie	Research and Development at RISC Software
Kronberger, Gabriel	Steel Phase Kinetics Modeling using Symbolic Regression Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression
Kronberger, Gabriel	Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
L
Lee, Kisun	Homotopy Techniques for Analytic Combinatorics in Several Variables
Logofatu, Doina	Machine Learning Models to Predict Soil Moisture for Irrigation Schedule (online)
Luchian, Henri	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
Lupascu, Marilena	Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts
Lyaletski, Alexander	Maslov’s Inverse Method and Favorable M-sequent Calculus
M
Maghiar, Octavian-Florin	AlphaFold-based protein analysis pipeline
Maignan, Aude	Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
Marchis, Alexandra	Common fixed point theorems for enriched Jungck contractions in convex metric spaces
Mehta, Shashank	On the bases of Z^n lattice
Melczer, Stephen	Homotopy Techniques for Analytic Combinatorics in Several Variables
Mironov, Denis	F-polynomials and Newton polytopes
Mitre, Adriana	An integral type fixed point theorem
Moga, Madalina	On some fixed point theorems for Ciric operators
Mohammadi, Zahra	Algorithm for intersecting symbolic and approximate linear differential varieties
Moreno Maza, Marc	Balanced Dense Multivariate Multiplcation: The General Case
Muntean, Otilia Maria	On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection
N
Negru, Viorel	Data cleansing in Continuous Glucose Monitor time series On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection Game Digger Creating an adaptive recommender system
O
Olivetti De França, Fabrício	Symbolic Regression with augmented dataset using RuleFit Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions
Onchis, Darian	Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
Ovchinnikov, Alexey	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
P
Paraschiv, Andrei	FB-RO-Offense - A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments
Petrusel, Adrian	On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators
Piringer, David	Steel Phase Kinetics Modeling using Symbolic Regression
Pleșu, Mihai	Different approaches for biological strings
Pogudin, Gleb	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
Pungila, Ciprian	Using N-Gram Variations in Static Analysis for Malware Detection On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
Păcurar, Mădălina	Synchronous and Asynchronous cyclic contractions
R
Radovancovici, Marco	Using N-Gram Variations in Static Analysis for Malware Detection A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
Rajasree, Mahesh	On the bases of Z^n lattice
Recio, Tomas	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets
Regensburger, Georg	Proving properties of linear operators via ideal membership of noncommutative polynomials
Reid, Gregory	Algorithm for intersecting symbolic and approximate linear differential varieties
Reja, Mario	Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
Roland, Wolfgang	Application of Symbolic Regression in Polymer Processing
Rosu, Radu-Andrei	Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
Routu, Sampath	A Neural Network based approach to find solutions to diffusion equations
Rus, Ioan A.	Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points On a M\u aru\s ster problem in the iterative approximations of fixed points for demicontractive operators
Ruseti, Stefan	Unsupervised Extractive Summarization with BERT
Rusinowitch, Michael	Deciding Whether two Codes Have the Same Ambiguities is in co-NP
S
Sanchez, Carles	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
Schenkenfelder, Bernhard	Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models
Schneider, Carsten	RISC: A center for symbolic computation and its applications
Seidl, Martina	FERPModels: A Certification Framework for Expansion-Based QBF Solving
Shukla, Ankit	FERPModels: A Certification Framework for Expansion-Based QBF Solving
Sighencea, Bogdan	Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks
Silaghi, Gheorghe Cosmin	Building customized Named Entity Recognition models for specific process automation tasks
Simion, Ciprian-Alin	Reducing Adversarial Vulnerability Using GANs
Simion, Georgiana	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
Simos, Dimitris E.	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Sipos-Lascu, Roxana	An Evaluation of Image Texture Descriptors and their Invariant Properties
Smolčić, Josip	Homotopy Techniques for Analytic Combinatorics in Several Variables
Socaciu, Liviu-Ignat	Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces
Sorici, Alexandru	Intelligent Agent for Food Recognition in a Smart Fridge
Soto, Pedro	Accelerating Gröbner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models
Stefaniga, Sebastian-Aurelian	AI-based healthcare application for medical image processing and diagnosis prediction Semi-Supervised Pipeline for Human Sprites Neural Rendering Motorage - Computer vision-based self-sufficient smart parking system
Steiger, Martin	Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
Stoean, Catalin	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Stoean, Ruxandra	On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Strumberger, Ivana	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Sîrbu, Cristina Laura	Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion
T
T, Sudalaimuthu	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
Tasnádi, Zoltán	An Ant Colony Optimization Approach to the Densest $k$-Subgraph Problem
Todoran, Eneia Nicolae	Quantitative Programming and Markov Decision Processes
Torres, Guillermo	Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics
Trascau, Mihai	Intelligent Agent for Food Recognition in a Smart Fridge
Trifoi, Ioan	Fixed points of multivalued b-enriched multivalued nonexpansive mappings and *-b-enriched nonexpansive mappings
Trusca, Radu	On some fixed point theorems for Ciric operators
U
Ullah, Kifayat	A new class of nonlinear operators and fixed point convergence using K iteration process
Uncu, Ali Kemal	Artificial Conflict Sampling for Real Satisfiability Problems
Urechiatu, Raul	Astronomical Object Detection Using Artificial Intelligence
V
V.S, Bakkialakshmi.	Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
Vajda, Robert	A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets
Vajda, Robert	Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm
Valcan, Sorin	Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data
Vlad, Theodor-Alexandru	Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
Voronkov, Andrei	Proofs by Induction in a Saturation Theorem Prover
W
Wagner, Michael	IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Wagner, Stefan	R&D at University of Applied Sciences Upper Austria in Hagenberg”
Watt, Stephen	Detecting Implicit Indeterminates in Symbolic Computation
Winkler, Stephan	Software Park Hagenberg Effective Prediction System For Affective Computing On Emotional Psychology With Artificial Neural Network
Worrell, James	Approaches to the Skolem Problem
Y
Yuan, Haoze	Balanced Dense Multivariate Multiplcation: The General Case
Z
Zivkovic, Miodrag	The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection

Disclaimer | Powered by EasyChair Smart Program