Different ad hoc threshold functions associated with the autoconversion process have been arbitrarily used in atmospheric models. However, it is unclear how these ad hoc functions impact model results. Here systematic investigations of the sensitivities of climatically-important properties: CF (cloud fraction), LWP (liquid water path), and AIE (aerosol indirect effect) to threshold functions ha...

The Si lightweight-process based system for simulating process interactions is an enhancement to the C programming languge in the form of library primitives with sets of predefined data structures. The Si system encapsulates an existing lightweight-process library to provide a discreteevent simulation environment supporting the process view. It was developed as a research testbed for investigat...

Data-parallelism is a widely used model for parallel programming. Control structures like parallel DO loops, and data structures like collections have been used to express data-parallelism. In typical implementations, these constructs are ' at' in the sense that only one data-parallel operation is active at any time. To model applications that can exploit overlap of synchronization and computat...

We have extensively analysed the interdependence between cloud optical depth, droplet effective radius, liquid water path (LWP) and geometric thickness for stratiform warm clouds using ground-based observations. In particular, this analysis uses cloud optical depths retrieved from untapped solar background signals that are previously unwanted and need to be removed in most lidar applications. C...

[1] Aerosol-cloud relationships are derived from 14 warm continental cumuli cases sampled during the 2006 Gulf of Mexico Atmospheric Composition and Climate Study (GoMACCS) by the Center for Interdisciplinary Remotely-Piloted Aircraft Studies (CIRPAS) Twin Otter aircraft. Cloud droplet number concentration is clearly proportional to the subcloud accumulation mode aerosol number concentration. A...

Program conditioning consists of identifying and removing a set of statements which cannot be executed when a condition of interest holds at some point in a program. It has been applied to problems in maintenance, testing, re–use and re–engineering. Program conditioning relies upon both symbolic execution and reasoning about symbolic predicates. Automation of the process therefore requires some...

Emerging mobile social apps use short-range radios to discover nearby devices and users. The device discovery protocol used by these apps must be highly energy-efficient since it runs frequently in the background. Also, a good protocol must enable secure communication (both during and after a period of device co-location), preserve user privacy (users must not be tracked by unauthorized third p...