The airflow in the modeled glottal constriction was simulated by the solutions of the Navier-Stokes equations for laminar flow, and the corresponding Reynolds equations for turbulent flow in generalized, nonorthogonal coordinates using a numerical method. A two-dimensional model of laryngeal flow is considered and aerodynamic properties are calculated for both laminar and turbulent steady flows...

SNX1 chooses its home via two membrane-binding domains. One targeting domain is the PX domain, which is known to bind to the endosomal phosphoinositide, PI3P. The second is a BAR domain, which was shown to target a fly protein to highly curved membranes and tubulate them. Cullen’s group shows that these domains combine to put mammalian SNX1 on the tubular portion of early endosomes (which also ...

Fruit is a new user interface toolkit based on a formal model of user interfaces. This formal basis enables us to write simple, concise executable specifications of interactive applications. This paper presents the Fruit model and several example specifications. We consider one example (a basic media controller) in detail, and contrast the executable specification style of Fruit with a more tra...

ly speaking, what have we done in the previous section? After applying a number of rules in polynomial time to an instance of VERTEX COVER, we arrived at a reduced instance whose size can solely be expressed in terms of the parameter k. Since this can be easily done in O(n) time, we have found a data reduction for VERTEX COVER with guarantees concerning its running time as well as its effective...