Computer Engineering Commons^™

Book Review: Iphone And Ios Forensics: Investigation, Analysis And Mobile Security For Apple Iphone, Ipad And Ios Devices, Christopher Schulte

Journal of Digital Forensics, Security and Law

These are exciting times for Digital Forensics practitioners. While our examinations of mobile devices (including cell phones and tablet computers) continue to bring new and sometimes hair-pulling challenges into our labs and on-site engagements, research and understanding of these tiny computers is increasing at what seems an exponential rate. This is especially true in the iOS (Apple Computer’s mobile operating system that powers the iPhone, iPad, iPod Touch and Apple TV) space. The diligent work of talented computer scientists in this field allows examiners everywhere to reap the benefits of easier, faster and more effective examinations that yield more accurate …

Investigating Modern Communication Technologies: The Effect Of Internet-Based Communication Technologies On The Investigation Process, Matthew Simon, Jill Slay

Journal of Digital Forensics, Security and Law

Communication technologies are commonplace in modern society. For many years there were only a handful of communication technologies provided by large companies, namely the Public Switched Telephone Network (PSTN) and mobile telephony; these can be referred to as traditional communication technologies. Over the lifetime of traditional communication technologies has been little technological evolution and as such, law enforcement developed sound methods for investigating targets using them. With the advent of communication technologies that use the Internet – Internet-based or contemporary communication technologies – law enforcement are faced with many challenges. This paper discusses these challenges and their potential impact. It …

Do We Need M&S Science?, Jose J. Padilla, Saikou Y. Diallo, Andreas Tolk

VMASC Publications

No abstract provided.

Algorithms For Training Large-Scale Linear Programming Support Vector Regression And Classification, Pablo Rivas Perea

Open Access Theses & Dissertations

The main contribution of this dissertation is the development of a method to train a Support Vector Regression (SVR) model for the large-scale case where the number of training samples supersedes the computational resources. The proposed scheme consists of posing the SVR problem entirely as a Linear Programming (LP) problem and on the development of a sequential optimization method based on variables decomposition, constraints decomposition, and the use of primal-dual interior point methods. Experimental results demonstrate that the proposed approach has comparable performance with other SV-based classifiers. Particularly, experiments demonstrate that as the problem size increases, the sparser the solution …

Efficient Channel Allocation And Medium Access Organization Algorithms For Vehicular Networking, Zaydoun Yahya Rawashdeh

Wayne State University Dissertations

Due to the limited bandwidth available for Vehicular Ad-hoc Networks (VANETs), organizing the wireless channel access to efficiently use the bandwidth is one of the main challenges in VANET. In this dissertation, we focus on channel allocation and media access organization for Vehicle-to-Roadside Units (V2R) and Vehicle-to-Vehicle (V2V) communications. An efficient channel allocation algorithm for Roadside Unit (RSU) access is proposed. The goal of the algorithm is to increase system throughput by admitting more tasks (vehicles) and at the same time reduce the risk of the admitted tasks. The algorithm admits the new requests only when their requirements can be …

Development Of Load Balancing Algorithm Based On Analysis Of Multi-Core Architecture On Beowulf Cluster, Damian Valles

Open Access Theses & Dissertations

In this work, analysis, and modeling were employed to improve the Linux Scheduler for HPC use. The performance throughput of a single compute-node of the 23 node Beowulf cluster, Virgo 2.0, was analyzed to find bottlenecks and limitations that affected performance in the processing hardware where each compute-node consisted of two quad-core processors with eight gigabytes of memory. The analysis was performed using the High Performance Linpack (HPL) benchmark.

In addition, the processing hardware of the compute-node was modeled using an Instruction per Cycle (IPC) metric that was estimated using linear regression. Modeling data was obtained by using the Tuning …

Measuring Uncertainty Of Protein Secondary Structure, Alan Eugene Herner

Browse all Theses and Dissertations

This dissertation develops and demonstrates a method to measure the uncertainty of secondary structure of protein sequences using Shannon's information theory. This method is applied to a newly developed large dataset of chameleon sequences and to several protein hinges culled from the Hinge Atlas. The uncertainty of the central residue in each tripeptide is computed for each amino acid in a sequence using Cuff and Barton's CB513 as the reference set. It is shown that while secondary structure uncertainty is relatively high in chameleon regions [avg = 1.27 bits] it is relatively low in the regions 1-7 residues nearest a …

A User Centered Design And Prototype Of A Mobile Reading Device For The Visually Impaired, Robert B. Keefer

Browse all Theses and Dissertations

While mobile reading devices have been on the market and investigated by researchers in recent years, there is still work required to make these devices highly accessible to the visually impaired. A usability test with one such device revealed gaps in the current state of the art devices. These gaps focus mostly on the user interaction and his or her ability to quickly consume written reading material. In this dissertation a voice user interface (VUI) is presented that improves the ability of a blind user of a mobile reading device to interact with written material. The image processing techniques required …

3-D Model Characterization And Identification From Intrinsic Landmarks, John L. Camp

Browse all Theses and Dissertations

A method to automatically characterize and identify 3-D range scans based on intrinsic landmarks is presented. Intrinsic landmarks represent locally unique, intrinsic properties of a scanned surface, regardless of scale or rotation. The number, location, and characteristics of landmarks are used to characterize the scanned models. This method contains a selection process to identify stable, intrinsic landmarks for range scans as well as the identification of those scans. The selection process requires no user interaction or surface assumptions. It uses the principal curvatures at the range points to select the landmarks. First, a large number of landmarks are generated by …

Development Of Visualization Facility At The Gis And Remote Sensing Core Lab, University Of Nevada, Las Vegas, Haroon Stephen, William J. Smith, Zhongwei Liu

Public Policy and Leadership Faculty Presentations

Visualization using advanced computational and graphic equipment has become a standard way of present day research. Availability of low cost and fast processing units, high resolution displays with graphic processing units, and specialized software has brought complex visualization capabilities to an office desktop. Nevertheless, when dealing with large datasets such as, global climate, geospatial, and social data the office desktop falls short and calls for a centralized visualization facility with high end computing and graphics equipment.

Visualization Facility at GIS and Remote Sensing Core Lab would be a useful and important addition to the UNLV IT infrastructure. It would provide …

A Study On Influence Of Borax To Polyester Insulators, Aysel Ersoy, Ayten Kuntman

Turkish Journal of Electrical Engineering and Computer Sciences

In this study the effect of borax on polyester insulators is investigated by evaluating the tracking and erosion resistance using the inclined plane test. The test procedure follows the ASTM D2303 standard. During the test, 50 Hz current was acquired from the ground electrode allowing a sampling rate of 48000 samples per second. The effect of borax concentration on the glass transition and the degradation temperature is studied by employing differential scanning calorimetry (DSC) analysis. The addition of borax to the unsaturated polyester resulted in an increase in the glass transition temperature, while the addition of 0.5% of borax by …

Design Of Cdba-Based Active Polyphase Filter For Low-If Receiver Applications, Mehmet Sağbaş

Turkish Journal of Electrical Engineering and Computer Sciences

A novel first-order active-RC polyphase filter section, using current differencing buffered amplifiers (CDBAs), is presented. The section uses 6 resistors, 2 capacitors, and 2 CDBAs. The transfer function of the proposed section has a single pole and optionally a single zero. Increasing the number of cascading sections, any higher order polyphase filter can be realized. This paper also introduces the leakage caused by element deviation and the effects of the amplifier in nonideal cases. Furthermore, nonideal performances of the proposed filter section are tested with PSpice simulations.

A Novel Expression For Resonant Length Obtained By Using Artificial Bee Colony Algorithm In Calculating Resonant Frequency Of C-Shaped Compact Microstrip Antennas, Ali̇ Akdağli, Mustafa Berkan Bi̇çer, Seda Ermi̇ş

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a novel and simple expression for resonant length to calculate the resonant frequency of C-shaped compact microstrip antennas operating on UHF band applications. C-shaped compact microstrip antennas with different physical dimensions and electrical parameters were simulated by means of a software package that employs the method of finite difference time domain. With the aid of the artificial bee colony algorithm, an expression for the resonant length depending on physical dimensions was constructed by using simulation data. The resonant length expression provided less than 1.6% error on average over the simulated 144 antennas. A comparison between the results …

Ellipsoid Based L_2 Controller Design For Lpv Systems With Saturating Actuators, İbrahi̇m Beklan Küçükdemi̇ral, Levent Ucun, Yavuz Eren, Haluk Görgün, Gali̇p Cansever

Turkish Journal of Electrical Engineering and Computer Sciences

This paper addresses the L_2 gain control problem for disturbance attenuation in Linear Parameter Varying (LPV) Systems having saturating actuators when the system is subjected to L_2 disturbances. In the presented method, saturating actuator is expressed analytically with a convex hull of some linear feedback which let us construct L_2 control problem via Linear Matrix Inequalities (LMIs) which are obtained by some ellipsoids. It is shown that the stability and disturbance rejection capabilities of the control system are all measured by means of these nested ellipsoids where the inner ellipsoid covers the initial conditions for states whereas the outer ellipsoid …

Model Predictive Controller Design Of Hydrocracker Reactors, Di̇la Gökçe

Turkish Journal of Electrical Engineering and Computer Sciences

This study summarizes the design of a Model Predictive Controller (MPC) in Tüpraş, İzmit Refinery Hydrocracker Unit Reactors. Hydrocracking process, in which heavy vacuum gasoil is converted into lighter and valuable products at high temperature and pressure is described briefly. Controller design description, identification and modeling studies are examined and the model variables are presented. WABT (Weighted Average Bed Temperature) equalization and conversion increase are simulated, results are discussed.

Design And Implementation Of A Voice-Controlled Prosthetic Hand, Musa Hakan Asyali, Mustafa Yilmaz, Mahmut Tokmakçi, Kanber Sedef, Beki̇r Hakan Aksebzeci̇, Rohin Mittal

Turkish Journal of Electrical Engineering and Computer Sciences

Current hand prostheses are mostly driven by electromyography (EMG) signal, and existing experiments have proved that multichannel EMG signal controls are not suitable due to early fatigue problems and high effort requirements to perform even simple activities. Therefore, in this study we present a new voice-controlled active hand prosthesis to perform several basic tasks. We first designed a novel multifingered prosthetic hand with the ability of picking up and releasing objects. The prosthetic hand employs 3 DC motors and gears to transfer motion to the linked iparts of the fingers. We used flexible thin-film resistive force sensors at the fingertips …

Papr Reduction Using Artificial Bee Colony Algorithm In Ofdm Systems, Necmi̇ Taşpinar, Dervi̇ş Karaboğa, Mahmut Yildirim, Bahri̇ye Akay

Turkish Journal of Electrical Engineering and Computer Sciences

Partial transmit sequence (PTS) is an attractive scheme for peak-to-average power ratio (PAPR) reduction in orthogonal frequency division multiplexing (OFDM) systems, but its high computational complexity to find optimum phase factors is the main drawback. In this paper, we propose PTS based on an artificial bee colony (ABC) algorithm (ABC-PTS) for reducing the computational complexity of the PTS in the OFDM system. The ABC-PTS was compared to conventional PTS using a random search strategy (RS-PTS) and optimum PTS. In addition, the bit error rate (BER) performance of the ABC-PTS was shown when a high power amplifier (HPA) was used for …

Stray Magnetic Field Distributed Around A Pmsm, Ali̇ Ahmed Adam, Kayhan Gülez, Seli̇m Köroğlu

Turkish Journal of Electrical Engineering and Computer Sciences

In this work, the low frequency electromagnetic emission from permanent magnet synchronous motors is studied. The main objective is to provide a safety region for humans in the vicinity of these motors, especially as these motors are now being used widely in inhabited areas, where high flux densities are expected. In this study, a new proposed equivalent magnetic circuit is used to estimate the stray fields at the surface of the motor. The analysis showed that the emission of the stray field in the radial direction depends on the permeability of the stator body. Low values of permeability may result …

New Srco With Explicit Current-Mode Output Using Two Ccs And Grounded Capacitors, D R. Bhaskar, Kasim K. Abdalla, Raj Senani

Turkish Journal of Electrical Engineering and Computer Sciences

A new Grounded-Capacitor Single Resistance Controlled Sinusoidal Oscillator (SRCO) with explicit current output using two Current Conveyors (CCs) and five passive elements is presented. The proposed circuit offers (i) independent control of condition of oscillation and frequency of oscillation, (ii) low active and passive sensitivities, (iii) use of both the grounded capacitors (suitable for IC implementation) and (iv) reasonably good frequency stability. The workability of the proposed configuration has been confirmed by the PSPICE simulations.

Imitation Of Basic Hand Preshapes By Fluid Based Method: Fluidics Formation Control, Umut Ti̇lki̇, İsmet Erkmen, Aydan Müşerref Erkmen

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, a new approach is developed, avoiding the correspondence problem caused by the difference in embodiment between imitator and demonstrator in imitation learning. In our work, the imitator is a fluidic system of dynamics totally different than the imitatee, which is a human performing hand gestures. The fluidic system is composed of fluid particles, which are used for the discretization of the problem domain. In this work, we demonstrate the fluidics formation control so as to imitate by observation basic hand preshaping features. Our fluidic formation control is based on setting suitable parameters of Smoothed Particle Hydrodynamics (SPH), …

Four Quadrant Fgmos Analog Multiplier, Si̇nem Keleş, Hulusi̇ Hakan Kuntman

Turkish Journal of Electrical Engineering and Computer Sciences

A novel four-quadrant analog multiplier using floating gate MOS (FGMOS) transistors operating in the saturation region is presented. The drain current is proportional to the square of the weighted sum of the input signals. This square law characteristic of the FGMOS transistor is used to implement the quarter square identity by utilizing only six FGMOS transistors. The main features of this remarkably simple multiplier circuit configuration are the large input signal range equal to 100% of the supply voltage, nonlinearity of 0.0081%, bandwidth of 1.4--1.5 Ghz and THD of maximum 2.67% (while the inputs are at their maximum values).

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

Towards Nominal Formal Languages, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We introduce formal languages over infinite alphabets where words may contain binders.We define the notions of nominal language, nominal monoid, and nominal regular expressions. Moreover, we extend history-dependent automata (HD-automata) by adding stack, and study the recognisability of nominal languages.

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

A Survey Of Contemporary Enterprise Storage Technologies From A Digital Forensics Perspective, Gregory H. Carlton, Joseph Matsumoto

Journal of Digital Forensics, Security and Law

As the proliferation of digital computational systems continue to expand, increasingly complex technologies emerge, including those regarding large, enterprise-wide, information storage and retrieval systems. Within this study, we examine four contemporary enterprise storage technologies. Our examination of these technologies is presented with an overview of the technological features of each offering and then followed with a discussion of the impact of these technologies on digital forensics methods, particularly regarding forensic data acquisition. We offer a general opinion concerning a recommended data acquisition method when faced with the task of obtaining a forensic image of data contained within these technologies, we …

Legal Issues Regarding Digital Forensic Examiners Third Party Consent To Search, Thomas Lonardo, Doug White, Tricia P. Martland, Alan Rea

Journal of Digital Forensics, Security and Law

This paper focuses on Federal law as it relates to consent to search relating to Fourth Amendment privacy in the practice of Digital Forensics. In particular, Digital Examiners should be aware of how decisions in Federal Court may impact their ability to acquire evidence in both civil and criminal settings. Digital Forensics, being a relatively new field, is particularly subject to change as cases and appeals are decided. This paper provides an overview of relevant case law relating to issues in Digital Forensics. More importantly, our research provides Digital Forensic Examiners (DFE), as defined by Lonardo, White, and Rea (2008, …

Exploring The Iphone Backup Made By Itunes, Mario Piccinelli, Paolo Gubian

Journal of Digital Forensics, Security and Law

Apple’s™ iPhone™ is one of the widest selling mobile on the market, thanks to its simple and user-friendly interface and ever growing pool of available high quality applications for both personal and business use. The increasing use of the iPhone leads forensics practitioners towards the need for tools to access and analyze the information stored in the device. This research aims at describing the process to forensically analyze a logical backup of an iPhone made by the Apple iTunes™ utility, understanding the backup’s structure, and creating a simple tool to automate the process of decoding and analyzing the data. In …

A Case Study In Forensic Analysis Of Control, Fred Cohen

Journal of Digital Forensics, Security and Law

This paper describes a case study in which a method for forensic analysis of control was applied to resolve probative technical issues in a legal action. It describes one instance in which the analysis was successfully applied without challenge, addresses the details of most of the different facets of the analysis method, and demonstrates how such analysis provides a systematic approach to using technical methods to address legal issues as a case study.

Extraction Of Electronic Evidence From Voip: Forensic Analysis Of A Virtual Hard Disk Vs Ram, David Irwin, Jill Slay, Arek Dadej, Malcolm Shore

Journal of Digital Forensics, Security and Law

The popularity of Voice over the Internet Protocol (VoIP) is increasing as the cost savings and ease of use is realised by a wide range of home and corporate users. However, the technology is also attractive to criminals. This is because VoIP is a global telephony service, in which it is difficult to verify the user’s identification. The security of placing such calls may also be appealing to criminals, as many implementations use strong encryption to secure both the voice payload as well as to control messages making monitoring such VoIP calls difficult since conventional methods such as wire-tapping is …