757 search results - page 28 / 152 » Monte Carlo Model Checking |
114
Voted
IFIP
2004
Springer
15 years 7 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...
486
click to vote
Lecture Notes
Easy to follow lecture notes on Computational Physics.
116
Voted
IPMI
2005
Springer
16 years 3 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. ...
118
click to vote
SIGGRAPH
1992
ACM
15 years 6 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...
105
click to vote
WSC
2000
15 years 3 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...