Publications associées à Diagramme de Venn

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

Corentin Jean Dominique Fivet, Pierluigi D'Acunto

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

Joseph Sifakis, Simon Bliudze, 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, 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

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

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

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