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

Source URL: www.cloudbroker.com

• Cloud 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

Source URL: cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

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

Source URL: cubicle.lri.fr

Université Paris-Sud École Doctorale d’Informatiqe Laboratoire de Recherche en Informatiqe Discipline : Informatiqe

Source URL: mebsout.github.io

ORSAY No d’ordre : 2097 ´ DE PARIS-SUD 11 UNIVERSITE CENTRE D’ORSAY

Source URL: julien.signoles.free.fr

• Software engineering
• Computer programming
• Software
• Frama-C
• Formal methods
• Logic in computer science
• ACSL
• OCaml
• Runtime verification
• ANSI/ISO C Specification Language

Übertragbare Krankheiten Süd- und Mittelamerika und in der Karibik stark verbreitet. Die Infektion verläuft in den meisten Fällen harmlos, kann aber vereinzelt neurologische Komplikationen wie Mikrozephalie oder das

Source URL: www.bag.admin.ch

PDF Document

Source URL: www.actes-sud-junior.fr

PDF Document

Source URL: www.bingorive-sud.com

CONFERENCE « Quelle coopération régionale dans le Pacifique Sud ? » Université de la Nouvelle-Calédonie (Amphi Agniel) Jeudi 7 septembre à 13h30

Source URL: www.alliance-champlain.asso.nc

Checking Models, Proving Programs, and Testing Systems Marie-Claude Gaudel LRI, Université de Paris-Sud & CNRS July 2011

Source URL: www.tap2011.informatik.uni-bremen.de