nano technology has a large number of applications in different fields of science and technology. nano particle are the tiny particles which are being used in upcoming technology due to their small size and high capability. the properties of nanoparticles depend largely on their synthesis procedures. there are different methods for the synthesis of nano particles using different conditions. in ...

A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents the first synthesis procedures for 1) algebraic data types and 2) arrays. Our procedures are reductions that lift a synthesis procedure for the elements into synthesis procedures f...

a water soluble, bronsted acid, 5-sulfosalicylic acid as an efficient organocatalyst was used for the synthesis of physiologically active 2-substituted benzimidazole derivatives from o-phenylenediamine and aromatic aldehydes in ethanol at reflux condition. cost-effectiveness, use of non-hazardous solvents, metal free and commercially available catalyst, single-step, environmentally friendly gre...

A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structures. Our procedures are reductions that lift a synthesis procedure for the elements into synthesis procedures for containers storing these elem...

Two dimensional silver(I) coordination polymer, [Ag(μ5-T4S)]n (1), (T4S- = toluene-4-sulfonate), has been synthesized and characterized by Inductively Coupled Plasma (ICP) and elemental analyses, IR spectroscopy and powder X-ray diffraction. This compound was calcined at 450, 500 and 700 °C in a furnace and static atmosphere of air. The resultin...

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succeed for a well-defined class of specifications. We propose to systematically generalize decision procedures into synthesis procedures, and us...