Index Catalog // ScholarsArchive@OSU

Optimal inference with local expressions

Creator:: Borujerdi, Mohammad
Abstract:: Probabilistic inference using Bayesian networks is now a well-established approach for reasoning under uncertainty. Among many e ciency-driven tech- niques which have been developed, the Optimal Factoring Problem (OFP) is distinguished for presenting a combinatorial optimization point of view on the problem. The contribution of this thesis is to extend...
Resource Type:: Dissertation

From ALPHA to imperative code : a transformational compiler for an array based functional language

Creator:: Wilde, Doran K.
Abstract:: Practical parallel programming demands that the details of distributing data to processors and inter- processor communication be managed by the compiler. These tasks quickly become too di cult for a programmer to do by hand for all but the simplest parallel programs. Yet, many parallel languages still require the programmer...
Resource Type:: Dissertation

A study of distance-based machine learning algorithms

Creator:: Wettschereck, Dietrich
Abstract:: Distance-based algorithms are machine learning algorithms that classify queries by computing distances between these queries and a number of internally stored exemplars. Exemplars that are closest to the query have the largest in uence on the classi cation assigned to the query. Two speci c distance-based algorithms, the nearest neighbor...
Resource Type:: Dissertation

Active learning with committees : an approach to efficient learning in text categorization using linear threshold algorithms

Creator:: Liere, Ray
Abstract:: We developed and investigated machine learning methods that require minimal preprocessing of the input data, use few training examples, run fast, and still obtain high levels of accuracy. Most approaches to designing machine learning programs are based on the supervised learning paradigm – training examples are chosen randomly and given...
Resource Type:: Dissertation

Algorithms for string matching with applications in molecular biology

Creator:: Holloway, James Lee
Abstract:: As the volume of genetic sequence data increases due to improved sequencing techniques and increased interest, the computational tools available to analyze the data are becoming inadequate. This thesis seeks to improve a few of the computational methods available to access and analyze data in the genetic sequence databases. The...
Resource Type:: Dissertation

LacEDAemon : a programming environment for the multiparadigm language leda

Creator:: Pandey, Rajeev K.
Abstract:: Multiparadigm programming languages are a recent development in the realm of programming languages. A multiparadigm programming language allows the use of multiple, differing programming paradigms without departing from a single, unified linguistic framework. Multiparadigm programming languages are claimed to have benefits to both pedagogy and complex application creation. The beneficial...
Resource Type:: Dissertation

Reinforcement learning for job-shop scheduling

Creator:: Zhang, Wei, 1960-
Resource Type:: Dissertation

Pattern systems and methodologies for multiparadigm analysis and design

Creator:: Knutson, Charles D.
Abstract:: In this research, we have captured, in pattern form, key elements of programming and design in four programming paradigms (imperative, object-oriented, functional and logical) as well as multiparadigm programming. These pattern sets have formed a foundation upon which we were able to build a deeper understanding of multiparadigm programming and...
Resource Type:: Dissertation

Converting English text to speech : a machine learning approach

Creator:: Bakiri, Ghulum
Abstract:: The task of mapping spelled English words into strings of phonemes and stresses ("reading aloud") has many practical applications. Several commercial systems perform this task by applying a knowledge base of expert-supplied letter-to-sound rules. This dissertation presents a set of machine learning methods for automatically constructing letter-to-sound rules by analyzing...
Resource Type:: Dissertation

System reliability through Algorithm-Based Fault tolerance and reconfiguration

Creator:: Ramanathan, Gowri
Resource Type:: Dissertation

Just enough die-level functional test : optimizing IC test via machine learning and decision theory

Creator:: Fountain, Tony R.
Abstract:: This research explores the hypothesis that methods from decision theory and machine learning can be combined to provide practical solutions to current manufacturing control problems. This hypothesis is explored by developing an integrated approach to solving one manufacturing problem - the optimization of die-level functional test. An integrated circuit (IC)...
Resource Type:: Dissertation

Representations and algorithms for efficient inference in Bayesian networks

Creator:: Takikawa, Masami
Abstract:: Bayesian networks are used for building intelligent agents that act under uncertainty. They are a compact representation of agents' probabilistic knowledge. A Bayesian network can be viewed as representing a factorization of a full joint probability distribution into the multiplication of a set of conditional probability distributions. Independence of causal...
Resource Type:: Dissertation

Similarity-based real-time concurrency control protocols

Creator:: Lai, Chih
Abstract:: Serializability is unnecessarily strict for real-time systems because most transactions in such systems occur periodically and changes among data values over a few consecutive periods are often insignificant. Hence, data values produced within a short interval can be treated as if they are "similar" and interchangeable. This notion of similarity...
Resource Type:: Dissertation

On resource placements and fault-tolerant broadcasting in toroidal networks

Creator:: AlMohammad, Bader Fahed AlBedaiwi
Abstract:: Parallel computers are classified into: Multiprocessors, and multicomputers. A multiprocessor system usually has a shared memory through which its processors can communicate. On the other hand, the processors of a multicomputer system communicate by message passing through an interconnection network. A widely used class of interconnection networks is the toroidal...
Resource Type:: Dissertation

Similarity inheritance : a model of inheritance for declarative visual programming languages

Creator:: Djang, Rebecca W. (Rebecca Walpole)
Abstract:: Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such...
Resource Type:: Dissertation

Software composition with extended entity-relationship diagrams

Creator:: Muenchaisri, Pornsiri
Abstract:: I introduce a compositional approach to application software development. In this approach, an extended entity-relationship diagram (EERD), which represents the component types and the relationship types within an application domain, is used as a template of executable programs in that application domain. As we use structural active objects as the...
Resource Type:: Dissertation

Design of efficient constant weight codes

Creator:: Tallini, Luca
Abstract:: In a constant weight code, each code word contains a constant number of 1's. If this number is equal to half the length of the code word then the code is called balanced. These codes find many applications in computer and communication systems noise reduction in VLSI systems, fault masking...
Resource Type:: Dissertation

Resource placement, data rearrangement, and Hamiltonian cycles in torus networks

Creator:: Bae, Myung Mun
Abstract:: Many parallel machines, both commercial and experimental, have been/are being designed with toroidal interconnection networks. For a given number of nodes, the torus has a relatively larger diameter, but better cost/performance tradeoffs, such as higher channel bandwidth, and lower node degree, when compared to the hypercube. Thus, the torus is...
Resource Type:: Dissertation

Towards architecture-adaptable parallel programming

Creator:: Kumaran, Santhosh
Abstract:: There is a software gap in parallel processing. The short lifespan and small installation base of parallel architectures have made it economically infeasible to develop platform-specific parallel programming environments that deliver performance and programmability. One obvious solution is to build architecture-independent programming environments. But the architecture independence usually comes at...
Resource Type:: Dissertation

Generalizing abstractions in form-based visual programming languages : from direct manipulation to static representation

Creator:: Yang, Sherry
Abstract:: We believe concreteness, direct manipulation and responsiveness in a visual programming language increase its usefulness. However, these characteristics present a challenge in generalizing programs for reuse, especially when concrete examples are used as one way of achieving concreteness. In this thesis, we present a technique to solve this problem by...
Resource Type:: Dissertation

High-performance data-parallel input/output

Creator:: Moore, Jason Andrew
Abstract:: Existing parallel file systems are proving inadequate in two important arenas: programmability and performance. Both of these inadequacies can largely be traced to the fact that nearly all parallel file systems evolved from Unix and rely on a Unix-oriented, single-stream, block-at-a-time approach to file I/O. This one-size-fits-all approach to parallel...
Resource Type:: Dissertation

A browser-based tool for designing query interfaces to scientific databases

Creator:: Newsome, Mark Ronald, 1960-
Abstract:: Scientists in the biological sciences need to retrieve information from a variety of data collections, traditionally maintained in SQL databases, in order to conduct research. Because current assistant tools are designed primarily for business and financial users, scientists have been forced to use the notoriously difficult command-line SQL interface, supplied...
Resource Type:: Dissertation

Topics in toroidal interconnection networks

Creator:: Broeg, Robert Richard
Resource Type:: Dissertation

A study of model-based average reward reinforcement learning

Creator:: Ok, DoKyeong
Abstract:: Reinforcement Learning (RL) is the study of learning agents that improve their performance from rewards and punishments. Most reinforcement learning methods optimize the discounted total reward received by an agent, while, in many domains, the natural criterion is to optimize the average reward per time step. In this thesis, we...
Resource Type:: Dissertation

Electra : integrating constraints, condition-based dispatching, and features exclusion into the multiparadigm language Leda

Creator:: Zamel, Nabil M.
Abstract:: Multiparadigm languages are languages that are designed to support more than one style of programming. Leda is a strongly-typed multiparadigm programming language that supports imperative, functional, object-oriented, and logic programming. The constraint programming paradigm is a declarative style of programming where the programmer is able to state relationships among some...
Resource Type:: Dissertation

Analytical performance prediction of data-parallel programs

Creator:: Clement, Mark J.
Resource Type:: Dissertation

A linear equation model for a family of interconnection networks

Creator:: Larson, Shawn M.
Abstract:: The most important part of parallel computation is communication. Except in the most embarassingly parallel examples, processors cannot work cooperatively to solve a problem unless they can communicate. One way to solve the problem of communication is to use an interconnection network. Processors are located at nodes of the network,...
Resource Type:: Dissertation

Knowledge-based decision model construction for hierarchical diagnosis and repair

Creator:: Yuan, Soe-Tsyr
Abstract:: Knowledge-Based Model Construction (KBMC) has generated a lot of attention due to its importance as a technique for generating probabilistic or decision-theoretic models whose range of applicability in AI has been vastly increased. However, no one has tried to analyze the essential issues in KBMC, to determine if there exists...
Resource Type:: Dissertation

Scheduling non-uniform parallel loops on MIMD computers

Creator:: Liu, Jie
Abstract:: Parallel loops are one of the main sources of parallelism in scientific applications, and many parallel loops do not have a uniform iteration execution time. To achieve good performance for such applications on a parallel computer, iterations of a parallel loop have to be assigned to processors in such a...
Resource Type:: Dissertation

Embeddings in parallel systems

Creator:: Kwon, Younggeun
Resource Type:: Dissertation

A factoring approach for probabilistic inference in belief networks

Creator:: Li, Zhaoyu
Abstract:: Reasoning about any realistic domain always involves a degree of uncertainty. Probabilistic inference in belief networks is one effective way of reasoning under uncertainty. Efficiency is critical in applying this technique, and many researchers have been working on this topic. This thesis is the report of our research in this...
Resource Type:: Dissertation

Design and analysis of hard real-time systems

Creator:: Zhu, Jiang
Abstract:: First, we study hard real-time scheduling problems where each task is defined by a four tuple (r, c, p, d): r being its release time, c computation time, p period, and d deadline. The question is whether all tasks can meet their deadlines on one processor. If not, how many...
Resource Type:: Dissertation

Software system documentation process maturity model

Creator:: Visconti, Marcello
Resource Type:: Dissertation

Concept coverage and its application to two learning tasks

Creator:: Almuallim, Hussein Saleh
Abstract:: The coverage of a learning algorithm is the number of concepts that can be learned by that algorithm from samples of a given size for given accuracy and confidence parameters. This thesis begins by asking whether good learning algorithms can be designed by maximizing their coverage. There are three questions...
Resource Type:: Dissertation

Using signaling to aid computer program comprehension

Creator:: Gellenbeck, Edward M.
Abstract:: Guidelines for using style to improve computer program comprehension have often been proposed without empirical testing. This thesis reports on the results of three controlled experiments that investigated ways program style may be used to aid comprehension of source code listings. Experiments 1 and 2 were conducted using advanced computer...
Resource Type:: Dissertation

Correct abstraction in counter-planning : a knowledge compilation approach

Creator:: Flann, Nicholas S.
Abstract:: Knowledge compilation improves search-intensive problem-solvers that are easily specified but inefficient. One promising approach improves efficiency by constructing a database of problem-instance/best-action pairs that replace problem-solving search with efficient lookup. The database is constructed by reverse enumeration- expanding the complete search space backwards, from the terminal problem instances. This approach...
Resource Type:: Dissertation

Comprehensive support for developing graphical highly interactive user interface systems

Creator:: Keh, Huan-chao
Abstract:: The general problem of application development of interactive GUI applications has been addressed by toolkits, libraries, user interface management systems, and more recently domain-specific application frameworks. However, the most sophisticated solution offered by frameworks still lacks a number of features which are addressed by this research: 1) limited functionality --...
Resource Type:: Dissertation

Active object systems

Creator:: Choi, Sungwoon
Abstract:: An active object system is a transition-based object-oriented system suitable for the design of various concurrent systems. An AOS consists of a collection of interacting objects, where the behavior of each object is determined by the transition statements provided in the class of that object. A transition statement is a...
Resource Type:: Dissertation

Machine learning in engineering : techniques to speed up numerical optimization

Creator:: Cerbone, G. (Giuseppe)
Abstract:: Many important application problems in engineering can be formalized as nonlinear optimization tasks. However, numerical methods for solving such problems are brittle and do not scale well. For example, these methods depend critically on choosing a good starting point from which to perform the optimization search. In high-dimensional spaces, numerical...
Resource Type:: Dissertation

AOPS : an abstraction oriented programming system for literate programming

Creator:: Shum, Stephen M.
Abstract:: The practice of literate programming is not widespread because existing literate programming systems have some undesirable characteristics such as programming language and text processor dependence and lack of flexible tools for viewing and manipulation of the source file. This dissertation describes the literate programming system AOPS (Abstraction Oriented Programming System)...
Resource Type:: Dissertation

Fault-tolerant communications in parallel systems

Creator:: Park, Seungjin
Resource Type:: Dissertation

An empirical study into learning through experimentation

Creator:: Ruff, Ritchey Alvin
Abstract:: A key aspect of how we understand the world revolves around an ability to manipulate our surroundings to experiment. From the scientific method through theories of child development, the ability to experiment is deemed critical; however, few studies have been performed to understand the strengths and weaknesses of different experimental...
Resource Type:: Dissertation

Dependent evidence in reasoning with uncertainty

Creator:: Ling, Xiaoning
Abstract:: The problem of handling dependent evidence is an important practical issue for applications of reasoning with uncertainty in artificial intelligence. The existing solutions to the problem are not satisfactory because of their ad hoc nature, complexities, or limitations. In this dissertation, we develop a general framework that can be used...
Resource Type:: Dissertation

Design and analysis of robust algorithms for fault tolerant computing

Creator:: Jang, Jai Eun
Resource Type:: Dissertation

Balanced codes

Creator:: Al-Bassam, Sulaiman
Abstract:: Balanced codes, in which each codeword contains equally many 1's and 0's, are useful in such applications as in optical transmission and optical recording. When balanced codes are used, the same number of 1's and 0's pass through the channel after the transmission of every word, so the channel is...
Resource Type:: Dissertation

Learning hierarchical decomposition rules for planning : an inductive logic programming approach

Creator:: Reddy, Chandrasekhara K.
Abstract:: Artificial Intelligence (AI) planning techniques have been central to automating a gamut of tasks from the mundane route planning and beer production to the ethereal image processing of space-ship images. Of all the planning techniques, hierarchical- decomposition planning has been the technique most employed in industrial-strength planners. Hierarchical-decomposition planning is...
Resource Type:: Dissertation

Understanding and improving error-correcting output coding

Creator:: Kong, Eun Bae
Abstract:: Error-correcting output coding (ECOC) is a method for converting a k-classsupervised learning problem into a large number L of two-class supervised learningproblems and then combining the results of these L evaluations. Previous researchhas shown that ECOC can dramatically improve the classi cation accuracy of supervisedlearning algorithms that learn to classify...
Resource Type:: Dissertation

Search Constraints

Search Results

Limit your search