Tight Error Analysis in Fixed-point Arithmetic

We consider the problem of estimating the numerical accuracy of programs with operations in fixed-point arithmetic and variables of arbitrary, mixed precision, and possibly non-deterministic value. By applying a set of parameterised rewrite rules, we transform the relevant fragments of the program under consideration into sequences of operations in integer arithmetic over vectors of bits, thereby reducing the problem as to whether the error enclosures in the initial program can ever exceed a ...

Il corpo delle pagine. Scrittura e vita in Carla Lonzi

The Human Affectome

Over the last decades, theoretical perspectives in the interdisciplinary field of the affective sciences have proliferated rather than converged due to differing assumptions about what human affective phenomena are and how they work. These metaphysical and mechanistic assumptions, shaped by academic context and values, have dictated affective constructs and operationalizations. However, an assumption about the purpose of affective phenomena can guide us to a common set of metaphysical and mec...

Acquired Pedophilia: international Delphi-method-based consensus guidelines

: Idiopathic and acquired pedophilia are two different disorders with two different etiologies. However, the differential diagnosis is still very difficult, as the behavioral indicators used to discriminate the two forms of pedophilia are underexplored, and clinicians are still devoid of clear guidelines describing the clinical and neuroscientific investigations suggested to help them with this difficult task. Furthermore, the consequences of misdiagnosis are not known, and a consensus regard...