The intention-behaviour gap: An empirical examination of an integrative perspective to explain exercise behaviour

This study tested the Theory of Planned Behavior (TPB) in conjunction with two sets of variables from the Health Action Process Approach (HAPA) and the Subjective Exercise Experience Scale (SEE) to predict exercise behavior. This study included 454 participants who exercised in a fitness center. We collected measures of the TPB (attitudes, subjective norms, perceived behavioral control, and intention), HAPA (planning), and SEE (positive well-being, psychological distress, and fatigue) and assessed exercise behavior at a three-month follow-up. Structural equation modeling found partial support for the TPB model (explaining 10% of the variance in exercise behavior) and adequate fit indices for an adjusted model of the TPB that includes a positive well-being dimension (explaining 11% of the variance in exercise behavior). In sum, the original TPB partially predicts exercise behavior; when considered together with other predictors, limited evidence was found for its utility in explaining exercise behavior.This study was conducted at Psychology Research Centre (UID/PSI/01662/2013), University of Minho, and supported by the Portuguese Foundation for Science and Technology and the Portuguese Ministry of Science, Technology and Higher Education through national funds and co-financed by FEDER through COMPETE2020 under the PT2020 Partnership Agreement (POCI-01-0145-FEDER-007653).info:eu-repo/semantics/submittedVersio

Haplotype Structure of the ENPP1 Gene and Nominal Association of the K121Q Missense Single Nucleotide Polymorphism With Glycemic Traits in the Framingham Heart Study

OBJECTIVE—A recent meta-analysis demonstrated a nominal association of the ectonucleotide pyrophosphatase phosphodiesterase 1 (ENPP1) K→Q missense single nucleotide polymorphism (SNP) at position 121 with type 2 diabetes. We set out to confirm the association of ENPP1 K121Q with hyperglycemia, expand this association to insulin resistance traits, and determine whether the association stems from K121Q or another variant in linkage disequilibrium with it

Randomized Comparison of Everolimus- and Paclitaxel-Eluting Stents 2-Year Follow-Up From the SPIRIT (Clinical Evaluation of the XIENCE V Everolimus Eluting Coronary Stent System) IV Trial

ObjectivesWe sought to determine whether the differences in outcomes present between everolimus-eluting stents (EES) and paclitaxel-eluting stents (PES) in the SPIRIT (Clinical Evaluation of the XIENCE V Everolimus Eluting Coronary Stent System) IV trial at 1 year were sustained with longer-term follow-up.BackgroundIn the SPIRIT IV trial, patients undergoing percutaneous coronary intervention who were randomized to EES compared with PES experienced lower 1-year rates of target lesion failure (cardiac death, target vessel myocardial infarction [MI], or ischemia-driven target lesion revascularization [TLR]), with significant reductions in the individual rates of MI, TLR, and stent thrombosis.MethodsWe prospectively randomized 3,687 patients with up to 3 noncomplex previously untreated native coronary artery lesions to EES versus PES at 66 U.S. sites. Follow-up through 2 years is complete in 3,578 patents (97.0%).ResultsTreatment with EES compared with PES reduced the 2-year rates of TLF (6.9% vs. 9.9%, p = 0.003), all MI (2.5% vs. 3.9%, p = 0.02), Q-wave MI (0.1% vs. 0.8%, p = 0.002), stent thrombosis (0.4% vs. 1.2%, p = 0.008), and ischemia-driven TLR (4.5% vs. 6.9%, p = 0.004), with nonsignificantly different rates of all-cause and cardiac mortality. Between 1 year and 2 years, there were no significant differences in adverse event rates between the 2 stent types.ConclusionsIn the large-scale, prospective, multicenter, randomized SPIRIT IV trial, the benefits of EES compared with those of PES present at 1 year were sustained at 2 years. (Clinical Evaluation of the XIENCE V Everolimus Eluting Coronary Stent System; NCT01016041

Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Enhanced mitochondrial superoxide scavenging does not Improve muscle insulin action in the high fat-fed mouse

Improving mitochondrial oxidant scavenging may be a viable strategy for the treatment of insulin resistance and diabetes. Mice overexpressing the mitochondrial matrix isoform of superoxide dismutase (sod2(tg) mice) and/or transgenically expressing catalase within the mitochondrial matrix (mcat(tg) mice) have increased scavenging of O2(˙-) and H2O2, respectively. Furthermore, muscle insulin action is partially preserved in high fat (HF)-fed mcat(tg) mice. The goal of the current study was to test the hypothesis that increased O2(˙-) scavenging alone or in combination with increased H2O2 scavenging (mtAO mice) enhances in vivo muscle insulin action in the HF-fed mouse. Insulin action was examined in conscious, unrestrained and unstressed wild type (WT), sod2(tg), mcat(tg) and mtAO mice using hyperinsulinemic-euglycemic clamps (insulin clamps) combined with radioactive glucose tracers following sixteen weeks of normal chow or HF (60% calories from fat) feeding. Glucose infusion rates, whole body glucose disappearance, and muscle glucose uptake during the insulin clamp were similar in chow- and HF-fed WT and sod2(tg) mice. Consistent with our previous work, HF-fed mcat(tg) mice had improved muscle insulin action, however, an additive effect was not seen in mtAO mice. Insulin-stimulated Akt phosphorylation in muscle from clamped mice was consistent with glucose flux measurements. These results demonstrate that increased O2(˙-) scavenging does not improve muscle insulin action in the HF-fed mouse alone or when coupled to increased H2O2 scavenging

Early Use of Adjunctive Therapies for Pediatric Acute Respiratory Distress Syndrome:A PARDIE Study

Rationale: Few data exist to guide early adjunctive therapy use in pediatric acute respiratory distress syndrome (PARDS). Objectives: To describe contemporary use of adjunctive therapies for early PARDS as a framework for future investigations. Methods: This was a preplanned substudy of a prospective, international, cross-sectional observational study of children with PARDS from 100 centers over 10 study weeks. Measurements and Main Results: We investigated six adjunctive therapies for PARDS: continuous neuromuscular blockade, corticosteroids, inhaled nitric oxide (iNO), prone positioning, high-frequency oscillatory ventilation (HFOV), and extracorporeal membrane oxygenation. Almost half (45%) of children with PARDS received at least one therapy. Variability was noted in the median starting oxygenation index of each therapy; corticosteroids started at the lowest oxygenation index (13.0; interquartile range, 7.6–22.0) and HFOV at the highest (25.7; interquartile range, 16.7–37.3). Continuous neuromuscular blockade was the most common, used in 31%, followed by iNO (13%), corticosteroids (10%), prone positioning (10%), HFOV (9%), and extracorporeal membrane oxygenation (3%). Steroids, iNO, and HFOV were associated with comorbidities. Prone positioning and HFOV were more common in middle-income countries and less frequently used in North America. The use of multiple ancillary therapies increased over the first 3 days of PARDS, but there was not an easily identifiable pattern of combination or order of use. Conclusions: The contemporary description of prevalence, combinations of therapies, and oxygenation threshold for which the therapies are applied is important for design of future studies. Region of the world, income, and comorbidities influence adjunctive therapy use and are important variables to include in PARDS investigations

A coalgebraic perspective on logical interpretations

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.Fundação para a Ciência e a Tecnologia (FCT