Operator theory and function theory in Drury-Arveson space and its quotients

The Drury-Arveson space $H^2_d$, also known as symmetric Fock space or the $d$-shift space, is a Hilbert function space that has a natural $d$-tuple of operators acting on it, which gives it the structure of a Hilbert module. This survey aims to introduce the Drury-Arveson space, to give a panoramic view of the main operator theoretic and function theoretic aspects of this space, and to describe the universal role that it plays in multivariable operator theory and in Pick interpolation theory.Comment: Final version (to appear in Handbook of Operator Theory); 42 page

Extending SMT Solvers to Higher-Order Logic

International audienceSMT solvers have throughout the years been able to cope with increasingly expressive formulas, from ground logics to full first-order logic (FOL). In contrast, the extension of SMT solvers to higher-order logic (HOL) is mostly un-explored. We propose a pragmatic extension for SMT solvers to support HOL reasoning natively without compromising performance on FOL reasoning, thus leveraging the extensive research and implementation efforts dedicated to efficient SMT solving. We show how to generalize data structures and the ground decision procedure to support partial applications and extensionality, as well as how to reconcile quantifier instantiation techniques with higher-order variables. We also discuss a separate approach for redesigning an HOL SMT solver from the ground up via new data structures and algorithms. We apply our pragmatic extension to the CVC4 SMT solver and discuss a redesign of the veriT SMT solver. Our evaluation shows they are competitive with state-of-the-art HOL provers and often outperform the traditional encoding into FOL

Inferring predominant pathways in cellular models of breast cancer using limited sample proteomic profiling

<p>Abstract</p> <p>Background</p> <p>Molecularly targeted drugs inhibit aberrant signaling within oncogenic pathways. Identifying the predominant pathways at work within a tumor is a key step towards tailoring therapies to the patient. Clinical samples pose significant challenges for proteomic profiling, an attractive approach for identifying predominant pathways. The objective of this study was to determine if information obtained from a limited sample (i.e., a single gel replicate) can provide insight into the predominant pathways in two well-characterized breast cancer models.</p> <p>Methods</p> <p>A comparative proteomic analysis of total cell lysates was obtained from two cellular models of breast cancer, BT474 (HER2+/ER+) and SKBR3 (HER2+/ER-), using two-dimensional electrophoresis and MALDI-TOF mass spectrometry. Protein interaction networks and canonical pathways were extracted from the Ingenuity Pathway Knowledgebase (IPK) based on association with the observed pattern of differentially expressed proteins.</p> <p>Results</p> <p>Of the 304 spots that were picked, 167 protein spots were identified. A threshold of 1.5-fold was used to select 62 proteins used in the analysis. IPK analysis suggested that metabolic pathways were highly associated with protein expression in SKBR3 cells while cell motility pathways were highly associated with BT474 cells. Inferred protein networks were confirmed by observing an up-regulation of IGF-1R and profilin in BT474 and up-regulation of Ras and enolase in SKBR3 using western blot.</p> <p>Conclusion</p> <p>When interpreted in the context of prior information, our results suggest that the overall patterns of differential protein expression obtained from limited samples can still aid in clinical decision making by providing an estimate of the predominant pathways that underpin cellular phenotype.</p

Influence of taste disorders on dietary behaviors in cancer patients under chemotherapy

<p>Abstract</p> <p>Objectives</p> <p>To determine the relationship between energy and nutrient consumption with chemosensory changes in cancer patients under chemotherapy.</p> <p>Methods</p> <p>We carried out a cross-sectional study, enrolling 60 subjects. Cases were defined as patients with cancer diagnosis after their second chemotherapy cycle (n = 30), and controls were subjects without cancer (n = 30). Subjective changes of taste during treatment were assessed. Food consumption habits were obtained with a food frequency questionnaire validated for Mexican population. Five different concentrations of three basic flavors --sweet (sucrose), bitter (urea), and a novel basic taste, umami (sodium glutamate)-- were used to measure detection thresholds and recognition thresholds (RT). We determine differences between energy and nutrient consumption in cases and controls and their association with taste DT and RT.</p> <p>Results</p> <p>No demographic differences were found between groups. Cases showed higher sweet DT (6.4 vs. 4.4 μmol/ml; p = 0.03) and a higher bitter RT (100 vs. 95 μmol/ml; <it>p </it>= 0.04) than controls. Cases with sweet DT above the median showed significant lower daily energy (2,043 vs.1,586 kcal; p = 0.02), proteins (81.4 vs. 54 g/day; <it>p </it>= 0.01), carbohydrates (246 vs.192 g/day; <it>p </it>= 0.05), and zinc consumption (19 vs.11 mg/day; <it>p </it>= 0.01) compared to cases without sweet DT alteration. Cases with sweet DT and RT above median were associated with lower completion of energy requirements and consequent weight loss. There was no association between flavors DT or RT and nutrient ingestion in the control group.</p> <p>Conclusion</p> <p>Changes of sweet DT and bitter RT in cancer patients under chemotherapy treatment were associated with lower energy and nutrient ingestion. Taste detection and recognition thresholds disorders could be important factors in malnutrition development on patients with cancer under chemotherapy treatment.</p

The Human Sweet Tooth

Humans love the taste of sugar and the word "sweet" is used to describe not only this basic taste quality but also something that is desirable or pleasurable, e.g., la dolce vita. Although sugar or sweetened foods are generally among the most preferred choices, not everyone likes sugar, especially at high concentrations. The focus of my group's research is to understand why some people have a sweet tooth and others do not. We have used genetic and molecular techniques in humans, rats, mice, cats and primates to understand the origins of sweet taste perception. Our studies demonstrate that there are two sweet receptor genes (TAS1R2 and TAS1R3), and alleles of one of the two genes predict the avidity with which some mammals drink sweet solutions. We also find a relationship between sweet and bitter perception. Children who are genetically more sensitive to bitter compounds report that very sweet solutions are more pleasant and they prefer sweet carbonated beverages more than milk, relative to less bitter-sensitive peers. Overall, people differ in their ability to perceive the basic tastes, and particular constellations of genes and experience may drive some people, but not others, toward a caries-inducing sweet diet. Future studies will be designed to understand how a genetic preference for sweet food and drink might contribute to the development of dental caries

Effects of alirocumab on types of myocardial infarction: insights from the ODYSSEY OUTCOMES trial

Aims  The third Universal Definition of Myocardial Infarction (MI) Task Force classified MIs into five types: Type 1, spontaneous; Type 2, related to oxygen supply/demand imbalance; Type 3, fatal without ascertainment of cardiac biomarkers; Type 4, related to percutaneous coronary intervention; and Type 5, related to coronary artery bypass surgery. Low-density lipoprotein cholesterol (LDL-C) reduction with statins and proprotein convertase subtilisin–kexin Type 9 (PCSK9) inhibitors reduces risk of MI, but less is known about effects on types of MI. ODYSSEY OUTCOMES compared the PCSK9 inhibitor alirocumab with placebo in 18 924 patients with recent acute coronary syndrome (ACS) and elevated LDL-C (≥1.8 mmol/L) despite intensive statin therapy. In a pre-specified analysis, we assessed the effects of alirocumab on types of MI. Methods and results  Median follow-up was 2.8 years. Myocardial infarction types were prospectively adjudicated and classified. Of 1860 total MIs, 1223 (65.8%) were adjudicated as Type 1, 386 (20.8%) as Type 2, and 244 (13.1%) as Type 4. Few events were Type 3 (n = 2) or Type 5 (n = 5). Alirocumab reduced first MIs [hazard ratio (HR) 0.85, 95% confidence interval (CI) 0.77–0.95; P = 0.003], with reductions in both Type 1 (HR 0.87, 95% CI 0.77–0.99; P = 0.032) and Type 2 (0.77, 0.61–0.97; P = 0.025), but not Type 4 MI. Conclusion  After ACS, alirocumab added to intensive statin therapy favourably impacted on Type 1 and 2 MIs. The data indicate for the first time that a lipid-lowering therapy can attenuate the risk of Type 2 MI. Low-density lipoprotein cholesterol reduction below levels achievable with statins is an effective preventive strategy for both MI types.For complete list of authors see http://dx.doi.org/10.1093/eurheartj/ehz299</p

Effect of alirocumab on mortality after acute coronary syndromes. An analysis of the ODYSSEY OUTCOMES randomized clinical trial

Background: Previous trials of PCSK9 (proprotein convertase subtilisin-kexin type 9) inhibitors demonstrated reductions in major adverse cardiovascular events, but not death. We assessed the effects of alirocumab on death after index acute coronary syndrome. Methods: ODYSSEY OUTCOMES (Evaluation of Cardiovascular Outcomes After an Acute Coronary Syndrome During Treatment With Alirocumab) was a double-blind, randomized comparison of alirocumab or placebo in 18 924 patients who had an ACS 1 to 12 months previously and elevated atherogenic lipoproteins despite intensive statin therapy. Alirocumab dose was blindly titrated to target achieved low-density lipoprotein cholesterol (LDL-C) between 25 and 50 mg/dL. We examined the effects of treatment on all-cause death and its components, cardiovascular and noncardiovascular death, with log-rank testing. Joint semiparametric models tested associations between nonfatal cardiovascular events and cardiovascular or noncardiovascular death. Results: Median follow-up was 2.8 years. Death occurred in 334 (3.5%) and 392 (4.1%) patients, respectively, in the alirocumab and placebo groups (hazard ratio [HR], 0.85; 95% CI, 0.73 to 0.98; P=0.03, nominal P value). This resulted from nonsignificantly fewer cardiovascular (240 [2.5%] vs 271 [2.9%]; HR, 0.88; 95% CI, 0.74 to 1.05; P=0.15) and noncardiovascular (94 [1.0%] vs 121 [1.3%]; HR, 0.77; 95% CI, 0.59 to 1.01; P=0.06) deaths with alirocumab. In a prespecified analysis of 8242 patients eligible for ≥3 years follow-up, alirocumab reduced death (HR, 0.78; 95% CI, 0.65 to 0.94; P=0.01). Patients with nonfatal cardiovascular events were at increased risk for cardiovascular and noncardiovascular deaths (P<0.0001 for the associations). Alirocumab reduced total nonfatal cardiovascular events (P<0.001) and thereby may have attenuated the number of cardiovascular and noncardiovascular deaths. A post hoc analysis found that, compared to patients with lower LDL-C, patients with baseline LDL-C ≥100 mg/dL (2.59 mmol/L) had a greater absolute risk of death and a larger mortality benefit from alirocumab (HR, 0.71; 95% CI, 0.56 to 0.90; Pinteraction=0.007). In the alirocumab group, all-cause death declined wit h achieved LDL-C at 4 months of treatment, to a level of approximately 30 mg/dL (adjusted P=0.017 for linear trend). Conclusions: Alirocumab added to intensive statin therapy has the potential to reduce death after acute coronary syndrome, particularly if treatment is maintained for ≥3 years, if baseline LDL-C is ≥100 mg/dL, or if achieved LDL-C is low. Clinical Trial Registration: URL: https://www.clinicaltrials.gov. Unique identifier: NCT01663402