We consider a discrete-time two-sector Cobb-Douglas economy with positive sector specific external effects and partial depreciation of capital. We show that local indeterminacy of steady states and cycles can easily arise with constant social returns to scale, and very small market imperfections. However these properties of equilibrium paths become less likely in the case of partial depreciatio...

A fundamental problem of object tracking is to adapt to unseen views of the object while not getting distracted by other objects. We introduce Dynamic Objectness in a discriminative tracking framework to sporadically re-discover the tracked object based on motion. In doing so, drifting is effectively limited since tracking becomes more aware of objects as independently moving entities in the sc...

We address in this paper the problem of coordinating resource-bounded agents under time constraints in a dynamic environment. The agent society we deal with consists of coordinated agents each of which has a goal to achieve before a deadline and new agents can asynchronously appear to achieve time-constrained goals and to coordinate their plans with the already coordinated agent society. Agents...

We present a technique which allows partial-order causallink (POCL) planning systems to use heuristics known from state-based planning to guide their search. The technique encodes a given partially ordered partial plan as a new classical planning problem that yields the same set of solutions reachable from the given partial plan. As heuristic estimate of the given partial plan a state-based heu...

In this paper we extend Kalman's concept of partial realization and deene generalized partial realizations of nite matrix sequences by descriptor systems. Our deenition is in agreement with the realization theory for deterministic boundary value descriptor systems 15]. The aim of this contribution is to prove a counterpart of Kalman's main theorem of realization theory for generalized partial r...

For pairs of density operators on finite dimensional Hilbert spaces we define partial fidelities, prove their concavity and other properties. Partial fidelities characterize equivalence classes which are partially ordered in a natural way.

This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA devices. This paper has three main goals. The first one is to present the trend of DRS, highlighting the problems and solutions of each DRS generation. The second goal is to present in detail the configuration architecture of a commercial FPGA family allowing DRS implementation. The last goal is...

We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search space. First, there are wellinvestigated trace-based methods, collectively known as “Partial Order Reduction (POR)”, which operate by weakening the concept of a trace by abstracting the total order of its transitions ...

Motivated by a 40-year-old problem due to Peter Cameron on extending partial parallelisms, we provide necessary and sufficient conditions under which one can extend an r-factorization of a complete 3-uniform hypergraph on m vertices, K3 m, to an s-factorization of K3 n. This generalizes an existing result of Baranyai and Brouwer–where they proved it for the case r = s = 1.

As adaptive tutoring systems grow increasingly popular for the completion of classwork and homework, it is crucial to assess the manner in which students are scored within these platforms. The majority of systems, including ASSISTments, return the binary correctness of a student’s first attempt at solving each problem. Yet for many teachers, partial credit is a valuable practice when common wro...