Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Diagramme de Venn

Publications associées (9)

Vector-Based 3D Graphic Statics: Transformations of Force Diagrams

Corentin Jean Dominique Fivet

The reciprocity between form and force diagrams in 2D graphic statics makes it possible to manipulate the form diagram while directly evaluating the redistribution of the forces within the force diagram. Conversely, after modifying the force diagram, the c ...

2017

Architecture Diagrams: A Graphical Language for Architecture Style Specification

Simon Bliudze, Joseph Sifakis, Anastasia Mavridou, Eduard Baranov

Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and easiness ...

Open Publ Assoc2016

CAT(0) Geometry for the Thompson Group

Dan Titus Salajan

We investigate Farley’s CAT(0) cubical model for Thompson’s group F (we adopt the classical language of F, using binary trees and piecewise linear maps, avoiding the one of diagram groups and pictures). Main results include: in general, Thompson’s group el ...

EPFL2012

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

Hubert Girault, Bin Su, Manuel Alejandro Méndez Agudelo

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

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter

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

Introducing qualitative dimensions to analyze the usefulness of Web 2.0 platforms as PLEs

Denis Gillet, Stéphane Sire, Evgeny Bogdanov

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

Visual contracts (VCs) : enriching graphical systemic models to support diagrammatic reasoning in system design

José Diego de la Cruz Garcia

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

Validation of Visual Contracts for Services

Alain Wegmann, 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

Choix de variantes d'infrastructures routières : méthodes multicritères

Micaël Tille

This study provides a tool by means of which a road planner, usually a civil engineer, can achieve a durable infrastructure of high quality, acceptable to all parties concerned. The various elements which facilitate the work of planning are united into a m ...

EPFL2001