Antichain cutsets of strongly connected posets

Rival and Zaguia showed that the antichain cutsets of a finite Boolean lattice are exactly the level sets. We show that a similar characterization of antichain cutsets holds for any strongly connected poset of locally finite height. As a corollary, we get such a characterization for semimodular lattices, supersolvable lattices, Bruhat orders, locally shellable lattices, and many more. We also consider a generalization to strongly connected hypergraphs having finite edges.Comment: 12 pages; v2 contains minor fixes for publicatio

PENGARUH KUALITAS PRODUK DAN HARGA TERHADAP KEPUTUSAN PEMBELIAN KONSUMEN PADA DISTRO COSMIC BANDUNG

ABSTRAK Manajemen pemasaran merupakan seni dan ilmu untuk memilih pasar sasaran dan meraih, mempertahankan, serta menumbuhkan pelanggan dengan menciptakan, menghantarkan, dan mengkomunikasikan nilai pelanggan yang unggul. Penelitian ini bertujuan untuk mengetahui seberapa besar pengaruh Kualitas Produk dan harga terhadap proses keputusan pembelian distro cosmic Bandung baik secara parsial maupun simultan. Metode penelitian yang digunakan adalah deskriptif dan verifikatif dengan jumlah sampel 76 responden. Teknik pengumpulan data yang digunakan adalah observasi, wawancara dan menyebarkan kuesioner. Metode analisis data yang digunakan adalah regresi linier berganda, korelasi ganda dan koefisien determinasi dan uji hipotesis. Hasil penelitian menunjukkan besar pengaruh Kualitas Produk dan harga terhadap proses keputusan pembelian distro cosmic Bandung dapat dikatakan cukup baik. Kualitas Produk memberikan pengaruh yang besar pada keputusan pembelian dibandingkan dengan harga terhadap proses keputusan pembelian. Kata Kunci : Kualitas Produk, Harga dan Keputusan Pembelia

A fixed point theorem for multifunctions and an application

The main result is a fixed point theorem for compositions of chain faithful multifunctions (Corollary 2.3). The theorem is then applied to get sufficient conditions for the fixed point property of the product of two partially ordered sets.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/45583/1/12_2005_Article_BF01195267.pd

A simple abstraction of arrays and maps by program translation

We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations. The simplest way to implement it is by automatic, syntactic transformation of the array program into a scalar program followed analysis of the scalar program with any static analysis technique (abstract interpretation, acceleration, predicate abstraction,.. .). The scalars invariants thus obtained are translated back onto the original program as universally quantified array invariants. We illustrate our approach on a variety of examples, leading to the " Dutch flag " algorithm

Responsibility Analysis by Abstract Interpretation

Given a behavior of interest in the program, statically determining the corresponding responsible entity is a task of critical importance, especially in program security. Classical static analysis techniques (e.g. dependency analysis, taint analysis, slicing, etc.) assist programmers in narrowing down the scope of responsibility, but none of them can explicitly identify the responsible entity. Meanwhile, the causality analysis is generally not pertinent for analyzing programs, and the structural equations model (SEM) of actual causality misses some information inherent in programs, making its analysis on programs imprecise. In this paper, a novel definition of responsibility based on the abstraction of event trace semantics is proposed, which can be applied in program security and other scientific fields. Briefly speaking, an entity ER is responsible for behavior B, if and only if ER is free to choose its input value, and such a choice is the first one that ensures the occurrence of B in the forthcoming execution. Compared to current analysis methods, the responsibility analysis is more precise. In addition, our definition of responsibility takes into account the cognizance of the observer, which, to the best of our knowledge, is a new innovative idea in program analysis.Comment: This is the extended version (33 pages) of a paper to be appeared in the Static Analysis Symposium (SAS) 201

Curcumin Promotes A-beta Fibrillation and Reduces Neurotoxicity in Transgenic Drosophila

The pathology of Alzheimer's disease (AD) is characterized by the presence of extracellular deposits of misfolded and aggregated amyloid-β (Aβ) peptide and intraneuronal accumulation of tangles comprised of hyperphosphorylated Tau protein. For several years, the natural compound curcumin has been proposed to be a candidate for enhanced clearance of toxic Aβ amyloid. In this study we have studied the potency of feeding curcumin as a drug candidate to alleviate Aβ toxicity in transgenic Drosophila. The longevity as well as the locomotor activity of five different AD model genotypes, measured relative to a control line, showed up to 75% improved lifespan and activity for curcumin fed flies. In contrast to the majority of studies of curcumin effects on amyloid we did not observe any decrease in the amount of Aβ deposition following curcumin treatment. Conformation-dependent spectra from p-FTAA, a luminescent conjugated oligothiophene bound to Aβ deposits in different Drosophila genotypes over time, indicated accelerated pre-fibrillar to fibril conversion of Aβ1–42 in curcumin treated flies. This finding was supported by in vitro fibrillation assays of recombinant Aβ1–42. Our study shows that curcumin promotes amyloid fibril conversion by reducing the pre-fibrillar/oligomeric species of Aβ, resulting in a reduced neurotoxicity in Drosophila

Lipocalin 2 modulates the cellular response to amyloid beta

The production, accumulation and aggregation of amyloid beta (Aß) peptides in Alzheimer's disease (AD) are influenced by different modulators. Among these are iron and iron-related proteins, given their ability to modulate the expression of the amyloid precursor protein and to drive Aß aggregation. Herein, we describe that lipocalin 2 (LCN2), a mammalian acute-phase protein involved in iron homeostasis, is highly produced in response to Aß1-42 by choroid plexus epithelial cells and astrocytes, but not by microglia or neurons. Although Aß1-42 stimulation decreases the dehydrogenase activity and survival of wild-type astrocytes, astrocytes lacking the expression of Lcn2 are not affected. This protection results from a lower expression of the proapoptotic gene Bim and a decreased inflammatory response. Altogether, these findings show that Aß toxicity to astrocytes requires LCN2, which represents a novel mechanism to target when addressing AD.Cell Death and Differentiation advance online publication, 23 May 2014; doi:10.1038/cdd.2014.68.We thank Dr. Ioannis Sotiropoulos for reagents and comments. Sandro Da Mesquita and Ana Catarina Ferreira are recipients of PhD fellowships and Fernanda Marques is recipient of a postdoctoral fellowship by the Fundacao para a Ciencia e Tecnologia (FCT, Portugal)/FEDER. This work was supported by a grant from FCT/FEDER (EXPL/NEUOSD/2196/2013)

High overlap between traditional ecological knowledge and forest conservation found in the Bolivian Amazon

Unidad de excelencia María de Maeztu MdM-2015-0552Altres ajuts: FBBVA research grant (BIOCON_06_106-07)It has been suggested that traditional ecological knowledge (TEK) may play a key role in forest conservation. However, empirical studies assessing to what extent TEK is associated with forest conservation compared with other variables are rare. Furthermore, to our knowledge, the spatial overlap of TEK and forest conservation has not been evaluated at fine scales. In this paper, we address both issues through a case study with Tsimane' Amerindians in the Bolivian Amazon. We sampled 624 households across 59 villages to estimate TEK and used remote sensing data to assess forest conservation. We ran statistical and spatial analyses to evaluate whether TEK was associated and spatially overlapped with forest conservation at the village level. We find that Tsimane' TEK is significantly and positively associated with forest conservation although acculturation variables bear stronger and negative associations with forest conservation. We also find a very significant spatial overlap between levels of Tsimane' TEK and forest conservation. We discuss the potential reasons underpinning our results, which provide insights that may be useful for informing policies in the realms of development, conservation, and climate. We posit that the protection of indigenous cultural systems is vital and urgent to create more effective policies in such realms