Microchannel liquid cooling is a promising technique to handling the high temperature problem of threedimensional (3D) processors. There have been a few works which made initial attempts to optimize liquid cooling by utilizing non-uniformly distributed channels, variable flow rate, wider channels, and Dynamic Voltage and Frequency Scaling (DVFS) combined with thread migration mechanisms. Althou...

A set T ⊂ R at which interpolation from Π≤n(R ) (polynomials of degree ≤ n) is uniquely possible is a GCn-set if the associated Lagrange fundamental polynomials have only linear factors. For such GCn-sets T in the plane, Gasca and Maeztu conjectured the existence of a line containing n + 1 points from T. It is shown here that, already in R, there exist GC2-sets T without any hyperplanes contain...

Functional verification has become a major challenge in the chip design area. To improve the efficiency of verification, it is necessary to choose appropriate verification method and tools. An important aspect of functional verification is RTL verification, simulation-based verification is main method in RTL verification. Based on FT-8 multicore processor, we developed a configurable test stimu...

With the recent breakthrough in genetically expressed voltage indicators (GEVIs), there has been a tremendous demand to determine the capabilities of these sensors in vivo. Novel voltage sensitive fluorescent proteins allow for direct measurement of neuron membrane potential changes through changes in fluorescence. Here, we utilized ArcLight, a recently developed GEVI, and examined the function...

The vast majority of medical computer-based training (CBT) systems aim at problem-oriented case based training. A crucial issue in the design of CBT systems is the selection of appropriate cases for a representative collection of medical cases. Another issue is the presentation of those case collections to the users. Training systems often provide a simple numbered list (e.g. Case 1, Case 2, .....

An optical technique for measuring the core radius of high-Δ optical fibers is described. Variations in the core radius of step-index fibers can be measured down to a scale of 1 nm.

Background: Femoral head avascular necrosis is the cause of paralyzing status of youth population. Initial diagnosisis the main element in treating the disease. Bone grafting and core decompression are the approved cures at the earlysteps of the disease. Hip replacement in a total manner is the common cure in the final stages. The optimal treatment inthe intermediate stages is...

Gas content of coals is typically measured using the Direct Method Analysis (DMA) on freshly cut cores. The problem with the DMA technique is that overall results can be greatly influenced by artefacts of the test apparatus and procedures used by core sample type, sample collection methodology, and analysis conditions. Even if all these factors are precisely controlled, the accuracy of in situ ...

  The distribution and localization of acid and neutral mucins in various cells lining the olfactory epithelium of Cyprinus carpio have been studied histochemically by employing the PAS-AB technique. Variations in the localization of protein in different cells lining the olfactory epithelium have been correlated with the functional significance of the region concerned. Intense localization of t...