Filtrer vos résultats
- 19
- 8
- 1
- 15
- 12
- 1
- 17
- 7
- 4
- 4
- 3
- 4
- 1
- 2
- 3
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 2
- 24
- 4
- 7
- 6
- 5
- 5
- 5
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 9
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
28 résultats
|
|
|
triés par
|
|
|
Domaines abstraits en programmation par contraintesInformatique [cs]. Université de Nantes (FR), 2012. Français. ⟨NNT : ⟩
Thèse
tel-03299271v1
|
||
|
|
Sonet Network Design Problems6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, ⟨10.4204/EPTCS.5.7⟩
Communication dans un congrès
hal-00482523v1
|
||
Identification of Dynamic Parameters for Gene Networks2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, France. pp.122-129
Communication dans un congrès
hal-02002503v1
|
|||
|
|
Towards a constraint system for round-off error analysis of floating-point computation24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Communication dans un congrès
hal-01956046v1
|
||
The octagon abstract domain for continuous constraintsConstraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩
Article dans une revue
hal-01147912v1
|
|||
|
|
Contraintes de cardinalité cachées dans les preuves d'insatisfaisabilité15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Communication dans un congrès
hal-02271389v1
|
||
Abstract Domains for Constraint Programming, with the Example of Octagons12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. pp.72-79, ⟨10.1109/SYNASC.2010.69⟩
Communication dans un congrès
hal-01147921v1
|
|||
|
|
Octagonal Domains for Continuous Constraints17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720
Communication dans un congrès
hal-00785598v1
|
||
|
|
Finding solutions by finding inconsistenciesCP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16
Communication dans un congrès
hal-01885769v1
|
||
|
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-01735167v1
|
||
|
|
A Constraint Solver based on Abstract DomainsVMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩
Communication dans un congrès
hal-00785604v1
|
||
|
|
Un solveur de contraintes basé sur les domaines abstraits9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268
Communication dans un congrès
hal-00925430v1
|
||
Scheduling agents using forecast call arrivals at Hydro-Quebec's call centers20th International Conference on Principles and Practice of Constraint Programming (CP 2014), Sep 2014, Lyon, France. pp.862-869, ⟨10.1007/978-3-319-10428-7_61⟩
Communication dans un congrès
hal-01112635v1
|
|||
|
|
Absence of correlation between ex vivo susceptibility to doxycycline and pfteQ–pfmdt gene polymorphism in French GuianaMalaria Journal, 2015, 14 (1), pp.286. ⟨10.1186/s12936-015-0788-y⟩
Article dans une revue
hal-01182758v1
|
||
Combination of Boxes and Polyhedra Abstractions for Constraint SolvingThe 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Communication dans un congrès
hal-02457083v1
|
|||
|
|
MDD Archive for Boosting the Pareto Constraint29th International Conference on Principles and Practice of Constraint Programming (CP 2023), Aug 2023, Toronto, Canada. pp.24:1--24:15, ⟨10.4230/LIPIcs.CP.2023.24⟩
Communication dans un congrès
hal-04241596v1
|
||
|
|
Generalized Confidence ConstraintsThe Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23), Feb 2023, Washignton DC, United States. pp.4078-4086, ⟨10.1609/aaai.v37i4.25523⟩
Communication dans un congrès
hal-04241624v1
|
||
|
|
Dealing with the product constraintLecture Notes in Computer Science, 2022, ⟨10.1007/978-3-031-08011-1_18⟩
Article dans une revue
hal-03766225v1
|
||
|
|
Correction to: Onset and Relapse of Juvenile Dermatomyositis Following Asymptomatic SARS-CoV-2 InfectionJournal of Clinical Immunology, 2022, 42 (1), pp.28-28. ⟨10.1007/s10875-021-01135-y⟩
Article dans une revue
hal-04198795v1
|
||
|
|
Asymptomatic and symptomatic SARS-CoV-2 infections elicit polyfunctional antibodiesCell Reports Medicine, 2021, 2 (5), pp.100275. ⟨10.1016/j.xcrm.2021.100275⟩
Article dans une revue
pasteur-03229805v1
|
||
Crustal structure of a young margin pair: New results across the Liguro-Provencal Basin from wide-angle seismic tomographyEarth and Planetary Science Letters, 2009, 286 (1-2), pp.333-345. ⟨10.1016/j.epsl.2009.07.001⟩
Article dans une revue
istex
hal-00460080v1
|
|||
|
|
Seroepidemiology of the Seasonal Human Coronaviruses NL63, 229E, OC43 and HKU1 in FranceOpen Forum Infectious Diseases, 2023, 10 (7), pp.1-9. ⟨10.1093/ofid/ofad340⟩
Article dans une revue
hal-04187240v1
|
||
|
|
Humoral immunity to SARS-CoV-2 and seasonal coronaviruses in children and adults in north-eastern FranceEBioMedicine, 2021, 70, pp.103495. ⟨10.1016/j.ebiom.2021.103495⟩
Article dans une revue
hal-03591559v1
|
||
|
|
Estimated protection against COVID-19 based on predicted neutralisation titres from multiple antibody measurements in a longitudinal cohort, France, April 2020 to November 2021Eurosurveillance, 2023, 28 (25), ⟨10.2807/1560-7917.ES.2023.28.25.2200681⟩
Article dans une revue
hal-04146212v1
|
||
|
|
Neutralising antibody responses to SARS-CoV-2 omicron among elderly nursing home residents following a booster dose of BNT162b2 vaccine: A community-based, prospective, longitudinal cohort studyEClinicalMedicine, 2022, 51, pp.101576. ⟨10.1016/j.eclinm.2022.101576⟩
Article dans une revue
hal-03740505v1
|
||
|
|
Birth of a large volcanic edifice offshore Mayotte via lithosphere-scale dyke intrusionNature Geoscience, 2021, 14 (10), pp.787-795. ⟨10.1038/s41561-021-00809-x⟩
Article dans une revue
hal-03409680v1
|
||
|
|
Mayotte seismic crisis: building knowledge in near real-time by combining land and ocean-bottom seismometers, first resultsGeophysical Journal International, 2021, 228 (2), pp.1281-1293. ⟨10.1093/gji/ggab392⟩
Article dans une revue
hal-03397108v1
|
||
|
|
Birth of a large volcanic edifice offshore Mayotte (Comoros Island, Western Indian Ocean)EGU General Assembly, May 2020, Virtual, France. ⟨10.5194/egusphere-egu2020-11307⟩
Communication dans un congrès
hal-03080273v1
|