A number of synthesis applications are made possible by automated tools for synthesis. Recent work has shown that SMT solvers, instead of just acting as subroutines for automated software synthesis tasks, can be instrumented to perform synthesis themselves. This paper focuses on some of the current challenges for developing fast and useful procedures in SMT solvers for the benefit of synthesis ...

In this work, we report on the synthesis of superparamagnetic iron oxide nanoparticles at room temperature using microemulsion template phase consisting of cyclohexane, water, CTAB as cationic surfactant and butanol as a cosurfactant. Surface modification have been carried out by using poly(ethyleneglycol) (PEG). The structure,morphology, and magnetic properties of the products were characteriz...

A simple, fast, efficient and environmentally friendly method for synthesis of benzimidazole and its 2-alkyl, aryl and heteroaryl substituted derivatives was developed using zeolite HY. Two component cyclolcondensation of 1,2-phenylenediamine (o-phenylenediamine) and commercially available carboxylic acids catalyzed by zeolite HY without any solvent, under microwave irradiation led to formation...

In this work, we report on the synthesis of superparamagnetic iron oxide nanoparticles at room temperature using microemulsion template phase consisting of cyclohexane, water, CTAB as cationic surfactant and butanol as a cosurfactant. Surface modification have been carried out by using poly(ethyleneglycol) (PEG). The structure,morphology, and magnetic properties of the products were characteriz...

Face sketch synthesis plays an important role in both digital entertainment and law enforcement. It generally consists of two parts: neighbor selection and reconstruction weight representation. State-of-the-art face sketch synthesis methods perform neighbor selection online in a data-driven manner by K nearest neighbor (K-NN) searching. However, the online search increases the time consuming fo...

We developed a system including two modules: the texture analysis module and the texture synthesis module. The analysis module is capable of analyzing an input image and performing training using this image data. The properties of principal component analysis (PCA) are used to reduce the dimensions of the data representation and to recombine the appearance of the features. Additionally, the vec...

This paper describes a new method for analysis/synthesis of textures using a non-parametric multi-resolution approach able to reproduce efficiently the generative stochastic process of a wide class of real texture images. This is realized through a new data structure the Antipole Tree and a suitable research strategy able to outperform both the classical linear full-search heuristic and the TSV...

In this paper we present an approach for mapping RTL structures onto FPGAs. This is in contrast to other FPGA mapping techniques which start from boolean networks. Each component part consists of single-hit or multi-bit slice of one or more closely connected RTL components and are realized using one or more CLBs. For Otis mapping onto CLBs, primarily function decomposition is employed. Conditio...