• CSP++ : an object-oriented application framework for software synthesis from CSP specifications 

  Gardner, William Bennett (2018-05-09)

  One of the useful formalisms for designing concurrent systems is the process algebra called CSP, or Communicating Sequential Processes. CSP statements can be used to model a system's control and data flow in an intuitive ...
• Non-invasive gesture sensing, physical modeling, machine learning and acoustic actuation for pitched percussion 

  Trail, Shawn (2018-05-07)

  This thesis explores the design and development of digitally extended, electro- acoustic (EA) pitched percussion instruments, and their use in novel, multi-media performance contexts. The proposed techniques address the ...
• Fast spectral multiplication for real-time rendering 

  Waddle, C Allen (2018-05-02)

  In computer graphics, the complex phenomenon of color appearance, involving the interaction of light, matter and the human visual system, is modeled by the multiplication of RGB triplets assigned to lights and materials. ...
• Adaptive music technology using the Kinect 

  Graham-Knight, Kimberlee (2018-05-01)

  The field of Adaptive Music Technology is rapidly expanding and evolving. While there have been a number of theses and dissertations devoted to the study of new computer music instrument design for persons with disabilities, ...
• Fast algorithms to generate restricted classes of strings under rotation 

  Sawada, Joseph James (2018-01-29)

  A necklace is a representative of an equivalence class of k-ary strings under rotation. Efficient algorithms for generating (i.e., listing) necklaces have been known for some time. Many applications, however, require a ...
• Information system hazard analysis 

  Mason-Blakley, Fieran (2018-01-29)

  We present Information System Hazard Analysis (ISHA), a novel systemic hazard analysis technique focused on Clinical Information System (CIS)s. The method is a synthesis of ideas from United States Department of Defense ...
• Engineering scalable influence maximization 

  Khot, Akshay (2017-12-18)

  In recent years, social networks have become an important part of our daily lives. Billions of people daily use Facebook and other prominent social media networks. This makes them an effective medium for advertising and ...
• Energy adaptive digital ecosystems 

  Bergen, Andreas Christoph (2017-12-15)

  Since the turn of the century, the proliferation of virtualization and cloud computing has led to an increase in data centres and consequently an increase in power consumption for computing. Today, approximately 2% of ...
• Algorithms and complexity for annotated sequence analysis 

  Evans, Patricia Anne (2017-12-14)

  Molecular biologists use algorithms that compare and otherwise analyze sequences that represent genetic and protein molecules. Most of these algorithms, however, operate on the basic sequence and do not incorporate the ...
• Runtime modelling for user-centric smart cyber-physical-human applications 

  Castañeda Bueno, Lorena (2017-12-04)

  Cyber-Physical-Human Systems (CPHSs) are the integration, mostly focused on the interactions, of cyber, physical and humans elements that work together towards the achievement of the objectives of the system. Users ...
• Systematic parameterized complexity analysis in computational phonology 

  Wareham, Harold (2017-11-20)

  Many computational problems are NP-hard and hence probably do not have fast, i.e., polynomial time, algorithms. Such problems may yet have non-polynomial time algorithms, and the non-polynomial time complexities of these ...
• Collaboration via aligned autonomy for commercial software teams 

  Kalliamvakou, Eirini (2017-11-06)

  Modern software organizations produce increasingly complex and sophisticated products that build on the effort of multiple individuals and teams. This reality highlights the critical importance of collaboration and the ...
• On secure, dynamic customizing of a meta-space-based operating system 

  Horie, Michael (2017-10-30)

  Continuing advances in hardware and in software applications are pushing traditional operating systems beyond their limits. This is largely due to the fact that these advances, and their associated requirements, were not ...
• Onset of planetary wave breaking in a model of the polar stratospheric vortex 

  Wang, Xiaohong (2017-10-16)

  The breakdown of vertically propagating planetary waves in the stratosphere is investigated using an ultra-high horizontal resolution Contour Dynamics with Surgery model. In the model, planetary waves are forced at the ...
• Computational methods for domination problems 

  Bird, William Herbert (2017-10-04)

  For a graph G, the minimum dominating set problem is to find a minimum size set S of vertices of G such that every vertex is either in S or adjacent to a vertex in the set. The decision version of this problem, which asks ...
• On performance improvement of restricted bandwidth multimedia conferencing over packet switched networks 

  ElGebaly, Hani H. (2017-09-08)

  Advances in computer technology such as faster processors, better data compression schemes, and cheaper audio and video devices have made it possible to integrate multimedia into the computing environment. Desktop conferencing ...
• Global optimization using interval constraints 

  Chen, Huaimo (2017-08-30)

  Global optimization methods can be classified into two non-overlapping classes with respect to accuracy: those with guaranteed accuracy and those without. The former are called bounding methods, the latter point methods. ...
• Escalation prediction using feature engineering: addressing support ticket escalations within IBM’s ecosystem 

  Montgomery, Lloyd Robert Frank (2017-08-28)

  Large software organizations handle many customer support issues every day in the form of bug reports, feature requests, and general misunderstandings as submitted by customers. Strategies to gather, analyze, and negotiate ...
• A mathematical basis for medication prescriptions and adherence 

  Diemert, Simon (2017-08-25)

  Medication prescriptions constitute an important type of clinical intervention. Medication adherence is the degree to which a patient consumes their medication as agreed upon with a prescriber. Despite many years of research, ...
• Evaluation in built-in self-test 

  Zhang, Shujian (2017-08-21)

  This dissertation addresses two major issues associated with a built-in self-test environment: (1) how to measure whether a given test vector generator is suitable for testing faults with sequential behavior, and (2) how ...

View more