Can Quantum Computing Solve my Favorite Problem? (abstract)

Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 1) (abstract)

General elections over the Internet: what could possibly go wrong? (abstract)

Tracer: A Tool for Race Detection in Software Defined Network Models (abstract)

Converting BPMN Diagrams to Privacy Calculus (abstract)

Complexity of Monomial Prediction in Cryptography and Machine Learning (abstract)

On the Maximum Distance Sublattice Problem and Closest Vector Problem (abstract)

Abstract Continuation Semantics for a Biologically-Inspired Formalism (abstract)

Optimizing Cold Start Performance in Serverless Computing Environments (abstract)

Counter-Factual Hidden Event Detection: A Proof of Concept using Machine Learning in Time Series (abstract)

The NLP for Employee Review Sentiment Analysis: an Explainable Perspective (abstract)

Modified Metaheuristics Optimization for Cyberbullying Detection On Online Data Science Platform (abstract)

Optimization Modulo Theory: A Tutorial Using Z3 and Practical Case Studies (part 2) (abstract)

Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans (abstract)

Pre-Diagnosis of Autism in Children Using Distributed Learning (abstract)

On applying GraphLime for trustworthy diabet prediction (abstract)

How to Tackle Fake Medical Content with Clustering and Transformers (abstract)

A Hands-on Introduction to the Coq Proof Assistant (part 1) (abstract)

On Projective Delineability (abstract)

Towards Verified Polynomial Factorisation (abstract)

First steps towards Computational Polynomials in Lean (abstract)

Newton's Polynomial Root-Finder Can Be Strengthened (abstract)

Frequency generation for a quantum current sensor in smart grids (abstract)

Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing (abstract)

Data-Driven Modeling of Photovoltaic Panels Using Neural Networks (abstract)

Assessing Predictor Influence in LSTM Models for Enhanced Solar Energy Forecasting (abstract)

Optimal decision tree design for near real-time control of battery energy storage systems (abstract)

A Hands-on Introduction to the Coq Proof Assistant (part 2) (abstract)

Improving the Nested Markov Chain hyper-heuristic (NMHH) framework efficiency through sequential probability ratio testing (abstract)

An application of the Shepard operator in image reconstruction (abstract)

Generic high-speed design with low-area implementations of statistical operations based on an FPGA device (abstract)

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS (abstract)

Towards Geometry-Preserving Reductions Between Constraint Satisfaction Problems (and other problems in NP) (abstract)

A Study on the topic of Crossing Minimisation (abstract)

Detecting triangle-densest-k-subgraphs with simple nature-inspired algorithms (abstract)

Novel lossless crypto-compression scheme for medical images (abstract)

Control Flow Graphs against malware: methods of analysis and detection (abstract)

Comprehensive LU Decomposition and True Path (abstract)

An Abstraction-Preserving Block Matrix Implementation in Maple (abstract)

Some Family Relations for Rational Orthogonal Matrices (abstract)

A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning (abstract)

An Analysis of Multitask Deep Learning Models for Histopathology (abstract)

Prepared for Lift-off: Hybrid CNN-LSTM Architecture for Aircraft Engine Remaining Useful Life Estimation (abstract)

Introduction to the Theorema system (part 1) (abstract)

Gray-Box Proving in Theorema (abstract)

Technical Debt Prediction (abstract)

Preemptive Phased Execution Models with Scratchpad Memory Requirements (abstract)

Concepts involved in creating a viewer for disassembly (abstract)

Exploring sum-product networks for image classification. Applications (abstract)

Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning (abstract)

The Nurse Rostering Problem solved using Machine Learning solutions – state of the art and promising future research directions (abstract)

Introduction to the Theorema system (part 2) (abstract)

Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats (abstract)

A software engineering approach into analyzing Microsoft Office-based email attacks (abstract)

ScriptView: BTC EmbeddedPlatform® Extension for Test Case Implementation (abstract)

Software Model Checking for Memory Consistency Verification (abstract)

Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments (abstract)

Dynamic Stacking Optimization in Uncertain Environments: a Rolling Mill Complex System (abstract)

Synthetic dataset generation for edge drone inference and training (abstract)

Multi-Agent Path Finding in Gazebo (abstract)

Efficient Performance Analysis of Modular Rewritable Petri Nets (abstract)

A type system for data flow and alias analysis in ReScript (abstract)

Leveraging Slither and Interval Analysis to build a static analysis tool (abstract)

Static Analysis framework for detecting use-after-free bugs in C++ (abstract)

Formal Methods at Microsoft in the age of AI (abstract)

Multi-objective sequence learning for Chemistry and Computer games (abstract)

Symbolic Computation in Automated Program Reasoning (abstract)

An introduction to Gaussian processes applied to Bayesian regression (abstract)

Intuitionistic Propositional Logic in Lean (abstract)

Unification in Matching Logic — Revisited (abstract)

Optics, functorially: Extended abstract (abstract)

AR and VR for the Casa Romei Museum (abstract)

A SERIOUS GAME TO LEARN DORIC GREEK ARCHITECTURE (abstract)

Level Generation Using ChatGPT: A Case Study on the Science Birds Game (abstract)

Graphic design for architectural serious games (abstract)

Fostering Agentic Play Between Technology and Democracy (abstract)

SUDS: A Simplified UNet with Depth-wise Separable Convolutions (abstract)

Ideal Centroid Striving: An unsupervised and prediction parameterized anomaly detection method (abstract)

Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework (abstract)

MACE: Malware Analysis and Clustering Engine (abstract)

Induction in Saturation-based Proving (abstract)

Recent developments in the fixed point theory of enriched contractive mappings. A survey (abstract)

Fixed points for Feng-Liu multi-valued operators with an application (abstract)

Maia’s fixed point theorems in a space with distance (abstract)

SOME FIXED POINT THEOREMS IN THE FRAMEWORK OF f -METRIC SPACES (abstract)

Fixed points and coupled fixed points with applications (abstract)

Existence and Approximation of Fixed Points of Enriched Nonexpansive Operators using Krasnoselskii-Mann type Algorithms (abstract)

Fixed Points of b-Enriched Multivalued Nonexpansive Mappings and *-b-enriched nonexpansive mappings in Hilbert Spaces (abstract)

Common fixed point theorems for enriched contraction under the assumption of R-weakly commuting condition (abstract)

A comparative analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem (abstract)

Assessing Features Importance in the 15-Class Galaxy Classification Problem (abstract)

Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection (abstract)

Generalized multisets over infinite alphabets with atoms (abstract)

Picard Operators: retraction-displacement condition and admissible perturbation of a multivalued operator (abstract)

Examples of b-Metric Spaces Endowed with a Partial Order (abstract)

On some local versions of contraction mapping principle with applications to integral equations (abstract)

Best proximity points and their applications (abstract)

Advanced Methodologies for Time Series Analysis: From Preprocessing to Deep Learning for Event Detection and Variable Prediction (abstract)

Ethics and Human Rights in Artificial Intelligence R&D (abstract)

Multi-disciplinary research at ICAM. Case study on Cloud-native processing of remote sensing data (abstract)

Demystifying Latent Vector Spaces and Large Language Models (abstract)

Handling abort commands for household kitchen robots (abstract)

Improving the Performances of Machine Learning Algorithms by Using Assembly Language (abstract)

A Dual-Approach for AI-Generated Text Detection (abstract)

Extremal Graphs for the Misbalance Deg Index (abstract)

Using backdoor attacks to find area of interest in images (abstract)

Using Evolutionary Algorithms for the Space Optimization Torso Decomposition Challenge (abstract)