In this paper we present an extension of Moreau’s sweeping process for higher order systems. The dynamical framework is carefully introduced, qualitative, dissipativity, stability, existence, regularity and uniqueness results are given. The time-discretization of these nonsmooth systems with a timestepping algorithm is also presented. This differential inclusion can be seen as a mathematical fo...

In this paper, we will explore some of the basic elements of the mathematical formulation of quantum mechanics. In the first section, I will list the motivations for introducing a probability model that is quite different from that of the classical probability theory, but still shares quite a few significant commonalities. Later in the paper, I will discuss the quantum probability theory in det...

The so-called activity-based approach to analysis of human interaction with the social and physical environments dates back to the original time–space geography works of Hägerstrand and his colleagues at the Lund School. Despite their obvious theoretical attractiveness, activity-based approaches to understanding and predicting travel behavior have suffered from the absence of an analytical fram...

The general problem of calculating policies in decentralized POMDPs is known to be NEXP-complete. One way of dealing with this prohibitive complexity is identifying a subclass of the general problem that is more tractable to solve, but still of practical interest. One such sub-class consists of problems exhibiting structured transition and reward interactions among agents, and is modeled using ...

Realistic chemical processes are often operated in the presence of complex and uncertain dynamics. While an ill designed system may become inoperable due to variations in some process parameters at certain instances, the cumulative effects of temporary disturbances in finite time intervals can also result in serious consequences. The latter issue is studied in the present study on the basis of ...

A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clinically-related malignant structures from medical images. A probabilistic interpretation is described to justify our formulations. The proposed formulation is optimized through an effective alternating optimization algo...

A mathematical model for the loop pipelining problem is presented. The model considers several parameters for optimization and supports any combination of resource and timing constraints. The unrolling degree of the loop is one of the variables explored by the model. By using Farey’s series, an optimal exploration of the unrolling degree is performed and optimal solutions not considered by othe...