11328 search results - page 53 / 2266 » Timed Branching Processes |
TWC
2008
15 years 1 months ago
2008
We introduce an adaptive generalized selection combining (A-GSC) receiver that can be efficiently applied in diversity rich fading environments such as in ultra-wideband applicatio...
BMCBI
2007
15 years 2 months ago
2007
Background: Quantifying cell division and death is central to many studies in the biological sciences. The fluorescent dye CFSE allows the tracking of cell division in vitro and i...
117
click to vote
SFM
2004
Springer
15 years 7 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
109
click to vote
VLSID
2003
IEEE
16 years 2 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
112
click to vote
CCIA
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we explain an estimation function for the crew scheduling problem in the coach transportation domain. Thanks to this function we obtain an estimation that is very clo...