Events

As an expressive knowledge representation language for the Semantic Web, the Web Ontology Language (OWL) plays an important role in areas like science and commerce. However, the problem of maintaining integrity constraints arises because OWL employs the open world assumption (OWA) as well as the non-unique name assumption (NUNA). Integrity constraints (ICs) on ontologies have to be enforced; otherwise, conflicting results would be derivable from the same knowledge base.

P2P (peer-to-peer) search is the process of finding relevant documents that meet user information needs in a document collection distributed among a group of peers in a P2P overlay. The main objectives of a good search system include minimum state maintained per peer, low bandwidth consumption, high accuracy, a large number of discovered documents, and robust and adaptive behavior in dynamic environments. Therefore, successful data management, query routing, and query evaluation as well as result aggregation methods need to be devised to aid in a successful P2P search.

Computational haplotyping methods are currently limited by inaccuracies, ambiguities, and short phasing distance, and experimental methods are limited by labor, cost, and incompleteness. Here, we report on a computational/experimental integrated method to solve the single-individual haplotyping problem. We implemented this method in software (HiFi) and applied it to resolving the chromosomal haplotypes of 14 individuals. Each genome haplotype was determined in 2.5 minutes completely on all SNPs, with ~99.7% accuracy.

Home energy management (HEM) is a key component in the future smart grid aimed at high efficiency and a greater integration of renewable sources. In this talk, we consider the problem of optimal control of appliances by an HEM device that serves as an interface with an energy aggregator through real-time pricing and the specification of load profile.

Modern handheld devices like smart phones and PDAs have become increasingly powerful in recent years. This project aims to be a part of this mobile trend and help users to perform some of their daily activities on their smart phones. This application provides beneficial and useful information about Georgia State University's Downtown campus. It will not only assist current students and staff but also visitors, particularly those who are not acquainted with the campus.

Wireless Sensor Networks (WSNs) are deployed for monitoring in a range of critical domains (e.g., health care, military, critical infrastructure). Accordingly, these WSNs should be resilient to attacks. The current approach to defending against malicious threats is to develop and deploy a specific defense mechanism for a specific attack. However, the problem with this traditional approach to defending sensor networks is that the solution for the jamming attack does not defend against other attacks (e.g., Sybil and selective forwarding).

The project is to design a parser and semantic checker for quantified deductive databases. The language used is Datalog, a query and rule-based language for deductive databases. Here the designed parser and semantic checker are for an extended Datalog language that handles quantified deductive databases, which incorporate universally quantified expressions in the bodies of rules. As the universally quantified expressions contain negations in their semantics the extended Datalog also falls under the category of deductive databases with negations.

The typical home Internet user is blissfully unaware of any malicious network traffic coming into or leaving their local network. The purpose of this project was to build and install an Intrusion Detection System (IDS) in a consumer network environment to monitor and analyze network traffic patterns over a defined period of time. The results of the project show that the odds of someone randomly infiltrating a home network randomly from the outside are remote.