Universidad Juárez Autónoma de Tabasco

A Data-Driven Validation Methodology for a Multi-City Solar Chimney Dataset in Smart-City Applications

This article presents a methodology for a validated multi-city parametric dataset for data-driven assessment of single-channel solar chimneys as energy-efficient components of smart-city buildings. The dataset covers Mexico City, Hermosillo, Mérida, Monterrey, Toluca, and Villahe...

Molecular Dynamics Simulations Reveal Structural Changes Associated with the ABCA1 R230C Functional Variant

The ATP-binding cassette transporter A1 (ABCA1) functional variant R230C (rs9282541) is associated with low plasma HDL-C levels, yet its atomic-scale mechanism remains unclear. We evaluated the structural and dynamic impact of R230C compared to wild-type (WT) ABCA1 using 200 ns m...

A Modular Formalization of 2D Navier-Stokes Uniqueness in Lean 4: Sorry-Free 1D Gagliardo-Nirenberg and Axiomatic Reduction of the Ladyzhenskaya Argument

Abstract: We present a machine-checked modular formalization in Lean 4 (with Mathlib4) towards the formal verification of the 2D incompressible Navier-Stokes global uniqueness theorem. The package delivers two primary contributions: (1) A complete, 100% sorry-free formal proof of...

Wetlands' e-hydroperiod method: Frequency-of-occurrence-based approach

Study region the Great Lagoon of Catazajá is a Ramsar site and habitat for the Greater Caribbean manatee ( Trichechus manatus manatus ). It is located in the floodplain of the Usumacinta River, the mightiest river in Mesoamerica, and a transboundary basin with most of its course...

Ecotype-associated structural variants across multiple locally adapted Poeciliid fishes

Abstract Background Extreme environments provide powerful natural laboratories for studying evolutionary convergence across taxa. While convergent phenotypes frequently evolve in response to similar selective pressures, consistent molecular signatures at the nucleotide level are...