In this paper we present a new one-dimensional shape matching technique based on elastic deformation of a model or template. Deformations of the given template are introduced as a way to improve the matching with the image data. A trade-o is made between the amount of deformation and a gure of merit that accounts for the match. This approach yields a new optimization functional so that the opti...

We present an approach for inferring symbolic resource bounds for purely functional programs consisting of recursive functions, algebraic data types and nonlinear arithmetic operations. In our approach, the developer specifies the desired shape of the bound as a program expression containing numerical holes which we refer to as templates. For e.g, time ≤ a ∗ height(tree) + b where a, b are unkn...

Ordered mesoporous MnCo2O4 nanomaterials were successfully prepared through the nanocasting route using SBA-15 and KIT-6 as hard templates. These mesoporous nanomaterials were characterized using XRD, BET, TEM, NH3-TPD, H2-TPR, NO-TPD, XPS and DRIFT. The low temperature selective catalytic reduction (SCR) activity of NO with NH3 was investigated, which revealed that 3D-MnCo2O4 using KIT-6 as a ...

Polycrystalline CuInSe2 (CISe) nanorods are promising for the fabrication of highly efficient active layers in solar cells. In this work we report on a nanocasting approach, which uses track-etched polycarbonate films as hard templates for obtaining three-dimensionally (3D) arranged CISe nanorod arrays. Copper and indium ketoacidoximato complexes and selenourea were employed as molecular precur...

The emergence of porous organic polymers (POPs) has provided great opportunities for new applications in heterogeneous catalysis owing to their unprecedented intrinsic structural features such as high surface areas, extraordinary framework stabilities and chemically adjustable compositions. In this tutorial review, representative recent developments in the POPs-based catalysts with hierarchical...

The paradigm shift to service management opens a new dimension in management. In this paper we address the issue of dynamic service provisioning. The vision is that users would be able to review a set of services or service packages, select or customize a package, whereupon a service provider checks the request, clicks an “execute” button, and the services are turned on, monitored and managed. ...

Although self-assembly (SA) in two dimensions (2D) is highly developed (especially using surfaces as a templates), SA in three dimensions (3D) has been more difficult. This paper describes a strategy for SA in 3D of diamagnetic plastic objects (mmto cm-sized in this work, but in principle in sizes from 10 mm to m) supported in a paramagnetic fluid by a non-uniform magnetic field. The magnetic f...

Single crystalline indium nanowires were prepared on Zn substrate which had been treated in concentrated sulphuric acid by galvanic displacement in the 0.002 mol L-1In2(SO4)3-0.002 mol L-1SeO2-0.02 mol L-1SDS-0.01 mol L-1citric acid aqueous solution. The typical diameter of indium nanowires is 30 nm and most of the nanowires are over 30 μm in length. XRD, HRTEM, SAED and structural simulation c...

Although residue-residue contact maps dictate the topology of proteins, sequence-based ab initio contact predictions have been found little use in actual structure prediction due to the low accuracy. We developed a composite set of nine SVM-based contact predictors that are used in I-TASSER simulation in combination with sparse template contact restraints. When testing the strategy on 273 nonho...

Nanoporous Au-Fe alloy was synthesized via a wet chemistry route using ordered nanoporous silica as a hard template. The nanoporous Au-Fe consisted of aligned arrays of nanopores that were uniform in composition and ordered in hexagonal lattice, whereas Au-Fe nanoparticles synthesized without templates exhibited broad dispersions in the chemical composition and/or particle size. Nanoporous Au-F...