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

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Chat with Graph Search

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

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

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

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

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

Curiosity-driven exploration: foundations in neuroscience and computational modeling

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

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

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

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

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

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

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

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

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

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

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

Orchestration of oscillatory activity to improve visual motion discrimination

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

What if Social Robots look for Productive Engagement?