1154 search results - page 180 / 231 » Mathematizing C concurrency |
117
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The study of common, complex multifactorial diseases in genetic epidemiology is complicated by nonlinearity in the genotype-to-phenotype mapping relationship that is due, in part,...
115
Voted
ADCM
2010
15 years 21 days ago
2010
Let Rd be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on . Here we study extremal propert...
87
Voted
AROBOTS
2007
15 years 21 days ago
2007
The process of protein crystallization is explained using the theory of robotics, particularly path planning of mobile robots. Path planning is a procedure which specifies motion ...
83
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
141
Voted
DB
2008
15 years 20 days ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...