Kv channels, the voltage-gated potassium channels, are encoded by KCN gene family. Kv channels are important in maintaining the resting membrane potential and spiking threshold, deciding the firing frequency and nerve hyperexcitability, and inducing after hyperpolarization after burst firing. In this family, Kv7 is a special one for it is activated at subthreshold potentials. Because of its spe...

This work considers the common problem of completing partially visible artifacts within a 3D scene. Human vision abilities to complete such artifacts are well studied within the realms of perceptual psychology. However, the psychological explanations for completion have received only limited application in the domain of 3D computer vision. Here, we examine prior work in this area of computer vi...

A numerical solution to shape-from-shading under natural illumination is presented. It builds upon a generic PDE-based formulation which handles directional or spherical harmonics lighting, orthographic or perspective projection, and greylevel or multi-channel images. An augmented Lagrangian solver is proposed, which separates the global, nonlinear optimization problem into a sequence of simple...

Fifteen years ago, the generation of new neurons in adulthood was documented in the human hippocampus, but lingering questions have remained about the extent of this process. In this issue of Cell, Spalding et al. provide elegant evidence for continued neurogenesis into adulthood at rates that suggest it may play a significant role in human behavior.

Based on a new data structure called PATCH Graph, an eecient completion procedure for nitely presented groups is described. A PATCH Graph represents rules and their symmetrized forms as cycles in a Cayley graph structure. Completion is easily performed directly on the graph, and structure sharing is enforced. The structure of the graph allows us to avoid certain redundant inferences. The PATCH ...

This paper describes a tool for Knuth-Bendix completion. In its interactive mode the user only has to select the orientation of equations into rewrite rules; all other computations (including necessary termination checks) are performed internally. Apart from the interactive mode, the tool also provides a fully automatic mode. Moreover, the generation of (dis)proofs in equational logic is suppor...

A new general method for designing asynchronous datapath components, called speculative completion, is introduced. The method has many of the advantages of a bundled data approach, such as the use of single-rail synchronous datapaths, but it also allows early completion. As a case study, the method is applied to the high-performance parallel BLC adder design of Brent and Kung. Through careful g...

Automatically constructing taxonomy finds many applications in e-commerce and web search. One critical challenge is as data business scope grow real applications, new concepts are emerging needed to be added the existing taxonomy. Previous approaches focus on expansion, i.e. finding an appropriate hypernym concept from for a query concept. In this paper, we formulate task, “taxonomy completion”...