Sciweavers

1086 search results - page 206 / 218
» Knowledge-based part correspondence
Sort
View
FUIN
2008
83views more  FUIN 2008»
13 years 8 months ago
Fault Diagnosis with Static and Dynamic Observers
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in t...
Franck Cassez, Stavros Tripakis
BMCBI
2006
104views more  BMCBI 2006»
13 years 8 months ago
Semi-supervised discovery of differential genes
Background: Various statistical scores have been proposed for evaluating the significance of genes that may exhibit differential expression between two or more controlled conditio...
Shigeyuki Oba, Shin Ishii
IANDC
2008
105views more  IANDC 2008»
13 years 8 months ago
Symbolic protocol analysis for monoidal equational theories
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
Stéphanie Delaune, Pascal Lafourcade, Denis...
EOR
2006
72views more  EOR 2006»
13 years 8 months ago
Experimental tour-based travel demand models
CT In this paper some experimental sequential models for the simulation of trip-chains are presented; the models have been calibrated on the base of a survey made in a medium-sized...
Demetrio C. Festa, Daniela Condino, Gabriella Mazz...
BMCBI
2007
121views more  BMCBI 2007»
13 years 8 months ago
e-Science and biological pathway semantics
Background: The development of e-Science presents a major set of opportunities and challenges for the future progress of biological and life scientific research. Major new tools a...
Joanne S. Luciano, Robert D. Stevens