Sciweavers

114 search results - page 14 / 23
» Integrated Analysis from Abstract Stochastic Process Algebra...
Sort
View
HAIS
2010
Springer
15 years 7 months ago
On the Use of a Hybrid Approach to Contrast Endmember Induction Algorithms
Abstract. In remote sensing hyperspectral image processing, identifying the constituent spectra (endmembers) of the materials in the image is a key procedure for further analysis. ...
Miguel A. Veganzones, Carmen Hernández
140
Voted
SAB
2010
Springer
140views Optimization» more  SAB 2010»
15 years 1 months ago
A Model of Symmetry Breaking in Collective Decision-Making
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
Heiko Hamann, Bernd Meyer, Thomas Schmickl, Karl C...
156
Voted
BMCBI
2010
150views more  BMCBI 2010»
15 years 2 months ago
Systematic calibration of a cell signaling network model
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
Kyoung Ae Kim, Sabrina L. Spencer, John G. Albeck,...
107
Voted
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 9 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
EOR
2007
101views more  EOR 2007»
15 years 2 months ago
Optimizing an objective function under a bivariate probability model
The motivation of this paper is to obtain an analytical closed form of a quadratic objective function arising from a stochastic decision process with bivariate exponential probabi...
Xavier Brusset, Nico M. Temme