Concept

Constraint logic programming

Related publications (239)

A Dichotomy for Real Weighted Holant Problems

Holant is a framework of counting characterized by local constraints. It is closely related to other well-studied frameworks such as the counting constraint satisfaction problem (#CSP) and graph homomorphism. An effective dichotomy for such frameworks can ...

Springer Basel Ag2016

Programming complex shapes in thin nematic elastomer and glass sheets

Marius Christopher Lemm

Nematic elastomers and glasses are solids that display spontaneous distortion under external stimuli. Recent advances in the synthesis of sheets with controlled heterogeneities have enabled their actuation into nontrivial shapes with unprecedented energy d ...

2016

A Directional Modifier-Adaptation Algorithm for Real-Time Optimization

Dominique Bonvin, Grégory François, Sean Costello

The steady advances of computational methods make model-based optimization an increasingly attractive method for process improvement. Unfortunately, the available models are often inaccurate. The traditional remedy is to update the model parameters, but th ...

Elsevier2016

Artist-Oriented 3D Character Posing from 2D Strokes

Ronan Boulic, Benoît Le Callennec, Mentar Mahmudi, Pawan Kumar Harish

In this paper we present an intuitive tool suitable for 2D artists using touch-enabled pen tablets. An artist-oriented tool should be easy-to-use, real-time, versatile, and locally refinable. Our approach uses an interactive system for 3D character posing ...

Elsevier2016

Exploring stabilisation techniques for the reduced basis approximation of avection-diffusion PDEs

Christèle Marie Zbinden

In this thesis, we explore possible stabilisation methods for the reduce basis approximation of advection-diffusion problems, for which the advection term is dominating. The options we consider are mainly inspired by the Variational Multiscale method (VMS) ...

2016

Nonlinear Model Predictive Control for Constrained Output Path Following

Timm Faulwasser

We consider the tracking of geometric paths in output spaces of nonlinear systems subject to input and state constraints without pre-specified timing requirements. Such problems are commonly referred to as constrained output path-following problems. Specif ...

Institute of Electrical and Electronics Engineers2016

Stochastic MPC for Controlling the Average Constraint Violation for Periodic Linear System with Additive Disturbance

Colin Neil Jones, Luca Fabietti

This paper deals with stochastic model predictive control of constrained discrete-time periodic linear systems. Control inputs are subject to periodically time-varying polytopic constraints with possibly time-dependent state and input dimensions. A stochas ...

IEEE2016

Distributed computation of generalized Nash equilibria in quadratic aggregative games with affine coupling constraints

Maryam Kamgarpour, John Lygeros

We analyse deterministic aggregative games, with large but finite number of players, that are subject to both local and coupling constraints. Firstly, we derive sufficient conditions for the existence of a generalized Nash equilibrium, by using the theory ...

IEEE2016

Submodular Stochastic Probing on Matroids

Justin Dean Ward, Marek Adamczyk

In a stochastic probing problem we are given a universe E, and a probability that each element e in E is active. We determine if an element is active by probing it, and whenever a probed element is active, we must permanently include it in our solution. Mo ...

INFORMS2016

Low EMI signaling for parallel conductor interfaces

Mohammad Amin Shokrollahi, Nicolae Chiurtu

Methods are disclosed for creation of vector signaling codes having reduced or minimized electromagnetic emissions when transmitted over multiple conductor communications media such as microstrip channels. Particular code formulation constraints are shown ...

2016

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.