Strabismus induces an abnormal pattern of alternating light and dark columns of cytochrome oxidase (CO) activity in macaque striate cortex. This pattern may arise because visual perception is suppressed in one eye to avoid diplopia. To test whether CO activity is reduced in the ocular dominance columns of the suppressed eye, we performed monocular enucleation to co-label the ocular dominance co...

Much recent work has gone into adapting techniques that were originally developed for SAT solving to QBF solving. In particular, QBF solvers are often based on SAT solvers. Most competitive QBF solvers are search-based. In this work we explore an alternative approach to QBF solving, based on symbolic quantifier elimination. We extend some recent symbolic approaches for SAT solving to symbolic Q...

In this paper, we experimentally investigated the mode configuration of an excited-state quantum dot laser (ESQDL) under concave mirror optical feedback, and influences feedback strength on characteristics were analyzed. The results showed that after introducing some longitudinal modes (ES) existing in a free-running ESQDL could be suppressed. When increased to certain extent, ground-state (GS)...

The vascular effects of carbon monoxide (CO) resemble those of nitric oxide (NO), but it is unknown whether the two messengers converge or exhibit reciprocal feedback regulation. These questions were examined in microdissected perfused renal resistance arteries (RRA) studied using NO-sensitive microelectrodes. Perfusion of RRA with buffers containing increasing concentrations of CO resulted in ...

BACKGROUND: Staphylococcal foodborne intoxication is the most common cause of foodborne illnesses by Staphylococcus aureus strains and most are caused by the enterotoxins of S. aureus. Staphylococcal enterotoxin A (SEA) is the most frequently responsible for staphylococcal food poisoning outbreaks. From a food safety and human health point of view, lactic acid bacteria (LAB) may provide a promi...

in the affective sphere of efl learning especially with regard to teaching/learning situations in iran, one deterrent element seizes particular attention and that is inhibition self-imposed restraint on or abstinence from learning due to academic and non-academic variables such as culture, gender, psyche, extreme emotions, etc. it is related to language ego permeability hypothesis (leph) which ...

Asynchronous circuits, which have no global clocks and work based on the causality relation between signal transitions, potentially have the advantages of high performance and low power dissipation. However, the state spaces of asynchronous circuits are often huge, because unlike synchronous circuits every wire has states. Thus, the formal verification of asynchronous circuits is more difficult...

The formalism of Dalitz-Plot analysis is reviewed in the preceding note. Recent studies of multi-body decays of charm mesons probe a variety of physics including γ/φ 3 , D 0 –D 0 mixing, searches for CP violation, doubly Cabibbo-suppressed decays, and properties of S-wave ππ, Kπ, and KK resonances. In the following, we discuss: (1) D 0 → K 0 S π + π − ; (2) doubly Cabibbo-suppressed decays; and...

We present an extensive experimental study of consequence-finding algorithms based on kernel resolution, using both a trie-based and a novel ZBDD-based implementation, which uses ZeroSuppressed Binary Decision Diagrams to concisely store and process very large clause sets. Our study considers both the full prime implicate task and applications of consequence-finding for restricted target langua...

The co-hydrothermal carbonization (Co-HTC) of polyvinyl chloride (PVC) film and wood chip (WC) was conducted at 200-260oC in an autoclave filled air or nitrogen for the chemical recycling wastes with dechlorination PVC. Effects Co-HTC temperature oxidation reaction during on decomposition behaviors were investigated. percentage atmosphere increased increasing reached 76.1% 260oC. decompositions...