757 search results - page 28 / 152 » Monte Carlo Model Checking |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
296
click to vote
Lecture Notes
Easy to follow lecture notes on Computational Physics.
IPMI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. Multi-figure m-reps allow us to represent and analyze a complex anatomical object by its parts, by relations among its parts, and by the object itself as a whole entity. ...
SIGGRAPH
1992
ACM
14 years 2 months ago
1992
ACM
We describe a physically-based Monte Carlo technique for approximating bidirectional reflectance distribution functions (BRDFs) for a large class of geometries by directly simulat...
WSC
2000
13 years 11 months ago
2000
The calculation of value-at-risk (VAR) for large portfolios of complex instruments is among the most demanding and widespread computational challenges facing the financial industr...