Search Constraints

Start Over
Filtering by: Creator Haase, Diane L. Remove constraint Creator: Haase, Diane L. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • 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:
    , , k K= … , l Set of fixed bio-refinery sites, 1, , l L= … , 22 t Set of time periods

  • 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

  • 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

  • Visual object discovery and understanding

    Creator:
    Yuan, Jialin
    Abstract:
    Learning to recognize objects is a fundamental and essential step in human perception and understanding of the world. Accordingly, research of object discovery across diverse modalities plays a pivotal role in the context of computer vision. This field not only contributes significantly to enhancing our understanding of visual information but...
    Resource Type:
    Dissertation

  • Conceptual Representations within the Social and Material Contexts of an Engineering Workplace and Academic Environments

    Creator:
    Barner, Matthew S.
    Abstract:
    Situated cognition theory emphasizes the role that social and material contexts have on learning and knowledge application. Several studies of engineering workplace environments have noted differences between the social and material contexts of the workplace and those of undergraduate engineering education. No existing research has studied the social and material...
    Resource Type:
    Dissertation

  • Computing Resource Usage as a Factor of Student Success

    Creator:
    Moissinac, Béatrice
    Abstract:
    Learning Analytics and other branches of Educational Research such as Computing Education Research (CER) implicitly assume that students, especially college students, have no barriers to access learning platforms or software packages. This assumption may be attributed to such pervasive beliefs such as "everyone has a device", or "everyone can access...
    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
    Full Text:
    especially Tony Fountain. I also thank Diane McKean for her patience and support. I thank the Kalmiopsis

  • Incorporating User Feedback into Machine Learning Systems

    Creator:
    Das, Shubhomoy
    Abstract:
    Although machine learning systems are often effective in real-world applications, there are situations in which they can be even better when provided with some degree of end user feedback. This is especially true when the machine learning system needs to customize itself to the end user's preferences, such as in...
    Resource Type:
    Dissertation
    Full Text:
    feature was relevant for a class label l. For each feature-label pair, Method 2 created a pseudo