Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
∗ This paper introduces low-tech simulation as a technique for testing procedures and their documentation. The key idea is to test the interface-procedure-documentation set in th...
Abstract. This paper presents a novel approach for extracting personal data and automatically generating Personal Data Reports (PDRs) from relational databases. Such PDRs can be us...
Microtubules play numerous critical roles in a cell such as providing structural tracks for the anchoring and movement of vesicles and chromosomes. Also, the assembly of microtubu...
Stathis Hadjidemetriou, Derek Toomre, James S. Dun...
The temporal resolution of dynamic MRI can be increased by sampling a fraction of k-space in an interleaved fashion, which causes spatial and temporal aliasing. We describe algebr...