Search Constraints

Start Over
Filtering by: Creator Feindel, Kristin B. Remove constraint Creator: Feindel, Kristin B. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Keeping your Friends Secret: Improving the Security, Effciency and Usability of Private Set Intersection

    Creator:
    Rindal, Peter B.
    Abstract:
    Private set intersection (PSI) allows two parties, who each hold a set of items, to compute the intersection of those sets without revealing anything about other items. Recent advances in PSI have significantly improved its performance for the case of semi-honest security, making semi-honest PSI a practical alternative to insecure...
    Resource Type:
    Dissertation
    Full Text:
    field of Cryptography. • My coauthors which include Hao Chen, Daniel Demmler, Kim Laine, Kristin

  • Efficient Comparative Sequence Analysis Algorithms for RNA Conserved Structure and Region Detection

    Creator:
    Li, Sizhen
    Abstract:
    RNAs play important roles in multiple cellular processes, and many of their functions rely on folding to specific structures. To maintain their functions, secondary structures of RNA homologs are conserved across evolution. These conserved structures provide critical targets for diagnostics and therapeutics. Thus, there is a need for developing fast...
    Resource Type:
    Dissertation
    Full Text:
    search method first over B(s, h), which is the collec- tion of all the nodes (i, j) with step counts s

  • 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:
    Carrington, Ed Allen, Kristin Kasschau and Chris Sullivan. A debt of gratitude must be extended to Paul Cull

  • The sum of its parts : investigating the component pieces of GenderMag

    Creator:
    Hill, Charles
    Abstract:
    Previous work introduced the GenderMag method, a software inspection method used to help software creators identify features within their software that are not gender-inclusive. Inclusiveness of software (gender or otherwise) matters because supporting diversity matters—it is well-known that the more diverse a group of problem-solvers, the higher the quality of...
    Resource Type:
    Masters Thesis
    Full Text:
    [67]. Reasons cited for these benefits are: (a) that personas focus issues [45], (b) they provide

  • Machine learning methods for public policy : simulation, optimization, and visualization

    Creator:
    McGregor, Sean
    Abstract:
    Society faces many complex management problems, particularly in the area of shared public resources such as ecosystems. Existing decision making processes are often guided by personal experience and political ideology rather than state-of-the-art scientific understanding. This dissertation envisions a future in which multiple stakeholders are provided with computational tools for...
    Resource Type:
    Dissertation
    Full Text:
    row has the three parameter con- trols for (A) the reward specification, (B) the model modifiers, and

  • Communication-Efficient Secure Two-Party Computation From Minicrypt and OT

    Creator:
    Roy, Lawrence
    Abstract:
    Secure two-party computation (2PC) is the task of performing arbitrary calculations on secret inputs provided by two parties, while maintaining secrecy if at least one party is honest. 2PC has been applied to privacy-preserving record linkage and machine learning, in areas such as medicine where maintaining privacy is crucial. One...
    Resource Type:
    Dissertation
    Full Text:
    Control Matrix . . . . . . . . . . . . . . . . . . . . . . 136 B POPF OT 138 B.1 Correlation Attack on

  • Assessing and Finding Faults in AI: Two Empirical Studies

    Creator:
    Khanna, Roli
    Abstract:
    With the advent of Artificial Intelligence (AI) in every sphere of life in today's day and age, it has become increasingly important for non-AI experts to be able to comprehend the underlying logic of how AI systems work, assess them and find faults in these systems, particularly when they are...
    Resource Type:
    Masters Thesis
    Full Text:
    Analysis Math . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 B Study Design Details

  • Activity recognition in desktop environments

    Creator:
    Shen, Jianqiang
    Abstract:
    Knowledge workers are struggling in the information flood. There is a growing interest in intelligent desktop environments that help knowledge workers organize their daily life. Intelligent desktop environments allow the desktop user to define a set of “activities” that characterize the user’s desktop work. These environments then attempt to identify...
    Resource Type:
    Dissertation
    Full Text:
    all resources related to the current task; the Folder Predictor (b) provides 3 predicted folders in

  • Design and Application of Variational Representations

    Creator:
    Smeltzer, Karl J.
    Abstract:
    Variability is an important and widely studied topic across domains such as version control, software product lines, and metaprogramming. This dissertation presents an investigation into the process of systematically adding variability to data structures and programs, leading to guidelines for variational data structures and implications for programs that create, manipulate,...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . . . . . . . . . 166 B Variational Programming Idris Source Code . . . . . . . . . . . . . . . . . . . . . . 171 C

  • Developing a 2D Cross-section Training Strategy for 3D Volume Segmentation by Analyzing Human Perception and Cognitive Tasks

    Creator:
    Sanandaji, Anahita
    Abstract:
    3D volume segmentation is a fundamental process in many scientific and medical applications. Producing accurate segmentations, in an efficient way, is challenging, in part due to low imaging data quality (e.g., noise and low image resolution), and ambiguity in the data that can only be resolved with higher-level knowledge of...
    Resource Type:
    Dissertation
    Full Text:
    -outline. b) Modified task-outline with macro-task cate- gories for the original one