Sciweavers

3406 search results - page 78 / 682
» Computational models of classical conditioning
Sort
View
ICCAD
1996
IEEE
127views Hardware» more  ICCAD 1996»
15 years 8 months ago
Comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
TCAD
1998
95views more  TCAD 1998»
15 years 3 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
BIOCOMP
2006
15 years 5 months ago
Basic Reproductive Rate of a Spatial Epidemic Seir Model using Computer Algebra Software
The use of computer algebra software has many applications in diverse fields like epidemiology. This work pretends to show how computer algebra software applications for symbolic ...
Sebastian Guzmán, Juan Fernando Ospina
MICCAI
2005
Springer
15 years 9 months ago
Brain Shift Computation Using a Fully Nonlinear Biomechanical Model
Abstract. In the present study, fully nonlinear (i.e. accounting for both geometric and material nonlinearities) patient specific finite element brain model was applied to predict ...
Adam Wittek, Ron Kikinis, Simon K. Warfield, Karol...
ICML
2005
IEEE
16 years 4 months ago
Computational aspects of Bayesian partition models
The conditional distribution of a discrete variable y, given another discrete variable x, is often specified by assigning one multinomial distribution to each state of x. The cost...
Mikko Koivisto, Kismat Sood