Dartmouth Digital Library Program

Modflows : methods for studying and managing mesh editing workflows / by Jonathan D. Denning.
At the heart of computer games and computer generated films lies 3D content creation. A student wanting to learn how to create and edit 3D meshes can quickly find thousands of videos explaining the workflow process. These videos are a popular...
Dartmouth Dissertations

Efficient design and implementation of permutation algorithms on the memory hierarchy.
Computer algorithms. Permutations. Memory hierarchy (Computer science). Computer programming.
For many scientific applications, the data set cannot entirely fit in main memory. The data must reside out-of-core, i.e., on parallel disks. For many basic data-movement operations such as permuting, if the programmer does not design efficient...
Dartmouth Dissertations

Type-safe operating system abstractions.
Operating systems (Computers) -- Security measures. ; Device drivers (Computer programs).
Operating systems and low-level applications are usually written in languages like C and assembly, which provide access to low-level abstractions. These languages have unsafe type systems that allow many bugs to slip by programmers. For example, in...
Dartmouth Dissertations

Interrogation of autolysins as a source of novel bacteriolytic agents / by Daniel Carmen Osipovitch
Staphylococcus aureus is a formidable pathogen, and its high morbidity and mortality rates are compounded by its ability to quickly develop antibiotic resistance. The current antimicrobial pipeline is inadequate to curb this mounting public health...
Dartmouth Dissertations

Naming and sharing resources across administrative boundaries.
Electronic data processing -- Distributed processing. ; Computer network architectures. ; Programming languages (Electronic computers) -- Semantics. ; Database management.
I tackle the problem of naming and sharing resources across administrative boundaries. Conventional systems manifest the hierarchy of typical administrative structure in the structure of their own mechanism. While natural for communication that...
Dartmouth Dissertations

Self-reconfiguring robots: designs, algorithms, and applications.
Robots -- Control systems. ; Robots -- Motion. ; Computer algorithms. ; Electronic data processing -- Distributed processing.
Self-reconfiguring robots are robots composed of many physically connected modules which can change their structural configuration to support multiple functionalities. We claim that self-reconfiguring robots are more versatile, extensible, and...
Dartmouth Dissertations

Secure context-sensitive authorization.
Computers -- Access control. ; Authentication. ; Ubiquitous computing.
Pervasive computing leads to an increased integration between the real world and the computational world, and many applications in pervasive computing adapt to the user's context, such as the location of the user and relevant devices, the presence...
Dartmouth Dissertations

Information organization algorithms and applications.
Computer algorithms. ; Cluster analysis. ; Information organization -- Mathematical models.
We consider a problem of information overload: the conflict between vast amounts of data available in electronic form and inadequate tools for finding relevant information. To alleviate this problem we look at the information organization:...
Dartmouth Dissertations

Proper actions of groupoids on C*-algebras.
Groupoids. C*-algebras. Crossed products. Brauer groups.
This thesis contains some results concerning groupoid dynamical systems and crossed products. We introduce the notion of a proper groupoid dynamical system and of its generalized fixed point algebra. We show that our notion of proper groupoid...
Dartmouth Dissertations

Mobility and communication in sensor networks.
Sensor networks. Robots -- Control systems. Detectors. Synchronization. Computer network protocols.
This thesis considers the two special sensor networks for future sensor network design: mobile sensor networks and hybrid network of sensors and robots. To investigate two types of networks, we abstract two most important aspects that are ingrained...
Dartmouth Dissertations

Heterogeneous self-reconfiguring robotics.
Robotics. Robots -- Control systems. Robots -- Motion. Robots -- Repairing. Manipulators (Mechanism). Heterogeneous computing. Computer algorithms.
Self-reconfiguring (SR) robots are modular systems that can autonomously change shape, or reconfigure , for increased versatility and adaptability in unknown environments. In this thesis, we investigate planning and control for systems of...
Dartmouth Dissertations

Usable security for wireless body-area networks / by Cory Cornelius.
We expect wireless body-area networks of pervasive wearable devices will enable in situ health monitoring, personal assistance, entertainment personalization, and home automation. As these devices become ubiquitous, we also expect them to...
Dartmouth Dissertations

Bayesian nonparametric methods for non-exchangeable data / by Nicholas J. Foti.
Bayesian nonparametric methods have become increasingly popular in machine learning for their ability to allow the data to determine model complexity. In particular, Bayesian nonparametric versions of common latent variable models can learn as...
Dartmouth Dissertations

Find results with:

		Thumbnail with title
		Grid with smaller thumbnails and more detail