Publications associées à Cycle de développement (logiciel)

The origin of early age expansions induced in cementitious materials containing shrinkage reducing admixtures

Karen Scrivener, Barbara Lothenbach, Patrick Juilland

Studies on the early-age shrinkage behavior of cement pastes, mortars, and concretes containing shrinkage reducing admixtures (SRAs) have indicated these mixtures frequently exhibit an expansion shortly after setting. While the magnitude of the expansion h ...

2011

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

Association for Computing Machinery2010

GEOME: Towards an integrated web-based landscape genomics platform

Stéphane Joost, Michaël Kalbermatten

The aim of the GEOME project is to develop a WebGIS-based platform for the integrated analysis of environmental, ecological and molecular data through the implementation of an original set of combined databases, spatial analysis and population genetics too ...

Instituto Politécnico de Bragança2010

Orbitally shaken bioreactors for mammalian cell culture

Xiaowei Zhang

Driven by the commercial success of recombinant biopharmaceuticals, there is an increasing demand for novel, cost-effective mammalian cell culture bioreactor systems for the production of biologicals requiring mammalian protein processing. Recently, orbita ...

EPFL2009

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

2009

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

2009

Analysis of cubic and orthorhombic C(3)A hydration in presence of gypsum and lime

Field emission scanning electron microscopy (FE-SEM) and X-ray diffraction (XRD) have been used to study the microstructural changes and phase development that take place during the hydration of cubic (pure) and orthorhombic (Na-doped) tricalcium aluminate ...

Springer Verlag2009

Integration of LCA in a thermo-economic model for multi-objective process optimization of SNG production from woody biomass

François Maréchal, Martin Gassner, Léda Gerber

This paper presents a methodology to integrate life cycle assessment (LCA) in models used to design energy conversion systems. It is illustrated by an application to a thermo-economic model for the multi-objective optimization of synthetic natural gas (SNG ...

2009

Integration of LCA in a thermo-economic model for multi-objective process optimization of SNG production from woody biomass

François Maréchal, Martin Gassner, Léda Gerber

This paper presents a methodology to integrate life cycle assessment (LCA) in models used to design energy conversion systems. It is illustrated by an application to a thermo-economic model for the multi-objective optimization of synthetic natural gas (SNG ...

2009

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

2008

Cycle de développement (logiciel)

The origin of early age expansions induced in cementitious materials containing shrinkage reducing admixtures

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

GEOME: Towards an integrated web-based landscape genomics platform

Orbitally shaken bioreactors for mammalian cell culture

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Analysis of cubic and orthorhombic C(3)A hydration in presence of gypsum and lime

Integration of LCA in a thermo-economic model for multi-objective process optimization of SNG production from woody biomass

Integration of LCA in a thermo-economic model for multi-objective process optimization of SNG production from woody biomass

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Graph Chatbot

Chattez avec Graph Search

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Orbitally shaken bioreactors for mammalian cell culture

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Analysis of cubic and orthorhombic C(3)A hydration in presence of gypsum and lime

Integration of LCA in a thermo-economic model for multi-objective process optimization of SNG production from woody biomass

The origin of early age expansions induced in cementitious materials containing shrinkage reducing admixtures

Integration of LCA in a thermo-economic model for multi-objective process optimization of SNG production from woody biomass

GEOME: Towards an integrated web-based landscape genomics platform