Sciweavers

4894 search results - page 417 / 979
» Choices
Sort
View
PROCEDIA
2010
84views more  PROCEDIA 2010»
15 years 6 months ago
Individual-based simulation of sexual selection: A quantitative genetic approach
Sexual selection has been mathematically modeled using quantitative genetics as well as population genetics. Two-locus simulation models have been used to study the evolution of m...
D. van Dijk, Peter M. A. Sloot, J. C. Tay, M. C. S...
PSYCHNOLOGY
2010
82views more  PSYCHNOLOGY 2010»
15 years 6 months ago
Advancing a Model of Avatar Evaluation and Selection
Viewers (N = 261) evaluated and chose avatars to represent them online. The viewers rated 92 potential avatars that were manipulated along three dimensions – sex, humanness, and...
Mark A. Hamilton, Kristine L. Nowak
PTS
2010
147views Hardware» more  PTS 2010»
15 years 6 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
RSA
2010
104views more  RSA 2010»
15 years 6 months ago
Random graphs with forbidden vertex degrees
We study the random graph Gn,λ/n conditioned on the event that all vertex degrees lie in some given subset S of the nonnegative integers. Subject to a certain hypothesis on S, the...
Geoffrey R. Grimmett, Svante Janson
SIAMSC
2010
95views more  SIAMSC 2010»
15 years 6 months ago
Interpreting IDR as a Petrov--Galerkin Method
The IDR method of Sonneveld and van Gijzen [SIAM J. Sci. Comput., 31:1035–1062, 2008] is shown to be a Petrov-Galerkin (projection) method with a particular choice of left Krylov...
Valeria Simoncini, Daniel B. Szyld