Concept

Euler diagram

Related publications (22)

Graph Chatbot

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.

This paper discusses the interactive design exploration of static equilibria using constraint-based graphic statics. Constraint-based graphic statics is a computerized framework improving the construction, the control and the capabilities of classical grap ...

Riverside Architectural Press2014

Constraint-Based Graphic Statics - A geometrical support for computer-aided structural equilibrium design

Corentin Jean Dominique Fivet

This thesis introduces “constraint-based graphic statics”, a geometrical support for computer-aided structural design. This support increases the freedom with which the designer interacts with the plane static equilibriums being shaped. Constraint-based gr ...

UCLouvain.be2013

Ionic partition diagram of tetraphenylporphyrin at the water|1,2-dichloroethane interface

Hubert Girault, Manuel Alejandro Méndez Agudelo, Bin Su, Raheleh Partovi Nia, Zdenek Samec

diagram of 5,10,15,20-tetraphenyl-21H,23H-porphine (H2TPP) at the water|1,2-dichloroethane interface using a simple Born solvation model. This zone diagram shows under which form this porphyrin is present, i.e. neutral, monoprotonated or diprotonated, and ...

Elsevier2011

, ,

The trends in web development of educational applications and of Web 2.0 or social applications are converging. Platforms are designed to host a variety of software components (called widgets or plugins), which can be organised or combined (mashed-up) at u ...

2011

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Centres of centralizers of unipotent elements in simple algebraic groups

Donna Testerman

Let G be a simple algebraic group defined over an algebraically closed field k whose characteristic is either 0 or a good prime for G, and let u is an element of G be unipotent. We study the centralizer C-G(u), especially its centre Z(C-G(u)). We calculate ...

2011

, ,

2010

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

Considerations on rockfall hazard mapping based on trajectory modelling

Vincent Labiouse, Jacopo Maria Abbruzzese, Claire Sauthier

The paper presents first considerations about methodologies for local hazard mapping related to rockfalls. This work is being currently carried out at the Swiss Federal Institute of Technology of Lausanne (EPFL), and it concerns the ESR8 research position ...

2008

Validation of Visual Contracts for Services

Alain Wegmann, Lam Son Lê, José Diego de la Cruz Garcia

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

2006