Concept

Model theory

Related publications (147)

Recent Developments on the EPFL-High Voltage MOSFET Model (EPFL-HVMOS)

Jean-Michel Sallese, François Krummenacher, Antonios Bazigos

We present the latest developments and some preliminary results on High-Voltage MOSFET modelling at EPFL. A novel physics-based compact model is derived for the drift region. It includes velocity saturation and Poisson equation in a self consistent formali ...

2010

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

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

Multilingual acoustic modeling for speech recognition based on subspace Gaussian Mixture Models

Pinar Akyazi, Samuel Thomas

Although research has previously been done on multilingual speech recognition, it has been found to be very difficult to improve over separately trained systems. The usual approach has been to use some kind of “universal phone set” that covers multiple lan ...

IEEE2010

Rolling Ribbons

Pedro Miguel Nunes Pereira de Almeida Reis, John Bush

We present the results of a combined experimental and theoretical investigation of rolling elastic ribbons. Particular attention is given to characterizing the steady shapes that arise in static and dynamic rolling configurations. In both cases, above a cr ...

American Physical Society2010

Experimental investigation of unstrained diffusion flames and their instabilities

Etienne Robert

In this thesis, thermal-diffusive instabilities are studied experimentally in diffusion flames. The novel species injector of a recently developed research burner, consisting of an array of hypodermic needles, which allows to produce quasi one-dimensional ...

EPFL2009

The scale axis transform

Mark Pauly

We introduce the scale axis transform, a new skeletal shape representation for bounded open sets O ⊂ &Rdbl;d. The scale axis transform induces a family of skeletons that captures the important features of a shape in a scale-adaptive way and ...

2009

Systematically heterogeneous covariance in network GEV Models

Jeffrey Newman

Mixed logit models can represent heterogeneity across individuals, in both observed and unobserved preferences, but require computationally expensive calculations to compute probabilities. A few methods for including error covariance heterogeneity in a clo ...

2009

Systematically heterogeneous covariance in network GEV models

Jeffrey Newman

2009

An experimental analysis of the implicit choice set generation using the Constrained Multinomial Logit model

Michel Bierlaire, Gunnar Flötteröd, Ricardo Daniel Hurtubia González

In this paper, we compare two methods to model the formation of choice sets in the context of discrete choice models. The first method is the probabilistic approach proposed by Manski in 1977, who models the choice probability as the joint probability of s ...

2009

An experimental analysis of the implicit choice set generation using the Constrained Multinomial Logit Model

Michel Bierlaire, Gunnar Flötteröd, Ricardo Daniel Hurtubia González

In this paper, we compare two methods to model the formation of choice sets in the context of discrete choice models. The first method is the probabilistic approach proposed by Manski (1977), who models the choice probability as the joint probability of se ...

2009

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.