Grammar-based generation of equilibrium structures through graphic statics
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...
This paper presents an extension to the Combinatorial Equilibrium Modelling (CEM) design framework. So far, CEM gives the possibility to generate and explore multiple spatial equilibrium solutions in the early conceptual design phase. In addition to the fo ...
Procedural shape grammars are powerful tools for the automatic generation of highly detailed 3D content from a set of descriptive rules. It is easy to encode variations in stochastic and parametric grammars, and an uncountable number of models can be gener ...
The urban order has fashioned a new grammar. In literal terms, the theories of the creative class, creative economy and creative city function as a unit that is both descriptive and prescriptive; they have the advantage of taking into account the utility o ...
The geometric relationships between a structural configuration and its internal force distribution have not received much attention for nearly hundred years. Directly stemming from the most fundamental principles of statics, the underlying theories were br ...
PDF has become a de facto standard for exchanging electronic documents, for visualization as well as for printing. However, it has also become a common delivery channel for malware, and previous work has highlighted features that lead to security issues. I ...
In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...
We introduce design transformations for rule-based procedural models, e.g., for buildings and plants. Given two or more procedural designs, each specified by a grammar, a design transformation combines elements of the existing designs to generate new desig ...
We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...
This article presents a computational design methodology that integrates generative (architectural) and analytical (engineering) procedures into a simultaneous design process. By combining shape grammars and graphic statics, the proposed methodology enable ...
