Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...
: This paper is concerned with a randomized OFDM (R-OFDM) scheme. The basic principle is to apply a scrambling operation to several OFDM frames. With a proper design strategy, the ...
Groupware systems allow remote collaboration via computer in a simple, economic and efficient way. However, to be universally valuable, groupware systems must be accessible and usa...
Maria Claudia Buzzi, Marina Buzzi, Barbara Leporin...
Objective Computerized provider order entry (CPOE) has been shown to improve patient safety by reducing medication errors and subsequent adverse drug events (ADEs). Studies demons...
Emily Beth Devine, Ryan N. Hansen, Jennifer L. Wil...
Analyzing TCP operation over 802.11 multihop ad hoc networks involves a cross-layer study. In this work, we investigate the effect of congestion and MAC contention on the interact...