2087 search results - page 203 / 418 » Computation of class numbers of quadratic number fields |
175
click to vote
MCSS
2002
Springer
15 years 6 months ago
2002
Springer
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of...
220
click to vote
AROBOTS
2011
15 years 1 months ago
2011
— We present an integral feedback controller that regulates the average copy number of a particular assembly in a system of stochastically interacting robots. The mathematical mo...
171
click to vote
LCN
2006
IEEE
16 years 16 days ago
2006
IEEE
The throughput performance of the Distributed Coordination Function (DCF) of the IEEE 802.11 MAC protocol quickly degrades as the number of contending stations increases. To solve...
146
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation...
158
click to vote
FM
1994
Springer
15 years 10 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...