Concept

Preuve empirique

Publications associées (257)

Measuring the Usability and Effectiveness of CAAD Tools and Applications

Marilyne Andersen, Shady Galal Mohamed Attia

Computer Aided Architectural Design (CAAD) decisions and judgments have been at the heart of architectural design practice. Despite the increasing popularity of computer aided design applications, measuring the decision making of designers empirically rema ...

2013

Broadband wide-angle dispersion measurements: Instrumental setup, alignment, and pitfalls

Olivier Martin, Andrea Lovera, Shourya Dutta Gupta, Banafsheh Abasahl, Arash Farhang

The construction, alignment, and performance of a setup for broadband wide-angle dispersion measurements, with emphasis on surface plasmon resonance (SPR) measurements, are presented in comprehensive detail. In contrast with most SPR instruments working wi ...

American Institute of Physics2013

Evidence for hydrogen generation in laser- or spark-induced cavitation bubbles

Mohamed Farhat, Marc Tinguely

The growing use of focused lasers or electric sparks to generate cavitation bubbles raises concerns about the possible alteration of gas content during the initiation process and its effect on bubble dynamics. We provide experimental evidence that hydrogen ...

American Institute of Physics2013

Activities of daily living with reverse prostheses: importance of scapular compensation for functional mobility of the shoulder

Dominique Pioletti, Alexandre Terrier, Alain Farron, Patricia Scheuber

Hypothesis: The nonanatomical design of reverse shoulder prostheses induce medial displacement of the center of rotation, impingements and may reduce the mobility of the shoulder. The aim of this study is to test the hypothesis that during activities of da ...

Elsevier2013

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

On species persistence-time distributions

Andrea Rinaldo, Enrico Bertuzzo, Lorenzo Mari, Samir Suweis, Amos Maritan

We present new theoretical and empirical results on the probability distributions of species persistence times in natural ecosystems. Persistence times, defined as the timespans occurring between species' colonization and local extinction in a given geogra ...

Elsevier2012

Scour formation due to simultaneous circular impinging jet and wall jet

Anton Schleiss

Experiments involving both a circular wall jet and an impinging jet were conducted, as occurring at irrigation control structures or at dams with combined crest and low-level spillways. The effects of the non-dimensional parameters on the scour hole dimens ...

Taylor & Francis Ltd2012

Active Learning of Multi-Index Function Models

Volkan Cevher, Hemant Tyagi

We consider the problem of actively learning \textit{multi-index} functions of the form

f(x) = g(Ax)= \sum_{i=1}^k g_i(a_i^Tx)

from point evaluations of

f

. We assume that the function

f

is defined on an

\ell_2

-ball in

\Real^d

g

is twice contin ...

2012

Automatic Verification of Temporal Epistemic Logic under Convergent Equational Theories

We present a methodology for the automatic veriﬁcation of multi-agent systems against temporal-epistemic speciﬁcations derived from higher-level languages deﬁned over convergent equational theories. We introduce a modality called rewriting knowledge that o ...

2012

Big Brother Knows Your Friends: on Privacy of Social Communities in Pervasive Networks

Jean-Pierre Hubaux, Imad Aad, Murtuza Jadliwala, Igor Bilogrevic, Valtteri Niemi, Laurent Bindschaedler

Wireless network operators increasingly deploy WiFi hotspots and low-power, low-range base stations in order to satisfy users' growing demands for context-aware services and performance. In addition to providing better service, such capillary infrastructur ...

2012

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

Active Learning of Multi-Index Function Models

Volkan Cevher, Hemant Tyagi

We consider the problem of actively learning \textit{multi-index} functions of the form

f(x) = g(Ax)= \sum_{i=1}^k g_i(a_i^Tx)

from point evaluations of

f

. We assume that the function

f

is defined on an

\ell_2

-ball in

\Real^d

g

is twice contin ...

2012