Computer Sciences Commons^™

Ceg 7470-01: Advanced Wireless Networks, Bin Wang

Computer Science & Engineering Syllabi

This course covers advanced topics in wireless networking and mobile computing, including supporting wireless technologies, various types of wireless networks, mesh networks, mobile protocols, mobile security, emerging wireless and mobile technologies, and so on.

Ceg 3110/5110-01: Introduction To Software Testing, John A. Reisner

Computer Science & Engineering Syllabi

This course covers software testing strategies, along with established best practices, to teach students how to test software in a complete and systematic (vice ad-hoc) manner. Particular attention is paid to planning, writing, and executing software tests, along with associated documentation, (i.e., a software test plan), which includes documented results. Various projects are assigned, designed to illustrate various challenges associated with software testing, and to reinforce the strategies and techniques used to overcome these challenges.

Ceg 2350: Os Concepts And Usage, Prabhaker Mateti

Computer Science & Engineering Syllabi

Provides introduction to Linux and Windows operating systems and system administration. Covers files and directories, ownership and sharing, programs and processes, system calls, libraries, dynamic linking, command line shells, scripting, regular expressions and secure network protocols.

A Statistical And Schema Independent Approach To Identify Equivalent Properties On Linked Data, Kalpa Gunaratna, Krishnaprasad Thirunarayan, Prateek Jain, Amit P. Sheth, Sanjaya Wijeratne

Kno.e.sis Publications

Linked Open Data (LOD) cloud has gained significant attention in the Semantic Web community recently. Currently it consists of approximately 295 interlinked datasets with over 50 billion triples including 500 million links, and continues to expand in size. This vast source of structured information has the potential to have a significant impact on knowledge-based applications. However, a key impediment to the use of LOD cloud is limited support for data integration tasks over concepts, instances, and properties. Efforts to address this limitation over properties have focused on matching data-type properties across datasets; however, matching of object-type properties has not received …

A Geo-Ontology Design Pattern For Semantic Trajectories, Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas

Computer Science and Engineering Faculty Publications

Trajectory data have been used in a variety of studies, including human behavior analysis, transportation management, and wildlife tracking. While each study area introduces a different perspective, they share the need to integrate positioning data with domain-specific information. Semantic annotations are necessary to improve discovery, reuse, and integration of trajectory data from different sources. Consequently, it would be beneficial if the common structure encountered in trajectory data could be annotated based on a shared vocabulary, abstracting from domain-specific aspects. Ontology design patterns are an increasingly popular approach to define such flexible and self-contained building blocks of annotations. They appear more …

Mining Effective Multi-Segment Sliding Window For Pathogen Incidence Rate Prediction, Lei Duan, Changjie Tang, Xiasong Li, Guozhu Dong, Xianming Wang, Jie Zuo, Min Jiang, Zhongqi Li, Yongqing Zhang

Kno.e.sis Publications

Pathogen incidence rate prediction, which can be considered as time series modeling, is an important task for infectious disease incidence rate prediction and for public health. This paper investigates the application of a genetic computation technique, namely GEP, for pathogen incidence rate prediction. To overcome the shortcomings of traditional sliding windows in GEP-based time series modeling, the paper introduces the problem of mining effective sliding window, for discovering optimal sliding windows for building accurate prediction models. To utilize the periodical characteristic of pathogen incidence rates, a multi-segment sliding window consisting of several segments from different periodical intervals is proposed and …

Types Of Property Pairs And Alignment On Linked Datasets - A Preliminary Analysis, Kalpa Gunaratna, Krishnaprasad Thirunarayan, Amit P. Sheth

Kno.e.sis Publications

Dataset publication on the Web has been greatly influenced by the Linked Open Data (LOD) project. Many interlinked datasets have become freely available on the Web creating a structured and distributed knowledge representation. Analysis and aligning of concepts and instances in these interconnected datasets have received a lot of attention in the recent past compared to properties. We identify three different categories of property pairs found in the alignment process and study their relative distribution among well known LOD datasets. We also provide comparative analysis of state-of-the-art techniques with regard to different categories, highlighting their capabilities. This could lead to …

Scale Reasoning With Fuzzy-El+ Ontologies Based On Mapreduce, Zhangquan Zhou, Guilin Qi, Chang Lui, Pascal Hitzler, Raghava Mutharaju

Computer Science and Engineering Faculty Publications

Fuzzy extension of Description Logics (DLs) allows the formal representation and handling of fuzzy or vague knowledge. In this paper, we consider the problem of reasoning with fuzzy-EL+, which is a fuzzy extension of EL+. We first identify the challenges and present revised completion classification rules for fuzzy-EL+ that can be handled by MapReduce programs. We then propose an algorithm for scale reasoning with fuzzy-EL+ ontologies using MapReduce. Some preliminary experimental results are provided to show the scalability of our algorithm.

Sroiq Syntax Approximation By Using Nominal Schemas, Cong Wang, David Carral, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Nominal schemas is a recently introduced extension of description logics which makes it possible to express rules which generalize DL-safe ones. A tractable description logic, ELROV_n, has been identified. This leads us to the question: can we improve approximate reasoning results by employing nominal schemas? In this paper, we investigate how to approximately cast SROIQ into ELROV_n. Using a datalog-based tractable algorithm, a preliminary evaluation shows that our approach can indeed do approximate SROIQ-reasoning with a high recall.

Towards An Efficient Algorithm To Reason Over Description Logics Extended With Nominal Schemas, David Carral, Cong Wang, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Extending description logics with so-called nominal schemas has been shown to be a major step towards integrating description logics with rules paradigms. However, establishing efficient algorithms for reasoning with nominal schemas has so far been a challenge. In this paper, we present an algorithm to reason with the description logic fragment ELROV_n, a fragment that extends EL⁺⁺ with nominal schemas. We also report on an implementation and experimental evaluation of the algorithm, which shows that our approach is indeed rather efficient.

From Questions To Effective Answers: On The Utility Of Knowledge-Driven Querying Systems For Life Sciences Data, Amir H. Asiaee, Prashant Doshi, Todd Minning, Satya S. Sahoo, Priti Parikh, Amit P. Sheth, Rick L. Tarleton

Kno.e.sis Publications

We compare two distinct approaches for querying data in the context of the life sciences. The first approach utilizes conventional databases to store the data and provides intuitive form-based interfaces to facilitate querying of the data, commonly used by the life science researchers that we study. The second approach utilizes a large OWL ontology and the same datasets associated as RDF instances of the ontology. Both approaches are being used in parallel by a team of cell biologists in their daily research activities, with the objective of gradually replacing the conventional approach with the knowledge-driven one. We describe several benefits …

Cs 3100: Data Structures And Algorithms, Erik Marlow Buck

Computer Science & Engineering Syllabi

Student learning outcomes include:

• Analyze basic algorithms for space and time complexity
• Design abstract data types appropriate for a given problem
• Implement data structures in an efficient manner
• Design and Implement non-graphical user-interfaces
• Select and implement appropriate data structures for a given problem
• Design algorithms to solve specific problems

Cs 1161: Introduction To Computer Programming Ii, Vanessa Starkey

Computer Science & Engineering Syllabi

Introduction to advanced programming concepts and techniques. Emphasis is on object-oriented programming and graphical user interfaces. Integrated lecture/lab.

Cs 3180/5180: Comparative Languages, Krishnaprasad Thirunarayan

Computer Science & Engineering Syllabi

This course will introduce fundamental concepts and paradigms underlying the design of modern programming languages. For concreteness, we study the details of an object-oriented language (e.g. Java, C#, C++), a functional language (e.g. Scheme), and get introduced to multiparadigm languages (e.g. Python, Scala). The overall goal is to enable comparison and evaluation of existing languages. The programming assignments will largely be coded in Java and in Racket (formerly, Scheme) and optionally in Python or Scala.

Cs 4000: Social Implications Of Computing, Leo Finkelstein

Computer Science & Engineering Syllabi

CS 4000 is a communication skills course using as its subject matter current salient issues associated with the social implications of computing. IN addition to the course text, you will need to use certain reading materials in the library and elsewhere, and you will be responsible for using concepts and theories provided in class lectures and discussions.

Cs 7840: Soft Computing, John C. Gallagher

Computer Science & Engineering Syllabi

This course explores soft computation from historical, theoretical, and application viewpoints. Soft computing methods to be considered include evolutionary computation, neural computation, fuzzy set theory, and approximate reasoning. Applications to problems in optimization, control, and classification will be presented.

Cs 1181: Computer Science Ii, Dan C. Wlodarski

Computer Science & Engineering Syllabi

This is the second course in a two-semester sequence introducing fundamental concepts and techniques for computer science and engineering. The course focuses on problem analysis, advanced programming concepts using JAVA and fundamental data structures. Students learn to analyze problems and evaluate potential solutions with respect to choice of data structures and computational efficiency. Student are exposed to the underlying implementation of basic data structures available in JAVA libraries and develop the skilled needs to extend existing data structures and design new data structures to solve increasingly complex problems. This is an integrated writing course.

Ceg 4422/6422-01: Secure Computing Practices, Bin Wang

Computer Science & Engineering Syllabi

No abstract provided.

Cs 7700: Advanced Database Systems, Soon M. Chung

Computer Science & Engineering Syllabi

Introduction of DB design concepts and operating principles of database systems.

Crisis Response Coordination In Online Communities, Hemant Purohit

Kno.e.sis Publications

During recent crises, citizens (sensors) are increasingly using social media to share variety of information- situation on the ground, emerging needs, donation offers, damage, etc. In such an evolving ad-hoc community, how can we extract actionable nuggets from the social media streams to aid relief efforts? This doctoral consortium presentation summarizes a framework to analyze social data and manage information to assist coordination by focusing on three important questions to answer: Whom to coordinate with, Why to coordinate and How to coordinate, with exemplary insights for needs and availability from the recent disaster events.

Demo: Approximate Semantic Matching In The Collider Event Processing Engine, Souleiman Hasan, Kalpa Gunaratna, Yongrui Qin, Edward Curry

Kno.e.sis Publications

This demo presents a use case from the energy management domain. It builds upon previous work on approximate semantic matching of heterogeneous events and compares two semantic matching scenarios: exact and approximate. It illustrates how a large number of exact matching event subscriptions are needed to match heterogeneous power consumption events. It then demonstrates how a small number of approximate semantic matching subscriptions are needed but possibly with a lower true positives/negatives performance. The demo is delivered via the COLLIDER approximate event processing engine currently under development in DERI.

Understanding Common Perceptions From Online Social Media, Derek Doran, Swapna S. Gokhale, Aldo Dagnino

Computer Science and Engineering Faculty Publications

Modern society habitually uses online social media services to publicly share observations, thoughts, opinions, and beliefs at any time and from any location. These geotagged social media posts may provide aggregate insights into people's perceptions on a bad range of topics across a given geographical area beyond what is currently possible through services such as Yelp and Foursquare. This paper develops probabilistic language models to investigate whether collective, topic-based perceptions within a geographical area can be extracted from the content of geotagged Twitter posts. The capability of the methodology is illustrated using tweets from three areas of different sizes. An …

The Role Of String Similarity Metrics In Ontology Alignment, Michelle Cheatham, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Tim Berners-Lee originally envisioned a much different world wide web than the one we have today - one that computers as well as humans could search for the information they need [3]. There are currently a wide variety of research efforts towards achieving this goal, one of which is ontology alignment.

An Ontology Design Pattern For Cartographic Map Scaling, David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman Ii, Adila A. Krisnadhi, Pascal Hitzler

Computer Science and Engineering Faculty Publications

The concepts of scale is at the core of cartographic abstraction and mapping. It defines which geographic phenomena should be displayed, which type of geometry and map symbol to use, which measures can be taken, as well as the degree to which features need to be exaggerated or spatially displaced. In this work, we present an ontology design pattern for map scaling using the Web Ontology Language (OWL) within a particular extension of the OWL RL profile. We explain how it can be used to describe scaling applications, to reason over scale levels, and geometric representations. We propose an axiomatization …

There's No Money In Linked Data, Prateek Jain, Pascal Hitzler, Krzysztof Janowicz, Chitra Venkatramani

Computer Science and Engineering Faculty Publications

Linked Data (LD) has been an active research area for more than 6 years and many aspects about publishing, retrieving, linking, and cleaning Linked Data have been investigated. There seems to be a broad and general agreement that in principle LD datasets can be very useful for solving a wide variety of problems ranging from practical industrial analytics to highly specific research problems. Having these notions in mind, we started exploring the use of notable LD datasets such as DBpedia, Freebase, Geonames and others for a commercial application. However, it turns out that using these datasets in realistic settings is …

Biomarkers Of Fatigue: Metabolomics Profiles Predictive Of Cognitive Performance, Nicholas J. Delraso, Deirdre A. Mahle, John J. Schlager, Donald L. Harville, Scott R. Chaiken, Danelle K. Roddy, Mari Chamberlain, Paul E. Anderson, Nicholas V. Reo, Michael L. Raymer, Isaie Sibomana

Computer Science and Engineering Faculty Publications

Cognitive performance and fatigue are well known to be inversely related. Continuous and sustained actions in operational environments typically lead to reduced sleep normally required to perform optimally. These operational environments subject the warfighter to intense physical and mental exertion. Because fatigue continues to be an occupational hazard, leading to cognitive defects in performance, there has been a recognized need for real-time detection technologies that minimize fatigue-induced mishaps. I the current study, 23 subjects were subjected to 36h of sleep deprivation and cognitive psychomotor vigilance and automated neuropsychological assessment metric tests were conducted over the last 24 h of sleep …

A Semantic Situation Awareness Framework For Indoor Cyber-Physical Systems, Pratikkumar Desai

Kno.e.sis Publications

Recently, the domain of cyber-physical systems (CPSs) has emerged as a successor to the traditional embedded systems and the wireless sensor networks. The relatively new cyber-physical domain offers tight integration of control, communication and computation components to develop advanced web based application in various heterogeneous domains such as health care, disaster management, automation and environment monitoring. The applications of indoor CPSs include remote patient monitoring, smart home, etc. with focus on situation awareness via event identification from context information. The principal challenges associated with the development of situation awareness applications include uncertainty in contextual data, incomplete domain knowledge, interoperability between …

Cs 1160-03: Introduction To Computer Programming I, David M. Hutchison

Computer Science & Engineering Syllabi

CS 1160 is the first in a sequence of two programming classes. This course will introduce students to the basic concepts of programming. Examples are from business applications with an emphasis on problem-solving with the computer as a tool.

Cs 1160: Introduction To Computer Programming I, Vanessa Starkey

Computer Science & Engineering Syllabi

Basic concepts of computer programming with an emphasis on structured programming techniques. Includes an introduction to object-oriented programming. Integrated lecture/lab.

Reasoning With Inconsistencies In Hybrid Mknf Knowledge Bases, Shasha Huang, Qingguo Li, Pascal Hitzler

Computer Science and Engineering Faculty Publications

This article is concerned with the handling of inconsistencies occurring in the combination of description logics and rules, especially in hybrid MKNF knowledge bases. More precisely, we present a paraconsistent semantics for hybrid MKNF knowledge bases (called para-MKNF knowledge bases) based on four-valued logic as proposed by Belnap. We also reduce this paraconsistent semantics to the stable model semantics via a linear transformation operator, which shows the relationship between the two semantics and indicates that the data complexity in our paradigm is not higher than that of classical reasoning. Moreover, we provide fixpoint operators to compute paraconsistent MKNF models, each …