2904 search results - page 417 / 581 » Number Forms in the Brain |
175
click to vote
ENGL
2007
15 years 6 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
169
click to vote
ENGL
2007
15 years 6 months ago
2007
This research introduces a general class of functions serving as generalized neuron models to be used in artificial neural networks. They are cast in the common framework of comp...
170
click to vote
JPDC
2006
15 years 6 months ago
2006
The paper presents Heterogeneous MPI (HeteroMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the applicati...
162
click to vote
NAR
2008
15 years 6 months ago
2008
The CGView Server generates graphical maps of circular genomes that show sequence features, base composition plots, analysis results and sequence similarity plots. Sequences can b...
185
click to vote
PR
2008
15 years 6 months ago
2008
In this paper, we extend the conventional vector quantization by incorporating a vigilance parameter, which steers the tradeoff between plasticity and stability during incremental...