Computer Sciences Commons^™

Approximating First-Order Logic Programs By Feedforward Networks, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We want to apply Funahashi's theorem in order to approximate the T_P operator for first-order (normal) logic programs P via 3-layer feedforward networks. I.e. we need to understand T_P as a continuous function on the reals.

We will need to study some preliminaries from set-theoretic topology first result from [HS00, HHS0_x], which extends results from [HKS99]. We close with some further considerations about the methods and results.

Logistics Outsourcing And 3pl Challenges, Michelle L. F. Cheong

Research Collection School Of Computing and Information Systems

Logistics has been an important part of every economy and every business entity. The worldwide trend in globalization has led to many companies outsourcing their logistics function to Third-Party Logistics (3PL) companies, so as to focus on their core competencies. This paper attempts to broadly identify and categorize the challenges faced by 3PL companies and discover potential gaps for future research. Some of the challenges will be related with the experience and information collected from interviews with two 3PL companies.

Discrete-Time Neural Network Output Feedback Control Of Nonlinear Systems In Non-Strict Feedback Form, P. He, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

An adaptive neural network (NN) -Based output feedback controller is proposed to deliver a desired tracking performance for a class of discrete-time nonlinear systems, which is represented in non-strict feedback form. the NN backstepping approach is utilized to design the adaptive output feedback controller consisting of 1) a NN observer to estimate the system states with the input-output data, and 2) two NNs to generate the virtual and actual control inputs, respectively. the non-causal problem in the discrete time backstepping design is avoided by using the universal NN approximator. the persistence excitation (PE) condition is relaxed both in the NN …

Reinforcement Learning-Based Output Feedback Control Of Nonlinear Systems With Input Constraints, P. He, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel neural network (NN) -Based output feedback controller with magnitude constraints is designed to deliver a desired tracking performance for a class of multi-input-multi-output (MIMO) discrete-time strict feedback nonlinear systems. Reinforcement learning in discrete time is proposed for the output feedback controller, which uses three NNs: 1) a NN observer to estimate the system states with the input-output data; 2) a critic NN to approximate certain strategic utility function; and 3) an action NN to minimize both the strategic utility function and the unknown dynamics estimation errors. the magnitude constraints are manifested as saturation nonlinearities in the output feedback …

Distributed Power Control Of Cellular Networks In The Presence Of Channel Uncertainties, Maciej Jan Zawodniok, Q. Shang, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

A novel distributed power control (DPC) scheme for cellular networks in the presence of radio channel uncertainties such as path loss shadowing, and Rayleigh fading is presented. Since these uncertainties can attenuate the received signal strength and can cause variations in the received Signal-to-lnterference ratio (SIR), the proposed DPC scheme maintains a target SIR at the receiver provided the uncertainty is slowly varying with time. The DPC estimates the time varying nature of the channel quickly and uses the information to arrive at a suitable transmitter power value . Further, the standard assumption of a constant interference during a link's …

Creating A Video Device Application, Kevin Septor

Honors Theses

A video device, such as a webcam, has the capability to be used in many ways, including recording video and behaving like a security camera. A TV tuner card can also record video, and in addition be used for watching television. However, the video hardware and device driver the operating system uses to access it are only capable of delivering raw frames of video. A user space application is necessary for exploiting the capabilities of such a device beyond reading sequential frames of video. This research explores the desiderata in a powerful video device application, and introduces a program that …

A Fast And Simple Algorithm For Computing M-Shortest Paths In State Graph, M. Sherwood, Laxmi P. Gewali, Henry Selvaraj, Venkatesan Muthukumar

Electrical & Computer Engineering Faculty Research

We consider the problem of computing m shortest paths between a source node s and a target node t in a stage graph. Polynomial time algorithms known to solve this problem use complicated data structures. This paper proposes a very simple algorithm for computing all m shortest paths in a stage graph efficiently. The proposed algorithm does not use any complicated data structure and can be implemented in a straightforward way by using only array data structure. This problem appears as a sub-problem for planning risk reduced multiple k-legged trajectories for aerial vehicles.

Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …

Making Svg A Web Service In A Message-Based Mvc Architecture, Xiaohong Qiu, Shrideep Pallickara, Ahmet Uyar

Electrical Engineering and Computer Science - All Scholarship

We reformulate Scalable Vector Graphics browser in a Web Service architecture separating the rendering from the W3C DOM processing of events. We describe this in a message-based Model-View-Controller (M-MVC) architecture and implement it with a powerful publish-subscribe messaging infrastructure. A Web Services oriented architecture with services loosely coupled by the exchange of messages is becoming an increasingly important feature in the deployment of Internet applications. The broad applicability of this approach includes enterprise software, e-Learning, e-Science and e-Business. Our work provides a general framework for integrating Desktop and Web Service applications. We summarize the performance results from detailed tests of …

Partitioning A Graph In Alliances And Its Application To Data Clustering, Khurram Hassan-Shafique

Electronic Theses and Dissertations

Any reasonably large group of individuals, families, states, and parties exhibits the phenomenon of subgroup formations within the group such that the members of each group have a strong connection or bonding between each other. The reasons of the formation of these subgroups that we call alliances differ in different situations, such as, kinship and friendship (in the case of individuals), common economic interests (for both individuals and states), common political interests, and geographical proximity. This structure of alliances is not only prevalent in social networks, but it is also an important characteristic of similarity networks of natural and unnatural …

Adaptive Critic Neural Network-Based Object Grasping Control Using A Three-Finger Gripper, Gustavo Galan, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

Grasping of objects has been a challenging task for robots. The complex grasping task can be defined as object contact control and manipulation subtasks. In this paper, object contact control subtask is defined as the ability to follow a trajectory accurately by the fingers of a gripper. The object manipulation subtask is defined in terms of maintaining a predefined applied force by the fingers on the object. A sophisticated controller is necessary since the process of grasping an object without a priori knowledge of the object's size, texture, softness, gripper, and contact dynamics is rather difficult. Moreover, the object has …

Adaptive Force-Balancing Control Of Mems Gyroscope With Actuator Limits, Mohammed Hameed, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

This work presents an adaptive force-balancing control (AFBC) scheme with actuator limits for a MEMS Z-axis gyroscope. The purpose of the adaptive force-balancing control is to identify major fabrication imperfections so that they are properly compensated unlike the case of conventional force-balancing controlled gyroscope. The proposed AFBC scheme controls the vibratory modes of the proof mass while ensuring that the control input satisfies the magnitude constraints and the performance of the gyroscope is enhanced in the presence of fabrication uncertainties. Consequently, commonly reported problems of MEMS gyroscope such as quadrature compensation, drive and sense axes frequency tuning are not needed …

Decentralized Neural Network Control Of A Class Of Large-Scale Systems With Unknown Interconnection, Wenxin Liu, Jagannathan Sarangapani, Donald C. Wunsch, Mariesa Crow

Electrical and Computer Engineering Faculty Research & Creative Works

A novel decentralized neural network (DNN) controller is proposed for a class of large-scale nonlinear systems with unknown interconnections. The objective is to design a DNN for a class of large-scale systems which do not satisfy the matching condition requirement. The NNs are used to approximate the unknown subsystem dynamics and the interconnections. The DNN is designed using the back stepping methodology with only local signals for feedback. All of the signals in the closed loop (system states and weights estimation errors) are guaranteed to be uniformly ultimately bounded and eventually converge to a compact set.

Discrete-Time Neural Network Output Feedback Control Of Nonlinear Systems In Non-Strict Feedback Form, Pingan He, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

An adaptive neural network (NN)-based output feedback controller is proposed to deliver a desired tracking performance for a class of discrete-time nonlinear systems, which is represented in non-strict feedback form. The NN backstepping approach is utilized to design the adaptive output feedback controller consisting of: 1) a NN observer to estimate the system states with the input-output data, and 2) two NNs to generate the virtual and actual control inputs, respectively. The non-causal problem in the discrete-time backstepping design is avoided by using the universal NN approximator. The persistence excitation (PE) condition is relaxed both in the NN observer and …

Neural Network Controller For Manipulation Of Micro-Scale Objects, Vijayakumar Janardhan, Pingan He, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

A novel reinforcement learning-based neural network (RLNN) controller is presented for the manipulation and handling of micro-scale objects in a microelectromechanical system (MEMS). In MEMS, adhesive, surface tension, friction and van der Waals forces are dominant. Moreover, these forces are typically unknown. The RLNN controller consists of an action NN for compensating the unkoown system dynamics, and a critic NN to tune the weights of the action NN. Using the Lyapunov approach, the uniformly ultimate houndedness (UUB) of the closed-loop tracking error and weight estimates are shown by using a novel weight updates. Simulation results are presented to substantiate the …

Cs 302-01: Client Server Databases, Karen Meyer

Computer Science & Engineering Syllabi

No abstract provided.

Cs/Mth 317/517: Numerical Methods For Digital Computers - Ii, Ronald F. Taylor

Computer Science & Engineering Syllabi

Continuation of CS/MTH/316/516. Introduction to numerical methods used in the sciences. Methods for solving matrix eigenvalue problems, initial value and boundary value problem for ordinary differential equations (ODEs). Study of standard types of partial differential equations (PDEs) with applications. Solution techniques for systems of nonlinear equations. Discussion of sources of errors in numerical methods. Special topics and applications presented as schedule permits. 4 credit hours. Prerequisites: CS 316, MTH 233, 253, or 355. Programming course prerequisites: EGR 153 or CEG 220 or CS 241.

Sinbad Automation Of Scientific Process: From Hidden Factor Analysis To Theory Synthesis, Olcay Kursun

Electronic Theses and Dissertations

Modern science is turning to progressively more complex and data-rich subjects, which challenges the existing methods of data analysis and interpretation. Consequently, there is a pressing need for development of ever more powerful methods of extracting order from complex data and for automation of all steps of the scientific process. Virtual Scientist is a set of computational procedures that automate the method of inductive inference to derive a theory from observational data dominated by nonlinear regularities. The procedures utilize SINBAD – a novel computational method of nonlinear factor analysis that is based on the principle of maximization of mutual information …

The Proteomics Approach To Evolutionary Computation: An Analysis Of Pr, Ivan Garibay

Electronic Theses and Dissertations

As the complexity of our society and computational resources increases, so does the complexity of the problems that we approach using evolutionary search techniques. There are recent approaches to deal with the problem of scaling evolutionary methods to cope with highly complex difficult problems. Many of these approaches are biologically inspired and share an underlying principle: a problem representation based on basic representational building blocks that interact and self-organize into complex functions or designs. The observation from the central dogma of molecular biology that proteins are the basic building blocks of life and the recent advances in proteomics on analysis …

High Performance Data Mining Techniques For Intrusion Detection, Muazzam Ahmed Siddiqui

Electronic Theses and Dissertations

The rapid growth of computers transformed the way in which information and data was stored. With this new paradigm of data access, comes the threat of this information being exposed to unauthorized and unintended users. Many systems have been developed which scrutinize the data for a deviation from the normal behavior of a user or system, or search for a known signature within the data. These systems are termed as Intrusion Detection Systems (IDS). These systems employ different techniques varying from statistical methods to machine learning algorithms. Intrusion detection systems use audit data generated by operating systems, application softwares or …

Dynamic Shared State Maintenance In Distributed Virtual Environments, Felix George Hamza-Lup

Electronic Theses and Dissertations

Advances in computer networks and rendering systems facilitate the creation of distributed collaborative environments in which the distribution of information at remote locations allows efficient communication. Particularly challenging are distributed interactive Virtual Environments (VE) that allow knowledge sharing through 3D information. In a distributed interactive VE the dynamic shared state represents the changing information that multiple machines must maintain about the shared virtual components. One of the challenges in such environments is maintaining a consistent view of the dynamic shared state in the presence of inevitable network latency and jitter. A consistent view of the shared scene will significantly increase …

Depth From Defocused Motion, Zarina Myles

Electronic Theses and Dissertations

Motion in depth and/or zooming causes defocus blur. This work presents a solution to the problem of using defocus blur and optical flow information to compute depth at points that defocus when they move. We first formulate a novel algorithm which recovers defocus blur and affine parameters simultaneously. Next we formulate a novel relationship (the blur-depth relationship) between defocus blur, relative object depth and three parameters based on camera motion and intrinsic camera parameters. We can handle the situation where a single image has points which have defocused, got sharper or are focally unperturbed. Moreover, our formulation is valid regardless …

Comprehensive Evaluation Of Animated Instructional Software For Mechanics Of Materials, Timothy A. Philpot, Richard H. Hall

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

During the past three years, the Basic Engineering Department at the University of Missouri--Rolla has been developing a second-generation suite of instructional software called MecMovies for the mechanics of materials course. In the Fall 2003 semester, MecMovies was integrated into assignments throughout the entire semester for one of the six UMR mechanics of materials sections. This paper presents a comparison of student performance in the experimental section with student performance in five control sections along with discussion of student qualitative ratings and comments.

Reconstructability Analysis: Theory And Applications [Editorial Introduction], Martin Zwick, Guangfu Shu, Yi Lin

Complex Systems Faculty Publications and Presentations

Reconstructability analysis (RA) dates back to the pioneering work of Ashby in the mid-1960s. In the 1970s and 1980s, RA was the subject of very active research in the systems community. It receded for a time as a focus of activity, but the special issue of the International Journal of General Systems in 1996 on the General Systems Problem Solver and the special IJGS issue in 2000 on Reconstructability Analysis in China marked the renewal of interest in this area. The current volume is part of this resurgence of activity. It collects together papers from the group at Portland State …

Bidirectional Lao* Algorithm (A Faster Approach To Solve Goal-Directed Mdps), Venkata Deepti Kiran Bhuma

University of Kentucky Master's Theses

Uncertainty is a feature of many AI applications. While there are polynomial-time algorithms for planning in stochastic systems, planning is still slow, in part because most algorithms plan for all eventualities. Algorithms such as LAO* are able to find good or optimal policies more quickly when the starting state of the system is known.

In this thesis we present an extension to LAO*, called BLAO*. BLAO* is an extension of the LAO* algorithm to a bidirectional search. We show that BLAO* finds optimal or ^_E-optimal solutions for goal-directed MDPs without necessarily evaluating the entire state space. BLAO* …

Developing Software For Wound Measurement, Savo Kordic

Theses : Honours

Chronic wounds such as leg ulcers, pressure ulcers and diabetic ulcers affect many thousands of people in Australia. In addition to the costs of these wounds in terms of human suffering, loss of income and resources, there are costs related to the treatment of ulcers. Thus, there is a genuine need to develop an accurate and a fully objective application for wound measurement. The aim of this project was to create software for the measurement of wounds. In achieving this goal, several issues were addressed: an accurate measurement method capable of detecting small changes in an open wound surface area, …

Degree Of Scaffolding: Learning Objective Metadata: A Prototype Leaning System Design For Integrating Gis Into A Civil Engineering Curriculum, Richard H. Hall, Ronaldo Luna, Michael Gene Hilgers, Aaron Joseph Taylor, John Mckenna Sullivan, Matt Buechler

Business and Information Technology Faculty Research & Creative Works

Digital media and networking offer great potential as tools for enhancing classroom learning environments, both local and distant. One concept and related technological tool that can facilitate the effective application and distribution of digital educational resources is learning objects in combination with the SCORM (sharable content objects reference model) compliance framework. Progressive scaffolding is a learning design approach for educational systems that provides flexible guidance to students. We are in the process of utilizing this approach within a SCORM framework in the form of a multi-level instructional design. The associated metadata required by SCORM will describe the degree of scaffolding. …

Fast Algorithms For Fragment Based Completion In Images Of Natural Scenes, Siddharth Rajkumar Borikar

Electronic Theses and Dissertations

Textures are used widely in computer graphics to represent fine visual details and produce realistic looking images. Often it is necessary to remove some foreground object from the scene. Removal of the portion creates one or more holes in the texture image. These holes need to be filled to complete the image. Various methods like clone brush strokes and compositing processes are used to carry out this completion. User skill is required in such methods. Texture synthesis can also be used to complete regions where the texture is stationary or structured. Reconstructing methods can be used to fill in large-scale …

Adaptive Intelligent User Interfaces With Emotion Recognition, Fatma Nasoz

Electronic Theses and Dissertations

The focus of this dissertation is on creating Adaptive Intelligent User Interfaces to facilitate enhanced natural communication during the Human-Computer Interaction by recognizing users' affective states (i.e., emotions experienced by the users) and responding to those emotions by adapting to the current situation via an affective user model created for each user. Controlled experiments were designed and conducted in a laboratory environment and in a Virtual Reality environment to collect physiological data signals from participants experiencing specific emotions. Algorithms (k-Nearest Neighbor [KNN], Discriminant Function Analysis [DFA], Marquardt-Backpropagation [MBP], and Resilient Backpropagation [RBP]) were implemented to analyze the collected data signals …

Development Of A Systems Engineering Model Of The Chemical Separations Process, Yitung Chen, Darrell Pepper, Sean Hsieh

Separations Campaign (TRP)

The chemical processing of used nuclear fuel is an integral component of any strategy for the transmutation of nuclear waste. Due to the large volume of material that must be handled in this first step of the transmutation process, the efficiency of the separations process is a key factor in the potential economic viability of the transmutation strategies. The ability to optimize the chemical separation systems is vital to ensure the feasibility of the transmutation program.

Systems analysis, or total systems modeling, is one of the strongest tools available to researchers for understanding and optimizing complex systems such as chemical …