Sciweavers

12373 search results - page 2347 / 2475
» Semi-Logarithmic Number Systems
Sort
View
ENTCS
2008
75views more  ENTCS 2008»
13 years 9 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn
ENTCS
2008
108views more  ENTCS 2008»
13 years 9 months ago
Modelling Dynamic Software Architectures using Typed Graph Grammars
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi...
ENVSOFT
2008
120views more  ENVSOFT 2008»
13 years 9 months ago
Extension and evaluation of sensitivity analysis capabilities in a photochemical model
The decoupled direct method in three dimensions (DDM-3D) provides an efficient and accurate approach for probing the sensitivity of atmospheric pollutant concentrations to various...
S. L. Napelenok, D. S. Cohan, M. T. Odman, S. Tons...
EOR
2008
93views more  EOR 2008»
13 years 9 months ago
Approximate methods for convex minimization problems with series-parallel structure
Consider a problem of minimizing a separable, strictly convex, monotone and differentiable function on a convex polyhedron generated by a system of m linear inequalities. The probl...
Adi Ben-Israel, Genrikh Levin, Yuri Levin, Boris R...
BIOINFORMATICS
2006
120views more  BIOINFORMATICS 2006»
13 years 9 months ago
Comparison of Affymetrix GeneChip expression measures
Motivation: In the Affymetrix GeneChip system, preprocessing occurs before one obtains expression level measurements. Because the number of competing preprocessing methods was lar...
Rafael A. Irizarry, Zhijin Wu, Harris A. Jaffee
« Prev « First page 2347 / 2475 Last » Next »