UNICA IRIS Institutional Research Information System

On semidefinite-representable sets over valued fields

Polyhedra and spectrahedra over the real numbers, or more generally their images under linear maps, are respectively the feasible sets of linear and semidefinite programming, and form the family of semidefinite-representable sets. This paper studies analogues of these sets, as well as the associated optimization problems, when the data are taken over a valued field K. For K-polyhedra and linear programming over K we present an algorithm based on the computation of Smith normal forms. We prove...

Solving generic parametric linear matrix inequalities

MORE: A Framework for Stable White Blood Cell Morphological Classification and Report Generation

In hematological diagnostics, the morphological assessment of blood cells serves as a fundamental cornerstone, where clinicians manually evaluate attributes like cell shape, size, and color to identify cell types and detect disease-indicating abnormalities, particularly in conditions such as anemia and leukemia. Automatic analysis accelerates diagnostic throughput, minimizes human error, and supports earlier detection of diseases. To address these challenges, we present MORE, a novel end-to-e...

A Transformer-Based Framework for OCT Cyst Segmentation

Optical Coherence Tomography is a widely used imaging modality for diagnosing and monitoring retinal diseases. Automated segmentation of cystoid spaces in retinal scans is crucial for early detection and personalized treatment planning. In this work, we propose a novel transformer-based framework that leverages SegFormer for accurate segmentation of cystoid regions in OCT images. The study evaluates the impact of model size and different augmentation strategies, such as geometric and color-ba...