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)
Designing a specification is an activity consisting in building a formal and complete description of a problem from an informal, often incomplete and sometimes contradictory set of requirements. Therefore, during this process, the specifier may have to take "design" decisions to ignor certain requirements that would produce an inconsistency, or to add(More)
OBJECTIVE The aim of this study was to evaluate the relationship between poor metabolic control and maladaptive personality traits (according to the Diagnostic and Statistical Manual of Mental Disorders, Third Edition-Revised) in an adult-onset insulin-dependent diabetes mellitus sample group (n = 77). RESEARCH DESIGN AND METHODS Metabolic control was(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)