Search Constraints

Start Over
Filtering by: Creator Turley, Anna M. Remove constraint Creator: Turley, Anna M. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • Maximum flow in planar digraphs

    Creator:
    Harutyunyan, Anna
    Abstract:
    Worst-case analysis is often meaningless in practice. Some problems never reach the anticipated worst-case complexity. Other solutions get bogged down with impractical constants during implementation, despite having favorable asymptotic running times. In this thesis, we investigate these contrasts in the context of finding maximum flows in planar digraphs. We suggest...
    Resource Type:
    Masters Thesis
    Full Text:
    THESIS OF Anna Harutyunyan for the degree of Master of Science in Computer Science presented on

  • Building Self Adaptive Software Systems via Test-based Modifications

    Creator:
    Christi, Arpit M.
    Abstract:
    Building software systems that adapt to the changing environment is challenging. Developers cannot anticipate all the changes in advance, and even if they could, the effort required to handle such situations is too onerous for practical purposes. Self Adaptive Software (SAS) adapts itself as per changing environment. The area of...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . viii 2.1 Average increase in memory use (mean M+) for NetBeans IDE ver- sions

  • 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:
    AN ABSTRACT OF THE DISSERTATION OF Jeffrey M. Young for

  • On Avoiding Power-Seeking by Artificial Intelligence

    Creator:
    Turner, Alexander M.
    Abstract:
    We do not know how to align a very intelligent AI agent's behavior with human interests. I investigate whether—absent a full solution to this AI alignment problem—we can build smart {\ai} agents which have limited impact on the world, and which do not autonomously seek power. In this thesis, I...
    Resource Type:
    Dissertation

  • Towards the Design and Evaluation of Effective Educational Virtual Reality Applications

    Creator:
    Rangarajan, Vaishnavi
    Abstract:
    With the rapid advancement of educational technology and the need for personalized, engaging content to accommodate diverse learning needs, Virtual Reality (VR) holds promises for the present and future. However, VR applications suffer from challenges, including usability concerns, lack of pedagogical value, and evaluation standards. This thesis focuses on two...
    Resource Type:
    Masters Thesis

  • Computing Bounded Chains and Surfaces in a Simplicial Complex with Bounded-treewidth 1-skeleton

    Creator:
    Black, Mitchell
    Abstract:
    We consider three problems on simplicial complexes: the Optimal Bounded Chain Problem, the Optimal Homologous Chain Problem, and 2-Dim-Bounded-Surface. The Optimal Bounded Chain Problem asks to find the minimum weight d-chain in a simplicial complex K bounded by a given (d−1)-chain, if such a d-chain exists. The Optimal Homologous Chain...
    Resource Type:
    Masters Thesis

  • Random access machine in secure multi-party computation

    Creator:
    Hu, Zhangxiang
    Abstract:
    Secure multi-party computation (MPC) is a conceptual framework in cryptography. It allows distrusting parties engage in a protocol to perform a computational task while still maintain some secure properties. Most existing approaches are required to interpret functions as a boolean circuit. With the recent state-of-art circuit garbling scheme, the performance...
    Resource Type:
    Masters Thesis
    Full Text:
    prover holds a large dataset M and can repeatedly prove NP relations about that dataset. This system

  • Power-Efficient Design Techniques and Architectures for Scalable Submicron Analog Circuits

    Creator:
    Xu, Yang
    Abstract:
    As the CMOS process scales down to submicron, digital circuit performance improves, while reduced supply voltage and lower transistor intrinsic gain make it difficult to implement analog circuits in a power efficient manner. Therefore, it has become advantageous to shift more analog signal processing functions conventionally realized in voltage (analog)...
    Resource Type:
    Dissertation
    Full Text:
    0.18μm CMOS, and occupies a core area of 0.12mm2. Operating with a 1.3V supply voltage, the filter

  • Sensor Interface Circuit Design towards CMOS Scaling

    Creator:
    Liu, Jialin
    Abstract:
    Sensor system plays an important role in connecting everything including human body to the electrical information systems that we have built and that we are going to build, to make the world more intelligent and efficient. One of the key propulsive forces behind these emerging techniques is CMOS scaling that...
    Resource Type:
    Dissertation
    Full Text:
    . The entire circuit consumes 16.1 µA currents. The measured input impedance is > 60 MΩ at 1 kHz

  • Electrically tunable thin-film inductors based on synthetic antiferromagnet cores

    Creator:
    An, Na
    Abstract:
    The objective of this research is to demonstrate the feasibility of implementing electrically tunable on-chip inductors based on synthetic antiferromagnet (SAF) cores. This thin film magnetic core is made of a magnetic bi-layer antiferromagnetically coupled through a nonmagnetic spacer layer. An energy model is developed to investigate the magnetic behavior...
    Resource Type:
    Masters Thesis
    Full Text:
    currents, the magnetization vectors,M , tend to rest along the easy axis (x-axis) due to shape or induced