Sciweavers

3228 search results - page 290 / 646
» Basics of Compiler Design
Sort
View
CSL
2002
Springer
15 years 6 months ago
Classical Linear Logic of Implications
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...
Masahito Hasegawa
ETT
2000
67views Education» more  ETT 2000»
15 years 6 months ago
Randomized OFDM for Multi-Cell Environments
: 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 ...
Li Ping
ICCHP
2010
Springer
15 years 5 months ago
Accessing Google Docs via Screen Reader
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...
JAMIA
2010
70views more  JAMIA 2010»
15 years 1 months ago
The impact of computerized provider order entry on medication errors in a multispecialty group practice
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...
MOBIHOC
2005
ACM
16 years 6 months ago
TCP over multihop 802.11 networks: issues and performance enhancement
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...
Kitae Nahm, Ahmed Helmy, C. C. Jay Kuo