Objectives: Cerebral hemispheres functioning have been found to be abnormal in children with ASD. The role of lateralization in implicit and explicit motor learning has received little attention in ASD researches. The main goal of this study is investigating the differences between two hands implicit and explicit motor learning in children with ASD and typical matched group. Methods: In the ...

BACKGROUND Heart rate (HR) acceleration during the ascending limb of the blood alcohol curve has proven to be a reliable measure of the sensitivity to the activating effects of alcohol. In this study, we investigated the correlation between an ethanol-induced cardiac change and the strength of implicit alcohol-related arousal and approach associations and attentional bias for alcohol-related st...

DNA encoding ricin B chain was derived from preproricin genomic DNA and ligated into the baculovirus transfer vector, pAcGP67A. Co-transfection of Spodoptera frugiperda Sf9 cells with BaculoGold DNA was followed by limiting dilution purification of recombinant baculovirus. Infection of SF9 cells at a multiplicity of infection of 1 in the presence of 25 mM lactose produced 3 mg/l of soluble, gly...

We demonstrate that it is fairly easy to decompose any propositional formula into two subsets such that both can be solved by blocked clause elimination. Such a blocked clause decomposition is useful to cheaply detect backbone variables and equivalent literals. Blocked clause decompositions are especially useful when they are unbalanced, i.e., one subset is much larger in size than the other on...

We recently introduced a new proof system for Quantified Boolean Formulas (QBF), called QRAT, that opened up a variety of new preprocessing techniques. This paper presents a concept that follows from the QRAT proof system: blocked literals. Blocked literals are redundant universal literals that can be removed or added to clauses. We show that blocked literal elimination (BLE) and blocked litera...