New Approaches for Memristive Logic Computations / Aljafar, Muayad Jaafar, author.

A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications /

using a fuzzy logic controller to recover or maintain flight after a mechanical failure has occurred in

effect of parasitic components, which includes a +6/--3 V driving logic enhancing the noise immunity of

-based logic to produce a system capable of digitally fabricating complex objects and large-scale architectural