IRIS Institutional Research Information System

Are delusions adaptive? An empirical and philosophical study on delusions in OCD

Delusions are usually depicted in one of two contrasting ways. They are either characterized as harmful and dysfunctional beliefs or as fostering engagement with the environment and sometimes even psychological wellbeing in the face of psychological or biological difficulties – something which, according to some accounts, would make them biologically adaptive. It is this “adaptive hypothesis” that I focus on in this paper, by empirically investigating the adaptiveness of delusions in a sample...

Mixed-Signal Silicon Photomultiplier With Reconfigurable Pulse Shaper for Background Light Rejection

TVEG: Model Selection of the Time-Varying Exponential Family Distributions Graphical Models

The undirected graphical model, a popular class of statistical model, offers a way to describe and explain the relationships among a set of variables. However, it remains a challenge to choose a certain graphical model to explain the relationships of variables adequately, especially when the relationships of variables are rewiring over time. This paper proposes the Time-Varying Exponential Family Distributions Graphical (TVEG) models, with time-varying structures and exponential family node-w...

Formal methods in industrial critical systems

Formal methods are well-established and extensively used to ensure the correctness of core hardware and software components in safety-critical systems across industries such as railways, avionics, nuclear plants, and automotive. Their ability to provide mathematically rigorous guarantees makes them invaluable for verifying critical properties like safety, reliability, and security. However, the increasing complexity of modern systems requires enhanced support for applying these techniques eff...