Publication

Configuration Logics: Modelling Architecture Styles

Publications associées (26)

A modelling framework for modern heritage buildings energy simulation

Franz Graf, Giulia Marino, Giuseppe Galbiati

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

Elsevier2023

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

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

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

SPRINGER2022

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

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

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

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

Julien Lafontaine Carboni

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

EPFL2022

Formula Normalizations in Verification

Viktor Kuncak, Mario Bucev, Simon Guilloud, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

Generalization Properties of NAS under Activation and Skip Connection Search

Volkan Cevher, Zhenyu Zhu, Grigorios Chrysos, Fanghui Liu

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

2022