Rogue Scholar Posts

language

The Research and Teaching Group Information Management is conducting a survey on the topic of recording publication costs at research performing institutions in Germany.

Authors Catharina Ochsner, Heinz Pampel

Project launch: Infra Wiss Blogs - Ensuring Permanent Access to Scholarly Blogs We are excited to announce the launch of our new project, “Infra Wiss Blogs - Kooperative Informationsinfrastruktur für wissenschaftliche Blogs” funded by the Deutsche Forschungsgemeinschaft (DFG 2023). Blogs have become an indispensable component of digital science communication, serving as a platform for scholarly communication, a diary for documenting research

The conversation about advancing the open access transformation has been revitalized by the “Council Conclusions on High-Quality, Transparent, Open, Trustworthy, and Equitable Scholarly Publishing” issued by the EU Science Ministries in May 2023 (Council of the European Union 2023). In September 2023, we organized the conference “Community-Driven Open Access Publishing” as a satellite event of the Open Access Days 2023 (Bibliotheks- und

Authors Pia Kretschmar, Christopher Onzie Khamis

Regardless of whether one is just starting out or has already arrived in the community, as young librarians and information scientists, there are many interesting fields and new developments.

Research is inherently dynamic, leading to equally dynamic data. This dynamic nature of research data raises numerous questions for professionals in information management at research institutions, libraries, and computing centers. Despite the conceptual establishment of research data citation through persistent identifiers (PIDs) in some communities, practical challenges remain.

In the beginning of June 2024, Nature reported on the Japanese Ministry of Education’s plan to invest 10 billion yen in expanding institutional Open Access Repositories (Singh Chawla 2024). This initiative provides a good opportunity to discuss the future of Open Access Repositories at the https://2024.bibliocon.de/. In collaboration with the project “Professionalization of the Open Access Repositories Infrastructure in Germany” (Pro OAR DE)

Published in dr. heap
Authors Hans-Dieter Hiep, Frank de Boer

A sound and complete proof system for separation logic (part 1)Download the PDF version of this article.soundness-completeness-separation-logic-part1.pdf292 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circleIntroduction In this article we have another look at the proof system for separation logic that is introduced in the first author’s PhD thesis: New Foundations for