2746 search results - page 392 / 550 » Bisubmodular Function Minimization |
130
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, phase combinations among martensitic variants in shape memory alloys patches and bars are simulated by a hybrid optimization methodology. The mathematical model is ...
178
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
—Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a...
108
click to vote
AMC
2005
15 years 3 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
118
click to vote
TITB
2008
15 years 3 months ago
2008
High throughput genome-wide RNAi screening is emerging as an essential tool to assist biologists in understanding complex cellular processes. The large number of images produced in...
127
click to vote
TMI
2008
15 years 3 months ago
2008
Contrast-enhanced magnetic resonance imaging (MRI) is useful to study the infiltration of cells in vivo. This research adopts ultrasmall superparamagnetic iron oxide (USPIO) parti...