Search - Archive ouverte HAL Access content directly

Filter your results

33 Results
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
Conference papers hal-01800678v1
Image document

Constraints over structured domains

Carmen Gervet
The Handbook of Constraint Programming, 2006
Book sections hal-01800676v1
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
Conference papers hal-02268106v1
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
Conference papers hal-01741599v1
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
Conference papers hal-01742376v1
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
Conference papers 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
Conference papers hal-03676025v1
Image document

Conjunto: Constraint Logic Programming with Finite Set Domains

Carmen Gervet
ILPS, 1994, Ithaca, United States
Conference papers hal-01742416v1

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⟩
Conference papers hal-03675963v1
Image document

Enhancing Set Constraint Solvers with Lexicographic Bounds

Andrew Sadler , Carmen Gervet
Journal of Heuristics, 2008, ⟨10.1007/s10732-007-9028-0⟩
Journal articles hal-01742387v1
Image document

Boosting Set Constraint Propagation for Network Design

Justin Yip , Pascal van Hentenryck , Carmen Gervet
CPAIOR, 2010, Bologna Italy
Conference papers hal-01741593v1
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⟩
Journal articles hal-03714146v1
Image document

On Combining Regression Analysis and Constraint Programming

Carmen Gervet , S Galichet
IPMU, 2014, Montpellier, France
Conference papers hal-01800672v1
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⟩
Journal articles hal-01800674v1
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
Conference papers hal-00829664v1
Image document

Uncertain Data Dependency Constraints in Matrix Models

Carmen Gervet , S Galichet
CPAIOR, 2015, Barcelona, Spain. pp.173-181
Conference papers hal-01742390v1
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
Conference papers hal-01742393v1
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 : ⟩
Theses tel-01742415v1
Image document

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

Carmen Gervet
Constraints, 1997, ⟨10.1007/BF00137870⟩
Journal articles hal-01742403v1
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
Conference papers hal-03648085v1
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
Journal articles hal-03251867v1
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
Conference papers hal-01742389v1
Image document

Computational constraint models for decision support and holistic solution design

Carmen Gervet
Communicating Climate Change Information for Decision-Making, 2018
Book sections hal-01800668v1
Image document

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

Mohammad Atef , Carmen Gervet
JFPC, 2012, Toulouse, France
Conference papers hal-01742395v1
Image document

Length-Lex Ordering for Set CSPs

Carmen Gervet , Pascal van Hentenryck
AAAI, 2006, Boston, United States
Conference papers hal-01742384v1
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
Journal articles hal-02420300v1

El MUNDO: Embedding Measurement Uncertainty in Decision Making and Optimization

Carmen Gervet , Sylvie Galichet
European Project Space on Intelligent Systems, Pattern Recognition and Biomedical Systems – EPS Lisbon 2015, 2015, European Project Space on Intelligent Systems, Pattern Recognition and Biomedical Systems, 978-989-758-095-6. ⟨10.5220/0006162500700089⟩
Book sections hal-01617703v1
Image document

Data Lake Governance: Towards a Systemic and Natural Ecosystem Analogy

Marzieh Derakhshannia , Carmen Gervet , Hicham Hajj-Hassan , Anne Laurent , Arnaud Martin et al.
Future internet, 2020, 12 (8), pp.126. ⟨10.3390/fi12080126⟩
Journal articles hal-02912702v1
Image document

Life and Death of Data in Data Lakes: Preserving Data Usability and Responsible Governance

Marzieh Derakhshannia , Carmen Gervet , Hicham Hajj-Hassan , Anne Laurent , Arnaud Martin et al.
International Conference on Internet Science, Dec 2019, Perpignan, France. pp.302-309, ⟨10.1007/978-3-030-34770-3_24⟩
Conference papers hal-02907450v1
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
Conference papers hal-01742388v1