Publications associées à An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy

Publications associées (30)

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Dimitrios Kyritsis, Jinzhi Lu

Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...

Pergamon-Elsevier Science Ltd2024

Variability is the rule: Neurophysiology and contextual visual processing in schizophrenia

Dario Alejandro Gordillo Lopez

Traditionally, studies in schizophrenia research employ a single experimental paradigm. The results typically demonstrate a significant difference between patients and controls. Subsequent studies aim to describe the underlying abnormal mechanism at the ge ...

EPFL2024

Unraveling behavior and cortical signals to guide the development of soft neuroprostheses for auditory restoration and spreading depolarization

Emilie Cornelia Maria Revol

Neuroprostheses have been used clinically for decades, to help restore or preserve brain functions, when pharmaceutical treatments are inefficient. Although great progress in the field has been made over the years to interface with the nervous system, surf ...

EPFL2024

Transcriptomic analysis reveals mitochondrial pathways associated with distinct adolescent behavioral phenotypes and stress response

Maria del Carmen Sandi Perez, Dogukan Hazar Ülgen

Adolescent individuals exhibit great variability in cortical dynamics and behavioral outcomes. The developing adolescent brain is highly sensitive to social experiences and environmental insults, influencing how personality traits emerge. A distinct patter ...

2023

Curiosity-driven exploration: foundations in neuroscience and computational modeling

Wulfram Gerstner, Alireza Modirshanechi

Curiosity refers to the intrinsic desire of humans and animals to explore the unknown, even when there is no apparent reason to do so. Thus far, no single, widely accepted definition or framework for curiosity has emerged, but there is growing consensus th ...

Cell Press2023

Behavioral outcome of very preterm children at 5 years of age: Prognostic utility of brain tissue volumes at term-equivalent-age, perinatal, and environmental factors

Djalel Eddine Meskaldji, Serafeim Loukas

ObjectivePrematurity is associated with a high risk of long-term behavioral problems. This study aimed to assess the prognostic utility of volumetric brain data at term-equivalent-age (TEA), clinical perinatal factors, and parental social economic risk in ...

WILEY2023

Emotional sounds in space: asymmetrical representation within early-stage auditory areas

Stephanie Clarke, Sandra Elisabete Monney

Evidence from behavioral studies suggests that the spatial origin of sounds may influence the perception of emotional valence. Using 7T fMRI we have investigated the impact of the categories of sound (vocalizations; non-vocalizations), emotional valence (p ...

FRONTIERS MEDIA SA2023

Routing and charging game in ride-hailing service with electric vehicles

John Lygeros, Kenan Zhang

This paper studies the routing and charging behaviors of electric vehicles in a competitive ride-hailing market. When the vehicles are idle, they can choose whether to continue cruising to search for passengers, or move a charging station to recharge. The ...

IEEE2023

Real world multimodal assessment of physical behavior change in health and disease

Gaëlle Prigent

Sedentary lifestyle is currently considered a global pandemic, associated with major health problems such as cardiovascular disease and premature death. Regular physical activity (PA) is one way to address this problem, as it brings a variety of health ben ...

EPFL2023

Micro-addition of Fe in highly alloyed Cu-Ti alloys to improve both formability and strength

Roland Logé, Cyril Cayron, Baptiste Thomas Jean Rouxel

Cu-Be alloys provide excellent electrical and mechanical properties, but present serious health hazards during manufacturing. Among alternative alloys, the Cu-Ti system has the highest yield strength; however, Ti cannot be easily solutionized at concentrat ...

ELSEVIER SCI LTD2022

Stimulation of medial amygdala GABA neurons with kinetically different channelrhodopsins yields opposite behavioral outcomes

Ralf Schneggenburger, Olexiy Kochubey, Aiste Baleisyte

The medial amygdala (MeA) receives pheromone information about conspecifics and has crucial functions in social behaviors. A previous study showed that activation of GABA neurons in the postero-dorsal MeA (MeApd) with channelrhodopsin-2(H)(134R) (ChR2) sti ...

CELL PRESS2022

Uncovering the neural encoding of behavior in the adult Drosophila motor system

Chin-Lin Chen

One of the most important goals in neuroscience research has always been to understand how animals control their behavior. However, the long focus on the role of brain neurons in behavioral control might be missing the full story. In fact, brain-wide fluct ...

EPFL2022

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Dimitrios Kyritsis, Jinzhi Lu

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

IEEE2022

Engineering of Existing Structures: The Need and Place for Non-destructive Evaluation

Guillaume Justin Henriques, Eugen Brühwiler, Numa Joy Bertola, Thomas Schumacher

Structural engineers today are still educated mainly to design new structures. This ignores the fact that structures already exist and need to be maintained. Students are thus often ill-equipped to deal with maintenance and preservation of existing structu ...

2022

Methods for acute and long-term imaging of the ventral nerve cord in behaving adult Drosophila

Laura Joan Hermans

Understanding how neural circuits remodel and adapt to animal behavior is a central theme in the field of Neuroscience. One strategy to reach this goal is to repeatedly record the same animal's neural circuits and observe how they adapt when facing differe ...

EPFL2022

Real-Time fMRI Neurofeedback: Methods and Application to Chronic Tinnitus

Nicolas Gninenko

In the last twenty years, advances in real-time functional magnetic resonance imaging (rt-fMRI) have offered exciting new tools to study the human brain. One of them, termed rt-fMRI neurofeedback (NF), has turned the MRI scanner environment into an interac ...

EPFL2022

Orchestration of oscillatory activity to improve visual motion discrimination

Roberto Felipe Salamanca Giron

This thesis describes advances in the use of novel configurations of non-invasive brain stimulation over the visual system allowing to modulate of modifying electro-physiological activity, interregional interactions and by it, visual behavior such as motio ...

EPFL2021

Increased functional connectivity of the intraparietal sulcus underlies the attenuation of numerosity estimations for self-generated words

Olaf Blanke, Giulio Rognini, Nathan Quentin Faivre, Jevita Potheegadoo, Michael Eric Anthony Pereira, Giedre Stripeikyte

Previous studies have shown that self-generated stimuli in auditory, visual, and somatosensory domains are attenuated, producing decreased behavioral and neural responses compared to the same stimuli that are externally generated. Yet, whether such attenua ...

2021

What if Social Robots look for Productive Engagement?

Pierre Dillenbourg, Barbara Bruno, Jauwairia Nasir

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 ...

2022