Configuration logics: Modeling 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.

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

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

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

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

Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...

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

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

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

How can one construct spatial histories and architectural theories from gestures, words and voices, bodies and minor threads? This research delves into oral and embodied architectural and spatial knowledge as modes of producing buildings, spaces and spati ...

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

Concepts of type and typology are not specific to architecture. Rather they represent an interdisciplinary approach to ordering knowledge and gaining insight. In the field of architecture, the study of types and typology offers a didactic perspective that ...

Neural Architecture Search (NAS) has fostered the automatic discovery of stateof- the-art neural architectures. Despite the progress achieved with NAS, so far there is little attention to theoretical guarantees on NAS. In this work, we study the generaliza ...

The objective of this research work is to compare the environmental impact, expressed in terms of non-renewable cumulative energy demand (CEDnr) and greenhouse gas (GHG) emissions, of nine architectural visions for a new neighbourhood located in the periur ...

The valorisation of the plant biopolymer lignin is now recognised as essential to enabling the economic viability of the lignocellulosic biorefining industry. In this context, the "lignin-first" biorefining approach, in which lignin valorisation is conside ...

Since their inception more than thirty years ago, field-programmable gate arrays (FPGAs) have been widely used to implement a myriad of applications from different domains. As a result of their low-level hardware reconfigurability, FPGAs have much faster d ...

The Kunsthal in Rotterdam is a key work in the oeuvre of OMA/Rem Koolhaas that marks the threshold between the firmâ s architectural production of the decades before and after 1990. This doctoral thesis aims at a deeper and comprehensive understanding of ...

We are interested in a reduced order method for the efficient simulation of blood flow in arteries. The blood dynamics is modeled by means of the incompressible Navier–Stokes equations. Our algorithm is based on an approximated domain-decomposition of the ...

Configuration logics: Modeling architecture styles

Chat with Graph Search

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

Interpolation and Quantifiers in Ortholattices

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

LISA – A Modern Proof System

Equivariant Neural Architectures for Representing and Generating Graphs

Robustness of Local Predictions in Atomistic Machine Learning Models

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

Bayes Security: A Not So Average Metric

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

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

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

(from) the repertoire : an architectural theory of operations. Oral and embodied knowledge in architectural and spatial practices

A Theory of Value for Service Ecosystems

Studies on Types: Dormitories

Generalization Properties of NAS under Activation and Skip Connection Search

Comparative approach of the environmental impact induced by different architectural visions of a new periurban neighbourhood

Guidelines for performing lignin-first biorefining

Synthesizing General-Purpose Code Into Dynamically Scheduled Circuits

Inventory of Problems: The Genesis of the Rotterdam Kunsthal by OMA/Rem Koolhaas, 1987-1992

Model order reduction of flow based on a modular geometrical approximation of blood vessels