Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 31 - 39 of 39

Full-Text Articles in Physical Sciences and Mathematics

Product Authentication Using Hash Chains And Printed Qr Codes, Harshith R. Keni Jan 2016

Product Authentication Using Hash Chains And Printed Qr Codes, Harshith R. Keni

Electronic Theses and Dissertations

This thesis explores the usage of simple printed tags for authenticating products. Printed tags are a cheap alternative to RFID and other tag based systems and do not require specialized equipment. Due to the simplistic nature of such printed codes, many security issues like tag impersonation, server impersonation, reader impersonation, replay attacks and denial of service present in RFID based solutions need to be handled differently. An algorithm that utilizes hash chains to secure such simple tags while still keeping cost low is discussed. The security characteristics of this scheme as well as other product authentication schemes that use RFID …


Verification And Automated Synthesis Of Memristor Crossbars, Arya Pourtabatabaie Jan 2016

Verification And Automated Synthesis Of Memristor Crossbars, Arya Pourtabatabaie

Electronic Theses and Dissertations

The Memristor is a newly synthesized circuit element correlating differences in electrical charge and magnetic flux, which effectively acts as a nonlinear resistor with memory. The small size of this element and its potential for passive state preservation has opened great opportunities for data-level parallel computation, since the functions of memory and processing can be realized on the same physical device. In this research we present an in-depth study of memristor crossbars for combinational and sequential logic. We outline the structure of formulas which they are able to produce and henceforth the inherent powers and limitations of Memristive Crossbar Computing. …


Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan Jan 2016

Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan

Electronic Theses and Dissertations

Multi-object tracking is one of the fundamental problems in computer vision. Almost all multi-object tracking systems consist of two main components; detection and data association. In the detection step, object hypotheses are generated in each frame of a sequence. Later, detections that belong to the same target are linked together to form final trajectories. The latter step is called data association. There are several challenges that render this problem difficult, such as occlusion, background clutter and pose changes. This dissertation aims to address these challenges by tackling the data association component of tracking and contributes three novel methods for solving …


High-Performance Composable Transactional Data Structures, Deli Zhang Jan 2016

High-Performance Composable Transactional Data Structures, Deli Zhang

Electronic Theses and Dissertations

Exploiting the parallelism in multiprocessor systems is a major challenge in the post ``power wall'' era. Programming for multicore demands a change in the way we design and use fundamental data structures. Concurrent data structures allow scalable and thread-safe accesses to shared data. They provide operations that appear to take effect atomically when invoked individually. A main obstacle to the practical use of concurrent data structures is their inability to support composable operations, i.e., to execute multiple operations atomically in a transactional manner. The problem stems from the inability of concurrent data structure to ensure atomicity of transactions composed from …


Design Of A Jmldoclet For Jmldoc In Openjml, Arjun Mitra Reddy Donthala Jan 2016

Design Of A Jmldoclet For Jmldoc In Openjml, Arjun Mitra Reddy Donthala

Electronic Theses and Dissertations

The Java Modeling Language (JML) is a behavioral interface specification language designed for specifying Java classes and interfaces. OpenJML is a tool for processing JML specifications of Java programs. To facilitate viewing of these specifications in a user-friendly manner, a tool JMLdoc was created. The JMLdoc tool adds JML specifications to the usual Javadoc documentation. JMLdoc is an enhancement of Javadoc that adds to the Javadoc documentation the JML specifications that are present in the source code. The JMLdoc tool is a drop-in replacement for Javadoc, with additional functionality and additional options. The current design of JMLdoc uses the standard …


Confluence Of Vision And Natural Language Processing For Cross-Media Semantic Relations Extraction, Amara Tariq Jan 2016

Confluence Of Vision And Natural Language Processing For Cross-Media Semantic Relations Extraction, Amara Tariq

Electronic Theses and Dissertations

In this dissertation, we focus on extracting and understanding semantically meaningful relationships between data items of various modalities; especially relations between images and natural language. We explore the ideas and techniques to integrate such cross-media semantic relations for machine understanding of large heterogeneous datasets, made available through the expansion of the World Wide Web. The datasets collected from social media websites, news media outlets and blogging platforms usually contain multiple modalities of data. Intelligent systems are needed to automatically make sense out of these datasets and present them in such a way that humans can find the relevant pieces of …


Obstacle-Aware Wireless Video Sensor Network Deployment For 3d Indoor Space Monitoring, Zhonghui Wang Jan 2016

Obstacle-Aware Wireless Video Sensor Network Deployment For 3d Indoor Space Monitoring, Zhonghui Wang

Electronic Theses and Dissertations

In recent years wireless video sensors networks (WVSNs) have emerged as a leading technology for monitoring 3D indoor space in campus, industrial and medical areas as well as other types of environments. In contrast to traditional sensors such as heat or light sensors often considered with omnidirectional sensing range, the sensing range of a video sensor is directional and can be deemed as a pyramid-shape in 3D. Moreover, in an indoor environment, there are often obstacles such as lamp stands or furniture, which introduce additional challenges and further render the deployment solutions for traditional sensors and 2D sensing field inapplicable …


The Effect Of Hyperparameters In The Activation Layers Of Deep Neural Networks, Clay Lafayette Mcleod Jan 2016

The Effect Of Hyperparameters In The Activation Layers Of Deep Neural Networks, Clay Lafayette Mcleod

Electronic Theses and Dissertations

Deep neural networks (DNNs), and artificial neural networks (ANNs) in general, have recently received a great amount of attention from both the media and the machine learning community at large. DNNs have been used to produce world-class results in a variety of domains, including image recognition, speech recognition, sequence modeling, and natural language processing. Many of most exciting recent deep neural network studies have made improvements by hardcoding less about the network and giving the neural network more control over its own parameters, allowing flexibility and control within the network. Although much research has been done to introduce trainable hyperparameters …


Stereographic Visualization Of Bose-Einstein Condensate Clouds To Measure The Gravitational Constant, Ed Wesley Wells Jan 2016

Stereographic Visualization Of Bose-Einstein Condensate Clouds To Measure The Gravitational Constant, Ed Wesley Wells

Electronic Theses and Dissertations

This thesis describes a set of tools that can be used for the rapid design of atom interferometer schemes suitable for measuring Newton's Universal Gravitation constant also known as "Big G". This tool set is especially applicable to Bose--Einstein--condensed systems present in NASA's Cold Atom Laboratory experiment to be deployed to the International Space Station in 2017. These tools include a method of approximating the solutions of the nonlinear Schrödinger or Gross--Pitaevskii equation (GPE) using the Lagrangian Variational Method. They also include a set of software tools for translating the approximate solutions of the GPE into images of the optical …