Search Constraints

Start Over
Filtering by: Creator January, L. Lillian Remove constraint Creator: January, L. Lillian Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • WebRUSLE : web-based revised universal soil loss equation (RUSLE)

    Creator:
    Wuttiwat, Teerawat
    Abstract:
    Revised Universal Soil Loss Equation (RUSLE) is a standard for estimating soil loss caused by rainfall and overland flow. The current software tool that implements this standard is RUSLE 1.06b, which is a stand-alone DOS application. In this project, we converted the DOS application to a Web application, which we...
    Resource Type:
    Capstone Project
    Full Text:
    equation: A = R ∗K ∗ L ∗ S ∗ C ∗ P The factors used in the formula are as follows. 1. A is the average

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    verify that for the unification problems (2.1) and (2.2), UR returns θ2 23 UR : (τL,τR) → ξ UR(a

  • 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:
    〉 ≡ D〈f1, f3〉 DOM-L D〈f1,D〈f2, f3〉〉 ≡ D〈f1, f3〉 DOM-R D1 〈D2 〈f1, f2〉,D2 〈f3, f4〉〉 ≡ D2 〈D1 〈f1, f3〉,D1

  • Using RUBI to partition agents in air traffic problems with hard constraints and reward shaping

    Creator:
    Curran, William
    Abstract:
    Air traffic flow management over the U.S. airpsace is a difficult problem. Current management approaches lead to hundreds of thousands of hours of delay, costing billions of dollars annually. Weather and airport conditions may instigate this delay, but routing decisions balancing delay with congestion contribute significantly to the propagation of...
    Resource Type:
    Masters Thesis

  • Topics in toroidal interconnection networks

    Creator:
    Broeg, Robert Richard
    Resource Type:
    Dissertation
    Full Text:
    diameter of T and L be the number of links in T, then n-1 D =E7[11 and L n 11 k, 2=o =o A bipartite

  • The density signature

    Creator:
    Migler-VonDollen, Theresa
    Abstract:
    In real networks, identifying dense regions is of great importance. For example, in a network that represents academic collaboration, authors within the densest component of the graph tend to be the most prolific. Dense subgraphs often identify communities in social networks. And dense subgraphs can be used to discover regulatory...
    Resource Type:
    Dissertation
    Full Text:
    GF C J L I N M D H E A B K GF C J L I N M D H E A B K GF C J L I N M D H E

  • Test case prioritization

    Creator:
    Malishevsky, Alexey Grigorievich
    Abstract:
    Regression testing is an expensive software engineering activity intended to provide confidence that modifications to a software system have not introduced faults. Test case prioritization techniques help to reduce regression testing cost by ordering test cases in a way that better achieves testing objectives. In this thesis, we are interested...
    Resource Type:
    Dissertation
    Full Text:
    (st-fep-nofb) works as follows. For every test case t, it computes at = >I1EL FEP1,, where L is the

  • Software for configuration of a video server

    Creator:
    Venkataraman, Saumya
    Abstract:
    A video server is the multimedia equivalent of a data file server. As video goes digital video servers that support digital media are required for production and broadcasting in television companies. Grass Valley Group provides comprehensive digital video solutions through a range of video servers called Profiles. The Profile Media...
    Resource Type:
    Capstone Project
    Full Text:
    , DVCPRO 50formats • MPEG II 4:2:2 frame up to 50Mb/s and 4:2:0 up to l 5Mb/s. • Mpeg D 10

  • Simulator-Defined MDP Planning with Applications in Natural Resource Management

    Creator:
    Alkaee Taleghan, Majid
    Abstract:
    This work is inspired by problems in natural resource management centered on the challenge of invasive species. Computing optimal management policies for maintaining ecosystem sustainable is challenging. Many ecosystem management problems can be formulated as MDP (Markov Decision Process) planning problems. In a simulator-defined MDP, the Markovian dynamics and rewards...
    Resource Type:
    Dissertation
    Full Text:
    Taleghan for the degree of Doctor of Philosophy in Computer Science presented on January 3, 2017. Title

  • 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:
    ....,____, __ __.__....L- __ L...____._ __ _._ _ _.__ _ ___. _ _._ __ ....,___ 0 2 3 4 Total Action