Engineering Dissertations and Theses: Recent submissions
Now showing items 441-460 of 1055
-
Content-Based Access Control
(University of Kansas, 2015-05-31)In conventional database, the most popular access control model specifies policies explicitly for each role of every user against each data object manually. Nowadays, in large-scale content-centric data sharing, conventional ... -
Mechanisms of Adsorption and Surface-Mediated Aggregation of Intrinsically Disordered Protein Tau at Model Surfaces
(University of Kansas, 2015-05-31)The adsorption and aggregation of an intrinsically disordered soluble protein, tau, into insoluble filaments is a defining hallmark of many neurodegenerative diseases, commonly referred to as tauopathies. In its native ... -
Theorem Provers as Libraries -- An Approach to Formally Verifying Functional Programs
(University of Kansas, 2015-05-31)Property-directed verification of functional programs tends to take one of two paths. First, is the traditional testing approach, where properties are expressed in the original programming language and checked with a ... -
Cosimulation of Linear Feedback Postural Sway Model to Explore the Effects of Parkinson’s Disease
(University of Kansas, 2015-05-31)The focus of this study was to design and develop a postural sway model using cosimulation of ADAMS dynamic modelling software and Simulink as the control system. This model could then be used to study the biomechanics and ... -
Evaluating the Accuracy of Speed and Volume Data Obtained via Traffic Detection and Monitoring Devices
(University of Kansas, 2015-05-31)One of the most controversial topics facing traffic engineers, departments of transportation, and transportation agencies is using an appropriate device in collecting accurate traffic data without creating any negative ... -
HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler
(University of Kansas, 2015-05-31)It is difficult to write programs which are both correct and fast. A promising approach, functional programming, is based on the idea of using pure, mathematical functions to construct programs. With effort, it is possible ... -
The Effect of Pulsed Injection on Shear Layer Dynamics in a Scramjet Combustion Chamber
(University of Kansas, 2015-05-31)One of the greatest problems that scramjet research faces is fuel air mixing. The residence time for a scramjet engine, or the time it takes for a volume of air to completely pass through the engine, is on the order of 0.1 ... -
Application of Half Spaces in Bounding Wireless Internet Signals for use in Indoor Positioning
(University of Kansas, 2015-05-31)The problem of outdoor positioning has been largely solved via the use of GPS. This thesis addresses the problem of determining position in areas where GPS is unavailable. No clear solution exists for indoor localization ... -
Airside Economizer Low Limit Effect on Energy and Thermal Comfort
(University of Kansas, 2015-05-31)A continuous effort exists within the heating, ventilating, and air conditioning industry to not only enhance thermal comfort within indoor environments, but also for developing more energy efficient systems. An airside ... -
Fractal Analysis of Center of Pressure Velocity Time Series in Parkinson's Disease
(University of Kansas, 2015-08-31)Abstract The purpose of this study was to test the sensitivity of system parameters of the Center of Pressure velocity (COPv) time series using Detrended Fluctuation Analysis to pre-clinical postural instability (PI) in ... -
Exploring Causes of Performance Overhead During Dynamic Binary Translation
(University of Kansas, 2015-08-31)Dynamic Binary Translators (DBT) have applications ranging from program portability, instrumentation, optimizations, and improving software security. To achieve these goals and maintain control over the application's ... -
A Global Discretization Approach to Handle Numerical Attributes as Preprocessing
(University of Kansas, 2015-08-31)Discretization is a common technique to handle numerical attributes in data mining, and it divides continuous values into several intervals by defining multiple thresholds. Decision tree learning algorithms, such as C4.5 ... -
Application of Linear Stochastic Models in the Investigation of the Effects of Parkinson’s Disease on the Cop Time Series
(University of Kansas, 2015-08-31)The primary objective of this study was to use linear stochastic modeling approach to investigate parameters which may be sensitive enough to detect and quantify the changes in postural instability (PI) related to the ... -
Evaluation of Grundfos CRE 15-3 Variable Speed Centrifugal Pump and Worthington Constant Speed Centrifugal Pump Applications in KU Steam Power Plant
(University of Kansas, 2015-08-31)Abstract: The applicability of Variable Frequency Drives (VFD) has been widely used to substantially contribute to energy consumption savings. These savings have been achieved for a relatively low static head, especially ... -
Resilient behavior and permanent deformations of triaxial geogrid stabilized bases over weak subgrade
(University of Kansas, 2015-08-31)Geogrid has been playing an important role in solving geotechnical problems such as paved/unpaved roads constructed on weak subgrade. Geogrid provides lateral confinement to resist the lateral movement of aggregates by the ... -
A Comparison of the Quality of Rule Induction from Inconsistent Data Sets and Incomplete Data Sets
(University of Kansas, 2015-08-31)In data mining, decision rules induced from known examples are used to classify unseen cases. There are various rule induction algorithms, such as LEM1 (Learning from Examples Module version 1), LEM2 (Learning from Examples ... -
Development of a Decision Matrix and Specifications for Portable Temporary Rumble Strips
(University of Kansas, 2015-08-31)The objective of this thesis was to develop specifications for portable, reusable temporary rumble strips for their applications in different work zone settings in Kansas. A detailed literature review and a closed-course ... -
Evaluation of Portable Traffic Signals in Conjunction with Pilot Car Operations at Two-Lane, Two-Way Temporary Rural Work Zones in Kansas
(University of Kansas, 2015-08-31)The primary objective of this study was to evaluate the use of Portable Traffic Signal (PTS) systems at long rural two-lane work zones and compare three different conditions for controlling one-lane traffic: flagging only, ... -
Combustion Performance of Waste-Derived Fuels with respect to Ultra-Low Sulfur Diesel in a Compression Ignition Engine
(University of Kansas, 2015-08-31)The ever increasing energy demand along with fast depleting non-renewable fossil fuels and global climate change has led to a search for sustainable energy resources. Fuels produced from waste, like plastic solid waste and ... -
Evaluation of the Intersection Confirmation Light With Targeted Enforcement to Reduce Red Light Running Violations at Freeway Ramp Intersections
(University of Kansas, 2015-08-31)ABSTRACT Red Light Running (RLR) at signalized intersections continues to be a safety concern for many communities in the United States. The Insurance Institute for Highway Safety (IIHS) reported a total of 683 fatalities ...