We demonstrate our mouse MR image and shape analysis pipeline. The long term goal of our work is the description of structural shape variations in normal, genetically identical mic...
Ghassan Hamarneh, Josette Chen, Brian Neiman, Jeff...
This paper will describe the architecture of a compiler which will convert an untimed C description of a set of floating point expressions into a synthesizable datapath optimized ...
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
Sequence data are abundant in application areas such as computational biology, environmental sciences, and telecommunications. Many real-life sequences have a strong segmental str...