Silvia Clerici

Learn More
BACKGROUND REM sleep behavior disorder (RBD) is characterized by vigorous sleep motor activity associated with dream mentation. Patients with RBD frequently report action-filled and violent dreams. OBJECTIVE To systematically assess dream characteristics and daytime aggressiveness in patients with RBD and controls. METHODS Forty-nine patients with(More)
NiMo (Nets In Motion) is a Graphic-Functional-Data Flow language designed to visualize algorithms and their execution in an understandable way. Programs are process networks that evolve showing the full state at each execution step. Processes are polymorphic, higher order and have multiple outputs. The language has a set of primitive processes well suited(More)
We present the graph operational semantics approach used for defining NiMo nets execution, which mix lazy, data-driven and a weak form of eager evaluation, all in parallel. NiMo is a totally graphic language from the family of higher order typed languages but with a strong data-flow inspiration. Programs are process networks that evolve showing the full(More)