We address the problem of task planning on multiple clouds formulated as a mixed integer nonlinear programming problem (MINLP). Its specification with AMPL modeling language allows us to apply solvers such as Bonmin and Cbc. Our model assumes multiple heterogeneous compute and storage cloud providers, such as Amazon, Rackspace, GoGrid, ElasticHosts and a private cloud, parameterized by costs an...

During my STSM to LAMSADE at Universite Paris – Dauphine, I worked together with my host Jerome Lang on problems regarding Approval Voting elections. During the last months before my visit, we have been collaborating on these topics with my host (and together with our phd students). Partly, the purpose of this visit was to finalize a joint paper of ours, which will appear in AAMAS 2015. In part...

The equalization and modeling of audio systems have some particular features that are not present in other science fields, including a frequency range of 10 octaves. Also, the properties of the human auditory system (e.g. logarithmic resolution both in frequency and magnitude) should be taken into account. If the design is done using conventional filter design approaches having linear frequency...

A major focus was on the problem of randomised assignment, a probabilistic version of the house allocation problem. Here we tried to obtain a strong impossibility result (an incompatibility of an efficiency axiom and a weak strategy-proofness axiom) using computer-aided techniques that have recently been successfully used to produce sophisticated (but human-readable) proofs in a variety of fiel...

In this paper, some improvements of event-based PID controllers are proposed. These controllers, contrary to a time-triggered one which calculates the control signal at each sampling time, calculate the new control signal only when the measurement signal sufficiently changes. The contribution of this paper is a low computational cost scheme thanks to a minimum sampling interval condition. Moreo...

Computation outsourcing is an integral part of cloud computing. It enables end-users to outsource their computational tasks to the cloud and utilize the shared cloud resources in a pay-per-use manner. However, once the tasks are outsourced, the end-users will lose control of their data, which may result in severe security issues especially when the data is sensitive. To address this problem, se...

Electrical impedance tomography (EIT) is a soft field tomography modality based on the application of electric current to a body and measurement of voltages through electrodes at the boundary. The interior conductivity is reconstructed on a discrete representation of the domain using a finite-element method (FEM) mesh and a parametrization of that domain. The reconstruction requires a sequence ...

• Stable matchings with restricted edges. Our first objective was to tackle various problems involving restricted pairs defined by Dias et al. [1]. This problem extends the classical stable matching problem by providing three possible roles for every edge: forced, forbidden and regular. While optimal solutions must contain all forced edges, forbidden edges must be avoided. Dias et al. show that...

This paper presents a method for reducing the computational complexity required for farfield broadband beamforming. First, the propagating wave received by a linear or planar array of sensors is sampled efficiently on the multidimensional frequency plane in spatio-temporal sense so that the so-called non-physical area where no spectrum exists is filled with aliasing component. Next, the derived...

A Hessian matrix in full waveform inversion (FWI) is difficult to compute directly because of high computational cost and an especially large memory requirement. Therefore, Newton-like methods are rarely feasible in realistic largesize FWI problems. We modify the BFGS method to use a projected Hessian matrix that reduces both the computational cost and memory required, thereby making a quasiNew...