9425 search results - page 1870 / 1885 » Some Notes on Models and Modelling |
SAT
2010
Springer
13 years 5 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
SIAMAM
2010
13 years 5 months ago
2010
We investigate a nonlocal reaction-diffusion-advection equation which models the growth of a single phytoplankton species in a water column where the species depends solely on lig...
SIAMCOMP
2010
13 years 5 months ago
2010
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity o...
SIAMCOMP
2010
13 years 5 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
TCOM
2010
13 years 5 months ago
2010
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...