This paper investigates how expansion and compression of the surface of a drop containing an organic compound, 1-octanol, affect surface tension. The experiments were performed in...
The purpose of this paper is to describe (a) why simulation is necessary to evaluate check-in, (b) a simulation toolbox for check-in counters and (c) Two case studies for Amsterda...
Size-based scheduling policies such as SRPT have been studied since 1960s and have been applied in various arenas including packet networks and web server scheduling. SRPT has bee...
Background: Choosing the appropriate sample size is an important step in the design of a microarray experiment, and recently methods have been proposed that estimate sample sizes ...
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
Himanshu Jain, Daniel Kroening, Natasha Sharygina,...