118 search results - page 14 / 24 » A Computational Approach to Pocklington Certificates in Type... |
SMI
2005
IEEE
14 years 2 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
SIAMSC
2010
13 years 7 months ago
2010
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
New forms of social affective applications are emerging, bringing with them challenges in design and evaluation. We report on one such application, conveying wellbeing for both pe...