An algorithm for the Cartan-Dieudonn\'e theorem on generalized scalar product spaces

We present an algorithmic proof of the Cartan-Dieudonn\'e theorem on generalized real scalar product spaces with arbitrary signature. We use Clifford algebras to compute the factorization of a given orthogonal transformation as a product of reflections with respect to hyperplanes. The relationship with the Cartan-Dieudonn\'e-Scherk theorem is also discussed in relation to the minimum number of reflections required to decompose a given orthogonal transformation.Comment: 25 page

Boustrophedonic Frames: Quasi-Optimal L2 Caching for Textures in GPUs

© 2023 Copyright held by the owner/author(s). This document is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ This document is the Accepted version of a Published Work that appeared in final form in 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT), Viena, Austria, October 2023. To access the final edited and published work see https://doi.org/10.1109/PACT58117.2023.00019Literature is plentiful in works exploiting cache locality for GPUs. A majority of them explore replacement or bypassing policies. In this paper, however, we surpass this exploration by fabricating a formal proof for a no-overhead quasi-optimal caching technique for caching textures in graphics workloads. Textures make up a significant part of main memory traffic in mobile GPUs, which contributes to the total GPU energy consumption. Since texture accesses use a shared L2 cache, improving the L2 texture caching efficiency would decrease main memory traffic, thus improving energy efficiency, which is crucial for mobile GPUs. Our proposal reaches quasi-optimality by exploiting the frame-to-frame reuse of textures in graphics. We do this by traversing frames in a boustrophedonic1 manner w.r.t. the frame-to-frame tile order. We first approximate the texture access trace to a circular trace and then forge a formal proof for our proposal being optimal for such traces. We also complement the proof with empirical data that demonstrates the quasi-optimality of our no-cost proposal

A 3D geological model of Campo de Cartagena, SE Spain : Hydrogeological implications

Knowledge and understanding of geologic basins for hydrogeologic purposes requires an accurate 3D geological architecture representation. For model building, surface and subsurface data integration with the interpretation of geophysical survey and lithologic logs is needed. A methodology to reconstruct the geometric architecture of the sedimentary basin and relationships among stratigraphic formations, as well as to define hydrostratigraphic units, has been applied to the Campo de Cartagena Neogene formations. Data analysis included seismic reflection profiles and gravimetric data from oil exploration, electric resistivity surveys and 491 lithologic logs. The 3D model obtained from a close integration of stratigraphic and geophysical data was generated through a computerbased tool. It presents a common framework and a good starting point for hydrogeologic applications

Architectural Support for Optimizing Huge Page Selection Within the OS

© 2023 Copyright held by the owner/author(s). This document is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ This document is the Accepted version of a Published Work that appeared in final form in 56th ACM/IEEE International Symposium on Microarchitecture (MICRO), Toronto, Canada. To access the final edited and published work see https://doi.org/10.1145/3613424.3614296Irregular, memory-intensive applications often incur high translation lookaside buffer (TLB) miss rates that result in significant address translation overheads. Employing huge pages is an effective way to reduce these overheads, however in real systems the number of available huge pages can be limited when system memory is nearly full and/or fragmented. Thus, huge pages must be used selectively to back application memory. This work demonstrates that choosing memory regions that incur the most TLB misses for huge page promotion best reduces address translation overheads. We call these regions High reUse TLB-sensitive data (HUBs). Unlike prior work which relies on expensive per-page software counters to identify promotion regions, we propose new architectural support to identify these regions dynamically at application runtime. We propose a promotion candidate cache (PCC) that identifies HUB candidates based on hardware page table walks after a lastlevel TLB miss. This small, fixed-size structure tracks huge pagealigned regions (consisting of base pages), ranks them based on observed page table walk frequency, and only keeps the most frequently accessed ones. Evaluated on applications of various memory intensity, our approach successfully identifies application pages incurring the highest address translation overheads. Our approach demonstrates that with the help of a PCC, the OS only needs to promote 4% of the application footprint to achieve more than 75% of the peak achievable performance, yielding 1.19-1.33× speedups over 4KB base pages alone. In real systems where memory is typically fragmented, the PCC outperforms Linux’s page promotion policy by 14% (when 50% of total memory is fragmented) and 16% (when 90% of total memory is fragmented) respectively

Size dependent symmetry breaking in models for morphogenesis

A general property of dynamical systems is the appearance of spatial and temporal patterns due to a change of stability of a homogeneous steady state. Such spontaneous symmetry breaking is observed very frequently in all kinds of real systems, including the development of shape in living organisms. Many nonlinear dynamical systems present a wide variety of patterns with different shapes and symmetries. This fact restricts the applicability of these models to morphogenesis, since one often finds a surprisingly small variation in the shapes of living organisms. For instance, all individuals in the Phylum Echinodermata share a persistent radial fivefold symmetry. In this paper, we investigate in detail the symmetry-breaking properties of a Turing reaction–diffusion system confined in a small disk in two dimensions. It is shown that the symmetry of the resulting pattern depends only on the size of the disk, regardless of the boundary conditions and of the differences in the parameters that differentiate the interior of the domain from the outer space. This study suggests that additional regulatory mechanisms to control the size of the system are of crucial importance in morphogenesis

A maximum density rule for surfaces of quasicrystals

A rule due to Bravais of wide validity for crystals is that their surfaces correspond to the densest planes of atoms in the bulk of the material. Comparing a theoretical model of i-AlPdMn with experimental results, we find that this correspondence breaks down and that surfaces parallel to the densest planes in the bulk are not the most stable, i.e. they are not so-called bulk terminations. The correspondence can be restored by recognizing that there is a contribution to the surface not just from one geometrical plane but from a layer of stacked atoms, possibly containing more than one plane. We find that not only does the stability of high-symmetry surfaces match the density of the corresponding layer-like bulk terminations but the exact spacings between surface terraces and their degree of pittedness may be determined by a simple analysis of the density of layers predicted by the bulk geometric model.Comment: 8 pages of ps-file, 3 Figs (jpg

Long-term antibiotic therapy in patients with surgery-indicated not undergoing surgery infective endocarditis

Background: To date, there is little information regarding management of patients with infective endocarditis (IE) that did not undergo an indicated surgery. Therefore, we aimed to evaluate prognosis of these patients treated with a long-term antibiotic treatment strategy, including oral long term suppressive antibiotic treatment in five referral centres with a multidisciplinary endocarditis team. Methods: This retrospective, multicenter study retrieved individual patient-level data from five referral centres in Spain. Among a total of 1797, 32 consecutive patients with IE were examined (median age 72 years; 78% males) who had not undergone an indicated surgery, but received long-term antibiotic treatment (LTAT) and were followed by a multidisciplinary endocarditis team, between 2011 and 2019. Primary outcomes were infection relapse and mortality during follow-up. Results: Among 32 patients, 21 had IE associated with prostheses. Of the latter, 8 had an ascending aorta prosthetic graft. In 24 patients, a switch to long-term oral suppressive antibiotic treatment (LOSAT) was considered. The median duration of LOSAT was 277 days. Four patients experienced a relapse during follow-up. One patient died within 60 days, and 12 patients died between 60 days and 3 years. However, only 4 deaths were related to IE. Conclusions: The present study results suggest that a LTAT strategy, including LOSAT, might be considered for patients with IE that cannot undergo an indicated surgery. After hospitalization, they should be followed by a multidisciplinary endocarditis team

Defective HNF4alpha-dependent gene expression as a driver of hepatocellular failure in alcoholic hepatitis

Alcoholic hepatitis (AH) is a life-threatening condition characterized by profound hepatocellular dysfunction for which targeted treatments are urgently needed. Identification of molecular drivers is hampered by the lack of suitable animal models. By performing RNA sequencing in livers from patients with different phenotypes of alcohol-related liver disease (ALD), we show that development of AH is characterized by defective activity of liver-enriched transcription factors (LETFs). TGFβ1 is a key upstream transcriptome regulator in AH and induces the use of HNF4α P2 promoter in hepatocytes, which results in defective metabolic and synthetic functions. Gene polymorphisms in LETFs including HNF4α are not associated with the development of AH. In contrast, epigenetic studies show that AH livers have profound changes in DNA methylation state and chromatin remodeling, affecting HNF4α-dependent gene expression. We conclude that targeting TGFβ1 and epigenetic drivers that modulate HNF4α-dependent gene expression could be beneficial to improve hepatocellular function in patients with AH

Cut-offs and response criteria for the Hospital Universitario la Princesa Index (HUPI) and their comparison to widely-used indices of disease activity in rheumatoid arthritis

Objective To estimate cut-off points and to establish response criteria for the Hospital Universitario La Princesa Index (HUPI) in patients with chronic polyarthritis. Methods Two cohorts, one of early arthritis (Princesa Early Arthritis Register Longitudinal PEARL] study) and other of long-term rheumatoid arthritis (Estudio de la Morbilidad y Expresión Clínica de la Artritis Reumatoide EMECAR]) including altogether 1200 patients were used to determine cut-off values for remission, and for low, moderate and high activity through receiver operating curve (ROC) analysis. The areas under ROC (AUC) were compared to those of validated indexes (SDAI, CDAI, DAS28). ROC analysis was also applied to establish minimal and relevant clinical improvement for HUPI. Results The best cut-off points for HUPI are 2, 5 and 9, classifying RA activity as remission if =2, low disease activity if >2 and =5), moderate if >5 and <9 and high if =9. HUPI''s AUC to discriminate between low-moderate activity was 0.909 and between moderate-high activity 0.887. DAS28''s AUCs were 0.887 and 0.846, respectively; both indices had higher accuracy than SDAI (AUCs: 0.832 and 0.756) and CDAI (AUCs: 0.789 and 0.728). HUPI discriminates remission better than DAS28-ESR in early arthritis, but similarly to SDAI. The HUPI cut-off for minimal clinical improvement was established at 2 and for relevant clinical improvement at 4. Response criteria were established based on these cut-off values. Conclusions The cut-offs proposed for HUPI perform adequately in patients with either early or long term arthritis