Search Results

We report on the demonstration of high-performance tunnel junction deep ultraviolet (UV) light-emitting diodes (LEDs) by using plasma- assisted molecular beam epitaxy. The device heterostructure was grown under slightly ...

In this paper, we conduct a preliminary comparative study of the classification of longitudinal driving behavior using Signal Temporal Logic (STL) formulas. The goal of the classification problem is to distinguish between ...

Systems often face constraints at multiple levels. For example, in coordinating a collection of thermostatically controlled loads to provide grid services, the controller must ensure temperature constraints for each load ...

In this paper, we present a compositional condition for ensuring safety of a collection of interacting systems modeled by inter-triggering hybrid automata (ITHA). ITHA is a modeling formalism for representing multi-agent ...

Both legged locomotion and slithering motions typically utilize periodic gaits – repeating cycles of body shape change that produce a net motion through the world. Legged locomotion can be viewed from the perspective of ...

Thanks to their sprawled posture and multi-legged support, stability is not as hard to achieve for hexapedal robots as it is for bipeds and quadrupeds. A key engineering challenge with hexapods has been to produce insect-like ...

Anomaly detection is important in many research areas including fraud detection and biological change detection. However, anomaly detection is a difficult task due to the lack of anomalies available for training. In this ...

In the machine learning problem of multi-label classification, the objective is to determine for each test instance which classes the instance belongs to. In this work, we consider multi-label classification in the context ...