Searcharxiv⌕ Search

arXiv subjects

Flávio Vinícius Cruzeiro Martins

Publications and source records attributed to Flávio Vinícius Cruzeiro Martins.

7 recordsLinked to original sources

Partition-Guided Distance Saliency: Bridging Decision and Objective Spaces in Many-Objective Optimization

Explainability in Many-Objective Optimization (MaO) is currently hindered by the escalating complexity of the Pareto front, which renders the relationship between high-dimensional decision variables and objective outcomes increasingly opaque. As the number of objectives exceeds the limits of traditional visualization, decision-makers encounter a ``cognitive drought'' in identifying relevant trade-offs or specifying target regions without a priori knowledge. To bridge this interpretability gap, we introduce the {Partition-Guided Distance Saliency (PGDS)} framework, a novel XAI approach designed for continuous optimization landscapes. Our framework automates the explanation process through a three-stage pipeline that prioritizes geometric intuition over abstract rules. First, we employ a surrogate model that learns how geometric distances in the decision space map to proximity in the objective space. Second, to address the difficulty of manual target selection in high dimensions, the framework automatically partitions the objective landscape into distinct regions and identifies local ``Dominating Points'' to serve as automated targets for improvement. Third, we quantify how sensitive a solution's position is to each decision variable by measuring the distance shifts induced by perturbations to each variable. This allows PGDS to categorize features as either ``Drivers'' which facilitate convergence toward preferred regions, or ``Blockers'' which represent geometric constraints hindering further progress. Validation on 10-objective benchmarks and a physics-informed engineering problem (Welded Beam) demonstrates that PGDS provides differentiated, actionable insights that traditional visualization and rule-based XAI methods fail to provide.

cs.LG↗

Engineering AI Agents for Clinical Workflows: A Case Study in Architecture,MLOps, and Governance

The integration of Artificial Intelligence (AI) into clinical settings presents a software engineering challenge, demanding a shift from isolated models to robust, governable, and reliable systems. However, brittle, prototype-derived architectures often plague industrial applications and a lack of systemic oversight, creating a ``responsibility vacuum'' where safety and accountability are compromised. This paper presents an industry case study of the ``Maria'' platform, a production-grade AI system in primary healthcare that addresses this gap. Our central hypothesis is that trustworthy clinical AI is achieved through the holistic integration of four foundational engineering pillars. We present a synergistic architecture that combines Clean Architecture for maintainability with an Event-driven architecture for resilience and auditability. We introduce the Agent as the primary unit of modularity, each possessing its own autonomous MLOps lifecycle. Finally, we show how a Human-in-the-Loop governance model is technically integrated not merely as a safety check, but as a critical, event-driven data source for continuous improvement. We present the platform as a reference architecture, offering practical lessons for engineers building maintainable, scalable, and accountable AI-enabled systems in high-stakes domains.

cs.AI↗

Analyzing Dominance Move (MIP-DoM) Indicator for Multi- and Many-objective Optimization

Dominance move (DoM) is a binary quality indicator that can be used in multi-objective and many-objective optimization to compare two solution sets obtained from different algorithms. The DoM indicator can differentiate the sets for certain important features, such as convergence, spread, uniformity, and cardinality. DoM does not use any reference, and it has an intuitive and physical meaning, similar to the $ε$-indicator, and calculates the minimum total move of members of one set so that all elements in another set are to be dominated or identical to at least one member of the first set. Despite the aforementioned properties, DoM is hard to calculate, particularly in higher dimensions. There is an efficient and exact method to calculate it in a bi-objective case only. This work proposes a novel approach to calculate DoM using a mixed integer programming (MIP) approach, which can handle sets with three or more objectives and is shown to overcome the $ε$-indicator's information loss. Experiments, in the bi-objective space, are done to verify the model's correctness. Furthermore, other experiments, using 3, 5, 10, 15, 20, 25 and 30-objective problems are performed to show how the model behaves in higher-dimensional cases. Algorithms, such as IBEA, MOEA/D, NSGA-III, NSGA-II, and SPEA2 are used to generate the solution sets (however any other algorithms can also be used with the proposed MIP-DoM indicator). Further extensions are discussed to handle certain idiosyncrasies with some solution sets and also to improve the quality indicator and its use for other situations.

cs.NE↗

A multi-period and bi-objective approach for locating ambulances: a case study in Belo Horizonte, Brazil

This work aims to apply the Facility Location Problem in the Emergency Medical Service (EMS) of Belo Horizonte, Brazil. The objective is to improve two previous optimization models from literature to handle base locations and ambulances allocation/relocation problems. The proposed multi-period models introduce the concept of relocation to the local EMS, which allows ambulances to move among bases in different periods to raise the system coverage. This paper also proposes a bi-objective approach aiming to minimize the number of bases and maximize the coverage of demands, which is solved using the epsilon-constraint method. Results show that coverage levels increase by up to 31% for the deterministic approach and up to 24% for the probabilistic approach. Ambulances' relocation optimization might improve coverage levels by up to 21% for the deterministic approach and up to 15% for the probabilistic approach when change scenarios from static to multi-period. Also, since the multi-period model solutions result in installing a larger number of bases, the bi-objective approach is a powerful tool for the decision-maker. Bi-objective results suggest modest increments in the objective function when the stations' number exceeds 28 for the deterministic approach. The probabilistic approach increments in the objective function start to narrow above 30 installed stations.

math.OC↗

Mono and Multi-objective Models for the Emergency Medical Service in the City of Belo Horizonte, Brazil

This work presents the facility location problem for maximum coverage in an emergency medical service called SAMU-BH, located in Belo Horizonte, Minas Gerais, Brazil. The purpose of the proposed model is to find the best locations for its ambulances in order to provide faster in-site assistance whenever necessary. First, it develops a mono-objective model to maximize the coverage rate, defined as the number of calls attended before a target time. Based on the Facility Location and Equipment Emplacement Technique (FLEET) model, a novel mathematical model is proposed, called FLEET-IC, which can work with independent coverages. Secondly, it proposes a multi-objective model to increase total coverage while reducing the number of installed bases. The results show that the mono-objective model's application increases the coverage rate up to 48%, considering the busy fraction factor and up to 26% without it. It also analyzes the effect on the coverage rate of the inclusion of additional ambulances.

math.OC↗

An Assignment Problem Formulation for Dominance Move Indicator

Dominance move (DoM) is a binary quality indicator to compare solution sets in multiobjective optimization. The indicator allows a more natural and intuitive relation when comparing solution sets. It is Pareto compliant and does not demand any parameters or reference sets. In spite of its advantages, the combinatorial calculation nature is a limitation. The original formulation presents an efficient method to calculate it in a biobjective case only. This work presents an assignment formulation to calculate DoM in problems with three objectives or more. Some initial experiments, in the biobjective space, were done to present the model correctness. Next, other experiments, using three dimensions, were also done to show how DoM could be compared with other indicators: inverted generational distance (IGD) and hypervolume (HV). Results show the assignment formulation for DoM is valid for more than three objectives. However, there are some strengths and weaknesses, which are discussed and detailed. Some notes, considerations, and future research paths conclude this work.

cs.NE↗

Dominance Move calculation using a MIP approach for comparison of multi and many-objective optimization solution sets

Dominance move (DoM) is a binary quality indicator that can be used in multiobjective optimization. It can compare solution sets while representing some important features such as convergence, spread, uniformity, and cardinality. DoM has an intuitive concept and considers the minimum move of one set needed to weakly Pareto dominate the other set. Despite the aforementioned properties, DoM is hard to calculate. The original formulation presents an efficient and exact method to calculate it in a biobjective case only. This work presents a new approach to calculate and extend DoM to deal with three or more objectives. The idea is to use a mixed integer programming (MIP) approach to calculate DoM. Some initial experiments, in the biobjective space, were done to verify the model correctness. Furthermore, other experiments, using three, five, and ten objective functions were done to show how the model behaves in higher dimensional cases. Algorithms such as IBEA, MOEAD, NSGAIII, NSGAII, and SPEA2 were used to generate the solution sets, however any other algorithms could be used with DoM indicator. The results have confirmed the effectiveness of the MIP DoM in problems with more than three objective functions. Final notes, considerations, and future research are discussed to exploit some solution sets particularities and improve the model and its use for other situations.

math.OC↗