Search
Now showing items 11-20 of 69
Synthesis of Specifications and Refinement Maps for Real-Time Object Code Verification
(North Dakota State University, 2020)
Formal verification methods have been shown to be very effective in finding corner-case bugs and ensuring the safety of embedded software systems. The use of formal verification requires a specification, which is typically ...
Utilization of Interdigitated Microelectrodes and Dielectrophoresis for Biosensing, Bio Molecule Manipulation and Biomanufacturing Therapeutic Cells
(North Dakota State University, 2020)
Microelectrode arrays (MEA) and microfluidic systems are two of the most used technologies in Lab-on-a-chip (LOC) applications. These integrated and miniaturized systems are said to offer significant advantages in medical ...
Bit Optimized Reconfigurable Network (BORN): A New Pathway Towards Implementing a Fully Integrated Band-Switchable CMOS Power Amplifier
(North Dakota State University, 2020)
The ultimate goal of the modern wireless communication industry is the full integration of digital, analog, and radio frequency (RF) functions. The most successful solution for such demands has been complementary metal ...
Analyses, Mitigation and Applications of Secure Hash Algorithms
(North Dakota State University, 2020)
Cryptographic hash functions are one of the widely used cryptographic primitives with a purpose to ensure the integrity of the system or data. Hash functions are also utilized in conjunction with digital signatures to ...
Transformation Electromagnetics/Optics for Designing and Scanning Antenna Arrays
(North Dakota State University, 2021)
Recent developments in engineered electromagnetic materials, also known as metamaterials paved the way for new design approaches of unique and incomprehensible electromagnetic devices and structures using electromagnetic ...
Adaptive Beamforming for Antennas on General Wedge- and Cylindrical-Shaped Surfaces
(North Dakota State University, 2014)
Adaptive beamforming antennas capable of accommodating the growing number of wireless subscribers throughout the world has become an essential part of modern wireless systems. In this work, the beamforming of a conformal ...
Weak Power Grid Analysis for Renewable Energy Sources Integration
(North Dakota State University, 2019)
Weakness analysis based on grid strength assessment is useful for identifying potential weak grid issues. However, when taking into account the impact of the interactions among Renewable Energy Sources (RESs), the weakness ...
Perceptual Video Quality Model and its Application in Wireless Multimedia Communications
(North Dakota State University, 2015)
With the exponential growth of video traffic over wireless networked and embedded
devices such as mobile phones and sensors, mechanisms are needed to predict the perceptual
quality of video in real time and with low ...
Conformal Antennas and Arrays with Layers Consisting of Copper and Graphene-based Conductors for Redundancy Properties
(North Dakota State University, 2017)
Graphene is a new promising material with unique electrical, mechanical, optical and thermal characteristics. The use of graphene in the design of an antenna and other electromagnetic passive devices would be beneficial ...
Characterization of a Structure Consisting of Magnetostatic Responsive Microscopic Particles and Its Applications In Antennas
(North Dakota State University, 2015)
Wireless communication systems often require that a single antenna work
at different frequencies. Thus the recon gurable antennas are useful in frequency
agile environments to receive a signal over multiple bands. Research ...