Sciweavers

2312 search results - page 273 / 463
» Invariance in Property Testing
Sort
View
JCNS
2006
64views more  JCNS 2006»
13 years 10 months ago
A neuronal network for the logic of Limax learning
We construct a neuronal network to model the logic of associative conditioning as revealed in experimental results using the terrestrial mollusk Limax maximus. We show, in particul...
Pranay Goel, Alan Gelperin
TIT
2008
107views more  TIT 2008»
13 years 10 months ago
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...
Igor Zinovik, Daniel Kroening, Yury Chebiryak
TSP
2008
96views more  TSP 2008»
13 years 10 months ago
An Improved Adaptive Sidelobe Blanker
We propose a two stage detector consisting of a Subspace Detector (SD) followed by the Whitened Adaptive Beamformer Orthogonal Rejection Test (W-ABORT). The performance analysis sh...
Francesco Bandiera, Olivier Besson, Danilo Orlando...
JSCIC
2007
377views more  JSCIC 2007»
13 years 10 months ago
A Note on Discontinuous Galerkin Divergence-free Solutions of the Navier-Stokes Equations
We present a class of discontinuous Galerkin methods for the incompressible Navier-Stokes equations yielding exactly divergence-free solutions. Exact incompressibility is achieved...
Bernardo Cockburn, Guido Kanschat, Dominik Sch&oum...
JOCN
2010
89views more  JOCN 2010»
13 years 9 months ago
A Single Brief Burst Induces GluR1-dependent Associative Short-term Potentiation: A Potential Mechanism for Short-term Memory
■ Recent work showed that short-term memory (STM) is selectively reduced in GluR1 knockout mice. This raises the possibility that a form of synaptic modification dependent on Gl...
Martha A. Erickson, Lauren A. Maramara, John Lisma...