Concept

Specification by example

Publications associées (11)

Experimental investigations on the load-carrying capacity of digitally produced wood-wood connections

Yves Weinand, Julien Gamerro, Jean-François Bocquet

The rise of digital fabrication has increased the use of wood-wood connections inspired by traditional carpentry in modern timber constructions. With recent developments on standard construction systems, the mechanical behavior of such joints for in-plane ...

2020

Transport of hot carriers in plasmonic nanostructures

Giulia Tagliabue

Plasmonic hot carrier devices extract excited carriers from metal nanostructures before equilibration and have the potential to surpass semiconductor light absorbers. However their efficiencies have so far remained well below theoretical limits, which nece ...

AMER PHYSICAL SOC2019

Nanocrystalline Boron-Doped Diamond as a Corrosion-Resistant Anode for Water Oxidation via Si Photoelectrodes

Kevin Sivula, Jun Ho Yum, Ladislav Kavan, Florian Le Formal, Petr Ashcheulov

Due to its high sensitivity to corrosion, the use of Si in direct photoelectrochemical (PEC) water-splitting systems that convert solar energy into chemical fuels has been greatly limited. Therefore, the development of low-cost materials resistant to corro ...

AMER CHEMICAL SOC2018

How little does non-exact recovery help in group testing?

Volkan Cevher, Jonathan Mark Scarlett

We consider the group testing problem, in which one seeks to identify a subset of defective items within a larger set of items based on a number of tests. We characterize the information-theoretic performance limits in the presence of list decoding, in whi ...

Ieee2017

Shapes from Pixels

Mitra Fatemi

In today's digital world, sampling is at the heart of any signal acquisition device. Imaging devices are ubiquitous examples that capture two-dimensional visual signals and store them as the pixels of discrete images. The main concern is whether and how th ...

EPFL2016

Progress on the ITER upper launcher millimeter-wave design and testing

René Chavan, Federico Alberto Alfredo Felici, Frédéric Dolizy

The aim of the ITER electron cyclotron heating and current drive upper launcher (UL) is to control magnetohydrodynamic activity in the plasma, in particular neoclassical tearing modes, requiring a narrow and peaked deposition of the radio-frequency (rf) po ...

2009

Refinement Propagation. Towards Automated Construction of Visual Specifications.

Alain Wegmann, Irina Rychkova

Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design ...

2007

Analyzing Robustness of UML State Machines

UML State Machines constitute an integral part of software behavior specification within the Unified Modeling Language (UML). The development of realistic software applications often results in complex and distributed models. Hence, potential errors can be ...

2006

Towards tailored superplasticizers

Paul Bowen, Yves Houst, François Perche

Superplasticizers (SP) of the “new generation” are essentially polycarboxylate polymers. Polymers of this family can be produced with almost infinite variations in their chemical structure, which allow the fulfilment of specific (tailored) properties. Thes ...

2005

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML

Shane Sendall

Despite advances in implementation technologies of distributed systems during the last few years, little progress has been made on specification techniques for describing distributed systems in software development practice. The contribution of this paper ...

Springer Verlag2001

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