In this paper we consider linear, lumped, finite networks composed of interconnections of time-variable and passive resistances, capacitances, inductances, gyrators and transformers. We assume an impedance matrix port description of the network is given and solve the problem of synthesising the impedance, that is, we determine a set of passive elements and a scheme of interconnection which yiel...

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 ...

We apply logic program development technology to deene abstract proof procedures, in the form of logic programs, for computing the admissibility semantics for default reasoning proposed in 2]. The proof procedures are derived from a formal speciication. The derivation guarantees the soundness of the proof procedures. The completeness of the proof procedures is shown by employing a technique of ...

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 particularly the technique of rippling BSvH + 93], to a new domain, that of meta-theoretic procedures. This approach starts by providing an alternative characterisation of validity; the proofs of the correctness of th...

Convenient and simple procedures for the synthesis of functionalized Quinoxaline derivatives were developed via one-pot four-component reaction of o-aminoanilin, acetylenic ester, and malonyl dichloride in the presence of K2 CO3 as effective base catalyst. These compounds widely are used in various industries like paint, pharmaceutical and medicine. Quinoxaline derivatives are also part of anti...

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a well-defined class of specifications. They should also support unbounded data types such as numbers and data structures. We propose to generalize decis...

a simple and green synthesis of α-hydroxy phosphonates has been performed by reaction between aldehydes and triethyl phosphite using sodium dodecylphosphonate as anionic surfactant in micellar media under reflux conditions. the novel structures were recognized by 1h nmr, 13c nmr and 31p-nmr. the employ of green media, clean reaction profiles, simple experimental and work up procedures and high ...

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...