Making Theorem-Proving in Modal Logic Easy

A system for the modal logic K furnishes a simple mechanical process for proving theorems

Spatio-Temporal Analogies

An assessment of the similarities and differences between space and time has played an important part in the development of the views of a number of philosophers about time. Examples of statements about time are compared with allegedly corresponding statements about space to give us analogies and disanalogies according to whether the statements have the same or different truth values. But what are the general principles on which such comparisons are based? In particular, according to what criteria are corresponding sentences paired off? Are there any such general criteria? And if so, do they already presuppose a substantial commitment to one or other of the points of view at issue where analogies and disanalogies are discussed? This paper is concerned with two specific proposals for criteria of correspondence, one due to Richard Gale (1968, 1969) and James Garson (1969), which is rejected, and the other tentatively advanced in its place

The First Quarter Century of European Printing

The University of Pennsylvania Libraries A.S.W. Rosenbach Lectures in Bibliography for 2013: Monday, March 18, 2013: The 1450s: Bookmaking Inventions. Total time: 1:29:39. Welcome: David N. McKnight (00:01); Introduction: William Noel (05:12); Lecture: Paul Needham (07:00). March 19, 2013: The 1460s: Slow Diaspora. Total time: 01:35:48. Introduction: David N. McKnight (00:01); Lecture: Paul Needham (07:50); Question and Answer (01:25:00). March 21, 2013: 1470-1475: The Sowing of Printing Shops. Total time: 01:24:53. Introduction: David N. McKnight (00:01); Lecture: Paul Needham (01:52); Question and Answer (01:09:55). Since 1998, Paul Needham has served as the Curator of the Scheide Collection at the Princeton University Library, before which he worked at Sotheby\u27s and the Pierpont Morgan Library. He is on faculty at the University of Virginia\u27s Rare Book School. Widely acknowledged as the leading expert on Johannes Gutenberg and the early history of printing, Dr. Needham has written or contributed to more than 90 publications. To download a podcast of each lecture, choose one of the additional files below. To view the event announcement, select the Download button at upper right

Groundwater Conservation Policy in Agriculture

Transboundary water conflicts between urban and rural populations often center on water use in the agricultural sector. Public officials may select a water conservation policy as the primary tool for reducing agricultural water use with the goal to improve water availability to urban areas and future generations. The Groundwater Management Act of 1980 (GMA) in Arizona was designed, in part, to induce water conservation in irrigated agriculture to sustain economic growth in an arid climate. Our mixed-method evaluation design merges qualitative, interview-based information with an estimated water demand function using panel data. We find that the GMA began with a flawed design and evolved through political circumstances into a ineffective water conservation tool. We explain nearly all water use in Arizona's agricultural sector from 1984-2002 using prices and weather data. We found no statistical evidence that the management plans of the GMA directly contributed to reduced water demand in Arizona's agricultural sector over the study period.Impact assessment, public policy, irrigation, water conservation, Resource /Energy Economics and Policy,

PIRUS2: Creating a Common Standard for Measuring Online Usage of Individual Articles

This presentation will provide an overview of the PIRUS2 project and will cover the project's background, its main objectives, the planned deliverables, and the benefits to the main stakeholder groups involved in scholarly information, including repositories. A progress report on the project will also be provided

PIRUS2: Creating a Common Standard for Measuring Online Usage of Individual Articles

This presentation will provide an overview of the PIRUS2 project and will cover the project's background, its main objectives, the planned deliverables, and the benefits to the main stakeholder groups involved in scholarly information, including repositories. A progress report on the project will also be provided

Using a Class-Wide, Semester-Long Project to Teach Software Engineering Principles

A senior-level, project-based Software Engineeringcourse taught at the University of Central Arkansas serves asthe capstone course for the Computer Science Program andintroduces students to the theory, tools, and techniques used tobuild large-scale software systems in a project-driven setting.Foundational to the course is the use of a class-wide, semesterlongcourse project to emphasize the theoretical aspects of thesoftware process and the system used for scoring studentperformance on the project. One project is selected for theentire class with students divided into teams of four to sixstudents to support different functional requirement areas. Amilestone-driven approach is used following a modifiedversion of the Unified Process for project development.Student scores on the project are divided into a group score,assignable via a rubric-like grade sheet, and an individualscore which is determined by the individual’s effort asassigned using the task-management tool, Issue-Tracker.Experiences gained and lessons learned in teaching the courseare provided as a guide for those wishing to follow a similarapproach to teaching Software Engineering in the future

A Galileo Forgery. Unmasking the New York Sidereus Nuncius

In this work, historians in various fields revise the results presented in the first two volumes of the series, which analyzed the New York copy of Sidereus Nuncius. While many of their findings remain valid, the subject of analysis proved to be a forgery. Volume III describes how the discovery of forgery was made - a watershed moment in the continuing struggle between forgers and those who seek to apprehend them