4211 search results - page 346 / 843 » Types as Abstract Interpretations |
164
click to vote
SODA
2003
ACM
15 years 8 months ago
2003
ACM
d Abstract) N. Alon ∗ M. Capalbo † July 28, 2002 Using a new recursive technique, we present an explicit construction of an infinite family of N-superconcentrators of density...
183
click to vote
FIW
1997
15 years 8 months ago
1997
Abstract. At the second workshop on feature interactions, we proposed a statebased model for specifying features and proposed reachability-analysis algorithms for detecting various...
143
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: The dynamic behavior of monomeric Vpu1-32 from HIV-1 in different lipid environments has been studied. The peptide shows highly flexible behavior during the simulations a...
157
click to vote
JSC
2008
15 years 6 months ago
2008
Abstract. Flat theory with sequence variables and flexible arity symbols has infinitary matching and unification type. Decidability of general unification is shown and a unificatio...
125
click to vote
TNN
2008
15 years 6 months ago
2008
Abstract--Levy noise can help neurons detect faint or subthreshold signals. Levy noise extends standard Brownian noise to many types of impulsive jump-noise processes found in real...