There exist various service systems that have hierarchical structure. In hierarchical service networks, facilities at different levels provide different types of services. For example, in health care systems, general centers provide low-level services such as primary health care services, while the specialized hospitals provide high-level services. Because of demand congestion in service networ...

We study linear time model checking of collapsible higher-order pushdown systems (CPDS) of order 2 (manipulating stack of stacks) against MSO and PDL (propositional dynamic logic with converse and loop) enhanced with push/pop matching relations. To capture these linear time behaviours with matchings, we propose order-2 nested words. These graphs consist of a word structure augmented with two bi...

and {ωk}k=1 ∈ C is a sequence of n distinct shifts. For example, shifted linear systems arise in model order reduction as well as in the geophysical exploration of both acoustic and elastic waves. In our application, we focus on wave propagation through elastic media in a frequency-domain formulation. This formulation has specific advantages when modeling visco-elastic effects. In order to impr...

•Many architectures share the fundamental design principle of constructing a deeply nested mapping from inputs to outputs. •Learning these architectures is challenging because nesting (i.e., function composition) produces inherently nonconvex functions. •Backprop suffers from vanishing gradients and is hard to parallelize, is only applicable if the mappings are differentiable with respect to th...

Vector perturbation is an encoding method for broadcast channels in which the transmitter solves a shortest vector problem in a lattice to create a perturbation vector, which is then added to the data before transmission. In this work, we introduce nested lattice codes into vector perturbation systems, resulting in a strategy which we deem matrix perturbation. We propose design criteria for the...

MOTIVATION Model selection is a fundamental part of the scientific process in systems biology. Given a set of competing hypotheses, we routinely wish to choose the one that best explains the observed data. In the Bayesian framework, models are compared via Bayes factors (the ratio of evidences), where a model's evidence is the support given to the model by the data. A parallel interest is infer...

We study schema integration problems for consolidating historical information from nested relational databases in heterogeneous databases environment. These nested relations are for supporting complex objects. In heterogeneous databases systems, probabilistic partial values have been used to resolve some schema integration problems. In this paper, we extend the concept of probabilistic partial ...