Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 17 of 17
Full-Text Articles in Entire DC Network
Transcriptional And Post-Transcriptional Regulation Of Gene Expression, Jun Ding
Transcriptional And Post-Transcriptional Regulation Of Gene Expression, Jun Ding
Electronic Theses and Dissertations
Regulation of gene expression includes a variety of mechanisms to increase or decrease specific gene products. Gene expression can be regulated at any stage from transcription to post-transcription and it's essential to almost all living organisms, as it increases the versatility and adaptability by allowing the cell to express the needed proteins. In this dissertation, we comprehensively studied the gene regulation from both transcriptional and post-transcriptional points of view. Transcriptional regulation is by which cells regulate the transcription from DNA to RNA, thereby directing gene activity. Transcriptional factors (TFs) play a very important role in transcriptional regulation and they are …
A Comparison Of Concurrent Correctness Criteria For Shared Memory Based Data Structure, Dipanjan Bhattacharya
A Comparison Of Concurrent Correctness Criteria For Shared Memory Based Data Structure, Dipanjan Bhattacharya
Electronic Theses and Dissertations
Developing concurrent algorithms requires safety and liveness to be defined in order to understand their proper behavior. Safety refers to the correctness criteria while liveness is the progress guarantee. Nowadays there are a variety of correctness conditions for concurrent objects. The way these correctness conditions differ and the various trade-offs they present with respect to performance, usability, and progress guarantees is poorly understood. This presents a daunting task for the developers and users of such concurrent algorithms who are trying to better understand the correctness of their code and the various trade-offs associated with their design choices and use. The …
Analysis Of Commutativity With State-Chart Graph Representation Of Concurrent Programs., Kishore Debnath
Analysis Of Commutativity With State-Chart Graph Representation Of Concurrent Programs., Kishore Debnath
Electronic Theses and Dissertations
We present a new approach to check for Commutativity in concurrent programs from their run-time state-chart graphs. Two operations are said to be commutative if changing the order of their execution do not change the resultant effect on the working object. Commutative property is capable of boosting performance in concurrent transactions such that transactional concurrency is comparable to a non-blocking linearizable version of a similar data structure type. Transactional concurrency is a technique that analyses object semantics, as object states, to determine conflicts and recovery between conflicting operations. Processes that commute at object level can be executed concurrently at transaction …
Techniques For Automated Parameter Estimation In Computational Models Of Probabilistic Systems, Faraz Hussain
Techniques For Automated Parameter Estimation In Computational Models Of Probabilistic Systems, Faraz Hussain
Electronic Theses and Dissertations
The main contribution of this dissertation is the design of two new algorithms for automatically synthesizing values of numerical parameters of computational models of complex stochastic systems such that the resultant model meets user-specified behavioral specifications. These algorithms are designed to operate on probabilistic systems – systems that, in general, behave differently under identical conditions. The algorithms work using an approach that combines formal verification and mathematical optimization to explore a model's parameter space. The problem of determining whether a model instantiated with a given set of parameter values satisfies the desired specification is first defined using formal verification terminology, …
Spatiotemporal Graphs For Object Segmentation And Human Pose Estimation In Videos, Dong Zhang
Spatiotemporal Graphs For Object Segmentation And Human Pose Estimation In Videos, Dong Zhang
Electronic Theses and Dissertations
Images and videos can be naturally represented by graphs, with spatial graphs for images and spatiotemporal graphs for videos. However, for different applications, there are usually different formulations of the graphs, and algorithms for each formulation have different complexities. Therefore, wisely formulating the problem to ensure an accurate and efficient solution is one of the core issues in Computer Vision research. We explore three problems in this domain to demonstrate how to formulate all of these problems in terms of spatiotemporal graphs and obtain good and efficient solutions. The first problem we explore is video object segmentation. The goal is …
Computational Approaches For Binning Metagenomic Reads, Ying Wang
Computational Approaches For Binning Metagenomic Reads, Ying Wang
Electronic Theses and Dissertations
Metagenomics uses sequencing technologies to study genetic sequences from whole microbial communities. Binning metagenomic reads is the most fundamental step in metagenomic studies, which is essential for the understanding of microbial functions, compositions, and interactions in environmental samples. Various taxonomy-dependent and taxonomy-independent approaches have been developed based on information such as sequence similarity, sequence composition, or k-mer frequency. However, there is still room for improvement, and it is still challenging to bin reads from species with similar or low abundance or to bin reads from unknown species. In this dissertation, we introduce one taxonomy-independent and three taxonomy-dependent approaches to improve …
The Woz Recognizer: A Tool For Understanding User Perceptions Of Sketch-Based Interfaces, Jared Bott
The Woz Recognizer: A Tool For Understanding User Perceptions Of Sketch-Based Interfaces, Jared Bott
Electronic Theses and Dissertations
Sketch recognition has the potential to be an important input method for computers in the coming years; however, designing and building an accurate and sophisticated sketch recognition system is a time consuming and daunting task. Since sketch recognition is still at a level where mistakes are common, it is important to understand how users perceive and tolerate recognition errors and other user interface elements with these imperfect systems. A problem in performing this type of research is that we cannot easily control aspects of recognition in order to rigorously study the systems. We performed a study examining user perceptions of …
A Study Of Holistic Strategies For The Recognition Of Characters In Natural Scene Images, Muhammad Ali
A Study Of Holistic Strategies For The Recognition Of Characters In Natural Scene Images, Muhammad Ali
Electronic Theses and Dissertations
Recognition and understanding of text in scene images is an important and challenging task. The importance can be seen in the context of tasks such as assisted navigation for the blind, providing directions to driverless cars, e.g. Google car, etc. Other applications include automated document archival services, mining text from images, and so on. The challenge comes from a variety of factors, like variable typefaces, uncontrolled imaging conditions, and various sources of noise corrupting the captured images. In this work, we study and address the fundamental problem of recognition of characters extracted from natural scene images, and contribute three holistic …
Gesture Assessment Of Teachers In An Immersive Rehearsal Environment, Roghayeh Barmaki
Gesture Assessment Of Teachers In An Immersive Rehearsal Environment, Roghayeh Barmaki
Electronic Theses and Dissertations
Interactive training environments typically include feedback mechanisms designed to help trainees improve their performance through either guided- or self-reflection. When the training system deals with human-to-human communications, as one would find in a teacher, counselor, enterprise culture or cross-cultural trainer, such feedback needs to focus on all aspects of human communication. This means that, in addition to verbal communication, nonverbal messages must be captured and analyzed for semantic meaning. The goal of this dissertation is to employ machine-learning algorithms that semi-automate and, where supported, automate event tagging in training systems developed to improve human-to-human interaction. The specific context in which …
Spatial And Temporal Modeling For Human Activity Recognition From Multimodal Sequential Data, Jun Ye
Spatial And Temporal Modeling For Human Activity Recognition From Multimodal Sequential Data, Jun Ye
Electronic Theses and Dissertations
Human Activity Recognition (HAR) has been an intense research area for more than a decade. Different sensors, ranging from 2D and 3D cameras to accelerometers, gyroscopes, and magnetometers, have been employed to generate multimodal signals to detect various human activities. With the advancement of sensing technology and the popularity of mobile devices, depth cameras and wearable devices, such as Microsoft Kinect and smart wristbands, open a unprecedented opportunity to solve the challenging HAR problem by learning expressive representations from the multimodal signals recording huge amounts of daily activities which comprise a rich set of categories. Although competitive performance has been …
Quantitative Framework For Social Cultural Interactions, Taranjeet Singh Bhatia
Quantitative Framework For Social Cultural Interactions, Taranjeet Singh Bhatia
Electronic Theses and Dissertations
For an autonomous robot or software agent to participate in the social life of humans, it must have a way to perform a calculus of social behavior. Such a calculus must have explanatory power (it must provide a coherent theory for why the humans act the way they do), and predictive power (it must provide some plausible events from the predicted future actions of the humans). This dissertation describes a series of contributions that would allow agents observing or interacting with humans to perform a calculus of social behavior taking into account cultural conventions and socially acceptable behavior models. We …
Tryopenjml - A Verily Based Web Application For Learning About The Java Modeling Language, Tushar Deshpande
Tryopenjml - A Verily Based Web Application For Learning About The Java Modeling Language, Tushar Deshpande
Electronic Theses and Dissertations
This thesis has a two-fold purpose. On the one hand, the web applications are an important part of life. On a day to day basis, from managing our heath care choices to banking, to connecting to a friend, almost everything is done through a web application. Development of these applications is also a very trend-driven domain. Numerous web frameworks are available today, but almost none has been created taking reliability into consideration. With the combination of application construction recipes and static analysis, the Verily framework was created to build more reliable web applications. On the other hand, the goal of …
Verification And Automated Synthesis Of Memristor Crossbars, Arya Pourtabatabaie
Verification And Automated Synthesis Of Memristor Crossbars, Arya Pourtabatabaie
Electronic Theses and Dissertations
The Memristor is a newly synthesized circuit element correlating differences in electrical charge and magnetic flux, which effectively acts as a nonlinear resistor with memory. The small size of this element and its potential for passive state preservation has opened great opportunities for data-level parallel computation, since the functions of memory and processing can be realized on the same physical device. In this research we present an in-depth study of memristor crossbars for combinational and sequential logic. We outline the structure of formulas which they are able to produce and henceforth the inherent powers and limitations of Memristive Crossbar Computing. …
Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan
Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan
Electronic Theses and Dissertations
Multi-object tracking is one of the fundamental problems in computer vision. Almost all multi-object tracking systems consist of two main components; detection and data association. In the detection step, object hypotheses are generated in each frame of a sequence. Later, detections that belong to the same target are linked together to form final trajectories. The latter step is called data association. There are several challenges that render this problem difficult, such as occlusion, background clutter and pose changes. This dissertation aims to address these challenges by tackling the data association component of tracking and contributes three novel methods for solving …
High-Performance Composable Transactional Data Structures, Deli Zhang
High-Performance Composable Transactional Data Structures, Deli Zhang
Electronic Theses and Dissertations
Exploiting the parallelism in multiprocessor systems is a major challenge in the post ``power wall'' era. Programming for multicore demands a change in the way we design and use fundamental data structures. Concurrent data structures allow scalable and thread-safe accesses to shared data. They provide operations that appear to take effect atomically when invoked individually. A main obstacle to the practical use of concurrent data structures is their inability to support composable operations, i.e., to execute multiple operations atomically in a transactional manner. The problem stems from the inability of concurrent data structure to ensure atomicity of transactions composed from …
Design Of A Jmldoclet For Jmldoc In Openjml, Arjun Mitra Reddy Donthala
Design Of A Jmldoclet For Jmldoc In Openjml, Arjun Mitra Reddy Donthala
Electronic Theses and Dissertations
The Java Modeling Language (JML) is a behavioral interface specification language designed for specifying Java classes and interfaces. OpenJML is a tool for processing JML specifications of Java programs. To facilitate viewing of these specifications in a user-friendly manner, a tool JMLdoc was created. The JMLdoc tool adds JML specifications to the usual Javadoc documentation. JMLdoc is an enhancement of Javadoc that adds to the Javadoc documentation the JML specifications that are present in the source code. The JMLdoc tool is a drop-in replacement for Javadoc, with additional functionality and additional options. The current design of JMLdoc uses the standard …
Confluence Of Vision And Natural Language Processing For Cross-Media Semantic Relations Extraction, Amara Tariq
Confluence Of Vision And Natural Language Processing For Cross-Media Semantic Relations Extraction, Amara Tariq
Electronic Theses and Dissertations
In this dissertation, we focus on extracting and understanding semantically meaningful relationships between data items of various modalities; especially relations between images and natural language. We explore the ideas and techniques to integrate such cross-media semantic relations for machine understanding of large heterogeneous datasets, made available through the expansion of the World Wide Web. The datasets collected from social media websites, news media outlets and blogging platforms usually contain multiple modalities of data. Intelligent systems are needed to automatically make sense out of these datasets and present them in such a way that humans can find the relevant pieces of …