Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

36 résultats
Page :
triés par
Image document

Certainty Closure A Framework for Reliable Constraint Reasoning with Uncertainty

 Neil Yorke-Smith , Carmen Gervet
Principles and Practice of Constraint Programming, 2003, Kinsale, Ireland
Communication dans un congrès hal-01800678v1
Image document

Boosting Set Constraint Propagation for Network Design

 Justin Yip , Pascal van Hentenryck , Carmen Gervet
CPAIOR, 2010, Bologna Italy
Communication dans un congrès hal-01741593v1
Image document

Enhancing Set Constraint Solvers with Lexicographic Bounds

 Andrew Sadler , Carmen Gervet
Journal of Heuristics, 2008, ⟨10.1007/s10732-007-9028-0⟩
Article dans une revue hal-01742387v1

Prominent discords in climate data through matrix profile techniques: detecting emerging long term pattern changes and anomalous events

 Hussein El Khansa , Carmen Gervet , Audrey Brouillet
EGU general assembly, May 2022, Vienna, Austria. ⟨10.5194/egusphere-egu22-9250⟩
Communication dans un congrès hal-03675963v1
Image document

Conjunto: Constraint Logic Programming with Finite Set Domains

 Carmen Gervet
ILPS, 1994, Ithaca, United States
Communication dans un congrès hal-01742416v1
Image document

Constraint Reasoning with Uncertain Data using CDF-Intervals

 Aya Saad , Carmen Gervet , Slim Abdennadher
International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR, 2010, Bologna, Italy
Communication dans un congrès hal-01741599v1
Image document

Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries

 Andrew Sadler , Carmen Gervet
CP'04 Tenth International Conference on Principles and Practice of Constraint Programming, 2004, Toronto, Canada
Communication dans un congrès hal-01742383v1
Image document

PROMINENT DISCORD DISCOVERY WITH MATRIX PROFILE : APPLICATION TO CLIMATE DATA INSIGHTS

 Hussein El Khansa , Carmen Gervet , Audrey Brouillet
14th International Conference on Computer Networks & Communications (CoNeCo 2022), May 2022, Zurich, Switzerland
Communication dans un congrès hal-03676025v1
Image document

Large Scale Combinatorial Optimization: A Methodological Viewpoint

 Carmen Gervet
DIMACS series: Constraint Programming and Large Scale Discrete Optimization, 2001, New Jersey, United States
Communication dans un congrès hal-01742376v1
Image document

MULTI-AGENT PLANNING FOR THE ROBOCUP RESCUE SIMULATION Applying Clustering into Task Allocation and Coordination

 Amr Hussein , Carmen Gervet , Slim Abdennadher
ICAART, 2012, Lisbon, Portugal
Communication dans un congrès hal-01742393v1
Image document

Optical network ring analogy for effective solar PV site selection using GIS and optimization modelling

 Benjamin Pillot , Nadeem Al-Kurdi , Carmen Gervet , Laurent Linguet
SAGEO, May 2021, La Rochelle, France
Communication dans un congrès hal-03648085v1
Image document

Set Intervals in Constraint Logic Programming: Definition and implementation of a language

 Carmen Gervet
Artificial Intelligence [cs.AI]. Université de Franche Comté Besançon, 1995. English. ⟨NNT : ⟩
Thèse tel-01742415v1
Image document

Interval Propagation to Reason about Sets: Definition and Implementation of a Practical Language

 Carmen Gervet
Constraints, 1997, ⟨10.1007/BF00137870⟩
Article dans une revue hal-01742403v1
Image document

Uncertain Data Dependency Constraints in Matrix Models

 Carmen Gervet , S Galichet
CPAIOR, 2015, Barcelona, Spain. pp.173-181
Communication dans un congrès hal-01742390v1
Image document

On Combining Regression Analysis and Constraint Programming

 Carmen Gervet , S Galichet
IPMU, 2014, Montpellier, France
Communication dans un congrès hal-01800672v1
Image document

Optimal Allocation of Renewable Energy Parks: A Two-stage Optimization Model

 Mohammad Atef , Carmen Gervet
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Communication dans un congrès hal-00829664v1
Image document

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

 Neil Yorke-Smith , Carmen Gervet
ACM Transactions on Computational Logic, 2009, ⟨10.1145/1459010.1459013⟩
Article dans une revue hal-01800674v1
Image document

APPLICATION OF MATRIX PROFILE TECHNIQUES TO DETECT INSIGHTFUL DISCORDS IN CLIMATE DATA

 Hussein El Khansa , Carmen Gervet , Audrey Brouillet
International Journal on Soft Computing, Artificial Intelligence and Applications (IJSCAI), 2022, ⟨10.5121/ijscai.2021.11201⟩
Article dans une revue hal-03714146v1
Image document

Optimizing operational costs and PV production at utility scale: An optical fiber network analogy for solar park clustering

 Benjamin Pillot , Nadeem Al-Kurdi , Carmen Gervet , Laurent Linguet
Applied Energy, 2021, ⟨10.1016/j.apenergy.2021.117158⟩
Article dans une revue hal-03251867v1
Image document

An integrated GIS and robust optimization framework for solar PV plant planning scenarios at utility scale

 Benjamin Pillot , Nadeem Al-Kurdi , Carmen Gervet , Laurent Linguet
Applied Energy, 2020, 260, ⟨10.1016/j.apenergy.2019.114257⟩
Article dans une revue hal-02420300v1
Image document

Length-Lex Ordering for Set CSPs

 Carmen Gervet , Pascal van Hentenryck
AAAI, 2006, Boston, United States
Communication dans un congrès hal-01742384v1
Image document

Optimal Allocation of Renewable Energy Parks: A Two-stage Optimization Model *

 Mohammad Atef , Carmen Gervet
JFPC, 2012, Toulouse, France
Communication dans un congrès hal-01742395v1
Image document

On Refining Ill-Defined Constraint Problems: A Case Study in Iterative Prototyping

 Carmen Gervet , Yves Caseau , Denis Montaut
PACLP Practical Applications of Constraint Logic Programming, 1999, London, United Kingdom
Communication dans un congrès hal-01742389v1
Image document

Computational constraint models for decision support and holistic solution design

 Carmen Gervet
Communicating Climate Change Information for Decision-Making, 2018
Chapitre d'ouvrage hal-01800668v1
Image document

Towards robust scenarios of spatio-temporal renewable energy planning: A GIS-RO approach

 Nadeem Al-Kurdi , Benjamin Pillot , Carmen Gervet , Laurent Linguet
25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, United States
Communication dans un congrès hal-02268106v1
Image document

Constraints over structured domains

 Carmen Gervet
The Handbook of Constraint Programming, 2006
Chapitre d'ouvrage hal-01800676v1
Image document

Le nexus Eau-Énergie-Alimentation dans les petites îles

 Romain Authier , Benjamin Pillot , Guillaume Guimbretiere , Pablo Corral-Broto , Carmen Gervet
SCIENCE de la DURABILITÉ, A paraître
Chapitre d'ouvrage hal-04381836v1
Image document

Towards sustainable food systems in small islands: a WEF nexus approach

 Romain Authier , Benjamin Pillot , Guillaume Guimbretiere , Pablo Corral-Broto , Carmen Gervet
Summer School 2023: CLIMATE-​WATER-ENERGY-FOOD-NEXUS, Sep 2023, Monte Verita, Switzerland
Poster de conférence hal-04382007v1
Image document

On the ranking of variable length discords through a hybrid outlier detection approach

 Hussein El Khansa , Carmen Gervet , Audrey Brouillet
2022
Proceedings/Recueil des communications hal-03838246v1
Image document

Bound Consistency for Binary Length-Lex Set Constraints

 Pascal van Hentenryck , Justin Yip , Carmen Gervet , Grégoire Dooms
AAAI, 2008, Chicago, United States
Communication dans un congrès hal-01742388v1
Page :