Digital Commons Network^™

Testing Java Monitors By State Space Exploration, Monica Maria Hernandez

Computer Science and Engineering Theses - Archive

Java monitors are classes that are intended to be accessed by multiple threads at the same time. Detecting synchronization faults in Java Monitors is considerably more challenging than testing regular classes, due to the inherent non-determinism of concurrent programs. This thesis proposes a state based exploration approach to testing Java monitors. This approach consists of exploring the state space of a Java monitor in a depth-first manner, dynamically building test sequences, which are comprised by the states explored along each path. Moreover, threads are introduced on the fly during the exploration of each path, based on several rules for simulating …

Hdb-Subdue, A Relational Database Approach To Graph Mining And Hierarchical Reduction, Srihari Padmanabhan

Computer Science and Engineering Theses - Archive

Data mining aims at discovering interesting and previously unknown patterns from data sets. Transactional mining (association rules, decision trees etc.) can be effectively used to find non-trivial patterns in categorical and unstructured data. For applications that have an inherent structure (e.g., chemical compounds, proteins) graph mining is appropriate, because mapping the structured data into other representations would lead to loss of structure. The need for mining structured data has increased in the past few years. Graph mining uses graph theory principles to perform mining. Database mining of graphs aims at mining structured graph data stored in relational database tables using …

Graph-Based Learning Using A Naive Bayesian Classifier, Robert Hawes

Computer Science and Engineering Theses - Archive

Graph-based data representation is becoming increasingly more commonplace, as graphs can represent some kinds of data more efficiently than relational tables. As such, interesting patterns in the form of subgraphs can be discovered by mining these graph-based datasets. Because the learned patterns can be used to predict future occurrences, it is necessary to learn graphical concepts that can optimally classify the data in the presence of uncertainty. This work explores the construction and learning of optimal naïve Bayesian graph classifiers to distinguish between positive and negative graphs given a set of graphs as examples. Whereas most previous work in graph-based …

Approaches For Validating Frequent Episodes Based On Periodicity In Time-Series Data, Dhawal Y. Bhatia

Computer Science and Engineering Theses - Archive

There is ongoing research on sequence mining of time-series data. We study Hybrid Apriori, an interval-based approach to episode discovery that deals with different periodicities in time-series data. Our study identifies the anomaly in the Hybrid Apriori by confirming the false positives in the frequent episodes discovered. The anomaly is due to the folding phase of the algorithm, which combines periods in order to compress data. We propose a main memory based solution to distinguish the false positives from the true frequent episodes. Our algorithm to validate the frequent episodes has several alternatives such as the naïve approach, the partitioned …

Csegrid Portal: A Secure Web-Based Solution For Providing Ubiquitious Access To Grid Services (Design, Development And Implementation Of A Prototype), Srikant D. Rao

Computer Science and Engineering Theses - Archive

Grid computing is emerging as a revolutionary concept for performing high performance computations on the grid. The grid infrastructure comprises of a large set of distributed computing resources that are shared across geographical and organizational boundaries. There is a need within the scientific community for friendly interfaces that can be used to obtain ubiquitous access to the grid resources. In this work, we address these needs by designing and implementing a web-based grid portal system (CSEGrid) that provides the user with transparent access to grid services like job submission, job status and resource monitoring, data transfer between grid resources, etc. …

Solving The Rubik's Cube With Parallel Processing, Aslesha Pramod Nargolkar

Computer Science and Engineering Theses - Archive

This thesis investigates parallel processing techniques for solving the 3 x 3 x 3 Rubik's Cube. We explore various state-space search based algorithmic approaches to optimally solve the Cube. The parallel processing approach is based on IDA* using a pattern database as the underlying heuristic because of its well established effectiveness. The parallel algorithm is an extension of the Michael Reid algorithm which is sequential. The parallel algorithm exhibits good speedup and scalability. Nearly 150 random as well as symmetrical cube configurations were tested for the experiments on sequential and parallel implementations. The proposed parallel algorithm using master-slave type of …

Evolving Modular Programs By Extracting Reusable Functions Using Significance Testing, Anthony Loeppert

Computer Science and Engineering Theses - Archive

Genetic programming is an automatic programming method that uses biologically inspired methods to evolve programs. Genetic programming, and evolutionary methods in general, are useful for problem domains in which a method for \emph{constructing} solutions is either not known or infeasible, but a method for \emph{rating} solutions exists. In order to address more complex problem domains, techniques exist to extract functions (modules) automatically during a GP search. This work describes a method to identify useful automatically extracted functions from a GP search to assist subsequent GP searches within the same problem domain, using significance testing. Functions classified as beneficial augment the …

Human Performance Multimeter: Investigation Of The Fourth Generation Prototype, Rahul Mulukutla

Electrical Engineering Theses - Archive

The focus of this thesis is the development and investigation related to the newest prototype version of the Human Performance MultiMeter (HPMM). Version 4 is a technologically advanced, compact, portable and self-contained unit that is the result of an on-going effort in human performance measurement covering a 25 year history at the Human Performance Institute involving the conception, development, and evaluation of over four hundred different measures. Such measurements are applicable in areas ranging from medical diagnosis and rehabilitation to ergonomics and athletic proficiency. The work included verification of the functionality of a new hardware platform, modification of previously developed …

Wavelet Domain Diversity Method For Transmission Of Images Over Wireless Sytems Using Hybrid (Ofdm-Cdma-Sfh) Concept And Its Real Time Implementation In Tms320c6713 Dsp Development Board, Madhu Rangappagowda

Electrical Engineering Theses - Archive

In this thesis a new OFDM based wavelet domain diversity combining method is proposed to combat errors during image transmission on wireless channels. A novel concept of utilizing OFDM sub-carriers to attain diversity is designed and analyzed. For images represented in the wavelet domain, diversity is used to obtain multiple data streams using OFDM symbols corresponding to the transmitted image at the receiver. These individual image data streams are combined to form a composite image with higher perceptual quality. Both uncompressed and compressed images are considered. The SPIHT algorithm is used for image compression. Diversity combining methods for both uncompressed …

Cmos Optical Transimpedance Amplifier Design For Pam Signaling Application, Hemalatha Shanmugasundaram

Electrical Engineering Theses - Archive

The advent of Internet telephony and the surge in data communication field necessitate the use of broadband communication systems. The Optical communication systems has been suggested as an attractive solution to cope with the high speed data rate and large throughput bottleneck of the long haul communication systems due to their cheaper deployment cost. In the world of miniaturization, CMOS circuits have been widely used to develop the opto-electronic components. However, the intricacy involved in the design of high speed optical front-end is higher due to the poor noise performance of CMOS circuits compared to their bipolar counter parts. Despite …

Business Outlook, Vol. 21, No. 4, December 2005

Business Outlook for West Michigan

No abstract provided.

0544 Interim Committee On Rural Economic Development Issues, Colorado Legislative Council

All Publications (Colorado Legislative Council)

No abstract provided.

0546 Interim Committee To Study The State Procurement Process, Colorado Legislative Council

All Publications (Colorado Legislative Council)

No abstract provided.

0547 Transportation Legislation Review Committee, Colorado Legislative Council

All Publications (Colorado Legislative Council)

No abstract provided.

0548 Water Resources Review Committee, Colorado Legislative Council

All Publications (Colorado Legislative Council)

No abstract provided.

Extended Visions, November/December 2005

Extended Visions Newsletter (ARDC)

Contents:
From Crops to Fiber Optics - What We’re Up To!
ARDC FEATURE UNIT - CALMIT
About the People
Remote Quantification of Crop Health
Ag Awareness Festival Adds New Info
Back by Popular Demand...Sue Martin to Provide Marketing Advice at Dec. 9 Soy Expo
Calendar of Events
Crop Management in the Summer and in the Winter
Director's Comments
Crops to Fiber Optics - What We’re Up To!
Duck Creek Watershed Workshop Focuses on Fewer Inputs and Increased Income
Holstein Provides Nutrition Education for Those With Limited Resources
Levis Receives National Recognition
Mead Magnet School Update
Plant Science Students Visit the …

Discovering Informative Connection Subgraphs In Multi-Relational Graphs, Cartic Ramakrishnan, William Milnor, Matthew Perry, Amit P. Sheth

Kno.e.sis Publications

Discovering patterns in graphs has long been an area of interest. In most approaches to such pattern discovery either quantitative anomalies, frequency of substructure or maximum flow is used to measure the interestingness of a pattern. In this paper we introduce heuristics that guide a subgraph discovery algorithm away from banal paths towards more "informative" ones. Given an RDF graph a user might pose a question of the form: "What are the most relevant ways in which entity X is related to entity Y?" the response to which is a subgraph connecting X to Y. We use our heuristics to …

Internet Usage And Information Seeking Behaviour Of Students Conducting History Projects: Determining The Need Of A Digital Library For Historical Resources, Abdullah Abrizah, Awang Ngah Zainab

Research Publications (2000 to 2005)

This paper reports the results of a user study done at the formative stage of development of a collaborative resource development (CoreDev) digital library for Malaysian historical resources by collaborating partners. CoreDev aims to provide an electronic system to help students obtain information on local history; collect, store and organize information in digital format; publish and share electronic resources. While most digital library projects were driven, by technology development and research, there has been little investigation into how to develop a creative, working community around a digital library. This paper presents preliminary findings on students' readiness and receptivity to participate …

The Performance Of A Spark-Ignition Engine Fuelled With Natural Gas And Gasoline, M.U. Aslam, Haji Hassan Masjuki, M.A. Kalam, H. Abdesselam, M. Varman, T.M.I. Mahlia, M.A. Amalina

Research Publications (2000 to 2005)

An experimental evaluation has been made of the power output, specific fuel consumption and fuel conversion efficiency from running a 1.5 litre, 4-cylinder Proton Magma retrofitted spark ignition car engine with a dynamometer. Tests have been conducted at wide open throttle (WOT), with varying speeds and at constant speed with varying load. Performance, fuel consumption measurements were recorded under steady state operating conditions for gasoline and CNG (compressed natural gas). The engine was converted to computer integrated bi-fueling system from a gasoline engine and was operated separately either with gasoline or CNG using an electronically controlled solenoid actuated valve system. …

An Analysis Of Seawinds-Based Rain Retrieval In Severe Weather Events, David G. Long, Jeffrey R. Allen

Faculty Publications

The Ku-band SeaWinds scatterometer estimates near-surface ocean wind vectors by relating measured backscatter to a geophysical model function for the near-surface vector wind. The conventional wind retrieval algorithm does not explicitly account for SeaWinds' sensitivity to rain, resulting in rain-caused wind retrieval error. A new retrieval method, termed "simultaneous wind/rain retrieval," that estimates both wind and rain from rain-contaminated measurements has been previously proposed and validated with Tropical Rain Measuring Mission data. Here, the accuracy of rains retrieved by the new method is validated through comparison with the Next Generation Weather Radar (NEXRAD) in coastal storm events. The rains detected …

Modeling Microwave Emissions Of Erg Surfaces In The Sahara Desert, David G. Long, Haroon Stephen

Faculty Publications

Sand seas (ergs) of the Sahara are the most dynamic parts of the desert. Aeolian erosion, transportation, and deposition continue to reshape the surface of the ergs. The large-scale features (dunes) of these bedforms reflect the characteristics of the sand and the long-term wind. Radiometric emissions from the ergs have strong dependence on the surface geometry. We model the erg surface as composed of tilted rough facets. Each facet is characterized by a tilt distribution dependent upon the surface roughness of the facet. The radiometric temperature (Tb) of ergs is then the weighted sum of the Tb from all the …

An Ontological View Of The Kingdom Of God In Gutierrez, Segundo, Boff, And Sobrino, Hugo Monroy

Electronic Theses and Dissertations

The great majority of the four hundred and fifty million people in Latin America are poor and oppressed. Presenting the gospel to them as good news is a challenge for any theologian. Theologians' lives are at risk in most places regardless of the ideology they endorse. Jon Sobrino escaped death because he was lecturing out of the country when a military squad came into his home and killed his six companions and the two women who helped them. To serve in a context of poverty and death, theologians need more than church doctrines, creeds, and traditions to sustain them in …

Silence Please: The Case For Cell Phone Rejection, Nina Aversano

Student Scholarship

Cell phone density in G8 countries ranges between 80 and 90 percent – except in the US where some 35 % of Americans have failed to adopt the technology. The relative reluctance of US consumers to embrace cellular technology is puzzling given that the barriers for use appear to be low and the benefits high. If rejection was the simple inverse of adoption, we would expect people to reject cellular telephony based on negative evaluations of usefulness and ease of use, dominant constructs in technology acceptance models. This research suggests, however, that barriers to cell phone rejection transcend those traditionally …

The Immorality Of Textualism, Andrei Marmor

Loyola of Los Angeles Law Review

No abstract provided.

Curriculum Subcommittee Minutes, December 1, 2005, Utah State University

Educational Policies Committee

College of Business

• Prerequisite Change
• Delete Course

School of Accountancy

• New Course
• Course Number Change
• Prerequisite Change
• Prerequisite Change, Reactivate Course
• Delete Course

Department of Business Administration

• New Course

Department of Economics

• New Course
• Course Number Change
• Prerequisite Change
• Credit Hour Change

Department of Management and Human Resources

• New Course
• Prerequisite Change

Department of Engineering and Technology Education

• New Course
• Title Change

Department of Art

• New Course
• Course Number Change, Prefix Change

Department of English

• University Studies Request
• Course Description Change
• Title Change, Course Description Change
• Add Repeatable for Credit

Department of Music

• Delete Course

Department of Sociology, Social Work …

The Advocate, December 1, 2005, Minnesota State University Moorhead

The Advocate

No abstract provided.

Laboratory And Field Investigations To Address Erosion, Volume Change And Desiccation Cracking Of Compost Amended Expansive Subsoils, Napat Intharasombat

Civil Engineering Dissertations - Archive

Desiccations cracks are formed during drying process of fine grained cohesive soils in summer and these cracks often appear on unpaved subgrades due to direct exposure to sun. These cracks allow surface runoff infiltration into subsoils and eventually weaken adjacent base and subgrade layers. The loss of support from these underlying layers results in both longitudinal and transverse cracks in paved shoulders and pavements. Composting is a successful method of recycling organic waste material into stabilized materials that could be used for erosion control and landscaping applications. Since compost is rich in fibrous material and exhibits moisture affinity characteristics, it …

Education For Peace And Justice, John L. Elias

Journal of Catholic Education

This article explores theoretical and practical issues related to education for peace and justice. It briefly presents educational theories of Plato, Aristotle, John Dewey, and Paulo Freire, recent papal and conciliar teachings, and the work of prominent religious educators. The power of education for aiding in justice and peace education is shown through guiding principles, curricular and methodological arrangements, ways of handling controversial issues, and the effective use of the arts.

Why The Initially Confused Should Get A Clue: The Battle Between Trademark Infringement And Consumer Choice Online, John Handy

Fordham Intellectual Property, Media and Entertainment Law Journal

No abstract provided.

Phillips V. Awh Corp., Inc.: A Baffling Claim Construction Methodology, Ehab M. Samuel

Fordham Intellectual Property, Media and Entertainment Law Journal

No abstract provided.