SYNASC 2024: 26TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Alexandru, Andrei	Generalized multisets over infinite alphabets with atoms
Andrei, Stefan	Preemptive Phased Execution Models with Scratchpad Memory Requirements
Andrianov, Pavel	Software Model Checking for Memory Consistency Verification
Anghelina, Bogdan-Cristian	SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES
Antoneac, Andrada-Livia	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
Antonijevic, Milos	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
Ask Lund, Nicky	A type system for data flow and alias analysis in ReScript
B
Babic, Lepa	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
Bacanin, Nebojsa	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
Badea, Maria-Alexandra	Exploring sum-product networks for image classification. Applications
Balan, Adriana	Optics, functorially: Extended abstract
Balutoiu, Victor Deian	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Bao-Phuc Pham, Philipp	Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
Bereczky, Péter	Unification in Matching Logic — Revisited
Berinde, Vasile	Recent developments in the fixed point theory of enriched contractive mappings. A survey
Bienmüller, Tom	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Bjorner, Nikolaj	Formal Methods at Microsoft in the age of AI
Blaj, Dorian	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Bogdănescu, Mihai I.	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Bouatouch, Kadi	An introduction to Gaussian processes applied to Bayesian regression
Breaban, Mihaela Elena	MACE: Malware Analysis and Clustering Engine A Dual-Approach for AI-Generated Text Detection
Brown, Christopher W.	On Projective Delineability
Bándi, Nándor	Improving the Nested Markov Chain hyper-heuristic (NMHH) framework efficiency through sequential probability ratio testing
Bülter, Ann-Sophie	Frequency generation for a quantum current sensor in smart grids Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
C
Cadjenovic, Jelena	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
Caltais, Georgiana	Tracer: A Tool for Race Detection in Software Defined Network Models
Cano Domingo, Carlos	Advanced Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for Event Detection and Variable Prediction Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
Capra, Lorenzo	Efficient Performance Analysis of Modular Rewritable Petri Nets
Cellura, Giulio	A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE
Chatzinotas, Symeon	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
Chehaitly, Mouhamad	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
Chira, Mihaela	Best proximity points and their applications
Chiru, Cătălin-Mihail	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
Ciobanu, Alexandru-Adrian	Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
Ciobanu, Gabriel	Abstract Continuation Semantics for a Biologically-Inspired Formalism Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Ciobanu, Gabriel	Generalized multisets over infinite alphabets with atoms
Ciorica, Roxana C.	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Cornei, Laura	The Nurse Rostering Problem solved using Machine Learning solutions – state of the art and promising future research directions
Costantini, Stefano	AR and VR for the Casa Romei Museum Graphic design for architectural serious games
Craciun, Florin	Optimizing Cold Start Performance in Serverless Computing Environments
Croitoru, Eugen	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
D
Davenport, James H.	On Projective Delineability Towards Verified Polynomial Factorisation First steps towards Computational Polynomials in Lean
Driebold, Leif	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Drăghici, Vlad Matei	Multi-Agent Path Finding in Gazebo
Drămnesc, Isabela	Introduction to the Theorema system (part 1) Introduction to the Theorema system (part 2)
Dutta, Pranjal	Complexity of Monomial Prediction in Cryptography and Machine Learning
E
Ebenezer Anitha, Angellina	Optimal decision tree design for near real-time control of battery energy storage systems
Edmond, Jennifer	Fostering Agentic Play Between Technology and Democracy
England, Matthew	On Projective Delineability
Erașcu, Mădălina	Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 1) Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 2)
F
Flavia, Costi	On applying GraphLime for trustworthy diabet prediction
Florea, Adina Magda	Synthetic dataset generation for edge drone inference and training Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans On applying GraphLime for trustworthy diabet prediction
Foldvari, Harold Nimrod	Optimizing Cold Start Performance in Serverless Computing Environments
Fortuna, Giordano Maria	Graphic design for architectural serious games
Frincu, Marc Eduard	Pre-Diagnosis of Autism in Children Using Distributed Learning Assessing Features Importance in the 15-Class Galaxy Classification Problem
G
Gabaruk, Julia	Level Generation Using ChatGPT: A Case Study on the Science Birds Game
Garcia Martinez, César	Fostering Agentic Play Between Technology and Democracy
Gavriluț, Dragoș-Teodor	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats A software engineering approach into analyzing Microsoft Office-based email attacks
Gheorghe, Cristina	Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator
Gloesekoetter, Peter	Frequency generation for a quantum current sensor in smart grids Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Goina, Dacian	Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
Grecu, Cristian-Stelian	A Dual-Approach for AI-Generated Text Detection
Gregor, Markus	Frequency generation for a quantum current sensor in smart grids Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Gribaudo, Marco	Efficient Performance Analysis of Modular Rewritable Petri Nets
Groza, Adrian	Handling abort commands for household kitchen robots
Guarino, Elisa	Graphic design for architectural serious games
H
Handel, Katrin	Optimal decision tree design for near real-time control of battery energy storage systems
Has, Darius	Handling abort commands for household kitchen robots
Haubrock, Jens	Optimal decision tree design for near real-time control of battery energy storage systems
Hoffmann, Frederik	Frequency generation for a quantum current sensor in smart grids Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Hogea, Eduard	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
Hogea, Eduard	On applying GraphLime for trustworthy diabet prediction
Homorodan, Paula	Maia’s fixed point theorems in a space with distance
Horpácsi, Dániel	Unification in Matching Logic — Revisited
Horsthemke, Ludwig	Frequency generation for a quantum current sensor in smart grids Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Hyun Lee, Zu	Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
Hülsmann, Jonas	Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
Hüttel, Hans	A type system for data flow and alias analysis in ReScript
I
Iacob, Bianca	A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
Ilade, Tudor-Florentin	A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
Incerti, Manuela	AR and VR for the Casa Romei Museum
Ionete, Vlad-Constantin	SUDS: A Simplified UNet with Depth-wise Separable Convolutions
Ionita, Andreea	Using backdoor attacks to find area of interest in images
Istin, Codruta	On applying GraphLime for trustworthy diabet prediction
Istrate, Gabriel	Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP)
J
Jafari, Fereshteh	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Jeffrey, David J.	Comprehensive LU Decomposition and True Path An Abstraction-Preserving Block Matrix Implementation in Maple Some Family Relations for Rational Orthogonal Matrices
Jichici, Ciprian	Demystifying Latent Vector Spaces and Large Language Models
Jovanovic, Luka	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
Jovanovic, Luka	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
K
Kaljevic, Jelena	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
Koch, Malte Martin	Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
Konyicska, Liliana	On some local versions of contraction mapping principle with applications to integral equations
Kovacs, Laura	Symbolic Computation in Automated Program Reasoning
Kumar, Rajendra	On the Maximum Distance Sublattice Problem and Closest Vector Problem
Kumar Ray, Jiban	Level Generation Using ChatGPT: A Case Study on the Science Birds Game
Kurucz, Ádám	Unification in Matching Logic — Revisited
L
Langguth, Lutz	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Lima, Eleonora	Fostering Agentic Play Between Technology and Democracy
Logofătu, Doina	Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System Level Generation Using ChatGPT: A Case Study on the Science Birds Game Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge
Lucanu, Dorel	MACE: Malware Analysis and Clustering Engine Static Analysis framework for detecting use-after-free bugs in C++
López-Ibáñez, Manuel	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
Lăpădat, Răzvan T.	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
M
M. K. Cheng, Albert	Preemptive Phased Execution Models with Scratchpad Memory Requirements
Mafteiu Scai, Liviu Octavian	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Mafteiu Scai, Roxana Teodora	Improving the Performances of Machine Learning Algorithms by Using Assembly Language
Mafteiu-Scai, Roxana-Teodora	Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
Malancioiu, Daniel George	Optimizing Cold Start Performance in Serverless Computing Environments
Malina, Andra	An application of the Shepard operator in image reconstruction
Manole, Alexandru	An Analysis of Multitask Deep Learning Models for Histopathology
Marchis, Alexandra	Common fixed point theorems for enriched contraction under the assumption of R-weakly commuting condition
Marginean, Anca	How to Tackle Fake Medical Content with Clustering and Transformers
Mariana, Cufoian	Examples of b-Metric Spaces Endowed with a Partial Order
Marsavina, Cosmin	SUDS: A Simplified UNet with Depth-wise Separable Convolutions
Matei, Ionuț-Eduard	Novel lossless crypto-compression scheme for medical images
Mateiu, Rares-Ioan	A Study on the topic of Crossing Minimisation
Mathonet, Pierre	On Projective Delineability
Matieș, George	Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
Mazzei, Alessia	Graphic design for architectural serious games
Mehta, Shashank	On the Maximum Distance Sublattice Problem and Closest Vector Problem
Michel, Lucas	On Projective Delineability
Middeke, Johannes	Some Family Relations for Rational Orthogonal Matrices
Mihancea, Petru F.	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Mircea-George, Prejban	Control Flow Graphs against malware: methods of analysis and detection
Mitre, Adriana	On some local versions of contraction mapping principle with applications to integral equations
Moga, Madalina	Fixed points for Feng-Liu multi-valued operators with an application
Moghaddam, Fariba	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Moradi, Kamran	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Moreno Maza, Marc	Comprehensive LU Decomposition and True Path
Moretti, Arianna	Graphic design for architectural serious games
Mutilin, Vadim	Software Model Checking for Memory Consistency Verification
Mutu, Gheorghiță	Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats A software engineering approach into analyzing Microsoft Office-based email attacks
N
Nalbach, Jasper	On Projective Delineability
Nan, Mihai	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
Nedelcu, Radu Bogdan	Synthetic dataset generation for edge drone inference and training
O
Olagunju, Aishat	Comprehensive LU Decomposition and True Path
Onchis, Darian	On applying GraphLime for trustworthy diabet prediction
Onișa, Andrei A.	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
P
Pacurar, Madalina	Recent developments in the fixed point theory of enriched contractive mappings. A survey
Pan, Victor	Newton's Polynomial Root-Finder Can Be Strengthened
Pantelimon, Silviu-George	Optics, functorially: Extended abstract
Patcas, Rares-Danut	Technical Debt Prediction
Pelican, Elena	Exploring sum-product networks for image classification. Applications
Petcu, Dana	Multi-disciplinary research at ICAM. Case study on Cloud-native processing of remote sensing data
Petrusel, Adrian	Fixed points and coupled fixed points with applications
Petrusel, Gabriela	Fixed points and coupled fixed points with applications
Pitsiladis, Georgios V.	Converting BPMN Diagrams to Privacy Calculus
Pogorzelski, Jens	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Pogorzelski, Jens	Frequency generation for a quantum current sensor in smart grids
Pomarlan, Mihai	Handling abort commands for household kitchen robots
Pompeo, Esterletizia	Graphic design for architectural serious games
Preuss, Mike	Multi-objective sequence learning for Chemistry and Computer games
Pungila, Ciprian	Control Flow Graphs against malware: methods of analysis and detection
Q
Quero, Jorge	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
R
Radomirovic, Sasha	General elections over the Internet: what could possibly go wrong?
Radulescu, Vlad	Preemptive Phased Execution Models with Scratchpad Memory Requirements
Rajasree, Mahesh	Complexity of Monomial Prediction in Cryptography and Machine Learning On the Maximum Distance Sublattice Problem and Closest Vector Problem
Rigo-Mariani, Rémy	Optimal decision tree design for near real-time control of battery energy storage systems
Rusu, Vlad	A Hands-on Introduction to the Coq Proof Assistant (part 1) A Hands-on Introduction to the Coq Proof Assistant (part 2)
S
Sabry, Amr	Can Quantum Computing Solve my Favorite Problem?
Sanders, Tilman	Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
Sarkar, Santanu	Complexity of Monomial Prediction in Cryptography and Machine Learning
Schulte, Katrin	Optimal decision tree design for near real-time control of battery energy storage systems
Shafiee, Qobad	Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
Slavescu, Kinga Cristina	How to Tackle Fake Medical Content with Clustering and Transformers
Slavescu, Radu Razvan	How to Tackle Fake Medical Content with Clustering and Transformers
Socaciu, Liviu-Ignat	Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms
Soler-Ortiz, Manuel	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series
Staacke, Robert	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Stanziola, Francesco	Graphic design for architectural serious games
Stefaneas, Petros S.	Converting BPMN Diagrams to Privacy Calculus
Stiegekoetter, Dennis	Frequency generation for a quantum current sensor in smart grids Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Stoean, Catalin	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting
Stoean, Ruxandra	Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series The NLP for Employee Review Sentiment Analysis: an Explainable Perspective
Susan, Stefan-Claudiu	Leveraging Slither and Interval Analysis to build a static analysis tool
T
Tache, Alexandru-Petre	Extremal Graphs for the Misbalance Deg Index
Tasnádi, Zoltán	Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms
Teodorescu, Vlad	Static Analysis framework for detecting use-after-free bugs in C++
Todoran, Eneia Nicolae	Abstract Continuation Semantics for a Biologically-Inspired Formalism Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
Trif, Marina Bianca	How to Tackle Fake Medical Content with Clustering and Transformers
Trifoi, Ioan	Fixed Points of b-Enriched Multivalued Nonexpansive Mappings and *-b-enriched nonexpansive mappings in Hilbert Spaces
Trinschek, Sarah	Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Trufas, Dafina	Intuitionistic Propositional Logic in Lean
Trusca, Radu	Fixed points for Feng-Liu multi-valued operators with an application
Trăscău, Mihai	Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
Tufiș, Dan	Ethics and Human Rights in Artificial Intelligence R&D
Turtureanu, Cosmin	A software engineering approach into analyzing Microsoft Office-based email attacks
U
Urechiatu, Raul	Assessing Features Importance in the 15-Class Galaxy Classification Problem
Uzelac Bujisic, Ilija	Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
V
Varga, Erik Zsolt	Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework
Vernic, Raluca	Exploring sum-product networks for image classification. Applications
Vlasiu, Alexandru Robert	Pre-Diagnosis of Autism in Children Using Distributed Learning
Voronkov, Andrei	Induction in Saturation-based Proving
Vummadisetty, Praveen	Generic high-speed design with low-area implementations of statistical operations based on an FPGA device
W
Watt, Stephen	An Abstraction-Preserving Block Matrix Implementation in Maple
Windsteiger, Wolfgang	Gray-Box Proving in Theorema
Z
Zaborila, Andrei	MACE: Malware Analysis and Clustering Engine
Zaharia, Raul	Concepts involved in creating a viewer for disassembly
Zamosteanu, Andreea M.	ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation
Zangiabady, Mahboobeh	Tracer: A Tool for Race Detection in Software Defined Network Models
Zivkovic, Miodrag	The NLP for Employee Review Sentiment Analysis: an Explainable Perspective Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform
Zvirbulis, Ervin	Tracer: A Tool for Race Detection in Software Defined Network Models
Zénaïdi, Naïm	On Projective Delineability
Á
Ábrahám, Erika	On Projective Delineability
Č
Čolović, Aida	Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System
Čolović, Amina	Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System
Ș
Șerpar, Ariana-Andra	Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation

Disclaimer | Powered by EasyChair Smart Program