2153 search results - page 317 / 431 » From Requirements Models to Formal Specifications in B |
140
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Stable isotope tracing with ultra-high resolution Fourier transform-ion cyclotron resonance-mass spectrometry (FT-ICR-MS) can provide simultaneous determination of hun...
157
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Antibacterial peptides are important components of the innate immune system, used by the host to protect itself from different types of pathogenic bacteria. Over the l...
160
click to vote
BC
2004
15 years 6 months ago
2004
Abstract. The neural circuits of birdsong appear to utilize specific time delays in their operation. In particular, the anterior forebrain pathway (AFP) is implicated in an approxi...
159
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...
135
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
This paper analyzes the behavior of a selectorecombinative genetic algorithm (GA) with an ideal crossover on a class of random additively decomposable problems (rADPs). Specifical...