default search action
Thomas Schiex
Person information
- affiliation: INRA, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c46]Samuel Buchet, David Allouche, Simon de Givry, Thomas Schiex:
Bi-objective Discrete Graphical Model Optimization. CPAIOR (1) 2024: 136-152 - 2023
- [c45]Thomas Schiex:
Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 Variants Exploration (Invited Talk). CP 2023: 4:1-4:3 - [c44]Marianne Defresne, Sophie Barbe, Thomas Schiex:
Scalable Coupling of Deep Learning with Logical Reasoning. IJCAI 2023: 3615-3623 - [i11]Marianne Defresne, Sophie Barbe, Thomas Schiex:
Scalable Coupling of Deep Learning with Logical Reasoning. CoRR abs/2305.07617 (2023) - 2022
- [c43]Valentin Durante, George Katsirelos, Thomas Schiex:
Efficient Low Rank Convex Bounds for Pairwise Discrete Graphical Models. ICML 2022: 5726-5741 - [e2]Andrea Passerini, Thomas Schiex:
PAIS 2022 - 11th Conference on Prestigious Applications of Artificial Intelligence, 25 July 2022, Vienna, Austria (co-located with IJCAI-ECAI 2022). Frontiers in Artificial Intelligence and Applications 351, IOS Press 2022, ISBN 978-1-64368-294-5 [contents] - 2021
- [j41]Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex:
Guaranteed Diversity and Optimality in Cost Function Network Based Computational Protein Design Methods. Algorithms 14(6): 168 (2021) - [i10]Valentin Durante, George Katsirelos, Thomas Schiex:
Efficient semidefinite bounds for multi-label discrete graphical models. CoRR abs/2111.12491 (2021) - 2020
- [j40]Jelena Vucinic, David Simoncini, Manon Ruffini, Sophie Barbe, Thomas Schiex:
Positive multistate protein design. Bioinform. 36(1): 122-130 (2020) - [c42]Céline Brouard, Simon de Givry, Thomas Schiex:
Pushing Data into CP Models Using Graphical Model Learning and Solving. CP 2020: 811-827 - [c41]Martin C. Cooper, Simon de Givry, Thomas Schiex:
Graphical Models: Queries, Complexity, Algorithms (Tutorial). STACS 2020: 4:1-4:22 - [p2]Martin C. Cooper, Simon de Givry, Thomas Schiex:
Valued Constraint Satisfaction Problems. A Guided Tour of Artificial Intelligence Research (2) (II) 2020: 185-207
2010 – 2019
- 2019
- [j39]David Simoncini, Kam Y. J. Zhang, Thomas Schiex, Sophie Barbe:
A structural homology approach for computational protein design with flexible backbone. Bioinform. 35(14): 2418-2426 (2019) - [j38]Antoine Charpentier, David Mignon, Sophie Barbe, Juan Cortés, Thomas Schiex, Thomas Simonson, David Allouche:
Variable Neighborhood Search with Cost Function Networks To Solve Large Computational Protein Design Problems. J. Chem. Inf. Model. 59(1): 127-136 (2019) - [c40]Manon Ruffini, Jelena Vucinic, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex:
Guaranteed Diversity & Quality for the Weighted CSP. ICTAI 2019: 18-25 - [e1]Thomas Schiex, Simon de Givry:
Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Lecture Notes in Computer Science 11802, Springer 2019, ISBN 978-3-030-30047-0 [contents] - 2018
- [j37]Clément Viricel, Simon de Givry, Thomas Schiex, Sophie Barbe:
Cost function network-based design of protein-protein interactions: predicting changes in binding affinity. Bioinform. 34(15): 2581-2589 (2018) - [c39]David Simoncini, Sophie Barbe, Thomas Schiex, Sébastien Vérel:
Fitness landscape analysis around the optimum in computational protein design. GECCO 2018: 355-362 - 2017
- [j36]Hiep Nguyen, Christian Bessiere, Simon de Givry, Thomas Schiex:
Triangle-based consistencies for cost function networks. Constraints An Int. J. 22(2): 230-264 (2017) - 2016
- [j35]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. 238: 166-189 (2016) - [j34]Barry Hurley, 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 An Int. J. 21(3): 413-434 (2016) - [j33]Seydou Traoré, Kyle E. Roberts, David Allouche, Bruce Randall Donald, Isabelle André, Thomas Schiex, Sophie Barbe:
Fast search algorithms for computational protein design. J. Comput. Chem. 37(12): 1048-1058 (2016) - [c38]Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex:
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. CP 2016: 733-750 - 2015
- [j32]Thi Hong Hiep Nguyen, Thomas Schiex, Christian Bessiere:
Strong consistencies for weighted constraint satisfaction problems. Constraints An Int. J. 20(4): 471-472 (2015) - [c37]David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki:
Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP 2015: 12-29 - [c36]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: 165-176 - [i9]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 abs/1502.02414 (2015) - [i8]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 abs/1506.08544 (2015) - 2014
- [j31]David Allouche, Isabelle André, Sophie Barbe, Jessica Davies, Simon de Givry, George Katsirelos, Barry O'Sullivan, Steven D. Prestwich, Thomas Schiex, Seydou Traoré:
Computational protein design as an optimization problem. Artif. Intell. 212: 59-79 (2014) - [j30]Erika Sallet, Jérôme Gouzy, Thomas Schiex:
EuGene-PP: a next-generation automated annotation pipeline for prokaryotic genomes. Bioinform. 30(18): 2659-2661 (2014) - [c35]Hiep Nguyen, Simon de Givry, Thomas Schiex, Christian Bessiere:
Maintaining Virtual Arc Consistency Dynamically during Search. ICTAI 2014: 8-15 - [i7]Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex:
Bounds Arc Consistency for Weighted CSPs. CoRR abs/1401.3481 (2014) - 2013
- [j29]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. Bioinform. 29(17): 2129-2136 (2013) - [c34]Hiep Nguyen, Thomas Schiex, Christian Bessiere:
Dynamic virtual arc consistency. SAC 2013: 98-103 - [i6]Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex:
A Constraint Satisfaction Approach to Decision under Uncertainty. CoRR abs/1302.4946 (2013) - [i5]Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex:
Penalty logic and its Link with Dempster-Shafer Theory. CoRR abs/1302.6804 (2013) - [i4]Thomas Schiex:
Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?". CoRR abs/1303.5427 (2013) - 2012
- [j28]Eric Audemard, Thomas Schiex, Thomas Faraut:
Detecting long tandem duplications in genomic sequences. BMC Bioinform. 13: 83 (2012) - [c33]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: 407-413 - [c32]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: 840-849 - [i3]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
From influence diagrams to multi-operator cluster DAGs. CoRR abs/1206.6844 (2012) - 2011
- [c31]Aurélie Favier, Simon de Givry, Andrés Legarra, Thomas Schiex:
Pairwise Decomposition for Combinatorial Optimization in Graphical Models. IJCAI 2011: 2126-2132 - [i2]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. CoRR abs/1110.2741 (2011) - 2010
- [j27]Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki, Tomás Werner:
Soft arc consistency revisited. Artif. Intell. 174(7-8): 449-478 (2010) - [j26]Pedro Meseguer, Francesca Rossi, Thomas Schiex:
Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning. Constraints An Int. J. 15(4): 453-455 (2010) - [j25]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. Tech. Sci. Informatiques 29(1): 85-114 (2010) - [c30]David Allouche, Simon de Givry, Thomas Schiex:
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP. CP 2010: 53-60
2000 – 2009
- 2009
- [b1]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
Sequential Decision-Making Problems - Representation and Solution. Wiley 2009, ISBN 978-1-84821-174-2, pp. I-XVI, 1-325 - [j24]Jérôme Gouzy, Sébastien Carrère, Thomas Schiex:
FrameDP: sensitive peptide detection on noisy matured sequences. Bioinform. 25(5): 670-671 (2009) - [j23]Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex:
Bounds Arc Consistency for Weighted CSPs. J. Artif. Intell. Res. 35: 593-621 (2009) - [c29]Martí Sánchez-Fibla, David Allouche, Simon de Givry, Thomas Schiex:
Russian Doll Search with Tree Decomposition. IJCAI 2009: 603-608 - [p1]Gérard Verfaillie, Thomas Schiex:
Constraint Satisfaction Problems. Decision-making Process 2009: 265-320 - 2008
- [j22]Céline Noirot, Christine Gaspin, Thomas Schiex, Jérôme Gouzy:
LeARN: a platform for detecting, clustering and annotating non-coding RNAs. BMC Bioinform. 9 (2008) - [j21]Matthias Zytnicki, Christine Gaspin, Thomas Schiex:
DARN! A Weighted Constraint Solver for RNA Motif Localization. Constraints An Int. J. 13(1-2): 91-109 (2008) - [j20]Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex:
Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques. Constraints An Int. J. 13(1-2): 130-154 (2008) - [j19]Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex:
2006 and 2007 Max-SAT Evaluations: Contributed Instances. J. Satisf. Boolean Model. Comput. 4(2-4): 239-250 (2008) - [c28]Martin C. Cooper, Simon de Givry, Martí Sánchez-Fibla, Thomas Schiex, Matthias Zytnicki:
Virtual Arc Consistency for Weighted CSP. AAAI 2008: 253-258 - 2007
- [j18]Thomas Faraut, Simon de Givry, Patrick Chabrier, Thomas Derrien, Francis Galibert, Christophe Hitte, Thomas Schiex:
A comparative genome approach to marker ordering. Bioinform. 23(2): 50-56 (2007) - [j17]Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities. J. Artif. Intell. Res. 29: 421-489 (2007) - [j16]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. Rev. d'Intelligence Artif. 21(3): 419-448 (2007) - [j15]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. Rev. d'Intelligence Artif. 21(4): 459-488 (2007) - [c27]Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex:
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques. CCIA 2007: 29-37 - [c26]Martin C. Cooper, Simon de Givry, Thomas Schiex:
Optimal Soft Arc Consistency. IJCAI 2007: 68-73 - 2006
- [j14]Patricia Thébault, Simon de Givry, Thomas Schiex, Christine Gaspin:
Searching RNA motifs and their intermolecular contacts with constraint networks. Bioinform. 22(17): 2074-2080 (2006) - [c25]Simon de Givry, Thomas Schiex, Gérard Verfaillie:
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP. AAAI 2006: 22-27 - [c24]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models. CP 2006: 437-452 - [c23]Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI 2006: 427-431 - [c22]Matthias Zytnicki, Christine Gaspin, Thomas Schiex:
A new local consistency for weighted CSP dedicated to long domains. SAC 2006: 394-398 - [c21]Cédric Pralet, Thomas Schiex, Gérard Verfaillie:
From Influence Diagrams to Multi-operator Cluster DAGs. UAI 2006 - [r1]Pedro Meseguer, Francesca Rossi, Thomas Schiex:
Soft Constraints. Handbook of Constraint Programming 2006: 281-328 - 2005
- [j13]Simon de Givry, Martin Bouchez, Patrick Chabrier, Denis Milan, Thomas Schiex:
CARHTA GENE: multipopulation integrated genetic and radiation hybrid mapping. Bioinform. 21(8): 1703-1704 (2005) - [j12]Sylvain Foissac, Thomas Schiex:
Integrating alternative splicing detection into gene prediction. BMC Bioinform. 6: 25 (2005) - 2004
- [j11]Martin C. Cooper, Thomas Schiex:
Arc consistency for soft constraints. Artif. Intell. 154(1-2): 199-227 (2004) - [j10]Javier Larrosa, Thomas Schiex:
Solving weighted CSP by maintaining arc consistency. Artif. Intell. 159(1-2): 1-26 (2004) - 2003
- [j9]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 Res. 31(13): 3738-3741 (2003) - [j8]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 Res. 31(13): 3742-3745 (2003) - [c20]Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex:
Solving Max-SAT as Weighted CSP. CP 2003: 363-376 - [c19]Javier Larrosa, Thomas Schiex:
In the quest of the best form of local consistency for Weighted CSP. IJCAI 2003: 239-244 - 2001
- [c18]Thomas Schiex, Patrick Chabrier, Martin Bouchez, Denis Milan:
Boosting EM for Radiation Hybrid and Genetic Mapping. WABI 2001: 41-51 - [i1]Martin C. Cooper, Thomas Schiex:
Arc consistency for soft constraints. CoRR cs.AI/0111038 (2001) - 2000
- [c17]Thomas Schiex:
Arc Consistency for Soft Constraints. CP 2000: 411-424 - [c16]Thomas Schiex, Annick Moisan, Pierre Rouzé:
EUGÈNE: An Eukaryotic Gene Finder That Combines Several Sources of Evidence. JOBIM 2000: 111-125
1990 – 1999
- 1999
- [j7]Javier Larrosa, Pedro Meseguer, Thomas Schiex:
Maintaining Reversible DAC for Max-CSP. Artif. Intell. 107(1): 149-163 (1999) - [j6]Bertrand Cabon, Simon de Givry, Lionel Lobjois, Thomas Schiex, Joost P. Warners:
Radio Link Frequency Assignment. Constraints An Int. J. 4(1): 79-89 (1999) - [j5]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 An Int. J. 4(3): 199-240 (1999) - 1998
- [j4]Claudette Cayrol, Marie-Christine Lagasquie-Schiex, Thomas Schiex:
Nonmonotonic Reasoning: From Complexity to Algorithms. Ann. Math. Artif. Intell. 22(3-4): 207-236 (1998) - [j3]Claude Le Pape, James M. Crawford, Barry Fox, Thomas Schiex:
Introduction to a Benchmark Column in CONSTRAINTS. Constraints An Int. J. 3(2/3): 255-256 (1998) - [c15]Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie:
Reversible DAC and Other Improvements for Solving Max-CSP. AAAI/IAAI 1998: 347-352 - 1997
- [c14]Christine Gaspin, Thomas Schiex:
Genetic Algorithms for Genetic Mapping. Artificial Evolution 1997: 145-156 - [c13]Simon de Givry, Gérard Verfaillie, Thomas Schiex:
Bounding the Optimum of Constraint Optimization Problems. CP 1997: 405-419 - [c12]Thomas Schiex, Christine Gaspin:
CARTHAGENE: Constructing and Joining Maximum Likelihood Genetic Maps. ISMB 1997: 258-267 - 1996
- [c11]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: 175-180 - [c10]Gérard Verfaillie, Michel Lemaître, Thomas Schiex:
Russian Doll Search for Solving Constraint Optimization Problems. AAAI/IAAI, Vol. 1 1996: 181-187 - [c9]Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie:
Lazy Arc Consistency. AAAI/IAAI, Vol. 1 1996: 216-221 - 1995
- [c8]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: 111-150 - [c7]Thomas Schiex, Hélène Fargier, Gérard Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) 1995: 631-639 - [c6]Hélène Fargier, Jérôme Lang, Roger Martin-Clouaire, Thomas Schiex:
A constraint satisfaction framework for decision under uncertainty. UAI 1995: 167-174 - 1994
- [j2]Thomas Schiex, Gérard Verfaillie:
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. Int. J. Artif. Intell. Tools 3(2): 187-208 (1994) - [c5]Gérard Verfaillie, Thomas Schiex:
Solution Reuse in Dynamic Constraint Satisfaction Problems. AAAI 1994: 307-312 - [c4]Thomas Schiex, Gérard Verfaillie:
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording. ECAI 1994: 165-172 - [c3]Florence Dupin de Saint-Cyr, Jérôme Lang, Thomas Schiex:
Penalty Logic and its Link with Dempster-Shafer Theory. UAI 1994: 204-211 - 1993
- [j1]Michel Cayrol, Olivier Palmade, Thomas Schiex:
A Fixed Point Semantics for the ATMS. J. Log. Comput. 3(2): 115-130 (1993) - [c2]Thomas Schiex, Gérard Verfaillie:
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. ICTAI 1993: 48-55 - 1992
- [c1]Thomas Schiex:
Possibilistic Constraint Satisfaction Problems or "How to Handle Soft Constraints?". UAI 1992: 268-275
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 22:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint