The structured singular value ( ) synthesis technique is used to design controllers for the Active Mass Damper (AMD) Benchmark problem. In addition to stated performance objectives, robustness of the controllers to high frequency unmodeled dynamics (the neglected high frequency modes of the evaluation model), modeling error in the actuator dynamics and variations in the rst structural natural f...

We present HydraTE, our own implementation of the smoothed-particle hydrodynamics technique for shallow water that uses the adaptive size of the smoothing kernel as a proxy for the local water depth. We derive the equations of motion for this approach from the Lagrangian before demonstrating that we can model the depth of water in a trough, implement vertical walls, recover the correct accelera...

We propose MRU (Multi-Range Reasoning Units), a new fast compositional encoder for machine comprehension (MC). Our proposed MRU encoders are characterized by multi-ranged gating, executing a series of parameterized contractand-expand layers for learning gating vectors that benefit from long and short-term dependencies. The aims of our approach are as follows: (1) learning representations that a...

Workflow management systems are a cornerstone of mission-criticial, possibly cross-organizational business processes. For large-scale applications both their performance and availability are crucial factors, and the system needs to be properly configured to meet the application demands. Despite ample work on scalable system architectures for workflow management, the literature has neglected the...

This paper presents a graph-based dynamic verification algorithm for deadlock detection and avoidance specialised in barrier synchronisation. Barriers are used to coordinate the execution of groups of tasks, and serve as a building block of parallel computing. The synchronisation patterns enabled by current barrier-based abstractions can introduce deadlocks, a major issue in getting parallel ap...

INTRODUCTION The epidemic of obesity is a multifaceted public health issue. Positive policy and environmental changes are needed to support healthier eating and increased physical activity. METHODS StrongWomen Change Clubs (SWCCs) were developed through an academic-community research partnership between researchers at Cornell University and Tufts University and community partners (cooperative...

Multimedia content continues to grow rapidly. To ensure access to growing video collections, semantic indexing of images and videos has become a very important issue for data access, retrieval and actual application. For developing and evaluating semantic concepts searching annotation techniques, it is necessary to predefine a large lexicon, construction of a large benchmark data set, and annot...

Publicly available benchmark data and metric evaluation approaches have been instrumental in enabling research to advance state of the art methods for remote sensing applications in urban 3D modeling. Most publicly available benchmark datasets have consisted of high resolution airborne imagery and lidar suitable for 3D modeling on a relatively modest scale. To enable research in larger scale 3D...

Airborne laser scanning (ALS) has proven to be a strong basis for 3D building reconstruction. While ALS data allows for a highly automated processing workflow, a major drawback is often in the point spacing. As a consequence, the precision of roof plane and ridge line parameters is usually significantly better than the precision of gutter lines. To cope with this problem, the paper presents an ...

Benchmarks are valuable for comparing processor performance. However, porting and running processor benchmarks on new platforms can be di cult. Touchstone, a simple addition benchmark, is designed to overcome portability problems, while retaining performance measurement accuracy. In this paper, we present experimental results that show Touchstone correlates strongly with processor performance u...