The University and its libraries: Reactions and resistance to scientific publishers

This paper addresses the relationship of copyright and the right of universities on scientific production. Information and Communication Technologies (ICTs) are causing many changes in the system of scientific communication, such as the creation of Institutional Repositories that aim to gather scientific production in digital format. The University needs quicker ways of spreading academic production and many questions are emerging due to contexts such as the Open Access movement. Thus, this paper questions the positioning of Universities, especially Public Universities, which despite having policies related to intellectual property to protect the transferring forms of research results to society; many times do not have a positioning or a mechanism that regulates the self-deposit of scientific production in these Institutional Repositories. In order to develop this paper, the following issues are addressed: lack of interest of the University in storing scientific production; reports on the relationship of the library with scientific publishing houses; the participation of faculty members and students in supporting the Free Access movement; and initiatives aimed at greater flexibility of copyright to the context of scientific production. In order to follow the development of these issues at international level, it was opted for qualitative research with non-participating direct observation to carry out the identification and description of copyright policy of important publishers from the ROMEO SHERPA site; therefore, it can be observed that there are changes regarding the publishers' flexibility before self-archiving of authors in open access institutional repositories in their universities. Given this scenario, we presente reflections and considerations that involve the progress and mainly the integration of the University and its faculty members; the institution should recommend and guide its faculty members not to transfer their copyrights, but to defend their right of copy to Institutional Repositories along with Publishing Houses.

The University and its libraries: reactions and resistance to scientific publishers

This paper addresses the relationship of copyright and the right of universities on scientific production. Information and Communication Technologies (ICTs) are causing many changes in the system of scientific communication, such as the creation of Institutional Repositories that aim to gather scientific production in digital format. The University needs quicker ways of spreading academic production and many questions are emerging due to contexts such as the Open Access movement. Thus, this paper questions the positioning of Universities, especially Public Universities, which despite having policies related to intellectual property to protect the transferring forms of research results to society; many times do not have a positioning or a mechanism that regulates the self-deposit of scientific production in these Institutional Repositories. In order to develop this paper, the following issues are addressed: lack of interest of the University in storing scientific production; reports on the relationship of the library with scientific publishing houses; the participation of faculty members and students in supporting the Free Access movement; and initiatives aimed at greater flexibility of copyright to the context of scientific production. In order to follow the development of these issues at international level, it was opted for qualitative research with non-participating direct observation to carry out the identification and description of copyright policy of important publishers from the ROMEO SHERPA site; therefore, it can be observed that there are changes regarding the publishers' flexibility before self-archiving of authors in open access institutional repositories in their universities. Given this scenario, we presente reflections and considerations that involve the progress and mainly the integration of the University and its faculty members; the institution should recommend and guide its faculty members not to transfer their copyrights, but to defend their right of copy to Institutional Repositories along with Publishing Houses.

Comparative clinical sample preparation of DNA and RNA viral nucleic acids for a commercial deep sequencing system (Illumina MiSeq (R))

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The Houston Academy of Medicine--Texas Medical Center Library management information system.

A management information system (MIS) provides a means for collecting, reporting, and analyzing data from all segments of an organization. Such systems are common in business but rare in libraries. The Houston Academy of Medicine-Texas Medical Center Library developed an MIS that operates on a system of networked IBM PCs and Paradox, a commercial database software package. The data collected in the system include monthly reports, client profile information, and data collected at the time of service requests. The MIS assists with enforcement of library policies, ensures that correct information is recorded, and provides reports for library managers. It also can be used to help answer a variety of ad hoc questions. Future plans call for the development of an MIS that could be adapted to other libraries' needs, and a decision-support interface that would facilitate access to the data contained in the MIS databases.

Museum libraries : how digitization can enhance the value of the museum

Es responsabilidad de la biblioteca de museo mejorar la comprensión de la colección del museo y el rol de los objetos de museo como documentos culturales. Por muchas razones, este rol solo se cumple parcialmente, si es que se cumple. Esto es debido a que en la práctica la biblioteca y el museo no están suficientemente integrados para actuar juntos de manera efectiva. Argumentamos que en un mundo digital, la biblioteca y el museo pueden y deben ser reintegrados en un único sistema de información cultural. Sin embargo, dado que en la práctica la digitalización de la biblioteca y del museo siguen diferentes caminos, los museos y sus bibliotecas tienen que cambiar su pensamiento acerca de cómo proceder

Museum libraries : how digitization can enhance the value of the museum

Es responsabilidad de la biblioteca de museo mejorar la comprensión de la colección del museo y el rol de los objetos de museo como documentos culturales. Por muchas razones, este rol solo se cumple parcialmente, si es que se cumple. Esto es debido a que en la práctica la biblioteca y el museo no están suficientemente integrados para actuar juntos de manera efectiva. Argumentamos que en un mundo digital, la biblioteca y el museo pueden y deben ser reintegrados en un único sistema de información cultural. Sin embargo, dado que en la práctica la digitalización de la biblioteca y del museo siguen diferentes caminos, los museos y sus bibliotecas tienen que cambiar su pensamiento acerca de cómo proceder

Museum libraries : how digitization can enhance the value of the museum

Es responsabilidad de la biblioteca de museo mejorar la comprensión de la colección del museo y el rol de los objetos de museo como documentos culturales. Por muchas razones, este rol solo se cumple parcialmente, si es que se cumple. Esto es debido a que en la práctica la biblioteca y el museo no están suficientemente integrados para actuar juntos de manera efectiva. Argumentamos que en un mundo digital, la biblioteca y el museo pueden y deben ser reintegrados en un único sistema de información cultural. Sin embargo, dado que en la práctica la digitalización de la biblioteca y del museo siguen diferentes caminos, los museos y sus bibliotecas tienen que cambiar su pensamiento acerca de cómo proceder

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical. We present in a tutorial fashion a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, nonfailure, and bounds on resource consumption (time or space cost). CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements the described functionality, will be used to illustrate the fundamental ideas.

The ciao prolog system

Ciao is a public domain, next generation multi-paradigm programming environment with a unique set of features: Ciao offers a complete Prolog system, supporting ISO-Prolog, but its novel modular design allows both restricting and extending the language. As a result, it allows working with fully declarative subsets of Prolog and also to extend these subsets (or ISO-Prolog) both syntactically and semantically. Most importantly, these restrictions and extensions can be activated separately on each program module so that several extensions can coexist in the same application for different modules. Ciao also supports (through such extensions) programming with functions, higher-order (with predicate abstractions), constraints, and objects, as well as feature terms (records), persistence, several control rules (breadth-first search, iterative deepening, ...), concurrency (threads/engines), a good base for distributed execution (agents), and parallel execution. Libraries also support WWW programming, sockets, external interfaces (C, Java, TclTk, relational databases, etc.), etc. Ciao offers support for programming in the large with a robust module/object system, module-based separate/incremental compilation (automatically -no need for makefiles), an assertion language for declaring (optional) program properties (including types and modes, but also determinacy, non-failure, cost, etc.), automatic static inference and static/dynamic checking of such assertions, etc. Ciao also offers support for programming in the small producing small executables (including only those builtins used by the program) and support for writing scripts in Prolog. The Ciao programming environment includes a classical top-level and a rich emacs interface with an embeddable source-level debugger and a number of execution visualization tools. The Ciao compiler (which can be run outside the top level shell) generates several forms of architecture-independent and stand-alone executables, which run with speed, efficiency and executable size which are very competive with other commercial and academic Prolog/CLP systems. Library modules can be compiled into compact bytecode or C source files, and linked statically, dynamically, or autoloaded. The novel modular design of Ciao enables, in addition to modular program development, effective global program analysis and static debugging and optimization via source to source program transformation. These tasks are performed by the Ciao preprocessor ( ciaopp, distributed separately). The Ciao programming environment also includes lpdoc, an automatic documentation generator for LP/CLP programs. It processes Prolog files adorned with (Ciao) assertions and machine-readable comments and generates manuals in many formats including postscript, pdf, texinfo, info, HTML, man, etc. , as well as on-line help, ascii README files, entries for indices of manuals (info, WWW, ...), and maintains WWW distribution sites.

Digital libraries for the preservation of research methods and associated artifacts

New digital artifacts are emerging in data-intensive science. For example, scientific workflows are executable descriptions of scientific procedures that define the sequence of computational steps in an automated data analysis, supporting reproducible research and the sharing and replication of best-practice and know-how through reuse. Workflows are specified at design time and interpreted through their execution in a variety of situations, environments, and domains. Hence it is essential to preserve both their static and dynamic aspects, along with the research context in which they are used. To achieve this, we propose the use of multidimensional digital objects (Research Objects) that aggregate the resources used and/or produced in scientific investigations, including workflow models, provenance of their executions, and links to the relevant associated resources, along with the provision of technological support for their preservation and efficient retrieval and reuse. In this direction, we specified a software architecture for the design and implementation of a Research Object preservation system, and realized this architecture with a set of services and clients, drawing together practices in digital libraries, preservation systems, workflow management, social networking and Semantic Web technologies. In this paper, we describe the backbone system of this realization, a digital library system built on top of dLibra.

A novel glutamine–RNA interaction identified by screening libraries in mammalian cells

The arginine-rich motif provides a versatile framework for RNA recognition in which few amino acids other than arginine are needed to mediate specific binding. Using a mammalian screening system based on transcriptional activation by HIV Tat, we identified novel arginine-rich peptides from combinatorial libraries that bind tightly to the Rev response element of HIV. Remarkably, a single glutamine, but not asparagine, within a stretch of polyarginine can mediate high-affinity binding. These results, together with the structure of a Rev peptide-Rev response element complex, suggest that the carboxamide groups of glutamine or asparagine are well-suited to hydrogen bond to G-A base pairs and begin to establish an RNA recognition code for the arginine-rich motif. The screening approach may provide a relatively general method for screening expression libraries in mammalian cells.

The identification of CD4+ T cell epitopes with dedicated synthetic peptide libraries

For a large number of T cell-mediated immunopathologies, the disease-related antigens are not yet identified. Identification of T cell epitopes is of crucial importance for the development of immune-intervention strategies. We show that CD4+ T cell epitopes can be defined by using a new system for synthesis and screening of synthetic peptide libraries. These libraries are designed to bind to the HLA class II restriction molecule of the CD4+ T cell clone of interest. The screening is based on three selection rounds using partial release of 14-mer peptides from synthesis beads and subsequent sequencing of the remaining peptide attached to the bead. With this approach, two peptides were identified that stimulate the β cell-reactive CD4+ T cell clone 1c10, which was isolated from a newly diagnosed insulin-dependent diabetes mellitus patient. After performing amino acid-substitution studies and protein database searches, a Haemophilus influenzae TonB-derived peptide was identified that stimulates clone 1c10. The relevance of this finding for the pathogenesis of insulin-dependent diabetes mellitus is currently under investigation. We conclude that this system is capable of determining epitopes for (autoreactive) CD4+ T cell clones with previously unknown peptide specificity. This offers the possibility to define (auto)antigens by searching protein databases and/or to induce tolerance by using the peptide sequences identified. In addition the peptides might be used as leads to develop T cell receptor antagonists or anergy-inducing compounds.

Conditionally replicating mycobacteriophages: A system for transposon delivery to Mycobacterium tuberculosis

Transposon mutagenesis provides a direct selection for mutants and is an extremely powerful technique to analyze genetic functions in a variety of prokaryotes. Transposon mutagenesis of Mycobacterium tuberculosis has been limited in part because of the inefficiency of the delivery systems. This report describes the development of conditionally replicating shuttle phasmids from the mycobacteriophages D29 and TM4 that enable efficient delivery of transposons into both fast- and slow-growing mycobacteria. These shuttle phasmids consist of an Escherichia coli cosmid vector containing either a mini-Tn10(kan) or Tn5367 inserted into a nonessential region of the phage genome. Thermosensitive mutations were created in the mycobacteriophage genome that allow replication at 30°C but not at 37°C (TM4) or 38.5°C (D29). Infection of mycobacteria at the nonpermissive temperature results in highly efficient transposon delivery to the entire population of mycobacterial cells. Transposition of mini-Tn10(kan) occurred in a site-specific fashion in M. smegmatis whereas Tn5367 transposed apparently randomly in M. phlei, Bacille Calmette–Guérin (BCG), and M. tuberculosis. Sequence analysis of the M. tuberculosis and BCG chromosomal regions adjacent to Tn5367 insertions, in combination with M. tuberculosis genomic sequence and physical map data, indicates that the transpositions have occurred randomly in diverse genes in every quadrant of the genome. Using this system, it has been readily possible to generate libraries containing thousands of independent mutants of M. phlei, BCG, and M. tuberculosis.

A green fluorescent protein-reporter mammalian two-hybrid system with extrachromosomal maintenance of a prey expression plasmid: Application to interaction screening

An improved mammalian two-hybrid system designed for interaction trap screening is described in this paper. CV-1/EBNA-1 monkey kidney epithelial cells expressing Epstein–Barr virus nuclear antigen 1 (EBNA-1) were stably transfected with a reporter plasmid for GAL4-dependent expression of the green fluorescent protein (GFP). A resulting clone, GB133, expressed GFP strongly when transfected transiently with transcriptional activators fused to GAL4 DNA-binding domain with minimal background GFP expression. GB133 cells maintained plasmids containing the OriP Epstein–Barr virus replication origin that directs replication of plasmids in mammalian cells in the presence of the EBNA-1 protein. GB133 cells transfected stably with a model bait expressed GFP when further transfected transiently with an expression plasmid for a known positive prey. When the bait-expressing GB133 cells were transfected transiently with an OriP-containing expression plasmid for the positive prey together with excess amounts of empty vector, cells that received the positive prey were readily identified by green fluorescence in cell culture and eventually formed green fluorescent microcolonies, because the prey plasmid was maintained by the EBNA-1/Ori-P system. The green fluorescent microcolonies were harvested directly from the culture dishes under a fluorescence microscope, and total DNA was then prepared. Prey-encoding cDNA was recovered by PCR using primers annealing to the vector sequences flanking the insert-cloning site. This system should be useful in mammalian cells for efficient screening of cDNA libraries by two-hybrid interaction.

Interlibrary loan in primary access libraries: challenging the traditional view

Introduction: Primary access libraries serve as the foundation of the National Network of Libraries of Medicine (NN/LM) interlibrary loan (ILL) hierarchy, yet few published reports directly address the important role these libraries play in the ILL system. This may reflect the traditional view that small, primary access libraries are largely users of ILL, rather than important contributors to the effectiveness and efficiency of the national ILL system.