Concept

Hume's fork

Publications associées (5)

From Timed Component-Based Systems to Time-Triggered Implementations: A Correct-by-Design Approach

In hard real-time embedded systems, design and specification methods and their associated tools must allow development of temporally deterministic systems to ensure their safety. To achieve this goal, we are specifically interested in methodologies based o ...

CEA LIST2017

Laue micro-diffraction and crystal plasticity finite element simulations to reveal a vein structure in fatigued Cu

Helena Van Swygenhoven, Nicolò Grilli, Ainara Irastorza Landa

The formation of a vein during cyclic shearing of a single copper crystal oriented for single slip can be followed in transmission Laue diffraction by analyzing the spatially resolved lattice rotation evolution. Because Laue transmission integrates the sig ...

2017

Rigorous System Design

Joseph Sifakis

The monograph advocates rigorous system design as a coherent and accountable model-based process leading from requirements to correct implementations. It presents the current state of the art in system design, discusses its limitations, and identifies poss ...

2012

How the mind constitutes itself through perceptual learning

Michael Herzog

Most theories of perception assume a rigid relationship between objects of the physical world and the corresponding mental representations. We show by a priori reasoning that this assumption is not fulfilled. We claim instead that all object-representation ...

2009

Thermo-Economic Modelling and Optimisation of Fuel Cell Systems

François Maréchal, Daniel Favrat, Francesca Palazzi

If process modelling is a well known approach to compute the performances of fuel cell systems, the optimal design of systems where the process configuration is not fixed a priori remains an issue. The goal of the presented methodology for integrating and ...

Wiley-Blackwell2005

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