We have included the code of protocol verification for ProVerif (in .pv format) and Scyther (in .spdl format) in the “Supplementary Materials” (Supplementary-Materials.pdf) of the revised manuscript.
Income inequality is frequently given a central role in explaining diverse political outcomes, but the specifics of how, when, and under what circumstances inequality really matters are far from clear
Naïve human embryonic stem cells (ESCs) are characterized by improved viability, proliferation, and differentiation capacity in comparison to traditionally derived primed human ESCs. However, current
Summary and raw data for seven brown bears on five different cognitive tasks: a multi-access box (MAB), a detour cylinder task, a spatial reversal task, an object manipulation "insertion" task, and a
