Authors: Kolditz, Olaf, Jacques, Diederik, Claret, Francis, Bertrand, Johan, Churakov, Sergey, Debayle, Christophe, Diaconu, Daniela, Fuzik, Kateryna, Garcia, David, Graebling, Nico, Grambow, Bernd, Holt, Erika, Idiart, Andrés, Leira, Petter, Montoya, Vanessa, Niederleithinger, Ernst, Olin, Markus, Pfingsten, Wilfried, Prasianakis, Nikolaos, Rink, Karsten, Samper, Javier, Szöke, István, Szöke, Réka, Theodon, Louise, Wendling, Jacques
Contributors: Helmholtz Zentrum für Umweltforschung = Helmholtz Centre for Environmental Research (UFZ), Technische Universität Dresden = Dresden University of Technology (TU Dresden), Centre d'Etude de l'Energie Nucléaire (SCK-CEN), Bureau de Recherches Géologiques et Minières (BRGM) (BRGM), Agence Nationale pour la Gestion des Déchets Radioactifs (ANDRA), Paul Scherrer Institute (PSI), Service des déchets radioactifs et des transferts dans la géosphère (IRSN/PSE-ENV/SEDRE), Institut de Radioprotection et de Sûreté Nucléaire (IRSN), Institute for Nuclear Research Pitesti (ICN), SSTC NRS (Vasylya Stusa St, 35-37, Kyiv, Ukraine), AMPHOS 21 Consulting, Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), VTT Technical Research Centre of Finland (VTT), Institute for Energy Technology (IFE), BAM Bundesanstalt für Materialforschung u. -prüfung, Faculty of Sciences, Centre for Advanced Scientific Research (CICA), University of A Coruña (UDC), Spanish Ministry of Science and Innovation (PID2019-109544RB-I00), European Project: 847593,EURAD(2019), European Project: 945098,PREDIS
Superior Title: ISSN: 1866-6280.
Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.EIAH]Computer Science [cs]/Technology for Human Learning
Relation: info:eu-repo/grantAgreement//847593/EU/European Joint Programme on Radioactive Waste Management/EURAD; info:eu-repo/grantAgreement//945098/EU/PRE-DISposal management of radioactive waste - DOI:10.3030/945098/PREDIS; irsn-03923989; https://irsn.hal.science/irsn-03923989; https://irsn.hal.science/irsn-03923989/document; https://irsn.hal.science/irsn-03923989/file/s12665-022-10675-4.pdf; INSPIRE: 2621794
Authors: Aarts, Gert, Aichelin, Joerg, Allton, Chris, Athenodorou, Andreas, Bachtis, Dimitrios, Bonanno, Claudio, Brambilla, Nora, Bratkovskaya, Elena, Bruno, Mattia, Caselle, Michele, Conti, Costanza, Contino, Roberto, Cosmai, Leonardo, Cuteri, Francesca, del Debbio, Luigi, d'Elia, Massimo, Dimopoulos, Petros, Di Renzo, Francesco, Galatyuk, Tetyana, Guenther, Jana N., Houtz, Rachel, Karsch, Frithjof, Kotov, Andrey Yu., Lombardo, Maria Paola, Lucini, Biagio, Maio, Lorenzo, Panero, Marco, Pawlowski, Jan M., Pelissetto, Andrea, Philipsen, Owe, Rago, Antonio, Ratti, Claudia, Ryan, Sinéad M., Sannino, Francesco, Sasaki, Chihiro, Schicho, Philipp, Schmidt, Christian, Sharma, Sipaz, Soloveva, Olga, Sorba, Marianna, Wiese, Uwe-Jens
Contributors: Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)
Superior Title: Prog.Part.Nucl.Phys. ; https://hal.science/hal-03952632 ; Prog.Part.Nucl.Phys., 2023, 133, pp.104070. ⟨10.1016/j.ppnp.2023.104070⟩
Subject Terms: quantum chromodynamics, axion, critical phenomena, hadron, buildings, lattice field theory, dark matter, strong interaction, lattice, nonperturbative, symmetry breaking, artificial intelligence, topology, [PHYS.HLAT]Physics [physics]/High Energy Physics - Lattice [hep-lat], [PHYS.HPHE]Physics [physics]/High Energy Physics - Phenomenology [hep-ph], [PHYS.HTHE]Physics [physics]/High Energy Physics - Theory [hep-th], [PHYS.NUCL]Physics [physics]/Nuclear Theory [nucl-th]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2301.04382; hal-03952632; https://hal.science/hal-03952632; ARXIV: 2301.04382; INSPIRE: 2622253
Authors: Bart, Anicet, Truchet, Charlotte, Monfroy, Eric
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title: Onzièmes Journées Francophones de Programmation par Contraintes ; https://hal.science/hal-01234179 ; Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Bordeaux, France
Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-01234179; https://hal.science/hal-01234179; https://hal.science/hal-01234179/document; https://hal.science/hal-01234179/file/BartJFPC15.pdf
Availability:
https://hal.science/hal-01234179
https://hal.science/hal-01234179/document
https://hal.science/hal-01234179/file/BartJFPC15.pdf
Authors: Petit, Thierry, Trapp, Andrew C.
Contributors: Worcester Polytechnic Institute, Mines Nantes (Mines Nantes)
Superior Title: IJCAI. International Joint Conference on Artificial Intelligence ; https://hal.science/hal-01170003 ; IJCAI. International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
Subject Geographic: Buenos Aires, Argentina
Relation: hal-01170003; https://hal.science/hal-01170003; https://hal.science/hal-01170003/document; https://hal.science/hal-01170003/file/ijcai15-div.pdf
Availability:
https://hal.science/hal-01170003
https://hal.science/hal-01170003/document
https://hal.science/hal-01170003/file/ijcai15-div.pdf
Authors: Petit, Thierry, Trapp, Andrew C.
Contributors: Worcester Polytechnic Institute, IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)
Superior Title:
2015 INFORMS Computing Society Conference
https://hal.science/hal-01238448
2015 INFORMS Computing Society Conference, Dec 2015, Richmond, United States
https://sites.google.com/site/2015icsconference/
Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
Subject Geographic: Richmond, United States
Relation: hal-01238448; https://hal.science/hal-01238448; https://hal.science/hal-01238448/document; https://hal.science/hal-01238448/file/tpetit.pdf
Availability:
https://hal.science/hal-01238448
https://hal.science/hal-01238448/document
https://hal.science/hal-01238448/file/tpetit.pdf
Authors: Goldsztejn, Alexandre, Chabert, Gilles, Caro, Stéphane
Contributors: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Theory, Algorithms and Systems for Constraints (TASC), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: IFToMM 2015 ; https://hal.science/hal-01238717 ; IFToMM 2015, 2015, Taipei, Taiwan. ⟨10.6567/IFToMM.14TH.WC.OS12.017⟩ ; http://www.iftomm2015.tw/
Subject Terms: Kantorovich Theorem, Certified tolerance synthesis, parallel manipulators, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA], [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-01238717; https://hal.science/hal-01238717; https://hal.science/hal-01238717/document; https://hal.science/hal-01238717/file/goldsztejn_et_al_iftomm15.pdf
Contributors: Mines Nantes (Mines Nantes), Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), COSLING S.A.S., FR, Worcester Polytechnic Institute, Gilles Pesant
Superior Title: Principles and Practice of Constraint Programming, CP 2015 ; https://hal.science/hal-01241079 ; Principles and Practice of Constraint Programming, CP 2015, Aug 2015, Cork, Ireland. ⟨10.1007/978-3-319-23219-5_8⟩ ; http://link.springer.com/book/10.1007%2F978-3-319-23219-5
Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
Relation: hal-01241079; https://hal.science/hal-01241079; https://hal.science/hal-01241079/document; https://hal.science/hal-01241079/file/allen_rel.pdf
Authors: Salas, Ignacio, Chabert, Gilles
Contributors: Mines Nantes (Mines Nantes), Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-11-BS02-0005,Net-WMS-2,Systèmes de gestion d'entrepôts 2: packing avec formes complexes(2011)
Superior Title: Twenty-Fourth International Joint Conference on Artificial Intelligence ; https://hal.science/hal-01148155 ; Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.396 ; http://ijcai.org/papers15/contents.php
Subject Terms: Packing algorithm, Non-overlapping constraint, CMA-ES, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
Subject Geographic: Buenos Aires, Argentina
Relation: hal-01148155; https://hal.science/hal-01148155; https://hal.science/hal-01148155/document; https://hal.science/hal-01148155/file/ijcai15.pdf
Availability:
https://hal.science/hal-01148155
https://hal.science/hal-01148155/document
https://hal.science/hal-01148155/file/ijcai15.pdf
Authors: Synnaeve, Gabriel, Nardelli, Nantas, Auvolat, Alex, Chintala, Soumith, Lacroix, Timothée, Lin, Zeming, Richoux, Florian, Usunier, Nicolas
Contributors: Facebook AI Research Paris (FAIR), Facebook, University of Oxford, Laboratoire d'informatique de l'école normale supérieure (LIENS), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris-Est (UPE), Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Heuristique et Diagnostic des Systèmes Complexes Compiègne (Heudiasyc), Université de Technologie de Compiègne (UTC)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: https://hal.science/hal-01436134 ; 2018.
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1611.00625; hal-01436134; https://hal.science/hal-01436134; https://hal.science/hal-01436134/document; https://hal.science/hal-01436134/file/1611.00625v2.pdf; ARXIV: 1611.00625
Availability:
https://hal.science/hal-01436134
https://hal.science/hal-01436134/document
https://hal.science/hal-01436134/file/1611.00625v2.pdf
Authors: Narodytska, Nina, Petit, Thierry, Siala, Mohamed, Walsh, Toby
Contributors: Computer Science and Engineering Sydney (CSE), University of New South Wales Sydney (UNSW), National ICT Australia Sydney (NICTA), Worcester Polytechnic Institute, IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Théorie, Algorithmes et Systèmes en Contraintes (LS2N - équipe TASC ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
Superior Title: ISSN: 1383-7133.
Subject Terms: solution engineering, global constraints, solution quality, Constraint programming, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]
Relation: hal-01238445; https://hal.science/hal-01238445; https://hal.science/hal-01238445/document; https://hal.science/hal-01238445/file/2015-10-05-focus-journal.pdf
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), SICS, Swedish Institute of Computer Science Stockholm (SICS), Aspect and composition languages (ASCOLA), Cork Constraint Computation Centre (4C UCC), University College Cork (UCC), European Project: 640954,H2020,H2020-FETPROACT-2014,GRACeFUL(2015)
Superior Title: ISSN: 1383-7133.
Subject Terms: Global constraint catalogue, Finite transducer, Time series, Constraint synthesis, Global constraint, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: info:eu-repo/grantAgreement//640954/EU/Global systems Rapid Assessment tools through Constraint FUnctional Languages/GRACeFUL; hal-01370322; https://inria.hal.science/hal-01370322; https://inria.hal.science/hal-01370322/document; https://inria.hal.science/hal-01370322/file/time_series_journal.pdf
Contributors: Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Agents, Apprentissage, Contraintes (COCONUT), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title:
28th AAAI Conference on Artificial Intelligence
https://hal.science/hal-01084606
28th AAAI Conference on Artificial Intelligence, Jul 2014, Québec City, Canada. pp.2630-2636, ⟨10.1609/aaai.v28i1.9117⟩
Subject Terms: q-intersection, soft numerical constraints, parameter estimation, intersection graph, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Subject Geographic: Québec City
Time: Québec City, Canada
Relation: hal-01084606; https://hal.science/hal-01084606; https://hal.science/hal-01084606/document; https://hal.science/hal-01084606/file/carbonnel_et_al_aaai14.pdf
Authors: Derrien, Alban, Petit, Thierry, Zampelli, Stéphane
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mines Nantes (Mines Nantes), Worcester Polytechnic Institute, PhD université Louvain, O'Sullivan, Barry
Superior Title: CP 2014, Principles and Practice of Constraint Programming, 20th International Conference ; https://hal.science/hal-01084256 ; CP 2014, Principles and Practice of Constraint Programming, 20th International Conference, Sep 2014, Lyon, France. pp.298-306 ; http://www.springer.com/computer/theoretical+computer+science/book/978-3-319-10427-0
Subject Terms: PACS, [INFO]Computer Science [cs], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Relation: hal-01084256; https://hal.science/hal-01084256; https://hal.science/hal-01084256/document; https://hal.science/hal-01084256/file/cp14robust.pdf
Availability:
https://hal.science/hal-01084256
https://hal.science/hal-01084256/document
https://hal.science/hal-01084256/file/cp14robust.pdf
Authors: Fages, Jean-Guillaume, Lorca, Xavier, Petit, Thierry
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mines Nantes (Mines Nantes)
Superior Title: ECAI 2014, 21st International Conference on Artificial Intelligence ; https://hal.science/hal-01088964 ; ECAI 2014, 21st International Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.297-302, ⟨10.3233/978-1-61499-419-0-297⟩
Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Subject Geographic: Prague, Czech Republic
Relation: hal-01088964; https://hal.science/hal-01088964; https://hal.science/hal-01088964/document; https://hal.science/hal-01088964/file/ECAI-126.pdf
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Nationale des Sciences Appliquées Agadir (ENSA), Ecole Nationale des Sciences Appliquées d'Agadir, Agents, Apprentissage, Contraintes (COCONUT), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Mathématiques appliquées, Intelligence Artificielle et Reconnaissance de Formes (LIMIARF), Université Mohammed V de Rabat Agdal (UM5)
Superior Title:
9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013)
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408
9èmes Journées Francophones de Programmation par Contraintes (JFPC 2013), Jun 2013, Aix-en-Provence, France
Subject Geographic: Aix-en-Provence, France
Time: Aix-en-Provence, France
Relation: lirmm-00830408; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408/file/papier_18.pdf
Availability:
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830408/file/papier_18.pdf
Authors: Wahbi, Mohamed, Ezzahir, Redouane, Bessiere, Christian
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Nationale des Sciences Appliquées Agadir (ENSA), Ecole Nationale des Sciences Appliquées d'Agadir, Agents, Apprentissage, Contraintes (COCONUT), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
Superior Title:
19th International Conference on Principles and Practice of Constraint Programming
CP: Principles and Practice of Constraint Programming
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00839024
CP: Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. pp.708-723, ⟨10.1007/978-3-642-40627-0_52⟩
Subject Terms: [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: lirmm-00839024; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00839024; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00839024/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00839024/file/cp13-afb.pdf
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Aspect and composition languages (ASCOLA)
Superior Title: Journées française de la Programmation par Contraintes ; https://hal.science/hal-00867713 ; Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Subject Geographic: Aix-en-Provence, France
Time: Aix-en-Provence, France
Relation: hal-00867713; https://hal.science/hal-00867713; https://hal.science/hal-00867713/document; https://hal.science/hal-00867713/file/jfpc2013-propengine_fr.pdf
Availability:
https://hal.science/hal-00867713
https://hal.science/hal-00867713/document
https://hal.science/hal-00867713/file/jfpc2013-propengine_fr.pdf
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Parallélisme, Réseaux, Systèmes, Modélisation (PRISM), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS), Markus Nebel and Wojciech Szpankowski
Superior Title: Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2013 ; Meeting on Analytic Algorithmics and Combinatorics ; https://hal.science/hal-00867576 ; Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90
Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Subject Geographic: New Orleans, Louisiana, USA, United States
Relation: hal-00867576; https://hal.science/hal-00867576; https://hal.science/hal-00867576/document; https://hal.science/hal-00867576/file/AllDiff.pdf
Availability:
https://hal.science/hal-00867576
https://hal.science/hal-00867576/document
https://hal.science/hal-00867576/file/AllDiff.pdf
Contributors: Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Theory, Algorithms and Systems for Constraints (TASC), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title: The 19th International Conference on Principles and Practice of Constraint Programming ; https://hal.science/hal-00904069 ; The 19th International Conference on Principles and Practice of Constraint Programming, Sep 2013, Uppsala, Sweden. TRICS'13 Workshop: Techniques foR Implementing Constraint programming Systems
Subject Terms: Constraint Programming Solvers, Finite Domains, Continuous Domains, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Relation: hal-00904069; https://hal.science/hal-00904069; https://hal.science/hal-00904069/document; https://hal.science/hal-00904069/file/Chocobex.pdf
Availability:
https://hal.science/hal-00904069
https://hal.science/hal-00904069/document
https://hal.science/hal-00904069/file/Chocobex.pdf
Contributors: Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Nationale des Sciences Appliquées Agadir (ENSA), Ecole Nationale des Sciences Appliquées d'Agadir, Agents, Apprentissage, Contraintes (COCONUT), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Mathématiques appliquées, Intelligence Artificielle et Reconnaissance de Formes (LIMIARF), Université Mohammed V de Rabat Agdal (UM5)
Superior Title: IEEE 24th International Conference on Tools with Artificial Intelligence ; ICTAI: International Conference on Tools with Artificial Intelligence ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748195 ; ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.33-40, ⟨10.1109/ICTAI.2012.14⟩ ; http://ictai12.unipi.gr/
Subject Terms: Maintaining arc consistency, Constraint reasoning, Distributed constraint solving, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: lirmm-00748195; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748195; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748195/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00748195/file/ictai12.pdf