Sud

Results: 5933



#Item
1Cloud infrastructure / IBM cloud computing / Computing / Cloud computing

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
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
    3Theoretical 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

    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
    4Differentiation rules / Number theory / Polynomials / Lie algebras / Smooth functions

    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
    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
      6Theoretical computer science / Logic in computer science / NP-complete problems / Electronic design automation / Formal methods / Constraint programming / Satisfiability modulo theories / Solver / Benchmark / Unsatisfiable core / Lis

      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
      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
          9Cloud infrastructure / IBM cloud computing / Computing / Cloud computing

          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
          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
            UPDATE