Rogue Scholar Posts

language
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

Published in Dual Power Supply
Author Kirk Pollard Smith

I sip slowly from the information firehouse that is my cornucopia of industry newsletters, RSS feeds, and Google Scholar updates on new publications in the flow battery landscape. There’s not enough time to give everything a proper read, and often if I see something useful I just file it away in Zotero for it to collect digital dust.

Welcome! This is the first post in our new group blog. 1 We, the research group Information Management at Humboldt University’s Berlin School of Library and Information Science, explore the role of digital research and information infrastructures in science within the context of digital transformation.

Published in Dual Power Supply
Author Kirk Pollard Smith

My collaborator Daniel shared an update on his blog about our the progress of our open-source flow battery kit, so I thought I’d do the same. This was motivated by my previous post (Smith 2024). We’ve been working together with Prof Sanli Faez and Josh Hausener at Utrecht University on their FAIR Battery Project, though the repository for my cell design and jig is currently here.

Published in Stories by Research Graph on Medium

Author Amir Aryani (ORCID: 0000-0002-4259-9774) Introduction In this article we look at Research Graph as an information model , and an approach to connect and capture the connections between research outputs, researchers and research activities. We explore the metadata model, and we discuss how to capture this graph in a Neo4j Graph Database.

Published in Dual Power Supply
Author Kirk Pollard Smith

Towards the end of 2022 I drafted this, consider it a work in progress - it was before I had joined forces with Daniel to form the Flow Battery Research Collective Motivation for an open-source flow battery This project aims to develop an open-source flow battery design suitable for mid-scale manufacturing by a well-equipped hackerspace or conventional machine shop.

Published in dr. heap

Can the Collatz conjecture be proven, or not?Download the PDF version of this article.collatz.pdf236 KB.a{fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:1.5px;}download-circle In 1937, shortly after the mathematician Lothar Collatz obtained his doctorate, he wrote down a problem in his notebook that later became known as Collatz’ problem or the \((3x+1)\)-problem . The problem is

In our digital era, scientists are certainly sharing and reusing open data. Yet it remains unclear how widespread data reuse and citation practices are within academic disciplines, and why scientists cite—or do not cite—data in their research work.

Doctors are moving out of their clinics and taking over the digital world. Many physicians are engaging in digital media, sharing their expertise and opinions on platforms such as Instagram, TikTok and YouTube. But little is known on how doctors are mediating health research on social media. Noha Atef, a postdoctoral fellow at the ScholCommLab, led a series of qualitative studies on doctors who create video blogs (or vlogs) on YouTube.