In this paper, we describe the use of three different shape measures -- i.e., shape index, curvedness, and L2 norm of mean curvature -- to quantify cortical gyrification and compl...
Duygu Tosun, Allan L. Reiss, Agatha D. Lee, Rebecc...
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Program analysis and automated test generation have primarily been used to find correctness bugs. We present complexity testing, a novel automated test generation technique to ...
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...