Computer Engineering Commons^™

How Can We Build A Moral Robot?, Kristen E. Clark

Capstones

Artificial intelligence is already starting to drive our cars and make choices that affect the world economy. One day soon, we’ll have robots that can take care of our sick and elderly, and even rescue us in rescue us in emergencies. But as robots start to make decisions that matter—it’s raising questions that go far beyond engineering. We’re stating to think about ethics.

Bertram Malle and Matthias Scheutz are part of a team funded by the department of defense. It's their job to answer a question that seems straight out of a sci-fi novel: How can we build a moral …

Demonstration Of Inexact Computing Implemented In The Jpeg Compression Algorithm Using Probabilistic Boolean Logic Applied To Cmos Components, Christopher I. Allen

Theses and Dissertations

Probabilistic computing offers potential improvements in energy, performance, and area compared with traditional digital design. This dissertation quantifies energy and energy-delay tradeoffs in digital adders, multipliers, and the JPEG image compression algorithm. This research shows that energy demand can be cut in half with noisesusceptible16-bit Kogge-Stone adders that deviate from the correct value by an average of 3 in 14 nanometer CMOS FinFET technology, while the energy-delay product (EDP) is reduced by 38 . This is achieved by reducing the power supply voltage which drives the noisy transistors. If a 19 average error is allowed, the adders are 13 times …

Formal Modeling And Verification Of Delay-Insensitive Circuits, Hoon Park

Dissertations and Theses

Einstein's relativity theory tells us that the notion of simultaneity can only be approximated for events distributed over space. As a result, the use of asynchronous techniques is unavoidable in systems larger than a certain physical size. Traditional design techniques that use global clocks face this barrier of scale already within the space of a modern microprocessor chip. The most common response by the chip industry for overcoming this barrier is to use Globally Asynchronous Locally Synchronous (GALS) design techniques. The circuits investigated in this thesis can be viewed as examples of GALS design. To make such designs trustworthy it …

From Boolean Equalities To Constraints, Sergio Antoy, Michael Hanus

Computer Science Faculty Publications and Presentations

Although functional as well as logic languages use equality to discriminate between logically different cases, the operational meaning of equality is different in such languages. Functional languages reduce equational expressions to their Boolean values, True or False, logic languages use unification to check the validity only and fail otherwise. Consequently, the language Curry, which amalgamates functional and logic programming features, offers two kinds of equational expressions so that the programmer has to distinguish between these uses. We show that this distinction can be avoided by providing an analysis and transformation method that automatically selects the appropriate operation. Without this distinction …

Data To Decisions For Cyberspace Operations, Steve Stone

Military Cyber Affairs

In 2011, the United States (U.S.) Department of Defense (DOD) named cyberspace a new operational domain. The U.S. Cyber Command and the Military Services are working to make the cyberspace environment a suitable place for achieving national objectives and enabling military command and control (C2). To effectively conduct cyberspace operations, DOD requires data and analysis of the Mission, Network, and Adversary. However, the DOD’s current data processing and analysis capabilities do not meet mission needs within critical operational timelines. This paper presents a summary of the data processing and analytics necessary to effectively conduct cyberspace operations.

Nd − Pdpa: N Dimensional Probability Density Profile Analysis, Arjang Fahim

Theses and Dissertations

Proteins are often referred as working molecule of a cell, performing many structural, functional and regulatory processes. Revealing the function of proteins still remains a challenging problem. Advancement in genomics sequence projects produces large protein sequence repository, but due to technical difficulty and cost related to structure determination, the number of identified protein structure is far behind. Novel structures identification are particularly important for a number of reasons: they generate models of similar proteins for comparison; identify evolutionary relationships; further contribute to our understanding of protein function and mechanism; and allow for the fold of other family members to be …

All Your Sessions Are Belong To Us: Investigating Authenticator Leakage Through Backup Channels On Android, Guangdong Bai, Jun Sun, Jianliang Wu, Quanqi Ye, Li Li, Jin Song Dong, Shanqing Guo

Research Collection School Of Computing and Information Systems

Security of authentication protocols heavily relies on the confidentiality of credentials (or authenticators) like passwords and session IDs. However, unlike browser-based web applications for which highly evolved browsers manage the authenticators, Android apps have to construct their own management. We find that most apps simply locate their authenticators into the persistent storage and entrust underlying Android OS for mediation. Consequently, these authenticators can be leaked through compromised backup channels. In this work, we conduct the first systematic investigation on this previously overlooked attack vector. We find that nearly all backup apps on Google Play inadvertently expose backup data to any …

Gpu Accelerated On-The-Fly Reachability Checking, Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin

Research Collection School Of Computing and Information Systems

Model checking suffers from the infamous state space explosion problem. In this paper, we propose an approach, named GPURC, to utilize the Graphics Processing Units (GPUs) to speed up the reachability verification. The key idea is to achieve a dynamic load balancing so that the many cores in GPUs are fully utilized during the state space exploration.To this end, we firstly construct a compact data encoding of the input transition systems to reduce the memory cost and fit the calculation in GPUs. To support a large number of concurrent components, we propose a multi-integer encoding with conflict-release accessing approach. We …

On Problematic Robotic Thresholds, Adam K. Taylor

School of Computing: Dissertations, Theses, and Student Research

Large configuration spaces present difficulties for developers validating large soft- ware systems and for users selecting the proper configuration to achieve the desired runtime behavior. Robot systems face the same challenges as they may have hundreds of configurable parameters. Our work focuses on co-robotic systems, those in which robots and humans work closely together to augment each other’s capabilities. We aim to leverage the user’s knowledge about a system to help determine configuration errors. To accomplish this, users mark runtime failures while observing the system in operation. A marked error indicates the robot “did something when it should not have” …

Calibration Of Numerical Model For Shoreline Change Prediction Using Satellite Imagery Data, Sigit Sutikno, Keisuke Murakami, Dwi Puspo Handoyo, Manyuk Fauzi

Makara Journal of Technology

This paper presents a method for calibration of numerical model for shoreline change prediction using satellite imagery data in muddy beach. Tanjung Motong beach, a muddy beach that is suffered high abrasion in Rangsang Island, Riau province, Indonesia was picked as study area. The primary numerical modeling tool used in this research was GENESIS (GENEralized Model for Simulating Shoreline change), which has been successfully applied in many case studies of shoreline change phenomena on a sandy beach.The model was calibrated using two extracted coastlines satellite imagery data, such as Landsat-5 TM and Landsat-8 OLI/TIRS. The extracted coastline data were analyzed …

Adapting Architectural Models For Visualization Using Virtual Reality Headsets, Bernardo Martinez

Honors Theses

Business contracts represent a main source of income for Architects. Acquiring these contracts requires the latest and most immersive technology that improves their sales against competitors. Virtual reality provides an in-depth experience that allows clients to have a reasonable assurance that the building meets their physical expectations. Videos and photos are detached and mundane; while they provide some visual representation they will not allow the user to compare his physical characteristics (height, length, width) with a 3D model. In this paper, I describe a procedure for automatically importing 3D models from Revit into Unreal4. I also describe the workflow required …

Independency Of Elasticity On Residual Stress Of Room Temperature Rolled Stainless Steel 304 Plates For Structure Materials, Parikin Parikin, David Allen

Makara Journal of Technology

Mechanical strengths of materials are widely expected in general constructions of any building. These properties depend on its formation (cold/hot forming) during fabrication. This research was carried out on cold-rolled stainless steel (SS) 304 plates, which were deformed to 0, 34, 84, and 152% reduction in thickness. The tests were conducted using Vickers method. Ultra micro indentation system (UMIS) 2000 was used to determine the mechanical properties of the material, i.e.: hardness, modulus elasticity, and residual stresses. The microstructures showed lengthening outcropping due to stress corrosion cracking for all specimens. It was found that the tensile residual stress in a …

Effect Of Fly Ash Fortification In The Manufacture Process Of Making Concrete Towards Characteristics Of Concrete In Sulfuric Acid Solution, Asep Handaya Saputra, Muhammad Shohibi, Masatoshi Kubouchi

Makara Journal of Technology

Fly ash is a silica or alumino silica material that can be used as a constituent of cement in the concrete manufacturing process. Utilization of fly ash aims to improve durability and minimize the reduction of concrete’s compressive strength exposed to an acidic environment, which can be achieved through the pozzolanic reaction of fly ash with Ca(OH)2 within concrete. The reduced content of Ca(OH)2 through pozzolanic reaction will minimize the tendency of ettringite formation (compounds that cause deterioration and decrease the compressive strength of concrete). In order to determine the relation between fly ash replenishment into concrete with concrete’s characteristics …

Improving Renewable Energy Transition Acceptance: A Simulation Gaming Approach On A Multi Actor Setting In The Netherlands, Aziiz Sutrisno, Jac A. M. Vennix, Noor Syaifudin

Makara Journal of Technology

The Netherlands have tried very hard to increase their renewable energy sources (RES) shares to fulfill the European Union target in 2050. However, RES performance did not show the expected result as the performance declined in 2009 producing even wider gap compare to the target. The Dutch government’s tried to incorporate all interested stakeholders by forming the Dutch energy transition task force. Nevertheless, the task force’s result is also not showing a desirable trend. Key reasons behind the Dutch low RES performance are the lack of shared understanding and positive attitude toward RES development among interested actors. This research uses …

Oxidation Process Of H 2 O /Uv For Cod Reduction Of Wastewater From Soybean Tofu Production, Komala Pontas, Abrar Muslim

Makara Journal of Technology

Chemical Oxygen Demand (COD) reduction of wastewater from soybean tofu production was studied by conducting advanced oxidation process (AOP) using hydrogen peroxide with UV radiation catalysts in a closed cylindrical glass reactor. The hydroxyl radical (*OH) concentration from H2O2 decomposition was modeled, and exponential trends were found for the *OH concentration over radiation time and operation temperature. As a result, it was found that the maximal *OH concentration was 0.209 mol L-1 at 240 minutes and 50 °C. The *OH concentration exponentially increased following rise in operation temperature. The H2O2/UV AOP application reduced COD concentration to approximately 42.41% from 10,545 …

Uplift Of Shoreline Regions On Pagai Island Due To The September 12, 2007 Mw 8.4 Earthquake Captured By Sar Image, Ashar Muda Lubis

Makara Journal of Technology

At least 25 people were killed by the September 12, 2007 Mw 8.4 Bengkulu earthquake, and many buildings were destroyed in Bengkulu and West Sumatra provinces. It is very important to estimate the earth surface deformation due to the earthquake to understand the rupture size and its process. The aim of this research is to estimate the shoreline change and vertical displacement on Pagai Island associated with the September 12, 2007 Mw 8.4 Bengkulu earthquake. The intensity of ALOS-PALSAR satellite images is used to access the pattern of displacement. The result shows that Pagai Island demonstrated huge uplift due to …

Dual-Band Singly-Fed Proximity-Coupled Tip-Truncated Triangular Patch Array For Land Vehicle Mobile System, Basari Basari, Josaphat Tetuko Sri Sumantyo

Makara Journal of Technology

This paper proposes a dual-band left-handed circularly polarized triangular-patch array that is developed for land vehicle mobile system aimed at mobile satellite communications. The array consists of six tip-truncated triangular patches, which the first three patches are used for reception and the second three patches are used for transmission purpose. Each of three-patches has a beam pattern that can be switched in three different 120°-coverage beam in azimuth-cut plane at a minimum targeted gain at a desired elevation angle. The targeted minimum gain of the array is 5 dBic, in order for data communications with a large geostationary satellite can …

Improvement Of Quality Of Carica Papaya L. With Clove Oil As Preservative In Edible Coating Technology, Eny Kusrini, Anwar Usman, Chrispine Deksita Wisakanti, Rita Arbianti, Dedy Alharis Nasution

Makara Journal of Technology

We have studied utilization of essential clove oil, extracted from clove buds by hydrodistillation, as preservative in edible packaging technology. Preservative of essential clove oil was applied on chopped papaya fruits by using two methods, namely spray and brush. The effects of concentration of clove oil from 0.05 to 0.20% on the preservation of papaya fruits (Carica papaya L.) at room temperature (25 °C) were also evaluated. Physicochemical and in vitro microbiological activities on the papaya fruits that were stored at 25 oC and 85-90% relative humidity were investigated in details. The results indicate that the clove oil at concentration …

Plasmonic Field Confinement For Separate Absorption-Multiplication In Ingaas Nanopillar Avalanche Photodiodes, Alan C. Farrell, Pradeep Senanayake, Chung-Hong Hung, George El-Howayek, Abhejit Rajagopal, Marc Currie, Majeed M. Hayat, Diana L. Huffaker

Electrical and Computer Engineering Faculty Research and Publications

Avalanche photodiodes (APDs) are essential components in quantum key distribution systems and active imaging systems requiring both ultrafast response time to measure photon time of flight and high gain to detect low photon flux. The internal gain of an APD can improve system signal-to-noise ratio (SNR). Excess noise is typically kept low through the selection of material with intrinsically low excess noise, using separate-absorption-multiplication (SAM) heterostructures, or taking advantage of the dead-space effect using thin multiplication regions. In this work we demonstrate the first measurement of excess noise and gain-bandwidth product in III–V nanopillars exhibiting substantially lower excess noise factors …

The Information Of Spam, Sawyer C. Anderson

Computer Science and Computer Engineering Undergraduate Honors Theses

This paper explores the value of information contained in spam tweets as it pertains to prediction accuracy. As a case study, tweets discussing Bitcoin were collected and used to predict the rise and fall of Bitcoin value. Precision of prediction both with and without spam tweets, as identified by a naive Bayesian spam filter, were measured. Results showed a minor increase in accuracy when spam tweets were included, indicating that spam messages likely contain information valuable for prediction of market fluctuations.

Modeling Information Reliability And Maintenance: A Systematic Literature Review, Daysi A. Guerra Garcia

Industrial Engineering Undergraduate Honors Theses

Operating a business efficiently depends on effective everyday decision-making. In turn, those decisions are influenced by the quality of data used in the decision-making process, and maintaining good data quality becomes more challenging as a business expands. Protecting the quality of the data and the information it generates is a challenge faced by many companies across all industrial sectors. As companies begin to use data from these large data bases they will need to begin to develop strategies for maintaining and assessing the reliability of the information they generate using this data. A considerable amount of literature exists on data …

Parking Lot Monitoring System Using An Autonomous Quadrotor Uav, Venkataraman Ganesh

All Theses

The main goal of this thesis is to develop a drone-based parking lot monitoring system using low-cost hardware and open-source software. Similar to wall-mounted surveillance cameras, a drone-based system can monitor parking lots without affecting the flow of traffic while also offering the mobility of patrol vehicles. The Parrot AR Drone 2.0 is the quadrotor drone used in this work due to its modularity and cost efficiency. Video and navigation data (including GPS) are communicated to a host computer using a Wi-Fi connection. The host computer analyzes navigation data using a custom flight control loop to determine control commands to …

Free2play, Corey Lee Wilson

Computer Engineering

Free2Play is a website based upon the wildly popular PC video game League of Legends created by Riot Gaming. The website contains helpful information for new and old players of the game, such as articles containing the latest League of Legends new, a rune calculator, and recommended item builds for characters. The website uses HTML5, jquery, node.js, MySQL, and PHP to pull data from Riot’s web API and Champion.gg’s website.

Hands-Free Computer Interaction Using A Sip/Puff Sensor As A Mouse, Daniel Williams

Computer Engineering

No abstract provided.

Real-Time Digital Effects Processing Using Ios, Jonah W. Clinard

Computer Engineering

In today’s society, we are seeing incredible improvements in terms of creating smaller technological devices that behave more and more like the personal computers of yesterday. Mobile “Smart” devices, in particular, are becoming incredibly powerful not just in terms of processing power, but in the fact that they are able to provide assistance to users in their everyday lives. Application developers are now able utilize the power and size of these devices, to create and realize ideas that would have been previously viewed as impossible. This project applies the fields of digital signal processing, music, and mobile application development, to …

Design Of A New Digital Relay For Transmission Line Fault Detection, Classification And Localization Based On A New Composite Relay And Artificial Neural Network Approach, Ahmed Sabri Altaie

Masters Theses

This thesis focuses on new approach to detect, classify, and localize the fault in transmission line. Firstly, fault detection was carried out using the New Composite Relay (CR) which, has different characteristics and the ability to detect any type of fault including series faults. Secondly, fault classification was conducted using the Feed Forward Artificial Neural Network (FFANN). In addition, the fault classification led to the investigation of the best use of the FFANN. The data used come from MATLAB/SIMULINK three phase series compensated network. The results obtained using FFANN, were compared with the type of the fault that have been …

Faster Maximium Priority Matchings In Bipartite Graphs, Jonathan Turner

All Computer Science and Engineering Research

A maximum priority matching is a matching in an undirected graph that maximizes a priority score defined with respect to given vertex priorities. An earlier paper showed how to find maximum priority matchings in unweighted graphs. This paper describes an algorithm for bipartite graphs that is faster when the number of distinct priority classes is limited. For graphs with k distinct priority classes it runs in O(kmn1/2) time, where n is the number of vertices in the graph and m is the number of edges.

Estimation On Gibbs Entropy For An Ensemble, Lekhya Sai Sake

Electronic Theses, Projects, and Dissertations

In this world of growing technology, any small improvement in the present scenario would create a revolution. One of the popular revolutions in the computer science field is parallel computing. A single parallel execution is not sufficient to see its non-deterministic features, as same execution with the same data at different time would end up with a different path. In order to see how non deterministic a parallel execution can extend up to, creates the need of the ensemble of executions. This project implements a program to estimate the Gibbs Entropy for an ensemble of parallel executions. The goal is …

Signage Recognition Based Wayfinding System For The Visually Impaired, Abdullah Khalid Ahmed

Masters Theses

Persons of visual impairment make up a growing segment of modern society. To cater to the special needs of these individuals, society ought to consider the design of special constructs to enable them to fulfill their daily necessities. This research proposes a new method for text extraction from indoor signage that will help persons of visual impairment maneuver in unfamiliar indoor environments, thus enhancing their independence and quality of life.

In this thesis, images are acquired through a video camera mounted on glasses of the walking person. Frames are then extracted and used in an integrated framework that applies Maximally …

A High Performance Architecture For An Exact Match Short-Read Aligner Using Burrows-Wheeler Aligner On Fpgas, Dana Abdul Qader

Masters Theses

Due to modern DNA sequencing technologies vast amount of short DNA sequences known as short-reads is generated. Biologists need to be able to align the short-reads to a reference genome to be able to make scientific use of the data. Fast and accurate short-read aligner programs are needed to keep up with the pace at which this data is generated. Field Programmable Gate Arrays have been widely used to accelerate many data-intensive bioinformatics applications.

Burrows-Wheeler Transform has been used in the theory of string matching which has led to the development of many short-read alignment programs. This thesis presents a …