1902 search results - page 43 / 381 » Differential Dynamic Logics |
BMCBI
2006
13 years 7 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
LOGCOM
2007
13 years 7 months ago
2007
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
ISPASS
2009
IEEE
14 years 2 months ago
2009
IEEE
In temperature-aware design, the presence or absence of a heatsink fundamentally changes the thermal behavior with important design implications. In recent years, chip-level infra...
SECON
2008
IEEE
14 years 2 months ago
2008
IEEE
Congestion control in wireless multi-hop networks is challenging because of two reasons. First, broadcast is an inherent feature of wireless networks and motivates many creative p...
ICNP
2000
IEEE
14 years 2 days ago
2000
IEEE
The majority of the traffic (bytes) flowing over the Internet today have been attributed to the Transmission Control Protocol (TCP). This strong presence of TCP has recently spu...