NVCache: A Plug-and-Play NVMM-based I/O Booster for Legacy Systems26 November 2021This paper introduces NVCache, an approach that uses a non-volatile main memory (NVMM) as a write...
Meaning and awareness25 November 2021Upon hearing a word, we recollect, both implicitly or explictly, a big load of very diverse...
Disruption and recovery of brain functional connectivity networks in Alcohol Use Disorders19 November 2021Abnormal resting state functional connectivity, as measured by functional MRI, has been reported in...
The role of inaccuracies in vestibular perception: from graviception to motion simulation17 November 2021When moving through space, for instance by walking or driving a vehicle, our brain processes...
Formal Methods in Orbit. Formal Methods for the Masses11 November 2021In this seminar I plan to survey two research endeavours we are actively pursuing as part of a...
Realized Exponential Random Graphs8 November 2021Given a sequence of random graphs generated by an exponential family distribution, known as...
We Need a Change in Rehabilitation Robotics29 October 2021Robots can be very useful to restore movement abilities of upper and lower limbs. First, they can...
The big science of small networks15 October 2021Network science has come to mean the science of large networks. Computer science stresses the...
Robbing the Bank with a Model Checker6 October 2021As a case study on the use of formal methods for security we show how to use Tamarin, a security...
Exposure to Transit Migration, Public Attitudes and Entrepreneurship30 September 2021Does exposure to mass migration affect the attitudes and economic behavior of natives in the...