E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

A review of fMRI simulation studies

Simulation studies that validate statistical techniques for fMRI data are challenging due to the complexity of the data. Therefore, it is not surprising that no common data generating process is available (i.e. several models can be found to model BOLD activation and noise). Based on a literature search, a database of simulation studies was compiled. The information in this database was analysed and critically evaluated focusing on the parameters in the simulation design, the adopted model to generate fMRI data, and on how the simulation studies are reported. Our literature analysis demonstrates that many fMRI simulation studies do not report a thorough experimental design and almost consistently ignore crucial knowledge on how fMRI data are acquired. Advice is provided on how the quality of fMRI simulation studies can be improved

Fake people, real effects : the presence of virtual onlookers can impair performance and learning

Can effects of social influence be elicited in virtual contexts, and if so, under which conditions can they be observed? Answering these questions has theoretical merit, as the answers can help broaden our understanding of the interaction mechanisms described by social psychology. The increasing popularity of immersive media in training applications, however, has made these questions of practical significance. Virtual reality (VR), in particular, is a weapon of choice in designing training and education simulations, as it can be used to generate highly realistic characters and environments. As a consequence, it is key to understand under which circumstances virtual ‘others’ can facilitate or impede performance and – especially – learning. In this study, we investigated the impact of virtual onlookers on an adapted Serial Reaction Time (SRT) task that was presented in VR. In each trial, participants responded to a series of spherical stimuli by tapping them with handheld controllers when they lit up. Depending on the experiment block, the sequence order was either the permutation of a fixed order (and therefore predictable given the first stimulus), or fully random (and therefore unpredictable). Participants were divided into three groups (audience variable), depending on the environment in which the task was set: a group without onlookers (none condition), a group with a computer-generated audience (CGI condition), and a group being watched by a prerecorded audience (filmed condition). Results showed that the presence of a virtual audience can hamper both overall performance and learning, particularly when the audience appears more realistic. This study further reinforces the notion that the effects of social influence transcend the physical presence of others, but rather extend to virtual audiences

Influence of Surface Modified MWCNTs on the Mechanical, Electrical and Thermal Properties of Polyimide Nanocomposites

Polyamic acid, the precursor of polyimide, was used for the preparation of polyimide/multiwalled carbon nanotubes (MWCNTs) nanocomposite films by solvent casting technique. In order to enhance the chemical compatibility between polyimide matrix and MWCNTs, the latter was surface modified by incorporating acidic and amide groups by chemical treatment with nitric acid and octadecylamine (C18H39N), respectively. While the amide-MWCNT/polyimide composite shows higher mechanical properties at low loadings (<3 wt%), the acid-MWCNT/polyimide composites perform better at higher loadings (5 wt%). The tensile strength (TS) and the Young’s modulus (YM) values of the acid-MWCNT/polyimide composites at 5 wt% MWCNT loadings was 151 and 3360 MPa, respectively, an improvement of 54% in TS and 35% in YM over the neat polyimide film (TS = 98 MPa; YM = 2492 MPa). These MWCNT-reinforced composites show remarkable improvement in terms of thermal stability as compared to that for pure polyimide film. The electrical conductivity of 5 wt% acid modified MWCNTs/polyimide nanocomposites improved to 0.94 S cm−1(6.67 × 10−18 S cm−1for pure polyimide) the maximum achieved so far for MWCNT-polyimide composites

Seeing two faces together: preference formation in humans and rhesus macaques

Humans, great apes and old world monkeys show selective attention to faces depending on conspecificity, familiarity, and social status supporting the view that primates share similar face processing mechanisms. Although many studies have been done on face scanning strategy in monkeys and humans, the mechanisms influencing viewing preference have received little attention. To determine how face categories influence viewing preference in humans and rhesus macaques (Macaca mulatta), we performed two eye-tracking experiments using a visual preference task whereby pairs of faces from different species were presented simultaneously. The results indicated that viewing time was significantly influenced by the pairing of the face categories. Humans showed a strong bias towards an own-race face in an Asian–Caucasian condition. Rhesus macaques directed more attention towards non-human primate faces when they were paired with human faces, regardless of the species. When rhesus faces were paired with faces from Barbary macaques (Macaca sylvanus) or chimpanzees (Pan troglodytes), the novel species’ faces attracted more attention. These results indicate that monkeys’ viewing preferences, as assessed by a visual preference task, are modulated by several factors, species and dominance being the most influential

Male-like sexual behavior of female mouse lacking fucose mutarotase

<p>Abstract</p> <p>Background</p> <p>Mutarotases are recently characterized family of enzymes that are involved in the anomeric conversions of monosaccharides. The mammalian fucose mutarotase (FucM) was reported in cultured cells to facilitate fucose utilization and incorporation into protein by glycosylation. However, the role of this enzyme in animal has not been elucidated.</p> <p>Results</p> <p>We generated a mutant mouse specifically lacking the fucose mutarotase (FucM) gene. The <it>FucM </it>knockout mice displayed an abnormal sexual receptivity with a drastic reduction in lordosis score, although the animals were fertile due to a rare and forced intromission by a typical male. We examined the anteroventral periventricular nucleus (AVPv) of the preoptic region in brain and found that the mutant females showed a reduction in tyrosine hydoxylase positive neurons compared to that of a normal female. Furthermore, the mutant females exhibited a masculine behavior, such as mounting to a normal female partner as well as showing a preference to female urine. We found a reduction of fucosylated serum alpha-fetoprotein (AFP) in a mutant embryo relative to that of a wild-type embryo.</p> <p>Conclusions</p> <p>The observation that <it>FucM</it>^-/-female mouse exhibits a phenotypic similarity to a wild-type male in terms of its sexual behavior appears to be due to the neurodevelopmental changes in preoptic area of mutant brain resembling a wild-type male. Since the previous studies indicate that AFP plays a role in titrating estradiol that are required to consolidate sexual preference of female mice, we speculate that the reduced level of AFP in <it>FucM</it>^-/-mouse, presumably resulting from the reduced fucosylation, is responsible for the male-like sexual behavior observed in the FucM knock-out mouse.</p

Thiazole Antibiotic Thiostrepton Synergize with Bortezomib to Induce Apoptosis in Cancer Cells

Thiazole antibiotic, thiostrepton was recently identified as proteasome inhibitor. We investigated the therapeutic potential of the combination of thiostrepton and proteasome inhibitor bortezomib (Velcade) on various human tumor cell lines. Combination of sub-lethal concentrations of thiostrepton and bortezomib induced potent apoptosis and inhibition of long-term colony formation in a wide variety of human cancer cell lines. The synergistic relationship between thiostrepton and bortezomib combination was also quantitatively demonstrated by calculating their combination index values that were much lower than 1 in all studied cell lines. The synergy between these drugs was based on their proteasome inhibitory activities, because thiostrepton modification, thiostrepton methyl ester, which did not have intact quinaldic acid ring and did not inhibit proteasome activity failed to demonstrate any synergy in combination with bortezomib

AVPV neurons containing estrogen receptor-beta in adult male rats are influenced by soy isoflavones

BACKGROUND: Isoflavones, the most abundant phytoestrogens in soy foods, are structurally similar to 17beta-estradiol. It is known that 17beta-estradiol induces apoptosis in anteroventral periventricular nucleus (AVPV) in rat brain. Also, there is evidence that consumption of soy isoflavones reduces the volume of AVPV in male rats. Therefore, in this study, we examined the influence of dietary soy isoflavones on apoptosis in AVPV of 150 day-old male rats fed either a soy isoflavone-free diet (Phyto-free) or a soy isoflavone-rich diet (Phyto-600). RESULTS: The occurrence of apoptosis in AVPV was examined by TUNEL staining. The incidence of apoptosis was about 10 times higher in the Phyto-600 group (33.1 ± 1.7%) than in the Phyto-free group (3.6 ± 1.0%). Furthermore, these apoptotic cells were identified as neurons by dual immunofluorescent staining of GFAP and NeuN as markers of astrocytes and neurons, respectively. Then the dopaminergic neurons in AVPV were detected by immunohistochemistry staining of tyrosine hydroxylase (TH). No significant difference in the number of TH neurons was observed between the diet treatment groups. When estrogen receptor (ER) alpha and beta were examined by immunohistochemistry, we observed a 22% reduction of ERbeta-positive cell numbers in AVPV with consumption of soy isoflavones, whereas no significant change in ERalpha-positive cell numbers was detected. Furthermore, almost all the apoptotic cells were ERbeta-immunoreactive (ir), but not ERalpha-ir. Last, subcutaneous injections of equol (a major isoflavone metabolite) that accounts for approximately 70–90% of the total circulating plasma isoflavone levels did not alter the volume of AVPV in adult male rats. CONCLUSION: In summary, these findings provide direct evidence that consumption of soy isoflavones, but not the exposure to equol, influences the loss of ERbeta-containing neurons in male AVPV

Generalised massive gravity one-loop partition function and AdS/(L)CFT

The graviton 1-loop partition function is calculated for Euclidean generalised massive gravity (GMG) using AdS heat kernel techniques. We find that the results fit perfectly into the AdS/(L)CFT picture. Conformal Chern-Simons gravity, a singular limit of GMG, leads to an additional contribution in the 1-loop determinant from the conformal ghost. We show that this contribution has a nice interpretation on the conformal field theory side in terms of a semi-classical null vector at level two descending from a primary with conformal weights (3/2,-1/2).Comment: 25 p., 2 jpg figs, v2: added 6 lines of clarifying text after Eq. (2.38

Reducing bias in auditory duration reproduction by integrating the reproduced signal

Duration estimation is known to be far from veridical and to differ for sensory estimates and motor reproduction. To investigate how these differential estimates are integrated for estimating or reproducing a duration and to examine sensorimotor biases in duration comparison and reproduction tasks, we compared estimation biases and variances among three different duration estimation tasks: perceptual comparison, motor reproduction, and auditory reproduction (i.e. a combined perceptual-motor task). We found consistent overestimation in both motor and perceptual-motor auditory reproduction tasks, and the least overestimation in the comparison task. More interestingly, compared to pure motor reproduction, the overestimation bias was reduced in the auditory reproduction task, due to the additional reproduced auditory signal. We further manipulated the signal-to-noise ratio (SNR) in the feedback/comparison tones to examine the changes in estimation biases and variances. Considering perceptual and motor biases as two independent components, we applied the reliability-based model, which successfully predicted the biases in auditory reproduction. Our findings thus provide behavioral evidence of how the brain combines motor and perceptual information together to reduce duration estimation biases and improve estimation reliability