-
Complete Solving of Linear Diophantine Equational and Inequational Systems wi...
In this report, we present an algorithm for solving {\em directly} linear Diophantine systems of both equations and inequations. Here directly means without adding... -
Learning Transition Rules from Temporal Logic Properties
Most of the work on temporal representation issues in Machine Learning deals with the problem of learning/mining temporal patterns from a large set of temporal data.... -
Constraint-Based Type Inference for Guarded Algebraic Data Types
Guarded algebraic data types subsume the concepts known in the literature as indexed types, guarded recursive datatype constructors, and first-class phantom types, and... -
Constraints: the Heart of Domain and Application Engineering in the Product L...
International audience -
Implications of technological changes in vehicle routing interfaces for plann...
International audience -
Counting CTL
34 pages -
Constrained Types - Future Directions
Position Paper -
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?
International audience -
A complete Assignment Algorithm and Its Application in Constraint Declarative...
An important property of answer generation strategies for functional logic programming (FLP) languages is the complete exploration of the solution space. Integrating... -
The low energy spectrum of TeO2 bolometers: results and dark matter perspecti...
9 pages, 10 figures -
A constraint driven metagrammar
International audience -
Portfolio management under risk contraints - Lectures given at MITACS-PIMS-UB...
The aim of these lectures at MITACS-PIMS-UBC Summer School in Risk Man- agement and Risk Sharing is to discuss risk controlled approaches for the pricing and hedging... -
REDUCTION OF CONSTRAINT SYSTEMS
International audience -
Multivariate curve resolution -- Alternating least squares to cope with devia...
<p>Multivariate curve resolution -- alternating least squares (MCR-ALS) is a powerful method to infer information about short-lived chemical intermediate states... -
Bridging the Gap between Component-based Design and Implementation with a Ref...
Component-based Software Engineering studies the design, development and maintenance of software constructed upon sets of connected components. Existing... -
A one-mesh method for the cell-centered discretization of slide lines
A new method is described to handle slide lines in cell-centered Lagrangian schemes for the modeling of sliding problems between two fluids in the framework of... -
Situation assessment: an end-to-end process for the detection of objects of i...
International audience -
Optimization by hybridization of a genetic algorithm with CSP techniques
International audience -
Optimisation for the ride-sharing problem
Du fait que le sujet d'étude soit assez récent dans la communauté et que nous venons juste de démarrer une étude par rapport à ce problème industriel, nous n'avons aucun rapport...
