Universidade de Caxias do Sul

Cocoa seed extract induces antiproliferative and pro-apoptotic effects in HT-29 colorectal cancer cells

The beneficial therapeutic actions of cocoa (Theobroma cacao L.) in the treatment of cancer, attributed to antioxidant and anti-inflammatory properties, are well-established. The aim of this study was to investigate the anticarcinogenic effect of cocoa on colorectal cancer cells...

Thermal Performance of a PCM Reservoir with Y-Shaped Fins for Lithium-Ion Battery Thermal Management

This work numerically investigates how Y-shaped metallic fins embedded in a phase change material (PCM) reservoir affect the thermal management of lithium-ion batteries. The constructal design method was applied to evaluate the effects of the number of fins and Y-shaped bifurcati...

Effects of the Glycerol/Quercetin Ratio on the Structure and Tensile Behavior of PVA-Based Films

Poly(vinyl alcohol) (PVA)-based films containing glycerol and quercetin were prepared by casting as potential active-packaging materials. The effects of the glycerol/quercetin ratio on structural, thermal, mechanical, barrier, and antioxidant properties were investigated. Neat PV...

Covering codes checked by the Lean kernel: K_7(9,4) <= 1134, ten more upper bounds, K_2(6,1) = 12, and K_7(4,2) = 19

Lean 4 proofs, against Mathlib v4.34.1 and checked by the kernel with no sorry and no native_decide, of upper bounds on the covering number K_q(n,R) for eleven cells, each by an explicit code below the corresponding table entry we found: K_7(9,4) <= 1134 (best published 1475, Mar...

Study of the Graphene Oxide Reduction Reaction Kinetics: Modeling and Electrical Monitoring of the Process

Abstract Chemical reduction of graphene oxide is considered to be the most promising method for the large-scale, fast, and low-cost production of graphene in solution. Despite its importance, there is a lack of studies regarding this process, the detailed description of which wou...

Covering codes checked by the Lean kernel: K_7(9,4) <= 1351 and K_2(6,1) = 12

Lean 4 proofs, against Mathlib v4.34.1 and checked by the kernel with no sorry and no native_decide, of three results on the covering number K_q(n,R): an explicit 1351-word code shows K_7(9,4) <= 1351, below the best published upper bound we found (1475, Marosi 2026); K_2(6,1) >=...

Covering codes checked by the Lean kernel: K_7(9,4) <= 1137, seven more upper bounds, and K_2(6,1) = 12

Lean 4 proofs, against Mathlib v4.34.1 and checked by the kernel with no sorry and no native_decide, of upper bounds on the covering number K_q(n,R) for eight cells, each by an explicit code below the corresponding table entry we found: K_7(9,4) <= 1137 (best published 1475, Maro...

Functionalization of Chitosan and Application in Nanocomposites for Methyl Orange Adsorption

Abstract The production of efficient adsorbents for azo dye removal by synthesizing and evaluating aminosilane-modified chitosan (S-Chi), as well as the formation of nanocomposites containing magnetite (Mgt) and silver nanoparticles (AgNPs), is addressed in this work. The nanocom...

Rheological, Viscoelastic, and Dynamic Mechanical Behavior of ZnO-Filled and MA-Modified PP/SEBS Filaments for Fused Filament Fabrication

Abstract Immiscible polyolefin–elastomer blends often exhibit limited impact resistance and unstable melt-flow behavior due to weak interfacial adhesion and inefficient stress transfer between phases. These limitations are relevant for fused filament fabrication (FFF), where fila...

From screen to purpose: meaningful IT work

Purpose This study investigates the dimensions that shape the meaning of work for Information Technology (IT) professionals in Rio Grande do Sul, Brazil, and analyzes the relationships among these dimensions, job satisfaction, and intention to remain in current roles. Design/meth...

Prevalence of psychological distress among family caregivers of children with cancer: a systematic review and meta-analysis

Abstract Purpose: This study aimed to systematically review and quantify the prevalence of anxiety and depressive symptoms in family caregivers of children with cancer and to explore potential determinants that may influence these outcomes. Methods: This systematic review and met...

Effect of Prophylactic Incisional Negative Pressure Wound Therapy on Surgical Site Infection After Emergency Laparotomy: An Updated Meta‐Analysis With Trial Sequential Analysis

ABSTRACT Introduction Patients undergoing emergency laparotomy are at high risk of surgical site infections (SSI), which contribute substantially to postoperative morbidity. Incisional negative pressure wound therapy (iNPWT) has been shown to reduce the incidence of SSI following...

A factor-based importance–satisfaction discrepancy approach for smart campus evaluation: evidence from comparative exploratory factor analyses

Abstract Smart campus evaluation commonly relies on descriptive satisfaction scores or importance-performance indicators, yet less is known about whether users organise satisfaction, perceived importance, and respondent-level importance–satisfaction discrepancies through equivale...

Microencapsulation of Araucaria angustifolia bract extract: protection and bioaccessibility of phenolic compounds in chitosan-based systems

Abstract Purpose Native to South America, Araucaria angustifolia bracts (an underutilized by-product of seed processing) account for nearly 80% of the pinecone and are commonly discarded. The lyophilized aqueous extract obtained from these residues is rich in phenolic compounds (...