Search Constraints

Start Over
Filtering by: DOI 10.1007/s10745-015-9734-4 Remove constraint DOI: 10.1007/s10745-015-9734-4 Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 4

  • Leveraging Structures of the Data in Deep Learning

    Creator:
    Li, Xingyi
    Abstract:
    The performance of deep learning frameworks could be significantly improved through considering the particular underlying structures for each dataset. In this thesis, I summarize our three work about boosting the performance of deep learning models through leveraging structures of the data. In the first work, we theoretically justify that, for...
    Resource Type:
    Dissertation
    Full Text:
    Chapter 4. TABLE OF CONTENTS Page 1 Introduction 1 2 Filter Shaping for Convolutional Neural Networks

  • An Information Modeling Framework for Support of Sustainable Manufacturing System Design Decision Making

    Creator:
    Shankar Raman, Arvind
    Abstract:
    Manufacturing technology has continuously evolved and advanced over the past century; this has led to an increase in the production of consumer and industrial goods driven by simultaneous growth in population and wealth. Despite the resulting economic and labor growth, environmental impacts of manufacturing have increased dramatically due to the...
    Resource Type:
    Dissertation
    Full Text:
    process flows composed of UMPs, which is demonstrated for a discrete part manufacturing system; and (4

  • An Investigation on Nanoscale-shape-mediated Coupling Between Temperature and Densification in Intense Pulsed Light Sintering of Silver Nanoparticles

    Creator:
    Bansal, Shalu
    Abstract:
    In Intense Pulsed Light (IPL) sintering, pulsed large-area visible light from a xenon lamp is absorbed by nanoparticle films or patterns and converted to heat, resulting in rapid sintering of the nanoparticles. This work experimentally characterizes IPL sintering of silver nanoparticle films. A newly observed turning point in the evolution...
    Resource Type:
    Masters Thesis
    Full Text:
    ................................................................................. 36 4 Conclusions and Future work

  • Using Change Representations to Analyze Properties of Variational Software

    Creator:
    Wang, Xiangyu
    Abstract:
    Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
    Resource Type:
    Masters Thesis
    Full Text:
    Dependency Graphs provide a succinct representation that supports 4 analysis operations for feature models

  • Reaction Pathways of Oxo-Hydroxo Group 5 Clusters to Metal Oxide Thin Films

    Creator:
    Mansergh, Ryan H.
    Abstract:
    Oxo-hydroxo Group 5 metal clusters are an untapped resource to study and advance aqueous solution processing of metal oxide thin films. The tetramethylammonium (TMA) hexatantalate salt (TMA6[H2Ta6O19]) yields dense Ta2O5 films (~95% of the bulk ß-Ta2O5 density) with atomically smooth surfaces (<4 Å root mean square surface roughness). This same...
    Resource Type:
    Dissertation
    Full Text:
    (<4 Å root mean square surface roughness). This same precursor produces single-digit-nanometer thick

  • Synthetic instrument generation : generating novel instrument timbres with a genetic algorithm

    Creator:
    Knowlton, John
    Abstract:
    The use of genetic algorithms to compose music and generate sounds is an area of interest in the artificial intelligence field. Music and instrument sounds have known rules and structures that can be followed which make them well-suited for genetic algorithms. However, genetic algorithms still struggle to generate sounds comparable...
    Resource Type:
    Honors College Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4 Methods 31 4.1 Representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

  • Auxiliary Tasks for Efficient Learning of Point-Goal Navigation

    Creator:
    Desai, Saurabh Satish
    Abstract:
    Top-performing approaches to embodied AI tasks like point-goal navigation often rely on training agents via reinforcement learning over tens of millions (or even billions) of experiential steps – learning neural agents that map directly from visual observations to actions. In this work, we question whether these extreme training durations are...
    Resource Type:
    Masters Thesis
    Full Text:
    agents from prior works, we observe a >4× improvement in sample efficiency – in 17 million steps, our

  • Inclusive Software Design and Its Methods for Beyond-WIMP User Interfaces

    Creator:
    Fallatah, Abrar
    Abstract:
    While digital inclusivity researchers and software practitioners have been trying to address exclusion biases in Windows, Icons, Menus, and Pointers (WIMP) user interfaces (UIs) for a long time, little has been done to investigate if and how inclusive software design and its methods that have been devised for WIMP UIs...
    Resource Type:
    Dissertation
    Full Text:
    approach with a social robot that interacts with diverse people in diverse social places. In Chapter 4, we

  • Nonuniform Sampling Of Band-limited Functions

    Creator:
    Al-Hammali, Hussain Y.
    Abstract:
    In this thesis, we will study certain generalizations of the classical Shannon Sampling Theorem, which allows for the reconstruction of a pi-band-limited, square-integrable function from its samples on the integers. J. R. Higgins provided a generalization where the integers can be perturbed by less than 1/4, which includes nonuniform and...
    Resource Type:
    Dissertation
    Full Text:
    . J. R. Higgins provided a generalization where the integers can be perturbed by less than 1/4, which

  • Knowledge Base Completion Leveraging Natural Language Data

    Creator:
    Shahbazi, Hamed
    Abstract:
    Information about named entities (real-world objects) is usually harvested from different sources and organized as a multiple relational directed graph in Knowledge Bases (KBs). KBs play essential roles in many NLP modules including question answering, fact-checking, search engines, etc. KBs are big but still incomplete: relational information among entities is...
    Resource Type:
    Dissertation
    Full Text:
    improved transparency and robustness. 4) A novel mechanism for unsupervised relation learning. 5

  • An efficient switched capacitor buck-boost voltage regulator using delta-sigma control loop

    Creator:
    Rao, Arun
    Abstract:
    Voltage converters or charge pumps find their use in many circuits. They are extensively used in hand held devices as cell phones, pagers, PDA's and laptops. Some of the important issues relating to design of voltage regulators for handheld devices are size, efficiency and noise. Another important factor to be...
    Resource Type:
    Masters Thesis
    Full Text:
    ARCHITECTURE ........................................ 4 2.1 LM3352 Architecture

  • Assisting Sustainability Analysis of Forest Bioenergy Supply Chains using Mathematical Optimization

    Creator:
    Sadeghi, Javad
    Abstract:
    Changes in the global climate and forest management practices have given rise to increasing numbers and severity of wildfires. More than five million acres burned in the United States in 2017, while in Canada 7.4 million acres burned. In particular, an increasing amount of dead woody biomass is a key...
    Resource Type:
    Masters Thesis
    Full Text:
    feedback. Chapter 4: Manuscript 2 Dr. Karl Haapala contributed to the development of the methodology

  • A study on student perceptions of principles of logic and their application to the principle of mathematical induction

    Creator:
    Boone, Allan R.
    Abstract:
    The purpose of this article is to explore student reasoning with regard to problems in logic, particularly those related to the Principle of Mathematical Induction (PMI). The five case studies presented build off of work done by other researchers, most notably Dubinsky and Harel, who both looked at how students'...
    Resource Type:
    Masters Thesis
    Full Text:
    June 4, 2014. Title: A Study on Student Perceptions of Principles of Logic and Their Application to

  • Safe navigation in highway environment using behavioral cloning

    Creator:
    Damle, Malhar
    Abstract:
    Over 37,000 people die each year in automobile accidents, with many of these fatalities resulting from collisions with emergency vehicles. The rise of autonomous cars creates the need for an accurate and failsafe method of detecting and responding to emergency vehicles safely and on time. This thesis investigates the ability...
    Resource Type:
    Honors College Thesis
    Full Text:
    ...................................................................................................................... 18 4 Highway Environment

  • Deep Learning for Human and Biological Languages

    Creator:
    Hong, Junki
    Abstract:
    We explore the application of deep learning to the disparate fields of natural language processing and computational biology. Both the sentences uttered by humans as well as the RNA and protein sequences found within the cells of their bodies can be considered formal languages in computer science, as sets of...
    Resource Type:
    Dissertation
    Full Text:
    size greater than 100,000 but in practice usually have less than 20-30 words; RNA sequences have 4

  • Long Wave Amplification in a Coral-Reef Lagoon

    Creator:
    Bheeroo, Vivek Anand
    Abstract:
    A series of laboratory experiments were conducted to study the wave field in the inner lagoon excited by ‘long’ incident waves. Three cases were considered: Cases A, B and C presenting incident waves of wavelength with factors of 1, 2 and 2.5 times the width of the reef respectively. The...
    Resource Type:
    Masters Thesis
    Full Text:
    Numerical Experiments …………………………..………………….……26 4 Results and Discussion

  • Advancing Power Grid Computing: Analysis and Synthesis of Wide-Area Data, Distributed Real-Time Hardware-In-the-Loop Simulations, and Machine Learning for Event Detection

    Creator:
    Hagan, Travis
    Abstract:
    Global Positioning Systems have allowed for precise timing of power system measurements over wide areas. This newly found capability has the potential to provide much greater insight into the operation of the power system and its response to contingencies, but few analytical techniques currently exist that provide enough robustness and...
    Resource Type:
    Dissertation
    Full Text:
    ������������� ���� ��������� ��������������������������������������� �!��"������������#�$ %��� "���������� ����������&���$'��()*(+((, ����-.����������/��0���#�$ %����-.���!������1!���������2���3.�������* ������'%���4���3 �$�����/���35�3���36�� 1

  • Nanoparticle-assisted diffusion brazing of metal microchannel arrays : nanoparticle synthesis, deposition, and characterization

    Creator:
    Eluri, Ravindranadh T.
    Abstract:
    Microchannel process technology (MPT) offers several advantages to the field of nanomanufacturing: 1) improved process control over very short time intervals owing to shorter diffusional distances; and 2) reduced reactor size due to high surface area to volume ratios and enhanced heat and mass transfer. The objective of this thesis...
    Resource Type:
    Dissertation
    Full Text:
    Bonding……………………………………….…………… 3 1.2 Nanomaterials Synthesis……………………………..…………… 4 1.2.1 Nucleation

  • OME : A Framework for Running Spatially Explicit System Dynamics Models

    Creator:
    Wingo, Patrick C.
    Abstract:
    The Open Modeling Environment (OME) is a tool developed to address some known shortcomings in ecological System Dynamics (SD) modeling research. OME provides a common set of methods for interacting directly with spatial information, reducing the need for modelers to create their own methods for doing so. The environment is...
    Resource Type:
    Masters Thesis
    Full Text:
    OME distribution........................................................................24 4

  • Adaptive Multiagent Traffic Management for Autonomous Robotic Systems

    Creator:
    Rebhuhn, Carrie
    Abstract:
    There is growing commercial interest in the use of unmanned aerial vehicles (UAVs) in urban environments, specifically for package delivery applications. However, the size, complexity and sheer numbers of expected UAVs makes conventional air traffic management that relies on human air traffic controllers infeasible. To enable UAVs to safely and...
    Resource Type:
    Dissertation
    Full Text:
    Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 4 Learning UAV Traffic

  • ThreshKnot: Thresholded ProbKnot for Improved RNA Secondary Structure Prediction

    Creator:
    Zhang, Liang
    Abstract:
    RNA structure prediction is a challenging problem, especially with pseudoknots. Recently, there has been a shift from the classical minimum free energy-based methods (MFE) to partition function-based ones that assemble structures based on base-pairing probabilities. Two typical examples of the latter group are the popular maximum expected accuracy (MEA) method...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1. ThreshKnot Algorithm and Pseudocode

  • Seismic performance of a pile-supported container wharf structures in rockfill

    Creator:
    Kawamata, Yohsuke
    Abstract:
    Recently, the concept of performance based design has become popular for many types of structures, including port facilities under seismic loading. For the case of pile-supported wharves, the level of performance is generally estimated using the displacement capacity of the structure. Therefore, understanding soil-pile interaction is one of the most...
    Resource Type:
    Dissertation
    Full Text:
    ........................................................................................... 4  2  LITERATURE REVIEW ........................................................................ 8

  • Separabilities for a new class of gray codes

    Creator:
    Park, Jung Pil
    Resource Type:
    Capstone Project
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3 Separability on Lee distance Gray code in Z4 11 4 Conclusion and Future Research 21 4

  • Update programming -- a safe approach to software maintenance

    Creator:
    Ren, Deling
    Abstract:
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and...
    Resource Type:
    Dissertation
    Full Text:
    ()*�sC3Sl.()+ OP1Z0k5tl6c=3N$:LecZ()*i58$'*dcZ*;?'$:cZ?/?'14M;*i58E.02143.c�&uc=3N+4$UFb143<5N()14*�1Z0v587

  • Protein secondary structure prediction using conditional random fields and profiles

    Creator:
    Shen, Rongkun
    Abstract:
    Protein secondary structure prediction plays a pivotal role in predicting protein folding in three-dimensions. Its task is to assign each residue one of the three secondary structure classes helix, strand, or random coil. This is an instance of the problem of sequential supervised learning in machine learning. This thesis describes...
    Resource Type:
    Masters Thesis
    Full Text:
    …………………………………………… 27 CHAPTER 4 RESULTS AND DISCUSSION ………………………………………… 29 4.1 Effect of Different Numbers of PSI

  • Heuristic search in symbolic probability inference

    Creator:
    Pan, Yonghong
    Abstract:
    I present a new heuristic search approach to compute approximate answers for the probability query in belief nets. This approach can compute the 'best' bounds for a query in a period of any given time (if time permitted, it will get an exact value). It inherits the essence of Symbolic...
    Resource Type:
    Capstone Project
    Full Text:
    Scenario for H2 ................................................ 18 4. Empirical Results

  • High-speed implementation of the RSA cryptosystem

    Creator:
    Peng, Yanqun
    Abstract:
    A public key cryptosystem allows two or more parties to securely communicate over an insecure channel without establishing a physically secure channel for key exchange. The RSA cryptosystem is the most popular public key cryptosystem ever invented. It is based on the difficulty of factoring large composite numbers. Once the...
    Resource Type:
    Masters Thesis
    Full Text:
    Method 13 Chapter 4. Standard Multiplication and Squaring 15 4.1 Standard Multiplication Algorithm 15

  • 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
    Full Text:
    Organization 3 1.2 Lee Distance and Torus 4 1.3 Cross Product of Graphs 5 1.4 Linear Codes for Lee

  • Ensemble Monte-Carlo planning : an empirical study

    Creator:
    Lewis, Paul
    Abstract:
    Monte-Carlo planning algorithms such as UCT make decisions at each step by intelligently expanding a single search tree given the available time and then selecting the best root action. Recent work has provided evidence that it can be advantageous to instead construct an ensemble of search trees and make a...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . 13 3.1.3 Space and Time Complexity . . . . . . . . . . . . . . . . . . 14 4 Related Work 15 5 A

  • Porting and optimizing a routing library for Dataparallel C on the nCUBE 2 system

    Creator:
    Sivaramapuram, Krishna
    Abstract:
    Dataparallel C has been designed for various kinds of architectures and was devel­oped jointly at University of New Hampshire and Oregon State University. This project dealt with porting the libraries to the nCUBE 2 system and helping a user compile his programs on nCUBE 2 directly from a Sun workstation...
    Resource Type:
    Capstone Project
    Full Text:
    Overview of Dataparallel C 3.1 Dataparallel C and C ..... 4 Porting and remote compilation 4.1

  • Novelty Detection Under the Multi-Instance Multi-Label Framework

    Creator:
    Lou, Qi
    Abstract:
    Novelty detection plays an important role in machine learning and signal processing. This project studies novelty detection in a new setting where the data object is represented as a bag of instances and associated with multiple class labels, referred to as multi-instance multi-label (MIML) learning. Contrary to the common assumption...
    Resource Type:
    Capstone Project
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 LITERATURE REVIEW 6 2.1 Novelty Detection

  • A collaborative filtering algorithm and evaluation metric that accurately model the user experience

    Creator:
    McLaughlin, Matthew
    Abstract:
    "Collaborative filtering algorithms’ performances have been evaluated using a variety of metrics. These metrics, such as Mean Absolute Error and Precision, have often ignored recommendations for which they do not have data. Ignoring these recommendations has provided numbers which do not accurately represent the user experience. Qualitatively we have seen...
    Resource Type:
    Capstone Project
    Full Text:
    2.2.2 Item Nearest Neighbor (ITEM)................................................... 4 2.2.3 Data sets

  • Reinforcement learning-based off-equilibrium incentives to approximate the VCG mechanism

    Creator:
    Moissinac, Béatrice
    Abstract:
    Auctions are used to solve resource allocation problem between many agents and many items in real-world settings. Unfortunately, in most cases, it is possible for selfish agents to manipulate the system for their own interest at the expense of the social welfare. Such manipulation can be prevented using the Vickrey-Clarke-Groves...
    Resource Type:
    Masters Thesis
    Full Text:
    Manipulation . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 4 Domains & Metrics 22 4.1 Domain 1

  • Porting and optimizing a routing library for C* on the iPSC/860

    Creator:
    Uberoy, Chetan
    Abstract:
    High level data-parallel languages are easy to use and shield the programmer from machine specific details. A simple and efficient way of providing an interface to such languages is to develop a machine-independent compiler and a routing library, which isolates the low-level machine dependent communication functions, The compiler translates the...
    Resource Type:
    Capstone Project
    Full Text:
    Architecture 3 2.2 Allocating , releasing and loading a cube 4 2.3 Using the ice and cc compilers 5 2.4

  • A Benchmarking Study of Unsupervised Anomaly Detection Algorithms

    Creator:
    Emmott, Andrew F.
    Abstract:
    It is common practice in the unsupervised anomaly detection literature to create experimental benchmarks by sampling from existing supervised learning datasets. We seek to improve this practice by identifying four dimensions important to real-world anomaly detection applications --- point difficulty, clusteredness of anomalies, relevance of features, and relative frequency of...
    Resource Type:
    Masters Thesis
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . 25 3.5.4 Relative Frequency . . . . . . . . . . . . . . . . . . . . . . . 26 4 Benchmark Corpus

  • A numerical approach to Tamme's problem in euclidean n-space

    Creator:
    Adams, Patrick Guy
    Resource Type:
    Masters Thesis
    Full Text:
    met and are presented with increased precision. For 4 < n < 7, many of the best available lower

  • Adversarial planning by strategy switching in a real-time strategy game

    Creator:
    King, Brian D.
    Abstract:
    We consider the problem of strategic adversarial planning in a Real-Time Strategy (RTS) game. Strategic adversarial planning is the generation of a network of high-level tasks to satisfy goals while anticipating an adversary's actions. In this thesis we describe an abstract state and action space used for planning in an...
    Resource Type:
    Masters Thesis
    Full Text:
    . TABLE OF CONTENTS Page 1 Introduction 1 2 Strategic Planning in Real-Time Strategy Games 4 3 Related

  • Optimization of seasonal irrigation scheduling by genetic algorithms

    Creator:
    Canpolat, Necati
    Abstract:
    In this work, we first introduce a novel approach to the long term irrigation scheduling using Genetic Algorithms (GAs). We explore the effectiveness of GAs in the context of optimizing nonlinear crop models and describe application requirements and implementation of the technique. GAs were found to converge quickly to near-optimal...
    Resource Type:
    Dissertation
    Full Text:
    Size, Mutation and Crossover Rate 64 3.9. CONCLUDING REMARKS 66 CHAPTER 4 HANDLING CONSTRAINTS IN

  • Scale effects on reinforced concrete beams strengthened for shear with discrete externally bonded carbon fiber-reinforced polymer U-wraps

    Creator:
    Dawson, Matthew Ryan
    Abstract:
    Current ACI design provisions for shear in reinforced concrete (RC) beams strengthened with externally bonded carbon fiber-reinforced polymer (CFRP) U-wraps may not adequately account for the effect of scale. This paper describes tests of 6 geometrically scaled beams to identify possible scale effects of such beams. Results indicated that effective...
    Resource Type:
    Masters Thesis
    Full Text:
    specimens FT10, HT2.5 and QT………………. 12 3 CFRP application process………………………………………………... 16 4 Cohesive

  • UCT for tactical assault battles in real-time strategy games

    Creator:
    Balla, Radha-Krishna
    Abstract:
    We consider the problem of tactical assault planning in real-time strategy games where a team of friendly agents must launch an assault on an enemy. This problem offers many challenges including a highly dynamic and uncertain environment, multiple agents, durative actions, numeric attributes, and different optimization objectives. While the dynamics...
    Resource Type:
    Masters Thesis
    Full Text:
    .................................................................................. 4 3 Related Work

  • Explanations and Processes to Enable Humans to Assess AI with Respect to Manipulable Properties

    Creator:
    Dodge, Jonathan E.
    Abstract:
    Assessing AI systems is difficult. Humans rely on AI systems in increasing ways, both visible and invisible, meaning a variety of stakeholders need a variety of assessment tools (e.g., a professional auditor, a developer, and an end user all have different needs). We posit that it is possible to provide...
    Resource Type:
    Dissertation
    Full Text:
    Explanations Impact Fairness Judgment” 30 4 After-Action Review for AI (AAR/AI) 33 4.1 Introduction

  • Responder tracking application

    Creator:
    Wanalertlak, Naroot
    Abstract:
    We have developed a prototype web-based GIS application for tracking the locations of moving entities. This application, which is called the Responder application, consists of two parts: the Responder client and the Responder server. The Responder client is a .NET application written in C#. It reads the location data from...
    Resource Type:
    Capstone Project
    Full Text:
    .......................................................................................... 7 4 Design and Implementation of the Responder Server

  • Coordination for Scalable Multiple Robot Planning Under Temporal Uncertainty

    Creator:
    Marcon dos Santos, Gilberto
    Abstract:
    This dissertation incorporates coalition formation and probabilistic planning towards a domain-independent automated planning solution scalable to multiple heterogeneous robots in complex domains. The first research direction investigates the effectiveness of Task Fusion and introduces heuristics that improve task allocation and result in better quality plans, while requiring lower computational cost...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . 82 3.2.3 First Response Domain . . . . . . . . . . . . . . . . . . . . . 83 4 Plan Distance

  • Visual SQL analyzer project report

    Creator:
    Li, Xiaoyan
    Abstract:
    Structure Query Language (SQL) is widely used to access data stored in relational database systems. Although a powerful and flexible language, SQL can also be complex and hard to learn. For most new SQL users, it's easy to write SQL statement by following SQL grammar and syntax rules, but it's...
    Resource Type:
    Capstone Project
    Full Text:
    .................................. ................................................................. 12 4. Using SQL Analyzer

  • Metacontent based techniques for the regression testing of component based software : a case study

    Creator:
    Williams, Vasanth
    Abstract:
    Component based software technologies are viewed as essential for creating the software systems of the future. However, the use of externally provided component has serious drawbacks for a wide range of software engineering activities often because of a lack of information about the components. One such drawback involves validation of...
    Resource Type:
    Capstone Project
    Full Text:
    ........... . .... ....... .. .. . . . . . .. ........... .. ....... . ... . .............. ..... 4 2.1 Regression Testing

  • Advances in Simultaneous Translation

    Creator:
    Zheng, Renjie
    Abstract:
    Simultaneous translation, which translates concurrently with the source language speech, is widely used in many scenarios including multilateral organizations. However, it is well known to be one of the most challenging tasks for humans due to the simultaneous perception and production in two languages. On the other hand, simultaneous translation...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 TABLE OF CONTENTS (Continued) Page 4 Speech-to-Speech Simultaneous Translation with

  • Supporting branch-and-bound computations on parallel machines

    Creator:
    Mannan, Mohammed A.
    Abstract:
    We have developed SearchPak, a machine independent parallel searching tool on shared and distributed memory machines. It can be used for combinatorial optimiza­tion problems and OR-parallel computations as well. Both depth-first and best-first search of the state space can be performed using the SearchPak. With SearchPak, a user just provides...
    Resource Type:
    Capstone Project
    Full Text:
    . Contents 1. Introduction 1 2. Related Work 5 3. SearchPak : A Parallel Searching Tool 7 4

  • Development of a mobile process to extract phosphorus from livestock wastes as a valuable fertilizer

    Creator:
    Hoilman, Gene
    Abstract:
    Environmental and regulatory concerns are causing confined animal feeding operations (CAFO's) to account for phosphorous content when applying wastewater to agricultural fields for disposal. In most cases this requires more land to spread the waste onto so that the phosphorous needs of the crop are not exceeded. A mobile process...
    Resource Type:
    Masters Thesis
    Full Text:
    . Pilot Plant During Production at the Rickreall Dairy ........................................ 27 4

  • A C* development environment for the Meiko CS-2 multicomputer

    Creator:
    Zhang, Chung
    Abstract:
    With sequential computing technology reaching its speed limits, parallel processing is emerg­ing as the key to very-high-speed computation. However, developing a parallel program is by no means a simple task; neither is analyzing the performance of parallel programs. C* is a high-level data-parallel language that hides explicit message passing and...
    Resource Type:
    Capstone Project
    Full Text:
    • • • • • • • •• •• 9 3 The UNH C* Compiler and Run-Time Library 10 . ) 4 Porting and Optimizing the UNH C* Run