Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus is related to Boudol's resource calculus and is derived from Ehrhard and Regnier's differential extension of Linear Logic and of the lambda calculus. We extend it with new constructions, to be understood as implementing a very simple exception mechanism, and with a "must" parallel composition. These new operations allow to associate a context of this calculus with any point of the model and to prove full abstraction for the finite sub-calculus where ordinary lambda calculus application is not allowed. The result is then extended to the full calculus by means of a Taylor Expansion formula. As an intermediate result we prove that the exception mechanism is not essential in the finite sub-calculus

Mechanical Behavior of Non-Textbook Soils (Literature Review)

Traditionally, soil mechanics has focused on the behavior of two distinct types of geomaterials: clean sands and pure clays. Under the application of external loads, these two types of geomaterials represent and are conveniently associated with two extreme types of soil responses: drained and undrained behavior. The drained behavior of clean sands and the undrained behavior of pure clays have been covered extensively in most soil mechanics textbooks. In order to provide some insight into the mechanical response of additional materials, a literature review on the mechanical behavior of “non-textbook” soils (i.e. soils other than clean sands and pure clays) was carried out. The non-textbook soils investigated in this study were silty sands, clayey sands, silty clays, sandy clays, sandy silts, and cemented soils. The review focused on the following aspects of their mechanical behavior: (1) response to static loading; (2) response to cyclic loading; (3) compressibility, consolidation and creep behavior; (4) hydraulic conductivity; and (5) additional studies. Static response studies focused on both strength and stiffness properties of non-textbook soils. Investigations on the cyclic response emphasized the liquefaction resistance and, whenever available, the evolution of excess pore-pressure during cyclic loading. Whenever possible, an attempt was made to compile experimental protocols and theoretical frameworks used in the studies cited in the literature review. The literature review indicates that many aspects of the mechanical behavior of non-textbook soils have been studied in a somewhat superficial manner. A summary of the major observations regarding the mechanical behavior of non-textbook soils is presented. Topics meriting future research are identified

Stress distribution in trimodal samples

The distribution of stress between coarser and finer particles in gap-graded soils is considered a key factor contributing to the risk of internal instability or suffusion, amongst other soil properties. In reality soils can have more complex size distributions than being purely bimodal. In this study, the discrete element method was used to investigate the stress distribution of trimodal gap-graded materials with different grading curves. The quantification of stresses and contacts forces at particle scale data indicates that the stress distribution in trimodal materials are influenced by the percentage of fines, the proportion of the medium fraction, and the initial density. Specifically, when the stress transfer within trimodal material was partitioned into six contacts classes, the results indicate that the stress carried out by each contact type is strongly associated with their percentage fractions and the size ratio between the different particle types

URIC ACID LEVELS CORRELATES WITH INFLAMMATORY MARKERS AND ADHESION MOLECULES IN HEMODIALYSIS PATIENTS

Elevated serum uric acid has been associated to a variety of cardiovascular disease states and with systemic inflammation. The aim of this study was to analyze the association between uric acid levels and inflammatory markers in hemodialysis (HD) patients. This cross-sectional study included 50HD patients (62% men, 54.3±12.6 yrs, BMI 24.4±4Kg/m2) and 21 healthy individuals (45% men, 50.7±15.7 yrs, BMI 25.5±4.0Kg/m2). Uric acid was measured using uricase-PAP method, inflammatory (TNF-α, IL-6 and CRP) and atherosclerosis markers (ICAM-1, VCAM-1, MCP-1 and PAI-1) were measured by a multiplexed particle-based flow cytometric assay. There was a positive correlation between serum uric acid and inflammatory markers, IL-6 (r=0.30, p=0.01), CRP (r=0.37, p=0.003), TNF-α (r=0.40, p=0.001) and adhesion molecules levels, ICAM-1 (r=0.53, p=0.0001), and VCAM-1 (r=0.45, p=0.0001)ParametersHD PatientsHealthy individualsCRP (mg/mL)0.32 ± 0.30*0.11 ± 0.12TNF-α (pg/mL)5.5 ± 2.1*2.4 ± 1.1IL-6 (pg/mL)4.1 ± 1.6*2.7 ± 0.4PAI-1 (ng/mL)7.0 ± 2.76.2 ± 2.1MCP-1 (pg/ml)47.6 ± 24.237.3 ± 19.0VCAM-1 (ng/mL)48.5 ± 8.5*23.8 ± 5.5ICAM-1 (ng/mL)20.5 ± 15.9*7.2 ± 1.2⁎p<0.05In conclusion, these original data suggest that uric acid may have a role in inflammation and atherosclerosis in HD patient

The blocking of angiotensin II type 1 receptor and RhoA/Rho kinase activity in hypertensive patients: Effect of olmesartan medoxomil and implication with cardiovascular-renal remodeling

Hypothesis/Introduction: The pathophysiological role of oxidative stress (OxSt) in hypertension and target organ damage is recognized. Angiotensin II (Ang II) induces OxSt via NAD(P)H oxidase activation and production of proinflammatory cytokines/growth factors leading to cardiovascular-renal remodeling. Ang II stimulates the RhoA/Rho kinase (ROCK) pathway, which is deeply involved in the development of cardiovascular-renal remodeling via OxSt induction. Olmesartan, an Ang II type 1 receptor blocker, possesses antioxidant and activating nitric oxide system-related effects, which we have shown in terms of p22 phox reduction, heme oxygenase-1 and calcitonin gene-related peptide increase. This study evaluates in 15 untreated hypertensive patients the effect of olmesartan treatment on p63RhoGEF, key in Ang II-induced ROCK activation, and MYPT-1 phosphorylation, a marker of ROCK activity. Materials and methods: The p63RhoGEF protein level and MYPT-1 phosphorylation (Western blot) were evaluated at baseline, and after three and six months of olmesartan treatment. Results: Olmesartan normalized systolic and diastolic BP ( p < 0.001), reduced p63RhoGEF level: 1.3±0.25 d.u. (baseline) vs 1.0±0.29 (three months), p < 0.0001 vs 1.0±0.22, (six months), p < 0.0001 and MYPT-1 phosphorylation: 1.2 ±0.14 (baseline) vs 0.9±0.19 (three months), p = 0.008, vs 0.8±0.16 (six months), p = 0.001. Conclusions: These data added to our previous results further provide a mechanistic rationale for olmesartan's antioxidant/anti-inflammatory potential translation, in the long term, toward anti-atherosclerotic/anti-remodeling effects reported by clinical trials

Análise da estabilidade de taludes pelo método de Bishop simplificado

05

Horizontal subsurface flow constructed wetlands for mitigation of ametryn-contaminated water

The feasibility of using constructed wetlands (CWs) for the mitigation of pesticide runoff has been studied in the last decade. However, a lack of related data was verified when subsurface flow constructed wetlands (SSF CWs) are considered for this purpose. In the present work, SSF CWs were submitted to continuous ametryn addition and evaluated during an I I-week period, with the aim of determining the feasibility of these systems for mitigation of contaminated water. Ametryn was not added to one CW cell in order to provide a control for the experiments. Monitoring of treatment performance was executed by standard water quality parameters, ametryn chromatography quantification and macrophyte (Typha latifolia L) nutritional and agronomic property analysis. Results indicated that 39% of the total initially added amount of ametryn was removed, transferred or transformed. Herbicide metabolism and mineralisation were carried out by chemical and biological mechanisms. No statistic differences were observed in nutritional contents found in the T. latifolia crops of the CWs after the experimental period. Moreover, the biomass production (one valuable source of renewable energy) was equal to 3.3 t.ha(-1) (dry matter) in wetland cells. It was concluded that constructed wetland systems are capable of mitigating water contaminated with ametryn, acting as buffer filters between the emission sources and the downstream superficial water bodies

Kaolin Clay Reinforced with a Granular Column Containing Crushed Waste Glass or Traditional Construction Sands

Installation of granular columns is a cost-effective and versatile in situ technique to improve the shear strength, settlement, and drainage behavior of weak soils. It involves backfilling vertical boreholes in the ground with granular materials stiffer than the native soil, such as stone or compacted sand. However, the massive use and overexploitation of sand and natural aggregates have depleted their reserves in recent decades, causing damage to the environment, creating sand shortages, and skyrocketing their price. Hence, it is essential to develop a sustainable alternative to natural aggregates to construct granular columns. The ever-increasing stockpiles of waste glass could be a potential replacement for natural sand in several geotechnical construction applications, noting that both materials have a similar chemical composition. Using crushed waste glass (CWG) as an alternative to traditional natural and manufactured (quarried) sands in granular columns could offer a multipronged benefit by recycling nonbiodegradable waste (glass) and by conserving a depleting natural resource (sand). Using a large direct shear (LDS) machine, this study investigated the shear strength behavior of kaolin (to represent a typical weak soil) reinforced with a central granular column. Three different materials were separately used to backfill the column, including natural sand (NS), manufactured sand (MS), and CWG. The results revealed that the geocomposites containing the CWG column have the highest peak friction angle and relatively greater shear strength under high normal stresses, favoring the potential use of CWG as a green alternative to traditional sands in backfilling granular columns, ultimately supporting resource conservation, waste recycling, and the paradigm shift toward a circular economy