We study the continuation passing style (CPS) transform and its generalization, the computational transform, in which the notion of computation is generalized from continuation passing to an arbitrary one. To establish a relation between direct style and continuation passing style interpretation of sequential call-by-value programs, we prove the Retraction Theorem which says that a lambda term ...

The purpose of the series is to make available to specialists and the interested public the results of research that, because of its unconventional or controversial nature, might otherwise go unpublished. The editor actively encourages younger, not yet well established, scholars and independent authors to submit manuscripts for consideration. Contributions in any of the major scholarly language...

Any planar resistor (channel) close to a conducting layer left floating (gate) forms a capacitor C whose thermal voltage noise (kT/C noise) has a backgating effect on the sheet resistance of the channel that is a powerful source of 1/f resistance noise in planar resistors and, hence, in planar devices. This 1/f spectrum is created by the bias voltage VDS applied to the resistor, which is a dist...

This deliverable is performed within the scope of the SURFnet Research on Networking (RoN) project. These deliverables are partly written by students of the University of Twente.

A yield enhanced layout method for maximizing yield of integrated resistor networks with a fixed total area is discussed. This approach incorporates both random variations in the sheet resistance and random variations in the contact resistances. The concept of contact/sheet resistance crossover which gives the crossover between contact-resistance dominance and sheet resistance dominance is deve...

Micro-pattern gas detectors, such as the Gas Electron Multiplier (GEM) and the Micromegas need narrow high density anode readout elements to achieve good spatial resolution. A high-density anode readout would require an unmanageable number of electronics channels for certain potential micro-detector applications such as the Time Projection Chamber. We describe below a new technique to achieve g...

We have investigated Mn, Co and Ni substitution effects on polycrystalline samples of LaFePO0.95F0.05 by resistivity and magnetoresistance measurements. In LaFe1-xMxPO0.95F0.05 (M = Mn, Co and Ni), the superconducting transition temperature (Tc) monotonously decreases with increasing the impurity doping level of x. There is a clear difference of Tc suppression rates among Mn, Co and Ni doping c...

this study is considering a micropolar fluid flow over a porous stretching sheet in the presence of thermal radiation and uniform magnetic field. the effects of local variation in thermal conductivity of micropolar fluid on heat transfer rate from the sheet are investigated; besides, the impacts of radiation, magnetic field and porous sheet on variations of thermal boundary layer thickness are ...

In this study, the effect of SiO2 and TiO2 nanoparticles on the gas separation performance of the polyurethane (PU) membranes has investigated. Polyurethanes were synthesized by bulk two step polym...