Configuration Logics: Modelling Architecture Styles

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.

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

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

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...

IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...

Honeybees are essential to human society, providing pollination services globally as well as producing honey and other valuable products. Effective management of apiaries should not only rely on beekeeper knowledge and skill, but also incorporate new infor ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

The construction industry is jeopardizing Earth’s environment; current mitigation efforts do not suffice; and additional sustainable strategies are required. One such strategy consists of reusing structural building elements over multiple service lives. In ...

Machine learning (ML) models for molecules and materials commonly rely on a decomposition of the global target quantity into local, atom-centered contributions. This approach is convenient from a computational perspective, enabling large-scale ML-driven si ...

The miniaturization of integrated circuits (ICs) and their higher performance and energy efficiency, combined with new machine learning algorithms and applications, have paved the way to intelligent, interconnected edge devices. In the medical domain, they ...

Graph machine learning offers a powerful framework with natural applications in scientific fields such as chemistry, biology and material sciences. By representing data as a graph, we encode the prior knowledge that the data is composed of a set of entiti ...

Machine learning and data processing algorithms have been thriving in finding ways of processing and classifying information by exploiting the hidden trends of large datasets. Although these emerging computational methods have become successful in today's ...

In 1970 on the rugged coast of Costa Paradiso on the Italian island of Sardinia, the encounter between one of the most renowned Italian film directors, Michelangelo Antonioni, and an architect with an engineering vision, Dante Bini, produced a holiday vill ...

The recent developments of deep learning cover a wide variety of tasks such as image classification, text translation, playing go, and folding proteins. All these successful methods depend on a gradient-based learning algorithm to train a model on massive ...

Embedded systems confront two opposite goals: low-power operation and high performance. The current trend to reach these goals is toward heterogeneous platforms, including multi-core architectures with heterogeneous cores and hardware accelerators. The lat ...

Activity-based models offer the potential of a far deeper understanding of daily mobility behaviour than trip-based models. However, activity-based models used both in research and practice have often relied on applying sequential choice models between sub ...

Modern hardware is increasingly complex, requiring increasing effort to understand in order to carefully engineer systems for optimal performance and effective utilization. Moreover, established design principles and assumptions are not portable to modern ...

The latest European polices highlight the urgent need to rehabilitate the existing building stock, responsible for 40 % of the EU's total energy consumption. In this process, a key role is played by thermal simulations, assessing the effective energy perfo ...

During the design phase of an aircraft manufacturing system, different industrial scenarios need to be evaluated according to key performance indicators to achieve the optimal system performance. It is a highly complex process involving multidisciplinary s ...

Configuration Logics: Modelling Architecture Styles

Chat with Graph Search

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

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

Orthologic with Axioms

Interpolation and Quantifiers in Ortholattices

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Architecture of a decentralised decision support system for futuristic beehives

LISA – A Modern Proof System

Reuse of Load-Bearing Timber Elements - Case Study of a Lookout Tower in Lausanne, Switzerland

Robustness of Local Predictions in Atomistic Machine Learning Models

Exploring brain-inspired multi-core heterogeneous hardware templates for low-power biomedical embedded systems

Equivariant Neural Architectures for Representing and Generating Graphs

2D Nanosystems: Applications of 2D Semiconductors for In-Memory Computing

Patronage as Collaboration. Dante Bini’s Villas in Sardinia

Transformer Models for Vision

Acceleration of Control Intensive Applications on Coarse-Grained Reconfigurable Arrays for Embedded Systems

OASIS: Optimisation-based Activity Scheduling with Integrated Simultaneous choice dimensions

Chaosity: Understanding Contemporary NUMA-architectures

A modelling framework for modern heritage buildings energy simulation

A semantic-driven tradespace framework to accelerate aircraft manufacturing system design