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

Computer Sciences Commons™

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

Missouri University of Science and Technology

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 1021 - 1050 of 1938

Full-Text Articles in Computer Sciences

Online Optimal Control Of Nonaffine Nonlinear Discrete-Time Systems Without Using Value And Policy Iterations, Hassan Zargarzadeh, Qinmin Yang, S. Jagannathan Feb 2013

Online Optimal Control Of Nonaffine Nonlinear Discrete-Time Systems Without Using Value And Policy Iterations, Hassan Zargarzadeh, Qinmin Yang, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

Online optimal control of nonlinear discrete-time systems in a forward-in-time manner is a challenging problem due to a lack of closed-form solution to the Hamilton- Bellman-Jacobi (HJB) equation. Traditionally, value and policy iteration-based approximate optimal control schemes are developed in the literature by assuming that a significant number of iterations can be performed within a sampling interval which is not practical. By contrast, this book chapter introduces a novel online time-based optimal framework for nonlinear discrete-time systems by using both: (a) reinforcement learning and (b) online neural network approximation-based forward-in-time dynamic programming without using iterative methodology. The overall stability proof …

Go to article

An Empirical Study On Symptoms Of Heavier Internet Usage Among Young Adults, Sai Preethi Vishwanathan, Levi Malott, Sriram Chellappan, P. Murali Doraiswamy Jan 2013

An Empirical Study On Symptoms Of Heavier Internet Usage Among Young Adults, Sai Preethi Vishwanathan, Levi Malott, Sriram Chellappan, P. Murali Doraiswamy

Computer Science Faculty Research & Creative Works

Understanding negative consequences of heavy Internet use on mental health is a topic that is gaining significant traction recently. A number of studies have investigated heavy Internet usage, especially among young adults in relation to online games, social media and email. While such studies do provide valuable insights, Internet usage so far has been characterized by means of self-reported surveys only that may suffer from errors and biases. In this paper, we report the findings of a two-month empirical study on heavy Internet usage among students conducted at a college campus. The novelty of the study is that it is …

Go to article

Characterization And Visualization Of Sophisticated Scanning Attacks, Maggie Xiaoyan Cheng, Quanmin Ye, Robert F. Erbacher Jan 2013

Characterization And Visualization Of Sophisticated Scanning Attacks, Maggie Xiaoyan Cheng, Quanmin Ye, Robert F. Erbacher

Computer Science Faculty Research & Creative Works

Detection of sophisticated stealthy network scans requires analyzing large amounts of network data collected over long periods of time. The sheer volume of the data prohibits efficient detection from a pure algorithmic approach. However timely detection of such sophisticated scanning attacks is critical since the attacker employing these approaches is usually well-resourced and potentially can bring high impact to the network than a naive attacker can. To detect such sophisticated scans, we propose the integration of algorithmic detection and visualization for human detection to simultaneously optimize computational complexity and human analyst time. The proposed approach provides real world detection capabilities …

Go to article

Simultaneous Routing And Multiplexing In Ad Hoc Networks With Mimo Links, Maggie Cheng, Quanmin Ye, Xiaochun Cheng Jan 2013

Simultaneous Routing And Multiplexing In Ad Hoc Networks With Mimo Links, Maggie Cheng, Quanmin Ye, Xiaochun Cheng

Computer Science Faculty Research & Creative Works

This paper addresses how to leverage the spatial multiplexing function of MIMO links to improve wireless network throughput. Wireless interference modeling of a half-duplex MIMO node is presented, based on which, routing, spatial multiplexing and scheduling are jointly considered in one optimization model. A linear program-based algorithm is proposed for the joint optimization, and numerical simulation results show that the joint optimization of routing with spatial-temporal multiplexing is superior to the separate design approaches, including separating routing from the other two designs, and separating scheduling from the other two designs. © 2013 IEEE.

Go to article

Optimization Of Object Queries On Collections Using Annotations For The String Valued Attributes, Venkata Krishna Suhas Nerella, Sanjay K. Madria, Thomas Weigert Jan 2013

Optimization Of Object Queries On Collections Using Annotations For The String Valued Attributes, Venkata Krishna Suhas Nerella, Sanjay K. Madria, Thomas Weigert

Computer Science Faculty Research & Creative Works

Object oriented programming languages raised the level of abstraction by supporting the explicit first-class query constructs in the programming codes. The query constructs can be optimized by leveraging the techniques of query optimization from the domain of databases. The existing optimization approaches such as JQL, however, incur high run time overhead as optimizations are performed only at run time. Therefore, in this paper, we propose an approach that performs the query optimization at compile time utilizing the metadata annotations in the source code. The proposed approach first collects the data from the sample execution of the program and extracts the …

Go to article

Exploratory Coverage In Limited Mobility Sensor Networks, Mark Snyder, Sriram Chellappan, Mayur Thakur Jan 2013

Exploratory Coverage In Limited Mobility Sensor Networks, Mark Snyder, Sriram Chellappan, Mayur Thakur

Computer Science Faculty Research & Creative Works

Autonomous drones are employed with ever-increasing frequency in applications ranging from search and rescue, detection of forest fires, and battlefield/civilian surveillance. In this paper, we study the effects of limited mobility in such mobile sensor platforms, from the perspective of the effect limited mobility has on coverage effectiveness. We define a problem that we call Exploratory Coverage in Limited Mobility Sensor Networks, wherein the objective is to move a number of mobile sensors to fully explore (and hence, sense every point in) a target area in order to detect any critical event that has already occurred in the area. Further, …

Go to article

An Efficient Trust Propagation Scheme For Predicting Trustworthiness Of Service Providers In Service-Oriented Social Networks, Yu Xu, Jianxun Liu, Mingdong Tang, Xiaoqing Frank Liu Jan 2013

An Efficient Trust Propagation Scheme For Predicting Trustworthiness Of Service Providers In Service-Oriented Social Networks, Yu Xu, Jianxun Liu, Mingdong Tang, Xiaoqing Frank Liu

Computer Science Faculty Research & Creative Works

Perception of trustworthiness of service providers is a fundamental need in service selection. Trust propagation has been used to predict trustworthiness of service providers in service-oriented social networks. However, existing trust propagation methods may suffer from a scalability problem, i.e., their computation time is likely too high to be acceptable in practice, especially when they are applied to very large-scale service-oriented social networks. Moreover, they rarely consider the structural properties of social networks to optimize their performance. This paper proposes an efficient trust propagation scheme for predicting trust in service-oriented social networks. It exploits the specific structural properties of social …

Go to article

Assessment Of An Enterprise Employee Portal Using Dashboard Monitoring System: A Case Study, Aditi Mishra Jan 2013

Assessment Of An Enterprise Employee Portal Using Dashboard Monitoring System: A Case Study, Aditi Mishra

Masters Theses

"A portal is a browser-based application that provides a web platform for users to improve inter-department collaboration and customer service. Portals are classified either as internal facing portals or external public facing portals. This study addresses the problems facing an internal portal related to its contents, functions and usability and provides a list of essential contents and functions that it should include through integrating theories and industry best practices. The theory framework is based on literature review and the industry best practices are based on the analysis of a number of internal portals of companies used as case studies. These …

Go to article

Casat-Hoomt: Computer Aided Software Analysis Tool Based On High Order Object-Oriented Modeling Technique, Fan Zhang, Jinwu Wang, Xiaoqing Frank Liu, Buqing Cao, Mingdong Tang Jan 2013

Casat-Hoomt: Computer Aided Software Analysis Tool Based On High Order Object-Oriented Modeling Technique, Fan Zhang, Jinwu Wang, Xiaoqing Frank Liu, Buqing Cao, Mingdong Tang

Computer Science Faculty Research & Creative Works

This paper presents the first computer aided software analysis tool based on HOOMT (High Order Object-oriented Modeling Technique), which provides facilities for structured object-oriented analysis by integrating structured analysis and object-oriented analysis. It contains a graphical user interface for HOOMT-based modeling, supports modeling information management, and provides functionalities for developing three component sub-models in HOOMT: High Order Object Model (HOOM), Hierarchical Object Information Flow Model (HOIFM), and Hierarchical State Transition Model (HSTM). It supports structured decomposition of high-order objects, processes, and states. We describe its system architecture and implementation in this paper. © 2013 IEEE.

Go to article

Exploring Run-Time Reduction In Programming Codes Via Query Optimization And Caching, Venkata Krishna Suhas Nerella Jan 2013

Exploring Run-Time Reduction In Programming Codes Via Query Optimization And Caching, Venkata Krishna Suhas Nerella

Doctoral Dissertations

"Object oriented programming languages raised the level of abstraction by supporting the explicit first class query constructs in the programming codes. These query constructs allow programmers to express operations on collections more abstractly than relying on their realization in loops or through provided libraries. Join optimization techniques from the field of database technology support efficient realizations of such language constructs. However, the problem associated with the existing techniques such as query optimization in Java Query Language (JQL) incurs run time overhead. Besides the programming languages supporting first-class query constructs, the usage of annotations has also increased in the software engineering …

Go to article

Pcv: Predicting Contact Volume For Reliable And Efficient Data Transfers In Opportunistic Networks, Shiraz Qayyum, Mehrab Shahriar, Mohan Kumar, Sajal K. Das Jan 2013

Pcv: Predicting Contact Volume For Reliable And Efficient Data Transfers In Opportunistic Networks, Shiraz Qayyum, Mehrab Shahriar, Mohan Kumar, Sajal K. Das

Computer Science Faculty Research & Creative Works

Exploiting opportunistic contacts between mobile devices to enable deployment of real applications through reliable and efficient data transfers poses a significant research challenge. Indeed, accurate prediction of contact volume, defined as the maximum amount of data transferable during a contact, can improve performance of deployments. However, existing schemes for estimating contact volume that make use of preconceived patterns or contact time distributions may not be applicable in uncertain environments. In this paper, we propose a novel scheme called PCV that predicts contact volume in soft real-time to enable efficient and reliable data transfers in opportunistic networks. An Android Application that …

Go to article

Improving Adaptation Rules Quality Using Genetic Programming, Makram Soui, Asma Abdelbaki, Marouane Kessentini, Khaled Ghedira Jan 2013

Improving Adaptation Rules Quality Using Genetic Programming, Makram Soui, Asma Abdelbaki, Marouane Kessentini, Khaled Ghedira

Computer Science Faculty Research & Creative Works

Personalized Information System (PIS) aims to provide tailored services to users in various contexts. The aim of such system is to help users find relevant content easier and faster. To achieve such behavior, the system needs a user model providing information about users, e.g., about their interests, skills, background and custom information while ensuring their adaptation to the needs and preferences of each user. This system is able to learn about the preferences of individual users and to tailor the content, interface, and behavior to the user preferences. In fact, the diversity of contexts and the proliferation of profiles make …

Go to article

Neural Network-Based Optimal Control Of Mobile Robot Formations With Reduced Information Exchange, Travis Dierks, Bryan Brenner, S. Jagannathan Jan 2013

Neural Network-Based Optimal Control Of Mobile Robot Formations With Reduced Information Exchange, Travis Dierks, Bryan Brenner, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel formation control scheme for mobile robots is introduced in the context of leader-follower framework with reduced communication exchange. The dynamical controller inputs for the robots are approximated from nonlinear optimal control techniques in order to track the designed control velocities generated by the kinematic controller. The proposed nonlinear optimal control technique, referred to as adaptive dynamic programming, uses neural networks (NNs) to solve the optimal formation control problem in discrete time in the presence of unknown internal dynamics and a known control coefficient matrix. A modification to the follower's kinematic controller is used to allow the desired formation …

Go to article

Lexis In Chemical Engineering Discourse: Analyzing Style In Chemical Engineering Research Articles Through A Rhetorical Lens, David Lamar Young Jan 2013

Lexis In Chemical Engineering Discourse: Analyzing Style In Chemical Engineering Research Articles Through A Rhetorical Lens, David Lamar Young

Masters Theses

"This study examines the style of chemical engineering research articles to discover stylistic trends that may be applicable to authors looking to publish their own research. Rhetorical stylistic analysis was used as a research method to allow for thorough analysis of all articles in the sample. Ten research articles from the two prominent chemical engineering journals were chosen using specific criteria to constitute a sample of articles that could most accurately represent the population of chemical engineering research articles. Each article was then analyzed line by line to identify markers of chemical engineering research article style, including the following: ▬Use …

Go to article

Design, Construction And Load Testing Of The Pat Daly Road Bridge In Washington County, Mo, With Internal Glass Fiber Reinforced Polymers Reinforcement, Zhibin Lin, Mostafa Fakharifar, Chenglin Wu, Genda Chen, Wesley James Bevans, Arun Vijay Kumar Gunasekaran, Sahra Sedigh Jan 2013

Design, Construction And Load Testing Of The Pat Daly Road Bridge In Washington County, Mo, With Internal Glass Fiber Reinforced Polymers Reinforcement, Zhibin Lin, Mostafa Fakharifar, Chenglin Wu, Genda Chen, Wesley James Bevans, Arun Vijay Kumar Gunasekaran, Sahra Sedigh

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

The overarching goal of this project is to deploy and assess an innovative corrosion-free bridge construction technology for long-term performance of new and existing bridges. The research objective of this project is to conduct a comprehensive study (instrumentation, construction, both laboratory and field evaluation) of a rapidly constructed and durable, three-span bridge with cast-in-place cladding steel reinforced concrete substructure and precast concrete decks/girders reinforced with glass fiber reinforced polymers (GFRP). The bridge has one conventional concrete-girder span, one conventional steel-girder span, and one innovative concrete box-girder span. The conventional concrete and steel girders were used to demonstrate the effective use …

Go to article

Security Analysis Of A Cyber Physical System : A Car Example, Jason Madden Jan 2013

Security Analysis Of A Cyber Physical System : A Car Example, Jason Madden

Masters Theses

"Deeply embedded Cyber Physical Systems (CPS) are infrastructures that have significant cyber and physical components that interact with each other in complex ways. These interactions can violate a system's security policy, leading to the leakage of rights and unintended information flow. This thesis will explore information flow as it uses a public channel. In order to exemplify the use of the public channel, a vehicle being composed of the computer system and its operators will show how information is disclosed to an observer. The example is made up of a vehicle traveling across some terrain with an observer watching the …

Go to article

Shopping Alone Online Vs. Co-Browsing: A Physiological And Perceptual Comparison, Ceren Topaloglu Jan 2013

Shopping Alone Online Vs. Co-Browsing: A Physiological And Perceptual Comparison, Ceren Topaloglu

Masters Theses

"Although shopping is a social activity frequently performed with friends and family members, most online shopping is done alone. With the development of Web 2.0 technologies and the increasing popularity of social networking sites, online social shopping has emerged as a new phenomenon that allows more social interaction, participation, and satisfaction for customers while shopping online. Therefore, companies have started to use social shopping tools in their e-commerce websites to facilitate online social shopping. Co-browsing is one of the more recent online social shopping tools available, enabling users to shop or browse together by offering synchronized web views and chat …

Go to article

Search-Based Model Summarization, Lokesh Krishna Ravichandran Jan 2013

Search-Based Model Summarization, Lokesh Krishna Ravichandran

Masters Theses

"Large systems are complex and consist of numerous components and interactions between the components. Hence managing such large systems is a cumbersome and time consuming task. Large systems are usually described at the model level. But the large number of components in such models makes it difficult to modify. As a consequence, developers need a solution to rapidly detect which model components to revise. Effective solution is to generate a model summary. Although existing techniques are powerful enough to provide good summaries based on lexical information (relevant terms), they do not make use of structural information (component structure) well. In …

Go to article

Hybridizing And Applying Computational Intelligence Techniques, Jeffery Scott Shelburg Jan 2013

Hybridizing And Applying Computational Intelligence Techniques, Jeffery Scott Shelburg

Masters Theses

"As computers are increasingly relied upon to perform tasks of increasing complexity affecting many aspects of society, it is imperative that the underlying computational methods performing the tasks have high performance in terms of effectiveness and scalability. A common solution employed to perform such complex tasks are computational intelligence (CI) techniques. CI techniques use approaches influenced by nature to solve problems in which traditional modeling approaches fail due to impracticality, intractability, or mathematical ill-posedness. While CI techniques can perform considerably better than traditional modeling approaches when solving complex problems, the scalability performance of a given CI technique alone is not …

Go to article

Secure Design Defects Detection And Correction, Wenquan Wang Jan 2013

Secure Design Defects Detection And Correction, Wenquan Wang

Masters Theses

"Bad design and software defects often make source codes hard to understand and lead to maintenance difficulties. In order to detect and fix such defects, researchers have systematically investigated these issues and designed different effective algorithms to tackle the problems. However, most of these methods need source codes/models for defect detection and correction. Commercial companies, like banks, may not be willing to provide their source models due to data security. Therefore, it is a huge challenge to detect software detects by a consulting company as well as to keep source models confidential. This thesis analyze security issues in existing approaches …

Go to article

Efficient Integrity Verification Of Replicated Data In Cloud, Raghul Mukundan Jan 2013

Efficient Integrity Verification Of Replicated Data In Cloud, Raghul Mukundan

Masters Theses

"The cloud computing is an emerging model in which computing infrastructure resources are provided as a service over the Internet. Data owners can outsource their data by remotely storing them in the cloud and enjoy on-demand high quality services from a shared pool of configurable computing resources. By using these data storage services, the data owners can relieve the burden of local data storage and maintenance. However, since data owners and the cloud servers are not in the same trusted domain, the outsourced data may be at risk as the cloud server may no longer be fully trusted. Therefore, data …

Go to article

Women Authors Of Technical Writing Textbooks From 1923 To 1973, Melissa Nicole Wampler Jan 2013

Women Authors Of Technical Writing Textbooks From 1923 To 1973, Melissa Nicole Wampler

Masters Theses

"The published histories of technical writing textbooks do not usually include many women-authored textbooks. To find out why women-authored textbooks have been marginalized in these pedagogical histories, I selected seven women-authored textbooks and four men-authored textbooks published from 1923 to 1973, investigated the backgrounds of the authors and key features of their textbooks, and used the collected data to compare the women-authored textbooks to the men-authored textbooks. I was not able to find any reason why the women-authored textbooks have been or should be marginalized in histories of technical writing textbooks; however, my study had several limitations. My thesis begins …

Go to article

Sybil Detection In Vehicular Networks, Muhammad Ibrahim Almutaz Jan 2013

Sybil Detection In Vehicular Networks, Muhammad Ibrahim Almutaz

Masters Theses

"A Sybil attack is one where an adversary assumes multiple identities with the purpose of defeating an existing reputation system. When Sybil attacks are launched in vehicular networks, an added challenge in detecting malicious nodes is mobility that makes it increasingly difficult to tie a node to the location of attacks. In this thesis, we present an innovative protocol for Sybil detection in vehicular networks. Considering that vehicular networks are cyber-physical systems integrating cyber and physical components, our technique exploits well grounded results in the physical (i.e., transportation) domain to tackle the Sybil problem in the cyber domain. Compared to …

Go to article

Adaptive Event-Triggered Control Of A Uncertain Linear Discrete Time System Using Measured Input And Output Data, Avimanyu Sahoo, Hao Xu, S. Jagannathan Jan 2013

Adaptive Event-Triggered Control Of A Uncertain Linear Discrete Time System Using Measured Input And Output Data, Avimanyu Sahoo, Hao Xu, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, an adaptive model-based event-triggered control of an uncertain linear discrete time system is developed. Measured input and output vectors and their history are utilized to express the unknown linear discrete-time system as an autoregressive Markov representation (ARMarkov). A novel adaptive model in the form of AR Markov is proposed and an update law is derived in order to estimate parameters of the ARMarkov model at triggered instants unlike periodic updates in standard adaptive control. Lyapunov method is used to derive the event trigger condition, prove boundedness of the parameter vector and asymptotic convergence of the outputs and …

Go to article

Neural Network-Based Adaptive Event-Triggered Control Of Affine Nonlinear Discrete Time Systems With Unknown Internal Dynamics, Avimanyu Sahoo, Hao Xu, S. Jagannathan Jan 2013

Neural Network-Based Adaptive Event-Triggered Control Of Affine Nonlinear Discrete Time Systems With Unknown Internal Dynamics, Avimanyu Sahoo, Hao Xu, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the design of a neural network (NN) based adaptive model-based event-triggered control of an uncertain single input single output (SISO) nonlinear discrete time system in affine form is presented. The controller uses an adaptive estimator consisting of a single-layer NN not only to approximate the internal dynamics of an affine nonlinear discrete-time system but also to provide an estimate of the state vector during inter event interval. The NN weights of the adaptive NN estimator are tuned in a aperiodic manner at the event trigger instants unlike periodic updates in standard adaptive neural network (NN) control. A …

Go to article

Social-Context Based Routing And Security In Delay Tolerant Networks, Roy A. Cabaniss Jan 2013

Social-Context Based Routing And Security In Delay Tolerant Networks, Roy A. Cabaniss

Doctoral Dissertations

"Delay Tolerant Networks (DTNs) were originally intended for interplanetary communications and have been applied to a series of difficult environments: wireless sensor networks, unmanned aerial vehicles, and short-range personal communications. There is a class of such environments in which nodes follow semi-predictable social patterns, such as wildlife tracking or personal devices. This work introduces a series of algorithms designed to identify the social patterns present in these environments and apply this data to difficult problems, such as efficient message routing and content distribution. Security is also difficult in a mobile environment. This is especially the case in the event that …

Go to article

Polarization And Opinion Analysis In An Online Argumentation System For Collaborative Decision Support, Ravi Santosh Arvapally Jan 2013

Polarization And Opinion Analysis In An Online Argumentation System For Collaborative Decision Support, Ravi Santosh Arvapally

Doctoral Dissertations

"Argumentation is an important process in a collaborative decision making environment. Argumentation from a large number of stakeholders often produces a large argumentation tree. It is challenging to comprehend such an argumentation tree without intelligent analysis tools. Also, limited decision support is provided for its analysis by the existing argumentation systems. In an argumentation process, stakeholders tend to polarize on their opinions, and form polarization groups. Each group is usually led by a group leader. Polarization groups often overlap and a stakeholder is a member of multiple polarization groups. Identifying polarization groups and quantifying a stakeholder's degree of membership in …

Go to article

Verification Of Information Flow Security In Cyber-Physical Systems, Rav Akella Jan 2013

Verification Of Information Flow Security In Cyber-Physical Systems, Rav Akella

Doctoral Dissertations

"With a growing number of real-world applications that are dependent on computation, securing the information space has become a challenge. The security of information in such applications is often jeopardized by software and hardware failures, intervention of human subjects such as attackers, incorrect design specification and implementation, other social and natural causes. Since these applications are very diverse, often cutting across disciplines a generic approach to detect and mitigate these issues is missing. This dissertation addresses the fundamental problem of verifying information security in a class of real world applications of computation, the Cyber-physical systems (CPSs). One of the motivations …

Go to article

Location Based Services In Wireless Ad Hoc Networks, Neelanjana Dutta Jan 2013

Location Based Services In Wireless Ad Hoc Networks, Neelanjana Dutta

Doctoral Dissertations

"In this dissertation, we investigate location based services in wireless ad hoc networks from four different aspects - i) location privacy in wireless sensor networks (privacy), ii) end-to-end secure communication in randomly deployed wireless sensor networks (security), iii) quality versus latency trade-off in content retrieval under ad hoc node mobility (performance) and iv) location clustering based Sybil attack detection in vehicular ad hoc networks (trust). The first contribution of this dissertation is in addressing location privacy in wireless sensor networks. We propose a non-cooperative sensor localization algorithm showing how an external entity can stealthily invade into the location privacy of …

Go to article

Privacy-Preserving Friend Recommendations In Online Social Networks, Bharath Kumar Samanthula Jan 2013

Privacy-Preserving Friend Recommendations In Online Social Networks, Bharath Kumar Samanthula

Doctoral Dissertations

"Online social networks, such as Facebook and Google+, have been emerging as a new communication service for users to stay in touch and share information with family members and friends over the Internet. Since the users are generating huge amounts of data on social network sites, an interesting question is how to mine this enormous amount of data to retrieve useful information. Along this direction, social network analysis has emerged as an important tool for many business intelligence applications such as identifying potential customers and promoting items based on their interests. In particular, since users are often interested to make …

Go to article

First Prev Next Last