Sciweavers

1620 search results - page 141 / 324
» Testing Polymorphic Properties
Sort
View
TIT
2008
107views more  TIT 2008»
15 years 5 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»
15 years 5 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»
15 years 5 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...
127
Voted
JOCN
2010
89views more  JOCN 2010»
15 years 3 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...
COLING
2010
15 years 3 days ago
Argument Optionality in the LinGO Grammar Matrix
We present a library of implemented HPSG analyses for argument optionality based on typological studies of this phenomenon in the world's languages, developed in the context ...
Safiyyah Saleem, Emily M. Bender