Concept

Architecture logique

Publications associées (59)

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

Springer International Publishing2014

A General Framework for Architecture Composability

Joseph Sifakis, Simon Bliudze, Eduard Baranov

Architectures depict design principles, paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...

2014

Architectures: Design patterns for component-based systems

Simon Bliudze

2014

Time-Optimal Path Following for Robots With Convex-Concave Constraints Using Sequential Convex Programming

Quoc Tran Dinh

Time-optimal path following considers the problem of moving along a predetermined geometric path in minimum time. In the case of a robotic manipulator with simplified constraints, a convex reformulation of this optimal control problem has been derived prev ...

Institute of Electrical and Electronics Engineers2013

A yeast one-hybrid and microfluidics-based pipeline to map mammalian gene regulatory networks

Bart Deplancke, Sebastian Martin Waszak, Sunil Kumar Raghav, Alina Isakova, Jovan Simicevic, Jean-Daniel Feuz, Antonina Iagovitina

The comprehensive mapping of gene promoters and enhancers has significantly improved our understanding of how the mammalian regulatory genome is organized. An important challenge is to elucidate how these regulatory elements contribute to gene expression b ...

Nature / European Molecular Biology Organization2013

A stochastic games framework for verification and control of discrete time stochastic hybrid systems

Maryam Kamgarpour, John Lygeros

We describe a framework for analyzing probabilistic reachability and safety problems for discrete time stochastic hybrid systems within a dynamic games setting. In particular, we consider finite horizon zero-sum stochastic games in which a control has the ...

2013

An unusual tandem-domain rhodanese harbouring two active sites identified in Desulfitobacterium hafniense

Christof Holliger, Julien Maillard, Emmanuelle Rohrbach, Laure Prat

The rhodanese protein domain is common throughout all kingdoms of life and is characterized by an active site cysteine residue that is able to bind sulfane sulfur and catalyse sulfur transfer. No unique function has been attributed to rhodanese-domain-cont ...

Wiley-Blackwell2012

Modeling an Emergency Service System for a Hospital Network

Gil Regev, Alain Wegmann

In this paper we describe a service modeling project done at an IT department that provides IT services to a network of state owned healthcare providers in the state of Vaud in Switzerland. The goal of the project is to un- derstand how to maintain busines ...

Springer-Verlag Berlin2012

Non-local first-order modelling of crowd dynamics: A multidimensional framework with applications

Paolo Tricerri

In this work a physical modelling framework is presented, describing the intelligent, non-local, and anisotropic behaviour of pedestrians. Its phenomenological basics and constitutive elements are detailed, and a qualitative analysis is provided. Within th ...

2011

Innovative Timber Constructions

Yves Weinand

Practical and material orientated academic research has become increasingly important for architectural practice. This is due to several reasons. First of all, it contributes to contemporary concepts in architecture and improves their implementation. Today ...

2011

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