Physical Sciences and Mathematics Commons^™

Proofs Of Soundness And Strong Normalization For Linear Memory Types, Heng Huang, Chris Hawblitzel

Computer Science Technical Reports

Efficient low-level systems need more control over memory than safe high-level languages usually provide. As a result, run-time systems are typically written in unsafe languages such as C. This report describes an abstract machine designed to give type-safe code more control over memory. It includes complete definitions and proofs.

Exact Formulae For The Lovasz Theta Function Of Sparse Circulant Graphs, Valentino Crespi

Computer Science Technical Reports

The Lovasz theta function has attracted a lot of attention for its connection with diverse issues, such as communicating without errors and computing large cliques in graphs. Indeed this function enjoys the remarkable property of being computable in polynomial time, despite being sandwitched between clique and chromatic number, two well known hard to compute quantities. In this paper I provide a closed formula for the Lovasz function of a specific class of sparse circulant graphs thus generalizing Lovasz results on cycle graphs (circulant graphs of degree 2).

Toward Dynamic Interoperability Of Mobile Agent Systems, Arne Grimstrup, Robert Gray, David Kotz, Maggie Breedy, Marco Carvalho, Thomas Cowin, Daria Chacon, Joyce Barton, Chris Garrett, Martin Hofmann

Dartmouth Scholarship

Mobile agents are an increasingly popular paradigm and in recent years there has been a proliferation of mobile-agent systems. These systems are, however, largely incompatible with each other. In particular, agents cannot migrate to a host that runs a different mobile-agent system. Prior approaches to interoperability have tried to force agents to use a common API and so far none have succeeded. This goal led to our efforts to develop mechanisms that support dynamic runtime interoperability of mobile-agent systems. This paper describes the \em Grid Mobile-Agent System, which allows agents to migrate to different mobile-agent systems.

Long-Lived Oscillons From Asymmetric Bubbles: Existence And Stability, Artur B. Adib, Marcelo Gleiser, Carlos A.S Almeida

Dartmouth Scholarship

The possibility that extremely long-lived, time-dependent, and localized field configurations (“oscillons”) arise during the collapse of asymmetrical bubbles in (2+1)-dimensional φ4 models is investigated. It is found that oscillons can develop from a large spectrum of elliptically deformed bubbles. Moreover, we provide numerical evidence that such oscillons are (a) circularly symmetric and (b) linearly stable against small arbitrary radial and angular perturbations. The latter is based on a dynamical approach designed to investigate the stability of nonintegrable time-dependent configurations that is capable of probing slowly growing instabilities not seen through the usual “spectral” method.

Spintessence! New Models For Dark Matter And Dark Energy, Latham A. Boyle, Robert R. Caldwell, Marc Kamionkowski

Dartmouth Scholarship

We investigate a class of models for dark matter and/or negative-pressure, dynamical dark energy consisting of “spintessence”, a complex scalar field φ spinning in a U(1)-symmetric potential V(φ)=V(|φ|). As the Universe expands, the field spirals slowly toward the origin. The internal angular momentum plays an important role in the cosmic evolution and fluctuation dynamics. We outline the constraints on a cosmic spintessence field, describing the properties of the potential necessary to sustain a viable dark energy model, making connections with quintessence and self-interacting and fuzzy cold dark matter. Possible implications for the …

Distributed Algorithms For Guiding Navigation Across A Sensor Network, Qun Li, Michael Derosa, Daniela Rus

Computer Science Technical Reports

We develop distributed algorithms for self-reconfiguring sensor networks that respond to directing a target through a region. The sensor network models the danger levels sensed across its area and has the ability to adapt to changes. It represents the dangerous areas as obstacles. A protocol that combines the artificial potential field of the sensors with the goal location for the moving object guides the object incrementally across the network to the goal, while maintaining the safest distance to the danger areas. We report on hardware experiments using a physical sensor network consisting of Mote sensors.

Adiabatic Invariance With First Integrals Of Motion, Artur D. Adib

Dartmouth Scholarship

The construction of a microthermodynamic formalism for isolated systems based on the concept of adiabatic invariance is an old but seldom appreciated effort in the literature, dating back at least to P. Hertz [Ann. Phys. (Leipzig) 33, 225 (1910)]. An apparently independent extension of such formalism for systems bearing additional first integrals of motion was recently proposed by Hans H. Rugh [Phys. Rev. E 64, 055101 (2001)], establishing the concept of adiabatic invariance even in such singular cases. After some remarks in connection with the formalism pioneered by Hertz, it will be suggested that such an extension can …

An Isolated, Recently Shocked Ism Cloud In The Cygnus Loop Supernova Remnant, D. J. Patnaude, R. A. Fesen, J. C. Raymond, N. A. Levenson

Dartmouth Scholarship

Spatially resolved ROSAT X-ray and ground-based optical data for the southwestern region of the Cygnus Loop supernova remnant (SNR) reveal in unprecedented detail the very early stages of a blast-wave interaction with an isolated interstellar cloud. Numerous internal cloud shock fronts near the upstream flow and along the cloud edges are visible optically as sharp filaments of enhanced H emission. Faint X-ray emission is seen along a line of Balmer-dominated shock filaments north and south of the cloud with an estimated X-ray gas temperature of 1.2 106 K (0.11 keV), corresponding to a shock velocity of 290 km s1 . …

Using The Emulab Network Testbed To Evaluate The Armada I/O Framework For Computational Grids, Ron Oldfield, David Kotz

Computer Science Technical Reports

This short report describes our experiences using the Emulab network testbed at the University of Utah to test performance of the Armada framework for parallel I/O on computational grids.

Heterogeneous Self-Reconfiguring Robotics: Ph.D. Thesis Proposal, Robert C. Fitch

Computer Science Technical Reports

Self-reconfiguring robots are modular systems that can change shape, or "reconfigure," to match structure to task. They comprise many small, discrete, often identical modules that connect together and that are minimally actuated. Global shape transformation is achieved by composing local motions. Systems with a single module type, known as "homogeneous" systems, gain fault tolerance, robustness and low production cost from module interchangeability. However, we are interested in "heterogeneous" systems, which include multiple types of modules such as those with sensors, batteries or wheels. We believe that heterogeneous systems offer the same benefits as homogeneous systems with the added ability to …

Spatially Resolved Spectroscopy Of Coma Cluster Early-Type Galaxies - Ii. The Minor Axis Dataset, G. Wegner, E. M. Corsini, R. P. Saglia, R. Bender

Dartmouth Scholarship

We present minor axis, offset major axis and one diagonal long slit spectra for 10 E and S0 galaxies of the Coma cluster drawn from a magnitude-limited sample studied before. We derive rotation curves, velocity dispersion profiles and the H3 and H4 coefficients of the Hermite decomposition of the line of sight velocity distribution. Moreover, we derive the line index profiles of Mg, Fe and Hβ line indices and assess their errors. The data will be used to construct dynamical models of the galaxies and study their stellar populations.

Analysis Of A Campus-Wide Wireless Network, David Kotz, Kobby Essien

Computer Science Technical Reports

Understanding usage patterns in wireless local-area networks (WLANs) is critical for those who develop, deploy, and manage WLAN technology, as well as those who develop systems and application software for wireless networks. This paper presents results from the largest and most comprehensive trace of network activity in a large, production wireless LAN. For eleven weeks we traced the activity of nearly two thousand users drawn from a general campus population, using a campus-wide network of 476 access points spread over 161 buildings. Our study expands on those done by Tang and Baker, with a significantly larger and broader population. We …

Mass Profile Of The Infall Region Of The Abell 2199 Supercluster, K. Rines, M. J. Geller, A. Diaferio, A. Mahdavi, J. J. Mohr, G. Wegner

Dartmouth Scholarship

Using a redshift survey of 1323 galaxies (1092 new or remeasured) in a region of 95 deg2 centered on the nearby galaxy cluster Abell 2199, we analyze the supercluster containing A2199, A2197, and an X-ray group. The caustic technique accurately reproduces the true mass profiles of simulated simple superclusters (i.e., superclusters for which the virial mass of one cluster is 2–10 times the virial mass of all other clusters in the supercluster). We calculate the masses of the two main components of A2197 (A2197W and A2197E) by using archival X-ray observations and demonstrate that the A2199 supercluster is simple (the …

Analysis Of A Campus-Wide Wireless Network, David Kotz, Kobby Essien

Dartmouth Scholarship

Understanding usage patterns in wireless local-area networks (WLANs) is critical for those who develop, deploy, and manage WLAN technology, as well as those who develop systems and application software for wireless networks. This paper presents results from the largest and most comprehensive trace of network activity in a large, production wireless LAN. For eleven weeks we traced the activity of nearly two thousand users drawn from a general campus population, using a campus-wide network of 476 access points spread over 161 buildings. Our study expands on those done by Tang and Baker, with a significantly larger and broader population. \par …

Extraordinary Late‐Time Infrared Emission Of Type Iin Supernovae, Christopher L. Gerardy, Robert A. Fesen, Ken-Ichi Nomoto, Peter M. Garnavich

Dartmouth Scholarship

Near-infrared observations are presented for five Type IIn supernovae (SN 1995N, SN 1997ab, SN 1998S, SN 1999Z, and SN 1999el) that exhibit strong infrared excesses at late times (t > 100 days). H- and K-band emission from these objects is dominated by a continuum that rises toward longer wavelengths. The data are interpreted as thermal emission from dust, probably situated in a preexisting circumstellar nebula. The IR luminosities implied by single-temperature blackbody fits are quite large, >1041-1042 ergs s-1, and the emission evolves slowly, lasting for years after maximum light. For SN 1995N, the integrated energy release via …

Future Directions For Mobile-Agent Research, David Kotz, Robert Gray, Daniela Rus

Dartmouth Scholarship

The field of mobile agents should shift its emphasis toward mobile code, in all its forms, rather than continue focusing on mobile agents. The development of modular components will help application designers take advantage of code mobility without having to rewrite their applications to fit in monolithic, mobile agent systems.

The Future Of Cryptography Under Quantum Computers, Marco A. Barreno

Dartmouth College Undergraduate Theses

Cryptography is an ancient art that has passed through many paradigms, from simple letter substitutions to polyalphabetic substitutions to rotor machines to digital encryption to public-key cryptosystems. With the possible advent of quantum computers and the strange behaviors they exhibit, a new paradigm shift in cryptography may be on the horizon. Quantum computers could hold the potential to render most modern encryption useless against a quantum-enabled adversary. The aim of this thesis is to characterize this convergence of cryptography and quantum computation. We provide definitions for cryptographic primitives that frame them in general terms with respect to complexity. We explore …

Sensitivity Of The Cosmic Microwave Background Anisotropy To Initial Conditions In Quintessence Cosmology, Rahul Dave, R. R. Caldwell, Paul J. Steinhardt

Dartmouth Scholarship

We analyze the evolution of energy density fluctuations in cosmological scenarios with a mixture of cold dark matter and quintessence, in which the quintessence field is modeled by a constant equation of state. We obtain analytic expressions for the time evolution of the quintessence perturbations in models with light fields. The fluctuations behave analogously to a driven harmonic oscillator, where the driving term arises from the inhomogeneities in the surrounding cosmological fluid. We demonstrate that the homogeneous solution, determined by the initial conditions, is completely subdominant to the inhomogeneous solution for physically realistic scenarios. Thus we show that the cosmic …

Location Of Pc 1–2 Waves Relative To The Magnetopause, R E. Denton, J Labelle, X Zhu

Dartmouth Scholarship

Spacecraft-borne and ground-based magnetome- ters frequently detect magnetospheric micropulsations in the period range 0.2–10s, termed Pc 1–2, and attributed to electromagnetic ion cyclotron waves driven by temperature anisotropy (T⊥ > T∥). Previous surveys of Pc 1 occur- rence locations have been limited to L ≤ 9. We present AMPTE/IRM observations of the distribution of Pc 1 waves out to the magnetopause, for a limited region of MLT = 10–14. The probability of wave occurrence Pwav is large (> 0.15) between L = 7–12, peaking at L = 8–10 (Pwav ∼ 0.25). When the L-value is normalized to the magnetopause position Lmp, …

Three Power-Aware Routing Algorithms For Sensor Networks, Javed Aslam, Qun Li, Daniela Rus

Dartmouth Scholarship

This paper discusses online power‐aware routing in large wireless ad hoc networks (especially sensor networks) for applications in which the message sequence is not known. We seek to optimize the lifetime of the network. We show that online power‐aware routing does not have a constant competitive ratio to the off‐line optimal algorithm. We develop an approximation algorithm called max–min zP_min that has a good empirical competitive ratio. To ensure scalability, we introduce a second online algorithm for power‐aware routing. This hierarchical algorithm is called zone‐based routing. Our experiments show that its performance is quite good. Finally, we …

Central Twisted Transformation Groups And Group C*-Algebras Of Central Group Extensions, Siegfried Echterhoff, Dana P. Williams

Dartmouth Scholarship

We examine the structure of central twisted transformation group C∗-algebras C0(X) ⋊id,u G, and apply our results to the group C ∗-algebras of central group extensions. Our methods require that we study Moore’s cohomology group H2 (G, C(X,T)), and, in particular, we prove an inflation result for pointwise trivial cocyles which may be of use elsewhere.

Performance And Interoperability In Solar, A Abram White

Dartmouth College Undergraduate Theses

Ubiquitous computing promises to integrate computers into our physical environment, surrounding us with applications that are able to adapt to our dynamics. Solar is a software infrastructure designed to deliver contextual information to these applications. To serve the large number and wide variety of context-aware devices envisioned by ubiquitous computing, Solar must exhibit both high performance and the ability to interoperate with many computing platforms. We created a testing framework to measure the performance of distributed systems such as Solar, as well as a pluggable data-transfer mechanism to support the dissemination of information to heterogeneous applications. This paper explores the …

Xslt And Xquery As Operator Languages, A Abram White

Computer Science Technical Reports

Ubiquitous computing promises to integrate computers into our physical environment, surrounding us with applications that are able to adapt to our dynamics. Solar is a software infrastructure designed to deliver contextual information to these applications. Solar represents context data as events, and uses small programs called operators to filter, merge, aggregate, or transform event streams. This paper explores the possibility of using XSLT and XQuery to build language-neutral Solar operators.

Redshift-Distance Survey Of Early-Type Galaxies. I. The Enearc Cluster Sample*, M. Bernardi, M. V. Alonso, L. N. Da Costa, C. N. A. Willmer, A. Wegner

Dartmouth Scholarship

This paper presents data on the ENEARc subsample of the larger ENEAR survey of nearby early-type galaxies. The ENEARc galaxies belong to clusters and were specifically chosen to be used for the construction of a D-n-sigma template. The ENEARc sample includes new measurements of spectroscopic and photometric parameters (redshift, velocity dispersion, line index Mg-2, and the angular diameter d(n)), as well as data from the literature. New spectroscopic data are given for 229 cluster early-type galaxies in 28 clusters. Objective criteria, based on catalogs of groups of galaxies derived from complete redshift surveys of the nearby universe, are used to …

The Warps Survey. Vi. Galaxy Cluster And Source Identifications From Phase I, Eric S. Perlman, Donald J. Horner, Laurence R. Jones, Caleb A. Scharf, Harald Ebeling, Gary Wegner, Matthew Malkan

Dartmouth Scholarship

We present in catalog form the optical identifications for objects from the first phase of the Wide Angle ROSAT Pointed Survey (WARPS). WARPS is a serendipitous survey of relatively deep, pointed ROSAT observations for clusters of galaxies. The X-ray source detection algorithm used by WARPS is Voronoi Tessellation and Percolation (VTP), a technique which is equally sensitive to point sources and extended sources of low surface brightness. WARPS-I is based on the central regions of 86 ROSAT PSPC fields, covering an area of 16.2 square degrees. We describe here the X-ray source screening and optical identification process for WARPS-I, which …

Solar: An Open Platform For Context-Aware Mobile Applications, Guanling Chen, David Kotz

Dartmouth Scholarship

Emerging pervasive computing technologies transform the way we live and work by embedding computation in our surrounding environment. To avoid increasing complexity, and allow the user to concentrate on her tasks, applications in a pervasive computing environment must automatically adapt to their changing \em context, including the user state and the physical and computational environment in which they run. Solar is a middleware platform to help these “context-aware” applications aggregate desired context from heterogeneous sources and to locate environmental services depending on the current context. By moving most of the context computation into the infrastructure, Solar allows applications to run …

Building Trusted Paths For Web Browsers, Zishuang (Eileen) Ye

Dartmouth College Master’s Theses

The communication between the Web browser and the human user is one component of the server-client channel. It is not the user but the browser that receives all server information and establishes the secure connection. The browser's user interface signals, such as SSL lock, https protocol header et al., indicate whether the browser-server communication at the current moment is secure. Those user interface signals indicating the security status of browser should be clearly and correctly understood by the user.

A survey of modern Web browsers shows the information provided by current browsers is insufficient for users to make trust judgment. …

Role Definition Language (Rdl): A Language To Describe Context-Aware Roles, Christopher P. Masone

Dartmouth College Undergraduate Theses

As wireless networks become more prevalent, a widening array of computational resources becomes available to the mobile user. Since not all users should have unrestricted access to these resources, a method of access control must be devised. In a context-aware environment, context information can be used to supplement more conventional password-based access control systems. We believe the best way to achieve this is through the use of Context-Aware Role-Based Access Control, a model in which permissions are assigned to entities called roles, each principal is a member of one or more roles, and a role's membership is determined using context …

Higher-Order Evaluation Of The Critical Temperature For Interacting Homogeneous Dilute Bose Gases, Frederico F. F. De Souza Cruz, Marcus Pinto, Rudnei O. Ramos, Paulo Sena

Dartmouth Scholarship

We use the nonperturbative linear δ expansion method to evaluate analytically the coefficients c1 and c''2 that appear in the expansion for the transition temperature for a dilute, homogeneous, three-dimensional Bose gas given by Tc=T0(1+c1an1/3+[c′2ln(an1/3)+c''2]a2n2/3+O(a3n)), where T0 is the result for an ideal gas, a is the s-wave scattering length, and n is the number density. In a previous work the same method has been used to evaluate c1 to order δ2 with the result c1=3.06. Here, we push the calculation to the next two orders obtaining c1=2.45 at order δ3 and c1=1.48 at order δ4. Analyzing the topology …

Analysis Of Protein Sequences Using Time Frequency And Kolmogorov-Smirnov Methods, Kobby Essien

Dartmouth College Undergraduate Theses

The plethora of genomic data currently available has resulted in a search for new algorithms and analysis techniques to interpret genomic data. In this two-fold study we explore techniques for locating critical amino acid residues in protein sequences and for estimating the similarity between proteins. We demonstrate the use of the Short-Time Fourier Transform and the Continuous Wavelet Transform together with amino acid hydrophobicity in locating important amino acid domains in proteins and also show that the Kolmogorov-Smirnov statistic can be used as a metric of protein similarity.