Concept

Relation bien fondée

Publications associées (33)

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

Enhanced measurement equations for latent class choice models

Michel Bierlaire, Ricardo Daniel Hurtubia González, Aurélie Glerum, My Hang Nguyen

Integrating psychometric indicators in latent class choice models allows to enhance the characterization of the latent classes. In this research, we consider measurement equations that include socio-economic indicators of the decision-makers. We show that ...

2013

Software Synthesis Procedures

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...

2012

Decision Procedures for Automating Termination Proofs

Ruzica Piskac

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Single crystal nuclear magnetic resonance in spinning powders

David Lyndon Emsley

We present a method for selectively exciting nuclear magnetic resonances (NMRs) from well-defined subsets of crystallites from a powdered sample under magic angle spinning. Magic angle spinning induces a time dependence in the anisotropic interactions, whi ...

AMER INST PHYSICS2011

Measuring shape rectangularity

Dragisa Zunic

A new method for measuring shape rectangularity is introduced. The new shape measure is invariant with respect to similarity transformations, ranges over the interval (0,1] and picks the value 1 if and only if the measured shape is a rectangle. The measure ...

2011

Comfusy: A Tool for Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...

Springer2010

The Emancipation of Destruction – Transforming Gällivare (Suède)

Linus Godet

Gällivare is a remote city in the middle of the northern Swedish wilderness. The city was established as iron ore was found in the ground just over a century ago. Until the 60's the mining industry and the city grew together in what seemed to be a perfect ...

2009

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...

2008

Optimisation of a Thick-Film 10...400 N Force Sensor

Peter Ryser, Thomas Maeder, Giancarlo Corradini, Niklaus Johner, Gregory Affolter

Abstract: The ring-on-ring bending principle allows the fabrication of simple, low-cost thick-film piezoresistive sensors for compressive forces in the 10 to 400 N range. However some imperfections are encountered in its basic embodiment, such as relativel ...

Elsevier2008

Management of Technology in a Learning Center Project

The learning center concept is based on a new vision centered on the need for a convergence of human, information, knowledge, educational resources and a relevant part of information and collaborative technologies. This vision is founded on the new student ...

2005