Browsing 2019 MU dissertations - Freely available online by Thesis Department "Computer science (MU)"

Now showing items 1-8 of 8

  • Data mining and machine learning methods for chromosome conformation data analysis 

    Oluwadare, Oluwatosin (University of Missouri--Columbia, 2019)
    Sixteen years after the sequencing of the human genome, the Human Genome Project (HGP), and 17 years after the introduction of Chromosome Conformation Capture (3C) technologies, three-dimensional (3-D) inference and big ...

  • Dynamic agent safety logic : theory and applications 

    Ahrenbach, Seth (University of Missouri--Columbia, 2019)
    Modal logic is a family of logics for reasoning about relational structures, broadly construed. It sits at the nexus of philosophy, mathematics, software engineering, and economics. By modeling a target domain as a relational ...

  • Improving protein structure prediction by deep learning and computational optimization 

    Hou, Jie (University of Missouri--Columbia, 2019)
    Protein structure prediction is one of the most important scientific problems in the field of bioinformatics and computational biology. The availability of protein three-dimensional (3D) structure is crucial for studying ...

  • Local and deep texture features for classification of natural and biomedical images 

    Oraibi, Zakariya Ahmed (University of Missouri--Columbia, 2019)
    Developing efficient feature descriptors is very important in many computer vision applications including biomedical image analysis. In the past two decades and before the popularity of deep learning approaches in image ...

  • Machine-aided analysis of vote privacy using computationally complete symbolic attacker 

    Eeralla, Ajay Kumar (University of Missouri--Columbia, 2019)
    Security protocols employ cryptographic primitives such as encryption and digital signatures to provide security guarantees of confidentiality and authenticity in the presence of malicious attackers. Due to the complexities ...

  • Mechanizing the metatheory of rewire 

    Reynolds, Thomas N. (University of Missouri--Columbia, 2019)
    The [lambda]-calculus provides a simple, well-established framework for research in functional programming languages that readily lends itself to the use offormal methods--that is, the use of mathematically sound techniques ...

  • Privacy preservation in mobile social networks 

    Steiert, Douglas (University of Missouri--Columbia, 2019)
    In this day and age with the prevalence of smartphones, networking has evolved in an intricate and complex way. With the help of a technology-driven society, the term "social networking" was created and came to mean using ...

  • Reliable service chain orchestration for scalable data-intensive computing at infrastructure edges 

    Chemodanov, Dmitrii Yurievich (University of Missouri--Columbia, 2019)
    In the event of natural or man-made disasters, geospatial video analytics is valuable to provide situational awareness that can be extremely helpful for first responders. However, geospatial video analytics demands massive ...