6274 search results - page 939 / 1255 » Proofs, Programs, Processes |
117
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Alternative splicing (AS) is now considered as a major actor in transcriptome/ proteome diversity and it cannot be neglected in the annotation process of a new genome....
124
click to vote
JDS
2007
15 years 3 months ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
120
click to vote
TSP
2008
15 years 3 months ago
2008
The problem of opportunistic access of parallel channels occupied by primary users is considered. Under a continuous-time Markov chain modeling of the channel occupancy by the prim...
102
click to vote
LISP
2007
15 years 3 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
131
click to vote
CCE
2004
15 years 3 months ago
2004
We consider the dynamic optimization of chemical processes with changes in the number of equilibrium phases. Recent work has shown that transitions in the number of phases can be ...