780 search results - page 97 / 156 » Compositional Quantitative Reasoning |
82
Voted
WSC
2000
15 years 2 months ago
2000
We propose "low cost response surface methods" (LCRSM) that typically require half the experimental runs of standard response surface methods based on central composite ...
BIB
2008
15 years 24 days ago
2008
The availability of hundreds of complete bacterial genomes has created new challenges and simultaneously opportunities for bioinformatics. In the area of statistical analysis of g...
98
Voted
CORR
2006
Springer
15 years 21 days ago
2006
Springer
The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of...
97
Voted
ENTCS
2007
15 years 19 days ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
105
Voted
ENTCS
2007
15 years 19 days ago
2007
Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing chore...