In an earlier paper, we described a method for synthesising recursive logic procedures from their rst-order logic speciications. The method is practical because it is strictly top-down and has been implemented as part of a user-guided synthesis system in Prolog. We have used the system to synthe-sise procedures for a wide variety of algorithms, including a large family of recursive sorting proc...

This paper presents synthesis results for distributed controllers for interconnected linear time-invariant systems. The setting of the paper is in discrete time. A parameterization of the closed-loop system is used for interconnected systems and distributed static state feedback controllers with an interconnection structure that can be chosen arbitrary in the design phase. Based on conditions f...

universitt a di genova facoltt a di ingegneria dipartimento informatica sistemistica telematica Preprint 0 (1998) ?{? We present an approach to the automatic construction of decision procedures, via a detailed example in propositional logic. The approach adapts the methods of proof-planning and the heuristics for induction to a new domain, that of meta-theoretic procedures. This approach starts...

this article will review the essential chemical structure of ida derivatives and their biokinetic characteristics as the hepatobiliary agents. the article also presents the procedures of synthesis, formulation and quality control of mebrofenin (brida) as a 99mtc-radiopharmaceuticai kit which is produced in radioisotope division of n.r.c. 99mtc-brida has extremely low renal excretion and hence g...

A simple highly versatile and efficient sonochemical synthesis of 1,2,4,5-tetrasubstituted and 2,4,5-trisubstituted imidazoles is achieved by condensation of 1,2-dicarbonyl compound, aldehyde, ammonium acetate and primary amine using antimony trichloride immobilized on silica gel (SiO2-OSbCl2) as a catalyst in ethanol at moderate temperature. Operational simplicity, practicability and applicabi...

A simple highly versatile and efficient sonochemical synthesis of 1,2,4,5-tetrasubstituted and 2,4,5-trisubstituted imidazoles is achieved by condensation of 1,2-dicarbonyl compound, aldehyde, ammonium acetate and primary amine using antimony trichloride immobilized on silica gel (SiO2-OSbCl2) as a catalyst in ethanol at moderate temperature. Operational simplicity, practicability and applicabi...

Nanosilica periodic acid (nano-SPIA) is found to be a new, powerful, and reusable heterogeneous catalyst for the rapid synthesis of 2-naphtholazo dyes via diazotization of aromatic amines and followsazo coupling with 2-naphthol under solvent-free conditions at room temperature by grinding. Eco-friendly, heterogeneous reaction conditions, high stability of diazonium salt, simple experimental pro...