Empirical factor demand analysis typically involves making a choice from among several competing non-nested functional forms. Each of the commonly used factor demand systems, such as Translog, Generalized Leontief, Quadratic, and Generalized McFadden, can provide a valid and useful empirical description of the underlying production structure of the firm. As there is no theoretical guidance on s...

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...

Let R be an o-minimal expansion of the real field, and let P(R) be its Pfaffian closure. Let L be the language consisting of all Rolle leaves added to R to obtain P(R). We prove that P(R) is model complete in the language L, provided that R admits analytic cell decomposition. We do this by proving a somewhat stronger statement, the theorem of the complement for nested sub-Pfaffian sets over R. ...

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...

(Preface page 4 L. -13) Yorke (1990) should be Nusse and Yorke (1990). p. 4 (L. -2) Subsections 8.3.1 – 4 p. 10 (L. -3) “could be combined with the section in Chapter VIII).” p. 17 (L. 2) {(x, f(x)} should read {(x, f(x))}. p. 24 (L. -12) should be “compact nested nonempty sets.” p. 24 (L. -4) should be “ . . . is closed and positively invariant . . . ” p. 27 (L. 3) “A non-empty set S . . . ” p...