We present an interactive exploration tool for 4D PC-MRI blood flow data that incorporates established rendering and filtering methods and combine them into one application. These methods include advanced line illumination, interactively adjustable spatial context visualization and blood flow analysis using line predicates.

In the S project, core calculi have been adopted as a linguistic means to model and analyze service oriented applications. The present chapter reports about the static analysis techniques developed for the S sessionoriented core calculi CaSPiS and CC. In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation ...

In many massively parallel data management platforms, programs are represented as small imperative pieces of code connected in a data flow. This popular abstraction makes it hard to apply algebraic reordering techniques employed by relational DBMSs and other systems that use an algebraic programming abstraction. We present a code analysis technique based on reverse data and control flow analysi...

As part of the demonstration of compliance with federal regulations, a shaft seal system has been designed for the Waste Isolation Pilot Plant. The system completely fills the 650-m shafts with components consisting of the common engineering materials, each of which possesses low permeability, longevity, and can be constructed using available technology. Design investigations couple rock mechan...

In this paper, I present a summary on some works that utilized static analysis techniques for understanding biological systems. Control flow analysis, context dependent analysis, and other techniques were employed to investigate the properties of BioAmbients. In this summary report, I tried to introduce the ideas and explain the techniques used in the subject papers. This summary will highlight...