• Specification and verification of communicating systems with value passing 

  Gurov, Dilian Borissov (2017-06-16)

  The present Thesis addresses the problem of specification and verification of communicating systems with value passing. We assume that such systems are described in the well-known Calculus of Communicating Systems, or ...
• Boolean and multiple-valued functions in combinational logic synthesis 

  Dubrova, Elena Vladimirovna (2017-06-14)

  The subject of this dissertation is the theory of Boolean and multiple-valued functions. The main areas considered are: functional completeness, canonical forms, minimization of functions, discrete differences and ...
• Finding obstructions within irreducible triangulations 

  Campbell, Russell J. (2017-06-01)

  The main results of this dissertation show evidence supporting the Successive Surface Scaffolding Conjecture. This is a new conjecture that, if true, guarantees the existence of all the wye-delta-order minimal obstructions ...
• Predicting likelihood of requirement implementation within the planned iteration 

  Dehghan, Ali (2017-05-31)

  There has been a significant interest in the estimation of time and effort in fixing defects among both software practitioners and researchers over the past two decades. However, most of the focus has been on prediction ...
• Chameleon, a dynamically extensible and configurable object-oriented operating system 

  Bryce, Robert William (2017-05-03)

  Currently, new algorithms are being incorporated into operating systems to deal with a host of new requirements from multimedia applications. These new algorithms deal with soft real-time scheduling, different memory ...
• Linear programming to determine molecular orientation at surfaces through vibrational spectroscopy 

  Chen, Fei (2017-05-03)

  Applying linear programming (LP) to spectroscopy techniques, such as IR, Raman and SFG, is a new approach to extract the molecular orientation information at surfaces. In Hung’s previous research, he has shown how applying ...
• Implicit representation of inscribed volumes 

  Sahbaei, Parto (2017-05-01)

  We present an implicit approach for constructing smooth isolated or interconnected 3-D inscribed volumes which can be employed for volumetric modeling of various kinds of spongy or porous structures, such as volcanic rocks, ...
• Characterizing the polyhedral graphs with positive combinatorial curvature 

  Oldridge, Paul Richard (2017-05-01)

  A polyhedral graph G is called PCC if every vertex of G has strictly positive combinatorial curvature and the graph is not a prism or antiprism. In this thesis it is shown that the maximum order of a 3-regular PCC graph ...
• A machine learning approach to fundraising success in higher education 

  Ye, Liang (2017-05-01)

  New donor acquisition and current donor promotion are the two major programs in fundraising for higher education, and developing proper targeting strategies plays an important role in the both programs. This thesis presents ...
• Forest aboveground biomass and carbon mapping with computational cloud 

  Guan, Aimin (2017-04-26)

  In the last decade, advances in sensor and computing technology are revolutionary. The latest-generation of hyperspectral and synthetic aperture radar ((SAR) instruments have increased their spectral, spatial, and temporal ...
• BXE2E: a bidirectional transformation approach for medical record exchange 

  Ho, Jeremy (2017-04-25)

  Modern health care systems are information dense and increasingly relying on computer-based information systems. Regrettably, many of these information systems behave only as an information repository, and the interoperability ...
• Reliable routing and its application in MPLS and admission control 

  Pu, Jian (2017-04-24)

  Reliable routing using alternate paths is investigated in this dissertation. We propose precalculated alternate paths as a method for fast recovery from link and node failures in IP networks. We demonstrate that path ...
• The co-design of virtual machines using reconfigurable hardware 

  Kent, Kenneth Blair (2017-04-21)

  The prominence of the internet and networked computing has driven research efforts into providing support for heterogeneous computing platforms. This has been exemplified by the emergence of virtual machines, such as the ...
• On the (in)security of behavioral-based dynamic anti-malware techniques 

  Ersan, Erkan (2017-04-21)

  The Internet has become the primary vector for the delivery of malicious code in cyber attacks, and malware has rapidly become a pervasive critical threat. Anti- malware products offer effective protection from malware ...
• Audio fingerprinting for speech reconstruction and recognition in noisy environments 

  Liu, Feng (2017-04-13)

  Audio fingerprinting is a highly specific content-based audio retrieval technique. Given a short audio fragment as query, an audio fingerprinting system can identify the particular file that contains the fragment in a large ...
• Number theoretic methods and their significance in computer science, information theory, combinatorics, and geometry 

  Bibak, Khodakhast (2017-04-13)

  In this dissertation, I introduce some number theoretic methods and discuss their intriguing applications to a variety of problems in computer science, information theory, combinatorics, and geometry. First, using properties ...
• AppXimity: a context-aware mobile application management framework 

  Aaron, Ernest E. Alexander Jr. (2017-04-10)

  The Internet of Things is an emerging technology where everyday devices with sensing and actuating capabilities are connected to the Internet and seamlessly com- municate with other devices over the network. The proliferation ...
• A combinatorial switch block design technique for reconfigurable interconnection networks 

  Fan, Hongbing (2017-04-07)

  Switch blocks are fundamental switch components in reconfigurable interconnection networks such as FPGA routing networks and circuit switching communication networks. A switch block consists of a set of terminals usually ...
• A novel stroke prediction model based on clinical natural language processing (NLP) and data mining methods 

  Sedghi, Elham (2017-03-30)

  Early detection and treatment of stroke can save lives. Before any procedure is planned, the patient is traditionally subjected to a brain scan such as Magnetic Resonance Imaging (MRI) in order to make sure he/she receives ...
• An exploration of learning tool log data in CS1: how to better understand student behaviour and learning 

  Estey, Anthony (2017-02-02)

  The overall goal of this work is to support student success in computer science. First, I introduce BitFit, an ungraded practice programming tool built to provide students with a pressure-free environment to practice and ...

View more