This paper develops a theory for group Lasso using a concept called strong group sparsity. Our result shows that group Lasso is superior to standard Lasso for strongly group-sparse signals. This provides a convincing theoretical justi cation for using group sparse regularization when the underlying group structure is consistent with the data. Moreover, the theory predicts some limitations of th...

The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satis ability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time di erence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...

In today's eld of distributed software architectures there is a need for environments allowing the easy development of applications consisting of heterogeneous software modules and having various Quality of Service requirements (e.g., timeliness, availability or security). System customization using middleware-services is a promising solution to deal with the coexistence of multiple application...

BeneŽ ts sought by businesses that sponsor sports events are discussed and links made between these beneŽ ts and the stages of a potential customer’s product purchase decision-process. The wide variety of beneŽ ts are classiŽ ed into four main categories: increased awareness, enhanced image, product trial or sales opportunities, and hospitality opportunities. The risks associated with business ...