Plant growth regulators (PGRs) are exogenously applied chemicals that alter plant metabolism, cell division, cell enlargement, growth and development by regulating plant hormones or other biological signals. For example, some PGRs regulate stem elongation by inhibiting biosynthesis of gibberellins or through releasing ethylene. PGR effects are widely studied and reported on barley (Hordeum vulg...

Non-blocking concurrent algorithms offer significant performance advantages, but are very difficult to construct and verify. In this paper, we describe our experience in using SPIN to check linearizability of non-blocking concurrent data-structure algorithms that manipulate dynamically allocated memory. In particular, this is the first work that describes a method for checking linearizability w...

Non-photorealistic rendering techniques work on image features and often manipulate a set of characteristics such as edges and texture to achieve a desired depiction of the scene. Most computational photography methods decompose an image using edge preserving filters and work on the resulting base and detail layers independently to achieve desired visual effects. We propose a new approach for c...