Physical Sciences and Mathematics Commons^™

Pointcut Rejuvenation: Recovering Pointcut Expressions In Evolving Aspect-Oriented Software, Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Harry Xu

Publications and Research

Pointcut fragility is a well-documented problem in Aspect-Oriented Programming; changes to the base-code can lead to join points incorrectly falling in or out of the scope of pointcuts. In this paper, we present an automated approach which limits fragility problems by providing mechanical assistance in pointcut maintenance. The approach is based on harnessing arbitrarily deep structural commonalities between program elements corresponding to join points selected by a pointcut. The extracted patterns are then applied to later versions to offer suggestions of new join points that may require inclusion. To illustrate that the motivation behind our proposal is well-founded, we first …

Validation Of Tropospheric Emission Spectrometer (Tes) Nadir Ozone Profiles Using Ozonesonde Measurements, Ray Nassar, Jennifer A. Logan, Helen M. Worden, Inna A. Megretskaia, Kevin W. Bowman, Gregory B. Osterman, Anne M. Thompson, David W. Tarasick, Shermane Austin, Hans Claude, Manvendra K. Dubey, Wayne K. Hocking, Bryan J. Johnson, Everette Joseph, John Merrill, Gary A. Morris, Mike Newchurch, Samuel J. Oltmans, Françoise Posny, F. J. Schmidlin, Holger Vömel, David N. Whiteman, Jacquelyn C. Witte

Publications and Research

We compare Tropospheric Emission Spectrometer (TES) version 2 (V002) nadir ozone profiles with ozonesonde profiles from the Intercontinental Chemical Transport Experiment Ozonesonde Network Study, the World Ozone and Ultraviolet Data Center, the Global Monitoring Division of the Earth System Research Laboratory, and the Southern Hemisphere Additional Ozonesonde archives. Approximately 1600 coincidences spanning 72.5°S–80.3°N from October 2004 to October 2006 are found. The TES averaging kernel and constraint are applied to the ozonesonde data to account for the TES measurement sensitivity and vertical resolution. TES sonde differences are examined in six latitude zones after excluding profiles with thick high clouds. Values …

Characterizing Effective Auction Mechanisms: Insights From The 2007 Tac Mechanism Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerding, Peter Mcburney

Publications and Research

This paper analyzes the entrants to the 2007 TAC Market Design competition. It presents a classification of the entries to the competition, and uses this classification to compare these entries. The paper also attempts to relate market dynamics to the auction rules adopted by these entries and their adaptive strategies via a set of post-tournament experiments. Based on this analysis, the paper speculates about the design of effective auction mechanisms, both in the setting of this competition and in the more general case.

Methods Of Assessing And Ranking Probable Sources Of Error, Nataniel Greene

Publications and Research

A classical method for ranking n potential events as sources of error is Bayes' theorem. However, a ranking based on Bayes' theorem lacks a fundamental symmetry: the ranking in terms of blame for error will not be the reverse of the ranking in terms of credit for lack of error. While this is not a flaw in Bayes' theorem, it does lead one to inquire whether there are related methods which have such symmetry. Related methods explored here include the logical version of Bayes' theorem based on probabilities of conditionals, probabilities of biconditionals, and ratios or differences of credit to …

Jcat: A Platform For The Tac Market Design Competition, Jinzhong Niu, Kai Cai, Simon Parsons, Enrico Gerding, Peter Mcburney, Thierry Moyaux, Steve Phelps, David Shield

Publications and Research

No abstract provided.

Enforcing Behavioral Constraints In Evolving Aspect-Oriented Programs, Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan

Publications and Research

Reasoning, specification, and verification of Aspect-Oriented (AO) programs presents unique challenges especially as such programs evolve over time. Components, base-code and aspects alike, may be easily added, removed, interchanged, or presently unavailable at unpredictable frequencies. Consequently, modular reasoning of such programs is highly attractive as it enables tractable evolution, otherwise necessitating that the entire program be reexamined each time a component is changed. It is well known, however, that modular reasoning about AO programs is difficult. In this paper, we present our ongoing work in constructing a rely-guarantee style reasoning system for the Aspect-Oriented Programming (AOP) paradigm, adopting a trace-based …

A Wavelet-Based Method For Overcoming The Gibbs Phenomenon, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.

An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene

Publications and Research

Conditional and biconditional statements are a standard part of symbolic logic but they have only recently begun to be explored in probability for applications in artificial intelligence. Here we give a brief overview of the major theorems involved and illustrate them using two standard model problems from conditional probability.

Fourier Series Of Orthogonal Polynomials, Nataniel Greene

Publications and Research

Explicit formulas for the Fourier coefficients of the Legendre polynomials can be found in the Bateman Manuscript Project. However, similar formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials.

Topological And Categorical Properties Of Binary Trees, Homeira Pajoohesh

Publications and Research

Binary trees are very useful tools in computer science for estimating the running time of so-called comparison based algorithms, algorithms in which every action is ultimately based on a prior comparison between two elements. For two given algorithms A and B where the decision tree of A is more balanced than that of B, it is known that the average and worst case times of A will be better than those of B, i.e., ₸A(n) ≤₸B(n) and TWA (n)≤TWB (n). Thus the most balanced and the most imbalanced binary trees play a main role. Here we consider them as semilattices …

Anatomy Of An Arabetic Type Design, Saad D. Abulhab

Publications and Research

Arabetic type design, like type design in general, should not be limited by rigid rules, other than those advocating open choice and user options. But as with all design fields, highlighting certain principles and guidelines is crucial to realizing a successful project. In an Arabetic font design environment, such guidelines and principles should reveal deeper understanding of various scripts visual and behavioral defining characteristics rather than mere traditional calligraphic and handwriting norms. A main goal of this study is to emphasize that designing Arabetic fonts is much easier than it is portrayed, and designers of all backgrounds should be more …

Removing Long-Term Errors From The Avhrr Observation Based On Normalized Difference Vegetation Index (Ndvi), Md Zahidur Rahman, Leonid Roytman, Atiqur Rahman, Felix Kogan, Runa Jesmin

Publications and Research

This paper investigates Normalized Difference Vegetation Index (NDVI) stability in the NOAA/NESDIS Global Vegetation Index (GVI) data during 1982-2003. Advanced Very High Resolution Radiometer (AVHRR) weekly data for the five NOAA afternoon satellites for the China dataset is studied, for it includes a wide variety of different ecosystems represented globally. It was found that data for the years 1988, 1992, 1993, 1994, 1995 and 2000 are not stable enough compared to other years because of satellite orbit drift, and AVHRR sensor degradation. It is assumed that data from NOAA-7 (1982, 1983), NOAA-9 (1985, 1986), NOAA-11 (1989, 1990), NOAA-14 (1996, 1997), …

Formulas For The Fourier Series Of Orthogonal Polynomials In Terms Of Special Functions, Nataniel Greene

Publications and Research

An explicit formula for the Fourier coefficient of the Legendre polynomials can be found in the Bateman Manuscript Project. However, formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials. The methods described here apply in principle to a class of polynomials, including non-orthogonal polynomials.

Inverse Wavelet Reconstruction For Resolving The Gibbs Phenomenon, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.

Arkansas Wildlife Gets Report Card At Conference, Aldemaro Romero Jr.

Publications and Research

No abstract provided.

Iterated Aluthge Transforms: A Brief Survey, Jorge Antezana, Enrique R. Pujals, Demetrio Stojanoff

Publications and Research

Given an r × r complex matrix T, if T = U|T| is the polar decomposition of T, then the Aluthge transform is defined by

∆(T) = |T|^1/2U|T|^1/2.

Let ∆ⁿ(T) denote the n-times iterated Aluthge transform of T, i.e. ∆⁰(T) = T and ∆ⁿ(T) = ∆(∆ⁿ⁻¹(T)), n ∈ N. In this paper we make a brief survey on the known properties and applications of …

Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi Khatchadourian, Johan Dovland

Publications and Research

Aspect-oriented programming (AOP) has become increasingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses serious challenges. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven useful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.

An Update On Groundwater Conditions At The Site Of The York College Cuny Campus In Southeastern Queens County, New York City, Nazrul I. Khandaker, Stanley Schleifer, Zarine Ali, Edward A. Molteni

Publications and Research

The wells operated by the Jamaica Water Supply Company in Queens represent the only large scale utilization of groundwater for public water supply in New York City in recent years. These wells were shut down, for the most part, beginning in 1996. Since that time, water table elevations in the area, which had been drawn down by the withdrawal activity of the Jamaica Water Supply Company, have risen significantly causing some high groundwater problems, including flooding of basements. The New York City Department of Environmental Protection (NYCDEP) has held public hearings on a contemplated resumption of ground water withdrawal in …

Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian, Jason Sawin, Atanas Rountev

Publications and Research

Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …

1139-3159_Nir_Spex, Dagny L. Looper

Publications and Research

No abstract provided.

A Dynamic-Trend Exponential Smoothing Model, Don Miller, Dan Williams

Publications and Research

Forecasters often encounter situations in which the local pattern of a time series is not expected to persist over the forecasting horizon. Since exponential smoothing models emphasize recent behavior, their forecasts may not be appropriate over longer horizons. In this paper, we develop a new model in which the local trend line projected by exponential smoothing converges asymptotically to an assumed future long-run trend line, which might be an extension of a historical long-run trend line. The rapidity of convergence is governed by a parameter. A familiar example is an economic series exhibiting persistent long-run trend with cyclic variation. This …

Automated Refactoring Of Legacy Java Software To Enumerated Types, Raffi Khatchadourian, Jason Sawin, Atanas Rountev

Publications and Research

Modern Java languages introduce several new features that offer significant improvements over older Java technology. In this article we consider the new enum construct, which provides language support for enumerated types. Prior to recent Java languages, programmers needed to employ various patterns (e.g., the weak enum pattern) to compensate for the absence of enumerated types in Java. Unfortunately, these compensation patterns lack several highly-desirable properties of the enum construct, most notably, type safety. We present a novel fully-automated approach for transforming legacy Java code to use the new enumeration construct. This semantics-preserving approach increases type safety, produces code that is …

Rely-Guarantee Approach To Reasoning About Aspect-Oriented Programs, Raffi Khatchadourian, Neelam Soundarajan

Publications and Research

Over the last few years, the question of reasoning about aspect-oriented programs has been addressed by a number of authors. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven extremely successful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.

The Impact Of Receiver Aperture Design And Telescope Properties On Lidar Signal-To-Noise Ratio Improvements, Yasser Hassebo, Khaled El Sayed

Publications and Research

Range and sensitivities of lidar measurements in daylight are limited by sky background noise power (BGP). This is particularly important for Raman lidar techniques where the Raman backscattered signal is relatively weak. This often restricts Raman lidar measurements to nighttime where BGP is absent. The background noise elimination is particularly important in daytime measurements in case where full overlap between laser beam and receiver telescope field-of-view (FOV) is necessary. Results of numerical simulations for a vertically pointing Lidar show that significant improvements in Lidar signal to noise ratio (SNR) can be obtained, by minimizing the detected sky BGP. This can …

Scientists Are Urged To Look For Extraterrestrial Life Forms, Aldemaro Romero Jr., David Gilmore

Publications and Research

No abstract provided.

Removing Long-Term Errors From The Avhrr–Based Brightness Temperature (Bt), Md Zahidur Rahman, Leonid Roytman, Felix Kogan

Publications and Research

Empirical distribution functions were applied for removing long-term errors from BT data derived from AVHRR sensor on NOAA environmental satellites. This paper investigates BT stability in the NOAA/NESDIS Global Vegetation Index (GVI) data set during 1982-2003. This period includes five NOAA satellites. Degradation of BT over time for each satellite was estimated for geographical location in China. The method of matching empirical distribution function (EDF) improves the time relative stability of BT data for all satellites, especially NOAA-9, -11 and -14.

On Groups Of Homological Dimension One, Jonathan Cornick

Publications and Research

It has been conjectured that the groups of homological dimension one are precisely the nontrivial locally free groups. Some algebraic, geometric and analytic properties of any potential counter example to the conjecture are discussed.

Towards The Computation Of The Convex Hull Of A Configuration From Its Corresponding Separating Matrix, Elie Feder, David Garber

Publications and Research

In this paper we cope with the following problem compute the size of the convex hull of a configuration C where the given data is the number of separating lines between any two points of the configuration (where the lines are generated by pairs of other points of the configuration)

We give an algorithm for the case that the convex hull is of size 3 and a partial algorithm and some directions for the case that the convex hull is of size bigger than 3.

Fundamental Frequency Of Clamped Plates With Circularly Periodic Boundaries, Huseyin Yuce, Chang Y. Wang

Publications and Research

A boundary perturbation method is developed to determine the fundamental frequency of vibrating plates. The method is then applied to wavy, star shape and polygonal plates with clamped boundary conditions. Approximate analytical solutions of the fundamental frequency are obtained with an accuracy of O(e^4), where e is the deviation from the unit circle.

Hierarchical Linear Modeling In Organizational Research: Longitudinal Data Outside The Context Of Growth Modeling, Irvin Sam Schonfeld, David Rindskopf

Publications and Research

Organizational researchers, including those carrying out occupational stress research, often conduct longitudinal studies. Hierarchical linear modeling (HLM; also known as multilevel modeling and random regression) can efficiently organize analyses of longitudinal data by including within- and between-person levels of analysis. A great deal of longitudinal research has been conducted in the context of growth studies in which change in the dependent variable is examined in relation to the passage of time. HLM can treat longitudinal data, including data outside the context of the growth study, as nested data, reducing the problem of censoring. Within-person equation coefficients can represent the impact …