677 search results - page 132 / 136 » Dependent Types from Counterexamples |
COR
2010
13 years 8 months ago
2010
Activity rules have emerged in recent years as an important aspect of practical auction design. The role of an activity rule in an iterative auction is to suppress strategic behav...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Over the last few years, more and more heuristic decision making techniques have been inspired by nature, e.g. evolutionary algorithms, ant colony optimisation and simulated annea...
AMC
2006
13 years 8 months ago
2006
Earlier work by Saha et al. rigorously derived a general probabilistic model for the PCR process that includes as a special case the Velikanov-Kapral model where all nucleotide re...
BMCBI
2006
2006
On single and multiple models of protein families for the detection of remote sequence relationships
13 years 8 months ago
Background: The detection of relationships between a protein sequence of unknown function and a sequence whose function has been characterised enables the transfer of functional a...
BMCBI
2006
13 years 8 months ago
2006
Background: The characterization of the relationship between a longitudinal response process and a time-to-event has been a pressing challenge in biostatistical research. This has...