A simple sequent calculus for nominal logic

Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values considered so far). Previous attempts have been made to develop convenient rules for reasoning with the new-quantifier, but we argue that none of these attempts is completely satisfactory. In this article we develop a new sequent calculus for nominal logic in which the rules for the new- quantifier are much simpler than in previous attempts. We also prove several structural and metatheoretic properties, including cut-elimination, consistency, and equivalence to Pitts' axiomatization of nominal logic

A geographical analysis of Stoneham, Massachusetts.

Thesis (M.A.)--Boston Universit

Satellite altimetry

Since altimetry data are not really old enough to use the term data archaeology, Mr. Cheney referred to the stewardship of these data. He noted that it is very important to document the basis for an altimetry data set as the algorithms and corrections used to arrive at the Geophysical Data Record (GDR) have been improving and are continuing to improve the precision of sea level data derived from altimetry. He noted that the GEOSAT Exact Repeat Mission (ERM) data set has recently been reprocessed by his organization in the National Ocean Service of NOAA and made available to the scientific community on CD/ROM disks by the National Oceanographic Data Center of the U.S. (NODC). The new data set contains a satellite orbit more precise by an order of magnitude together with an improved water vapor correction. A new, comprehensive GDR Handbook has also been prepared

Alternative data and its use in credit scoring thin-and no-file consumers

On November 27, 2007, the Payment Cards Center of the Federal Reserve Bank of Philadelphia invited Jennifer Tescher, director, and Arjan Schütte, associate director, of the Center for Financial Services Innovation, to present a workshop. The Center asked Tescher and Schütte to share CFSI’s research on the developing role played by alternative payment data in evaluating risk for consumers with thin- and no-credit histories. After a discussion of thin- and no-file consumers and the challenges they face accessing credit, the speakers addressed aspects of supply and demand that are influencing the development of the market for alternative data. Several additional factors acting on this market were also examined: the costs and complexity of changes to IT infrastructure, legal and regulatory hurdles, and the broader economic impacts of extending the market for consumer credit.Credit scoring systems

Prepaid card models: a study in diversity

Summary: On January 13, 2005, the Payment Cards Center of the Federal Reserve Bank of Philadelphia sponsored a workshop led by Gary Palmer, chief operating officer and co-founder of WildCard Systems, to examine the developing market for prepaid card products. Palmer described several distinct types of prepaid card value propositions, each with its own set of operational needs and customer servicing requirements. In addition, Palmer described new roles that exist in prepaid card programs that are not present in traditional credit and debit card programs. He emphasized that the variety of these programs’ requirements and the breadth of third party participants create complexities not only in the servicing of these accounts but also in the economics of these programs and the regulation of this payments category.Stored-value cards

The role of electronic payments in disaster recovery: providing more than convenience

On May 3-4, 2006, the Payment Cards Center hosted a two-day conference titled “The Role of Electronic Payments in Disaster Recovery: Providing More Than Convenience.” The event brought together participants from a range of groups, including financial institutions and other financial service providers; federal and state government and national relief agencies; and the bank regulatory community. Participants examined the lessons learned from Hurricane Katrina and considered how these experiences may be useful in identifying opportunities to further strengthen the financial system’s response to future catastrophic events.Disaster relief

Identity theft: a pernicious and costly fraud

On October 3, 2003, the Payment Cards Center of the Federal Reserve Bank of Philadelphia sponsored a workshop on identity theft to examine its growing impact on participants in our payments system. Avivah Litan, vice president and research director of financial services for Gartner Inc., led the workshop. The discussion began and this paper follows with a broad study of identity theft, at times compared with traditional payment fraud, and continues with an evaluation of its overall risk to consumers, merchants, and credit providers. The paper compares the incentives each such party has to address identity theft in concert with current market response to the crime. Finally, the paper concludes by posing several questions for further study. This paper supplements material from Litan’s presentation with additional research on the crime of identity theft.Fraud ; Identity theft