Sud - PDFSEARCH.IO - Document Search Engine

Sud
Results: 5933

#	Item
1	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
2	Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name Add to Reading List Source URL: ejcim2018.sciencesconf.org Language: French - Date: 2018-04-03 08:40:55
3	10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015): Rules and Procedures Sylvain Conchon Paris-Sud University France Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2016-05-20 07:13:03 Theoretical computer science Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Benchmark Solver Lis Standard Performance Evaluation Corporation
4	CC(X): Efficiently Combining Equalities and Solvable Theories without Canonizers Sylvain Conchon, Evelyne Contejean and Johannes Kanig ProVal Project Universit´e Paris Sud / CNRS / INRIA Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-13 04:34:22 Differentiation rules Number theory Polynomials Lie algebras Smooth functions
5	Université Paris-Sud École Doctorale d’Informatiqe Laboratoire de Recherche en Informatiqe Discipline : Informatiqe Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-11-05 08:00:52
6	11th International Satisfiability Modulo Theories Competition (SMT-COMP 2016): Rules and Procedures Sylvain Conchon Paris-Sud University France Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-10-23 05:42:15 Theoretical computer science Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
7	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: cubicle.lri.fr Language: French - Date: 2014-11-05 08:01:04
8	V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
9	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: cloudbroker.com Language: English - Date: 2011-06-23 06:55:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
10	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15