Nitro compounds are an important class of organic molecules with broad application in synthesis, medicinal chemistry, and materials science. Among the variety methodologies available for their direct oxidation primary amines represents attractive alternative route. Efforts towards development oxidative procedures synthesis nitro derivatives have spanned over past decades, leading to a wide prot...

This brief paper presents new conditions for the existence and design of reduced-order linear functional state observers for linear systems with unknown inputs. Systematic procedures for the synthesis of reduced-order functional observers are given. Numerical examples are given to illustrate the attractiveness and simplicity of the new design procedures.

In this paper we address the problem of automatic synthesis of decision procedures. We evaluate our ideas on ground arithmetic and Fourier/Motzkin decision procedure for linear arithmetic, but the approach can be applied to other domains as well. The approach is well-suited to the proofplanning paradigm. The synthesis mechanism consists of several stages and sub-mechanisms. Some of these steps ...

To cope with the problems of technology scaling, a robust design has become desirable. Self-checking circuits combined with rollback or repair strategies can provide a low cost solution for many applications. However, standard synthesis procedures may violate design constraints or lead to sub-optimal designs. The SAT-based strategies for the verification and synthesis of selfchecking circuits p...

Semiconductor crystals smaller than about 10 nm, known as quantum dots, have properties that differ from large samples, including a bandgap that becomes larger for smaller particles. These properties create several applications for quantum dots, including efficient solar cells and qubits for quantum computing. Various synthesis procedures have been proposed and implemented, including chemical s...

The synthesis of nonsymmetrical polyamines (PAs) has, up to now, been problematic due to lengthy synthetic procedures, lack of regioselectivity, and very poor atom economy. An innovative synthetic protocol for nonsymmetrical PAs using a modified Ugi reaction ( N-split Ugi) which simplifies the synthesis of these tricky compounds is described. We believe that this new synthesis may open the door...