http://ecommons.library.cornell.edu:80 The eCommons digital repository system captures, stores, indexes, preserves, and distributes digital research material. Wed, 19 Jun 2013 00:15:18 GMT 2013-06-19T00:15:18Z http://hdl.handle.net/1813/33387 Title: Conservation Treatment Job # 12742 Authors: White, Andrew Dickson, 1832-1918, collector. Abstract: Kroch Library Rare & Manuscripts (Non-Circulating) Archives 8420 Description: Conservation Treatment Job # 12742 Tue, 18 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33387 2013-06-18T00:00:00Z http://hdl.handle.net/1813/33386 Title: Arabidopsis Salicylic Acid-Binding Metalloendopeptidases TOP1 and TOP2 Regulate H2O2 Accumulation and Programmed Cell Death during the Immune Response against the Bacterial Pathogen Pseudomonas syringae Authors: Zampogna, Giulio Abstract: Salicylic acid is a phytohormone indispensable for plant immunity. Interactions between hosts and pathogens create selective pressures—a cycle whereby hosts evolve novel defenses and alarm systems while their pathogen counterparts evolve enhanced weaponry and stealth tactics. Not uncommonly, plants lose the war against pathogens and succumb to disease. If a plant does survive a pathogen attack, it may be left with battle scars that reduce vegetative growth and fruit yield and quality. Without question, human survival depends on the abilities of plants to defend themselves against and survive pathogen onslaughts. With an increased understanding of plant immunity, humans will gain the ability to modulate and augment plant defenses to minimize disease and yield losses. Arabidopsis thaliana thimet oligopeptidase (TOP) family TOP1 and TOP2 metalloendopeptidases bind salicylic acid and may, therefore, play critical roles in plant immunity. Our research demonstrates that TOP1 and TOP2 regulate hydrogen peroxide accumulation, programmed cell death intensity, and possibly chloroplast integrity during the hypersensitive response following infection by the hemibiotrophic bacterial pathogen Pseudomonas syringae. We hypothesize that TOP1 and TOP2 are central hubs in reactive oxygen species production and redox regulation, and, as such, may influence physiological responses during both abiotic and biotic stresses. Tue, 18 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33386 2013-06-18T00:00:00Z http://hdl.handle.net/1813/33385 Title: Interview with Dr. John W. Mellow Authors: Dr. Mellow, John W.; Colle, Royal D. Abstract: John Mellor was a key figure in the emergence of Cornell University's formal international programs in the 1960s. In this interview, Mellor discusses the people and the organizations that played major roles in the establishment of the Center for International Studies and the International Agriculture Program. Among the names he mentions are Professors F.S. Hill, William Meyers, Glenn Hedlund, Richard Bradfield, and Stanley Warren. All of these appear in Cornell's Memorial Statements (http://ecommons.library.cornell.edu/handle/1813/17839). Mellor especially credits "Frosty" Hill for his influence on Cornell's international programs and on Mellor's own entry into international affairs. Mellor also recognizes and discusses the importance of the Cornell-Nanking project in the 1930s as a significant piece of Cornell's international history. (See: http://ecommons.library.cornell.edu/handle/1813/29080.) Mellor earned his PhD degree at Cornell and was a member of the Agricultural Economics faculty from 1952-1977. His international interests and activities have drawn him to agricultural development consultancies in a variety of countries including Afghanistan, Rwanda, Ethiopia and Guatemala. At the time of this interview in his Washington penthouse on Pennsylvania Avenue, Dr. Mellor, as president of John W. Mellor Associates, was preparing for a trip to Ethiopia to advise senior government officials there on its planning for agricultural development in the country. Thu, 30 May 2013 00:00:00 GMT http://hdl.handle.net/1813/33385 2013-05-30T00:00:00Z http://hdl.handle.net/1813/33384 Title: Effect of guanine nucleotide exchange factor inhibitors on pUL34 localization in cells infected with herpes simplex virus type-1 Authors: Dudis, R. Scott; Baines, Joel D. Tue, 01 Jan 2013 00:00:00 GMT http://hdl.handle.net/1813/33384 2013-01-01T00:00:00Z http://hdl.handle.net/1813/33383 Title: Conservation Treatment Job # 12741 Abstract: Kroch Library Rare & Manuscripts (Non-Circulating) Rare Books PZ6 .C31 tiny Description: Conservation Treatment Job # 12741 Fri, 14 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33383 2013-06-14T00:00:00Z http://hdl.handle.net/1813/33382 Title: Conservation Treatment Job # 12740 Abstract: Kroch Library Rare & Manuscripts (Non-Circulating) Archives 6767m Description: Conservation Treatment Job # 12740 Fri, 14 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33382 2013-06-14T00:00:00Z http://hdl.handle.net/1813/33381 Title: Conservation Treatment Job # 12739 Abstract: Kroch Library Rare & Manuscripts (Non-Circulating) Archives 8425 Description: Conservation Treatment Job # 12739 Fri, 14 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33381 2013-06-14T00:00:00Z http://hdl.handle.net/1813/33380 Title: Strong Completeness for Markovian Logics Authors: Kozen, Dexter; Mardare, Radu; Panangaden, Prakash Abstract: In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a logic defined for arbitrary distributions.These logics are not compact so one needs infinitary rules in order to obtain strong completeness results. We propose a new infinitary rule that replaces the so-called Countable Additivity Rule (CAR) currently used in the literature to address the problem of proving strong completeness for these and similar logics. Unlike the CAR, our rule has a countable set of instances; consequently it allows us to apply the Rasiowa-Sikorski lemma for establishing strong completeness. Our proof method is novel and it can be used for other logics as well. Fri, 14 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33380 2013-06-14T00:00:00Z http://hdl.handle.net/1813/33379 Title: Scalable Network Management with Merlin Authors: Soulé, Robert; Basu, Shrutarshi; Sirer, Emin Gün; Foster, Nate Abstract: This paper presents the Merlin network management framework. With Merlin, network administrators express functionality such as accounting, bandwidth provisioning, and traffic filtering in a high-level policy language, and use automated tools and mechanisms to implement them. The framework includes: (i) a declarative language for specifying policies, (ii) infrastructure for distributing, refining, and coordinating enforcement of policies, and (iii) a run-time monitor that inspects incoming and outgoing traffic on end hosts. We describe Merlin's policy language and enforcement infrastructure, illustrate the use of Merlin on case studies, and present experimental results demonstrating that Merlin is more efficient and scalable than equivalent implementations based on programmable switches and centralized middleboxes. Overall, Merlin simplifies the task of network administration by providing high-level abstractions and tools for specifying and enforcing rich network policies. Thu, 13 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33379 2013-06-13T00:00:00Z http://hdl.handle.net/1813/33378 Title: A Conversation with Judith V. Reppy Authors: Reppy, Judith V.; Evangelista, Matthew A. (Interviewer) Abstract: This video is a contribution to the CAPE oral history project. Mon, 03 Jun 2013 00:00:00 GMT http://hdl.handle.net/1813/33378 2013-06-03T00:00:00Z