Concept

Théorie M

Publications associées (239)

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.

Connectez-vous pour utiliser Chat avec Graph Search

D-finder 2: Towards efficient correctness of incremental design

Joseph Sifakis

D-Finder 2 is a new tool for deadlock detection in concurrent systems based on effective invariant computation to approximate the effects of interactions among modules. It is part of the BIP framework, which provides various tools centered on a component-b ...

2011

Vacuum Stability in Supersymmetric Effective Theories

Leonardo Brizi

The main topics discussed in this thesis are supersymmetric low-energy effective theories and metastability conditions in generic non-renormalizable models with global and local supersymmetry. In the first part we discuss the conditions under which the low ...

EPFL2011

Problem Structuring Methods in System Dynamics Modeling-A Cognitive Fit Perspective

Alain Wegmann, Arash Golnam, Gorica Tapandjieva Sekulovska, Sérgio Viana

The knowledge residing in the mental models of clients and stakeholders is considered as a crucial source of information by system dynamicists. Despite the importance of this knowledge, the theory of SD does not provide practical means for eliciting and re ...

2011

Multipactor theory for multi-carrier signals

Michael Mattes

This work presents a new theory of multipactor under multi-carrier signals for parallel-plate geometries. It is the generalization of the non-stationary multipactor theory for single-carrier signals1. It is valid for multicarrier signals with an arbitrary ...

American Institute of Physics2011

Behaviour and design of slab-column joints

Aurelio Muttoni, Miguel Fernández Ruiz, Roberto Guidotti

This paper presents an investigation on the behaviour and strength of slab-column joints in multystorey buildings. Such joints may develop different potential failure modes such as crushing of the concrete of the slab (due to column loading), bending or pu ...

fib Symposium Prague 20112011

Organiseur typologique

Thomas Charles Marie Pierre Favre-Bulle, Simon Antoine Potier

Un outil accessible, permettant l'organisation d'un ensemble complexe de programmes architecturaux, dans des conditions d'exigence proches du réel, et permettant tant la manipulation des règles et paramètres régissant le processus de spatialisation que le ...

2010

Transactional memory, linking theory and practice

Vincent Gramoli, Srivatsan Ravi

Transactional memory appears promising for democratizing concurrent programming. Its potential lies in producing code that is extensible as atomicity is preserved under composition of transactions. This new abstraction raises several challenges such as the ...

2010

Governing the dynamics of the network industries

Matthias Finger, Marc Laperrouza, Nicolas Crettenand

This paper wants to further develop the theory of co-evolution between technology and institutions in the network industries by addressing one of the critiques that is generally raised, namely the lack of taking into account its dynamics. The paper outline ...

Discussion paper series on the coherence between institutions and technologies in infrastructures2010

Exploring the Nature of "Trader Intuition"

Experimental evidence has consistently confirmed the ability of uninformed traders, even novices, to infer information from the trading process. After contrasting brain activation in subjects watching markets with and without insiders, we hypothesize that ...

2010

Consistent Extension of Horava Gravity

Sergey Sibiryakov, Diego Blas Temino

We propose a natural extension of Horava's model for quantum gravity, which is free from the notorious pathologies of the original proposal. The new model endows the scalar graviton mode with a regular quadratic action and remains power-counting renormaliz ...

2010