Publication

An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

Related publications (30)

A Social Robot That Looks For Productive Engagement

Pierre Dillenbourg, Jauwairia Nasir, Barbara Bruno

In educational HRI, it is generally believed that a robots behavior has a direct effect on the engagement of a user with the robot, the task at hand and also their partner in case of a collaborative activity. Increasing this engagement is then held respons ...

2021

Predicting task performance from biomarkers of mental fatigue in global brain activity

Mahsa Shoaran

Objective. Detection and early prediction of mental fatigue (i.e. shifts in vigilance), could be used to adapt neuromodulation strategies to effectively treat patients suffering from brain injury and other indications with prominent chronic mental fatigue. ...

IOP PUBLISHING LTD2021

Determinants of Different Types of Positive Environmental Behaviors: An Analysis of Public and Private Sphere Actions

Claudia Rebeca Binder Signer, Ralph Hansmann

A survey of 1206 participants investigated determinants of positive environmental behaviors (PEBs) in Switzerland. Based on a principle component analysis on data for 23 different PEBs, three behavior types were distinguished: (i) public sphere PEBs with p ...

2020

Personalizable intervention systems to promote healthy behavior change

Igor Kulev

Adopting healthy behaviors can prevent the onset of many adverse health conditions. However, behavior changes are difficult to make, and often, people who like to improve their behaviors do not know how to do that. Personalizable intervention systems could ...

EPFL2020

Tapping into Multi-Faceted Human Behavior and Psychopathology Using fMRI Brain Dynamics

Dimitri Nestor Alice Van De Ville, Thomas William Arthur Bolton, Maria Giulia Preti, Elenor Morgenroth

Human behavior comprises many aspects that stand out by their dynamic nature. To quantify its neural underpinnings, time-resolved fMRI methods have blossomed over the past decade. In this review we conceptually organize a broad repertoire of dynamic analyt ...

2020

Brain functional connectivity dynamics at rest in the aftermath of affective and cognitive challenges

Dimitri Nestor Alice Van De Ville, Thomas William Arthur Bolton, Gwladys Rey, Julian Gaviria

Carry-over effects on brain states have been reported following emotional and cognitive events, persisting even during subsequent rest. Here, we investigated such effects by identifying recurring co-activation patterns (CAPs) in neural networks at rest wit ...

Wiley2020

Determinants of pro-environmental behavior: A comparison of university students and staff from diverse faculties at a Swiss University

Claudia Rebeca Binder Signer, Rafael Laurenti, Ralph Hansmann

In the context of an initiative to become a carbon neutral campus, an online survey (N = 1864) of students, scientists, and administrative and technical staff of the Swiss Federal Institute of Technology Lausanne (Ecole Polytechnique Federale de Lausanne) ...

ELSEVIER SCI LTD2020

A general framework for the integration of complex choice models into mixed integer optimization

Meritxell Pacheco Paneque

The objective of this thesis is to develop a general methodology to incorporate a disaggregate demand representation in supply-oriented optimization problems that allows to capture the interplay between the behavior of individuals and the decisions to be o ...

EPFL2020

Decoding Cognitive States under Varying Difficulty Levels

Ping-Keng Jao

Understanding cognitive states of human under different difficulty levels is useful in improving human-human and human-machine interactions. For example, a crucial factor in designing games is maintaining the engagement of players. An ideal scenario would ...

EPFL2020

Real-time EEG Feedback on Alpha Power Lateralization Leads to Behavioral Improvements in a Covert Attention Task

José del Rocio Millán Ruiz, Michael Eric Anthony Pereira, Luca Tonin, Christoph Schneider

Visual attention can be spatially oriented, even in the absence of saccadic eye-movements, to facilitate the processing of incoming visual information. One behavioral proxy for this so-called covert visuospatial attention (CVSA) is the validity effect (VE) ...

SPRINGER2020