This thesis focuses on the use of cutting-plane techniques to improve general-purpose mixed-integer linear programming solvers. The first topic covered here is a fast separation method for two-row cuts. Two-row cuts are intersection cuts from two rows of a simplex tableau describing the LP relaxation of the problem. These types of cuts recently garnered a lot of attention from the scientific co...

This paper describes the development of a simulator for multiple Unmanned Aerial Vehicles (UAVs) utilizing the commercially available simulator XPlane and Matlab. Coordinated control of unmanned systems is currently being researched for a wide range of applications, including search and rescue, convoy protection, and building clearing to name a few. Although coordination and control of Unmanned...

The Plane Subgraph (resp. Topological Minor) Completion problem asks, given a (possibly disconnected) plane (multi)graph Γ and a connected plane (multi)graph ∆, whether it is possible to add edges in Γ without violating the planarity of its embedding so that it contains some subgraph (resp. topological minor) that is topologically isomorphic to ∆. We give FPT algorithms that solve both problems...

In this paper, we address the problem of building reconstruction in high resolution stereoscopic aerial imagery. We present a hierarchical strategy to detect and model buildings in urban sites, based on a global focusing process, followed by a local modeling. During the rst step, we extract the building regions by exploiting to the full extent the depth information obtained with a new adaptive ...

We consider a class of time dependent finite energy multi–soliton solutions of the U(N) integrable chiral model in (2 + 1) dimensions. The corresponding extended solutions of the associated linear problem have a pole with arbitrary multiplicity in the complex plane of the spectral parameter. Restrictions of these extended solutions to any spacelike plane in R2,1 have trivial monodromy and give ...

In this paper we consider the rearrangeable multi-plane banyan-type switching fabrics, called also log, (N, 0, p) switching networks, with even number of stages. For such networks different rearranging algorithms have been proposed for both: one-at-a-time and simultaneous connection models. In this paper we consider the oneat-a-time connection model, where connections arrive to the system one-b...

in this article, vehicle cornering stability and brake stabilization via bifurcation analysis has been investigated. in order to extract the governing equations of motion, a nonlinear four-wheeled vehicle model with two degrees of freedom has been developed. using the continuation software package matcont a stability analysis based on phase plane analysis and bifurcation of equilibrium is perfo...

We consider a competing spatial growth dynamics permitting that more than one cluster develop in the same environment given by a first-passage percolation model on a Delaunay triangulation of the plane. We focus on the long time behavior of these competing clusters and derive some limit theorems related to the morphology of this multi-type growth process.

In this paper, a method is developed that reconstructs a high resolution image from an arbitrary set of multi-slice 3D MR images with a high in-plane resolution and a low through-plane resolution. Such images are often recorded to increase the efficiency of the acquisition. With a model of the acquisition of MR images, which is improved compared to previous super-resolution methods for MR image...