2 papers
cs.DC2026
A Private IPFS Data Sanctuary for Verifiable Digital Collection Objects
Joachim Snellings, Jasper Funk-Smit, Margot Belot +4
Background: Galleries, libraries, archives and museums (GLAM) increasingly produce scientific collection data whose digital state must remain identifiable, recoverable, and verifia…
q-bio.MN2012
AND-NOT logic framework for steady state analysis of Boolean network models
Alan Veliz-Cuba, Kristina Buschur, Rose Hamershock +3
Finite dynamical systems (e.g. Boolean networks and logical models) have been used in modeling biological systems to focus attention on the qualitative features of the system, such…