Search Constraints

Start Over
Filtering by: DOI https://doi.org/10.1890/12-1179.1 Remove constraint DOI: https://doi.org/10.1890/12-1179.1 Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Computer Science presented on December 12, 2005. Title: A Domain-Specific Embedded

  • A taxonomic analysis of typographic programming style

    Creator:
    Oman, Paul W.
    Abstract:
    Program comprehension is important in program testing, debugging, and maintenance. Programming style impacts program understanding. However, there has not been any systematic identification of individual style factors and their contribution to program comprehension. In this thesis we present a programming style taxonomy composed of three classes: typographic (program layout and...
    Resource Type:
    Dissertation
    Full Text:
    Science presented on December 12. 1988. Title: A Taxonomic Analysis of Typographic Programming Style

  • 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
    Full Text:
    in Computer Science presented on December 12, 1991. Title: Correct Abstraction in Counter-planning

  • Effectiveness of using two and three-parameter distributions in place of "best-fit distributions" in discrete event simulation models of production lines

    Creator:
    Sharma, Akash
    Abstract:
    This study presents the results of using common two or three-parameter "default" distributions in place of "best fit distributions" in simulations of serial production lines with finite buffers and blocking. The default distributions used instead of the best-fit distribution are chosen such that they are non-negative, unbounded, and can match...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Industrial Engineering and Computer Science presented on December 12. 2003. Title

  • Web-based analysis module for a germplasm collection

    Creator:
    Sharma, Akash
    Abstract:
    GEM-GIS is a prototype of a web-based GIS/Database application for managing a germplasm collection. This application include a database, a map interface, a set of web forms for database access, and an analysis module. The analysis module perform statistical analysis for the accessions of a species selected by the user...
    Resource Type:
    Capstone Project
    Full Text:
    partial fulfillment of the requirements for the degree of Master of Science Presented December 12

  • PHP cloud computing platform

    Creator:
    Kalyan, Arvind
    Abstract:
    Motivation for cloud computing applications are listed. A Cloud Computing framework – MapReduce – is implemented. A document indexing application is built as an example MapReduce application on this framework. Focus is given to ease of job submission and scalability of the underlying network.
    Resource Type:
    Capstone Project
    Full Text:
    ...........................................................................................................12 2. Parallelize data

  • 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:
    location data from a GPS device and submits them to the Responder server as an HTTP request, possibly by

  • Integrating fire model into BIOMAP (Biogeochemistry model (BIOME-BGC) - Mapped Atmosphere Plant Soil System (MAPSS))

    Creator:
    Takkallapally, Satya
    Abstract:
    BIOMAP (Biogeochemistry model (BIOME-BGC) - Mapped Atmospheric Plant Soil System (MAPSS)) is a computer program that predicts ecosystem distribution and behavior over spatial grid cells of 10km at a daily timestep. It needs to consider events like fire for a more realistic prediction. This project involved integrating a new fire...
    Resource Type:
    Capstone Project
    Full Text:
    ...................................................... 12 Step 2: Data Inputs

  • A computer-simulated Stern-Gerlach laboratory

    Creator:
    Jia, Lichun
    Abstract:
    This project aims at building a Java application and a Java applet that would simulate a Stern-Gerlach laboratory in Quantum Mechanics. The project provides a tool for allowing the student to quickly design and run on the computer screen a number of experiments involving spin systems. This application could be...
    Resource Type:
    Capstone Project
    Full Text:
    3.2 Interface 12 3.2.1 Menu options 12 3 .2.2 Frequently asked questions 14 4. Coding and

  • Developing true diagnostic software

    Creator:
    Prusynski, Michael
    Abstract:
    This document describes the need for, and design of, diagnostic software that provides circuit verification, fault isolation, and troubleshooting aids. The difference between verification software and true diagnostic software is explained. A modular design of diagnostic software is proposed, consisting of a series of 3-part tests, a test manager, results...
    Resource Type:
    Capstone Project
    Full Text:
    implemented and added quite rapidly, once the test manager is operating . • - 12 - For sequencing, the