Search
Search Results
-
Resolving Sets in Temporal Graphs
A resolving set R in a graph G is a set of vertices such that every vertex of G is uniquely identified by its distances to the vertices of R.... -
Approximate Cycle Double Cover
The Cycle double cover (CDC) conjecture states that for every bridgeless graph G, there exists a family... -
Parameterized Complexity of Paired Domination
The Paired Domination problem is one of the well-studied variants of the classical Dominating Set problem. In a graph G on n vertices, a dominating... -
An Improved Bound for Equitable Proper Labellings
For every graph G with size m and no connected component isomorphic to \(K_2\)... -
A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models
In this demonstration, we present an engine leveraging graph transformations for the automated reformulation of constraint specifications of... -
Focal-Based Deep Learning Model for Automatic Arrhythmia Diagnosis
This paper approaches a new model for arrhythmia diagnosis based on short-duration electrocardiogram (ECG) heartbeats. To detect 8 arrhythmia classes... -
MonoWeb: Cardiac Electrophysiology Web Simulator
Computational modeling emerged to address scientific problems by develo** mathematical models for their description and creating computational... -
Understanding Survival Models Through Counterfactual Explanations
The development of black-box survival models has created a need for methods that explain their outputs, just as in the case of traditional machine... -
Segmentation of Cytology Images to Detect Cervical Cancer Using Deep Learning Techniques
Cervical cancer is the fourth most common cancer among women. Every year, more than 200,000 women die due to cervical cancer; however, it is a... -
EnsembleFS: an R Toolkit and a Web-Based Tool for a Filter Ensemble Feature Selection of Molecular Omics Data
The development of more complex biomarker selection protocols based on the machine learning (ML) approach, with additional processing of information... -
Cost-Efficient Multi-Objective Design of Miniaturized Microwave Circuits Using Machine Learning and Artificial Neural Networks
Designing microwave components involves managing multiple objectives such as center frequencies, impedance matching, and size reduction for... -
Global Induction of Oblique Survival Trees
Survival analysis focuses on the prediction of failure time and serves as an important prognostic tool, not solely confined to medicine but also... -
ClinLinker: Medical Entity Linking of Clinical Concept Mentions in Spanish
Advances in natural language processing techniques, such as named entity recognition and normalization to widely used standardized terminologies like... -
Machine Learning Workflows in the Computing Continuum for Environmental Monitoring
Cloud-Edge Continuum is an innovative approach that exploits the strengths of the two paradigms: Cloud and Edge computing. This new approach gives us... -
Expedited Machine-Learning-Based Global Design Optimization of Antenna Systems Using Response Features and Multi-fidelity EM Analysis
The design of antenna systems poses a significant challenge due to stringent performance requirements dictated by contemporary applications and the... -
Adjoint Sensitivities of Chaotic Flows Without Adjoint Solvers: A Data-Driven Approach
In one calculation, adjoint sensitivity analysis provides the gradient of a quantity of interest with respect to all system’s parameters.... -
Stylometric Analysis of Large Language Model-Generated Commentaries in the Context of Medical Neuroscience
This study investigates the application of Large Language Models (LLMs) in generating commentaries on neuroscientific papers, with a focus on their... -
Evaluating the Impact of Atmospheric CO2 Emissions via Super Resolution of Remote Sensing Data
Understanding how emissions from point sources affect the atmospheric concentrations of Greenhouse Gases (GHGs) locally and on a wider scale is... -
Exploring Apple Silicon’s Potential from Simulation and Optimization Perspective
This study explores the performance of Apple Silicon processors in real-world research tasks, with a specific focus on optimization and Machine... -
Generalized Weighted Type Graphs for Termination of Graph Transformation Systems
We refine the weighted type graph technique for proving termination of double pushout (DPO) graph transformation systems. We increase the power of...