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

Physical Sciences and Mathematics Commons

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

Articles 1 - 17 of 17

Full-Text Articles in Physical Sciences and Mathematics

A Type Analysis Of Rewrite Strategies, Azamat Mametjanov Dec 2010

A Type Analysis Of Rewrite Strategies, Azamat Mametjanov

Student Work

Rewrite strategies provide an algorithmic rewriting of terms using strategic compositions of rewrite rules. Due to the programmability of rewrites, errors are often made due to incorrect compositions of rewrites or incorrect application of rewrites to a term within a strategic rewriting program. In practical applications of strategic rewriting, testing and debugging becomes substantially time-intensive for large programs applied to large inputs derived from large term grammars. In essence, determining which rewrite in what position in a term did or did not re comes down to logging, tracing and/or di -like comparison of inputs to outputs. In this thesis, we …


A Genetic Algorithm For Multiobjective Hard Scheduling Optimization, Elías Niño, Carlos Ardila, Alfredo J. Perez, Yexid Donoso Dec 2010

A Genetic Algorithm For Multiobjective Hard Scheduling Optimization, Elías Niño, Carlos Ardila, Alfredo J. Perez, Yexid Donoso

Computer Science Faculty Publications

This paper proposes a genetic algorithm for multiobjective scheduling optimization based in the object oriented design with constrains on delivery times, process precedence and resource availability. Initially, the programming algorithm (PA) was designed and implemented, taking into account all constraints mentioned. This algorithm’s main objective is, given a sequence of production orders, products and processes, calculate its total programming cost and time.
Once the programming algorithm was defined, the genetic algorithm (GA) was developed for minimizing two objectives: delivery times and total programming cost. The stages defined for this algorithm were: selection, crossover and mutation. During the first stage, the …


Constructive Ontology Engineering, William L. Sousan Nov 2010

Constructive Ontology Engineering, William L. Sousan

Student Work

The proliferation of the Semantic Web depends on ontologies for knowledge sharing, semantic annotation, data fusion, and descriptions of data for machine interpretation. However, ontologies are difficult to create and maintain. In addition, their structure and content may vary depending on the application and domain. Several methods described in literature have been used in creating ontologies from various data sources such as structured data in databases or unstructured text found in text documents or HTML documents. Various data mining techniques, natural language processing methods, syntactical analysis, machine learning methods, and other techniques have been used in building ontologies with automated …


Developing A Conceptual Model Of Virtual Organizations For Citizen Science, Andrea Wiggins, Kevin Crowston Sep 2010

Developing A Conceptual Model Of Virtual Organizations For Citizen Science, Andrea Wiggins, Kevin Crowston

Information Systems and Quantitative Analysis Faculty Publications

This paper develops an organisation design-oriented conceptual model of scientific knowledge production through citizen science virtual organisations. Citizen science is a form of organisation design for collaborative scientific research involving scientists and volunteers, for which internet-based modes of participation enable massive virtual collaboration by thousands of members of the public. The conceptual model provides an example of a theory development process and discusses its application to an exploratory study. The paper contributes a multi-level process model for organising investigation into the impact of design on this form of scientific knowledge production.


A Design Science Based Evaluation Framework For Patterns, Stacie Clarke Petter, Deepak Khazanchi, John D. Murphy Aug 2010

A Design Science Based Evaluation Framework For Patterns, Stacie Clarke Petter, Deepak Khazanchi, John D. Murphy

Information Systems and Quantitative Analysis Faculty Publications

Patterns were originally developed in the field of architecture as a mechanism for communicating good solutions to recurring classes of problems. Since then, many researchers and practitioners have created patterns to describe effective solutions to problems associated with disparate areas such as virtual project management, human-computer interaction, software development and engineering, and design science research. We believe that the development of patterns is a design science activity in which an artifact (i.e., a pattern) is created to communicate about and improve upon the current state-of-practice. Design science research has two critical components, creation and evaluation of an artifact. While many …


Investigating Capabilities Associated With Ict Access And Use In Latino Micro-Enterprises, Travis Good, Luis Flores Morales, Sajda Qureshi Aug 2010

Investigating Capabilities Associated With Ict Access And Use In Latino Micro-Enterprises, Travis Good, Luis Flores Morales, Sajda Qureshi

Information Systems and Quantitative Analysis Faculty Proceedings & Presentations

While the process by which Information Technology enables growth in medium and large enterprises has been wellresearched, the corresponding processes in micro-enterprises are poorly understood. In fact, such micro-enterprises lie at the heart of many economies. This insight is important as information technology enables businesses to connect with each other through knowledge networking to carry out their basic business operations. There is thus a need to build our understanding of how micro-enterprises access and use technology in order to be able to assess the benefits they derive from ICT adoption. Following an analysis of two case studies of Latino micro-enterprises …


G-Sense: A Scalable Architecture For Global Sensing And Monitoring, Alfredo J. Perez, Miguel A. Labrador, Sean J. Barbeau Jul 2010

G-Sense: A Scalable Architecture For Global Sensing And Monitoring, Alfredo J. Perez, Miguel A. Labrador, Sean J. Barbeau

Computer Science Faculty Publications

The pervasiveness of cellular phones combined with Internet connectivity, GPS embedded chips, location information, and integrated sensors provide an excellent platform to collect data about the individual and its surrounding environment. As a result, new applications have recently appeared to address large-scale societal problems as well as improve the quality of life of the individual. However, these new applications, recently called location-based services, participatory sensing, and human-centric sensing, bring many new challenges, one of them being the management of the huge amount of traffic (data) they generate. This article presents G-Sense, for Global-Sense, an architecture that integrates mobile and static …


A Location-Aware Framework For Intelligent Real-Time Mobile Applications, Sean J. Barbeau, Rafael A. Perez, Miguel A. Labrador, Alfredo J. Perez, Nevine Labib Georggi, Philip L. Winters Jul 2010

A Location-Aware Framework For Intelligent Real-Time Mobile Applications, Sean J. Barbeau, Rafael A. Perez, Miguel A. Labrador, Alfredo J. Perez, Nevine Labib Georggi, Philip L. Winters

Computer Science Faculty Publications

The Location-Aware Information Systems Client (LAISYC) supports intelligent, real-time, mobile applications for GPS-enabled mobile phones by dynamically adjusting platform parameters for application performance while conserving device resources such as battery life.


A Dynamic Energy-Aware Model For Scheduling Computationally Intensive Bioinformatics Applications, Sachin Pawaskar, Hesham Ali Jul 2010

A Dynamic Energy-Aware Model For Scheduling Computationally Intensive Bioinformatics Applications, Sachin Pawaskar, Hesham Ali

Computer Science Faculty Proceedings & Presentations

High Performance Computing (HPC) resources are housed in large datacenters, which consume huge amounts of energy and are quickly demanding attention from businesses as they result in high operating costs. On the other hand HPC environments have been very useful to researchers in many emerging areas in life sciences such as Bioinformatics and Medical Informatics. In this paper, we provide a dynamic model for energy aware scheduling (EAS) in a HPC environment; we use a widely used bioinformatics tool named BLAT (BLAST-like alignment tool) running in a HPC environment as our case study. Our proposed EAS model incorporates 2-Phases: an …


Can The Presence Of Online Word Of Mouth Increase Product Sales?, Alanah Mitchell, Deepak Khazanchi Jul 2010

Can The Presence Of Online Word Of Mouth Increase Product Sales?, Alanah Mitchell, Deepak Khazanchi

Information Systems and Quantitative Analysis Faculty Publications

The power and potential impact of online word of mouth has increased substantially. Consumers have come to accept and rely upon online word of mouth, so it is important to understand how it works and what kind of impact it has on online product sales. This article provides an assessment of this question through an analysis of sales and online word of mouth data from a multi-product e-commerce retail firm.


Sense Of Place In Virtual World Learning Environments: A Conceptual Exploration, Vipin Arora, Deepak Khazanchi May 2010

Sense Of Place In Virtual World Learning Environments: A Conceptual Exploration, Vipin Arora, Deepak Khazanchi

Information Systems and Quantitative Analysis Faculty Proceedings & Presentations

In this paper we conceptually explore the notion of sense of place and its potential use in the design of a ‗place for learning‘ in 3D immersive environments such as virtual worlds. We draw from earlier research in the fields of environmental psychology, social psychology and Human Computer Interaction. Our goal in this paper is to summarize the conceptual foundations that will form the basis for further empirical research aimed to inform institutions aspiring to create learning spaces in 3D virtual worlds.


Sat-Based Answer Set Programming, Yuliya Lierler May 2010

Sat-Based Answer Set Programming, Yuliya Lierler

Computer Science Faculty Publications

Answer set programming (ASP) is a declarative programming paradigm oriented towards difficult combinatorial search problems. Syntactically, ASP programs look like Prolog programs, but solutions are represented in ASP by sets of atoms, and not by substitutions, as in Prolog. Answer set systems, such as SMODELS, SMODELSCC, and DLV, compute answer sets of a given program in the sense of the answer set (stable model) semantics. This is different from the functionality of Prolog systems, which determine when a given query is true relative to a given logic program. ASP has been applied to many areas of science and technology, from …


A Pda Intervention To Sustain Smoking Cessation In Clients With Socioeconomic Vulnerability, Lynne Buchanan, Deepak Khazanchi Apr 2010

A Pda Intervention To Sustain Smoking Cessation In Clients With Socioeconomic Vulnerability, Lynne Buchanan, Deepak Khazanchi

Information Systems and Quantitative Analysis Faculty Publications

This article describes a pilot study to explore use of a personal digital assistant (PDA) to sustain smoking cessation after discharge in clients with socioeconomic vulnerability. The major aim is to describe technology acceptance (perceived ease of use, usefulness, and attitude), portability, technical difficulty, satisfaction, and use time. The sample includes 31 medical surgical clients with average age of 47.35 (±13.3), average household income of $13,629 (±8,204), average number in the household of 2.67 (±2.22), and average education of 11th grade. The results demonstrate mean use time of 9.28 (±3.23) hr, or about 1 hr over 8 weeks. Technology acceptance …


Representing Synonymity In Causal Logic And In Logic Programming, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang Jan 2010

Representing Synonymity In Causal Logic And In Logic Programming, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang

Computer Science Faculty Proceedings & Presentations

We investigate the relationship between rules representing synonymity in nonmonotonic causal logic and in answer set programming. This question is of interest in connection with current work on modular languages for describing actions.


The Role Of An Effective It Intervention For Microenterprises, Changsoo Song, Sajda Qureshi Jan 2010

The Role Of An Effective It Intervention For Microenterprises, Changsoo Song, Sajda Qureshi

Information Systems and Quantitative Analysis Faculty Proceedings & Presentations

Information technology (IT) interventions for micro-enterprises are fragmented and their approach lacks theoretical foundations. While various researchers have conducted studies on the effects of IT adoption in micro-enterprises, little research has been conducted to explain critical aspects of an effective IT intervention for micro-enterprises from a theoretical perspective. This study aims to fill this gap and empirically investigate how IT interventions can effectively facilitate the process of IT adoption by micro-enterprises. This paper suggests that effective IT interventions may have considerable potential for facilitating IT adoption among micro-enterprises across the United States and the world. Following an analysis of four …


An Intelligent Data-Centric Approach Toward Identification Of Conserved Motifs In Protein Sequences, Kathryn Dempsey Cooper, Benjamin Currall, Richard Hallworth, Hesham Ali Jan 2010

An Intelligent Data-Centric Approach Toward Identification Of Conserved Motifs In Protein Sequences, Kathryn Dempsey Cooper, Benjamin Currall, Richard Hallworth, Hesham Ali

Interdisciplinary Informatics Faculty Proceedings & Presentations

The continued integration of the computational and biological sciences has revolutionized genomic and proteomic studies. However, efficient collaboration between these fields requires the creation of shared standards. A common problem arises when biological input does not properly fit the expectations of the algorithm, which can result in misinterpretation of the output. This potential confounding of input/output is a drawback especially when regarding motif finding software. Here we propose a method for improving output by selecting input based upon evolutionary distance, domain architecture, and known function. This method improved detection of both known and unknown motifs in two separate case studies. …


Information Technology Adoption In Latin American Microenterprises, Travis Good, Mehruz Kamal, Sajda Qureshi, Nancy Jimenez Jan 2010

Information Technology Adoption In Latin American Microenterprises, Travis Good, Mehruz Kamal, Sajda Qureshi, Nancy Jimenez

Information Systems and Quantitative Analysis Faculty Proceedings & Presentations

The majority of businesses in developing regions across the world are microenterprises. In recent years, this form of business has been particularly resilient to economic downturns. While microenterprises are the least likely to succeed, when they do, their growth increases by a factor of 3.4% when they adopt technology. However, the challenges faced by microenterprises make it very difficult for them to adopt technology successfully. Existing theoretical models of ICT adoption have centered on intent to adopt in large organizations, and thus lack applicability to microenterprises, wherein the intent to adopt is an individual decision. This paper builds on prior …