Sciweavers

4341 search results - page 746 / 869
» Quantitative Model checking
Sort
View
144
Voted
BIOCOMP
2006
15 years 7 months ago
Membrane Remodeling and Diffusion of Cytochrome C from a Geometrically Idealized Mitochondrial Crista
In healthy eukaryotic cells, mitochondria have an outer membrane that surrounds a complex inner membrane structure [7,8]. Cytochrome c is found in the space between the two membra...
John Manor, Peter Salamon, James Nulton, Joseph Ma...
SCS
2003
15 years 7 months ago
A New Component Concept for Fault Trees
The decomposition of complex systems into manageable parts is an essential principle when dealing with complex technical systems. However, many safety and reliability modelling te...
Bernhard Kaiser, Peter Liggesmeyer, Oliver Mä...
161
Voted
BMCBI
2008
158views more  BMCBI 2008»
15 years 6 months ago
LC-MSsim - a simulation software for liquid chromatography mass spectrometry data
Background: Mass Spectrometry coupled to Liquid Chromatography (LC-MS) is commonly used to analyze the protein content of biological samples in large scale studies. The data resul...
Ole Schulz-Trieglaff, Nico Pfeifer, Clemens Gr&oum...
147
Voted
BMCBI
2007
126views more  BMCBI 2007»
15 years 6 months ago
Including probe-level uncertainty in model-based gene expression clustering
Background: Clustering is an important analysis performed on microarray gene expression data since it groups genes which have similar expression patterns and enables the explorati...
Xuejun Liu, Kevin K. Lin, Bogi Andersen, Magnus Ra...
160
Voted
BMCBI
2008
128views more  BMCBI 2008»
15 years 6 months ago
HAPSIMU: a genetic simulation platform for population-based association studies
Background: Population structure is an important cause leading to inconsistent results in population-based association studies (PBAS) of human diseases. Various statistical method...
Feng Zhang, Jianfeng Liu, Jie Chen, Hong-Wen Deng