Obtaining a high quality high dynamic range (HDR) image in the presence of camera and object movement has been a long-standing challenge. Many methods, known as HDR deghosting algorithms, have been developed over the past ten years to undertake this challenge. Each of these algorithms approaches the deghosting problem from a different perspective, providing solutions with different degrees of c...

A master element to be employed as a general spatial rod finite element is presented. This spatially curved and pretwisted element can have variable cross-section and variable curvature change. It may also be resting on an elastic foundation. Also, a finite element formulation for a general earthquake analysis of spatial rods is presented. The theoretical foundation has lead to a general-purpos...

This paper introduces a general, set-theoretic model for expressing dynamic integrity constraints, i.e., integrity constraints on the state changes that are allowed in a given state space. In a managerial context, such dynamic integrity constraints can be seen as representations of ``real world'' constraints and business rules. This topic has important practical applications in many business ar...

We analyse a single sector economy with H > 1 infinitely-lived agents that operate in a continuous-time framework. Utility functions are recursive but not additive. Both efficient and perfect foresight competitive equilibrium allocations are considered. The existence and stability of such allocations are investigated locally, i.e., in a neighbourhood of steady-state allocations. The model is sh...

Our analysis of macroeconomic fluctuations in the previous two chapters has developed two very incomplete pieces. In Chapter 5, we considered a full intertemporal macroeconomic model built from microeconomic foundations with explicit assumptions about the behavior of the underlying shocks. The model generated quantitative predictions about fluctuations, and is therefore an example of a quantita...

Compensation is a technique to roll-back a system to a consistent state in case of failure. Recovery mechanisms for compensating calculi specify the order of execution of compensation sequences. Dynamic recovery means that the order of execution is determined at runtime. In this paper, we define an extension of Compensating CSP, called DEcCSP, with general dynamic recovery. We provide a formal,...

This paper studies a capacity management problem with upgrading. A firm needs to procure multiple classes of capacities and then allocate the capacities to satisfy multiple classes of customers that arrive over time. A general upgrading rule is considered, i.e., unmet demand can be satisfied using multistep upgrade. No replenishment is allowed and the firm has to make the allocation decisions w...

This paper examines the two-fund separation paradigm in the context of an infinite-horizon general equilibrium model with dynamically complete markets and heterogeneous consumers with timeand state-separable utility functions. With the exception of the dynamic structure, we maintain the assumptions of the classical static models that exhibit two-fund separation with a riskless security. Agents ...