Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

City University of New York (CUNY)

2008

Discipline
Keyword
Publication
Publication Type

Articles 1 - 30 of 39

Full-Text Articles in Physical Sciences and Mathematics

An Analysis Of Entries In The First Tac Market Design Competition, Jinzhong Niu, Kai Cai, Peter Mcburney, Simon Parsons Dec 2008

An Analysis Of Entries In The First Tac Market Design Competition, Jinzhong Niu, Kai Cai, Peter Mcburney, Simon Parsons

Publications and Research

This paper presents an analysis of entries in the first TAC Market Design Competition final that compares the entries across several scenarios. The analysis complements previous work analyzing the 2007 competition, demonstrating some vulnerabilities of entries that placed highly in the competition. The paper also suggests a simple strategy that would have performed well.

Go to article

On The Assessment Of Pointcut Design In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Phil Greenwood, Awais Rashid Oct 2008

On The Assessment Of Pointcut Design In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Phil Greenwood, Awais Rashid

Publications and Research

No abstract provided.

Go to article

Rejuvenate Pointcut: A Tool For Pointcut Expression Recovery In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Awais Rashid Sep 2008

Rejuvenate Pointcut: A Tool For Pointcut Expression Recovery In Evolving Aspect-Oriented Software, Raffi T. Khatchadourian, Awais Rashid

Publications and Research

Aspect-oriented programming (AOP) strives to localize the scattered and tangled implementations of crosscutting concerns (CCCs) by allowing developers to declare that certain actions (advice) should be taken at specific points (join points) during the execution of software where a CCC (an aspect) is applicable. However, it is non-trivial to construct optimal pointcut expressions (a collection of join points) that capture the true intentions of the programmer and, upon evolution, maintain these intentions. We demonstrate an AspectJ source-level inferencing tool called rejuvenate pointcut which helps developers maintain pointcut expressions over the lifetime of a software product. A key insight into the …

Go to article

The Contribution Of Advective Fluxes To Net Ecosystem Exchange In A High-Elevation, Subalpine Forest, Chuixiang Yi, Dean E. Anderson, Andrew A. Turnipseed, Sean P. Burns, Jed P. Sparks, David I. Stannard, Russell K. Monson Sep 2008

The Contribution Of Advective Fluxes To Net Ecosystem Exchange In A High-Elevation, Subalpine Forest, Chuixiang Yi, Dean E. Anderson, Andrew A. Turnipseed, Sean P. Burns, Jed P. Sparks, David I. Stannard, Russell K. Monson

Publications and Research

The eddy covariance technique, which is used in the determination of net ecosystem CO2 exchange (NEE), is subject to significant errors when advection that carries CO2 in the mean flow is ignored. We measured horizontal and vertical advective CO2 fluxes at the Niwot Ridge AmeriFlux site (Colorado, USA) using a measurement approach consisting of multiple towers. We observed relatively high rates of both horizontal (Fhadv) and vertical (Fvadv) advective fluxes at low surface friction velocities (u*) which were associated with downslope katabatic flows. We observed that Fhadv was confined to …

Go to article

Keeping Abreast Of Quantum News: Quantum Computing On The Web And In The Literature, Jill Cirasella Aug 2008

Keeping Abreast Of Quantum News: Quantum Computing On The Web And In The Literature, Jill Cirasella

Publications and Research

This appendix describes tools that can help you track developments in quantum computing.

Go to article

Historical Bibliography Of Quantum Computing, Jill Cirasella Aug 2008

Historical Bibliography Of Quantum Computing, Jill Cirasella

Publications and Research

This bibliographic essay reviews seminal papers in quantum computing. Although quantum computing is a young science, its researchers have already published thousands of noteworthy articles, far too many to list here. Therefore, this appendix is not a comprehensive chronicle of the emergence and evolution of the field but rather a guided tour of some of the papers that spurred, formalized, and furthered its study.

Go to article

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

Pointcut Rejuvenation: Recovering Pointcut Expressions In Evolving Aspect-Oriented Software, Raffi T. 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 …

Go to article

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 May 2008

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 …

Go to article

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

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.

Go to article

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 May 2008

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.

Go to article

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

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 …

Go to article

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

Enforcing Behavioral Constraints In Evolving Aspect-Oriented Programs, Raffi T. 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 …

Go to article

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

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.

Go to article

An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene Mar 2008

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.

Go to article

Fourier Series Of Orthogonal Polynomials, Nataniel Greene Feb 2008

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.

Go to article

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 Jan 2008

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), …

Go to article

Tr-2008001: Public And Private Communication Are Different: Results On Relative Expressivity, Bryan Renne Jan 2008

Tr-2008001: Public And Private Communication Are Different: Results On Relative Expressivity, Bryan Renne

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008004: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan Jan 2008

Tr-2008004: Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008006: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan Jan 2008

Tr-2008006: Additive Preconditioning, Eigenspaces, And The Inverse Iteration, Victor Y. Pan, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008012: Product-Free Lambek Calculus Is Np-Complete, Yury Savateev Jan 2008

Tr-2008012: Product-Free Lambek Calculus Is Np-Complete, Yury Savateev

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008010: The Logic Of Justification, Sergei Artemov Jan 2008

Tr-2008010: The Logic Of Justification, Sergei Artemov

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008011: Contrast Transfer Function Correction In Electron Microscopy, Joanna Klukowska Jan 2008

Tr-2008011: Contrast Transfer Function Correction In Electron Microscopy, Joanna Klukowska

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008013: Content-Based 3d Mosaics For Large-Scale Dynamic Urban Scenes, Hao Tang, Zhigang Zhu Jan 2008

Tr-2008013: Content-Based 3d Mosaics For Large-Scale Dynamic Urban Scenes, Hao Tang, Zhigang Zhu

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008014: Why Do We Need Justification Logic?, Sergei Artemov Jan 2008

Tr-2008014: Why Do We Need Justification Logic?, Sergei Artemov

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008015: An Efficient Heuristic For The Tree Alignment Problem, Andrés Varón, Ward Wheeler, Amotz Bar-Noy Jan 2008

Tr-2008015: An Efficient Heuristic For The Tree Alignment Problem, Andrés Varón, Ward Wheeler, Amotz Bar-Noy

Computer Science Technical Reports

No abstract provided.

Go to article

Anatomy Of An Arabetic Type Design, Saad D. Abulhab Jan 2008

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 …

Go to article

Tr-2008002: On Image Reconstruction From A Small Number Of Projections, G. T. Herman, R. Davidi Jan 2008

Tr-2008002: On Image Reconstruction From A Small Number Of Projections, G. T. Herman, R. Davidi

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008003: Unified Nearly Optimal Algorithms For Structured Integer Matrices And Polynomials, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt Jan 2008

Tr-2008003: Unified Nearly Optimal Algorithms For Structured Integer Matrices And Polynomials, Victor Y. Pan, Brian Murphy, Rhys E. Rosholt

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008005: Weakly Random Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan Jan 2008

Tr-2008005: Weakly Random Additive Preconditioning For Matrix Computations, Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan

Computer Science Technical Reports

No abstract provided.

Go to article

Tr-2008007: Degeneration Of Structured Integer Matrices Modulo An Integer, Victor Y. Pan, Xinmao Wang Jan 2008

Tr-2008007: Degeneration Of Structured Integer Matrices Modulo An Integer, Victor Y. Pan, Xinmao Wang

Computer Science Technical Reports

No abstract provided.

Go to article

Next Last