742 search results - page 116 / 149 » Classical conditioning |
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
SIAMAM
2010
13 years 8 months ago
2010
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
SIAMAM
2010
13 years 8 months ago
2010
We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immi...
SIAMDM
2010
13 years 8 months ago
2010
K¨orner and Malvenuto asked whether one can find n n/2 linear orderings (i.e., permutations) of the first n natural numbers such that any pair of them places two consecutive int...
SIAMJO
2010
13 years 8 months ago
2010
In this paper, we propose a hybrid Gauss-Newton structured BFGS method with a new update formula and a new switch criterion for the iterative matrix to solve nonlinear least square...