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.
If we assume that architecture is the art of replacing our immediate surroundings, the designed or constructed space has something in common with nature: it assumes the role of something that surrounds us as a whole. Space is something we perceive and sens ...
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. Formal contract specification languages, however, are still rarely used ...
The use of design artefacts in research is a debatable topic which raises important questions about the different approaches to design research and legitimate ways of knowledge production. Research through design normally involves construction of a design ...
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. In practice, software developers use most often natural language to des ...
In the context of the pi calculus, open bisimulation is prominent and popular due to its congruence properties and its easy implementability. Motivated by the attempt to generalise it to the spi calculus, we offer a new, more refined definition and show in ...
The interdisciplinary character of urban morphology using the fundamental trio - form, scale and history - tries to characterize what we call the primitive morphological ontology. However, this ontology is less useful in other domains unless a formal langu ...
Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...
We propose a new process by which patterns produced by nanostencil lithography can be reversed, so that the final pattern on the substrate has the same contrast (filled or empty) as that of the stencil. In this process, the stencil pattern is first formed ...
