Sciweavers

1523 search results - page 245 / 305
» Partially ordered secretaries
Sort
View
132
Voted
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 5 months ago
2-D Analysis of Enhancement of Analytes Adsorption Due to Flow Stirring by Electrothermal Force in The Microcantilever Sensor
Ac electrokinetic flows are commonly used for manipulating micron-scale particles in a biosensor system. At the solid-liquid state there are two kinds of processes in the reaction...
Ming-Chih Wu, Jeng-Shian Chang, Chih-Kai Yang
142
Voted
ESWA
2008
113views more  ESWA 2008»
15 years 5 months ago
Taxonomy alignment for interoperability between heterogeneous virtual organizations
Resources in virtual organizations are classified based on their local taxonomies. However, heterogeneity between these taxonomies is a serious problem for efficient cooperation p...
Jason J. Jung
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 5 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
155
Voted
COMBINATORICA
2006
137views more  COMBINATORICA 2006»
15 years 5 months ago
Extremal Problems For Transversals In Graphs With Bounded Degree
We introduce and discuss generalizations of the problem of independent transversals. Given a graph property R, we investigate whether any graph of maximum degree at most d with a ...
Tibor Szabó, Gábor Tardos
CSDA
2006
90views more  CSDA 2006»
15 years 5 months ago
Comparing two binary diagnostic tests in the presence of verification bias
The comparison of the accuracy of two binary diagnostic tests has traditionally required knowledge of the real state of the disease in all of the patients in the sample via the ap...
José Antonio Roldán Nofuentes, Juan ...