Search
Now showing items 11-20 of 123
Formal Verification Methodology for Asynchronous Sleep Convention Logic Circuits Based on Equivalence Verification
(North Dakota State University, 2019)
Sleep Convention Logic (SCL) is an emerging ultra-low power Quasi-Delay Insensitive (QDI) asynchronous design paradigm with enormous potential for industrial applications. Design validation is a critical concern before ...
Design of High Power Density Switched Capacitor DC-DC Converter
(North Dakota State University, 2017)
Design and implementation of high power density and high efficiency dc-dc converters has been a primary component for reducing energy cost. Traditionally dc-dc converters are composed with silicon based technology that has ...
Effects of Alternating Current Electrical Stimulation on the Cellular Chemistry and Proliferation of C2C12 Muscle Cells
(North Dakota State University, 2016)
The objective of this study was to investigate the effects of electrical stimulation on the cellular chemistry and proliferation of C2C12 muscle cell line. The cells were cultured under the condition of AC electrical ...
Investigation of the Effects of Radio Frequency Exposure on Mice
(North Dakota State University, 2017)
Video summarizing a Ph.D. dissertation for a non-specialist audience.
Contextualization in Large-Scale Social Networks
(North Dakota State University, 2014)
Social computing-based applications provide a coherent medium through which people can be interactive and socialize by developing a Web-based communication channel that integrates different Social Networking Services (SNSs) ...
Embracing Visual Experience and Data Knowledge: Efficient Embedded Memory Design for Big Videos and Deep Learning
(North Dakota State University, 2019)
Energy efficient memory designs are becoming increasingly important, especially for applications related to mobile video technology and machine learning. The growing popularity of smart phones, tablets and other mobile ...
Wireless Health Monitor Design
(North Dakota State University, 2012)
In this thesis, a Wireless Health Monitor system for novel spacesuit verification and tests is presented. This system monitors the operator's health-related vital parameters and incorporates data acquisition, collecting ...
Timed Refinement for Verification of Real-Time Object Code Programs
(North Dakota State University, 2018)
Real-time systems such as medical devices, surgical robots, and microprocessors are safety- critical applications that have hard timing constraint. The correctness of real-time systems is important as the failure may result ...
An Electrically Small, Wireless Sensor Platform Designed for Arbitrary Orientation
(North Dakota State University, 2013)
Wireless sensors are currently used for data collection where it is either too dangerous and/or menial for a human to collect the data or impractical to use wired devices. Current wireless sensors are either too expensive ...
Dummy TSV-Based Timing Optimization for 3D On-Chip Memory
(North Dakota State University, 2016)
Design and fabrication of three-dimensional (3D) ICs is one the newest and hottest trends in semiconductor manufacturing industry. In 3D ICs, multiple 2D silicon dies are stacked vertically, and through silicon vias (TSVs) ...