Compiler optimizations need precise and scalable analyses to discover program properties. We propose a partially flow-sensitive framework that tries to draw on the scalability of flow-insensitive algorithms while providing more precision at some specific program points. Provided with a set of critical nodes — basic blocks at which more precise information is desired — our partially flow-sensiti...

Dye advection is widely used in experimental flow analysis but has seen less use for visualization in computational fluid dynamics. One possible reason for this disconnect is the inaccuracy of the texture-based approach, which is prone to artifacts caused by numeric diffusion and mass fluctuation. In this paper, we introduce a novel 2D dye advection scheme for flow visualization based on the co...

Action calculi have been deened as a broad class of action structures with added structure; they are syntactic in nature. Each action calculus AC(K) is determined essentially by a set K of controls. Diierent concrete models of concurrent computation such as Petri nets, the typed-calculus and the-calculus, are obtained by diierent choices of control set K. The aim of this work is to deene a clas...

A novel approach that allows control of flow in microfluidic channels with unsurpassed performance using light is described. Valve structures have been created using photoresponsive hydrogels based on spiropyran-functionalised pNIPAAm hydrogels photopolymerised around pillar structures within the channels. Valve actuation is controlled from outside the fluidic system using externally located LE...

tellurium nanostructures have been prepared by physical vapor deposition method in a tube furnace. the experiments were carried out under argon gas flow at a pressure of 1 mbar. tellurium powder was evaporated by heating at 350°c and 430°c and was condensed on substrates at 110–250°c, in the downstream of argon gas flow. the products were characterized by field emission scanning electron micros...

This study evaluated the effect of bilateral carotid chemodenervation on the cerebrovascular response to hypoxia in conscious rats. Cerebral blood flow was measured using 4-iodo[N-methyl-14C]antipyrine, and the total and perfused microvasculature was studied by injection of fluorescein isothiocyanate dextran and alkaline phosphatase staining. To maintain constant PCO2, hypoxia was achieved in c...

One of the most common and costly problems that organizations are facing is to find the causes of failures in business processes. Failures are often due to missing or unnecessary execution of some process activities; or with how some activities are performed. Currently, there is no automatic technique that helps finding these causes. We propose a novel technique to identify potential causes of ...