Publications associées à Constraint logic programming

How employment constrains participation in MOOCs?

Pierre Dillenbourg, Lukasz Kidzinski, Mina Shirvani Boroujeni

Massive Open Online Courses (MOOCs) changed the way continuous education is perceived. Employees willing to progress their careers can take high quality courses. Students can develop skills outside curriculum. Studies show that most of the MOOC users are p ...

2016

Incremental Consistency Guarantees for Replicated Objects

Rachid Guerraoui, Dragos-Adrian Seredinschi, Matej Pavlovic

Programming with replicated objects is difficult. Developers must face the fundamental trade-off between consistency and performance head on, while struggling with the complexity of distributed storage stacks. We introduce Correctables, a novel abstraction ...

2016

On the Design of Economic NMPC Based on an Exact Turnpike Property

Dominique Bonvin, Timm Faulwasser

We discuss the design of sampled-data economic nonlinear model predictive control schemes for continuous-time systems. We present novel sufficient convergence conditions that do not require any kind of terminal constraints nor terminal penalties. Instead, ...

IFAC2015

On Handling Cost Gradient Uncertainty in Real-Time Optimization

Dominique Bonvin, Timm Faulwasser, Martand Singhal

This paper deals with the real-time optimization of uncertain plants and proposes an approach based on surrogate models to reach the plant optimum when the plant cost gradient is imperfectly known. It is shown that, for processes with only box constraints, ...

2015

Extending the Reach of a Rod Injected Into a Cylinder Through Distributed Vibration

Pedro Miguel Nunes Pereira de Almeida Reis

We present results of an experimental investigation of a new mechanism for extending the reach of an elastic rod injected into a horizontal cylindrical constraint, prior to the onset of helical buckling. This is accomplished through distributed, vertical v ...

American Society of Mechanical Engineers2015

Programming with Enumerable Sets of Structures

Viktor Kuncak, Ivan Kuraj, Daniel Jackson

We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of structured values. Our framework is capable of exhaustive, incremental, parallel, a ...

Assoc Computing Machinery2015

Buckling-induced lock-up of a slender rod injected into a horizontal cylinder

Pedro Miguel Nunes Pereira de Almeida Reis

We investigate the buckling and post-buckling behavior of an elastic rod injected into a horizontal, frictional, cylindrical constraint through experiments, numerical simulations, and scaling analyses. Particular emphasis is given to the onset of helical b ...

Elsevier2015

IT Service Alignment Verification of Quantitative Properties in Service Design

Alain Wegmann, Gorica Tapandjieva Sekulovska

Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...

2015

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Constraint logic programming

How employment constrains participation in MOOCs?

Incremental Consistency Guarantees for Replicated Objects

On the Design of Economic NMPC Based on an Exact Turnpike Property

On Handling Cost Gradient Uncertainty in Real-Time Optimization

Extending the Reach of a Rod Injected Into a Cylinder Through Distributed Vibration

Programming with Enumerable Sets of Structures

Buckling-induced lock-up of a slender rod injected into a horizontal cylinder

IT Service Alignment Verification of Quantitative Properties in Service Design

Computational Methods for Fabrication-aware Modeling, Rationalization and Assembly of Architectural Structures

On the Design of Economic NMPC Based on Approximate Turnpike Properties

Graph Chatbot

Chattez avec Graph Search

On the Design of Economic NMPC Based on Approximate Turnpike Properties

Buckling-induced lock-up of a slender rod injected into a horizontal cylinder

Incremental Consistency Guarantees for Replicated Objects

Extending the Reach of a Rod Injected Into a Cylinder Through Distributed Vibration

Programming with Enumerable Sets of Structures

How employment constrains participation in MOOCs?

On the Design of Economic NMPC Based on an Exact Turnpike Property

On Handling Cost Gradient Uncertainty in Real-Time Optimization

IT Service Alignment Verification of Quantitative Properties in Service Design

Computational Methods for Fabrication-aware Modeling, Rationalization and Assembly of Architectural Structures