Sciweavers

154 search results - page 17 / 31
» ets 2011
Sort
View
CCE
2011
14 years 4 months ago
Process intensification in duplex pressure swing adsorption
As an alternative to the pressure swing adsorption (PSA) based on the Skarstrom cycle or its variants, a novel two-bed PSA--called duplex PSA--has been proposed by Hirose and inde...
R. S. Thakur, Nitin Kaistha, D. P. Rao
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 4 months ago
Modeling the pairwise key distribution scheme in the presence of unreliable links
Abstract— We investigate the secure connectivity of wireless sensor networks under the pairwise key distribution scheme of Chan et al.. Unlike recent work which was carried out u...
Osman Yagan, Armand M. Makowski
CORR
2011
Springer
153views Education» more  CORR 2011»
14 years 4 months ago
Proof-Theoretic Soundness and Completeness
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
Robert Rothenberg
SIMULATION
2011
14 years 4 months ago
Note on 'Influences of Resource Limitations and Transmission Costs on Epidemic Simulations and Critical Thresholds in Scale-Free
In a recent paper entitled ‘Influences of Resource Limitations and Transmission Costs on Epidemic Simulations and Critical Thresholds in Scale-Free Networks’ by Huang et al., ...
James R. Wilson
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 4 months ago
Generating and Searching Families of FFT Algorithms
A fundamental question of longstanding theoretical interest is to prove the lowest exact count of real additions and multiplications required to compute a power-of-two discrete Fo...
Steve Haynal, Heidi Haynal