Computer Sciences Commons^™

Sequential Pattern Mining With Uncertain Data, Jiaqi Ge

Open Access Dissertations

In recent years, a number of emerging applications, such as sensor monitoring systems, RFID networks and location based services, have led to the proliferation of uncertain data. However, traditional data mining algorithms are usually inapplicable in uncertain data because of its probabilistic nature. Uncertainty has to be carefully handled; otherwise, it might significantly downgrade the quality of underlying data mining applications.

Therefore, we extend traditional data mining algorithms into their uncertain versions so that they still can produce accurate results. In particular, we use a motivating example of sequential pattern mining to illustrate how to incorporate uncertain information in the …

Skewed Factor Models Using Selection Mechanisms, Hyoung-Moon Kim, Mehdi Maadooliat, Reinaldo B. Arellano-Valle, Marc G. Genton

Mathematics, Statistics and Computer Science Faculty Research and Publications

Traditional factor models explicitly or implicitly assume that the factors follow a multivariate normal distribution; that is, only moments up to order two are involved. However, it may happen in real data problems that the first two moments cannot explain the factors. Based on this motivation, here we devise three new skewed factor models, the skew-normal, the skew-t, and the generalized skew-normal factor models depending on a selection mechanism on the factors. The ECME algorithms are adopted to estimate related parameters for statistical inference. Monte Carlo simulations validate our new models and we demonstrate the need for skewed factor models …

A Personalized People Recommender System Using Global Search Approach, Chun-Hua Tsai, Peter Brusilovsky

Information Systems and Quantitative Analysis Faculty Proceedings & Presentations

The goal of people recommender system is to generate meaningful social suggestion to users. The abundant data are the key factor in fulfilling a recommendation task, but the cost of user data in a real-world system is high. In this paper, we propose a novel approach that integrates a global search result with a personalized people recommendation system. Our approach utilizes the user identity as a query keyword and processes the search results through five different customized parsers. This approach solves the cold-start issue in recommendation systems and leverages the crossdomain information in order to provide a better recommendation result. …

Semantic, Cognitive, And Perceptual Computing: Paradigms That Shape Human Experience, Amit P. Sheth, Pramod Anantharam, Cory Henson

Kno.e.sis Publications

Unlike machine-centric computing, in which efficient data processing takes precedence over contextual tailoring, human-centric computation provides a personalized data interpretation that most users find highly relevant to their needs. The authors show how semantic, cognitive, and perceptual computing paradigms work together to produce actionable information.

Man Vs. Machine: Investigating The Effects Of Adversarial System Use On End-User Behavior In Automated Deception Detection Interviews, Jeffrey Gainer Proudfoot, Randall Boyle, Ryan M. Schuetzler

Information Systems and Quantitative Analysis Faculty Publications

Deception is an inevitable component of human interaction. Researchers and practitioners are developing information systems to aid in the detection of deceptive communication. Information systems are typically adopted by end users to aid in completing a goal or objective (e.g., increasing the efficiency of a business process). However, end-user interactions with deception detection systems (adversarial systems) are unique because the goals of the system and the user are orthogonal. Prior work investigating systems-based deception detection has focused on the identification of reliable deception indicators. This research extends extant work by looking at how users of deception detection systems alter their …

Venncafe, Daniel Johnson, Christopher Clark, Jonathan Amireh

Computer Science and Software Engineering

Our senior project involved creating a simple dating application and service. From other dating applications, we observed that the logistics of scheduling a first date are a tedious way to start a conversation with someone you've never met. The main concept of our application was that it would use user schedule availability and their favorite cafes to automatically plan optimal dates.

We started the project with the intent of...

• Working through the entire development cycle of a large project as a team

• Devising techniques for determining overlapping preferences, especially when handling large amounts of location and time data

• Exploring different …

  ---

  Go to article

The Mantle Transition Zone Beneath The Afar Depression And Adjacent Regions: Implications For Mantle Plumes And Hydration, Cory A. Reed, Stephen S. Gao, Kelly H. Liu, Y. Yu

Geosciences and Geological and Petroleum Engineering Faculty Research & Creative Works

The Afar Depression and its adjacent areas are underlain by an upper mantle marked by some of the world's largest negative velocity anomalies, which are frequently attributed to the thermal influences of a lower-mantle plume. In spite of numerous studies, however, the existence of a plume beneath the area remains enigmatic, partially due to inadequate quantities of broad-band seismic data and the limited vertical resolution at the mantle transition zone (MTZ) depth of the techniques employed by previous investigations. In this study, we use an unprecedented quantity (over 14 500) of P-to-S receiver functions (RFs) recorded by 139 stations from …

Image Use In Social Network Communication: A Case Study Of Tweets On The Boston Marathon Bombing, Jungwon Yoon, Eunkyung Chung

School of Information Systems and Management Faculty Publications

Introduction. This study aimed to understand how images are used in communication practices in the Twitter environment. Method. 1,428 Boston marathon bombing related Twitter messages with embedded images were collected, and content analysis was conducted. Analysis. Characteristics of image use were examined and were analysed by type of Twitter messages. Results. People used diverse types of images in Twitter messages including: direct photos, captured images, computer graphics, and maps. Depending on the content of Twitter messages, uses of images were categorised into four types: 1) to illustrate news, information, and anecdotes, 2) to disseminate visual information that cannot be provided …

Geodesic Universal Molecules, John C. Bowers, Ileana Streinu

Computer Science: Faculty Publications

The first phase of TreeMaker, a well-known method for origami design, decomposes a planar polygon (the “paper”) into regions. If some region is not convex, TreeMaker indicates it with an error message and stops. Otherwise, a second phases is invoked which computes a crease pattern called a “universal molecule”. In this paper we introduce and study geodesic universal molecules, which also work with non-convex polygons and thus extend the applicability of the TreeMaker method. We characterize the family of disk-like surfaces, crease patterns and folded states produced by our generalized algorithm. They include non-convex polygons drawn on the surface of …

Enabling Optimizations Through Demodularization, Blake Dennis Johnson

Theses and Dissertations

Programmers want to write modular programs to increase maintainability and create abstractions, but modularity hampers optimizations, especially when modules are compiled separately or written in different languages. In languages with syntactic extension capabilities, each module in a program can be written in a separate language, and the module system must ensure that the modules interoperate correctly. In Racket, the module system ensures this by separating module code into phases for runtime and compile-time and allowing phased imports and exports inside modules. We present an algorithm, called demodularization, that combines all executable code from a phased modular program into a single …

Increment - Interactive Cluster Refinement, Logan Adam Mitchell

Theses and Dissertations

We present INCREMENT, a cluster refinement algorithm which utilizes user feedback to refine clusterings. INCREMENT is capable of improving clusterings produced by arbitrary clustering algorithms. The initial clustering provided is first sub-clustered to improve query efficiency. A small set of select instances from each of these sub-clusters are presented to a user for labelling. Utilizing the user feedback, INCREMENT trains a feature embedder to map the input features to a new feature space. This space is learned such that spatial distance is inversely correlated with semantic similarity, determined from the user feedback. A final clustering is then formed in the …

Implications Of Motion Planning: Optimality And K-Survivability, Yu-Han Lyu

Dartmouth College Ph.D Dissertations

We study motion planning problems, finding trajectories that connect two configurations of a system, from two different perspectives: optimality and survivability. For the problem of finding optimal trajectories, we provide a model in which the existence of optimal trajectories is guaranteed, and design an algorithm to find approximately optimal trajectories for a kinematic planar robot within this model. We also design an algorithm to build data structures to represent the configuration space, supporting optimal trajectory queries for any given pair of configurations in an obstructed environment. We are also interested in planning paths for expendable robots moving in a threat …

Diversity Maximization Speedup For Localizing Faults In Single-Fault And Multi-Fault Programs, Xin Xia, Liang Gong, Tien-Duy B. Le, David Lo, Lingxiao Jiang, Hongyu Zhang

Research Collection School Of Computing and Information Systems

Fault localization is useful for reducing debugging effort. Such techniques require test cases with oracles, which can determine whether a program behaves correctly for every test input. Although most fault localization techniques can localize faults relatively accurately even with a small number of test cases, choosing the right test cases and creating oracles for them are not easy. Test oracle creation is expensive because it can take much manual labeling effort (i.e., effort needed to decide whether the test cases pass or fail). Given a number of test cases to be executed, it is challenging to minimize the number of …

Rack: Automatic Api Recommendation Using Crowdsourced Knowledge, Mohammad M. Rahman, Chanchal K. Roy, David Lo

Research Collection School Of Computing and Information Systems

Traditional code search engines often do not perform well with natural language queries since they mostly apply keyword matching. These engines thus need carefully designed queries containing information about programming APIs for code search. Unfortunately, existing studies suggest that preparing an effective code search query is both challenging and time consuming for the developers. In this paper, we propose a novel API recommendation technique -- RACK that recommends a list of relevant APIs for a natural language query for code search by exploiting keyword-API associations from the crowdsourced knowledge of Stack Overflow. We first motivate our technique using an exploratory …

History Driven Program Repair, Xuan-Bach D. Le, David Lo, Claire Le Goues

Research Collection School Of Computing and Information Systems

Effective automated program repair techniques have great potential to reduce the costs of debugging and maintenance. Previously proposed automated program repair (APR) techniques often follow a generate-and-validate and test- case-driven procedure: They first randomly generate a large pool of fix candidates and then exhaustively validate the quality of the candidates by testing them against existing or provided test suites. Unfortunately, many real-world bugs cannot be repaired by existing techniques even after more than 12 hours of computation in a multi-core cloud environment. More work is needed to advance the capabilities of modern APR techniques. We propose a new technique that …

A Systems Approach To Animal Communication, Eileen A. Hebets, Andrew B. Barron, Christopher N. Balakrishnan, Mark E. Hauber, Paul H. Mason, Kim L. Hoke

Eileen Hebets Publications

Why animal communication displays are so complex and how they have evolved are active foci of research with a long and rich history. Progress towards an evolutionary analysis of signal complexity, however, has been constrained by a lack of hypotheses to explain similarities and/or differences in signalling systems across taxa. To address this, we advocate incorporating a systems approach into studies of animal communication—an approach that includes comprehensive experimental designs and data collection in combination with the implementation of systems concepts and tools. A systems approach evaluates overall display architecture, including how components interact to alter function, and how function …

Strongly Leakage-Resilient Authenticated Key Exchange, Rongmao Chen, Yi Mu, Guomin Yang, Willy Susilo, Fuchun Guo

Research Collection School Of Computing and Information Systems

Authenticated Key Exchange (AKE) protocols have been widely deployed in many real-world applications for securing communication channels. In this paper, we make the following contributions. First, we revisit the security modelling of leakage-resilient AKE protocols, and show that the existing models either impose some unnatural restrictions or do not sufficiently capture leakage attacks in reality. We then introduce a new strong yet meaningful security model, named challenge-dependent leakage-resilient eCK (CLR- eCKCLR- eCK) model, to capture challenge-dependent leakage attacks on both long-term secret key and ephemeral secret key (i.e., randomness). Second, we propose a general framework for constructing one-round CLR- eCKCLR- …

Interactive Teachable Cognitive Agents: Smart Building Blocks For Multiagent Systems, Budhitama Subagdja, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Developing a complex intelligent system by abstracting their behaviors, functionalities, and reasoning mechanisms can be tedious and time consuming. In this paper, we present a framework for developing an application or software system based on smart autonomous components that collaborate with the developer or user to realize the entire system. Inspired by teachable approaches and programming-by-demonstration methods in robotics and end-user development, we treat intelligent agents as teachable components that make up the system to be built. Each agent serves different functionalities and may have prebuilt operations to accomplish its own design objectives. However, each agent may also be equipped …

Semantic Memory Modeling And Memory Interaction In Learning Agents, Wenwen Wang, Ah-Hwee Tan, Loo-Nin Teow

Research Collection School Of Computing and Information Systems

Semantic memory plays a critical role in reasoning and decision making. It enables an agent to abstract useful knowledge learned from its past experience. Based on an extension of fusion adaptive resonance theory network, this paper presents a novel self-organizing memory model to represent and learn various types of semantic knowledge in a unified manner. The proposed model, called fusion adaptive resonance theory for multimemory learning, incorporates a set of neural processes, through which it may transfer knowledge and cooperate with other long-term memory systems, including episodic memory and procedural memory. Specifically, we present a generic learning process, under which …

Magi: Enabling Multi-Device Gestural Applications, Tran Huy Vu, Choo Tsu Wei, Kenny, Youngki Lee, Richard Christopher Davis, Archan Misra

Research Collection School Of Computing and Information Systems

We describe our vision of a multiple mobile or wearable device environment and share our initial exploration of our vision in multi-wrist gesture recognition. We explore how multi-device input and output might look, giving four scenarios of everyday multi-device use that show the technical challenges that need to be addressed. We describe our system which allows for recognition to be distributed between multiple devices, fusing recognition streams on a resource-rich device (e.g., mobile phone). An Interactor layer recognises common gestures from the fusion engine, and provides abstract input streams (e.g., scrolling and zooming) to user interface components called Midgets. These …

Harmonic Analysis In Integrated Energy System Based On Compressed Sensing, Ting Yang, Haibo Pen, Dan Wang, Zhaoxia Wang

Research Collection School Of Computing and Information Systems

The advent of Integrated Energy Systems enabled various distributed energy to access the system through different power electronic devices. The development of this has made the harmonic environment more complex. It needs low complexity and high precision of harmonic detection and analysis methods to improve power quality. To solve the shortages of large data storage capacities and high complexity of compression in sampling under the Nyquist sampling framework, this research paper presents a harmonic analysis scheme based on compressed sensing theory. The proposed scheme enables the performance of the functions of compressive sampling, signal reconstruction and harmonic detection simultaneously. In …

Towards Improving Interface Modularity In Legacy Java Software Through Automated Refactoring, Raffi T. Khatchadourian, Olivia Moore, Hidehiko Masuhara

Publications and Research

The skeletal implementation pattern is a software design pattern consisting of defining an abstract class that provides a partial interface implementation. However, since Java allows only single class inheritance, if implementers decide to extend a skeletal implementation, they will not be allowed to extend any other class. Also, discovering the skeletal implementation may require a global analysis. Java 8 enhanced interfaces alleviate these problems by allowing interfaces to contain (default) method implementations, which implementers inherit. Java classes are then free to extend a different class, and a separate abstract class is no longer needed; developers considering implementing an interface need …

Requirements Quick Notes, William L. Honig, Shingo Takada

Computer Science: Faculty Publications and Other Works

A short introduction to requirements and their role in system development. Includes industry definition of requirements, overview of basic requirements process including numbering of requirements, ties to testing, and traceability. An introduction to requirements quality attributes (correct, unambiguous, etc.) Includes references to requirements process, numbering, and quality papers.

Requirements Metrics - Definitions Of A Working List Of Possible Metrics For Requirements Quality, William L. Honig

Computer Science: Faculty Publications and Other Works

A work in progress to define a metrics set for requirements. Metrics are defined that apply to either the entire requirements set (requirements document as a whole) or individual atomic (or singular, individual) requirements statements. Requirements are identified with standard names and a identification scheme and include both subjective and objective measures.

An example metric for the full set of requirements: Rd2 - Requirements Consistency, Is the set of atomic requirements internally consistent, with no contradictions, no duplication between individual requirements? An example of a metric for a single requirement: Ra4 - Requirement Verifiability, How adequately can this requirement be …

The Need For Research In Broadening Participation, Tiffany Barnes, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

Underrepresentation in computing is a global problem, marked by a disturbing lack of access to computing resources and education among people underrepresented by race, ethnicity, gender, income, disability, and sexual-orientation status. It is urgent that we address this divide between those with and without the knowledge to create computational artifacts or even basic functional literacy. Important alliances for broadening participation (BP) are catalyzing efforts to engage more people in computing, but they are not enough. We need solid research as well.

The Impact Of The Exploring Computer Science Instructional Model In Chicago Public Schools, Lucia Dettori, Ronald I. Greenberg, Steven Mcgee, Dale Reed

Computer Science: Faculty Publications and Other Works

As part of the Taste of Computing project, the Exploring Computer Science (ECS) instructional model has been expanded to many high schools in the Chicago Public Schools system. We report on initial outcomes showing that students value the ECS course experience, resulting in increased awareness of and interest in the field of computer science. We compare these results by race and gender. The data provide a good basis for exploring the impact of meaningful computer science instruction on students from groups underrepresented in computing; of several hundred students surveyed, nearly half were female, and over half were Hispanic or African-American.

A Cyber Forensics Needs Analysis Survey: Revisiting The Domain's Needs A Decade Later, Vikram S. Harichandran, Frank Breitinger, Ibrahim Baggili, Andrew Marrington

All Works

© 2015 Elsevier Ltd. The number of successful cyber attacks continues to increase, threatening financial and personal security worldwide. Cyber/digital forensics is undergoing a paradigm shift in which evidence is frequently massive in size, demands live acquisition, and may be insufficient to convict a criminal residing in another legal jurisdiction. This paper presents the findings of the first broad needs analysis survey in cyber forensics in nearly a decade, aimed at obtaining an updated consensus of professional attitudes in order to optimize resource allocation and to prioritize problems and possible solutions more efficiently. Results from the 99 respondents gave compelling …

A Method And A Case Study For The Selection Of The Best Available Tool For Mobile Device Forensics Using Decision Analysis, Shahzad Saleem, Oliver Popov, Ibrahim Baggili

Electrical & Computer Engineering and Computer Science Faculty Publications

The omnipresence of mobile devices (or small scale digital devices - SSDD) and more importantly the utility of their associated applications for our daily activities, which range from financial transactions to learning, and from entertainment to distributed social presence, create an abundance of digital evidence for each individual. Some of the evidence may be a result of illegal activities that need to be identified, understood and eventually prevented in the future. There are numerous tools for acquiring and analyzing digital evidence extracted from mobile devices. The diversity of SSDDs, types of evidence generated and the number of tools used to …

Towards Improving Interface Modularity In Legacy Java Software Through Automated Refactoring, Raffi Khatchadourian, Olivia Moore, Hidehiko Masuhara

Publications and Research

The skeletal implementation pattern is a software design pattern that defines an abstract class that provides a partial interface implementation. However, since Java allows only single class inheritance, if implementers decide to extend a skeletal implementation, they will not be allowed to extend any other class. Also, discovering the skeletal implementation may require a global analysis. Java 8 enhanced interfaces alleviate these problems by enabling interfaces to contain (default) method implementations, which implementers inherit. Java classes are then free to extend a different class, and a separate abstract class is no longer needed; developers considering implementing an interface need only …

An Adaptive Wireless Passive Human Detection Via Fine-Grained Physical Layer Information, Liangyi Gong, Wu Yang, Zimu Zhou, Dapeng Man, Haibin Cai, Xiancun Zhou, Zheng Yang

Research Collection School Of Computing and Information Systems

Wireless device-free passive human detection is a key enabler for a range of indoor location-based services such as asset security, emergency responses, privacy-preserving children and elderly monitoring, etc. Since the feature of received signal varies with different multipath propagation conditions, an labor-intensive on-site calibration procedure is almost indispensable to decide the optimal scenario-specific threshold for human detection. Such overhead, however, impedes readily and fast deployment of wireless device-free human detection systems in practical indoor environments. In this work, we explore PHY layer multipath profiling information to extract a novel quantitative metric Ks as an indicator for link sensitivity, and further …