The call-by-need lambda calculus [PDF]
, 1998 We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus.
Maraist, John +2 more
core +1 more source
Near-infrared spectroscopic cathodoluminescence imaging polarimetry on silicon photonic crystal waveguides [PDF]
, 2016 We measure polarization- and wavelength-resolved spectra and spatial emission intensity distributions from silicon photonic crystal waveguides in the near-infrared spectral range using spectroscopic cathodoluminescence imaging polarimetry.
Beggs, Daryl M. +4 more
core +1 more source
The multi-thermal and multi-stranded nature of coronal rain [PDF]
, 2017 We analyze coordinated observations of coronal rain in loops, spanning chromospheric, transition region (TR), and coronal temperatures with sub-arcsecond spatial resolution.
Antolin, P. +4 more
core +1 more source
Modern Russian Literature: Between the Assessments of the Experts and the Requests of the Audience [PDF]
, 2020 This article describes some of the features of contemporary Russian literary processes. Contemporary Russian literature presents vast number of authors and works.
Pavlova, Aleksandra
core +3 more sources
Influence of the Antarctic ozone hole on the polar mesopause region as simulated by the Canadian Middle Atmosphere Model [PDF]
, 2012 It is well established that variations in polar stratospheric winds can affect mesospheric temperatures through changes in the filtering of gravity wave fluxes, which drive a residual circulation in the mesosphere.
Jonsson, A. I. +3 more
core +1 more source
Pictograms for conveying medicine instructions: comprehension in various South African language groups [PDF]
, 2004 The comprehension of medicine instructions is essential for the safe and effective use of medicines. In cases where low literacy constitutes a possible barrier to understanding written medicine information fully, the inclusion of pictograms may ...
Dowse, R, Ehlers, M
core +1 more source
Géochimie, degrés d'évolution et lithodépendance des cuirasses ferrugineuses de la région de Gaoua au Burkina Faso [PDF]
, 1989 Cet article présente une étude géomorphologique, pétrographique et géochimique des cuirasses ferrugineuses de la région de Gaoua (Burkina Faso). Les résultats des analyses minéralogiques et chimiques permettent de caractériser différentes familles de ...
Boeglin, Jean-Loup, Mazaltarim, D.
core
The shrinkage approach in the combination of forecasts [PDF]
, 2000 An unbiased point estimator T for an unknown parameter q can be improved in the sense of the Mean Squared Error (MSE) by T T l= l for suitable factors l. Here, we want to discuss this approach in the context of combination of forecasts.
Wenzel, Thomas
core +1 more source
SOX11 Is a Biomarker for Cyclin D1-Negative Mantle Cell Lymphoma [PDF]
, 2016 Cyclin D1 (CCND1) protein overexpression and/or the t(11;14)(q13;q32) translocation are the pathognomonic hallmarks of mantle cell lymphoma (MCL).
Alkayem, Mohammad +2 more
core +2 more sources
Annihilation of low energy antiprotons in silicon
, 2014 The goal of the AE$\mathrm{\bar{g}}$IS experiment at the Antiproton Decelerator (AD) at CERN, is to measure directly the Earth's gravitational acceleration on antimatter.
Aghion, S. +58 more
core +1 more source