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

Microtubule organization within mitotic spindles revealed by serial block face scanning electron microscopy and image analysis

Serial block face scanning electron microscopy (SBF-SEM) is a powerful method to analyze cells in 3D. Here, working at the resolution limit of the method, we describe a correlative light-SBF-SEM workflow to resolve microtubules of the mitotic spindle in human cells. We present four examples of uses for this workflow that are not practical by light microscopy and/or transmission electron microscopy. First, distinguishing closely associated microtubules within K-fibers; second, resolving bridging fibers in the mitotic spindle; third, visualizing membranes in mitotic cells, relative to the spindle apparatus; and fourth, volumetric analysis of kinetochores. Our workflow also includes new computational tools for exploring the spatial arrangement of microtubules within the mitotic spindle. We use these tools to show that microtubule order in mitotic spindles is sensitive to the level of TACC3 on the spindle

Thioredoxin-1 and oxidative stress status in pregnant women at early third trimester of pregnancy: relation to maternal and neonatal characteristics

This study examined the clinical and biological importance of thioredoxin-1, a redox-active defensive protein that controls multiple biological functions, in pregnant women. We measured serum concentrations of thioredoxin-1, total hydroperoxides, and redox potential in 60 pregnant women at the early third trimester: gestational age of 27-29 weeks. The thioredoxin-1 concentration (mean +/- SD) was 90 +/- 42 ng/ml. Total hydroperoxides was 471 +/- 105 U.CARR (1 U.CARR = 0.08 mg/dl H2O2). Redox potential was 2142 +/- 273 mu mol/l. The total hydroperoxides: redox potential ratio (oxidative stress index) was 0.23 +/- 0.08. Thioredoxin-1, total hydroperoxides, and oxidative stress index were higher and redox potential was lower than in blood of healthy adults. Total hydroperoxides and redox potential were mutually correlated significantly and negatively. Thioredoxin-1 correlated significantly and negatively and redox potential correlated significantly and positively with body weight and body mass index. Thioredoxin-1 and redox potential correlated significantly and positively with uric acid and albumin, respectively. Thioredoxin-1 and oxidative stress index correlated significantly and negatively and redox potential significantly and positively with neonatal birth weight. These results suggest that high concentrations of thioredoxin-1 are linked to high oxidative stress status in pregnant women and that neonatal birth weight is affected by the maternal oxidative condition during later pregnancy

Identification of furfural resistant strains of Saccharomyces cerevisiae and Saccharomyces paradoxus from a collection of environmental and industrial isolates

Background Fermentation of bioethanol using lignocellulosic biomass as a raw material provides a sustainable alternative to current biofuel production methods by utilising waste food streams as raw material. Before lignocellulose can be fermented it requires physical, chemical and enzymatic treatment in order to release monosaccharides, a process that causes the chemical transformation of glucose and xylose into the cyclic aldehydes furfural and hydroxyfurfural. These furan compounds are potent inhibitors of Saccharomyces fermentation, and consequently furfural tolerant strains of Saccharomyces are required for lignocellulosic fermentation. Results This study investigated yeast tolerance to furfural and hydroxyfurfural using a collection of 71 environmental and industrial isolates of the baker’s yeast Saccharomyces cerevisiae and its closest relative Saccharomyces paradoxus. The Saccharomyces strains were initially screened for growth on media containing 100 mM glucose and 1.5 mg ml-1 furfural. Five strains were identified that showed a significant tolerance to growth in the presence of furfural and these were then screened for growth and ethanol production in the presence of increasing amounts (0.1-4 mg ml-1) of furfural. Conclusions Of the five furfural tolerant strains S. cerevisiae NCYC 3451 displayed the greatest furfural resistance, and was able to grow in the presence of up to 3.0 mg ml-1 furfural. Furthermore, ethanol production in this strain did not appear to be inhibited by furfural, with the highest ethanol yield observed at 3.0 mg ml-1 furfural. Although furfural resistance was not found to be a trait specific to any one particular lineage or population, three of the strains were isolated from environments where they might be continually exposed to low levels of furfural through the on-going natural degradation of lignocelluloses, and would therefore develop elevated levels of resistance to these furan compounds. Thus these strains represent good candidates for future studies of genetic variation relevant to understanding and manipulating furfural resistance and in the development of tolerant ethanologenic yeast strains for use in bioethanol production from lignocellulose processing

Mathematical Evaluation of Community Level Impact of Combining Bed Nets and Indoor Residual Spraying upon Malaria Transmission in Areas where the main Vectors are Anopheles Arabiensis Mosquitoes.

Indoor residual insecticide spraying (IRS) and long-lasting insecticide treated nets (LLINs) are commonly used together even though evidence that such combinations confer greater protection against malaria than either method alone is inconsistent. A deterministic model of mosquito life cycle processes was adapted to allow parameterization with results from experimental hut trials of various combinations of untreated nets or LLINs (Olyset, PermaNet 2.0, Icon Life nets) with IRS (pirimiphos methyl, lambda cyhalothrin, DDT), in a setting where vector populations are dominated by Anopheles arabiensis, so that community level impact upon malaria transmission at high coverage could be predicted. Intact untreated nets alone provide equivalent personal protection to all three LLINs. Relative to IRS plus untreated nets, community level protection is slightly higher when Olyset or PermaNet 2.0 nets are added onto IRS with pirimiphos methyl or lambda cyhalothrin but not DDT, and when Icon Life nets supplement any of the IRS insecticides. Adding IRS onto any net modestly enhances communal protection when pirimiphos methyl is sprayed, while spraying lambda cyhalothrin enhances protection for untreated nets but not LLINs. Addition of DDT reduces communal protection when added to LLINs. Where transmission is mediated primarily by An. arabiensis, adding IRS to high LLIN coverage provides only modest incremental benefit (e.g. when an organophosphate like pirimiphos methyl is used), but can be redundant (e.g. when a pyrethroid like lambda cyhalothin is used) or even regressive (e.g. when DDT is used for the IRS). Relative to IRS plus untreated nets, supplementing IRS with LLINs will only modestly improve community protection. Beyond the physical protection that intact nets provide, additional protection against transmission by An. arabiensis conferred by insecticides will be remarkably small, regardless of whether they are delivered as LLINs or IRS. The insecticidal action of LLINs and IRS probably already approaches their absolute limit of potential impact upon this persistent vector so personal protection of nets should be enhanced by improving the physical integrity and durability. Combining LLINs and non-pyrethroid IRS in residual transmission systems may nevertheless be justified as a means to manage insecticide resistance and prevent potential rebound of not only An. arabiensis, but also more potent, vulnerable and historically important species such as Anopheles gambiae and Anopheles funestus

Ultraviolet emissions from the magnetic footprints of Io, Ganymede and Europa on Jupiter

Io leaves a magnetic footprint on Jupiter's upper atmosphere that appears as a spot of ultraviolet emission that remains fixed underneath Io as Jupiter rotates(1-3). The specific physical mechanisms responsible for generating those emissions are not well understood, but in general the spot seems to arise because of an electromagnetic interaction between Jupiter's magnetic field and the plasma surrounding Io, driving currents of around 1 million amperes down through Jupiter's ionosphere(4-6). The other galilean satellites may also leave footprints, and the presence or absence of such footprints should illuminate the underlying physical mechanism by revealing the strengths of the currents linking the satellites to Jupiter. Here we report persistent, faint, far-ultraviolet emission from the jovian footprints of Ganymede and Europa. We also show that Io's magnetic footprint extends well beyond the immediate vicinity of Io's flux-tube interaction with Jupiter, and much farther than predicted theoretically(4-6); the emission persists for several hours downstream. We infer from these data that Ganymede and Europa have persistent interactions with Jupiter's magnetic field despite their thin atmospheres.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/62861/1/415997a.pd

Models of Star-Planet Magnetic Interaction

Magnetic interactions between a planet and its environment are known to lead to phenomena such as aurorae and shocks in the solar system. The large number of close-in exoplanets that were discovered triggered a renewed interest in magnetic interactions in star-planet systems. Multiple other magnetic effects were then unveiled, such as planet inflation or heating, planet migration, planetary material escape, and even modification of the host star properties. We review here the recent efforts in modelling and understanding magnetic interactions between stars and planets in the context of compact systems. We first provide simple estimates of the effects of magnetic interactions and then detail analytical and numerical models for different representative scenarii. We finally lay out a series of future developments that are needed today to better understand and constrain these fascinating interactions.Comment: 23 pages, 10 figures, accepted as a chapter in the Handbook of Exoplanet

Subtidal macrozoobenthos communities from northern Chile during and post El Niño 1997–1998

Despite a large amount of climatic and oceanographic information dealing with the recurring climate phenomenon El Niño (EN) and its well known impact on diversity of marine benthic communities, most published data are rather descriptive and consequently our understanding of the underlying mechanisms and processes that drive community structure during EN are still very scarce. In this study, we address two questions on the effects of EN on macrozoobenthic communities: (1) how does EN affect species diversity of the communities in northern Chile? and (2) is EN a phenomenon that restarts community assembling processes by affecting species interactions in northern Chile? To answer these questions, we compared species diversity and co-occurrence patterns of soft-bottoms macrozoobenthos communities from the continental shelf off northern Chile during (March 1998) and after (September 1998) the strong EN event 1997–1998. The methods used varied from species diversity and species co-occurrence analyses to multivariate ordination methods. Our results indicate that EN positively affects diversity of macrozoobenthos communities in the study area, increasing the species richness and diversity and decreasing the species dominance. EN represents a strong disturbance that affects species interactions that rule the species assembling processes in shallow-water, sea-bottom environments

Mice expressing a human KATP channel mutation have altered channel ATP sensitivity but no cardiac abnormalities

AIMS/HYPOTHESIS: Patients with severe gain-of-function mutations in the Kir6.2 subunit of the ATP-sensitive potassium (K(ATP)) channel, have neonatal diabetes, muscle hypotonia and mental and motor developmental delay-a condition known as iDEND syndrome. However, despite the fact that Kir6.2 forms the pore of the cardiac K(ATP) channel, patients show no obvious cardiac symptoms. The aim of this project was to use a mouse model of iDEND syndrome to determine whether iDEND mutations affect cardiac function and cardiac K(ATP) channel ATP sensitivity. METHODS: We performed patch-clamp and in vivo cine-MRI studies on mice in which the most common iDEND mutation (Kir6.2-V59M) was targeted to cardiac muscle using Cre-lox technology (m-V59M mice). RESULTS: Patch-clamp studies of isolated cardiac myocytes revealed a markedly reduced K(ATP) channel sensitivity to MgATP inhibition in m-V59M mice (IC(50) 62 μmol/l compared with 13 μmol/l for littermate controls). In vivo cine-MRI revealed there were no gross morphological differences and no differences in heart rate, end diastolic volume, end systolic volume, stroke volume, ejection fraction, cardiac output or wall thickening between m-V59M and control hearts, either under resting conditions or under dobutamine stress. CONCLUSIONS/INTERPRETATION: The common iDEND mutation Kir6.2-V59M decreases ATP block of cardiac K(ATP) channels but was without obvious effect on heart function, suggesting that metabolic changes fail to open the mutated channel to an extent that affects function (at least in the absence of ischaemia). This may have implications for the choice of sulfonylurea used to treat neonatal diabetes

Effectiveness of the Austrian disease-management-programme for type 2 diabetes: study protocol of a cluster-randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Due to its rising prevalence type 2 diabetes plays an important role concerning population health in Austria and other western countries. In various studies deficiencies in the care of diabetic patients have been revealed. These deficiencies may be overcome by disease-management-programmes (DMPs), but international experience shows that the effectiveness of DMPs is inconsistent. In particular large programmes designed by state-affiliated public health insurances have not been evaluated in randomized controlled trials (RCTs). We are therefore conducting a large scale RCT of the Austrian DMP for type 2 diabetic patients in the province of Salzburg to evaluate the programme regarding its effects on metabolic control, guideline adherent care and the quality of life of diabetic patients.</p> <p>Methods/Design</p> <p>The study is open for participation to all GPs and internists in the province of Salzburg. Physicians are randomized before recruitment of patients with the districts of Salzburg as clusters of randomisation. A total of over 1200 patients with type 2 diabetes will then be recruited. In the intervention group the DMP is applied for one year. Controls receive usual care. Endpoints are a decrease in HbA1c in the intervention group > 0,5% compared to controls, a higher percentage of patients with required diagnostic measures according to guidelines, improved cardiovascular risk profile and higher quality of life scores within one year.</p> <p>Current status of the study</p> <p>98 Physicians agreed to participate in the study. 96 of them recruited 1494 patients, 654 in the intervention and 840 in the control group.</p> <p>Trail Registration</p> <p>This trial has been registered with Current Controlled Trials Ltd. (ISRCTN27414162).</p