The interaction-strength interpolation method for main-group chemistry: benchmarking, limitations, and perspectives

We have tested the original interaction-strength-interpolation (ISI) exchange-correlation functional for main group chemistry. The ISI functional is based on an interpolation between the weak and strong coupling limits and includes exact-exchange as well as the G\"orling-Levy second-order energy. We have analyzed in detail the basis-set dependence of the ISI functional, its dependence on the ground-state orbitals, and the influence of the size-consistency problem. We show and explain some of the expected limitations of the ISI functional (i.e. for atomization energies), but also unexpected results, such as the good performance for the interaction energy of dispersion-bonded complexes when the ISI correlation is used as a correction to Hartree-Fock.Comment: 20 pages, 20 figure

Rat Monoclonal Antibodies Specific for LST1 Proteins

The LST1 gene is located in the human MHC class III region and encodes transmembrane and soluble isoforms that have been suggested to play a role in the regulation of the immune response and are associated with inflammatory diseases such as rheumatoid arthritis. Here we describe the generation and characterization of the first monoclonal antibodies against LST1. Two hybridoma lines secreting monoclonal antibodies designated 7E2 and 8D12 were established. The 7E2 antibody detects recombinant and endogenous LST1 by Western blot analysis while 8D12 reacts with recombinant and endogenous LST1 in immunoprecipitation and flow cytometry procedures. The newly established antibodies were used to survey LST1 protein expression in human cell lines, which was found to be tightly regulated, allowing the expression of transmembrane isoforms but suppressing soluble isoforms

English-learning infants’ perception of word stress patterns

Adult speakers of different free stress languages (e.g., English, Spanish) differ both in their sensitivity to lexical stress and in their processing of suprasegmental and vowel quality cues to stress. In a head-turn preference experiment with a familiarization phase, both 8-month-old and 12-month-old English-learning infants discriminated between initial stress and final stress among lists of Spanish-spoken disyllabic nonwords that were segmentally varied (e.g. [ˈnila, ˈtuli] vs [luˈta, puˈki]). This is evidence that English-learning infants are sensitive to lexical stress patterns, instantiated primarily by suprasegmental cues, during the second half of the first year of life

Synthesis for Polynomial Lasso Programs

We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prove a completeness criterion. We perform program synthesis by generating a constraint whose solution is a synthesized program together with a loop invariant that proves the program's correctness. This constraint is non-linear and is passed to an SMT solver. Moreover, we can enforce the termination of the synthesized program with the support of test cases.Comment: Paper at VMCAI'14, including appendi

Strictly correlated uniform electron droplets

We study the energetic properties of finite but internally homogeneous D-dimensional electron droplets in the strict-correlation limit. The indirect Coulomb interaction is found to increase as a function of the electron number, approaching the tighter forms of the Lieb-Oxford bound recently proposed by Rasanen et al. [Phys. Rev. Lett. 102, 206406 (2009)]. The bound is satisfied in three-, two-, and one-dimensional droplets, and in the latter case it is reached exactly - regardless of the type of interaction considered. Our results provide useful reference data for delocalized strongly correlated systems, and they can be used in the development and testing of exchange-correlation density functionals in the framework of density-functional theory

Монастырь Сурб-Хач – очаг национальной армянской культуры

Сегодня современное общество и наука все чаще обращает свои взоры на великую культуру ушедших эпох. Армянский монастырь Сурб-Хач - один из немногих памятников древней архитектуры Крыма, дошедших до наших дней. Поднять из забытья этот уникальный комплекс - одна из задач, которую ставит перед собой авторСьогодні сучасне суспільство і наука все частіше обертає свої погляди на велику культуру епох, що пішли. Вірменський монастир Сурб-Хач - один з небагатьох пам'ятників стародавньої архітектури Криму, що дійшли до наших днів. Підняти із забуття цей унікальний комплекс - одна із задач, яку ставить перед собою авто

Особенности морфологии уролитов жителей города Днепропетровска

Приведены первые результаты исследований морфологии уролитов жителей города Днепропетровска. Предложена типизация уролитов по особенностям их морфологии.Наведено перші результати досліджень морфології уролітов жителів міста Дніпропетровська. Запропонована типізація уролітов за особливостями їх морфології.The first results of studies of morphology nephrolyth residents of Dnipropetrovsk. A typing nephrolyth on the specifics of their morphology.