In this paper, we present a new approach for measuring the expected runtimes (hardness) of SMT problems. The required features, the statistical hardness model used and the machine learning technique which we used are presented. The method is applied to estimate the hardness of problems in the Quantifier Free Bit Vector (QFBV) theory and we used four of the contesting solvers in SMTCOMP2011 to d...

First-principles calculations were carried out to elucidate the excellent control of p-n characteristics recently reported for yttrium aluminoborides YxAlyB14 [Formula: see text] with different occupancies of Al sites [Formula: see text]. Such control of the occupancy of metal sites in borides is unusual. Calculations based on detailed x-ray diffraction data reveal a stable configuration of the...

Using a 2,3-diamino pyrazine substrate and yttrium triflate catalyst, various 2-alkyl and aryl substituted 3,8-diaminoimidazo[1,2-a]pyrazines were efficiently prepared through Groebke-Blackburn-Bienaymé MCR. In particular, a novel 2-piperonyl 3,8-diaminoimidazo[1,2-a]pyrazine structure was prepared exclusively with this new method and was found to have moderate Hsp90 inhibitory activity. A crys...

In perceptual experiments, within-individual fluctuations in perception are observed across multiple presentations of the same stimuli, a phenomenon that remains only partially understood. Here, by means of thulium-yttrium/aluminum-garnet laser and event-related functional MRI, we tested whether variability in perception of identical stimuli relates to differences in prestimulus, baseline brain...

Deprotonation of the yttrium-arsine complex [Cp'3Y{As(H)2Mes}] (1) (Cp'=η(5)-C5H4Me, Mes=mesityl) by nBuLi produces the μ-arsenide complex [{Cp'2Y[μ-As(H)Mes]}3] (2). Deprotonation of the As-H bonds in 2 by nBuLi produces [Li(thf)4]2[{Cp'2Y(μ3-AsMes)}3Li], [Li(thf)4]2[3], in which the dianion 3 contains the first example of an arsinidene ligand in rare-earth metal chemistry. The molecular struc...

This investigation consisted of two parts. In part one, a High Rate Physical Vapor Deposition Process was developed for the deposition of metals, alloys, compounds and dispersion strengthened alloys. The relationship between the deposition temperature, the microstructure and the mechanical properties was studied. The materials resulting from this process were shown to have oroperties very simil...

INTRODUCTION The aim of this study was to evaluate the influence of different levels of external irrigation during irradiation with an erbium, chromium: yttrium-scandium-gallium-garnet (Er,Cr:YSGG) laser on the roughness and wear of dental tissue during scaling procedures. METHODS Twenty-Five uniradicular bovine teeth had the proximal surfaces planed and divided into 3 regions: upper, middle ...