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

Engineering Commons™

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

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 11791 - 11820 of 17350

Full-Text Articles in Engineering

Neural Network-Based Adaptive Optimal Consensus Control Of Leaderless Networked Mobile Robots, Haci Mehmet Guzey, Hao Xu, S. Jagannathan Jan 2014

Neural Network-Based Adaptive Optimal Consensus Control Of Leaderless Networked Mobile Robots, Haci Mehmet Guzey, Hao Xu, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel neural network (NN)-based optimal adaptive consensus control scheme is introduced in this paper for networked mobile robots in the presence of unknown robot dynamics. Throughout the paper, two NNs are used. The unknown formation dynamics of each robot is identified by using the first NN. The second NN is utilized to approximate a novel value function derived in this paper as a function of augmented error vector, which is comprised of the regulation and consensus-based formation errors of each robot. A novel near optimal controller is developed by using approximated value function and identified formation dynamics. The Lyapunov …


A Fast Algorithm For The Inversion Of Quasiseparable Vandermonde-Like Matrices, Sirani M. Perera, Grigory Bonik, Vadim Olshevsky Jan 2014

A Fast Algorithm For The Inversion Of Quasiseparable Vandermonde-Like Matrices, Sirani M. Perera, Grigory Bonik, Vadim Olshevsky

Publications

The results on Vandermonde-like matrices were introduced as a generalization of polynomial Vandermonde matrices, and the displacement structure of these matrices was used to derive an inversion formula. In this paper we first present a fast Gaussian elimination algorithm for the polynomial Vandermonde-like matrices. Later we use the said algorithm to derive fast inversion algorithms for quasiseparable, semiseparable and well-free Vandermonde-like matrices having O(n2) complexity. To do so we identify structures of displacement operators in terms of generators and the recurrence relations(2-term and 3-term) between the columns of the basis transformation matrices for quasiseparable, semiseparable and well-free polynomials. Finally we …


Digital Display With Integrated Computing Circuit, Ronald S. Cok, John W. Harmer, Michael E. Miller Jan 2014

Digital Display With Integrated Computing Circuit, Ronald S. Cok, John W. Harmer, Michael E. Miller

AFIT Patents

A digital display device includes a display substrate; an array of pixels formed on the display substrate; an array of driving circuits located on the display substrate, each driving circuit electrically connected to one or more pixels for controlling a pixel current provided to each pixel; an array of computing circuits located on the display substrate, each computing circuit including circuits for signal or image processing and for communicating with neighboring computing circuits; a plurality of electrical conductors formed on the display substrate and connected to each of the driving circuits and digital computing circuits, wherein each computing circuit is …


Updating And Revising Star Camera For Future Flights Of Balloon Borne Experiment, Krystle N. Sy, Seth Hillbrand Jan 2014

Updating And Revising Star Camera For Future Flights Of Balloon Borne Experiment, Krystle N. Sy, Seth Hillbrand

STAR Program Research Presentations

The BLAST (Balloon-borne Large Aperture Submillimeter Telescope) experiment surveys the galaxy from altitudes of 100,000 ft in order to answer important cosmological questions, such as how stars are formed. This experiment is conducted above Antarctica to minimize unwanted noise. Two star cameras are used in the navigation systems to identify known stars. The cameras take pictures and match stars in the image to known star positions from a catalog stored in the star camera's computer. This is done using code written in C++, a computer programming language. In order to modernize the system, the code needs to be updated. A …


An Active Learning Module For An Introduction To Software Engineering Course, A. Frank Ackerman, Ph.D. Jan 2014

An Active Learning Module For An Introduction To Software Engineering Course, A. Frank Ackerman, Ph.D.

Computer Science & Software Engineering

Many schools do not begin to introduce college students to software engineering until they have had at least one semester of programming. Since software engineering is a large, complex, and abstract subject it is difficult to construct active learning exercises that build on the students’ elementary knowledge of programming and still teach basic software engineering principles. It is also the case that beginning students typically know how to construct small programs, but they have little experience with the techniques necessary to produce reliable and long-term maintainable modules. I have addressed these two concerns by defining a local standard (Montana Tech …


An Ontology Pattern For Oceanographic Cruises: Towards An Oceanographer's Dream Of Integrated Knowledge Discovery, Adila Krisnadhi, Robert Arko, Suzanne Carbotte, Cynthia Chandler, Michelle Cheatham, Timothy Finin, Pascal Hitzler, Krzysztof Janowicz, Thomas Narock, Lisa Raymond, Adam Shepherd, Peter Wiebe Jan 2014

An Ontology Pattern For Oceanographic Cruises: Towards An Oceanographer's Dream Of Integrated Knowledge Discovery, Adila Krisnadhi, Robert Arko, Suzanne Carbotte, Cynthia Chandler, Michelle Cheatham, Timothy Finin, Pascal Hitzler, Krzysztof Janowicz, Thomas Narock, Lisa Raymond, Adam Shepherd, Peter Wiebe

Computer Science and Engineering Faculty Publications

EarthCube is a major effort of the National Science Foundation to establish a next-generation knowledge architecture for the broader geosciences. Data storage, retrieval, access, and reuse are central parts of this new effort. Currently, EarthCube is organized around several building blocks and research coordination networks. OceanLink is a semantics enabled building block that aims at improving data retrieval and reuse via ontologies, Semantic Web technologies, and Linked Data for the ocean sciences. Cruises, in the sense of research expeditions, are central events for ocean scientists. Consequently, information about these cruises and the involved vessels has to be shared and made …


Enhancing Ocean Research Data Access, Cyndy Chandler, Robert Groman, Adam Shepherd, Molly Allison, Robert Arko, Yu Chen, Peter Fox, David Glover, Pascal Hitzler, Adam Leadbetter, Thomas Narock, Patrick West, Peter Wiebe Jan 2014

Enhancing Ocean Research Data Access, Cyndy Chandler, Robert Groman, Adam Shepherd, Molly Allison, Robert Arko, Yu Chen, Peter Fox, David Glover, Pascal Hitzler, Adam Leadbetter, Thomas Narock, Patrick West, Peter Wiebe

Computer Science and Engineering Faculty Publications

No abstract provided.


Towards A Set Of Metrics To Guide The Generation Of Fake Computer File Systems, Ben Whitham Jan 2014

Towards A Set Of Metrics To Guide The Generation Of Fake Computer File Systems, Ben Whitham

Australian Digital Forensics Conference

Fake file systems are used in the field of cyber deception to bait intruders and fool forensic investigators. File system researchers also frequently generate their own synthetic document repositories, due to data privacy and copyright concerns associated with experimenting on real-world corpora. For both these fields, realism is critical. Unfortunately, after creating a set of files and folders, there are no current testing standards that can be applied to validate their authenticity, or conversely, reliably automate their detection. This paper reviews the previous 30 years of file system surveys on real world corpora, to identify a set of discrete measures …


Interactive Visualization Of Grt And Biohts Data, Sara Gharabaghi, Thomas Wischgoll, Rhonda J. Vickery, Ross Smith, Leslie M. Blaha, Thomas Lamkin, Steven Kawamoto, Robert Trevino, Eric Bardes, Scott Tabar Jan 2014

Interactive Visualization Of Grt And Biohts Data, Sara Gharabaghi, Thomas Wischgoll, Rhonda J. Vickery, Ross Smith, Leslie M. Blaha, Thomas Lamkin, Steven Kawamoto, Robert Trevino, Eric Bardes, Scott Tabar

Computer Science and Engineering Faculty Publications

The scope of this project is to provide better tools for statistical and informational visual analysis for High Throughput Screening of Biological Infectious Agents (BioHTS), General Recognition Theory (GRT) modeling, and areas where pipelines of unstructured datasets of all types must be analyzed. A parallel coordinates plot is one of the more effective visualization methods for visualizing multi variant data.


Engineering Collaborations In Medical Modeling And Simulation, Frederic D. Mckenzie, Salim Chemlal, Tom Hubbard, Robert E. Kelly, Roderick C. Borgie, David A. Besachio, Michel Audette Jan 2014

Engineering Collaborations In Medical Modeling And Simulation, Frederic D. Mckenzie, Salim Chemlal, Tom Hubbard, Robert E. Kelly, Roderick C. Borgie, David A. Besachio, Michel Audette

Computational Modeling & Simulation Engineering Faculty Publications

Fifty years ago computer science was just beginning to see common acceptance as a growing discipline and very few universities had a computer science department although other departments were utilizing computers and software to enhance their methodologies. We believe modeling and simulation (M&S) is on a similar path. Many other disciplines utilize M&S to enhance their methodologies but we also believe that M&S fundamentals can be essential in making better decisions by utilizing the appropriate model for the problem at hand, expanding the solution space through simulation, and understanding it through visualization and proper analyses. After our students learn these …


A Forensic Overview Of The Lg Smart Tv, Iain Sutherland, Konstantino Xynos, Huw Read, Andy Jones, Tom Drange Jan 2014

A Forensic Overview Of The Lg Smart Tv, Iain Sutherland, Konstantino Xynos, Huw Read, Andy Jones, Tom Drange

Australian Digital Forensics Conference

The emerging Smart TV platform will likely replace traditional television sets over time as the entertainment and communication centrepiece in people’s homes. Given its expanded functionality and now, its online presence, there is a need to identify how they may become part of forensic investigations. The purpose of this paper is to introduce the area of Smart TVs and the potential forensic value these systems present in combination with their ever advancing functionality and capabilities. We provide an overview of Smart TV systems highlighting functionality and potential issues. We also take an initial look at two particular models, from the …


Forensic Examination And Analysis Of The Prefetch Files On The Banking Trojan Malware Incidents, Andri P. Heriyanto Jan 2014

Forensic Examination And Analysis Of The Prefetch Files On The Banking Trojan Malware Incidents, Andri P. Heriyanto

Australian Digital Forensics Conference

Whenever a program runs within the operating system, there will be data or artefacts created on the system. This condition applies to the malicious software (malware). Although they intend to obscure their presence on the system with anti-forensic techniques, still they have to run on the victim’s system to acquire their objective. Modern malware creates a significant challenge to the digital forensic community since they are being designed to leave limited traces and misdirect the examiner. Therefore, every examiner should consider performing all the forensics approaches such as memory forensic, live-response and Windows file analysis in the related malware incidents …


Semantic Entry Pairing For Improved Data Validation And Discovery, Adam Shepherd, Cyndy Chandler, Robert Arko, Yanning Chen, Adila Krisnadhi, Pascal Hitzler, Thomas Narock, Robert Groman, Shannon Rauch Jan 2014

Semantic Entry Pairing For Improved Data Validation And Discovery, Adam Shepherd, Cyndy Chandler, Robert Arko, Yanning Chen, Adila Krisnadhi, Pascal Hitzler, Thomas Narock, Robert Groman, Shannon Rauch

Computer Science and Engineering Faculty Publications

No abstract provided.


A Mathematical Framework For Unmanned Aerial Vehicle Obstacle Avoidance, Sorathan Chaturapruek Jan 2014

A Mathematical Framework For Unmanned Aerial Vehicle Obstacle Avoidance, Sorathan Chaturapruek

HMC Senior Theses

The obstacle avoidance navigation problem for Unmanned Aerial Vehicles (UAVs) is a very challenging problem. It lies at the intersection of many fields such as probability, differential geometry, optimal control, and robotics. We build a mathematical framework to solve this problem for quadrotors using both a theoretical approach through a Hamiltonian system and a machine learning approach that learns from human sub-experts' multiple demonstrations in obstacle avoidance. Prior research on the machine learning approach uses an algorithm that does not incorporate geometry. We have developed tools to solve and test the obstacle avoidance problem through mathematics.


A Distributed Consensus Algorithm For Decision Making In Service-Oriented Internet Of Things, Shancang Li, George Oikonomou, Theo Tryfonas, Thomas M. Chen, Li Da Xu Jan 2014

A Distributed Consensus Algorithm For Decision Making In Service-Oriented Internet Of Things, Shancang Li, George Oikonomou, Theo Tryfonas, Thomas M. Chen, Li Da Xu

Information Technology & Decision Sciences Faculty Publications

In a service-oriented Internet of things (IoT) deployment, it is difficult to make consensus decisions for services at different IoT edge nodes where available information might be insufficient or overloaded. Existing statistical methods attempt to resolve the inconsistency, which requires adequate information to make decisions. Distributed consensus decision making (CDM) methods can provide an efficient and reliable means of synthesizing information by using a wider range of information than existing statistical methods. In this paper, we first discuss service composition for the IoT by minimizing the multi-parameter dependent matching value. Subsequently, a cluster-based distributed algorithm is proposed, whereby consensuses are …


Description Logics, Adila Krisnadhi, Pascal Hitzler Jan 2014

Description Logics, Adila Krisnadhi, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Description logics (DLs) is a family of knowledge representation (KR) languages which represent knowledge in a domain of interest using formal, logic-based semantics through knowledge bases (KBs) containing general assertions of describing relevant concepts - hence, the term description - and specific assertions about individuals and relationships among them.


Ontology Design Patterns For Ocean Science Data Discovery, Pascal Hitzler Jan 2014

Ontology Design Patterns For Ocean Science Data Discovery, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.


Data Mining Based Hybridization Of Meta-Raps, Fatemah Al-Duoli, Ghaith Rabadi Jan 2014

Data Mining Based Hybridization Of Meta-Raps, Fatemah Al-Duoli, Ghaith Rabadi

Engineering Management & Systems Engineering Faculty Publications

Though metaheuristics have been frequently employed to improve the performance of data mining algorithms, the opposite is not true. This paper discusses the process of employing a data mining algorithm to improve the performance of a metaheuristic algorithm. The targeted algorithms to be hybridized are the Meta-heuristic for Randomized Priority Search (Meta-RaPS) and an algorithm used to create an Inductive Decision Tree. This hybridization focuses on using a decision tree to perform on-line tuning of the parameters in Meta-RaPS. The process makes use of the information collected during the iterative construction and improvement phases Meta-RaPS performs. The data mining algorithm …


An Efficient Similarity Digests Database Lookup -- A Logarithmic Divide And Conquer Approach, Frank Breitinger, Christian Rathgeb, Harald Baier Jan 2014

An Efficient Similarity Digests Database Lookup -- A Logarithmic Divide And Conquer Approach, Frank Breitinger, Christian Rathgeb, Harald Baier

Electrical & Computer Engineering and Computer Science Faculty Publications

Investigating seized devices within digital forensics represents a challenging task due to the increasing amount of data. Common procedures utilize automated file identification, which reduces the amount of data an investigator has to examine manually. In the past years the research field of approximate matching arises to detect similar data. However, if n denotes the number of similarity digests in a database, then the lookup for a single similarity digest is of complexity of O(n). This paper presents a concept to extend existing approximate matching algorithms, which reduces the lookup complexity from O(n) to O(log(n)). Our proposed approach is based …


A Comparative Study Of Reservoir Computing For Temporal Signal Processing, Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic Jan 2014

A Comparative Study Of Reservoir Computing For Temporal Signal Processing, Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic

Computer Science Faculty Publications and Presentations

Reservoir computing (RC) is a novel approach to time series prediction using recurrent neural networks. In RC, an input signal perturbs the intrinsic dynamics of a medium called a reservoir. A readout layer is then trained to reconstruct a target output from the reservoir's state. The multitude of RC architectures and evaluation metrics poses a challenge to both practitioners and theorists who study the task-solving performance and computational power of RC. In addition, in contrast to traditional computation models, the reservoir is a dynamical system in which computation and memory are inseparable, and therefore hard to analyze. Here, we compare …


Complementary Layered Learning, Sean Mondesire Jan 2014

Complementary Layered Learning, Sean Mondesire

Electronic Theses and Dissertations

Layered learning is a machine learning paradigm used to develop autonomous robotic-based agents by decomposing a complex task into simpler subtasks and learns each sequentially. Although the paradigm continues to have success in multiple domains, performance can be unexpectedly unsatisfactory. Using Boolean-logic problems and autonomous agent navigation, we show poor performance is due to the learner forgetting how to perform earlier learned subtasks too quickly (favoring plasticity) or having difficulty learning new things (favoring stability). We demonstrate that this imbalance can hinder learning so that task performance is no better than that of a suboptimal learning technique, monolithic learning, which …


Improved Internet Security Protocols Using Cryptographic One-Way Hash Chains, Amerah Alabrah Jan 2014

Improved Internet Security Protocols Using Cryptographic One-Way Hash Chains, Amerah Alabrah

Electronic Theses and Dissertations

In this dissertation, new approaches that utilize the one-way cryptographic hash functions in designing improved network security protocols are investigated. The proposed approaches are designed to be scalable and easy to implement in modern technology. The first contribution explores session cookies with emphasis on the threat of session hijacking attacks resulting from session cookie theft or sniffing. In the proposed scheme, these cookies are replaced by easily computed authentication credentials using Lamport's well-known one-time passwords. The basic idea in this scheme revolves around utilizing sparse caching units, where authentication credentials pertaining to cookies are stored and fetched once needed, thereby, …


Efficient Cooperative Mimo Paradigms For Cognitive Radio Networks, Wei Chen, Liang Hong, Xiaoqian Chen Jan 2014

Efficient Cooperative Mimo Paradigms For Cognitive Radio Networks, Wei Chen, Liang Hong, Xiaoqian Chen

Computer Science Faculty Research

This paper investigates the benefits that cooperative communication brings to cognitive radio networks. We focus on cooperative Multiple Input Multiple Output (MIMO) technology, where multiple distributed single-antenna secondary users cooperate on data transmission and reception. Three cooperative MIMO paradigms are proposed to maximize the diversity gain and significantly improve the performance of overlay, underlay and interweave systems. In the paradigm for overlay systems the secondary users can assist (relay) the primary transmissions even when they are far away from the primary users. In the paradigm for underlay systems the secondary users can share the primary users’ frequency resources without any …


Intelligent Selection Techniques For Virtual Environments, Jeffrey Cashion Jan 2014

Intelligent Selection Techniques For Virtual Environments, Jeffrey Cashion

Electronic Theses and Dissertations

Selection in 3D games and simulations is a well-studied problem. Many techniques have been created to address many of the typical scenarios a user could experience. For any single scenario with consistent conditions, there is likely a technique which is well suited. If there isn't, then there is an opportunity for one to be created to best suit the expected conditions of that new scenario. It is critical that the user be given an appropriate technique to interact with their environment. Without it, the entire experience is at risk of becoming burdensome and not enjoyable. With all of the different …


Mobile Device Vulnerabilities & Securities, Luke Rondeau Jan 2014

Mobile Device Vulnerabilities & Securities, Luke Rondeau

Senior Honors Theses and Projects

An investigation on current mobile vulnerabilities and research into security. Also, a proof of concept to show the ease of injecting an Android phone with a virus.


Web Ontology Language (Owl), Kunal Sengupta, Pascal Hitzler Jan 2014

Web Ontology Language (Owl), Kunal Sengupta, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Web Ontology Language (OWL) is a core world wide web consortium [W3C] standard Knowledge representation language for the Semantic Web.


Pen-Based Methods For Recognition And Animation Of Handwritten Physics Solutions, Salman Cheema Jan 2014

Pen-Based Methods For Recognition And Animation Of Handwritten Physics Solutions, Salman Cheema

Electronic Theses and Dissertations

There has been considerable interest in constructing pen-based intelligent tutoring systems due to the natural interaction metaphor and low cognitive load afforded by pen-based interaction. We believe that pen-based intelligent tutoring systems can be further enhanced by integrating animation techniques. In this work, we explore methods for recognizing and animating sketched physics diagrams. Our methodologies enable an Intelligent Tutoring System (ITS) to understand the scenario and requirements posed by a given problem statement and to couple this knowledge with a computational model of the student's handwritten solution. These pieces of information are used to construct meaningful animations and feedback mechanisms …


Automatic Detection Of Brain Functional Disorder Using Imaging Data, Soumyabrata Dey Jan 2014

Automatic Detection Of Brain Functional Disorder Using Imaging Data, Soumyabrata Dey

Electronic Theses and Dissertations

Recently, Attention Deficit Hyperactive Disorder (ADHD) is getting a lot of attention mainly for two reasons. First, it is one of the most commonly found childhood behavioral disorders. Around 5-10% of the children all over the world are diagnosed with ADHD. Second, the root cause of the problem is still unknown and therefore no biological measure exists to diagnose ADHD. Instead, doctors need to diagnose it based on the clinical symptoms, such as inattention, impulsivity and hyperactivity, which are all subjective. Functional Magnetic Resonance Imaging (fMRI) data has become a popular tool to understand the functioning of the brain such …


Listening To Botnet Communication Channels To Protect Information Systems, Brian Cusack, Sultan Almutairi Jan 2014

Listening To Botnet Communication Channels To Protect Information Systems, Brian Cusack, Sultan Almutairi

Australian Digital Forensics Conference

Botnets are a weapon of choice for people who wish to exploit information systems for economic advantage. A large percentage of high value commercial targets such as banking transaction systems and human customers are web connected so that access is gained through Internet services. A Botnet is designed to maximise the possibility of an economic success through the low cost of attacks and the high number that may be attempted in any small time unit. In this paper we report exploratory research into the communications of Botnets. The research question was: How do Botnets talk with the command and control …


The Zombies Strike Back: Towards Client-Side Beef Detection, Maxim Chernyshev, Peter Hannay Jan 2014

The Zombies Strike Back: Towards Client-Side Beef Detection, Maxim Chernyshev, Peter Hannay

Australian Digital Forensics Conference

A web browser is an application that comes bundled with every consumer operating system, including both desktop and mobile platforms. A modern web browser is complex software that has access to system-level features, includes various plugins and requires the availability of an Internet connection. Like any multifaceted software products, web browsers are prone to numerous vulnerabilities. Exploitation of these vulnerabilities can result in destructive consequences ranging from identity theft to network infrastructure damage. BeEF, the Browser Exploitation Framework, allows taking advantage of these vulnerabilities to launch a diverse range of readily available attacks from within the browser context. Existing defensive …