Sciweavers

11182 search results - page 2182 / 2237
» Shape Analysis of Sets
Sort
View
ENTCS
2008
103views more  ENTCS 2008»
13 years 9 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
ENVSOFT
2008
55views more  ENVSOFT 2008»
13 years 9 months ago
A simple algorithm for yield estimates: Evaluation for semi-arid irrigated winter wheat monitored with green leaf area index
In this study we investigated the perspective offered by coupling a simple vegetation growth model and ground-based remotely-sensed data for the monitoring of wheat production. A ...
Benoît Duchemin, Philippe Maisongrande, Gill...
FSS
2008
130views more  FSS 2008»
13 years 9 months ago
A fuzzy k-partitions model for categorical data and its comparison to the GoM model
The grade of membership (GoM) model uses fuzzy sets as memberships of each individual to extreme profiles (or classes) on the likelihood function of multivariate multinomial distr...
Miin-Shen Yang, Yu-Hsuan Chiang, Chiu-Chi Chen, Ch...
BMCBI
2006
131views more  BMCBI 2006»
13 years 9 months ago
SIMAGE: simulation of DNA-microarray gene expression data
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
Casper J. Albers, Ritsert C. Jansen, Jan Kok, Osca...
BMCBI
2006
184views more  BMCBI 2006»
13 years 9 months ago
PathSys: integrating molecular interaction graphs for systems biology
Background: The goal of information integration in systems biology is to combine information from a number of databases and data sets, which are obtained from both high and low th...
Michael Baitaluk, Xufei Qian, Shubhada Godbole, Al...
« Prev « First page 2182 / 2237 Last » Next »