709 search results - page 20 / 142 » An Equational Theory for Transactions |
97
Voted
SIAMADS
2010
14 years 7 months ago
2010
Neural or cortical fields are continuous assemblies of mesoscopic models, also called neural masses, of neural populations that are fundamental in the modeling of macroscopic parts...
109
Voted
IANDC
2008
15 years 22 days ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
128
click to vote
AAAI
1990
15 years 1 months ago
1990
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
104
click to vote
PEPM
2004
ACM
15 years 6 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
91
Voted
SIAMNUM
2010
14 years 7 months ago
2010
Semidiscrete finite element approximation of the linear stochastic wave equation with additive noise is studied in a semigroup framework. Optimal error estimates for the determinis...