Effect of band anisotropy on electronic structure of PbS, PbSe, and PbTe quantum dots

We have calculated the electronic structure of spherical PbS, PbSe, and PbTe quantum dots using a four-band envelope-function formalism that accounts for band anisotropy. By comparing our results with an analytical calculation that assumes a spherical approximation of the (k) over right arrow.(p) over right arrow Hamiltonian, we show that the effects of band anisotropy are more pronounced for the excited states and increase with the confinement. We also show how the same technique can be applied to ellipsoidal quantum dots.62117357736

Commercial refrigeration - An overview of current status

[EN] Commercial Refrigeration comprises food freezing and conservation in retail stores and supermarkets, so, it is one of the most relevant energy consumption sectors, and its relevance is increasing. This paper reviews the most recent developments in commercial refrigeration available in literature and presents a good amount of results provided these systems, covering some advantages and disadvantages in systems and working fluids. Latest researches are focused on energy savings to reduce CO2 indirect emissions due to the burning of fossil fuels. They are focused on system modifications (as dedicated subcooling or the implementation of ejectors), trigeneration technologies (electrical, heating and cooling demand) and better evaporation conditions control. Motivated by latest GWP regulations that are intended to reduce high GWP HFC emissions; R404A and R507 are going to phase out. Besides hydrocarbons and HFO, CO2 appears as one of the most promising HFC replacements because its low contribution to global warming and high efficiencies when used in transcritical and low-stage of cascade systems.The authors thankfully acknowledge "Ministerio de Educacion, Cultura y Deporte" for supporting this work through "Becas y Contratos de Formacion de Profesorado Universitario del Programa Nacional de Formacion de Recursos Humanos de Investigacion del ejercicio 2012".Mota Babiloni, A.; Navarro Esbri, J.; Barragán Cervera, Á.; Moles, F.; Peris, B.; Verdú Martín, GJ. (2015). Commercial refrigeration - An overview of current status. International Journal of Refrigeration. 57:186-196. doi:10.1016/j.ijrefrig.2015.04.013S1861965

Cosmological equations and Thermodynamics on Apparent Horizon in Thick Braneworld

We derive the generalized Friedmann equation governing the cosmological evolution inside the thick brane model in the presence of two curvature correction terms: a four-dimensional scalar curvature from induced gravity on the brane, and a five-dimensional Gauss-Bonnet curvature term. We find two effective four-dimensional reductions of the Friedmann equation in some limits and demonstrate that they can be rewritten as the first law of thermodynamics on the apparent horizon of thick braneworld.Comment: 25 pages, no figure, a definition corrected, several references added, more motivation and discussio

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

Allelic heterogeneity and more detailed analyses of known loci explain additional phenotypic variation and reveal complex patterns of association

The identification of multiple signals at individual loci could explain additional phenotypic variance (‘missing heritability’) of common traits, and help identify causal genes. We examined gene expression levels as a model trait because of the large number of strong genetic effects acting in cis. Using expression profiles from 613 individuals, we performed genome-wide single nucleotide polymorphism (SNP) analyses to identify cis-expression quantitative trait loci (eQTLs), and conditional analysis to identify second signals. We examined patterns of association when accounting for multiple SNPs at a locus and when including additional SNPs from the 1000 Genomes Project. We identified 1298 cis-eQTLs at an approximate false discovery rate 0.01, of which 118 (9%) showed evidence of a second independent signal. For this subset of 118 traits, accounting for two signals resulted in an average 31% increase in phenotypic variance explained (Wilcoxon P< 0.0001). The association of SNPs with cis gene expression could increase, stay similar or decrease in significance when accounting for linkage disequilibrium with second signals at the same locus. Pairs of SNPs increasing in significance tended to have gene expression increasing alleles on opposite haplotypes, whereas pairs of SNPs decreasing in significance tended to have gene expression increasing alleles on the same haplotypes. Adding data from the 1000 Genomes Project showed that apparently independent signals could be potentially explained by a single association signal. Our results show that accounting for multiple variants at a locus will increase the variance explained in a substantial fraction of loci, but that allelic heterogeneity will be difficult to define without resequencing loci and functional work

In Vivo Analysis of MEF2 Transcription Factors in Synapse Regulation and Neuronal Survival

MEF2 (A–D) transcription factors govern development, differentiation and maintenance of various cell types including neurons. The role of MEF2 isoforms in the brain has been studied using in vitro manipulations with only MEF2C examined in vivo. In order to understand specific as well as redundant roles of the MEF2 isoforms, we generated brain-specific deletion of MEF2A and found that Mef2aKO mice show normal behavior in a range of paradigms including learning and memory. We next generated Mef2a and Mef2d brain-specific double KO (Mef2a/dDKO) mice and observed deficits in motor coordination and enhanced hippocampal short-term synaptic plasticity, however there were no alterations in learning and memory, Schaffer collateral pathway long-term potentiation, or the number of dendritic spines. Since previous work has established a critical role for MEF2C in hippocampal plasticity, we generated a Mef2a, Mef2c and Mef2d brain-specific triple KO (Mef2a/c/dTKO). Mef2a/c/d TKO mice have early postnatal lethality with increased neuronal apoptosis, indicative of a redundant role for the MEF2 factors in neuronal survival. We examined synaptic plasticity in the intact neurons in the Mef2a/c/d TKO mice and found significant impairments in short-term synaptic plasticity suggesting that MEF2C is the major isoform involved in hippocampal synaptic function. Collectively, these data highlight the key in vivo role of MEF2C isoform in the brain and suggest that MEF2A and MEF2D have only subtle roles in regulating hippocampal synaptic function

Application of Permutation Genetic Algorithm for Sequential Model Building–Model Validation Design of Experiments

YesThe work presented in this paper is motivated by a complex multivariate engineering problem associated with engine mapping experiments, which require efficient Design of Experiment (DoE) strategies to minimise expensive testing. The paper describes the development and evaluation of a Permutation Genetic Algorithm (PermGA) to support an exploration-based sequential DoE strategy for complex real-life engineering problems. A known PermGA was implemented to generate uniform OLH DoEs, and substantially extended to support generation of Model Building–Model Validation (MB-MV) sequences, by generating optimal infill sets of test points as OLH DoEs, that preserve good space filling and projection properties for the merged MB + MV test plan. The algorithm was further extended to address issues with non-orthogonal design spaces, which is a common problem in engineering applications. The effectiveness of the PermGA algorithm for the MB-MV OLH DoE sequence was evaluated through a theoretical benchmark problem based on the Six-Hump-Camel-Back (SHCB) function, as well as the Gasoline Direct Injection (GDI) engine steady state engine mapping problem that motivated this research. The case studies show that the algorithm is effective at delivering quasi-orthogonal space-filling DoEs with good properties even after several MB-MV iterations, while the improvement in model adequacy and accuracy can be monitored by the engineering analyst. The practical importance of this work, demonstrated through the engine case study, also is that significant reduction in the effort and cost of testing can be achieved.The research work presented in this paper was funded by the UK Technology Strategy Board (TSB) through the Carbon Reduction through Engine Optimization (CREO) project

The impact of zeolite pore structure on the catalytic behavior of CuZnAl/zeolite hybrid catalysts for the direct DME synthesis

[EN] In this work, the influence of the pore structure of 10-ring zeolites used as the methanol dehydration func-tion in CuZnAl(CZA)/zeolite hybrid catalysts was studied for the direct dimethyl ether (DME) synthesis. Tothis purpose, six different 10-ring H-zeolites (ZSM-5, FER, IM-5, TNU-9, MCM-22, ITQ-2) with alike bulkSi/Al ratios (in the 9 14 range) were employed. Additionally, the effect of crystallite size (for ZSM-5) andselective surface dealumination by treatment with oxalic acid (for MCM-22) was also investigated. Whilethe initial activity of the zeolites for methanol dehydration was driven by the concentration of strongBrønsted acid sites, the extent of decay was dictated by the pore structure, which determined the amountand nature of the formed carbon species. When evaluated for direct DME synthesis under methanolsynthesis-controlled conditions, all CZA/zeolite hybrid catalysts (prepared by grinding, CZA:zeolite massratio of 2:1) experienced a decline of CO conversion (and DME yield) with time-on-stream (TOS) due toa gradual loss of the methanol synthesis activity of the Cu-based component. Interestingly, the stabilitywith TOS was the lowest for the hybrid catalysts comprising zeolites with large external surface areas(Sext) such as ITQ-2 and MCM-22. Moreover, for zeolites with similar Sext, the deactivation extent of thehybrid catalysts increased with the concentration of surface Al species (from XPS) in the zeolite. Thus,the delaminated ITQ-2 zeolite (Si/Alsurf= 10.6, Sext= 324 m2/g) produced the less stable hybrid while thatcomprising zeolite TNU-9 (Si/Alsurf= 17.9, Sext= 12 m2/g) displayed the highest stability during the syngas-to-DME experiments. These results suggest that the deterioration of the methanol synthesis activity ofthe CZA catalyst in the hybrid catalysts prepared by grinding is produced by detrimental interactionsbetween zeolitic Al species and Cu sites at the surface-contact between zeolite and CZA particleFinancial support by the Comision Interministerial de Ciencia y Tecnologia (CICYT) of Spain through the Project CTQ2010-17988/PPQ is gratefully acknowledged. A. Garcia-Trenco thanks the Ministerio de Economia y Competitividad (former Ministerio de Ciencia e Innovacion) of Spain for a predoctoral (FPI) scholarship.García Trenco, A.; Valencia Valencia, S.; Martinez Feliu, A. (2013). The impact of zeolite pore structure on the catalytic behavior of CuZnAl/zeolite hybrid catalysts for the direct DME synthesis. Applied Catalysis A General. 468:102-111. doi:10.1016/j.apcata.2013.08.038S10211146

MicroRNA-21 dysregulates the expression of MEF2C in neurons in monkey and human SIV/HIV neurological disease

MicroRNAs (miRNAs) have important roles in regulating a plethora of physiological and pathophysiogical processes including neurodegeneration. In both human immunodeficiency virus (HIV)-associated dementia in humans and its monkey model simian immunodeficiency virus encephalitis (SIVE), we find miR-21, a miRNA largely known for its link to oncogenesis, to be significantly upregulated in the brain. In situ hybridization of the diseased brain sections revealed induction of miR-21 in neurons. miR-21 can be induced in neurons by prolonged N-methyl--aspartic acid receptor stimulation, an excitotoxic process active in HIV and other neurodegenerative diseases. Introduction of miR-21 into human neurons leads to pathological functional defects. Furthermore, we show that miR-21 specifically targets the mRNA of myocyte enhancer factor 2C (MEF2C), a transcription factor crucial for neuronal function, and reduces its expression. MEF2C is dramatically downregulated in neurons of HIV-associated dementia patients, as well as monkeys with SIVE. Together, this study elucidates a novel role for miR-21 in the brain, not only as a potential signature of neurological disease, but also as a crucial effector of HIV-induced neuronal dysfunction and neurodegeneration