Publications associées à Problème de satisfaction de contraintes

Optimization of an Airborne Wind Energy System Using Constrained Gaussian Processes

Colin Neil Jones, Ioannis Lymperopoulos, Sanket Sanjay Diwale

Wind resources tend to be significantly stronger and more consistent with increasing altitude. This effect creates a potential for power generation that can be reaped by an Airborne Wind Energy system positioned at elevations exceeding the height of conven ...

2014

Variability-Aware Design Space Exploration of Embedded Memories

Andreas Peter Burg, Georgios Karakonstantis, Shrikanth Ganapathy

With scaling of process technologies and worsening of process variations, embedded memories are susceptible to a large number of failure mechanisms making it hard to achieve high yield. In this paper, by bringing together architecture and circuit-level exp ...

2014

An Improved Linear Programming Approach for Simultaneous Optimization of Water and Energy

François Maréchal, Maziar Kermani, Zoé Périn-Levasseur

An optimization method based on Mixed Integer Linear Programming (MILP) has been developed for simultaneous optimization of water and energy (SOWE) in industrial processes. The superstructure integrates process thermal streams and optimizes the consumption ...

Elsevier2014

On Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

2014

Reconciling Schema Matching Networks Through Crowdsourcing

Karl Aberer, Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Zoltán Miklós

Schema matching is the process of establishing correspondences between the attributes of database schemas for data integration purposes. Although several automatic schema matching tools have been developed, their results are often incomplete or erroneous. ...

2014

Recovering Neugebauer colorant reflectances and Ink-spreading curves from printed color images

Roger Hersch, Thomas Bugnon

Spectral reflection prediction models, although effective, are impractical for certain industrial applications such as self-calibrating devices and online monitoring because their calibration requires specific color-constant calibration patches. Using the ...

Wiley-Blackwell2014

Rich Locomotion Skills with the Oncilla Robot

Auke Ijspeert, Massimo Vespignani, Alexander Spröwitz, Mostafa Ajallooeian, Peter Eckert, Alexandre Tuleu

We are motivated to better understand how adaptive locomotion (rough terrain locomotion, turning, gait transition, etc) can be realized using a quadrupedal platform with constrained resources. These constraints include computational power limitation, no ac ...

2014

High-Throughput Maps on Message-Passing Manycore Architectures: Partitioning versus Replication

André Schiper, Thomas Ropars, Omid Shahmirzadi

The advent of manycore architectures raises new scalability challenges for concurrent applications. Implementing scalable data structures is one of them. Several manycore architectures provide hardware message passing as a means to efficiently exchange dat ...

2014

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.

Problème de satisfaction de contraintes

Design of actively-cooled microvascular materials: a genetic algorithm inspired network optimization

Optimization of an Airborne Wind Energy System Using Constrained Gaussian Processes

Variability-Aware Design Space Exploration of Embedded Memories

An Improved Linear Programming Approach for Simultaneous Optimization of Water and Energy

On Induction for SMT Solvers

Reconciling Schema Matching Networks Through Crowdsourcing

Recovering Neugebauer colorant reflectances and Ink-spreading curves from printed color images

Deciphering thermodynamics in metabolic networks: A priority list of candidates for metabolomics

Rich Locomotion Skills with the Oncilla Robot

High-Throughput Maps on Message-Passing Manycore Architectures: Partitioning versus Replication

Graph Chatbot

Chattez avec Graph Search

An Improved Linear Programming Approach for Simultaneous Optimization of Water and Energy

High-Throughput Maps on Message-Passing Manycore Architectures: Partitioning versus Replication

Design of actively-cooled microvascular materials: a genetic algorithm inspired network optimization

Reconciling Schema Matching Networks Through Crowdsourcing

On Induction for SMT Solvers

Deciphering thermodynamics in metabolic networks: A priority list of candidates for metabolomics

Variability-Aware Design Space Exploration of Embedded Memories

Recovering Neugebauer colorant reflectances and Ink-spreading curves from printed color images

Optimization of an Airborne Wind Energy System Using Constrained Gaussian Processes

Rich Locomotion Skills with the Oncilla Robot