Predicting and Preventing Inconsistencies in Deployed Distributed Systems

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.

The present invention relates to systems and methods for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject based on reports of Minor Hallucination (MH) events in combination with electrophysiological data of the s ...

The desire and ability to place AI-enabled applications on the edge has grown significantly in recent years. However, the compute-, area-, and power-constrained nature of edge devices are stressed by the needs of the AI-enabled applications, due to a gener ...

Predicting the evolution of systems with spatio-temporal dynamics in response to external stimuli is essential for scientific progress. Traditional equations-based approaches leverage first principles through the numerical approximation of differential equ ...

Modern machine learning (ML) models are capable of impressive performances. However, their prowess is not due only to the improvements in their architecture and training algorithms but also to a drastic increase in computational power used to train them.|S ...

Interacting particle systems play a key role in science and engineering. Access to the governing particle interaction law is fundamental for a complete understanding of such systems. However, the inherent system complexity keeps the particle interaction hi ...

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

The notion of adversary is a staple of distributed computing. An adversary typically models “hostile” assumptions about the underlying distributed environment, e.g., a network that can drop messages, an operating system that can delay processes or an attac ...

In the domains of machine learning, data science and signal processing, graph or network data, is becoming increasingly popular. It represents a large portion of the data in computer, transportation systems, energy networks, social, biological, and other s ...

Model-based systems engineering (MBSE) is considered an important approach for understanding multidomain fields and is widely used in complex systems such as aerospace. In this article, a detailed survey of MBSE literature was conducted from its commenceme ...

Two prominent categories for achieving coordinated multirobot displacement are flocking and navigation in formation. Both categories have their own body of literature and characteristics, including their respective advantages and disadvantages. While typic ...

As the volume of produced data is exponentially increasing, companies tend to rely on distributed systems to meet the surging demand for storage capacity. With the business workflows becoming more and more complex, such systems often consist of or are acce ...

The invention relates to methods and systems for determining the intention of a subject to perform a voluntary action based on the analysis of the subject's respiratory phases and neuroelectrical signals. ...

Car-sharing systems are an attractive alternative to private vehicles due to their benefits in terms of mobility and sustainability. However, the distribution of vehicles throughout the network in one-way systems is disturbed due to asymmetry and stochasti ...

In several domains of physics, including first principle simulations and classical models for polarizable systems, the minimization of an energy function with respect to a set of auxiliary variables must be performed to define the dynamics of physical degr ...

The ab initio determination of electronic excited state (ES) properties is the cornerstone of theoretical photochemistry. Yet, traditional ES methods become impractical when applied to fairly large molecules, or when used on thousands of systems. Machine l ...

Donor-acceptor (D-A) copolymers have shown great potential for intramolecular singlet fission (iSF). Nonetheless, very few design principles exist for optimizing these systems for iSF, with very little knowledge about how to engineer them for this purpose. ...

Model-based Systems Engineering (MBSE) is a noval approach to support complex system development by formalizing system artifacts and development using models. Though MBSE models provide a completely structural formalisms about system development for system ...

Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitive is appealing is twofold: (i) we can implement it deterministically in a co ...

This paper considers optimization problems over networks where agents have individual objectives to meet, or individual parameter vectors to estimate, subject to subspace constraints that require the objectives across the network to lie in low-dimensional ...

Coupled dynamical systems are omnipresent in everyday life. In general, interactions between individual elements composing the system are captured by complex networks. The latter greatly impact the way coupled systems are functioning and evolving in time. ...

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Chat with Graph Search

System for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject

Exploring High-Performance and Energy-Efficient Architectures for Edge AI-Enabled Applications

Learning the intrinsic dynamics of spatio-temporal processes through Latent Dynamics Networks

Byzantine-Resilient Learning Beyond Gradients: Distributing Evolutionary Search

Learning Physics-Consistent Particle Interactions

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

The Universal Gossip Fighter

Quantization for Distributed Processing and Learning of Structured Data

Bibliometric Analysis of Model-Based Systems Engineering: Past, Current, and Future

Hybrid Flock - Formation Control Algorithms

Clouseau: Blockchain-based Data Integrity for HDFS Clusters

Method and system for determining the intention of performing a voluntary action

Predictive user-based relocation through incentives in one-way car-sharing systems

Mass-Zero constrained dynamics and statistics for the shell model in magnetic field

Learning the Exciton Properties of Azo-dyes

Pushing the Limits of the Donor-Acceptor Copolymer Strategy for Intramolecular Singlet Fission

A Knowledge Management Approach Supporting Model-Based Systems Engineering

Dynamic Byzantine Reliable Broadcast

Adaptation and Learning Over Networks Under Subspace Constraints-Part I: Stability Analysis

Local Vulnerabilities and Global Robustness of Coupled Dynamical Systems on Complex Networks