Search Constraints

Start Over
Filtering by: Creator January, L. Lillian Remove constraint Creator: January, L. Lillian Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science License All rights reserved Remove constraint License: All rights reserved

Search Results

  • Wide-bandwidth, high-resolution delta-sigma analog-to-digital converters

    Creator:
    Zanbaghi, Ramin
    Abstract:
    There is a significant need in recent mobile communication and wireless broadband systems for high-performance analog-to-digital converters (ADCs) that have wide bandwidth (BW>5-MHz) and high data rate (>100-Mbps). A delta-sigma ADC is recognized as a power-efficient ADC architecture when high resolution (>12-b) is required. This is due to several advantages...
    Resource Type:
    Dissertation

  • Web-based Deep Segmentation of Building Structure

    Creator:
    Chen, Zehuan
    Abstract:
    Deep learning and neural network has been widely used in research, deep learning has empowered many tasks such as point clouds segmentation and shape recognition. One of the main advantages of deep interaction point cloud segmentation is that it allows the feature extraction can be learned through neural network based...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Computer Science presented on January 10, 2019. Title: Web-based Deep Segmentation

  • Weak-supervision : Probabilistic Models and Inference

    Creator:
    Pham, Anh
    Abstract:
    In supervised learning, label information can be provided at different levels of granularity. For small datasets, it is possible to acquire a label for each data instance. However, in the big-data regime, this fine granularity approach is prohibitively costly. For example, in semi-supervised learning, only a limited number of samples...
    Resource Type:
    Dissertation
    Full Text:
    }. Moreover, from (2.14b), A(7, 7) = ∑ l∈{1,3,4} p(ybi = l|xbi,w) since L7 = {1, 3, 4}. Additionally, from

  • Version Control Systems: An Information Foraging Perspective

    Creator:
    Srinivasa Ragavan, Sruti
    Abstract:
    Software history and version control systems (VCS) are an important source of information for developers. This entails the need for a principled understanding of developers’ information seeking in VCS, both for improving existing tools as well as understanding requirements for new tools. However, it is only recently that researchers have...
    Resource Type:
    Masters Thesis
    Full Text:
    Computer Science presented on January 10, 2018. Title: Version Control Systems: An Information

  • 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

  • Using provenance to aid document re-finding

    Creator:
    Lonsdale, Heather
    Abstract:
    In the field of Human-Computer Interaction, provenance refers to the complete history and genealogy of a document. Provenance can be useful in identifying related resources, such as different versions of the same document or resources used in the creation of a new document. Though methods of provenance collection and applications...
    Resource Type:
    Masters Thesis

  • Use of a model predictive control framework for optimal control of grid scale electrical energy storage in conjunction with a wind farm

    Creator:
    Antonishen, Michael P.
    Abstract:
    Over the last decade, wind penetration in the Pacific Northwest has increased rapidly. The variable nature of this massive new resource has increased stress on the hydropower resource to the point where system limits are currently being reached. In order to cultivate continued growth of the wind energy industry both...
    Resource Type:
    Masters Thesis

  • Usable and Scalable Querying of Scientific Datasets

    Creator:
    McCamish, Benjamin J.
    Abstract:
    Scientists and engineers have to analyze and query multiple large databases. Analysis over databases created by phasor measurement units can provide insight into the health of the grid, thereby improving control over operations. Realizing this data-driven control, however, requires validating, processing and storing massive amounts of PMU data efficiently, which...
    Resource Type:
    Dissertation