Lossless asymmetric single instruction multiple data codec

This report introduces a new lossless asymmetric single instruction multiple data codec designed for extremely efficient decompression of large satellite images. A throughput in excess of 3GB/s allows decompression to proceed in parallel with asynchronous transfers from fast block devices such as disk arrays. This is made possible by a simple and fast single instruction multiple data entropy coder that removes leading null bits. Our main contribution is a new approach for vectorized prediction and encoding. Unlike previous approaches that treat the entropy coder as a black box, we account for its properties in the design of the predictor. The resulting compressed stream is 1.2 to 1.5 times as large as JPEG‐2000, but can be decompressed 100 times as quickly – even faster than copying uncompressed data in memory. Applications include streaming decompression for out of core visualization. To the best of our knowledge, this is the first entirely vectorized algorithm for lossless compression. Copyright © 2011 John Wiley & Sons, Ltd.     

Observation of a half-quantum-flux periodicity pattern in an rf SQUID with small critical currents

We have found experimentally that rf SQUID's working in a nonhysteretic mode with small critical currents give exactly at resonance and at very low rf bias a triangular pattern with a period equal to half of one elementary quantum of magnetic flux. We discuss a possible explanation of this peculiar result.     

Nodal DG-FEM solution of high-order Boussinesq-type equations

A discontinuous Galerkin finite-element method (DG-FEM) solution to a set of high-order Boussinesq-type equations for modelling highly nonlinear and dispersive water waves in one horizontal dimension is presented. The continuous equations are discretized using nodal polynomial basis functions of arbitrary order in space on each element of an unstructured computational domain. A fourth-order explicit Runge-Kutta scheme is used to advance the solution in time. Methods for introducing artificial damping to control mild nonlinear instabilities are also discussed. The accuracy and convergence of the model with both h (grid size) and p (order) refinement are confirmed for the linearized equations, and calculations are provided for two nonlinear test cases in one horizontal dimension: harmonic generation over a submerged bar, and reflection of a steep solitary wave from a vertical wall. Test cases for two horizontal dimensions will be considered in future work.     

High Order Finite Difference Approximations of Electromagnetic Wave Propagation Close to Material Discontinuities

Electromagnetic wave propagation close to a material discontinuity is simulated by using summation by part operators of second, fourth and sixth order accuracy. The interface conditions at the discontinuity are imposed by the simultaneous approximation term procedure. Stability is shown and the order of accuracy is verified numerically.     

A functional correspondence between call-by-need evaluators and lazy abstract machines

We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.     

Copper‐Free Clickable Coatings

The copper‐catalyzed azide–alkyne 1,3‐dipolar cycloaddition (CuAAC) is extensively used for the functionalization of well‐defined polymeric materials. However, the necessity for copper, which is inherently toxic, limits the potential applications of these materials in the area of biology and biomedicine. Therefore, the first entirely copper‐free procedure for the synthesis of clickable coatings for the immobilization of functional molecules is reported. In the first step, azide‐functional coatings are prepared by thermal crosslinking of side‐chain azide‐functional polymers and dialkyne linkers. In a second step, three copper‐free click reactions (i.e., the Staudinger ligation, the dibenzocyclooctyne‐based strain‐promoted azide–alkyne [3+2] cycloaddition, and the methyl‐oxanorbornadiene‐based tandem cycloaddition?retro‐Diels?Alder (crDA) reaction) are used to functionalize the azide‐containing surfaces with fluorescent probes, allowing qualitative comparison with the traditional CuAAC.     

Engineering the Thermoelectrical Properties of PEDOT:PSS by Alkali Metal Ion Effect

Engineering the electrical properties of poly(3,4-ethylenedioxythiophene):poly(styrenesulfonate)(PEDOT:PSS)holds great potential for various applications such a...