Results 101 to 110 of about 137,153 (176)

A Dependently Typed Ambient Calculus

open access: yes, 2004
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to enforce elementary access control policies, expressed indirectly via ...
Lhoussaine, C., Sassone, V.
core  

Derivation of the Landau-Pekar Equations in a Many-Body Mean-Field Limit. [PDF]

open access: yesArch Ration Mech Anal, 2021
Leopold N, Mitrouskas D, Seiringer R.
europepmc   +1 more source

Smart Monte Carlo: Various tricks using Malliavin calculus [PDF]

open access: yes
Current Monte Carlo pricing engines may face computational challenge for the Greeks, because of not only their time consumption but also their poor convergence when using a finite difference estimate with a brute force perturbation.
Eric Benhamou
core  

Home - About - Disclaimer - Privacy