|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 91 publication records. Showing 90 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Simoncini, Kam Y. J. Zhang, Thomas Schiex, Sophie Barbe |
A structural homology approach for computational protein design with flexible backbone.  |
Bioinformatics  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex, Simon de Givry (eds.) |
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings |
CP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Viricel, Simon de Givry, Thomas Schiex, Sophie Barbe |
Cost function network-based design of protein-protein interactions: predicting changes in binding affinity. |
Bioinformatics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Simoncini, Sophie Barbe, Thomas Schiex, Sébastien Vérel |
Fitness landscape analysis around the optimum in computational protein design. |
GECCO |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex |
Triangle-based consistencies for cost function networks. |
Constraints |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Seydou Traoré, Kyle E. Roberts, David Allouche, Bruce Randall Donald, Isabelle André, Thomas Schiex, Sophie Barbe |
Fast search algorithms for computational protein design. |
Journal of Computational Chemistry |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu |
Tractability-preserving transformations of global cost functions. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Hurley 0001, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry |
Multi-language evaluation of exact solvers in graphical model discrete optimization. |
Constraints |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex |
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. |
CP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu |
Tractability and Decompositions of Global Cost Functions. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nathalie Peyrard, Simon de Givry, Alain Franc, Stéphane Robin, Régis Sabbadin, Thomas Schiex, Matthieu Vignes |
Exact and approximate inference in graphical models: variable elimination and beyond. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Thi Hong Hiep Nguyen, Thomas Schiex, Christian Bessiere |
Strong consistencies for weighted constraint satisfaction problems. |
Constraints |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Viricel, David Simoncini, David Allouche, Simon de Givry, Sophie Barbe, Thomas Schiex |
Approximate Counting with Deterministic Guarantees for Affinity Computation. |
MCO (2) |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki |
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. |
CP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven David Prestwich, Thomas Schiex, Seydou Traoré |
Computational protein design as an optimization problem. |
Artif. Intell. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Sallet, Jérôme Gouzy, Thomas Schiex |
EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes. |
Bioinformatics |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex |
Bounds Arc Consistency for Weighted CSPs. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere |
Maintaining Virtual Arc Consistency Dynamically during Search. |
ICTAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Seydou Traoré, David Allouche, Isabelle André, Simon de Givry, George Katsirelos, Thomas Schiex, Sophie Barbe |
A new framework for computational protein design through cost function network optimization. |
Bioinformatics |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex |
Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?" |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex |
A Constraint Satisfaction Approach to Decision under Uncertainty |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex |
Penalty logic and its Link with Dempster-Shafer Theory |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hiep Nguyen, Thomas Schiex, Christian Bessiere |
Dynamic virtual arc consistency. |
SAC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Audemard, Thomas Schiex, Thomas Faraut |
Detecting long tandem duplications in genomic sequences. |
BMC Bioinformatics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
From influence diagrams to multi-operator cluster DAGs. |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex |
Filtering Decomposable Global Cost Functions. |
AAAI |
2012 |
DBLP BibTeX RDF |
|
| 1 | David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex |
Computational Protein Design as a Cost Function Network Optimization Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex |
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex |
Le cadre PFU, un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités. |
Technique et Science Informatiques |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner |
Soft arc consistency revisited. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Meseguer, Francesca Rossi, Thomas Schiex |
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Simon de Givry, Thomas Schiex |
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex |
Bounds Arc Consistency for Weighted CSPs. |
J. Artif. Intell. Res. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Gouzy, Sébastien Carrère, Thomas Schiex |
FrameDP: sensitive peptide detection on noisy matured sequences. |
Bioinformatics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Sequential Decision-Making Problems - Representation and Solution. |
|
2009 |
RDF |
|
| 1 | Gérard Verfaillie, Thomas Schiex |
Constraint Satisfaction Problems. |
Decision-making Process |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex |
Russian Doll Search with Tree Decomposition. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Céline Noirot, Christine Gaspin, Thomas Schiex, Jérôme Gouzy |
LeARN: a platform for detecting, clustering and annotating non-coding RNAs. |
BMC Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex |
2006 and 2007 Max-SAT Evaluations: Contributed Instances. |
JSAT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex |
DARN! A Weighted Constraint Solver for RNA Motif Localization. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
DARN, RNA motif localization, ncRNA |
| 1 | Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex |
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Mendelian genotyping error detection, Complex pedigrees, Weighted constraint satisfaction, Genetics |
| 1 | Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki |
Virtual Arc Consistency for Weighted CSP. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Cédric Verfaillie, Thomas Schiex |
Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités. |
Revue d'Intelligence Artificielle |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain. |
Revue d'Intelligence Artificielle |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex |
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. |
J. Artif. Intell. Res. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, Christophe Hitte, Thomas Schiex |
A comparative genome approach to marker ordering. |
Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex |
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. |
CCIA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Martin C. Cooper, Simon de Givry, Thomas Schiex |
Optimal Soft Arc Consistency. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer, Francesca Rossi, Thomas Schiex |
Soft Constraints. |
Handbook of Constraint Programming |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Thébault, Simon de Givry, Thomas Schiex, Christine Gaspin |
Searching RNA motifs and their intermolecular contacts with constraint networks. |
Bioinformatics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Zytnicki, Christine Gaspin, Thomas Schiex |
A new local consistency for weighted CSP dedicated to long domains. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
bound arc consistency, weighted constraint satisfaction problem, local consistency |
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
From Influence Diagrams to Multi-operator Cluster DAGs. |
UAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon de Givry, Thomas Schiex, Gérard Verfaillie |
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex |
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Foissac, Thomas Schiex |
Integrating alternative splicing detection into gene prediction. |
BMC Bioinformatics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex |
CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping. |
Bioinformatics |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Thomas Schiex |
Solving weighted CSP by maintaining arc consistency. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Thomas Schiex |
Arc consistency for soft constraints. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex, Jérôme Gouzy, Annick Moisan, Yannick de Oliveira |
FrameD: a flexible program for quality check and gene prediction in prokaryotic genomes and noisy matured eukaryotic sequences. |
Nucleic Acids Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Foissac, Philippe Bardou, Annick Moisan, Marie-Josée Cros, Thomas Schiex |
EUGÈNE'HOM: a generic similarity-based gene finder using multiple homologous sequences. |
Nucleic Acids Research |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
Solving Max-SAT as Weighted CSP. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Thomas Schiex |
In the quest of the best form of local consistency for Weighted CSP. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin C. Cooper, Thomas Schiex |
Arc consistency for soft constraints |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan |
Boosting EM for Radiation Hybrid and Genetic Mapping. |
WABI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex, Annick Moisan, Pierre Rouzé |
EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. |
JOBIM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex |
Arc Consistency for Soft Constraints. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer, Thomas Schiex |
Maintaining Reversible DAC for Max-CSP. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners |
Radio Link Frequency Assignment. |
Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier |
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. |
Constraints |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex |
Nonmonotonic Reasoning: From Complexity to Algorithms. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex |
Introduction to a Benchmark Column in CONSTRAINTS. |
Constraints |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie |
Reversible DAC and Other Improvements for Solving Max-CSP. |
AAAI/IAAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Christine Gaspin |
CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. |
ISMB |
1997 |
DBLP BibTeX RDF |
|
| 1 | Simon de Givry, Gérard Verfaillie, Thomas Schiex |
Bounding the Optimum of Constraint Optimization Problems. |
CP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Gaspin, Thomas Schiex |
Genetic Algorithms for Genetic Mapping. |
Artificial Evolution |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Verfaillie, Michel Lemaître, Thomas Schiex |
Russian Doll Search for Solving Constraint Optimization Problems. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie |
Lazy Arc Consistency. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Hélène Fargier, Jérôme Lang, Thomas Schiex |
Mixed Constraint Satisfaction: A Framework for Decision Problems under Incomplete Knowledge. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex |
A constraint satisfaction framework for decision under uncertainty. |
UAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie |
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. |
Over-Constrained Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex, Hélène Fargier, Gérard Verfaillie |
Valued Constraint Satisfaction Problems: Hard and Easy Problems. |
IJCAI (1) |
1995 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Gérard Verfaillie |
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. |
International Journal on Artificial Intelligence Tools |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex |
Penalty Logic and its Link with Dempster-Shafer Theory. |
UAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gérard Verfaillie, Thomas Schiex |
Solution Reuse in Dynamic Constraint Satisfaction Problems. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Gérard Verfaillie |
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michel Cayrol, Olivier Palmade, Thomas Schiex |
A Fixed Point Semantics for the ATMS. |
J. Log. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex, Gérard Verfaillie |
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. |
ICTAI |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex |
Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". |
UAI |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #90 of 90 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license