depuis la mort de samuel beckett en 1989, le théâtre de langue néerlandaise, tant aux pays-bas qu’en belgique, a manifesté un nouvel intérêt pour ses pièces. à la haye en avril 1992, lors du festival prestigieux consacré à l’auteur, nous pûmes assister à la représentation d’en attendant godot d’après la traduction de jacoba van velde, fidèle aux exigences de l’auteur. un an après, le ntg à gand...

We study computational aspects of the nonparametric maximum likelihood estimator (NPMLE) for the distribution function of bivariate interval censored data. The computation of the NPMLE consists of two steps: a parameter reduction step and an optimization step. In this paper we focus on the reduction step. We introduce two new reduction algorithms: the Tree algorithm and the HeightMap algorithm....

Datatypes in PVS Sam Owre and Natarajan Shankar SRI International, Menlo Park, California National Aeronautics and Space Administration Langley Research Center Hampton, Virginia 23681-2199 Prepared for Langley Research Center under contract NAS 1-18969

We present fabrication and characterization of tungsten (W) heaters for thermo-optic tuning on silicon-on-insulator (SOI). The waferscale fabrication of these thermal tuners was done using standard complementary metal-oxide-semiconductor (CMOS) back-end fabrication materials and processes. Static and transient characterizations of heaters are presented. ©2014 Optical Society of America OCIS cod...