-
ParadisEO-MO: From Fitness Landscape Analysis to Efficient Local Search Algor...
This document presents a general-purpose software framework dedicated to the design, the analysis and the implementation of local search algorithms: ParadisEO-MO. A... -
How Much Should You Pay for Information?: Technical Report
The amount of data available greatly increases every year and information can be quite valuable in the right hands. The existing mechanisms for selling goods, such as... -
Dimuon reconstruction in heavy ion collisions
This dataset has no description
-
A POSTERIORI ERROR ANALYSIS OF THE TIME DEPENDENT STOKES EQUATIONS WITH MIXED...
In this paper we study the time dependent Stokes problem with mixed boundary conditions. The problem is discretized by the backward Euler's scheme in time and nite... -
A Nonintrusive, Adaptable and User-Friendly In Situ Visualization Framework
Reducing the amount of data stored by simulations will be of utmost importance for the next generation of large-scale computing. Accordingly, there is active research... -
Discriminative Parameter Estimation for Random Walks Segmentation: Technical ...
The Random Walks (RW) algorithm is one of the most e - cient and easy-to-use probabilistic segmentation methods. By combining contrast terms with prior terms, it... -
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
Modern control-command systems often include controllers that perform nonlinear computations to control a physical system, which can typically be described by an... -
NP-hardness of the Sparsest k-Subgraph Problem in Chordal Graphs
Given a simple undirected graph G = (V,E) and an integer k ≤ |V|, the k-sparsest subgraph problem asks for a set of k vertices which induce the minimum number of... -
Upwind Residual discretization of enhanced Boussinesq equations for wave prop...
In this paper we consider the solution of the enhanced Boussinesq equations of Madsen and S$\oo$rensen ({\it Coast.Eng.} 18, 1992) by means of residual based... -
Automated runnable to task mapping
We propose in this paper, a method to automatically map runnables (blocks of code with dedicated functionality) with real-time constraints to tasks (or threads). We... -
Exposicion escrita presentada en el Consejo de Derechos Humanos de las Nacion...
Tema 3 del programa del 23° periodo de sesiones del Consejo de Derechos Humanos de las Naciones Unidas -
Exposé écrit présenté au Conseil des Droits de l'Homme de l'Organisation des ...
Point 3 de l'ordre du jour de la 23e session du Conseil des Droits de l'Homme des Nations unies : "Promotion et protection de tous les Droits de l'Homme, civils, politiques,... -
Joint Written Statement submitted at the Human Rights Council of the United N...
Agenda item 3, 23rd session of the Human Rights Council of the United Nations: "Promotion and protection of all human rights, civil, political, economic, social and cultural,... -
Routing in IPv6 Sensor Networks
Advances in micro-electro-mechanical systems (MEMS) technology, wireless communications and digital electronics have enabled the development of low-cost, low-power,... -
An age-and-cyclin-structured cell population model with proliferation and qui...
We present a nonlinear model of the dynamics of a cell population divided in a proliferative and a quiescent compartments. The proliferative phase represents the... -
Méthodologie pour l'élaboration d'un plan d'aménagement forestier simplifié d...
This dataset has no description
-
Optimal Provisioning in the Cloud. Technical report of the Aeolus project
Complex distributed systems are classically assembled by deploying several existing software components to multiple servers. Building such systems is a challenging... -
A journey through resource control lambda calculi and explicit substitution u...
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda... -
Premier rapport du projet ANR-DFG MUSICI
This dataset has no description
