Sisyphean Task or the Holy Grail? Satisfying Demands of Higher Education through Community-Driven Open Source Projects

What elements are essential to successful community-driven open source projects? How much governance and overhead is required to develop and sustain an open source project? What are the factors that enhance or limit the pace of development, the growth in the development community, community adoption and longevity? Many open source projects don't start out worrying about sustainability or longevity, but successful projects often require considerable effort to succeed over time. This presentation and panel discussion will explore the use of community-driven open source projects to achieve the needs in higher education and review some of the many factors that may influence viability for community-driven open source projects. Specific projects will be discussed, along with a description of incubation strategies, governance approaches, growth challenges, ongoing support models, sustaining vibrant developer communities and lessons learned

Meeting Funders’ Data Policies: Blueprint for a Research Data Management Service Group (RDMSG)

This report summarizes the elements that we expect to be required in data management plans, describes Cornell’s current capabilities and needs in meeting such requirements, and proposes a structure for a virtual organization that builds on the collaboration between the DRSG, CAC, CUL and CISER. The proposed organization also includes Cornell Information Technologies (CIT) and Weill Cornell Medical College Information Technologies and Services (WCMC-ITS) to further develop and provide this support

Il meticciato nell'Italia contemporanea. Storia, memorie e cultura di massa.

L'idea diffusa degli "italiani brava gente" e della diversit\ue0 della nostra storia rispetto alla storia USA, segnata da razzismo istituzionale, si fonda sul silenziamento del passato coloniale e razzista italiano. Il ripudio della categoria di razza da parte dell'Italia repubblicana e la smentita scientifica dell'esistenza biologica della categoria non hanno cancellato la presenza della razza, formazione storico-culturale che paradossalmente esiste e non esiste. Priva di referenti oggettivi nella realt\ue0, la razza produce in essa effetti significativi, opera sia come categoria sociale e strumento di esclusione, sia come costruzione simbolica e istanza identitaria. A fronte del silenziamento del meticciato storico nell'uso pubblico della storia e nella memoria nazionali del secondo dopoguerra, il saggio sottolinea la presenza diffusa del meticciato nei prodotti della cultura di massa italiani contemporanei e ne indaga i significati con gli strumenti degli studi critici sulla razza e in prospettiva comparata tra Italia e Stati Uniti

So, What Does a Chief Technology Strategist Actually Do?

The Chief Technology Strategist helps the Library manage the disruptive transition to digital tools and resources. In this presentation Dean Krafft speaks of the challenges facing the Cornell Library and on some of the projects that he is working on that relate to these challenges.1_gdxlodt

AVID: A system for the Interactive Development of Verifiably Correct Programs

The AVID system is designed to Aid Verification through the techniques of Interactive program Development. AVID continues the work in programming logics begun at Cornell University in 1975. It provides a syntax-directed editing environment for the development by stepwise refinement of programs and proofs in the PL/CV2 programming logic. AVID is another step in the continuing effort to provide methods and software tools for developing correct programs. AVID contains a number of important contributions to the area of program/proof development. To allow the full power of the AVID verification facilities to be applied to programs developed by stepwise refinement, we created a new program construct, called an ATTAIN block, that formalizes the concept of a refinement level. This construct allows the independent verification of different refinement levels, and thus of partially developed programs. Using this construct, AVID can guarantee that the refinement in a top-down development actually implements its high-level specification. AVID is the first system to support the interactive display of logical dependency in proofs. We have developed a new algorithm, built on the congruence closure method for deciding the theory of equality, that efficiently determines logical dependency within this theory. This algorithm is independent of the AVID system, and has potential applications wherever the congruence closure method is used. AVID also contains some significant contributions to the area of syntax-directed editor design. AVID makes use of a standard, powerful, and widely available screen-oriented editor as its user interface. The system design gives a strategy for the incorporation of other powerful editors into syntax-directed development systems. AVID is also the first system to make extensive use of derived nonterminals to avoid redundant specification and to guide the user in developing his proof. Perhaps AVID's most important contribution is its demonstration of the feasibility of a system to support and enforce the development by stepwise refinement of provably correct programs. For programs that must be correct, this approach may be one of the most promising. One final contribution of the AVID project is the system itself as a base for future research. The modular design of the AVID system and its facilities for the high-level description of AVID language constructs make the system easy to modify and to build on. There are already several projects planning to use AVID in this fashion. AVID has been implemented on a DEC VAX 11/780 under the Berkeley UNIX operating system. The current version of the system, which supports the development and verification of the predicate calculus portion of PL/CV2, consists of approximately 20,000 lines of C language source code. When running on the VAX, the current system requires 230K bytes of memory. A version of the system suitable for distribution is expected to be available by January 1982

Linked Data for Libraries (LD4L): Expanding the Linked Data Ecosystem

<div>The Linked Data for Libraries (LD4L) team, consisting of librarians, ontologists, metadata experts, and developers from Cornell, Harvard, and Stanford libraries with support from the Andrew W. Mellon Foundation, has recently completed its first two years of work on adapting and developing LOD standards for describing and sharing information about scholarly information resources. In this presentation, we will describe how to access and use the LOD created by the project, representing some 29 million scholarly information resources cataloged by the three partner institutions. We will also describe the demonstration Blacklight search operating over the combined dataset.</div><div>We will then describe the follow-on work currently underway in two closely related efforts. LD4L Labs is a partnership of Cornell, Harvard, Iowa, and Stanford focused on creating tools to support original cataloging of scholarly information resources using linked data, as well as tools to support using linked data to organize, annotate, visualize, browse, and discover these resources. The LD4P (Linked Data for metadata Production) project is a partnership of Stanford, Columbia, Cornell, Princeton, Harvard, and the Library of Congress to do original and copy cataloging of a wide range of collections and materials, including unique collections of Hip-Hop LPs, performed music, cartographic materials, audiovisual and sound recordings, two and three-dimensional art objects, and the personal library of a famous author and scholar.</div><div>Finally, we will draw on the use cases and examples embodied in this work to discuss some of the opportunities to engage directly with VIVO profiles, the VIVO community, and the broader researcher profiling ecosystem. Several of the efforts within LD4L Labs and LD4P will be looking at using VIVO profiles as local authorities during the process of cataloging scholarly resources. There are also potential opportunities for VIVO instances to take advantage of some of the ontology refinements that LD4L uses in describing scholarly works. We will explore some of the implications that these developments might have for how VIVO is used and evolves at academic institutions.</div><div><br></div